Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2601.18701

Hyperkähler bases for six rational bordism theories

Jonathan Buchanan·Arun Debray·Cameron Krulewski·Stephen McKean
View original source ↗Read source document ↗Export metadata ↓

Abstract

We use tori and Hilbert schemes of K3 surfaces to construct explicit bases for the real, complex, and quaternionic versions of rational symplectic and rational Spin bordism. The key input to our work is a theorem of Oberdieck, Song, and Voisin on the Milnor genus of Hilbert schemes of K3s.

Explore related subjects

math.AT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jonathan Buchanan, Arun Debray, Cameron Krulewski, Stephen McKean. 2026-01-26. Hyperkähler bases for six rational bordism theories. https://arxiv.org/abs/2601.18701

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Persistence and Topological Complexity

Topological complexity is a homotopy invariant that measures the minimal number of continuous rules required for motion planning in a space. In this work, we introduce persistent analogs of topological complexity and its cohomological lower bound, the zero-divisor-cup-length, for persistent topological spaces, and establish their stability. For Vietoris--Rips filtrations of metric spaces, we show that the erosion distances between these persistent invariants are bounded above by twice the Gromov--Hausdorff distance. We develop metric models of classical topological spaces based on cube boundaries with the $\ell_\infty$ metric and their products and wedges, allowing explicit computations of persistent invariants and their distances. These examples show that, in certain cases, persistent topological complexity and zero-divisor-cup-length distinguish spaces that persistent homology, persistent LS-category, and persistent cup-length fail to distinguish.

math.AT↗
arXiv2026

Nilpotence phenomena over $\mathbb{E}_{\infty}$-rings in positive characteristic

We study the behavior of nilpotent classes in $\mathbb{E}_\infty$-rings over finite fields. In characteristic $p=2$, we show that any nilpotent class can be killed by a nilpotence detecting map of $\mathbb{E}_\infty$-rings. As a consequence, we prove the existence of ``residue fields'', namely that any non-zero $\mathbb{E}_\infty$-ring over $\mathbb{F}_2$ admits a map to a separably closed graded field. Conversely, for any odd prime $p$, we construct non-zero $\mathbb{E}_\infty$-rings over $\mathbb{F}_p$ which admit nilpotent classes that cannot be killed by any non-zero map of $\mathbb{E}_\infty$-rings, a phenomenon that does not occur classically or at any finite height.

math.AT↗
arXiv2026

Radicals and Nilpotents in Equivariant Algebra

Associated to each Tambara functor $T$ is its Nakaoka spectrum $\mathrm{Spec}(T)$, analogous to the Zariski spectrum of a commutative ring. We establish that this topological space is spectral. This result follows from an analysis of the notion of nilpotence in Tamabra functors. We prove that the nilradical of a Tambara functor $T$ (the intersection of all of its prime ideals) is computed levelwise, i.e. consists precisely of the nilpotent elements in $T$. In contrast to ordinary commutative algebra, the nilpotents of $T$ are not the same as the elements $x$ such that $T[1/x] = 0$; we therefore also give a classification of these elements. As a corollary, we observe that the set of these elements in $π_\star^s$ (the equivariant stable stems, viewed as an $\mathrm{RO}(G)$-graded Tambara functor) forms an ideal.

math.AT↗