A Weiss-Williams theorem for spaces of embeddings and the homotopy type of spaces of long knots

2026-02-09T00:08:20Z

We establish a pseudoisotopy result for embedding spaces in the line of that of Weiss and Williams for diffeomorphism groups. In other words, for $P\subset M$ a codimension at least three embedding, we describe the difference in a range of homotopical degrees between the spaces of block and ordinary embeddings of $P$ into $M$ as a certain infinite loop space involving the relative algebraic $K$-theory of the pair $(M,M-P)$. This range of degrees is the so-called concordance embedding stable range, which, by recent developments of Goodwillie-Krannich-Kupers, is far beyond that of the aforementioned theorem of Weiss-Williams. We use this result to obtain split fibre sequences in the concordance embedding stable range, with explicit, analysable base and fibre, which determine the homotopy type of spaces of long knots of codimension at least 3. This leads to explicit computations of homotopy groups, including torsion information, in that range. In doing so, we carry out an extensive analysis of certain geometric involutions in algebraic $K$-theory that may be of independent interest.

Counter-examples to a conjecture of Karpenko via truncated Brown-Peterson cohomology

2026-02-08T13:25:51Z

Let $G$ be a split semisimple linear algebraic group and let $X$ denote the generically twisted variety of Borel subgroups in $G$. Nikita Karpenko conjectured that the map from the Chow ring of $X$ to the associated graded ring of the topological filtration on the Grothendieck ring of $X$ is an isomorphism. After having been verified for many $G$, the conjecture was disproved by Nobuaki Yagita for some spinor groups. Later, other counter-examples were constructed by Baek-Karpenko and Baek-Devyatov. We present a new method for constructing counter-examples that is based on the connection of the truncated Brown-Peterson cohomology with the connective K-theory. Using this method, we disprove the conjecture for new groups, including $\mathrm{Spin}_{15}$, which is now the smallest known spinor group for which the conjecture fails.

Quantitative partitioned index theorem and noncompact band-width

2026-02-06T12:50:47Z

Gromov's band-width conjecture gives a precise upper bound for the width of a compact Riemannian band with positive scalar curvature lower bound, assuming that the cross-section of the band admits no positive scalar curvature metrics. Versions of this were proved by Cecchini and by Zeidler. In this paper, we develop a quantitative version of partitioned manifold index theory, which applies to noncompact hypersurfaces. Using this, we prove a version of Gromov's band-width estimate for possibly noncompact Riemannian bands.

$K$-theory of ghostly ideals for $\ell^p$-coarsely embeddable spaces

2026-02-05T15:39:20Z

Ghostly ideals are among the most mysterious objects in coarse index theory. In this paper, we show that if a metric space $X$ with bounded geometry admits a coarse embedding into an $\ell^p$-space ($1 \le p < \infty$), then the canonical inclusion from any geometric ideal to the corresponding ghostly ideal induces an isomorphism in $K$-theory. As consequences, we deduce that such spaces satisfy the relative coarse Baum-Connes conjectures, as well as the operator norm localization property for finite rank projections ($ONL_{\mathcal P_{Fin}}$).

$λ$-ring structure in differential K-theory

2026-02-03T12:14:28Z

We establish the splitting principle for differential K-theory, a refinement of topological K-theory that incorporates geometric data via differential forms. Using this principle, we prove that the differential $K^0$-ring associated to closed smooth manifolds admits a $λ$-ring structure. This structure enables a concrete construction of the Adams operations in differential K-theory introduced by Bunke. At last, we extend all these results to an equivariant setting associated with a compact Lie group action.

Norms and Hermitian $\mathrm{K}$-Theory

2026-02-03T02:41:02Z

Over the past century, cohomology operations have played a crucial role in homotopy theory and its applications. A powerful framework for constructing such operations is the theory of commutative algebras in spectra. In this article, we discuss an algebro-geometric analogue of this framework, called the theory of normed algebras in motivic spectra. Specifically, we show that the motivic spectrum $\mathrm{ko}$ representing very effective hermitian $\mathrm{K}$-theory can be equipped with a normed algebra structure, and that the orientation map $\mathrm{MSL} \to \mathrm{ko}$ respects this structure. The main step will be showing that the motivic infinite loop space machine is compatible with norms.

The algebraic structure of twisted topological Hochschild homology

2026-02-02T18:24:58Z

Topological Hochschild homology (THH) is an invariant of ring spectra developed by Bökstedt. In recent years many equivariant analogues to THH have emerged. One example is twisted THH which is an invariant of $C_n$-equivariant ring spectra developed by Angeltveit, Blumberg, Gerhardt, Hill, Lawson, and Mandell. In this paper, we study the algebraic structure of twisted THH, and perform some computations. Specifically, we compute $C_2$-twisted THH of the Real bordism spectrum and show that the $C_p$-twisted THH of geometric ring $C_p$-spectra reduces to a computation of classical THH. We extend the algebraic structure of twisted THH to the twisted Bökstedt spectral sequence of Adamyk, Gerhardt, Hess, Klang, and Kong. We show that, under appropriate flatness conditions and for $R$ a commutative ring $C_p$-spectrum, the $C_p$-twisted Bökstedt spectral sequence is a spectral sequence of commutative $\underline{E}_\star(R)$-algebras.

The K-theory of maximal and reduced Roe algebras for Hecke pairs with equivariant coarse embeddings

2026-02-02T08:23:28Z

