https://arxiv.org/api//13ceOAsYWDIzEk2QzI5Iov+67g 2026-04-12T11:44:07Z 6535 825 15 http://arxiv.org/abs/2401.06330v3 2024-10-12T21:32:41Z

For an arbitrary ring $A$, we study the abelianization of the elementary group $\textrm{E}_2(A)$. In particular, we show that for a commutative ring $A$ there exists an exact sequence \[ K_2(2,A)/C(2,A) \to A/M \to \textrm{E}_2(A)^\textrm{ab} \to 1, \] where $C(2,A)$ is the central subgroup of the Steinberg group $\textrm{St}(2,A)$ generated by the Steinberg symbols and $M$ is the additive subgroup of $A$ generated by $x(a^2-1)$ and $3(b+1)(c+1)$, with $x\in A$, $a,b,c \in A^{\times}$.

2024-01-12T02:42:21Z Proceedings of the Edinburgh Mathematical Society 68 (2025) 487-505 Behrooz Mirzaii Elvis Torres Pérez 10.1017/S0013091524000877 http://arxiv.org/abs/2405.08950v2 2024-10-12T21:20:04Z

In this article we study the low dimensional homology of the projective linear group $\textrm{PGL}_2(A)$ over a commutative ring $A$. In particular, we prove a Bloch-Wigner type exact sequence over local domains. As applications we prove that $H_2(\textrm{PGL}_2(A),\mathbb{Z}\left[\frac{1}{2}\right])\simeq K_2(A)\left[\frac{1}{2}\right]$ and $H_3(\textrm{PGL}_2(A),\mathbb{Z}\left[\frac{1}{2}\right])\simeq K_3^{\textrm{ind}}(A)\left[\frac{1}{2}\right]$ provided $|A/\mathcal{m}_A|\neq 2,3,4,8$.

2024-05-14T20:34:39Z Behrooz Mirzaii Elvis Torres Pérez http://arxiv.org/abs/2410.09263v1 2024-10-11T21:29:07Z

We provide an explicit computation of the topological $K$-theory groups $K_*(C_r^*(\mathbb{Z}^n\rtimes \mathbb{Z}/m))$ of semidirect products of the form $\mathbb{Z}^n\rtimes \mathbb{Z}Z/m$ with $m$ square-free. We want to highlight the fact that we are not impossing any conditions on the $\Z/m$-action on $\mathbb{Z}^n$. This generalizes previous computations of Lück-Davis and Langer-Lück.

2024-10-11T21:29:07Z 10 pages. Comments are welcome Luis Jorge Sánchez Saldaña Mario Velásquez http://arxiv.org/abs/2410.08866v1 2024-10-11T14:44:56Z

In this paper, we prove an upper bound on the $\widehat{A}$ genus of a smooth, closed, spin Riemannian manifold using its scalar curvature lower bound, Neumann isoperimetric constant, and volume. The proof of this result relies on spectral analysis of the Dirac operator. We also construct an example to show that the Neumann isoperimetric constant in this bound is necessary. Our result partially answers a question of Gromov on bounding characteristic numbers using scalar curvature lower bound.

2024-10-11T14:44:56Z Comments are welcome! Qiaochu Ma Jinmin Wang Guoliang Yu Bo Zhu http://arxiv.org/abs/2407.12059v2 2024-10-10T14:18:37Z

Quasi-free actions of finite groups on Cuntz algebras $\mathcal O_n$ for $n\geq 2$ are classified up to conjugacy by data in the representation ring. Partial results are obtained for quasi-free actions by compact groups.

2024-07-13T07:15:14Z 3 pages. V2: Minor changes. This is the final version, to appear in Proceedings of the AMS James Gabe http://arxiv.org/abs/2401.17240v2 2024-10-10T14:09:06Z

We prove that for torsion-free amenable ample groupoids, an isomorphism in groupoid homology induced by an étale correspondence yields an isomorphism in the K-theory of the associated $\mathrm{C}^\ast$-algebras. We apply this to extend X. Li's K-theory formula for left regular inverse semigroup $\mathrm{C}^\ast$-algebras. These results are obtained by developing the functoriality of the ABC spectral sequence.

2024-01-30T18:31:19Z Comments welcome. To appear in Trans. Amer. Math. Soc. 40 pages Alistair Miller http://arxiv.org/abs/2410.07846v1 2024-10-10T12:12:59Z

