https://arxiv.org/api/7fvZ7YPCCT8mlK6eq7tB1kIkRrA 2026-03-24T12:48:36Z 6516 75 15 http://arxiv.org/abs/2510.17527v2 2026-02-17T12:57:28Z

We show that an often used example of a cohomology algebra with non-vanishing triple Massey product is intrinsically A_3-formal and therefore, in fact, cannot be realized as the cohomology of a differential graded algebra with non-vanishing triple Massey product. We prove this result by computing the graded Hochschild cohomology group which contains the potential obstruction to the vanishing.

2025-10-20T13:28:34Z v2: 10 pages, minor changes; this is the final version accepted in NYJM Eivind Xu Djurhuus Gereon Quick http://arxiv.org/abs/2602.15419v1 2026-02-17T08:27:08Z

We develop an $\mathrm{L}^p$-theory for Dolbeault-Dirac operators on compact Kähler manifolds with coefficients in a Hermitian holomorphic vector bundle $E$. For each $p \in (1,\infty)$ we consider the closed $\mathrm{L}^p$-realization $\mathcal{D}_{E,p}$ of the Dolbeault-Dirac operator $\mathcal{D}_{E}$ on the Banach space $\mathrm{L}^p(Ω^{0,\bullet}(M,E))$. We prove that $\mathcal{D}_{E,p}$ is bisectorial and admits a bounded $\mathrm{H}^\infty$ functional calculus. We establish a Gaffney-type estimate controlling covariant derivatives in $\mathrm{L}^p$, and also obtain $\mathrm{L}^p$-Hodge decompositions. As an application, we show that the closed operator $\mathcal{D}_{E,p}$ yields a compact Banach spectral triple, and we identify the index of the associated Fredholm operator with the holomorphic Euler characteristic, proving in particular that it is independent of $p$. This work initiates a connection between complex geometry, $\mathrm{L}^p$-analysis and Banach noncommutative geometry, beyond the Hilbert space setting.

2026-02-17T08:27:08Z 48 pages. arXiv admin note: text overlap with arXiv:2512.22517 Cédric Arhancet http://arxiv.org/abs/2411.11993v2 2026-02-14T14:58:20Z

We study the homotopy groups of the geometric fixed points of the real topological cyclic homology of $\mathbb{Z}/4$. We relate these groups to the values of the non-abelian derived functors of the functor $M \mapsto (M \otimes_{\mathbb{Z}/4} M)^{C_2}$ at the $\mathbb{Z}/4$-module $\mathbb{Z}/2$, which we precisely calculate with computer assistance up to degree $6$, and calculate in general up to slight remaining ambiguity. Using these results we compute $π_i(\mathrm{TCR}(\mathbb{Z}/4)^{φ\mathbb{Z}/2})$ exactly for $i \le 1$, up to an extension problem for $2 \le i \le 5$, and describe the asymptotic growth of this group for large $i$. A consequence of these computations is that there exists some $0 \le i \le 5$ such that the canonical map comparing the genuine symmetric and symmetric $L$-theory spectra of $\mathbb{Z}/4$ is not an isomorphism on degree $i$ homotopy, and moreover this comparison map is never an isomorphism on homotopy in sufficiently large degrees.

2024-11-18T19:25:54Z Version accepted for publication by Transactions of the American Mathematical Society, minor corrections and clarifications. 45 pages Thomas Read http://arxiv.org/abs/2506.05585v2 2026-02-13T16:42:57Z

We construct motivic power operations on the mod-$p$ motivic cohomology of $\Fb_p$-schemes using a motivic refinement of Nizioł's theorem. The key input is a purity theorem for motivic cohomology established by Levine. Our operations satisfy the expected properties (naturality, Adem relations, and the Cartan formula) for all bidegrees, generalizing previous results of Primozic which were only know along the ``Chow diagonal.'' We offer geometric applications of our construction: 1) an example of non-(quasi-)smoothable algebraic cycle at the characteristic, 2) an answer to the motivic Steenrod problem at the characteristic, 3) a counterexample to the integral version of a crystalline Tate conjecture.

2025-06-05T21:00:47Z Submitted version Toni Annala Elden Elmanto http://arxiv.org/abs/2512.03951v2 2026-02-13T15:56:21Z

We establish a right-exactness theorem for the cross-effects of bifunctors, and consequently for cosmash products, in Janelidze-Márki-Tholen semi-abelian categories. This result motivates an intrinsic definition of a symmetric bilinear, actually bi-right exact and for varieties even bi-cocontinuous product, a tensor-like operation on objects of a category, constructed in terms of limits and colimits. Given two objects in the category, their bilinear product is the abelian object obtained as the cosmash product in the category of two-nilpotent objects of the reflections of these objects. In many concrete cases, this operation, applied to a pair of abelian objects, captures a classical tensor product. We explain this by proving a recognition theorem, which states that any symmetric, bi-cocontinuous bifunctor on an abelian variety of algebras can be recovered as the bilinear product within a suitable semi-abelian variety, namely of algebras over a certain 2-nilpotent symmetric operad. In other words, the extra structure carried by such a bifunctor on the abelian variety (for instance, a tensor product, known in the literature) is encoded by means of a surrounding semi-abelian variety whose abelian core is the original variety. We illustrate the construction with several examples, develop its basic properties, and compare it to the semi-abelian analogue of the Brown-Loday non-abelian tensor product. As an application, we present a categorical version of Ganea's six-term exact homology sequence. Finally, we characterise abelian extensions via internal action cores, yielding explicit descriptions of cosmash products and bilinear products in certain categories of representations.

