https://arxiv.org/api/APno4ryGJTcQQjoA9SC1n+gFC0g 2026-04-07T14:24:31Z 6532 555 15 http://arxiv.org/abs/2504.19492v1 2025-04-28T05:19:25Z

Let $R$ be a regular ring of dimension $d$ and $L$ be a $c$-divisible monoid. If ${K}_1{Sp}(R)$ is trivial and $k \geq d+2,$ then we prove that the symplectic group ${Sp}_{2k}(R[L])$ is generated by elementary symplectic matrices over $R[L]$. When $d \leq 1$ or $R$ is a geometrically regular ring containing a field, then improved bounds have been established. We also discuss the linear case, extending the work of Gubeladze.

2025-04-28T05:19:25Z Under review Rabeya Basu Maria Ann Mathew http://arxiv.org/abs/2504.18909v1 2025-04-26T12:49:09Z

Let $R$ be a commutative local ring. We provide an explicit presentation of the symmetric Grothendieck-Witt ring $\mathrm{GW}^{\mathrm{s}}(R)$ of $R$ as an abelian group when $R$ has residue field $\mathbb{F}_2$. This completes a recent work by Rogers and Schlichting, where an explicit presentation of $\mathrm{GW}^{\mathrm{s}}(R)$ is given when the residue field is different from $\mathbb{F}_2$. We then use this result to compute the symmetric Grothendieck-Witt rings for the sequences of local rings $\mathbb{Z}/2^n\mathbb{Z}$ and $\mathbb{F}_2[x]/(x^n)$.

2025-04-26T12:49:09Z 13 pages Ann. K-Th. 10 (2025) 653-672 Marcus Nicolas 10.2140/akt.2025.10.653 http://arxiv.org/abs/2307.09252v2 2025-04-26T04:28:48Z

Let $G$ be a connected, linear real reductive group and let $X$ be a cocompact $G$-proper manifold without boundary. We define delocalized eta invariants associated to a $L^2$-invertible perturbed Dirac operator $D_X+A$ with $A$ a suitable smoothing perturbation. We also investigate the case in which $D_X$ is not invertible but $0$ is isolated in the $L^2$-spectrum of $D_X$. We prove index formulas relating these delocalized eta invariants to Atiyah-Patodi-Singer delocalized indices on $G$-proper manifolds with boundary. In order to achieve this program we give a detailed account of both the large and small time behaviour of the heat-kernel of perturbed Dirac operators, as a map from the positive real line to the algebra of Lafforgue integral operators. We apply these results to the definition of rho-numbers associated to $G$-homotopy equivalences between closed $G$-proper manifolds and to the study of their bordism properties. We also define delocalized signatures of manifolds with boundary satisfying an invertibility assumption on the differential form Laplacian of the boundary in middle degree and prove an Atiyah-Patodi-Singer formula for these delocalized signatures.

2023-07-18T13:34:05Z An entire new section devoted to the signature operator has been added in this new version. The article is now 10 pages longer. The title has been changed in order to reflect the new focus of the paper Paolo Piazza Hessel Posthuma Yanli Song Xiang Tang http://arxiv.org/abs/2107.07701v3 2025-04-25T18:23:27Z

The (A)CGW categories of Campbell and Zakharevich show how finite sets and varieties behave like the objects of an exact category for the purpose of algebraic $K$-theory. These structures admit a well-behaved Q-construction akin to Quillen's, and satisfy analogues of the Dévissage and Localization theorems. In this work, we modify Campbell and Zakharevich's axioms to obtain a framework called ECGW categories that allows for an $S_\bullet$-construction akin to Waldhausen's, and show how it produces a K-theory spectrum which satisfies an analogue of the Additivity Theorem. We also define a notion of ``relative ECGW categories'' which have weak equivalences determined by a subcategory of acyclic objects satisfying minimal conditions; these satisfy analogues of the Fibration and Localization Theorems that generalize previous versions in the literature. We illustrate these results with examples including exact categories, extensive categories, algebraic varieties, and polytopes up to scissors congruence.

2021-07-16T04:19:10Z 47 pages + 17 page technical appendix. This paper previously titled "A Gillet--Waldhausen Theorem for Chain Complexes of Finite Sets" is being split into two: this one with new examples and applications, and another with the previous title covering the Gillet--Waldhausen Theorem for finite sets and more general extensive categories, content which can still be found in v2 Maru Sarazola Brandon T. Shapiro http://arxiv.org/abs/2409.18789v3 2025-04-24T20:42:09Z

