arXiv Science⌕ Search

arXiv subjects

Keyao Peng

Publications and source records attributed to Keyao Peng.

6 recordsLinked to original sources
arXiv2026

Defect TQFTs, the Generalized Cobordism Hypothesis, and Algebraic $K$-Theory

By constructing a fully dualizable category $\mathrm{Bord}^{\mathcal{C}}_n$ as the left adjoint of the forgetful functor, we state a generalized cobordism hypothesis. As a corollary, we establish a generalized Pontryagin-Thom isomorphism that gives a geometric interpretation of higher algebraic $K$-theory using cobordism classes of framed manifolds and stratified spaces decorated by categorical string diagrams, which we call lasagnas. For finite-dimensional vector spaces over a field, these decorations are branched local systems. We also examine low-dimensional representatives, including $K_1$, Steinberg-group presentations of $K_2$, and fillings related to the Steinberg relation, providing a more explicit construction of Ghys' manifold.

math.KT↗
arXiv2026

Cellular $\mathbb{A}^1$-homology of wonderful models of subspace arrangements

We compute the cellular $\mathbb{A}^1$-homology of De Concini--Procesi wonderful models of subspace arrangements. For a building set $\mathcal{G}$ over a field $k$, we identify the cellular $\mathbb{A}^1$-chain complex of $\mathbb{P}(\mathcal{G})$ with an $η$-twisted nested-set complex carrying Milnor--Witt coefficients and derived orientation data. The key geometric input is a motivic blow-up calculation: for a blow-up along a smooth center of codimension $c$, the relevant connecting class is $(c-1)_εη$, hence it is zero for $c$ odd and $η$ for $c$ even. This replaces the parity condition in the computation of Rains by a Milnor--Witt attaching class. As a consequence, the part of cellular $\mathbb{A}^1$-homology surviving after multiplication by $η$, and also the homology after inverting $η$, are expressed by the interval cohomology of the $2$-divisible subposet of the lattice generated by $\mathcal{G}$. For the braid arrangement, the condition becomes the odd-block condition on partitions, yielding explicit decompositions for the cellular $\mathbb{A}^1$-homology of $\overline{\mathcal M}_{0,N}$ and examples in low rank.

math.AG↗
arXiv2025

Cellular $\mathbb{A}^1$-Homology of Smooth Toric Varieties

In this paper, we present the calculations of cellular $\mathbb{A}^1$-homology for smooth toric varieties, along with an explicit description of pure shellable cases. Consequently, we derive the (Milnor-Witt) motivic decomposition for these pure shellable cases. Furthermore, we obtain an additive basis for the Chow groups of general smooth toric varieties.

math.AG↗
arXiv2024

Milnor-Witt motivic decomposition of Stiefel varieties

In this work, we initially compute the integral MW-motivic cohomology groups associated with Stiefel varieties. Then we proceed to establish the integral MW-motive decomposition of Stiefel varieties, which proves the conjecture in our previous work.

math.AG↗
arXiv2024

Milnor-Witt motivic cohomology and linear algebraic groups

This article presents two key computations in MW-motivic cohomology. Firstly, we compute the MW-motivic cohomology of the symplectic groups $Sp_{2n}$ for any $n\in\mathbb{N}$ using the $Sp$-orientation and the associated Borel classes. Secondly, following the classical computations and using the analogue in $\mathbb{A}^1$-homotopy of the Leray spectral sequence, we compute the $η$-inverted MW-motivic cohomology of general Stiefel varieties, obtaining in particular the computation of the $η$-inverted MW-motivic cohomology of the general linear groups $GL_n$ and the special linear groups $SL_n$ for any $n\in\mathbb{N}$. Finally, we determine the multiplicative structures of these total cohomology groups.

math.AG↗