2025-12-03T16:43:14Z 52 pages; minor improvements throughout the text Bo Shan Deval Manfred Hartl Tim Van der Linden http://arxiv.org/abs/2503.00773v3 2026-02-13T11:45:46Z

This paper describes the $K$-theory structure for three algebra classes. For cyclic $p$-group rings and truncated polynomial rings over $\mathbb{Z}/p^s\mathbb{Z}$, we determine reduced $K_2$-structures via a common algebraic framework. For abelian $p$-group rings over $\widehat{\mathbb{Z}}_p$, we extend the isomorphism between reduced continuous $K_2$ and the first cyclic homology group to all finite abelian $p$-groups. A constructive proof using a generalized Artin-Hasse map yields an explicit splitting. This isomorphism is realized by extending Oliver's $p$-adic logarithm. We also characterize the map from reduced continuous $K_2$ to reduced linearized $K_2$, clarifying the links between $K_2$, cyclic homology, and Kähler differentials.

2025-03-02T07:38:50Z Keywords: $K$-theory, $\mathbb{Z}/p^s\mathbb{Z}$-algebras, group rings, Oliver's logarithm, cyclic homology. 15 pages Yakun Zhang http://arxiv.org/abs/2401.11210v3 2026-02-13T11:40:43Z

Let $G$ be an elementary abelian $p$-group. In this paper, we calculate the $K_2$-groups of some quotient rings $\mathbb{Z}[G]/I$ for certain ideals $I \subseteq \mathbb{Z}[G]$ of finite $p$-power index. These results are established through the explicit computation of Dennis-Stein symbols. As an application, we provide a definitive characterization of the relative group $SK_1(\mathbb{Z}[G], p^k\mathbb{Z}[G])$ for any odd prime $p$ and $k \ge 1$.

2024-01-20T11:22:39Z 14 pages Yakun Zhang http://arxiv.org/abs/2602.12731v1 2026-02-13T09:00:33Z

A consequence of the recent work of Ren and Zhu on Gorenstein projective dimensions of modules over Hopf algebras is that if $A$ and $B$ are Hopf algebras with bijective antipodes having equivalent linear tensor categories of comodules and both having finite global dimensions, then their global dimensions coincide. In this note we provide a direct proof of this result, without using Gorenstein projective dimensions, and we notice that the assumption on the bijectivity of the antipodes can be removed.

2026-02-13T09:00:33Z Julien Bichon LMBP http://arxiv.org/abs/2602.12576v1 2026-02-13T03:38:25Z

Using the Wilson Dirac operator in lattice gauge theory with a domain-wall mass term, we construct a discretization of the Atiyah-Patodi-Singer index for domains with compact boundary in a flat torus. We prove that, for sufficiently small lattice spacings, this discretization correctly captures the continuum Atiyah-Patodi-Singer index.

2026-02-13T03:38:25Z 43pages, 4 figures Shoto Aoki Hajime Fujita Hidenori Fukaya Mikio Furuta Shinichiroh Matsuo Tetsuya Onogi Satoshi Yamaguchi http://arxiv.org/abs/2602.11943v1 2026-02-12T13:38:58Z

Given a DG ring $B$ and an integer $q \geq 0$, we construct the $q$-th cylinder DG ring $Cyl_q(B)$. For $q = 1$ this is just Keller's cylinder DG ring, sometimes called the path object of $B$, which encodes homotopies between DG ring homomorphisms $A \to B$. As $q$ changes the cylinder DG rings form a simplicial DG ring $Cyl(B)$. Hence, given another DG ring $A$, the DG ring homomorphisms $A \to Cyl(B)$ form a simplicial set $Hom(A,Cyl(B))$. Our main theorem states that when $A$ is a semi-free DG ring, the simplicial set $Hom(A,Cyl(B))$ is a Kan complex. For the verification of the Kan condition we introduce a new construction, which may be of independent interest. Given a horn $Y$, we define the DG ring $N(Y,B)$, and we prove that $N(Y,B)$ represents this horn in the simplicial set $Hom(A,Cyl(B))$. In this way the Kan condition is implemented intrinsically in the category of DG rings, thus facilitating calculations. Presumably all the above can be extended, with little change, from DG rings to (small) DG categories. That would enable easy constructions and explicit calculations of some simplicial aspects of DG categories.