We study the cohomology rings of tiling spaces $Ω$ given by cubical substitutions. While there have been many calculations before of cohomology groups of such tiling spaces, the innovation here is that we use computer-assisted methods to compute the cup-product structure. This leads to examples of substitution tilings with isomorphic cohomology groups but different cohomology rings. Part of the interest in studying the cup product comes from Bellissard's gap-labeling conjecture, which is known to hold in dimensions $\le 3$, but where a proof is known in dimensions $\ge 4$ only when the Chern character from $K^0(Ω)$ to $H^*(Ω,\mathbb{Q})$ lands in $H^*(Ω,\mathbb{Z})$. Computation of the cup product on cohomology often makes it possible to compute the Chern character. We introduce a natural generalization of the gap-labeling conjecture, called the equivariant gap-labeling conjecture, which applies to tilings with a finite symmetry group. Again this holds in dimensions $\le 3$, but we are able to show that it fails in general in dimensions $\ge 4$. This, plus some of our cup product calculations, makes it plausible that the gap-labeling conjecture might fail in high dimensions.

2024-09-27T14:36:56Z Fixed mistake in the first pair of examples, added references. Updated to match version to be published Jianlong Liu Jonathan Rosenberg Rodrigo Treviño http://arxiv.org/abs/2503.24033v5 2025-04-23T19:59:12Z

We study the process of $\ell$-adic completion of motivic sheaves. We observe that, in equal characteristic, when restricted to constructible objets, it is compatible with the six operations. This implies that one can reconstruct $\ell$-adic sheaves of geometric origin over a scheme of finite type over a field from $\ell$-adic cohomology of smooth schemes. In the case of finite fields, this includes perverse $\ell$-adic sheaves of geometric orgin. However, the analogous behaviour fails systematically in mixed characteristic: the reason is that it would imply strong independence of $\ell$ results that can be proven to be too optimistic.

2025-03-31T12:59:51Z This paper replaces a previous version that pretended to construct a new non-trivial period isomorphism: this revised version proves that the strategy was doomed to fail. The last version only fixes some typos and has a slightly extended introduction Denis-Charles Cisinski http://arxiv.org/abs/2504.16509v1 2025-04-23T08:36:07Z

We prove the dilation principle for the relative Dickson-Siegel-Eichler-Roy (DSER) elementary orthogonal group and using the dilation principle we prove the Quillen's analog of the local-global principle for the group. Applying the relative local-global principle, we prove the solvability and nilpotency of the ${\rm SK_1}$-analog of the orthogonal groups and study the homotopy and commutativity principle for odd elementary orthogonal groups.

2025-04-23T08:36:07Z Ambily A. A. Gayathry Pradeep http://arxiv.org/abs/2504.16410v1 2025-04-23T04:25:33Z

We introduce the operation of even periodization on nonconnective spectral stacks. We show how to recover from it the even filtration of Hahn-Raksit-Wilson, and (a Nygaard-completion of) the filtered prismatization stack of Bhatt-Lurie and Drinfeld. We prove that the moduli stack of oriented elliptic curves of Goerss-Hopkins-Miller and Lurie is the even periodization of the spectrum of topological modular forms. Likewise, the chromatic moduli stack, which we previously studied under the name of the moduli stack of oriented formal groups, arises via even periodization from the sphere spectrum. Over the complex bordism spectrum, we relate even periodization with the symmetric monoidal shearing, in the sense of Devalapurkar, of free gradings.

2025-04-23T04:25:33Z Rok Gregoric http://arxiv.org/abs/2303.14892v3 2025-04-21T19:41:11Z

We construct an $(\infty,1)$-functor that takes each smooth $G$-manifold with corners $M$ to the space of equivariant smooth $h$-cobordisms ${\mathcal H}_{\mathrm{Diff}}(M)$. We also give a stable analogue ${\mathcal H}^{\mathcal U}_{\mathrm{Diff}}(M)$ where the manifolds are stabilized with respect to representation discs. The functor structure is subtle to construct, and relies on several new ideas. In the non-equivariant case $G=e$, our $(\infty,1)$-functor agrees with previous constructions of the smooth $h$-cobordism space as a functor to the homotopy category.

