https://arxiv.org/api/GZ9Z/gfBIi9ANxSMCFpyIHAKx+0 2026-03-25T03:44:46Z 6518 225 15 http://arxiv.org/abs/2511.07556v1 2025-11-10T19:06:34Z

A cornerstone of algebraic K-theory is the equivalence between the K-theory machines of May, Segal, and Elmendorf and Mandell. Equivariant algebraic K-theory enriches the theory with group actions, making it more powerful and complex. There are a number of equivariant K-theory machines that turn equivariant categorical data into equivariant spectra, the main objects of study in equivariant stable homotopy theory. This work proves that the following four equivariant K-theory machines are appropriately equivalent: Shimakawa equivariant K-theory; the author's enriched multifunctorial equivariant K-theory; the equivariant K-theory of Guillou, May, Merling, and Osorno; and Schwede global equivariant K-theory. Parts 1 and 2 prove the topological equivalence between Shimakawa and multifunctorial equivariant K-theories. Part 3 proves that their categorical parts are equivalent. Part 4 proves that the equivariant K-theory of Guillou, May, Merling, and Osorno is equivalent to Shimakawa K-theory and Schwede global K-theory for each finite group.

2025-11-10T19:06:34Z 459 pages. Also available at https://sites.google.com/view/donaldyau/home Donald Yau http://arxiv.org/abs/2504.08488v6 2025-11-10T10:10:58Z

We introduce a new notion of regularity for rings and exact categories and we show important results in algebraic K-theory. In particular we prove a strong vanishing theorem for Nil groups and give an explicit class of groups, much bigger than Waldhausen's class Cl, such that every group in this class has trivial Whitehead groups.

2025-04-11T12:33:03Z New (correct) proofs Pierre Vogel http://arxiv.org/abs/2511.06375v1 2025-11-09T13:24:21Z

We extend the relative index theorem on non-compact manifolds to encompass a wide variety of hypoelliptic differential operators of arbitrary order, demonstrating that the change in index when changing a differential operator locally can be calculated locally. We also show that the notion of invertibility at infinity (and coercive at infinity) is not only sufficient condition for an operator to be Fredholm but also necessary, resulting in a general geometric characterization of Fredholmness. This characterization connects to a model for unbounded \(KK\)-theory which assumes the operator to be Fredholm instead of having (locally) compact resolvent, and thus provides a convenient tool for index theory on non-compact spaces.

2025-11-09T13:24:21Z 31 pages, 2 figures Magnus Fries http://arxiv.org/abs/2511.05180v1 2025-11-07T11:50:45Z

This paper is a sequel to a paper by the same authors, where they defined $K$-groups of model-theoretic structures, and computed $K_1$ of free modules over PIDs. In this paper, we compute $K_1$ of a right $M_q(R)$-module $M$, where $R$ is a division ring, $q\geq1$, and $|M_q(R)|\neq 2$. As a consequence, we obtain a (weak) Morita invariance $K_1(R_R)\cong K_1((M_q(R))_{M_q(R)})$ for all division rings $R$ and $q\geq 1$. Finally, we compute $K_1$ of a module over a semisimple ring by showing that the model-theoretic $K_1$ commutes with finite product of modules. We also show that the algebraic $K_1$ of a finite product of infinite matrix rings embeds into the model-theoretic $K_1$ of their right regular modules.

2025-11-07T11:50:45Z 10 pages Sourayan Banerjee Amit Kuber http://arxiv.org/abs/1810.07119v4 2025-11-05T13:20:22Z

To a symplectic Lefschetz pencil on a monotone symplectic manifold, we associate an algebraic structure, which is a pencil of categories in the sense of noncommutative geometry. One fibre of this "noncommutative pencil" is related to the Fukaya category of the open (meaning, with the base locus removed, and hence exact symplectic) fibre of the original Lefschetz pencil; the other fibres are newly constructed kinds of Fukaya categories.

2018-10-16T16:24:35Z v2: corrected a technical statement (the map (4.19) is not injective, see Figures 4.3 and 4.4); v3: introduction expanded, various small things corrected Paul Seidel http://arxiv.org/abs/2511.02549v1 2025-11-04T12:59:00Z

