-
On the architecture of the Symplectic $(A_\infty,2)$-Category
Authors:
Nathaniel Bottman
Abstract:
This note relates to the author's construction of the Symplectic $(A_\infty,2)$-Category, $\mathsf{Symp}$. Here we explain two ways of encoding the information in $\mathsf{Symp}$, one topological, one algebraic. The topological encoding is as an $(A_\infty,2)$-flow category, which we define here. The algebraic encoding is as a linear $(A_\infty,2)$-category, which we extract from the topological e…
▽ More
This note relates to the author's construction of the Symplectic $(A_\infty,2)$-Category, $\mathsf{Symp}$. Here we explain two ways of encoding the information in $\mathsf{Symp}$, one topological, one algebraic. The topological encoding is as an $(A_\infty,2)$-flow category, which we define here. The algebraic encoding is as a linear $(A_\infty,2)$-category, which we extract from the topological encoding. In upcoming work, the author and Wehrheim plan to use the adiabatic Fredholm theory recently developed by Bottman-Wehrheim to construct $\mathsf{Symp}$ as an $(A_\infty,2)$-flow category.
The definition of linear $(A_\infty,2)$-category that we give in this note is different than the one proposed by Bottman-Carmeli. The recursive structure of the 2-associahedra identifies faces with fiber products of 2-associahedra over associahedra, and these fiber products led Bottman-Carmeli to associate operations to singular chains on 2-associahedra. The innovation in our new definition of linear $(A_\infty,2)$-category is to extend the family of 2-associahedra to include all fiber products of 2-associahedra over associahedra. This allows us to associate operations to cellular chains, which in particular enables us to produce a definition that involves only one operation in each arity, governed by a collection of $(A_\infty,2)$-equations.
△ Less
Submitted 25 December, 2024;
originally announced December 2024.
-
Adiabatic Fredholm Theory
Authors:
Nathaniel Bottman,
Katrin Wehrheim
Abstract:
We develop a robust functional analytic framework for adiabatic limits. This framework consist of a notion of adiabatic Fredholm family, several possible regularity properties, and an explicit construction that provides finite dimensional reductions that fit into all common regularization theories. We show that thhese finite dimensional reductions inherit global continuity and differentiability pr…
▽ More
We develop a robust functional analytic framework for adiabatic limits. This framework consist of a notion of adiabatic Fredholm family, several possible regularity properties, and an explicit construction that provides finite dimensional reductions that fit into all common regularization theories. We show that thhese finite dimensional reductions inherit global continuity and differentiability properties from the adiabatic Fredholm family. Moreover, we indicate how to construct adiabatic Fredholm families that describe the adiabatic limits for the nondegenerate Atiyah-Floer conjecture and strip-shrinking in quilted Floer theory.
△ Less
Submitted 2 December, 2024;
originally announced December 2024.
-
The focus-focus addition graph is immersed
Authors:
Mohammed Abouzaid,
Nathaniel Bottman,
Yunpeng Niu
Abstract:
For a symplectic 4-manifold $M$ equipped with a singular Lagrangian fibration with a section, the natural fiberwise addition given by the local Hamiltonian flow is well-defined on the regular points. We prove, in the case that the singularities are of focus-focus type, that the closure of the corresponding addition graph is the image of a Lagrangian immersion in $(M \times M)^- \times M$, and we s…
▽ More
For a symplectic 4-manifold $M$ equipped with a singular Lagrangian fibration with a section, the natural fiberwise addition given by the local Hamiltonian flow is well-defined on the regular points. We prove, in the case that the singularities are of focus-focus type, that the closure of the corresponding addition graph is the image of a Lagrangian immersion in $(M \times M)^- \times M$, and we study its geometry. Our main motivation for this result is the construction of a symmetric monoidal structure on the Fukaya category of such a manifold.
△ Less
Submitted 16 September, 2024;
originally announced September 2024.
-
Higher-Categorical Associahedra
Authors:
Spencer Backman,
Nathaniel Bottman,
Daria Poliakova
Abstract:
The second author introduced 2-associahedra as a tool for investigating functoriality properties of Fukaya categories, and he conjectured that they could be realized as face posets of convex polytopes. We introduce a family of posets called categorical $n$-associahedra, which naturally extend the second author's 2-associahedra and the classical associahedra. Categorical $n$-associahedra give a com…
▽ More
The second author introduced 2-associahedra as a tool for investigating functoriality properties of Fukaya categories, and he conjectured that they could be realized as face posets of convex polytopes. We introduce a family of posets called categorical $n$-associahedra, which naturally extend the second author's 2-associahedra and the classical associahedra. Categorical $n$-associahedra give a combinatorial model for the poset of strata of a compactified real moduli space of a tree arrangement of affine coordinate subspaces. We construct a family of complete polyhedral fans, called velocity fans, whose coordinates encode the relative velocities of pairs of colliding coordinate subspaces, and whose face posets are the categorical $n$-associahedra. In particular, this gives the first fan realization of 2-associahedra. In the case of the classical associahedron, the velocity fan specializes to the normal fan of Loday's realization of the associahedron.
For proving that the velocity fan is a fan, we first construct a cone complex of metric $n$-bracketings and then exhibit a piecewise-linear isomorphism from this complex to the velocity fan. We demonstrate that the velocity fan, which is not simplicial, admits a canonical smooth flag triangulation on the same set of rays, and we describe a second, finer triangulation which provides a new extension of the braid arrangement. We describe piecewise-unimodular maps on the velocity fan such that the image of each cone is a union of cones in the braid arrangement, and we highlight a connection to the theory of building sets and nestohedra. We explore the local iterated fiber product structure of categorical $n$-associahedra and the extent to which this structure is realized by the velocity fan. For the class of concentrated $n$-associahedra we exhibit generalized permutahedra having velocity fans as their normal fans.
△ Less
Submitted 5 September, 2024;
originally announced September 2024.
-
How regularization affects the geometry of loss functions
Authors:
Nathaniel Bottman,
Y. Cooper,
Antonio Lerario
Abstract:
What neural networks learn depends fundamentally on the geometry of the underlying loss function. We study how different regularizers affect the geometry of this function. One of the most basic geometric properties of a smooth function is whether it is Morse or not. For nonlinear deep neural networks, the unregularized loss function $L$ is typically not Morse. We consider several different regular…
▽ More
What neural networks learn depends fundamentally on the geometry of the underlying loss function. We study how different regularizers affect the geometry of this function. One of the most basic geometric properties of a smooth function is whether it is Morse or not. For nonlinear deep neural networks, the unregularized loss function $L$ is typically not Morse. We consider several different regularizers, including weight decay, and study for which regularizers the regularized function $L_ε$ becomes Morse.
△ Less
Submitted 28 July, 2023;
originally announced July 2023.
-
Functoriality in categorical symplectic geometry
Authors:
Mohammed Abouzaid,
Nathaniel Bottman
Abstract:
Categorical symplectic geometry is the study of a rich collection of invariants of symplectic manifolds, including the Fukaya $A_\infty$-category, Floer cohomology, and symplectic cohomology. Beginning with work of Wehrheim and Woodward in the late 2000s, several authors have developed techniques for functorial manipulation of these invariants. We survey these functorial structures, including Wehr…
▽ More
Categorical symplectic geometry is the study of a rich collection of invariants of symplectic manifolds, including the Fukaya $A_\infty$-category, Floer cohomology, and symplectic cohomology. Beginning with work of Wehrheim and Woodward in the late 2000s, several authors have developed techniques for functorial manipulation of these invariants. We survey these functorial structures, including Wehrheim-Woodward's quilted Floer cohomology and functors associated to Lagrangian correspondences, Fukaya's alternate approach to defining functors between Fukaya $A_\infty$-categories, and the second author's ongoing construction of the symplectic $(A_\infty,2)$-category. In the last section, we describe a number of direct and indirect applications of this circle of ideas, and propose a conjectural version of the Barr-Beck Monadicity Criterion in the context of the Fukaya $A_\infty$-category.
△ Less
Submitted 20 October, 2022;
originally announced October 2022.
-
Constrainahedra
Authors:
Nathaniel Bottman,
Daria Poliakova
Abstract:
We define a family of convex polytopes called constrainahedra, which index collisions of horizontal and vertical lines. Our construction proceeds by first defining a poset $C(m,n)$ of good rectangular preorders, then proving that $C(m,n)$ is a lattice, and finally constructing a polytopal realization by taking the convex hull of a certain explicitly-defined collection of points. The constrainahedr…
▽ More
We define a family of convex polytopes called constrainahedra, which index collisions of horizontal and vertical lines. Our construction proceeds by first defining a poset $C(m,n)$ of good rectangular preorders, then proving that $C(m,n)$ is a lattice, and finally constructing a polytopal realization by taking the convex hull of a certain explicitly-defined collection of points. The constrainahedra will form the combinatorial backbone of the second author's construction of strong homotopy duoids. We indicate how constrainahedra could be realized as Gromov-compactified configuration spaces of horizontal and vertical lines; viewed from this perspective, the constrainahedra include naturally into the first author's notion of 2-associahedra.
△ Less
Submitted 30 August, 2022;
originally announced August 2022.
-
A simplicial version of the 2-dimensional Fulton-MacPherson operad
Authors:
Nathaniel Bottman
Abstract:
We define an operad in Top, called $\text{FM}_2^W$. The spaces in $\text{FM}_2^W$ come with CW decompositions, such that the operad compositions are cellular. In fact, each space in $\text{FM}_2^W$ is the realization of a simplicial set. We expect, but do not prove here, that $\text{FM}_2^W$ is isomorphic to the 2-dimensional Fulton-MacPherson operad $\text{FM}_2$. Our construction is connected to…
▽ More
We define an operad in Top, called $\text{FM}_2^W$. The spaces in $\text{FM}_2^W$ come with CW decompositions, such that the operad compositions are cellular. In fact, each space in $\text{FM}_2^W$ is the realization of a simplicial set. We expect, but do not prove here, that $\text{FM}_2^W$ is isomorphic to the 2-dimensional Fulton-MacPherson operad $\text{FM}_2$. Our construction is connected to the author's work on the symplectic $(A_\infty,2)$-category, and suggests a strategy toward equipping the symplectic cochain complex with the structure of a homotopy Batalin-Vilkoviskiy algebra.
△ Less
Submitted 19 September, 2022; v1 submitted 8 January, 2021;
originally announced January 2021.
-
A comparison of group testing architectures for COVID-19 testing
Authors:
J. Batson,
N. Bottman,
Y. Cooper,
F. Janda
Abstract:
An important component of every country's COVID-19 response is fast and efficient testing - to identify and isolate cases, as well as for early detection of local hotspots. For many countries, producing a sufficient number of tests has been a serious limiting factor in their efforts to control COVID-19 infections. Group testing is a well-established mathematical tool, which can provide a substanti…
▽ More
An important component of every country's COVID-19 response is fast and efficient testing - to identify and isolate cases, as well as for early detection of local hotspots. For many countries, producing a sufficient number of tests has been a serious limiting factor in their efforts to control COVID-19 infections. Group testing is a well-established mathematical tool, which can provide a substantial and inexpensive expansion of testing capacity. In this note, we compare several popular group testing schemes in the context of qPCR testing for COVID-19. We find that in practical settings, for identification of individuals with COVID-19, Dorfman testing is the best choice at prevalences up to 30%, while for estimation of COVID-19 prevalence rates in the total population, Gibbs-Gower testing is the best choice at prevalences up to 30% given a fixed and relatively small number of tests. For instance, at a prevalence of up to 2%, Dorfman testing gives an efficiency gain of 3.5--8; at 1% prevalence, Gibbs-Gower testing gives an efficiency gain of 18, even when capping the pool size at a feasible number .
This note is intended as a helpful handbook for labs implementing group testing methods.
△ Less
Submitted 23 October, 2020; v1 submitted 6 May, 2020;
originally announced May 2020.
-
The 2-associahedra are Eulerian
Authors:
Nathaniel Bottman,
Dylan Mavrides
Abstract:
We show that the 2-associahedra are Eulerian, by exploiting their recursive structure.
We show that the 2-associahedra are Eulerian, by exploiting their recursive structure.
△ Less
Submitted 21 October, 2019;
originally announced October 2019.
-
A compactification of the moduli space of marked vertical lines in $\mathbb{C}^2$
Authors:
Nathaniel Bottman,
Alexei Oblomkov
Abstract:
For $r \geq 1$ and $\mathbf{n} \in \mathbb{Z}_{\geq0}^r\setminus\{\mathbf{0}\}$, we construct a proper complex variety $\overline{2M}_{\mathbf{n}}$. $\overline{2M}_{\mathbf{n}}$ is locally toric, and it is equipped with a forgetful map $\overline{2M}_{\mathbf{n}} \to \overline M_{0,r+1}$. This space is a compactification of $2M_{\mathbf{n}}$, the configuration space of marked vertical lines in…
▽ More
For $r \geq 1$ and $\mathbf{n} \in \mathbb{Z}_{\geq0}^r\setminus\{\mathbf{0}\}$, we construct a proper complex variety $\overline{2M}_{\mathbf{n}}$. $\overline{2M}_{\mathbf{n}}$ is locally toric, and it is equipped with a forgetful map $\overline{2M}_{\mathbf{n}} \to \overline M_{0,r+1}$. This space is a compactification of $2M_{\mathbf{n}}$, the configuration space of marked vertical lines in $\mathbb{C}^2$ up to translations and dilations. In the appendices, we give several examples and show how the stratification of $\overline{2M}_{\mathbf{n}}$ can be used to recursively compute its virtual Poincaré polynomial.
△ Less
Submitted 4 October, 2019;
originally announced October 2019.
-
$(A_\infty,2)$-categories and relative 2-operads
Authors:
Nathaniel Bottman,
Shachar Carmeli
Abstract:
We define the notion of a 2-operad relative to an operad, and prove that the 2-associahedra form a 2-operad relative to the associahedra. Using this structure, we define the notions of an $(A_\infty,2)$-category and $(A_\infty,2)$-algebra in spaces and in chain complexes over a ring. Finally, we show that for any continuous map $A \to X$, we can associate an $(A_\infty,2)$-algebra $θ(A \to X)$ in…
▽ More
We define the notion of a 2-operad relative to an operad, and prove that the 2-associahedra form a 2-operad relative to the associahedra. Using this structure, we define the notions of an $(A_\infty,2)$-category and $(A_\infty,2)$-algebra in spaces and in chain complexes over a ring. Finally, we show that for any continuous map $A \to X$, we can associate an $(A_\infty,2)$-algebra $θ(A \to X)$ in $\textsf{Top}$, which specializes to $θ(\text{pt} \to X) = Ω^2 X$ and $θ(A \to \text{pt}) = ΩA \times ΩA$.
△ Less
Submitted 28 June, 2021; v1 submitted 13 November, 2018;
originally announced November 2018.
-
Explicit constructions of quilts with seam condition coming from symplectic reduction
Authors:
Nathaniel Bottman
Abstract:
Associated to a symplectic quotient $M/\!/G$ is a Lagrangian correspondence $Λ_G$ from $M/\!/G$ to $M$. In this note, we construct in two examples quilts with seam condition on such a correspondence, in the case of $S^1$ acting on $\mathbb{CP}^2$ with symplectic quotient $\mathbb{CP}^2/\!/ S^1 = \mathbb{CP}^1$. First, we study the quilted strips that would, if not for figure eight bubbling, identi…
▽ More
Associated to a symplectic quotient $M/\!/G$ is a Lagrangian correspondence $Λ_G$ from $M/\!/G$ to $M$. In this note, we construct in two examples quilts with seam condition on such a correspondence, in the case of $S^1$ acting on $\mathbb{CP}^2$ with symplectic quotient $\mathbb{CP}^2/\!/ S^1 = \mathbb{CP}^1$. First, we study the quilted strips that would, if not for figure eight bubbling, identify the Floer chain groups $CF(γ,S_{\text{Cl}}^1)$ and $CF(\mathbb{RP}^2,T_{\text{Cl}}^2)$, where $γ$ is the connected double-cover of $\mathbb{RP}^1$. Second, we answer a question due to Akveld-Cannas da Silva-Wehrheim by explicitly producing a figure eight bubble which obstructs an isomorphism between two Floer chain groups. The figure eight bubbles we construct in this paper are the first concrete examples of this phenomenon.
△ Less
Submitted 21 November, 2022; v1 submitted 22 August, 2018;
originally announced August 2018.
-
Moduli spaces of witch curves topologically realize the 2-associahedra
Authors:
Nathaniel Bottman
Abstract:
For $r \geq 1$ and $\mathbf{n} \in \mathbb{Z}_{\geq0}^r\setminus\{\mathbf{0}\}$, we construct the compactified moduli space $\overline{2\mathcal{M}}_{\mathbf{n}}$ of witch curves of type $\mathbf{n}$. We equip $\overline{2\mathcal{M}}_{\mathbf{n}}$ with a stratification by the 2-associahedron $W_{\mathbf{n}}$, and prove that $\overline{2\mathcal{M}}_{\mathbf{n}}$ is compact and metrizable. In addi…
▽ More
For $r \geq 1$ and $\mathbf{n} \in \mathbb{Z}_{\geq0}^r\setminus\{\mathbf{0}\}$, we construct the compactified moduli space $\overline{2\mathcal{M}}_{\mathbf{n}}$ of witch curves of type $\mathbf{n}$. We equip $\overline{2\mathcal{M}}_{\mathbf{n}}$ with a stratification by the 2-associahedron $W_{\mathbf{n}}$, and prove that $\overline{2\mathcal{M}}_{\mathbf{n}}$ is compact and metrizable. In addition, we show that the forgetful map $\overline{2\mathcal{M}}_{\mathbf{n}} \to \overline{\mathcal{M}}_r$ to the moduli space of stable disk trees is continuous and respects the stratifications.
△ Less
Submitted 12 October, 2019; v1 submitted 4 December, 2017;
originally announced December 2017.
-
2-associahedra
Authors:
Nathaniel Bottman
Abstract:
For any $r\geq 1$ and $\mathbf{n} \in \mathbb{Z}_{\geq0}^r \setminus \{\mathbf0\}$ we construct a poset $W_{\mathbf{n}}$ called a 2-associahedron. The 2-associahedra arose in symplectic geometry, where they are expected to control maps between Fukaya categories of different symplectic manifolds. We prove that the completion $\widehat{W_{\mathbf{n}}}$ is an abstract polytope of dimension…
▽ More
For any $r\geq 1$ and $\mathbf{n} \in \mathbb{Z}_{\geq0}^r \setminus \{\mathbf0\}$ we construct a poset $W_{\mathbf{n}}$ called a 2-associahedron. The 2-associahedra arose in symplectic geometry, where they are expected to control maps between Fukaya categories of different symplectic manifolds. We prove that the completion $\widehat{W_{\mathbf{n}}}$ is an abstract polytope of dimension $|\mathbf{n}|+r-3$. There are forgetful maps $W_{\mathbf{n}} \to K_r$, where $K_r$ is the $(r-2)$-dimensional associahedron, and the 2-associahedra specialize to the associahedra (in two ways) and to the multiplihedra. In an appendix, we work out the 2- and 3-dimensional associahedra in detail.
△ Less
Submitted 22 August, 2018; v1 submitted 31 August, 2017;
originally announced September 2017.
-
Gromov compactness for squiggly strip shrinking in pseudoholomorphic quilts
Authors:
Nathaniel Bottman,
Katrin Wehrheim
Abstract:
We establish a Gromov compactness theorem for strip shrinking in pseudoholomorphic quilts when composition of Lagrangian correspondences is immersed. In particular, we show that figure eight bubbling occurs in the limit, argue that this is a codimension-$0$ effect, and predict its algebraic consequences -- geometric composition extends to a curved $A_\infty$-bifunctor, in particular the associated…
▽ More
We establish a Gromov compactness theorem for strip shrinking in pseudoholomorphic quilts when composition of Lagrangian correspondences is immersed. In particular, we show that figure eight bubbling occurs in the limit, argue that this is a codimension-$0$ effect, and predict its algebraic consequences -- geometric composition extends to a curved $A_\infty$-bifunctor, in particular the associated Floer complexes are isomorphic after a figure eight correction of the bounding cochain. An appendix with Felix Schmäschke provides examples of nontrivial figure eight bubbles.
△ Less
Submitted 20 February, 2018; v1 submitted 11 March, 2015;
originally announced March 2015.
-
Pseudoholomorphic quilts with figure eight singularity
Authors:
Nathaniel Bottman
Abstract:
We show that the novel figure eight singularity in a pseudoholomorphic quilt can be continuously removed when composition of Lagrangian correspondences is cleanly immersed. The proof of this result requires a collection of width-independent elliptic estimates that allow for non-standard complex structures on the domain.
We show that the novel figure eight singularity in a pseudoholomorphic quilt can be continuously removed when composition of Lagrangian correspondences is cleanly immersed. The proof of this result requires a collection of width-independent elliptic estimates that allow for non-standard complex structures on the domain.
△ Less
Submitted 12 October, 2019; v1 submitted 14 October, 2014;
originally announced October 2014.