2023-03-27T03:00:13Z 91 pages. Thorough revision and improved exposition. Notably, the smooth extension and tubular neighborhood results for equivariant manifolds with corners are much more detailed now. We thank a very careful referee for many useful suggestions Thomas Goodwillie Kiyoshi Igusa Cary Malkiewich Mona Merling http://arxiv.org/abs/2504.14647v1 2025-04-20T15:11:49Z

In this note we explicitly give all the equivalent classes of deformations of the 5-dimensional Heisenberg Lie algebra $\mathfrak{h}_2$ over complex or real number fields. We show that there are altogether 20 infinitesimal deformations (families), 18 of them being extendable to real deformations and 2 of them are only infinitesimal.

2025-04-20T15:11:49Z 9 pages Alice Fialowski Ashis Mandal http://arxiv.org/abs/2504.14153v1 2025-04-19T02:59:36Z

We generalize Blumberg-Mandell's K-theoretic Poitou-Tate duality to arithmetic schemes of arbitrary dimension, smooth and proper over S-integers. As in our earlier papers on the subject, we discuss how to model the compactly supported side via the K-theory of locally compact modules.

2025-04-19T02:59:36Z Oliver Braunling http://arxiv.org/abs/2504.13100v1 2025-04-17T17:08:54Z

Let $k$ be a $d$-local field such that the corresponding $1$-local field $k^{(d-1)}$ is a $p$-adic field and $C$ a curve over $k$. Let $K$ be the function field of $C$. We prove that for each $n,m \in \mathbf{N}$, and hypersurface $Z$ of $\mathbf{P}^n_K$ with degree $m$ such that $m^{d+1} \leq n$, the $(d+1)$-th Milnor $\mathrm{K}$-theory group is generated by the images norms of finite extension $L$ of $K$ such that $Z$ admits an $L$-point. Let $j \in \{1,\cdots , d\}$. When $C$ admits a point in an extension $l/k$ that is not $i$-ramified for every $i \in \{1, \cdots, d-j\}$ we generalise this result to hypersurfaces $Z$ of $\mathbf{P}_K^n$ with degree $m$ such that $m^{j+1} \leq n$. \par In order to prove these results we give a description of the Tate-Shafarevich group $\Sha^{d+2}(K,\mathbf{Q}/\mathbf{Z}(d+1))$ in terms of the combinatorics of the special fibre of certain models of the curve $C$.

2025-04-17T17:08:54Z 27 pages. Coments are welcome c: Felipe Gambardella http://arxiv.org/abs/2504.12843v1 2025-04-17T10:57:58Z

Motivated by the interplay between quadratic algebras, noncommutative geometry, and operator theory, we introduce the notion of quadratic subproduct systems of Hilbert spaces. Specifically, we study the subproduct systems induced by a finite number of complex quadratic polynomials in noncommuting variables, and describe their Toeplitz and Cuntz--Pimsner algebras. Inspired by the theory of graded associative algebras, we define a free product operation in the category of subproduct systems and show that this corresponds to the reduced free product of the Toeplitz algebras. Finally, we obtain results about the K-theory of the Toeplitz and Cuntz--Pimsner algebras of a large class of quadratic subproduct systems.

2025-04-17T10:57:58Z Francesca Arici Yufan Ge http://arxiv.org/abs/2204.03434v3 2025-04-17T09:02:32Z

We develop a theory of motivic spectra in a broad generality; in particular $\mathbb{A}^1$-homotopy invariance is not assumed. As an application, we prove that $K$-theory of schemes is a universal Zariski sheaf of spectra which is equipped with an action of the Picard stack and satisfies projective bundle formula.

2022-04-07T13:28:44Z v3: 47 pages, small corrections and edits, the numbering has not been changed from v2 Toni Annala Ryomei Iwasa http://arxiv.org/abs/2411.03889v2 2025-04-16T13:05:39Z

Chow polylogarithms are some special functions arising in explicit description of the Beilinson regulator map. The most interesting functional equation for this function reflects its vanishing on the boundary in the Bloch's cycle complex. We show that this functional equation formally follows from more simple ones, namely skew-symmetry, functoriality and multiplicativity. To prove this, we study some analogue of Bloch's cycle complex and establish for this complex an analogue Beilinson-Soule vanishing conjecture. A. Goncharov defined a group of functional equations for classical polylogarithms. We show that any such functional equation formally follows from functional equations for Chow polylogarithms stated above.

2024-11-06T13:07:11Z Some mistakes were corrected Vasily Bolbachan