https://arxiv.org/api/NLGW6+2RaKA5Ls/fy/Qq9nmyQz8 2026-04-12T10:13:25Z 6535 810 15 http://arxiv.org/abs/2410.10126v2 2024-10-25T17:45:08Z

It is well known that the $[0,1]$ and $[0,2]$ Postnikov truncations of the units of the topological $K$-theories $\glone \KO$ and $\glone \KU$, respectively, are split, and that the splitting is provided by the ($\Z/2$-graded) line bundles. In this paper we give a similar splitting for the $[0,1]$-truncation of the units of algebraic $K$-theory, considered as a sheaf on affine schemes. A crucial step is to produce the splitting for $\glone K(\Z)$. Along the way we also give a complete calculation of the connective spectrum of strict units of $K(\Z)$ and $K(\F_\ell)$ for a prime $\ell$. Finally, we show that the units of algebraic $K$-theory do not split as a presheaf. In fact we show they do not even split pointwise.

2024-10-14T03:26:19Z 32 pages, two Main Theorems (A,B) added, comments welcome! Shachar Carmeli Kiran Luecke http://arxiv.org/abs/2310.10824v2 2024-10-25T08:33:45Z

We study equivariant Hermitian K-theory for representations of symplectic groups, especially $\mathrm{SL}_2$. The results are used to establish an Atiyah-Segal completion theorem for Hermitian $K$-theory and symplectic groups.

2023-10-16T20:47:25Z Algebr. Geom. Topol. 25 (2025) 4037-4072 Jens Hornbostel Herman Rohrbach Marcus Zibrowius 10.2140/agt.2025.25.4037 http://arxiv.org/abs/2209.03209v2 2024-10-24T20:06:22Z

We show that a well-known exact sequence in K-theory for quotients of triangulated categories descends to numerical K-groups provided that the category, the quotient and the category we take the quotient with has a numerical K-group, and if either the quotient functor preserves compactness or the K-group of the quotient is torsion-free.

2022-09-07T15:13:49Z 9 pages. Title was changed and a new application was added. Final version. To appear in Homology, Homotopy and Applications. arXiv admin note: text overlap with arXiv:2105.13334 Ádám Gyenge http://arxiv.org/abs/2304.04685v2 2024-10-24T09:13:03Z

Inspired by the work of Hahn-Raksit-Wilson, we introduce a variant of the even filtration which is naturally defined on $\mathbf{E}_{1}$-rings and their modules. We show that our variant satisfies flat descent and so agrees with the Hahn-Raksit-Wilson filtration on ring spectra of arithmetic interest, showing that various "motivic" filtrations are in fact invariants of the $\mathbf{E}_{1}$-structure alone. We prove that our filtration can be calculated via appropriate resolutions in modules and apply it to the study of even cohomology of connective $\mathbf{E}_{1}$-rings, proving vanishing above the Milnor line, base-change formulas, and explicitly calculating cohomology in low weights.

2023-04-10T16:03:31Z Piotr Pstrągowski http://arxiv.org/abs/2403.03062v3 2024-10-23T08:28:54Z

We give an alternative proof of Suslin's equi-dimensionalization moving lemma using a different geometric construction. The new construction provides better control of the degrees of the polynomials describing the geometric procedure. The new degree bound can be used to improve an earlier result of Hiroyasu Miyazaki and the present author on algebraic cycles with modulus: the isomorphism in question is now valid for any fixed divisor, without the need to take the limit over thickenings.

2024-03-05T15:51:23Z Did a regular maintenance. 17 pages, 3 figures Wataru Kai http://arxiv.org/abs/2407.07974v2 2024-10-22T12:23:30Z

Let $C$ be a regular, irreducible curve that is projective over a field. We obtain bounds in terms of the arithmetic genus of $C$ for the generators that are required for the cokernel of the tame symbol, as well as, under a simplifying assumption, its kernel. We briefly discuss a potential application to Chow groups.

2024-07-10T18:13:14Z Fixed a few typos and added minor clarifications. To appear in the special issue of Indagationes Mathematicae dedicated to the memory of Jacob Murre Rob de Jeu http://arxiv.org/abs/2410.16768v1 2024-10-22T07:36:28Z