The real cycle class map $H^i(X,\underline{I}^j(\mathcal{L})) \rightarrow H^i_\text{sing}(X(\mathbb{R}),\mathbb{Z}(\mathcal{L}))$ is an isomorphism for $j\geq \dim(X)+1$ for any scheme $X$ over $\mathbb{R}$ by a result of Jacobson. It is also known to be an isomorphism for $j\geq i$, the earliest possible case, if $X$ is cellular due to Hornbostel-Wendt-Xie-Zibrowius. This paper generalizes their result to linear schemes, providing (precise) intermediate bounds on the range, where the real cycle class map is an isomorphism. Moreover, we show that Lerbet's conjectured upper bound for the exponent of the cokernel of $H^i(X,\underline{I}^i(\mathcal{L})) \rightarrow H^i_\text{sing}(X(\mathbb{R}),\mathbb{Z}(\mathcal{L}))$ cannot be improved. This is part of the author's PhD thesis.

2025-11-04T12:59:00Z 11 pages, Comments very welcome! Jan Hennig http://arxiv.org/abs/2511.02346v1 2025-11-04T08:11:02Z

In this article, we extend the computation of topological Hochschild homology (THH) of the Adams summand $\ell$ of $p$-localized connective complex topological K-theory ($ku$) to THH of $ku$ itself. We leverage the relation $u^{p-1} = v_1$, where $u$ is a generator of $ku_*$ and $v_1$ is a generator of $\ell_*$, and we consider the cofiber of the multiplication by $v_1$ in $ku$, denoted $ku/v_1$. We use the morphism between the Bockstein spectral sequence of the multiplication by $v_1$ computing $THH_*(\ell)$ and $THH_*(ku)$; we develop a general technique using what we term a gathered spectral sequence that allows us to explore the relationship between the Bockstein spectral sequence for the multiplications by $v_1$ and $u$, yielding a computation of $THH_*(ku)$. Our method is not only applicable to this specific problem but also potentially useful in other computations.

2025-11-04T08:11:02Z 41 pages Maxime Chaminadour http://arxiv.org/abs/2511.02324v1 2025-11-04T07:21:10Z

Let $β_1$ be the first $3$-torsion class in the stable homotopy groups of spheres in even degree. Toda showed that $β_1^5 \neq 0$, whilst $β_1^6 = 0$. Shimomura generalised this to the $144$-periodic family generated by $β_1$, written as $\{β_{1+9s}\}_{s\geq 0}$, and showed that any $5$-fold product $\prod_5 β_{1+9s} \neq 0$, whilst all $6$-fold products $\prod_6 β_{1+9s} = 0$. In this article, we give a simple proof of these results as well as some generalisations to other $144$-periodic families. Our tools include BP-synthetic spectra, and the well-known Adams--Novikov spectral sequence for the spectrum of topological modular forms at the prime $3$ as well as its Adams operations.

2025-11-04T07:21:10Z 15 pages, comments welcome! Jack Morgan Davies http://arxiv.org/abs/2508.14791v3 2025-11-03T19:09:23Z

In this article, we study the topological complexity of manifolds with a lower scalar curvature bound. We introduce a small scale index theorem to establish an upper bound for Gromov's simplicial norm of the Poincaré dual of the A-hat class for manifolds with spin universal covering, in terms of a scalar curvature lower bound, volume upper bound, and injectivity radius lower bound of the universal covering. This result can be viewed both as a generalization of Lichnerowicz vanishing theorem and as a scalar curvature analogue to Cheeger finiteness theorem.

2025-08-20T15:42:22Z Minor revision to the formulation of the main theorem Qiaochu Ma Guoliang Yu http://arxiv.org/abs/2511.01362v1 2025-11-03T09:08:38Z

