Related papers: Units of equivariant ring spectra
We prove that commutative semirings in a cartesian closed presentable $\infty$-category, as defined by Groth, Gepner, and Nikolaus, are equivalent to product-preserving functors from the $(2,1)$-category of bispans of finite sets. In other…
In this paper we show that the known models for $(\infty, 1)$-categories can all be extended to equivariant versions for any discrete group $G$. We show that in two of the models we can also consider actions of any simplicial group $G$.
We set up operadic foundations for equivariant iterated loop space theory. We start by building up from a discussion of the approximation theorem and recognition principle for V-fold loop G-spaces to several avatars of a recognition…
We develop a constructive model of homotopy type theory in a Quillen model category that classically presents the usual homotopy theory of spaces. Our model is based on presheaves over the cartesian cube category, a well-behaved…
The category of rational G-equivariant cohomology theories for a compact Lie group $G$ is the homotopy category of rational G-spectra and therefore tensor-triangulated. We show that its Balmer spectrum is the set of conjugacy classes of…
We construct the unitary analogue of orthogonal calculus developed by Weiss, utilising model categories to give a clear description of the intricacies in the equivariance and homotopy theory involved. The subtle differences between real and…
We prove that the quantum cohomology ring of any minuscule or cominuscule homogeneous space, once localized at the quantum parameter, has a non trivial involution mapping Schubert classes to multiples of Schubert classes. This can be stated…
Let $X$ be a differentiable manifold endowed with a transitive action $\alpha:A\times X\longrightarrow X$ of a Lie group $A$. Let $K$ be a Lie group. Under suitable technical assumptions, we give explicit classification theorems, in terms…
We show that the derived $\infty$-category of permutation modules is equivalent to the category of modules over the Eilenberg-MacLane spectrum associated to a constant Mackey functor in the $\infty$-category of equivariant spectra. On such…
Gillam proved that the category of locally ringed spaces admits a fully faithful embedding into a certain category, which has a right adjoint that maps some simple objects to the spectra of rings. In this paper, we use condensed mathematics…
We define the equivariant holonomy of an invariant connection on a principal U(1)-bundle. The properties of the ordinary holonomy are generalized to the equivariant setting. In particular, equivariant U(1)-bundles with connection are shown…
We show that the homotopy groups of a connective $E_k$-ring spectrum with an $E_k$-cell attached along a class $\alpha$ in degree $n$ are isomorphic to the homotopy groups of the cofiber of the self-map associated to $\alpha$ through degree…
We associate to a bound quiver (Q,I) a CW-complex which we denote by B(Q,I), and call the classifying space of (Q,I). We show that the fundamental group of B(Q,I) is isomorphic to the fundamental group of (Q,I). Moreover, we show that this…
For a countable group $G$ we construct a small, idempotent complete, symmetric monoidal, stable $\infty$-category $\mathrm{KK}^{G}_{\mathrm{sep}}$ whose homotopy category recovers the triangulated equivariant Kasparov category of separable…
Building on work of Marta Bunge in the one-categorical case, we characterize when a given model category is Quillen equivalent to a presheaf category with the projective model structure. This involves introducing a notion of homotopy atoms,…
We describe the spectral space of conjugacy classes of subgroups of SU(3), together with the additional structure of a sheaf of rings and a component structure. It is a disjoint union of 18 blocks each dominated by a subgroup. For each of…
We recall the notion of twisted parametrized spectra defined by Douglas and provide a sufficient condition for an $\infty$-category of twisted parametrized module spectra to be untwisted over an even-periodic $E_2$-ring. It is an easy…
We give an explicit decription for univeral principal U(r)-bundles with periodic map by means of equivariant Stiefel manifolds. We then show that the associated equivariant vector bundle is equivalent to the canonical one given by G. Segal.…
We study the boundary terms of the spectral action of the noncommutative space, defined by the spectral triple dictated by the physical spectrum of the standard model, unifying gravity with all other fundamental interactions. We prove that…
A parametrized spectrum E is a family of spectra E_x continuously parametrized by the points x of a topological space X. We take the point of view that a parametrized spectrum is a bundle-theoretic geometric object. When R is a ring…