http://arxiv.org/api/38qofOtw0nvvKxA6nCftX5PiwA0 2025-05-08T00:00:00-04:00 16564 210 15 http://arxiv.org/abs/2108.06930v2 2025-03-31T21:27:25Z 2021-08-16T07:08:24Z

Ishizaka classified up to conjugacy hyperelliptic periodic automorphisms of a surface. Here, an involution $I$ on a surface $\Sigma_{g}$ is hyperelliptic if and only if $\Sigma_{g}/\langle I \rangle$ is homeomorphic to $S^2$. In this article, we give a classification up to conjugacy for irreducible periodic automorphisms of a surface $\Sigma_{g}$ which commute with involutions $\iota$ such that $\Sigma_{g}/\langle \iota \rangle$ is homeomorphic to $T^{2}$.

Norihisa Takahashi Hiraku Nozawa 16 pages, 17 Figures http://arxiv.org/abs/2504.00215v1 2025-03-31T20:42:00Z 2025-03-31T20:42:00Z

We study the first homology group of the mapping class group and Torelli group with coefficients in the first rational homology group of the universal abelian cover of the surface. We prove two contrasting results: for surfaces with one boundary component these twisted homology groups are finite-dimensional, but for surfaces with one puncture they are infinite-dimensional. These results play an important role in a recent paper of the authors calculating the second rational homology group of the Torelli group.

Daniel Minahan Andrew Putman 47 pages, 29 figures http://arxiv.org/abs/2504.00211v1 2025-03-31T20:34:40Z 2025-03-31T20:34:40Z

We calculate the second rational homology group of the Torelli group for $g \geq 6$.

Daniel Minahan Andrew Putman 53 pages, 39 figures http://arxiv.org/abs/1610.10043v4 2025-03-31T15:57:43Z 2016-10-31T18:10:14Z

We show that any preadditive infinity category with duality gives rise to a direct sum hermitian K-theory spectrum. This assignment is lax symmetric monoidal, thereby producing E-infinity ring spectra from preadditive symmetric monoidal infinity categories with duality. To have examples of preadditive symmetric monoidal infinity categories with duality we show that any preadditive symmetric monoidal infinity category, in which every object admits a dual, carries a canonical duality. Moreover we classify and twist the dualities in various ways and apply our definitions for example to finitely generated projective modules over E-infinity ring spectra.

Hadrian Heine Alejo Lopez-Avila Markus Spitzweck 26 pages http://arxiv.org/abs/2208.04188v7 2025-03-31T15:39:45Z 2022-08-05T13:20:10Z

The classical Heawood inequality states that if the complete graph $K_n$ on $n$ vertices is embeddable in the sphere with $g$ handles, then $g \ge\dfrac{(n-3)(n-4)}{12}$. A higher-dimensional analogue of the Heawood inequality is the K\"uhnel conjecture. In a simplified form it states that for every integer $k>0$ there is $c_k>0$ such that if the union of $k$-faces of $n$-simplex embeds into the connected sum of $g$ copies of the Cartesian product $S^k\times S^k$ of two $k$-dimensional spheres, then $g\ge c_k n^{k+1}$. For $k>1$ only linear estimates were known. We present a quadratic estimate $g\ge c_k n^2$. The proof is based on beautiful and fruitful interplay between geometric topology, combinatorics and linear algebra.

S. Dzhenzher A. Skopenkov 27 pages, 1 figure, remarks 6.7-9 updated http://arxiv.org/abs/2409.05568v2 2025-03-31T12:28:31Z 2024-09-09T12:49:04Z

We prove a local-global principle for $\infty$-categories over any base $\infty$-category $\mathcal{C}$: we show that any $\infty$-category $\mathcal{B} \to \mathcal{C}$ over $\mathcal{C}$ is determined by the following data: the collection of fibers $\mathcal{B}_X$ for $X$ running through the set of equivalence classes of objects of $\mathcal{C}$ endowed with the action of the space of automorphisms $\mathrm{Aut}_X(\mathcal{B})$ on the fiber, the local data, together with a locally cartesian fibration $\mathcal{D} \to \mathcal{C}$ and $\mathrm{Aut}_X(\mathcal{B})$-linear equivalences $\mathcal{D}_X \simeq \mathcal{P}(\mathcal{B}_X)$ to the $\infty$-category of presheaves on $\mathcal{B}_X$, the gluing data. As applications we describe the $\infty$-category of small $\infty$-categories over $[1]$ in terms of the $\infty$-category of left fibrations and prove an end formula for mapping spaces of the internal hom of the $\infty$-category of small $\infty$-categories over $[1]$ and the conditionally existing internal hom of the $\infty$-category of small $\infty$-categories over any small $\infty$-category $\mathcal{C}.$ Considering functoriality in $\mathcal{C}$ we obtain as a corollary that the double $\infty$-category $\mathrm{CORR}$ of correspondences is the pullback of the double $\infty$-category $\mathrm{PR}^L$ of presentable $\infty$-categories along the functor $\infty\mathrm{Cat} \to \mathrm{Pr}^L$ taking presheaves. We deduce that $\infty$-categories over any $\infty$-category $\mathcal{C}$ are classified by normal lax 2-functors.

