-
On tensor products with equivariant commutative operads
Authors:
Natalie Stewart
Abstract:
We affirm and generalize a conjecture of Blumberg and Hill: unital weak $\mathcal{N}_\infty$-operads are closed under $\infty$-categorical Boardman-Vogt tensor products and the resulting tensor products correspond with joins of weak indexing systems; in particular, we acquire a natural $G$-symmetric monoidal equivalence
\[
\underline{\mathrm{CAlg}}^{\otimes}_{I} \underline{\mathrm{CAlg}}^{\oti…
▽ More
We affirm and generalize a conjecture of Blumberg and Hill: unital weak $\mathcal{N}_\infty$-operads are closed under $\infty$-categorical Boardman-Vogt tensor products and the resulting tensor products correspond with joins of weak indexing systems; in particular, we acquire a natural $G$-symmetric monoidal equivalence
\[
\underline{\mathrm{CAlg}}^{\otimes}_{I} \underline{\mathrm{CAlg}}^{\otimes}_{J} \mathcal{C} \simeq \underline{\mathrm{CAlg}}^{\otimes}_{I \vee J} \mathcal{C}.
\]
We accomplish this by showing that $\mathcal{N}_{I\infty}^{\otimes}$ is $\otimes$-idempotent and $\mathcal{O}^{\otimes}$ is local for the corresponding smashing localization if and only if $\mathcal{O}$-monoid $G$-spaces satisfy $I$-indexed Wirthmüller isomorphisms.
Ultimately, we accomplish this by advancing the equivariant higher algebra of cartesian and cocartesian $I$-symmetric monoidal $\infty$-categories. Additionally, we acquire a number of structural results concerning $G$-operads, including a canonical lift of $\otimes$ to a presentably symmetric monoidal structure and a general disintegration and assembly procedure for computing tensor products of non-reduced unital $G$-operads. All such results are proved in the generality of atomic orbital $\infty$-categories.
We also achieve the expected corollaries for (iterated) Real topological Hochschild and cyclic homology and construct a natural $I$-symmetric monoidal structure on right modules over an $\mathcal{N}_{I\infty}$-algebra.
△ Less
Submitted 2 April, 2025;
originally announced April 2025.
-
Equivariant operads, symmetric sequences, and Boardman-Vogt tensor products
Authors:
Natalie Stewart
Abstract:
We advance the foundational study of be Nardin-Shah's $\infty$-category of $G$-operads and their associated $\infty$-categories of algebras. In particular, we construct the underlying $G$-symmetric sequence of a (one color) $G$-operad, yielding a monadic functor; we use this to lift Bonventre's genuine operadic nerve to a conservative functor of $\infty$-categories, restricting to an equivalence b…
▽ More
We advance the foundational study of be Nardin-Shah's $\infty$-category of $G$-operads and their associated $\infty$-categories of algebras. In particular, we construct the underlying $G$-symmetric sequence of a (one color) $G$-operad, yielding a monadic functor; we use this to lift Bonventre's genuine operadic nerve to a conservative functor of $\infty$-categories, restricting to an equivalence between categories of discrete $G$-operads. Using this, we extend Blumberg-Hill's program concerning $\mathcal{N}_\infty$-operads to arbitrary sub-operads of the terminal $G$-operad, which we show are equivalent to weak indexing systems.
We then go on to define and characterize a homotopy-commutative and closed Boardman-Vogt tensor product on $\mathrm{Op}_G$; in particular, this specializes to a $G$-symmetric monoidal $\infty$-category of $\mathcal{O}$-algebras in a $G$-symmetric monoidal $\infty$-category whose $\mathcal{P}$-algebras are objects with interchanging $\mathcal{O}$-algebra and $\mathcal{P}$-algebra structures.
△ Less
Submitted 3 January, 2025;
originally announced January 2025.
-
Orbital categories and weak indexing systems
Authors:
Natalie Stewart
Abstract:
We initiate the combinatorial study of the poset $\mathrm{wIndex}_{\mathcal{T}}$ of weak $\mathcal{T}$-indexing systems, consisting of composable collections of arities for $\mathcal{T}$-equivariant algebraic structures, where $\mathcal{T}$ is an orbital $\infty$-category, such as the orbit category of a finite group. In particular, we show that these are equivalent to weak $\mathcal{T}$-indexing…
▽ More
We initiate the combinatorial study of the poset $\mathrm{wIndex}_{\mathcal{T}}$ of weak $\mathcal{T}$-indexing systems, consisting of composable collections of arities for $\mathcal{T}$-equivariant algebraic structures, where $\mathcal{T}$ is an orbital $\infty$-category, such as the orbit category of a finite group. In particular, we show that these are equivalent to weak $\mathcal{T}$-indexing categories and characterize various unitality conditions.
Within this sits a natural generalization $\mathrm{Index}_{\mathcal{T}} \subset \mathrm{wIndex}_{\mathcal{T}}$ of Blumberg-Hill's indexing systems, consisting of arities for structures possessing binary operations and unit elements. We characterize the relationship between the posets of unital weak indexing systems and indexing systems, the latter remaining isomorphic to transfer systems on this level of generality. We use this to characterize the poset of unital $C_{p^n}$-weak indexing systems.
△ Less
Submitted 22 May, 2025; v1 submitted 2 September, 2024;
originally announced September 2024.
-
Lower Bounds on Volumes of Hyperbolic 3-Manifolds via Decomposition
Authors:
Colin Adams,
Michele Capovilla-Searle,
Darin Li,
Lily Qiao Li,
Jacob McErlean,
Alexander Simons,
Natalie Stewart,
Xiwen Wang
Abstract:
In a variety of settings we provide a method for decomposing a 3-manifold $M$ into pieces. When the pieces have the appropriate type of hyperbolicity, then the manifold $M$ is hyperbolic and its volume is bounded below by the sum of the appropriately defined hyperbolic volumes of the pieces. A variety of examples of appropriately hyperbolic pieces and volumes are provided, with many examples from…
▽ More
In a variety of settings we provide a method for decomposing a 3-manifold $M$ into pieces. When the pieces have the appropriate type of hyperbolicity, then the manifold $M$ is hyperbolic and its volume is bounded below by the sum of the appropriately defined hyperbolic volumes of the pieces. A variety of examples of appropriately hyperbolic pieces and volumes are provided, with many examples from link complements in the 3-sphere.
△ Less
Submitted 11 November, 2021;
originally announced November 2021.
-
Generalized Augmented Cellular Alternating Links in Thickened Surfaces are Hyperbolic
Authors:
Colin Adams,
Michele Capovilla-Searle,
Darin Li,
Qiao Li,
Jacob McErlean,
Alexander Simons,
Natalie Stewart,
Xiwen Wang
Abstract:
Menasco proved that nontrivial links in the 3-sphere with connected prime alternating non-2-braid projections are hyperbolic. This was further extended to augmented alternating links wherein non-isotopic trivial components bounding disks punctured twice by the alternating link were added. Lackenby proved that the first and second collections of links together form a closed subset of the set of all…
▽ More
Menasco proved that nontrivial links in the 3-sphere with connected prime alternating non-2-braid projections are hyperbolic. This was further extended to augmented alternating links wherein non-isotopic trivial components bounding disks punctured twice by the alternating link were added. Lackenby proved that the first and second collections of links together form a closed subset of the set of all finite volume hyperbolic 3-manifolds in the geometric topology. Adams showed hyperbolicity for generalized augmented alternating links, which include additional trivial components that bound n-punctured disks for $n \geq 2$. Here we prove that generalized augmented cellular alternating links in I-bundles over closed surfaces are also hyperbolic and that in $S \times I$, the cellular alternating links and the augmented cellular alternating together form a closed subset of finite volume hyperbolic 3-manifolds in the geometric topology. Explicit examples of additional links in $S \times I$ to which these results apply are included.
△ Less
Submitted 12 July, 2021;
originally announced July 2021.
-
Computational Topology for Regular Closed Sets
Authors:
The I-TANGO project,
:,
T. J. Peters,
J. Bisceglio,
D. R. Ferguson,
C. M. Hoffmann,
T. Maekawa,
N. M. Patrikalakis,
T. Sakkalis,
N. F. Stewart
Abstract:
The Boolean algebra of regular closed sets is prominent in topology, particularly as a dual for the Stone-Cech compactification. This algebra is also central for the theory of geometric computation, as a representation for combinatorial operations on geometric sets. However, the issue of computational approximation introduces unresolved subtleties that do not occur within "pure" topology. One ma…
▽ More
The Boolean algebra of regular closed sets is prominent in topology, particularly as a dual for the Stone-Cech compactification. This algebra is also central for the theory of geometric computation, as a representation for combinatorial operations on geometric sets. However, the issue of computational approximation introduces unresolved subtleties that do not occur within "pure" topology. One major effort towards reconciling this mathematical theory with computational practice is our ongoing I-TANGO project. The acronym I-TANGO is an abbreviation for "Intersections - Topology, Accuracy and Numerics for Geometric Objects". The long-range goals and initial progress of the I-TANGO team in development of computational topology are presented.
△ Less
Submitted 26 February, 2004;
originally announced February 2004.
