arXiv Science⌕ 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

Topological Hochschild homology of truncated Brown-Peterson spectra II

We compute topological Hochschild homology of $\mathbb{E}_3$-MU-algebra forms of the second truncated Brown-Peterson spectrum with Adams summand coefficients at $p=2$ and conditionally at arbitrary primes. We also provide a new computational tool, a variant of the Brun spectral sequence, for computing topological Hochschild homology of truncated Brown-Peterson spectra with certain coefficients. As a consequence, we show that $\mathbb{E}_3$-MU-algebra forms of truncated Brown-Peterson spectra $\mathrm{BP}\langle n\rangle$ are not Thom spectra at the prime $p=2$ for any $n\ge 2$.

math.AT↗
arXiv2026

Saturated directed spaces and generalized clocks

We construct a Hausdorff saturated directed space whose directed path space between two distinct points has nontrivial fundamental group although the corresponding trace space is a square. A clock is a directed space with submetrizable underlying space; a timed space is a saturated directed space equipped with a regular directed map to a clock. Over every fixed clock, timed spaces form a locally presentable category, and their quotients from paths to traces are trivial Hurewicz fibrations with continuous sections. For Hausdorff saturated directed spaces whose compact subspaces are metrizable, these quotients are trivial q-fibrations. We construct a globular clock containing the directed circle and admitting regular maps from all q-cofibrant globular realizations, whereas a finite cellular example admits no regular map to the circle. Normalization also gives a proof of the quotient theorem for execution paths and establishes the homotopy lifting property for nondecreasing reparametrizations.

math.AT↗
arXiv2026

Non-simply connected Poincaré surgery

We give homotopy-theoretic proofs of the principal results of non-simply connected Poincaré surgery. These include the Fundamental Theorem of Poincaré surgery, the Poincaré transversality exact sequence, and the construction of Poincaré handle structures. All results apply in dimensions~$\ge 8$.

math.AT↗