Related papers: Eckmann-Hilton arguments in equivariant higher alg…
We construct multiplicative norms on equivariant nonconnective algebraic $K$-theory for finite groups $G$. We also construct a genuine equivariant version of THH equipped with a Dennis trace map from K-theory compatible with the…
Let $G$ be the Grassmannian $G(d,n)$, let $X$ and $Y$ be complete irreducible varieties, and let $X\rightarrow G$ and $Y\rightarrow G$ be morphisms. Hansen proved that $X \times_G Y$ is connected when $codim f(X) + codim g(Y) < n$. We show…
We prove that a lax $\mathbb{E}_{n+1}$-monoidal functor from $\mathcal V$ to $\mathcal W$ induces a lax $\mathbb{E}_n$-monoidal functor from $\mathcal V$-enriched $\infty$-categories to $\mathcal W$-enriched $\infty$-categories in the sense…
We study homotopy-coherent commutative multiplicative structures on equivariant spaces and spectra. We define N-infinity operads, equivariant generalizations of E-infinity operads. Algebras in equivariant spectra over an N-infinity operad…
We prove a multiplicative version of the equivariant Barratt-Priddy-Quillen theorem, starting from the additive version proven in arXiv:1207.3459. The proof uses a multiplicative elaboration of an additive equivariant infinite loop space…
Let ${\cal S}(\mathcal{H})$ denote the set of all self-adjoint operators (not necessarily bounded) on a Hilbert space $\mathcal{H}$, which is the set of all physical quantities on a quantum system $\mathcal{H}$. We introduce a binary…
This paper builds on our previous work in which we showed that, for all connected semisimple linear Lie groups $G$ acting on a non-compactly causal symmetric space $M = G/H$, every irreducible unitary representation of $G$ can be realized…
In this paper we extend equivariant infinite loop space theory to take into account multiplicative norms: For every finite group $G$, we construct a multiplicative refinement of the comparison between the $\infty$-categories of connective…
Using the Witten deformation and localization algebra techniques, we compute the $G$-equivariant $K$-homology class of the de Rham operator on a proper cocompact $G$-spin manifold, where $G$ is an almost connected Lie group. By applying a…
For a finite group G, we introduce the complete suboperad $Q_G$ of the categorical G-Barratt-Eccles operad $P_G$. We prove that $P_G$ is not finitely generated, but $Q_G$ is finitely generated and is a genuine $E_\infty$ G-operad (i.e., it…
Let $G$ be a linear algebraic group over an algebraically closed field of characteristic $p\geq 0$. We show that if $H_1$ and $H_2$ are connected subgroups of $G$ such that $H_1$ and $H_2$ have a common maximal unipotent subgroup and…
We develop a synthesis of orthomodular logic (projections as propositions) with operator fixed-point theory in Hilbert spaces. First, we introduce an anchored implication connective $A \Rightarrow^{\mathrm{comm}}_{P} B$, defined…
One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product. In this paper we continue the work of [7] to adapt the machinery of globular operads [4] to…
For any finite group G, we show that the 2-local G-equivariant stable homotopy category, indexed on a complete G-universe, has a unique equivariant model in the sense of Quillen model categories. This means that the suspension functor,…
We prove that each exponential functor on the category of finite-dimensional complex inner product spaces and isomorphisms gives rise to an equivariant higher (ie. non-classical) twist of $K$-theory over $G=SU(n)$. This twist is represented…
We define a theory of Goodwillie calculus for enriched functors from finite pointed simplicial G-sets to symmetric G-spectra, where G is a finite group. We extend a notion of G-linearity suggested by Blumberg to define stably excisive and…
We establish a novel approach to computing $G$-equivariant cohomology for a finite group $G$, and demonstrate it in the case that $G = C_{p^n}$. For any commutative ring spectrum $R$, we prove a symmetric monoidal reconstruction theorem for…
We study the Eckmann-Hilton dual of the little disks algebra structure on iterated loop spaces: With the right definitions, every $n$-fold suspension is a coalgebra over the little $n$-disks operad. This structure induces non-trivial…
We establish operator-valued versions of the earlier foundational factorization results for noncommutative polynomials due to Helton (Ann.~Math., 2002) and one of the authors (Linear Alg.~Appl., 2001). Specifically, we show that every…
We extend the Cisinski-Moerdijk-Weiss theory of $\infty$-operads to the equivariant setting to obtain a notion of $G$-$\infty$-operads that encode "equivariant operads with norm maps" up to homotopy. At the root of this work is the…