Hadrian Heine http://arxiv.org/abs/2112.11535v2 2025-03-31T08:51:42Z 2021-12-21T21:34:09Z

We describe a symmetry breaking construction in coarse geometry which allows to obtain information about equivariant coarse homology classes by restriction to smaller groups and spaces. In the case of equivariant coarse $K$-homology theory we give an analytic interpretation of this construction. As a consequence we obtain applications to the spectral theory of invariant differential operators.

Ulrich Bunke Matthias Ludewig 24 pages; published in J. Geom. Phys http://arxiv.org/abs/2404.13877v2 2025-03-31T03:05:01Z 2024-04-22T04:56:16Z

In this paper, we study pointwise finite-dimensional (p.f.d.) $2$-parameter persistence modules where each module admits a finite convex isotopy subdivision. We show that a p.f.d. $2$-parameter persistence module $M$ (with a finite convex isotopy subdivision) is isomorphic to a $2$-parameter persistence module $N$ where the restriction of $N$ to each chamber of the parameter space $(\mathbb{R},\leq)^2$ is a constant functor. Moreover, we show that the convex isotopy subdivision of $M$ induces a finite encoding of $M$. Finally, we prove that every indecomposable thin $2$-parameter persistence module is isomorphic to a polytope module.

Wenwen Li Murad Ozaydin 18 Pages http://arxiv.org/abs/2503.23651v1 2025-03-31T01:32:07Z 2025-03-31T01:32:07Z

The edge group of a simplicial complex is a well-known, combinatorial version of the fundamental group. It is a group associated to a simplicial complex that consists of equivalence classes of edge loops and that is isomorphic to the ordinary (topological) fundamental group of the spatial realization. We define a counterpart to the edge group that likewise gives a combinatorial version of the second (higher) homotopy group. Working entirely combinatorially, we show our group is an abelian group and also respects products. We show that our combinatorially defined group is isomorphic to the ordinary (topological) second homotopy group of the spatial realization.

Gregory Lupton Nicholas A. Scoville P. Christopher Staecker 37 pages, 14 figures http://arxiv.org/abs/2412.02591v2 2025-03-30T16:55:28Z 2024-12-03T17:21:23Z

Most algorithms for computing persistent homology do so by tracking cycles that represent homology classes. There are many choices of such cycles, and specific choices have found different uses in applications. Although it is known that persistence diagrams can be computed in matrix multiplication time [8] for the more general case of zigzag persistent homology, it is not clear how to extract cycle representatives, especially if specific representatives are desired. In this paper, we provide the same matrix multiplication bound for computing representatives for the two choices common in applications in the case of ordinary persistent (co)homology. We first provide a fast version of the reduction algorithm, which is simpler than the algorithm in [8], but returns a different set of representatives than the standard algorithm [6] We then give a fast version of a different variant called the row algorithm [4], which returns the same representatives as the standard algorithm.

Dmitriy Morozov Primoz Skraba http://arxiv.org/abs/2503.23482v1 2025-03-30T15:38:28Z 2025-03-30T15:38:28Z

Topological data analysis (TDA) has emerged as an effective approach in data science, with its key technique, persistent homology, rooted in algebraic topology. Although alternative approaches based on differential topology, geometric topology, and combinatorial Laplacians have been proposed, combinatorial commutative algebra has hardly been developed for machine learning and data science. In this work, we introduce persistent Stanley-Reisner theory to bridge commutative algebra, combinatorial algebraic topology, machine learning, and data science. We propose persistent h-vectors, persistent f-vectors, persistent graded Betti numbers, persistent facet ideals, and facet persistence modules. Stability analysis indicates that these algebraic invariants are stable against geometric perturbations. We employ a machine learning prediction on a molecular dataset to demonstrate the utility of the proposed persistent Stanley-Reisner theory for practical applications.

Faisal Suwayyid Guo-Wei Wei http://arxiv.org/abs/2310.19506v6 2025-03-30T06:07:15Z 2023-10-30T13:04:06Z