We show that for a braided Hopf algebra in the category of comodules over a cosemisimple coquasitriangular Hopf algebra, the Hochschild cohomological dimension, the left and right global dimensions and the projective dimensions of the trivial left and right module all coincide. We also provide convenient criteria for smoothness and the twisted Calabi-Yau property for such braided Hopf algebras (without the cosemisimplicity assumption on $H$), in terms of properties of the trivial module.These generalize a well-known result in the case of ordinary Hopf algebras. As an illustration, we study the case of the coordinate algebra on the two-parameter braided quantum group $\textrm{SL}_{2}$.

2024-10-22T07:36:28Z Julien Bichon LMBP Thi Hoa Emilie Nguyen LMBP http://arxiv.org/abs/1509.02145v5 2024-10-22T07:35:34Z

We introduce and study the homotopy theory of motivic spaces and spectra parametrized by quotient stacks [X/G], where G is a linearly reductive linear algebraic group. We extend to this equivariant setting the main foundational results of motivic homotopy theory: the (unstable) purity and gluing theorems of Morel and Voevodsky and the (stable) ambidexterity theorem of Ayoub. Our proof of the latter is different than Ayoub's and is of interest even when G is trivial. Using these results, we construct a formalism of six operations for equivariant motivic spectra, and we deduce that any cohomology theory for G-schemes that is represented by an absolute motivic spectrum satisfies descent for the cdh topology.

2015-09-07T19:11:42Z v5: fixed the statement of Prop. 3.4 (homotopy localization) and the proofs in sections 4.2 (exactness of pushforwards) and 4.3 (gluing); v4: added subsection 2.5 to fix a mistake Adv. Math. 305 (2017), 197-279 Marc Hoyois 10.1016/j.aim.2016.09.031 http://arxiv.org/abs/2410.16757v1 2024-10-22T07:23:10Z

We generalize several basic facts about the motivic sphere spectrum in $\mathbb A^1$-homotopy theory to the category $\mathrm{MS}$ of non-$\mathbb A^1$-invariant motivic spectra over a derived scheme. On the one hand, we show that all the Milnor-Witt K-theory relations hold in the graded endomorphism ring of the motivic sphere. On the other hand, we show that the positive eigenspace $\mathbf 1_\mathbb Q^+$ of the rational motivic sphere is the rational motivic cohomology spectrum $\mathrm H\mathbb Q$, which represents the eigenspaces of the Adams operations on rational algebraic K-theory. We deduce several familiar characterizations of $\mathrm H\mathbb Q$-modules in $\mathrm{MS}$: a rational motivic spectrum is an $\mathrm H\mathbb Q$-module iff it is orientable, iff the involution $\langle -1\rangle$ is the identity, iff the Hopf map $η$ is zero, iff it satisfies étale descent. Moreover, these conditions are automatic in many cases, for example over non-orderable fields and over $\mathbb Z[ζ_n]$ for any $n\geq 3$.

2024-10-22T07:23:10Z 13 pages. Comments welcome! Marc Hoyois http://arxiv.org/abs/2410.14510v1 2024-10-18T14:43:40Z

Given a discrete group $G$ with a finite model for $\underline{E}G$, we study $K(n)^*(BG)$ and $E^*(BG)$, where $K(n)$ is the $n$-th Morava $K$-theory for a given prime and $E$ is the height $n$ Morava $E$-theory. In particular we generalize the character theory of Hopkins, Kuhn and Ravenel who studied these objects for finite groups. We give a formula for a localization of $E^*(BG)$ and the $K(n)$-theoretic Euler characteristic of $BG$ in terms of centralizers. In certain cases these calculations lead to a full computation of $E^*(BG)$, for example when $G$ is a right angled Coxeter group, and for $G=SL_3(\mathbb{Z})$. We apply our results to the mapping class group $Γ_\frac{p-1}{2}$ for an odd prime $p$ and to certain arithmetic groups, including the symplectic group $Sp_{p-1}(\mathbb{Z})$ for an odd prime $p$ and $SL_2(\mathcal{O}_K)$ for a totally real field $K$.

2024-10-18T14:43:40Z 50 pages Wolfgang Lück Irakli Patchkoria Stefan Schwede http://arxiv.org/abs/2407.01482v2 2024-10-18T13:57:36Z

