We gratefully acknowledge support from
the Simons Foundation and member institutions.

Algebraic Topology

New submissions

[ total of 11 entries: 1-11 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Tue, 30 Nov 21

[1]  arXiv:2111.14757 [pdf, other]
Title: The surface category and tropical curves
Comments: 72 pages, 12 figures
Subjects: Algebraic Topology (math.AT); Algebraic Geometry (math.AG); Category Theory (math.CT)

We compute the classifying space of the surface category $\mathrm{Cob}_2$ whose objects are closed $1$-manifolds and whose morphisms are diffeomorphism classes of surface bordisms, and show that it is rationally equivalent to a circle. It is hence much smaller than the classifying space of the topologically enriched surface category $\mathcal{C}_2$ studied by Galatius-Madsen-Tillmann-Weiss. However, we also show that for the wide subcategory $\mathrm{Cob}_2^{\chi\le0} \subset \mathrm{Cob}_2$ that contains all morphisms without disks or spheres, the classifying space $B\mathrm{Cob}_2^{\chi\le0}$ is surprisingly large. Its rational homotopy groups contain the homology of all moduli spaces of tropical curves $\Delta_g$ as a summand. The technical key result shows that a version of positive boundary surgery applies to a large class of discrete symmetric monoidal categories, which we call labelled cospan categories. We also use this to show that the $(2,1)$-category of cospans of finite sets has a contractible classifying space.

Cross-lists for Tue, 30 Nov 21

[2]  arXiv:2111.14245 (cross-list from math.KT) [pdf, other]
Title: Bredon homology of wallpaper groups
Authors: Ramón Flores
Comments: 33 pages, 1 figure
Subjects: K-Theory and Homology (math.KT); Algebraic Topology (math.AT); Group Theory (math.GR)

In this paper we compute the Bredon homology of wallpaper groups with respect to the family of finite groups and with coefficients in the complex representation ring. We provide explicit bases of the homology groups in terms of irreducible characters of the representation rings of the stabilizers.

[3]  arXiv:2111.14313 (cross-list from math.KT) [pdf, other]
Title: Topological categories related to Fredholm operators: I. Classifying spaces
Comments: 107 pages
Subjects: K-Theory and Homology (math.KT); Algebraic Topology (math.AT)

In 1970s Segal outlined proofs of two theorems relating spaces of Fredholm and self-adjoint Fredholm operators with Quillen's constructions used to define higher algebraic K-theory. In the present paper we provide detailed proofs of these theorems of Segal (different from the ones outlined by Segal) and then transplant some further ideas of Quillen to the real of Fredholm and self-adjoint Fredholm operators. The main results may be considered as partial analogues of the equivalence of Quillen's two definition of higher algebraic K-theory. Along the way we relate spaces of Fredholm and self-adjoint Fredholm operators with more concrete classifying spaces. These results are partially motivated by applications to the index theory in a related paper.

[4]  arXiv:2111.14450 (cross-list from math.GT) [pdf, ps, other]
Title: On the number of stabilizer subgroups in a finite group acting on a manifold
Subjects: Geometric Topology (math.GT); Algebraic Topology (math.AT)

If a finite p-group G acts continuously on a compact topological manifold M then, with some bound C depending on M alone, G has a subgroup H of index at most C such that the H-action on M has at most C stabilizer subgroups. This result plays a crucial role in the proof of a deep conjecture of Ghys.

[5]  arXiv:2111.14495 (cross-list from math.CT) [pdf, other]
Title: Limits and colimits in internal higher category theory
Comments: 72 pages
Subjects: Category Theory (math.CT); Algebraic Topology (math.AT)

We develop a number of basic concepts in the theory of categories internal to an $\infty$-topos. We discuss adjunctions, limits and colimits as well as Kan extensions for internal categories, and we use these results to prove the universal property of internal presheaf categories. We furthermore construct the free cocompletion of an internal category by colimits that are indexed by an arbitrary class of diagram shapes.

[6]  arXiv:2111.14810 (cross-list from hep-th) [pdf, ps, other]
Title: Mysterious triality
Comments: 78 pages
Subjects: High Energy Physics - Theory (hep-th); Algebraic Geometry (math.AG); Algebraic Topology (math.AT); Quantum Algebra (math.QA)

Mysterious duality has been discovered by Iqbal, Neitzke, and Vafa in 2001 as a convincing, yet mysterious correspondence between certain symmetry patterns in toroidal compactifications of M-theory and del Pezzo surfaces, both governed by the root system series $E_k$.
It turns out that the sequence of del Pezzo surfaces is not the only sequence of objects in mathematics which gives rise to the same $E_k$ symmetry pattern. We present a sequence of topological spaces, starting with the four-sphere $S^4$, and then forming its iterated cyclic loop spaces $\mathcal{L}_c^k S^4$, within which we discover the $E_k$ symmetry pattern via rational homotopy theory. For this sequence of spaces, the correspondence between its $E_k$ symmetry pattern and that of toroidal compactifications of M-theory is no longer a mystery, as each space $\mathcal{L}_c^k S^4$ is naturally related to the compactification of M-theory on the $k$-torus via identification of the equations of motion of $(11-k)$-dimensional supergravity as the defining equations of the Sullivan minimal model of $\mathcal{L}_c^k S^4$. This gives an explicit duality between algebraic topology and physics.
Thereby, we extend Iqbal-Neitzke-Vafa's mysterious duality between algebraic geometry and physics into a triality, also involving algebraic topology. Via this triality, duality between physics and mathematics is demystified, and the mystery is transferred to the mathematical realm as duality between algebraic geometry and algebraic topology. Now the question is: is there an explicit relation between the del Pezzo surfaces $\mathbb{B}_k$ and iterated cyclic loop spaces of $S^4$ which would explain the common $E_k$ symmetry pattern?

[7]  arXiv:2111.14811 (cross-list from math.DS) [pdf, ps, other]
Title: On the ergodicity of the frame flow on even-dimensional manifolds
Comments: 41 pages, 1 figure
Subjects: Dynamical Systems (math.DS); Algebraic Topology (math.AT); Differential Geometry (math.DG)

It is known that the frame flow on a closed $n$-dimensional Riemannian manifold with negative sectional curvature is ergodic if $n$ is odd and $n \neq 7$. In this paper we study its ergodicity for $n \geq 4$ even and $n = 7$, and we show that: if $n \equiv 2$ mod $4$, or $n=4$, the frame flow is ergodic if the manifold is $\sim 0.3$-pinched, if $n \equiv 0$ mod $4$, it is ergodic if the manifold is $\sim 0.6$-pinched, except in the three dimensions $n=7,8,134$, where the respective pinching conditions are $0.4962...$, $0.6212...$, and $0.6716...$. In particular, if $n = 4$ or $n \equiv 2$ mod $4$, this almost solves a long-standing conjecture of Brin asserting that $1/4$-pinched even-dimensional manifolds have an ergodic frame flow.

Replacements for Tue, 30 Nov 21

[8]  arXiv:2012.01770 (replaced) [pdf, other]
Title: Spectral sequences of a Morse shelling
Authors: Jean-Yves Welschinger (AGL)
Comments: 14 pages, 4 figures
Subjects: Algebraic Topology (math.AT); Combinatorics (math.CO); Geometric Topology (math.GT)
[9]  arXiv:2010.15722 (replaced) [pdf, other]
Title: On distributivity in higher algebra I: The universal property of bispans
Comments: 84 pages, v2: Proof of Lemma 3.5.8 corrected, several proofs simplified, v3: Proof of main result greatly simplified, added application to K-theory
Subjects: Category Theory (math.CT); Algebraic Geometry (math.AG); Algebraic Topology (math.AT)
[10]  arXiv:2108.13108 (replaced) [pdf, other]
Title: A Metric for Tree-Like Topological Summaries
Authors: Matteo Pegoraro
Subjects: Combinatorics (math.CO); Algebraic Topology (math.AT)
[11]  arXiv:2109.03411 (replaced) [pdf, ps, other]
Title: Homotopy Colimits of Semifree DG Categories and Fukaya Categories of Cotangent Bundles of Lens Spaces
Comments: 63 pages. Definition 2.14 is corrected in the second version
Subjects: Symplectic Geometry (math.SG); Algebraic Topology (math.AT); Category Theory (math.CT)
[ total of 11 entries: 1-11 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, recent, 2111, contact, help  (Access key information)