an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org
New this week
33 papers in math.AT from 6 November to 12 November 2026.
Includes papers cross-listed here; the counts on the field chips are by primary category.
showing 1–25 of 33, newest first RSS
Marco Aldi, Samuel Bevins, Eleftherios Chatzitheodoridis +3 more
We give explicit and recursive formulas for the Poincaré polynomials of Dani--Mainkar nilmanifolds associated with path graphs. We also prove that these polynomials are unimodal, and we calculate a range of Betti numbers asymptotically. As an application, we derive a sharp lower bound for the dimension of the total de Rham cohomology of a Dani--Mainkar nilmanifold.
Sushovan Majhi, Atish Mitra, Žiga Virk
We compute the asymptotic dimension of spaces of multiparameter persistence modules of bounded presentation under the interleaving distance. The $d$-parameter modules with at most $n$ generators and $m$ relations have asymptotic dimension, and Assouad-Nagata dimension, exactly $d(n+m)$, the number of coordinates of their generator and relation grades, over every field; for two parameters this is $2(n+m)$. The space has continuous moduli, already for two parameters and $n,m\ge2$: over an infinite field it contains, at every scale, infinite uniformly separated families of pairwise non-isomorphic modules with one fibered barcode, so it is not doubling even at a fixed fibered barcode; already for $m\ge1$ it is not coarsely equivalent to a proper metric space. The proof is an induction on the number of distinct grade coordinates: an interleaving small compared with the gaps between these…
We study Chern characteristic classes of normal vector bundles of complex generalized flag submanifolds $G_{n-1}/P_{n-1}$ in complex generalized flag manifolds $G_n/P_n$. This procedure can be regarded as the relative version of Schubert calculus for the pair $G_{n-1}/P_{n-1}$ and $G_n/P_n$. The CW structure and additive structure of the cohomology of $\mathrm{Gr}(n, k)$ allows inductive calculation of Chern classes of the canonical and complementary canonical vector bundles over $\mathrm{Gr}(n, k)$. The combination of representation theory and algebraic geometry allows to derive analogous properties for the isotropic Grassmannians $\mathrm{LGr}(m, k)$ and $\mathrm{OGr}(m, k)$ via their embeddings in $\mathrm{Gr}(m, k)$. Then the induced CW structure yields the additive structure on the cohomology of $\mathrm{LGr}(m, k)$ and $\mathrm{OGr}(m, k)$, and consequently leads to the…
We calculate the mod $2$-homology of the fixed points of the $C_4$-equivariant Hill--Hopkins--Ravenel theory $BP^{((C_4))}\langle 1\rangle$, as an $\mathcal{A}_*$-comodule algebra. $2$-locally these fixed points are $tmf_0(5)$ by a theorem of Quinn. We deduce that $tmf_0(5)$ is an indecomposable $tmf$-module that is an extension of two $tmf$-modules of the form $tmf\otimes K$ for a finite spectrum $K$. The $K(2)$-localization of $tmf_0(5)$ is $32$-periodic, and we compute the Adams spectral sequence of $tmf_0(5)$ through the $32$-stem.
Mason Adams, Prasit Bhattacharya, Arannya Bhattacherjee +1 more
Let $a$ denote the stabilization of the Euler class of the sign representation of $\mathrm{C}_2$. In this paper, we show that the Behrens-Shah periodic $u$-self-equivalence of $C(a^i)$ -- a direct consequence of J.F. Adams' calculation of James periodicity -- determines the $\mathrm{H}\underline{\mathbb{F}}_2$-Hurewicz image of the $\mathrm{C}_2$-equivariant sphere spectrum, recovering a recent theorem of Guo-Li-Lu-Wu-Xu-Yang-Zhang via a different method. Furthermore, we use the $\mathrm{C}_2$-equivariant periodic $u$-self-equivalences on the cofiber spectra $C(a^i)$ to construct new infinite families in the $\mathrm{C}_2$-equivariant stable stems whose $\mathrm{H}\underline{\mathbb{F}}_2$-Hurewicz image is trivial.
John Francis, Owen Gwilliam, Rajiv Kaipa
We describe a quantization procedure for Betti mapping stacks with shifted Poisson targets by combining factorization homology and formal geometry. We quantize derived stacks of local systems of low-dimensional manifolds.
Given a locally finite open cover of a paracompact space, a subordinate partition of unity defines a map into the geometric realization of the nerve. When the cover is good, the nerve theorem asserts that this map is a homotopy equivalence. In applied topology, one specializes this construction to covers of metric data by open balls centered at finitely many landmarks. The corresponding nerve map represents the data inside the Čech complex, enabling one to pull cohomological or spectral invariants back to the data. Since point cloud data often comes equipped with weights encoding domain-specific importance, we introduce a weighted version of the nerve map and study its stability under perturbations of the landmarks and weights using metrics from optimal transport. Our main result is a Lipschitz stability theorem for the weighted nerve map under a uniform nondegeneracy assumption. We…
We apply a derived completion construction for commutative ring spectra to give a description of the K-theory spectrum of a geometric field F (i.e. containing an algebraically closed subfield $k$) of characteristic zero purely in terms of the representation theory of its absolute Galois group $G_F$. A result that follows is that the l-adically completed Milnor K-theory of F is isomorphic to the derived completion of the representation ring of $G_F$. The main result, from which this follows, is that $K(F)$ completed at l is equivalent to the derived completion of the K-theory of the category of finite dimensional representations of $G_F$ in $k$.
Geometric chains are formal combinations of smooth maps from compact oriented manifolds or orbifolds with corners. In earlier work the author showed that, modulo a relation D that kills degenerate chains, they compute rational singular homology. We show that D can be replaced by a gluing relation, which identifies a chain with the sum of its restrictions to finitely many pieces whenever its source is glued from these pieces along whole codimension-one faces. With this relation the comparison map from singular homology is an isomorphism in all degrees for compact polyhedra and smooth manifolds without boundary, with rational and with integer coefficients. Unlike D, the gluing relation is defined through the sources alone, and chain-level identities such as the equivalence of a degree d covering with d times its base, which fails modulo D, and the correction terms of the chain map from a…
The path homology theory is based on the notion of path complex and is a part of GLMY-theory created and developed by Grigor'yan, Lin, Muranov, and Yau in a cycle of papers in 2012-2014. In this paper we define a path complex with concatenation ($PC$-complex) which is a particular case of a path complex. We define a natural topology on a set of vertices of any $PC$-complex, and describe properties of this topology and its relation to the discrete topology of Alexandroff. We prove the existence of functorial relations between some categories of $PC$-complexes and digraphs. These relations allow to transfer covering, homotopy and various versions of homology theory from digraph theory to $PC$-complexes.
Michael Entov, Leonid Polterovich
We consider a version of Legendrian contact homology filtered by the action of Reeb chords. In this version, a union of two disjoint exact Lagrangian cobordisms with Legendrian boundary conditions gives rise to a morphism between persistence modules. We discuss a certain algebraic invariant of such morphisms and use it to obtain obstructions to Lagrangian isotopies of the cobordisms, as well as applications to symplectic and contact dynamics.
In this paper, we study the orbit manifolds of free diagonal linear circle actions on \(S^{2n+1}\times S^{2n+1}\). For every \(n\geq 1\), we establish a PL homeomorphism classification of the orbit manifolds in terms of the weights of the actions. We also obtain diffeomorphism classification and homotopy classification of such orbit manifolds in dimension $9$ and $13$. The diffeomorphism classification results lead to two geometric applications. For every \(m\geq 1\), there exist a non-spin \(9\)-manifold \(M_m^9\) and a spin \(13\)-manifold \(M_m^{13}\) in our family such that the moduli space of unit-volume homogeneous Einstein metrics on each manifold has at least \(2^{m-1}\) connected components. Moreover, each of these manifolds admits at least \(2^{m-1}\) regular Sasakian structures whose underlying contact structures are pairwise non-contactomorphic.
For sections between simply connected spaces of finite rational type, we compare module sectional category, sectional category and relative category after rationalization. Fibre Poincaré duality turns the compatibility of derived evaluation with the section into a derived self-intersection formula. We prove equality of the three invariants under any of four hypotheses: a base-dimension bound, finite total rational homotopy of the fibre, a smooth section with closed manifold fibre, or a compatible relative Frobenius model. Projective bundles over CP^k with fibre CP^r have common value k + r, which is unbounded even for fixed fibre. Whether fibre Poincaré duality alone suffices remains open.
We study the number of non-cyclic Sylow subgroups of $(\mathbb Z/n\mathbb Z)^\times$. Pollack suggested investigating whether this count has a limiting distribution after suitable normalization. For uniformly chosen $n\le x$, we prove a Gaussian limit with variance asymptotic to $\tfrac12\log_2x/\log_3x$. Motivated by the fixed-rank normal-order results of Morales, Polanco, and Pollack, we further prove joint Gaussian limits for this count and the numbers of elementary abelian Sylow subgroups of any fixed finite collection of ranks at least two. We give explicit prime-sum centers and asymptotics for all arithmetic covariances. The same joint theorem includes the number of common prime divisors of Euler's and Dedekind's functions. The proof uses the integer Kubilius model, estimates for the dependence between distinct output primes, and mean-square bounds for arithmetic truncation.
It is a folk theorem of Goodwillie that there are exactly 9 model structures on the category of sets, coming from 18 pre-model structures. We investigate model structures and pre-model structures on the category of $G$-sets for a finite group $G$. We outline a strategy for finding all model structures in this category, and partially execute this strategy for the case of $C_p$-sets, where $C_p$ denotes a cyclic group of prime order $p$. In particular, there are exactly 1777 pre-model structures on the category of $C_p$-sets.
Baptiste Calmès, Emanuele Dotto, Yonatan Harpaz +6 more
In analogy with the passage from connective to non-connective algebraic K-theory, Schlichting put forward the Karoubi-Grothendieck-Witt spectrum as an approximation to Grothendieck-Witt theory by a functor invariant under idempotent completion. In this paper, we extend his construction to the setting of Poincaré $\infty$-categories and characterise the resulting functor by the expected universal property. Our main result places these Karoubi-Grothendieck-Witt-spectra in an exact sequence involving the ultimately decorated L-spectrum and homotopy orbits of non-connective K-theory. This confirms a conjecture of Williams which had remained open even for rings in which $2$ is invertible, and allows us to deduce universal characterisations for ultimately decorated L-theory. We obtain these results by unifying the Bass-Heller-Swan and Ranicki-Shaneson splittings into a general decomposition…
We develop a viewpoint of Pin(2)-equivariant Bauer-Furuta invariant: It can be converted to a section over a finite dimensional Pin(2)-orbit, and it takes values in ordinary stable homotopy class. This viewpoint reveals a topological limitation of the invariant: If the fiber's connectivity exceeds the dimension of the base space, then all sections are homotopic to the trivial section. We use it to recover Lin-Mukherjee vanishing theorem. Furthermore, the family Seiberg-Witten invariant can be obtained from the pullback of such sections to $S^1$-orbit. We use this fact to prove a vanishing theorem of the Pin(2)-equivariant family Bauer-Furuta invariant after two stabilizations.
Sushovan Majhi, Atish Mitra, Žiga Virk
We study coarse embeddings into Hilbert space and the asymptotic dimension of spaces of persistence diagrams and multiparameter persistence modules. We replace doubling, the usual hypothesis for landmark embeddings, by admissible tent covers of bounded multiplicity at every scale: stacking them across dyadic scales gives an explicit $1$-Lipschitz coarse embedding, with lower gauge $c\sqrt{τt}$, or nearly linear for slowly decaying weights, and the same covers bound the asymptotic dimension by the multiplicity. The spaces of persistence diagrams are not doubling but carry such covers, and for diagrams with $n$ points our covers improve the constant of the known landmark embedding by a factor exponential in $n$. Slice by slice, the construction embeds multiparameter modules with boundedly many bars per slice under the matching distance on any finite net of slices, a class that contains…
Emilio J. González, Jesús González, Mary Carmen Pérez-Morales
For a simple graph $Γ$ without loops and an integer $n\geq2$, Abrams showed in his Ph.D. thesis that the discrete configuration space $DConf(Γ,n)$ is homeomorphic to a closed $n$-manifold if and only if $n=2$ and $Γ$ is $K_5$ or $K_{3,3}$, the two minimal obstructions to graph planarity. We show that this manifold property persists for the infinite family of discrete configuration spaces obtained by replacing the Kuratowski graphs with the $d$-skeleton of the simplex of dimension $2d+2$, thus recovering Abrams' $K_5$ case when $d=1$. Our manifold recognition argument relies on a recursive application of Whitehead's theorem that collapsible PL manifolds are PL balls, combined with Forman's discrete Morse theory. The resulting construction produces an infinite family of combinatorial spheres that contains the Legendre polytope boundaries and is closed under taking vertex links.
Local anomaly polynomials describe local variations, but a normalized Green-Schwarz phase also depends on global background data. We explain this dependence for ten-dimensional three-sphere bundles of quaternionic lines over closed spin seven-manifolds. The backgrounds retain two specified $\mathrm{Spin}(16)$ gauge bundles and an integral differential trivialization on the base, including its boundary identifications. The trivialized class is the sum of half the first Pontryagin class of the tangent bundle and the second Chern class of the quaternionic line's underlying complex bundle. For these backgrounds, the calculation combines a generally nonzero local Green-Schwarz integral with a real eta invariant evaluated by a twelve-dimensional Atiyah-Patodi-Singer filling. Together, these terms determine an integral relative characteristic number; the additive response is one third of that…
We make two case studies of $\mathrm{RO}(G)$-graded homotopy in connection with $p$-adic cohomology. First, we identify the $\mathrm{RO}(\mathbf T)$-graded $\mathrm{TC}^-$ and $\mathrm{TP}$ of quasiregular semiperfectoid rings as multi-Rees algebras for the Nygaard and $ϕ^\bullet(I)$-adic filtrations. We additionally compute $E^{h\mathbf T}_\bigstar$ and $E^{t\mathbf T}_\bigstar$ when $E$ is a general even $\mathbf E_\infty$-ring with $\mathbf T$-action, and compute $(\mathrm{TR}^n)^{h\mathbf T/C_{p^n}}_\bigstar$ in terms of iterated Nygaard filtrations. Next, we compute the $\mathrm{RO}(\mathbf Z_p)^\land$-graded $\mathrm{TR}$ of smooth algebras over a perfectoid base, providing a pushout of the works of Hesselholt and Angeltveit-Gerhardt along the base case $\mathbf F_p$. Using this, we extend Angeltveit's Norm map of Witt vectors to the de Rham-Witt complex, which participates in a…
In this paper, we show that a proper continuous open discrete map from the open unit ball $B^n$ onto a domain in $\R^n$ with $n\geq5$ is a homeomorphism whenever its branch set is compact. This answers Vuorinen's question affirmatively in every dimension $n\ge5.$ In dimension four, we also show that, under the additional assumption of quasiregularity, the map is a quasiconformal homeomorphism. Together with the three-dimensional theorem of Kauranen, Luisto and Tengvall, these results answer the quasiregular question posed as Problem~7.66 in the collections of Barth--Brannan--Hayman and Hayman--Lingham in every dimension $n\ge3$.
Working in homotopy type theory, we define relative homotopy groups and give three equivalent definitions of the product on these groups. Using this product, we establish the multiplicativity of the cohomological Serre spectral sequence. We show a connection between the homotopy product and the cup-product in cohomology, which leads to the classically familiar description of the starting page of the spectral sequence as a tensor product of graded rings. As applications, we compute cohomology rings of several classifying spaces and loop spaces of spheres.
This expository note gives a short derivation of the classical Spivak normal fibration formula for the total space of a spherical fibration over a Poincaré duality space. We review the associated smooth, PL, and topological manifold realization criteria and illustrate them with examples from the stable stems. The principal application combines these criteria with the completed solution of the Kervaire invariant problem to identify the exceptional stems in a specified family of three cell Poincaré spaces.
We present an elementary argument showing that fundamental groups of permutation complexes are free. Hence, $\mathbb{R} P^2$ cannot be realized by a permutation complex, answering a question of Chachólski, Levi and Meshulam.