2026-02-12T13:38:58Z 18 pages Amnon Yekutieli http://arxiv.org/abs/2503.20383v3 2026-02-12T06:08:59Z

It is known that the truncated Brown--Peterson spectra can be equipped with a certain nice algebra structure, by the work of J. Hahn and D. Wilson, and these ring spectra can be viewed as rings of integers of local fields in chromatic homotopy theory. Furthermore, they satisfy both Rognes' redshift conjecture and the Lichtenbaum--Quillen property. For lower-height cases, the K-theory of the truncated polynomial algebras over these ring spectra is well understood through the work of L. Hesselholt, I. Madsen, and others. In this paper, we demonstrate that the Segal conjecture fails for truncated polynomial algebras over higher chromatic local fields, and consequently, the Lichtenbaum--Quillen property fails. However, the weak redshift conjecture remains valid. Additionally, we provide some other examples where Segal conjecture holds.

2025-03-26T10:03:49Z 40 pages, comments welcome! Rixin Fang http://arxiv.org/abs/2201.04996v3 2026-02-10T16:35:36Z

We give a definition of (refined) Bloch groups of general commutative rings which agrees with the standard definition in the case of local rings whose residue field has at least $4$ elements. Under appropriate conditions on a ring $A$, satisfied by any field or local ring, these groups are closely related to third homology of $\mathrm{SL}_2(A)$ and to indecomposable $K_3$ of $A$. We analyze these conditions. We calculate the Bloch groups of $\mathbb{F}_2,\mathbb{F}_3,\mathbb{Z}$ and $\mathbb{Z}[\frac{1}{2}]$.

2022-01-13T14:21:56Z Extensively rewritten. Contents expanded to make the article more self-contained for the reader Rodrigo Cuitun Coronado Kevin Hutchinson http://arxiv.org/abs/2505.03978v3 2026-02-09T23:10:29Z

This paper addresses the question: What is the de Rham theory for general differentiable spaces? We identify two potential answers and study them. In the first part, we show that the de Rham cohomology calculated using (the completion of) the exterior algebra of the cotangent complex yields non-trivial local invariants for singular differentiable spaces. In particular, in some cases, it differs from the constant sheaf cohomology, which provides an obstruction for the de Rham comparison map to be an equivalence. Moreover, we provide conditions under which this local invariant trivializes, yielding a de Rham-type isomorphism. In the second part, we show that for a suitably defined de Rham stack, there is always an isomorphism between functions on it and constant sheaf cohomology of the underlying topological space. Consequently, there exists a version of the de Rham theorem for singular differentiable spaces which holds with almost no restrictions. Finally, we sketch a generalization of this result to other theories of smooth functions, such as holomorphic or analytic functions. The last part is thus related to analytic de Rham stacks of Rodriguez Camargo used by Scholze to geometrize the local Langlands correspondence.

2025-05-06T21:05:15Z 54 pages; comments welcome! v2 corrections and improvements v3 very minor expository improvements in Section 2 Gregory Taroyan http://arxiv.org/abs/2410.21524v2 2026-02-09T09:58:08Z

We develop the theory of locally rigid and rigid symmetric monoidal $\infty$-categories over an arbitrary base $\mathcal{V}\in\mathrm{CAlg}(\mathbf{Pr}^\mathrm{L})$. Among other things, we prove that every locally rigid commutative $\mathcal{V}$-algebra arises as a ``completion'' of a rigid commutative $\mathcal{V}$-algebra. Along the way, we introduce and study ``$\mathcal{V}$-atomic morphisms'', which are analogues of compact morphisms over an arbitrary base $\mathcal{V}$.

2024-10-28T20:51:25Z 59 pages, comments welcome! v2: Corrected the (wrong) claim that a certain category of locally rigid categories is presentable after a remark by Jiacheng Liang (the rigid case is unaffected), otherwise minor modifications Maxime Ramzi http://arxiv.org/abs/2509.01516v2 2026-02-09T09:49:24Z

We compute certain strict Picard spectra of $K(1)$-local $K$-theory spectra of schemes in terms of Brauer groups, using the map that takes an Azumaya algebra to its $K(1)$-local $K$-theory and proving a Künneth formula in that setting. For example, we prove that for semi-local rings of characteristic $\neq p$, $\mathbf{Br}(R)[p^\infty]\simeq \mathbb{G}_{\mathrm{pic}}(L_{K(1)}K(R)\otimes\mathbb{S}_{W(\overline{\mathbb F}_p)})[p^\infty]$, where $\mathbb{G}_{\mathrm{pic}}$ is Carmeli's strict Picard spectrum. We prove the same result for $R[\frac{1}{p}]$, when $R$ is $p$-henselian.

2025-09-01T14:39:20Z 43 pages, comments welcome! v2 : Changed introduction, added the example of p-inversions of p-henselian rings following a suggestion by Dustin Clausen and Akhil Mathew, added some material on Clifford algebras Maxime Ramzi