Homological stability for Hurwitz spaces and applications

2025-03-05T19:45:37Z

We show the homology of the Hurwitz space associated to an arbitrary finite rack stabilizes integrally in a suitable sense. We also compute the dominant part of its stable homology after inverting finitely many primes. This proves a conjecture of Ellenberg--Venkatesh--Westerland and improves upon our previous results for non-splitting racks. We obtain applications to Malle's conjecture, the Picard rank conjecture, and the Cohen--Lenstra--Martinet heuristics.

Constructing Reedy Fibrant Replacements of Projective Fibrant Simplicial Presheaves

2025-03-05T18:33:33Z

In this paper, we construct an explicit Reedy fibrant replacement functor for projective fibrant simplicial presheaves $X : \mathscr{C}^{op} \rightarrow \textbf{sSet}$, where $\mathscr{C}$ is a Reedy category. Our approach describes, by hand, all latching maps for the Reedy fibrant replacement by an inductive series of higher homotopies. We explore the nature of our functor by using it to recover some standard homotopy limit constructions.

On Samelson products in $SU(n)$-and $Sp(n)$

2025-03-05T16:16:50Z

Let $a$ and $b$ be two positive integers such that $a, b < n$. We denote the inclusion $\Sigma \mathbb{C}P^a\rightarrow SU(n)$ by $\varepsilon_{a,n}$. Also, let $m$ and $n$ be two positive integers such that $m < n$. This article has two parts. In the first part, we will study the order of the Samelson product $\langle \varepsilon_{a,n}, \varepsilon_{b,n}\rangle$ where $a+b=n+k$, for $k \geq 0$. Also, we will give two applications. In the second part, we will study the order of the Samelson product $S^{4m-1}\wedge Q_{n-m+1}\rightarrow Sp(n)$, where $Q_{n-m+1}$ is the symplectic quasi-projective space of rank $n-m+1$.

The Wu relations in real algebraic geometry

2025-03-05T09:02:15Z

We construct and study relations between Chern classes and Galois cohomology classes in the Gal(C/R)-equivariant cohomology of real algebraic varieties with no real points. We give applications to the topology of their sets of complex points, and to sums of squares problems. In particular, we show that -1 is a sum of 2 squares in the function field of any smooth projective real algebraic surface with no real points and with vanishing geometric genus, as well as higher-dimensional generalizations of this result.

Homotopy commutativity in quasitoric manifolds

2025-03-05T08:52:31Z

We prove that the loop space of a quasitoric manifold is homotopy commutative if and only if the underlying polytope is a product of $3$-simplices $(\Delta^3)^n$ and the characteristic matrix is equivalent to a matrix of certain type. Quasitoric manifolds over $(\Delta^3)^n$ include generalized Bott manifolds, and we also construct an infinite family of homotopy nonequivalent generalized Bott manifolds over $(\Delta^3)^n$, only half of them have homotopy commutative loop spaces. In particular, for each $n\ge 2$, there are infinitely many homotopy types in $6n$-dimensional quasitoric manifolds having homotopy (non)commutative loop spaces.

$p$-typical curves on $p$-adic Tate twists and de Rham-Witt forms

2025-03-05T03:34:45Z

We show that de Rham--Witt forms are naturally isomorphic to $p$-typical curves on $p$-adic Tate twists, which answers a question of Artin--Mazur from 1977 pursued in the earlier work of Bloch and Kato. We show this by more generally equipping a related result of Hesselholt on topological cyclic homology with the motivic filtrations introduced by Bhatt--Morrow--Scholze.

Semi-coarse Spaces: Fundamental Groupoid and the van Kampen Theorem

2025-03-05T02:38:56Z

In algebraic topology, the fundamental groupoid is a classical homotopy invariant which is defined using continuous maps from the closed interval to a topological space. In this paper, we construct a semi-coarse version of this invariant, using as paths a finite sequences of maps from $\mathbb{Z}_1$ to a semi-coarse space, connecting their tails through semi-coarse homotopy. In contrast to semi-coarse homotopy groups, this groupoid is not necessarily trivial for coarse spaces, and, unlike coarse homotopy, it is well-defined for general semi-coarse spaces. In addition, we show that the semi-coarse fundamental groupoid which we introduce admits a version of the Van Kampen Theorem.

A filtered Hochschild-Kostant-Rosenberg theorem for real Hochschild homology

2025-03-04T21:54:01Z

In this paper, we introduce a notion of derived involutive algebras in $ C_2 $-Mackey functors which simultaneously generalize commutative rings with involution and the (non-equivariant) derived algebras of Bhatt--Mathew and Raksit. We show that the $ \infty $-category of derived involutive algebras admits involutive enhancements of the cotangent complexes, de Rham complex, and de Rham cohomology functors; furthermore, their real Hochschild homology is defined. We identify a filtration on the real Hochschild homology of these derived involutive algebras via a universal property and show that its associated graded may be identified with the involutive de Rham complex. Using $ C_2 $-$ \infty $-categories of Barwick--Dotto--Glasman--Nardin--Shah, we show that our filtered real Hochschild homology specializes to the HKR-filtered Hochschild homology considered by Raksit.