We describe the Segal $K$-theory of the symmetric monoidal category of finite-dimensional vector spaces over a perfect field $\mathbb{F}$ together with an automorphism, or, equivalently, the group-completion of the $E_\infty$-algebra of maps from $S^1$ to the disjoint union of classifying spaces $\mathrm{BGL}_d(\mathbb F)$, in terms of the $K$-theory of finite field extensions of $\mathbb{F}$. A key ingredient for this is a computation of the Segal $K$-theory of the category of finite-dimensional vector spaces with a nilpotent endomorphism, which we do over any field $\mathbb F$. We also discuss the topological cases of $\mathbb F =\mathbb C,\mathbb R$.

2024-07-01T17:12:48Z 22 pages; accepted version Andrea Bianchi Florian Kranhold http://arxiv.org/abs/2410.05005v2 2024-10-18T12:11:55Z

We introduce the notion of (strong) subexponential growth for étale groupoids and study its basic properties. In particular, we show that the K-groups of the associated groupoid $L^p$-operator algebras are independent of $p \in [1,\infty)$ whenever the groupoid has strong subexponential growth. Several examples are discussed. Most significantly, we apply classical tools from analytic number theory to exhibit an example of an étale groupoid associated with a shift of infinite type which has strong subexponential growth, but not polynomial.

2024-10-07T13:04:51Z 14 pages; comments welcome; removed Proposition 3.2 in v1 due to an error. Rest of the paper remains unchanged except for some corrections of typos Are Austad Eduard Ortega Mathias Palmstrøm http://arxiv.org/abs/2410.14034v1 2024-10-17T21:14:20Z

Given a self-adjoint operator $H\geq 0$ and (appropriate) densely defined and closed operators $P_{1},\dots, P_{n}$ in a Hilbert space $\mathscr{H}$, we provide a systematic study of bounded operators given by iterated integrals \begin{align}\label{oh} \int_{\{ 0\leq s_1\leq \dots\leq s_n\leq t\}}\mathrm{e}^{-s_1H}P_{1}\mathrm{e}^{-(s_2-s_1)H}P_{2}\cdots \mathrm{e}^{-(s_n-s_{n-1})H}P_{n} \mathrm{e}^{-(t-s_n)H}\, \mathrm{d} s_{1} \ldots \mathrm{d} s_{n},\quad t>0. \end{align} These operators arise naturally in noncommutative geometry and the geometry of loop spaces. Using Fermionic calculus, we give a natural construction of an enlarged Hilbert space $\mathscr{H}^{(n)}$ and an analytic semigroup $\mathrm{e}^{-t (H^{(n)}+P^{(n)} )}$ thereon, such that $\mathrm{e}^{-t (H^{(n)}+P^{(n)} )}$ composed from the left with (essentially) a Fermionic integration gives precisely the above iterated operator integral. This formula allows to establish important regularity results for the latter, and to derive a stochastic representation for it, in case $H$ is a covariant Laplacian and the $P_{j}$'s are first-order differential operators. Finally, with $H$ given as the square of the Dirac operator on a spin manifold, this representation is used to derive a stochastic refinement of the Duistermaat-Heckman localization formula on the loop space of a spin manifold.

2024-10-17T21:14:20Z Batu Güneysu Jonas Miehe http://arxiv.org/abs/2410.11929v1 2024-10-15T15:08:23Z

In this paper, we introduce the quantitative coarse Baum-Connes conjecture with coefficients (or QCBC, for short) for proper metric spaces which refines the coarse Baum-Connes conjecture. And we prove that QCBC is derived by the coarse Baum-Connes conjecture with coefficients which provides many examples satisfying QCBC. In the end, we show QCBC can be reduced to the uniformly quantitative coarse Baum-Connes conjecture with coefficients of a sequence of bounded metric spaces.

2024-10-15T15:08:23Z 30 pages; all comments are welcome! arXiv admin note: text overlap with arXiv:2410.11662 Jianguo Zhang http://arxiv.org/abs/2410.10575v1 2024-10-14T14:51:03Z

We give a Borel-type presentation of the torus-equivariant (small) quantum $K$-ring of flag manifolds of type $C$.

2024-10-14T14:51:03Z 40 pages Takafumi Kouno Satoshi Naito