In this paper, we generalize the Dirac-dual-Dirac method to Hecke pairs with equivariant coarse embeddings and establish the K-theoretic isomorphisms between the maximal and reduced equivariant Roe algebras. We also extend these results to prove the Baum--Connes conjecture in this context.

Calabi-Yau structures on derived and singularity categories of symmetric orders

2026-02-01T10:40:38Z

We construct left and right Calabi-Yau structures on derived respectively singularity categories of symmetric orders $Λ$ over commutative Gorenstein rings $R$. For this, we first construct Calabi-Yau structures over $R$ by lifting Amiot's construction of Calabi-Yau structures on Verdier quotients to the dg level. Then we prove base change properties relating Calabi-Yau structures over $R$ to those over the base field $k$. As a result, we prove the existence of a right Calabi-Yau structure on the dg singularity category associated with $Λ$ which is a cyclic lift of the weak Calabi-Yau structure constructed by the first-named author and Iyama. We also show the existence of a left Calabi-Yau structure on the dg bounded derived category of $Λ$. This is a non-commutative generalization of a result by Brav and Dyckerhoff. By combining the existence of the right Calabi-Yau structure on the dg singularity category with a structure theorem by Keller and the second-named author, we deduce that under suitable hypotheses, the singularity category associated with $Λ$ is triangle equivalent to a generalized cluster category in the sense of Amiot.

A linearization map for genuine equivariant algebraic $K$-theory

2026-01-30T14:20:54Z

We introduce a version of algebraic $K$-theory for coefficient systems of rings which is valued in genuine $G$-spectra for a finite group $G$. We use this construction to build a genuine $G$-spectrum $K_G(\mathbb{Z}[\underline{π_1(X)}])$ associated to a $G$-space $X$, which provides a home for equivariant versions of classical invariants like the Wall finiteness obstruction and Whitehead torsion. We provide a comparison between our $K$-theory spectrum and the equivariant $A$-theory of Malkiewich--Merling via a genuine equivariant linearization map.

Asymptotic vanishing of cohomology in triangulated categories

2026-01-30T10:48:17Z

Given a graded-commutative ring acting centrally on a triangulated category, our main result shows that if cohomology of a pair of objects of the triangulated category is finitely generated over the ring acting centrally, then the asymptotic vanishing of the cohomology is well-behaved. In particular, enough consecutive asymptotic vanishing of cohomology implies all eventual vanishing. Several key applications are also given.

On the Bogomolov-Positselski Conjecture

2026-01-29T17:28:53Z

Let $p$ be a prime. An oriented pro-$p$ group $(G,θ)$ is said to have the Bogomolov--Positselski property if it is Kummerian and if $I_θ(G)$ is a free pro-$p$ group. In this paper, we provide a new criterion for an oriented pro-$p$ group to satisfy the Bogomolov--Positselski property. This criterion builds on earlier work of Positselski (arXiv:1405.0965) and Quadrelli--Weigel (arXiv:2103.12438), relates their approaches, and answers a question raised in (arXiv:2103.12438). Under additional assumptions, we obtain two further sufficient criteria. The first is analogous to a Merkurjev--Suslin type statement. The second allows one to weaken the hypotheses appearing in Positselski's criterion (arXiv:1405.0965 Theorem 2). Finally, we show that the stronger conditions are satisfied by pro-$p$ groups of elementary type. As a consequence, the Elementary Type Conjecture implies Positselski's ``Module Koszulity Conjecture 1'' (arXiv:1008.0095) for fields with finitely generated maximal pro-$p$ Galois group.

Stability of the Kato-Kuzumaki's properties under field extensions

2026-01-29T13:46:51Z

In 1986, Kato and Kuzumaki introduced some Diophantine properties of fields, called the $C_i^q$ properties, and they hoped they would provide a good characterization of the cohomological dimension of fields. In this paper, we study the stability of some variants of the $C_i^q$ properties under transcendental and algebraic extensions. As an application, we obtain the $C_n^1$ property for the field $\mathbf{F}_p(x_1,\cdots,x_n)$.

Gorenstein homological invariants and monoidal model categories of Hopf algebras

2026-01-28T04:55:07Z

Let $H$ be a Hopf algebra over a field $k$ with a bijective antipode. It is proved that the Gorenstein global dimension of $H$ coincides with the Gorenstein projective dimension of the trivial left (or right) $H$-module $k$. Then, $H$ is finite dimensional if and only if the Gorenstein projective dimension of $k$ is trivial. Although monoidal Morita-Takeuchi equivalence of Hopf algebras does not preserve the global dimension, we demonstrate that it does preserve the Gorenstein global dimension and the Artin-Schelter Gorenstein property; this supports Brown-Goodearl's question of whether every noetherian (affine) Hopf algebra is AS Gorenstein. Finally, for $H$ and an $H$-Galois object $B$, we show the categories of modules $_H\mathcal{M}$ and $_B\mathcal{M}_B^H$ are monoidal model categories regarding Gorenstein projective model structure, provided that the Gorenstein global dimension of $H$ is finite. The corresponding stable categories are tensor triangulated categories.

Determining unit groups and $\mathrm{K}_1$ of finite rings

2026-01-27T21:07:21Z

We consider the computational problem of determining the unit group of a finite ring, by which we mean the computation of a finite presentation together with an algorithm to express units as words in the generators. We show that the problem is equivalent to the number theoretic problems of factoring integers and solving discrete logarithms in finite fields. A similar equivalence is shown for the problem of determining the abelianization of the unit group or the first $K$-group of finite rings.