$L$-theory Characteristic Classes

2025-03-04T21:16:29Z

Although the local information of the $L$-spectra is well understood, the problem of whether this local information can be identified with the geometric data for bundles remains open for decades, which was originally raised in the 1960s and 1970s by Sullivan, Brumfiel, Taylor-Williams and others independently. In this paper, we provide an affirmative answer by proving that Levitt-Ranicki's theory of connective $L$-orientations for $TOP$ bundles and spherical fibrations is equivalent to the $2$-local characteristic classes constructed by Brumfiel-Morgan's, Madsen-Milgram's and Morgan-Sullivan's, as well as Sullivan's odd-prime-local real $K$-theory orientation. A key step in our proof involves constructing more geometric homotopy equivalences from the $2$-local quadratic, symmetric and normal connective $L$-spectra to products of Eilenberg-Maclane spectra and those from odd-local quadratic and symmetric connective $L$-spectra to the connective real $K$-spectra. This approach reproves the known local structure of $L$-spectra.

New simple $η$-torsion families of elements in the stable stems

2025-03-04T20:19:52Z

We produce two new $192$-periodic infinite families of simple $\eta$-torsion elements in the stable homotopy groups of spheres using the $\mathit{tmf}$-Hurewicz homomorphism and the complex projective plane.

Norms in equivariant homotopy theory

2025-03-04T18:04:52Z

We show that the $\infty$-category of normed algebras in genuine $G$-spectra, as introduced by Bachmann-Hoyois, is modelled by strictly commutative algebras in $G$-symmetric spectra for any finite group $G$. We moreover provide an analogous description of Schwede's ultra-commutative global ring spectra in higher categorical terms. Using these new descriptions, we exhibit the $\infty$-category of ultra-commutative global ring spectra as a partially lax limit of the $\infty$-categories of genuine $G$-spectra for varying $G$, in analogy with the non-multiplicative comparison of Nardin, Pol, and the second author. Along the way, we establish various new results in parametrized higher algebra, which we hope to be of independent interest.

The K-theory cochains of H-spaces and height 1 chromatic homotopy theory

2025-03-04T11:51:19Z

Fix an odd prime $p$. Let $X$ be a pointed space whose $p$-completed K-theory $\mathrm{KU}_p^*(X)$ is an exterior algebra on a finite number of odd generators; examples include odd spheres and many H-spaces. We give a generators-and-relations description of the $\mathbf{E}_\infty$-$\mathrm{KU}_p$-algebra spectrum $\mathrm{KU}_p^{X_+}$ of $\mathrm{KU}_p$-cochains of $X$. To facilitate this construction, we describe a $\mathrm{K}(1)$-local analogue of the Tor spectral sequence for $\mathbf{E}_1$-ring spectra. Combined with previous work of Bousfield, this description of the cochains of $X$ recovers a result of Kjaer that the $v_1$-periodic homotopy type of $X$ can be modelled by these cochains. This then implies that the Goodwillie tower of the height 1 Bousfield-Kuhn functor converges for such $X$.

The discrete flow category: structure and computation

2025-03-04T08:58:40Z

In this article, we use concepts and methods from the theory of simplicial sets to study discrete Morse theory. We focus on the discrete flow category introduced by Vidit Nanda, and investigate its properties in the case where it is defined from a discrete Morse function on a regular CW complex. We design an algorithm to efficiently compute the Hom posets of the discrete flow category in this case. Furthermore, we show that in the special case where the discrete Morse function is defined on a simplicial complex, then each Hom poset has the structure of a face poset of a regular CW complex. Finally, we prove that the spectral sequence associated to the double nerve of the discrete flow category collapses on page 2.

Towards Scalable Topological Regularizers

2025-03-04T00:07:16Z

Latent space matching, which consists of matching distributions of features in latent space, is a crucial component for tasks such as adversarial attacks and defenses, domain adaptation, and generative modelling. Metrics for probability measures, such as Wasserstein and maximum mean discrepancy, are commonly used to quantify the differences between such distributions. However, these are often costly to compute, or do not appropriately take the geometric and topological features of the distributions into consideration. Persistent homology is a tool from topological data analysis which quantifies the multi-scale topological structure of point clouds, and has recently been used as a topological regularizer in learning tasks. However, computation costs preclude larger scale computations, and discontinuities in the gradient lead to unstable training behavior such as in adversarial tasks. We propose the use of principal persistence measures, based on computing the persistent homology of a large number of small subsamples, as a topological regularizer. We provide a parallelized GPU implementation of this regularizer, and prove that gradients are continuous for smooth densities. Furthermore, we demonstrate the efficacy of this regularizer on shape matching, image generation, and semi-supervised learning tasks, opening the door towards a scalable regularizer for topological features.

The category of $π$-finite spaces

2025-03-03T23:59:11Z

We show that the category of truncated spaces with finite homotopy invariants ($\pi$\=/finite spaces) has many of the features expected of an elementary \oo topos. It should be thought of as the natural higher analogue of the elementary 1-topos of finite sets, with which it shares several initiality properties. The paper has also an appendix about univalent families in \oo pretopoi.