We build a hermitian Q-construction that extends that of Calmès et al, and compare it with the real S-construction of the current authors. From this, we deduce an equivalence between the real K-theory genuine $C_2$-spaces of the aforementioned works.

2024-10-10T12:12:59Z Hadrian Heine Markus Spitzweck Paula Verdugo http://arxiv.org/abs/2410.07631v1 2024-10-10T05:52:32Z

The elementary action of symplectic and orthogonal groups on unimodular rows of length $2n$ is transitive for $2n \geq \max(4, d+2)$ in the symplectic case, and $2n \geq \max(6, 2d+4)$ in the orthogonal case, over monoid rings $R[M]$, where $R$ is a commutative noetherian ring of dimension $d$, and $M$ is commutative cancellative torsion free monoid. As a consequence, one gets the surjective stabilization bound for the $K_1$ for classical groups. This is an extension of J. Gubeladze's results for linear groups.

2024-10-10T05:52:32Z Transformation Groups (2024) Rabeya Basu Maria Ann Mathew 10.1007/s00031-024-09883-y http://arxiv.org/abs/2410.07101v1 2024-10-09T17:41:22Z

In this note, we study the $p$-complete topological cyclic homology of the affine line relative to a ring $A$ which is smooth over a perfectoid ring $R$. Denoting by $NTC(A; \mathbb{Z}_p)$ the spectrum which measures the failure of $\mathbb{A}^1$-invariance on $A$, we observe a kind of Quillen-Lichtenbaum phenomena for $NTC(A; \mathbb{Z}_p)$ -- that it is isomorphic to its own $K(1)$-localization in a specified range of degrees which depends on the relative dimension of $A$. Somewhat surprisingly, this range is better than considerations following from a theorem of Bhatt-Mathew and étale-to-syntomic comparisons. Via the Dundas-Goodwillie-McCarthy theorem, we obtain a description of the algebraic $K$-theory of $p$-completed affine line over such rings.

2024-10-09T17:41:22Z 13 pages, comments welcome Elden Elmanto Noah Riggenbach http://arxiv.org/abs/2409.08462v2 2024-10-09T02:32:50Z

The first part of the paper explains how to encode a one-cocycle and a two-cocycle on a group $G$ with values in its representation by networks of planar trivalent graphs with edges labelled by elements of $G$, elements of the representation floating in the regions, and suitable rules for manipulation of these diagrams. When the group is a semidirect product, there is a similar presentation via overlapping networks for the two subgroups involved. M. Kontsevich and J.-L. Cathelineau have shown how to interpret the entropy of a finite random variable and infinitesimal dilogarithms, including their four-term functional relations, via 2-cocycles on the group of affine symmetries of a line. We convert their construction into a diagrammatical calculus evaluating planar networks that describe morphisms in suitable monoidal categories. In particular, the four-term relations become equalities of networks analogous to associativity equations. The resulting monoidal categories complement existing categorical and operadic approaches to entropy.

2024-09-13T01:20:34Z In v2, expanded Remarks 4.6, 4.8 and added more references. 82 pages, many figures Mee Seong Im Mikhail Khovanov http://arxiv.org/abs/2410.05998v1 2024-10-08T12:53:45Z

In [Ill79], Illusie constructed de Rham-Witt complex of smooth $\mathbb F_p$-algebras R, which computes the crystalline cohomology of R, a $\mathbb Z_p$-lift of the de Rham cohomology of R. There are two different extensions of de Rham-Witt complex: a relative version discovered by Langer-Zink, and a noncommutative version, called Hochschild-Witt homology, constructed by Kaledin. The key to Kaledin's construction is his polynomial Witt vectors. In this article, we introduce a common extension of both: relative Hochschild-Witt homology. It is simply defined to be topological Hochschild homology relative to the Tambara functor $W(\mathbb F_p)$. Adopting Hesselholt's proof of his HKR theorem, we deduce an HKR theorem for relative Hochschild-Witt homology, which relates its homology groups to relative de Rham-Witt complex. We also identify Kaledin's polynomial Witt vectors as the relative Hill-Hopkins-Ravenel norm, which allows us to identify our Hochschild-Witt homology relative to $\mathbb F_p$ with Kaledin's Hochschild-Witt homology. As a consequence, we deduce a comparison between Hochschild-Witt homology and topological restriction homology, fulfilling a missing part of [Kal19].

2024-10-08T12:53:45Z 24 pages, preliminary Zhouhang Mao http://arxiv.org/abs/2306.09284v3 2024-10-08T02:54:15Z

