Algebraic Topology
New submissions
[ 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 curvesAuthors: Jan SteinebrunnerComments: 72 pages, 12 figuresSubjects: 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 GalatiusMadsenTillmannWeiss. 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.
Crosslists for Tue, 30 Nov 21
 [2] arXiv:2111.14245 (crosslist from math.KT) [pdf, other]

Title: Bredon homology of wallpaper groupsAuthors: Ramón FloresComments: 33 pages, 1 figureSubjects: KTheory 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 (crosslist from math.KT) [pdf, other]

Title: Topological categories related to Fredholm operators: I. Classifying spacesAuthors: Nikolai V. IvanovComments: 107 pagesSubjects: KTheory and Homology (math.KT); Algebraic Topology (math.AT)
In 1970s Segal outlined proofs of two theorems relating spaces of Fredholm and selfadjoint Fredholm operators with Quillen's constructions used to define higher algebraic Ktheory. 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 selfadjoint Fredholm operators. The main results may be considered as partial analogues of the equivalence of Quillen's two definition of higher algebraic Ktheory. Along the way we relate spaces of Fredholm and selfadjoint 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 (crosslist from math.GT) [pdf, ps, other]

Title: On the number of stabilizer subgroups in a finite group acting on a manifoldSubjects: Geometric Topology (math.GT); Algebraic Topology (math.AT)
If a finite pgroup 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 Haction 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 (crosslist from math.CT) [pdf, other]

Title: Limits and colimits in internal higher category theoryComments: 72 pagesSubjects: 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 (crosslist from hepth) [pdf, ps, other]

Title: Mysterious trialityComments: 78 pagesSubjects: High Energy Physics  Theory (hepth); 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 Mtheory 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 foursphere $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 Mtheory is no longer a mystery, as each space $\mathcal{L}_c^k S^4$ is naturally related to the compactification of Mtheory on the $k$torus via identification of the equations of motion of $(11k)$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 IqbalNeitzkeVafa'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 (crosslist from math.DS) [pdf, ps, other]

Title: On the ergodicity of the frame flow on evendimensional manifoldsComments: 41 pages, 1 figureSubjects: 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 longstanding conjecture of Brin asserting that $1/4$pinched evendimensional 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 shellingAuthors: JeanYves Welschinger (AGL)Comments: 14 pages, 4 figuresSubjects: 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 bispansComments: 84 pages, v2: Proof of Lemma 3.5.8 corrected, several proofs simplified, v3: Proof of main result greatly simplified, added application to KtheorySubjects: Category Theory (math.CT); Algebraic Geometry (math.AG); Algebraic Topology (math.AT)
 [10] arXiv:2108.13108 (replaced) [pdf, other]

Title: A Metric for TreeLike Topological SummariesAuthors: Matteo PegoraroSubjects: 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 SpacesComments: 63 pages. Definition 2.14 is corrected in the second versionSubjects: Symplectic Geometry (math.SG); Algebraic Topology (math.AT); Category Theory (math.CT)
[ 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)