For a smooth projective variety equipped with a Chow-Künneth (abbr. CK) decomposition, the notions of motivic multiple twist-multiplicativity and multiplicativity defect are introduced to interpret the obstruction to the compatibility of the multiple intersection product with its CK decompositions, generalizing the more restrictive notion of multiplicativity introduced in [31]. We establish the basic properties of these notions. Then we show that the multiplicativity defects of curves, surfaces and ample subvarieties in varieties with trivial Chow groups have reasonable upper bounds. Furthermore, we determine explicitly the motivic 2-fold multiplicativity defect for any Fano or Calabi-Yau complete intersection in a smooth weighted projective space, strengthening a main result of [11] in the Calabi-Yau case. Particularly, any Fano or Calabi-Yau hypersurface admits motivic 0-multiplicativity, generalizing the case of cubic hypersurfaces proved in [10] and [13], and conforming a conjecture of Voisin [35] in the Calabi-Yau case. As a consequence, certain relative powers of the corresponding universal families satisfy the Franchetta property. We also provide several other applications.

2025-11-03T09:08:38Z 41 pages.Comments are welcome! Ze Xu http://arxiv.org/abs/2510.18748v3 2025-11-03T00:23:12Z

We present a general construction of eventually periodic projective resolutions for modules over quotients of rings of finite left global dimension by a regular central element. Our approach utilizes a construction of Shamash, combined with the iterated mapping cone technique, to systematically 'purge' homology from a complex. The construction is applied specifically to the integral group rings of groups with finite virtual cohomological dimension. We demonstrate the computability of our method through explicit calculations for several families of groups including hyperbolic triangle groups and mapping class groups of the punctured plane.

2025-10-21T15:56:24Z 40 pages, 1 figure; comments welcome Sean P. Carroll http://arxiv.org/abs/2511.00734v1 2025-11-01T23:06:51Z

For a compact group G, we give a sufficient condition for embedding one G-equivariant vector bundle into another one and for a stable isomorphism between two such bundles to imply an isomorphism. Our criteria involve multiplicities of irreducible representations of stabiliser groups. We also apply our result to ordinary nonequivariant vector bundles over the fields of quaternions, real and complex numbers and to ``real'' and ``quaternionic'' vector bundles. Our results apply to the classification of symmetry-protected topological phases of matter, providing computable bounds on the number of energy bands required to distinguish robust from fragile topological phases.

2025-11-01T23:06:51Z Malkhaz Bakuradze Ralf Meyer http://arxiv.org/abs/2407.17632v3 2025-11-01T23:02:54Z

In this article we study the first, the second and the third homology groups of the elementary group $\textrm{E}_2(A)$, where $A$ is a commutative ring. In particular, we prove a refined Bloch-Wigner type exact sequence over a semilocal ring (with some mild restriction on its residue fields) such that $-1\in (A^{\times})^2$ or $|A^{\times}/(A^{\times})^2|\leq 4$.

2024-07-24T20:47:14Z 24 pages Behrooz Mirzaii Elvis Torres Pérez http://arxiv.org/abs/2510.10816v2 2025-11-01T22:33:14Z

Every LCA group has a Haar measure unique up to rescaling by a positive scalar. Clausen has shown that the Haar measure describes the universal determinant functor of the category LCA in the sense of Deligne. We show that when only working with LCA groups without allowing real vector spaces, any conceivable determinant functor is unique up to rescaling by at worst rational values. As a result, no transcendental real nor p-adic regulators could ever show up in special L-value conjectures (as in Tamagawa number conjectures or Weil-etale cohomology) if anyone had the, admittedly outlandish and bizarre, idea to try to circumvent incorporating a real (Betti) realization of the motive.

2025-10-12T21:42:27Z Oliver Braunling http://arxiv.org/abs/2511.00695v1 2025-11-01T20:25:31Z

This note gives an overview of the mathematical framework underlying topological insulators, highlighting the connection to K-theory and vector bundles. We see ``real'' and ``quaternionic'' vector bundles arise naturally in the presence of time-reversal symmetry. Our recent results about when stable isomorphism implies isomorphism are summarised, including some ongoing work for G-equivariant K-theory for finite groups. This clarifies when K-theory completely distinguishes topological phases.

2025-11-01T20:25:31Z This note is based on a conference talk that I gave in a conference in Batumi in September 2025 and contains no new results Ralf Meyer