Let $X$ be a quasi projective scheme over a noetherian affine scheme $Spec(A)$, $U\subseteq X$ be an open subset, and $Z=X-U$.Assume that $Z$ is complete intersection, with $k=codim Z$. Consider the map $$ q:{\mathbb K}\left({\mathscr V}(X)\right) \rightarrow {\mathbb K}\left({\mathscr V}(U)\right) $$ of the ${\mathbb K}$-theory spectra. We give a description of the homotopy fiber of $q$. Let $C{\mathbb M}^Z\left(X\right)$ denote the full subcategory of perfect modules ${\mathscr F} \in Coh(X)$ such that(1) ${\mathscr F} _{|U}=0$, (2) $grade({\mathscr F} )=\dim_{{\mathscr V}(X)}{\mathscr F}=k $. It turns out that the homotopy fiber of $q$ is the ${\mathbb K}$-theory spectra ${\mathbb K}\left(C{\mathbb M}^Z\left(X\right)\right)$. Likewise, we compute the homotopy fiber of the pullback map $$ g: {\mathbb G}W\left({\mathscr V}(X)\right) \rightarrow {\mathbb G}W\left({\mathscr V}(U)\right) $$ of Karoubi Grothendieck-Witt bispectra. Consequently, we obtain long exact sequences of ${\mathbb K}$-groups and of ${\mathbb G}W$-groups. These results settle some of the long standing open problems. We also inserted a conjecture.

2023-06-15T17:11:24Z Corrected, edited, inserted a conjecture Satya Mandal http://arxiv.org/abs/2106.15001v5 2024-10-08T01:27:45Z

We extend the stable motivic homotopy category of Voevodsky to the class of scalloped algebraic stacks, and show that it admits the formalism of Grothendieck's six operations. Objects in this category represent generalized cohomology theories for stacks like algebraic K-theory, as well as new examples like genuine motivic cohomology and algebraic cobordism. These cohomology theories admit Gysin maps and satisfy homotopy invariance, localization, and Mayer-Vietoris. For example, we deduce that homotopy K-theory satisfies cdh descent on scalloped stacks. We also prove a fixed point localization formula for torus actions. Finally, the construction is contrasted with a "lisse-extended" stable motivic homotopy category, defined for arbitrary stacks: we show for example that lisse-extended motivic cohomology of quotient stacks is computed by the equivariant higher Chow groups of Edidin-Graham, and we also get a good new theory of Borel-equivariant algebraic cobordism. Moreover, the lisse-extended motivic homotopy type is shown to recover all previous constructions of motives of stacks.

2021-06-28T22:08:26Z 94 pages; v5 is the final version, to appear in Advances Adeel A. Khan Charanya Ravi http://arxiv.org/abs/2406.13866v2 2024-10-07T20:42:29Z

We prove a decomposition of the Hochschild homology groups of the equivariant dg category $\mathscr{C}^G$ associated to a small dg category $\mathscr{C}$ with direct sums on which a finite group $G$ acts. When the ground field is $\mathbb{C}$ this decomposition is related to a categorical action of $\text{Rep}(G)$ on $\mathscr{C}^G$ and the resulting action of the representation ring $R_\mathbb{C}(G)$ on $HH_\bullet(\mathscr{C}^G)$.

2024-06-19T22:06:24Z In the second version we added some relevant references that were missing in the first version Ville Nordstrom http://arxiv.org/abs/2204.06865v4 2024-10-07T15:42:20Z

In this paper we study the finitistic dimensions of commutative noetherian non-positive DG-rings with finite amplitude. We prove that any DG-module $M$ of finite flat dimension over such a DG-ring satisfies $\mathrm{projdim}_A(M) \leq \mathrm{dim}(\mathrm{H}^0 (A)) - \inf(M)$. We further provide explicit constructions of DG-modules with prescribed projective dimension and deduce that the big finitistic projective dimension satisfies the bounds $\mathrm{dim}(\mathrm{H}^0 (A)) - \mathrm{amp}(A) \leq \mathsf{FPD}(A) \leq \mathrm{dim}(\mathrm{H}^0(A))$. Moreover, we prove that DG-rings exist which achieve either bound. As a direct application, we prove new vanishing results for the derived Hochschild (co)homology of homologically smooth algebras.

2022-04-14T10:37:11Z v4: 25pp, final version, to appear in Math. Z Isaac Bird Liran Shaul Prashanth Sridhar Jordan Williamson