Related papers: Realizing compatible pairs of transfer systems by …
We prove that the homotopy theory of $N_\infty$ operads is equivalent to a homotopy theory of discrete operads, and we construct free and associative operadic realizations of every indexing system. This resolves a conjecture of Blumberg and…
Transfer systems are a combinatorial model for $N_{\infty}$-operads, which encode commutative structures in equivariant homotopy theory. Blumberg--Hill and Chan gave criteria for when two transfer systems are a compatible pair, meaning they…
In this paper, we prove a conjecture of Blumberg and Hill regarding the existence of $N_\infty$-operads associated to given sequences $\mathcal{F} = (\mathcal{F}_n)_{n \in \mathbb{N}}$ of families of subgroups of $G\times \Sigma_n$. For…
We define $N_\infty$-operads in the globally equivariant setting and completely classify them. These global $N_\infty$-operads model intermediate levels of equivariant commutativity in the global world, i. e. in the setting where objects…
$N_\infty$-operads are an equivariant generalization of $E_\infty$-operads introduced by Blumberg and Hill to study structural problems in equivariant stable homotopy theory. In the original paper introducing these objects, Blumberg and…
In this paper, we present an explicit method to identify equivariant suboperads of coinduced operads that contain only fixed points associated to any desired transfer system. Our method works for a class of operads that we call intersection…
We study the indexing systems that correspond to equivariant Steiner and linear isometries operads. When $G$ is a finite abelian group, we prove that a $G$-indexing system is realized by a Steiner operad if and only if it is generated by…
In a basic framework of a complex Hilbert space equipped with a complex conjugation and an involution, linear operators can be real, quaternionic, symmetric or anti-symmetric, and orthogonal projections can furthermore be symplectic. This…
The homotopy category of $N_\infty$ operads is equivalent to a finite lattice, and as the ambient group varies, there are various image constructions between these lattices. In this paper, we explain how to lift this algebraic structure…
The bilayer Hubbard model with an intra-layer hopping $t$ and an inter-layer hopping $t_\perp$ provides an interesting testing ground for several aspects of what has been called unconventional superconductivity. One can study the type of…
Bi-incomplete Tambara functors over a group $G$ can be understood in terms of compatible pairs of $G$-transfer systems. In the case of $G = C_{p^n}$ , Hill, Meng and Li gave a necessary and sufficient condition for compatibility and…
Global transfer systems are equivalent to global $N_\infty$-operads, which parametrize different levels of commutativity in globally equivariant homotopy theory, where objects have compatible actions by all compact Lie groups. In this paper…
We prove a new case of Rubin's saturation conjecture about the realization of $G$-transfer systems, for $G$ a finite cyclic group, by linear isometries $N_\infty$-operads, namely the case of cyclic groups of order $p^nq^m$ for $p,q$…
We provide a general recursive method for constructing transfer systems on finite lattices. Using this we calculate the number of homotopically distinct $N_\infty$ operads for dihedral groups $D_{p^n}$, $p > 2$ prime, and cyclic groups…
Hund's pairing refers to Cooper pairing generated by onsite interactions that become attractive due to large Hund's exchange $J$. This is possible in multiorbital systems even when all local bare interactions are repulsive, since attraction…
To a pair of subspaces wandering with respect to a row isometry we associate a transfer function which in general is multi-Toeplitz and in interesting special cases is multi-analytic. Then we describe in an expository way how characteristic…
We build new algebraic structures, which we call genuine equivariant operads, which can be thought of as a hybrid between equivariant operads and coefficient systems. We then prove an Elmendorf-Piacenza type theorem stating that equivariant…
Operads are algebraic devices offering a formalization of the concept of operations with several inputs and one output. Such operations can be naturally composed to form bigger and more complex ones. Coming historically from algebraic…
Algebraic structures with multiple copies of a given type of operations interrelated by various compatibility conditions have long being studied in mathematics and mathematical physics. They are broadly referred as linearly compatible,…
The notion of $\mathcal{O}$-operator is a generalization of the Rota-Baxter operator in the presence of a bimodule over an associative algebra. A compatible $\mathcal{O}$-operator is a pair consisting of two $\mathcal{O}$-operators…