Searcharxiv⌕ Search

arXiv subjects

Daniel Dugger

Publications and source records attributed to Daniel Dugger.

At least 19 recordsLinked to original sources
arXiv2026

Mackey homological algebra over cyclic groups

Let $C_n$ denote a cyclic group of order $n$. In this paper we investigate modules and chain complexes over the constant integral Mackey functor $\underline{\mathbb{Z}}$ and perform some related homological calculations. Along the way we develop a number of foundational tools for working with these categories. These results are useful for the study of $RO(C_n)$-graded Bredon cohomology, though such applications are delegated to a sequel paper.

math.AT↗
arXiv2026

The Bredon equivariant cohomology of a point for cyclic groups

We study the $RO(G)$-graded Bredon cohomology of a point in the case where $G$ is a cyclic group of odd order, expanding on the information provided by previous studies. Our methods center on the purely algebraic aspects of this matter, which interpret it as the "stable homotopy groups of spheres" problem for the derived category of modules over the constant-coefficient Mackey ring.

math.AT↗
arXiv2024

$RO(G)$-graded Bredon cohomology of Euclidean configuration spaces

Let $G$ be a finite group and $V$ be a $G$-representation. We investigate the $RO(G)$-graded Bredon cohomology with constant integral coefficients of the space of ordered configurations in $V$. In the case that $V$ contains a trivial subrepresentation, we show the cohomology is free as a module over the cohomology of a point, and we give a generators-and-relations description of the ring structure. In the case that $V$ does not contain a trivial representation, we give a computation of the module structure that works as long as a certain vanishing condition holds in the Bredon cohomology of a point. We verify this vanishing condition holds in the case that $\dim(V)\geq 3$ and $G$ is any of $C_p$, $C_{p^2}$ ($p$ a prime), or the symmetric group on three letters.

math.AT↗
arXiv2022

The Multiplicative Structures on Motivic Homotopy Groups

We reconcile the multiplications on the homotopy rings of motivic ring spectra used by Voevodsky and Dugger. While the connection is elementary and similar phenomena have been observed in situations like supersymmetry, neither we nor other researchers we consulted were aware of the conflicting definitions and the potential consequences. Hence this short note.

math.AG↗
arXiv2022

Equivariant $\underline{\mathbb{Z}/\ell}$-modules for the cyclic group $C_2$

For the cyclic group $C_2$ we give a complete description of the derived category of perfect complexes of modules over the constant Mackey ring $\underline{\mathbb{Z}/\ell}$, for $\ell$ a prime. This is fairly simple for $\ell$ odd, but for $\ell=2$ depends on a new splitting theorem. As corollaries of the splitting theorem we compute the associated Picard group and the Balmer spectrum for compact objects in the derived category, and we obtain a complete classification of finite modules over the $C_2$-equivariant Eilenberg--MacLane spectrum $H\underline{\mathbb{Z}/2}$. We also use the splitting theorem to give new and illuminating proofs of some facts about $RO(C_2)$-graded Bredon cohomology, namely Kronholm's freeness theorem and the structure theorem of C. May.

math.AT↗
arXiv2016

Involutions in the topologists' orthogonal group

We classify conjugacy classes of involutions in the isometry groups of nondegenerate, symmetric bilinear forms over the field of two elements. The new component of this work focuses on the case of an orthogonal form on an even dimensional space. In this context we show that the involutions satisfy a remarkable duality, and we investigate several numerical invariants.

math.GR↗
arXiv2016

Involutions on surfaces

We use equivariant surgery to classify all involutions on closed surfaces, up to isomorphism. Work on this problem is classical, dating back to the nineteenth century, but some questions seem to have been left unanswered. We give a modern treatment that leads to a complete classification.

math.GT↗
arXiv2016

Z/2-equivariant and R-motivic stable stems

We establish an isomorphism between the stable homotopy groups of the 2-completed motivic sphere spectrum over the real numbers and the corresponding stable homotopy groups of the 2-completed Z/2-equivariant sphere spectrum, in a certain range of dimensions.

math.AT↗
arXiv2016

Gysin functors and the Grothendieck-Witt category, Part I

We define the Grothendieck-Witt category over a fixed ground ring. In order to study the structure of this category, we introduce the general theory of Gysin functors and their associated categories of correspondences. The latter generalizes the familiar construction of the Burnside category over a finite group. We prove various results about the structure of these correspondence categories, and we prove a "recognition theorem" loosely saying that these correspondence categories naturally show up in situations where one has both a symmetric monoidal structure and transfers. Returning to the Grothendieck-Witt category, a few examples are worked out.

math.AT↗
arXiv2015

Low dimensional Milnor-Witt stems over R

This article computes some motivic stable homotopy groups over R. For 0 <= p - q <= 3, we describe the motivic stable homotopy groups of a completion of the motivic sphere spectrum. These are the first four Milnor-Witt stems. We start with the known Ext groups over C and apply the rho-Bockstein spectral sequence to obtain Ext groups over R. This is the input to an Adams spectral sequence, which collapses in our low dimensional range.

math.AT↗
arXiv2013

Motivic Hopf elements and relations

We use Cayley-Dickson algebras to produce Hopf elements eta, nu and sigma in the motivic stable homotopy groups of spheres, and we prove via geometric arguments that the the products eta*nu and nu*sigma both vanish. Along the way we develop several basic facts about the motivic stable homotopy ring.

math.AT↗
arXiv2013

Coherence for invertible objects and multi-graded homotopy rings

We prove a coherence theorem for invertible objects in a symmetric monoidal category. This is used to deduce associativity, skew-commutativity, and related results for multi-graded morphism rings, generalizing the well-known versions for stable homotopy groups.

math.CT↗
arXiv2012

Grothendieck groups of complexes with null-homotopies

We give a streamlined proof of a theorem of Foxby and Halvorsen. The theorem states that certain relative K-groups made from chain complexes with bounded (but arbitrarily long) length coincide with similar K-groups in which one sets an absolute bound on the length of the complexes.

math.KT↗
arXiv2012

Bigraded cohomology of Z/2-equivariant Grassmannians

This paper determines the RO(G)-graded Eilenberg-MacLane cohomology of the real, infinite, equivariant Grassmannians in the case G=Z/2. Possible connections with motivic characteristic classes for quadratic bundles are briefly discussed.

math.AT↗
arXiv2009

Mapping spaces in Quasi-categories

We apply the Dwyer-Kan theory of homotopy function complexes in model categories to the study of mapping spaces in quasi-categories. Using this, together with our work on rigidification from [DS1], we give a streamlined proof of the Quillen equivalence between quasi-categories and simplicial categories. Some useful material about relative mapping spaces in quasi-categories is developed along the way.

math.AT↗
arXiv2009

Rigidification of quasi-categories

We give a new construction for rigidifying a quasi-category into a simplicial category, and prove that it is weakly equivalent to the rigidification given by Lurie. Our construction comes from the use of necklaces, which are simplicial sets obtained by stringing simplices together. As an application of these methods, we use our model to reprove some basic facts from Lurie's "Higher Topos Theory" regarding the rigidification process.

math.CT↗
arXiv2009

Eigentheory of Cayley-Dickson algebras

We show how eigentheory clarifies many algebraic properties of Cayley-Dickson algebras. These notes are intended as background material for those who are studying this eigentheory more closely.

math.RA↗