We encode the real homotopy type of an $n$-dimensional $(r-1)$-connected compact manifold $M$, $ r\ge 2$ into a minimal unital $C_\infty$-structure on $H^* (M,\mathbb R)$, obtained via homotopy transfer of the unital DGCA structure of the small quotient algebra associated with a Hodge decomposition of the de Rham algebra $\mathcal A^*(M)$, which has been proposed by Fiorenza-Kawai-L\^e-Schwachh\"ofer in [Ann. Sc. Norm. Super Pisa (5), vol. XXII (2021), 79-107]. We prove that if $n \le \ell (r-1) +2$, with $\ell \geq 4$, the multiplication $\mu_k$ on the minimal unital $C_\infty$-algebra $H^*(M,\mathbb R)$ vanishes for all $k \ge \ell-1$. This extends the results from [loc. cit.], extending the bound on the dimension from $5r-3$ to the general bound $\ell(r-1) +2$. We also prove a variant of this result, conjectured by Zhou, stating that if $n \le \ell(r-1)+4$ and $b_r (M) =1$ then the multiplication $\mu_k$ for all $k \ge \ell-1$ vanishes. This implies two formality results by Cavalcanti [Math. Proc. Cambridge Philos. Soc. 141 (2006), 101-112]. We show that in any dimension $n$ the Harrison cohomology class $[\mu_3]\in \mathrm {HHarr}^{3,-1}(H^* (M, \mathbb R), H^*(M, \mathbb R)) $ is a homotopy invariant of $M$ and the first obstruction to formality, and provide a detailed proof that if $n\leq 4r-1$ this is the only obstruction. Furthermore, we show that in any dimension $n$ the class $[\mu_3]$ and the Bianchi-Massey tensor invented by Crowley-Nordstr\"om in [J. Topol. 13(2020), 539-575] define each other uniquely.

Domenico Fiorenza Hông Vân Lê 10.2422/2036-2145.202401_003 v6, 32 p.; affiliation added, a reference added, few typos corrected. Final version. To appear in Ann. Sc. Norm. Super. Pisa http://arxiv.org/abs/2503.23253v1 2025-03-29T23:34:53Z 2025-03-29T23:34:53Z

The ordinary and $S_n$-equivariant fundamental groups of the moduli space $\overline{M_{0,n+1}}(\mathbb{R})$ of real $(n+1)$-marked stable curves of genus $0$ are known as \emph{cactus groups} $J_n$ and have applications both in geometry and the representation theory of Lie algebras. In this paper, we compute the ordinary and $S_n$-equivariant fundamental groups of the Hassett space of weighted real stable curves $\overline{M_{0,\mathcal{A}}}(\mathbb{R})$ with $S_n$-symmetric weight vector $\mathcal{A} = (1/a, \ldots, 1/a, 1)$, which we call \emph{weighted cactus groups} $J_n^a$. We show that $J_n^a$ is obtained from the usual cactus presentation by introducing braid relations, which successively simplify the group from $J_n$ to $S_n \rtimes \mathbb{Z}/2\mathbb{Z}$ as $a$ increases. Our proof is by decomposing $\overline{M_{0,\mathcal{A}}}(\mathbb{R})$ as a polytopal complex, generalizing a similar known decomposition for $\overline{M_{0,n+1}}(\mathbb{R})$. In the unweighted case, these cells are known to be cubes and are `dual' to the usual decomposition into associahedra (by the combinatorial type of the stable curve). For $\overline{M_{0,\mathcal{A}}}(\mathbb{R})$, our decomposition instead consists of products of permutahedra. The cells of the decomposition are indexed by weighted stable trees, but `dually' to the usual indexing.

Jake Levinson Haggai Liu 37 pages http://arxiv.org/abs/2404.03757v4 2025-03-29T18:42:40Z 2024-04-04T19:01:42Z

We introduce and study the sequential analogue of Grant's parametrized topological complexity of group epimorphisms, which generalizes the sequential topological complexity of groups. We derive bounds for sequential parametrized topological complexity based on the cohomological dimension of certain subgroups, thereby extending the corresponding bounds for sequential topological complexity of groups. We also obtain sequential analogs of (new) lower bounds on parametrized topological complexity of epimorphisms which are recently obtained by Espinosa Baro, Farber, Mescher and Oprea. Finally, we utilize these results to provide alternative computations for the sequential parametrized topological complexity of planar Fadell-Neuwirth fibrations.

Navnath Daundkar Major revisions were made following the reviewers' suggestions. This is the final version, which will appear in Topological Methods in Nonlinear Analysis http://arxiv.org/abs/2401.08466v3 2025-03-29T18:30:05Z 2024-01-16T16:17:50Z

Intending to introduce a method for the topological analysis of fields, we present a pipeline that takes as an input a weighted and based chain complex, produces a factored chain complex, and encodes it as a barcode of tagged intervals (briefly, a tagged barcode). We show how to apply this pipeline to the weighted and based Morse chain complex of a gradient-like Morse-Smale vector field on a compact Riemannian manifold in both the smooth and discrete settings. Interestingly for computations, it turns out that there is an isometry between factored chain complexes endowed with the interleaving distance and their tagged barcodes endowed with the bottleneck distance. Concerning stability, we show that the map taking a generic enough gradient-like vector field to its barcode of tagged intervals is continuous. Finally, we prove that the tagged barcode of any such vector field can be approximated by the tagged barcode of a combinatorial version of it with arbitrary precision.

Clemens Bannwart Claudia Landi 38 pages, 3 figures. Changes with respect to the second version: 1) Fixed the formulation and proof of Lemma 2.16. 2) Changed the definition of tagged intervals, so that they always start at zero. 3) Reformulated some statements and shortened some proofs in section 2. 4) Provided some more explanations in section 3. 5) Added another example