https://arxiv.org/api/kSilIimWyEZFJDPC9hFdt97bvFg 2026-03-24T23:09:21Z 6516 180 15 http://arxiv.org/abs/2504.21349v2 Gorenstein homological modules over tensor rings 2025-12-11T08:40:05Z For a tensor ring $T_R(M)$, under certain conditions, we characterize the Gorenstein projective modules over $T_R(M)$, and prove that a $T_R(M)$-module $(X,u)$ is Gorenstein projective if and only if $u$ is monomorphic and ${\rm coker}(u)$ is a Gorenstein projective $R$-module. Gorenstein injective (resp., flat) modules over $T_R(M)$ are also explicitly described. Moreover, we give a characterization for the coherence of $T_R(M)$. Some applications to trivial ring extensions and Morita context rings are given. 2025-04-30T06:17:14Z Final version, to appear in Kyoto J. Math Zhenxing Di Li Liang Zhiqian Song Guoliang Tang http://arxiv.org/abs/2512.10018v1 Sharp mapping properties of Poisson transforms and the Baum-Connes conjecture 2025-12-10T19:11:31Z We prove a sharp, quantitative analogue of Helgason's conjecture at the level of distributions: For a semisimple Lie group $G$ of real rank one, Poisson transforms map a Sobolev space on $P\backslash G$ boundedly with closed range to an $L^2$-space on $K\backslash G$. The result is obtained for the Poisson transform studied by Knapp-Wallach under the name Szegö map, and the appropriate Sobolev spaces are defined using van Erp-Yuncken's Heisenberg calculus. The proof generalizes to show that commutators of this Poisson transform with smooth functions on the Furstenberg compactification are compact. This proves the remaining open conjecture in Julg's seminal program to establish the Baum-Connes conjecture for closed subgroups of semisimple Lie groups of real rank one. 2025-12-10T19:11:31Z 41 pages Heiko Gimperlein Magnus Goffeng http://arxiv.org/abs/2510.22502v2 Rationality of cycles modulo 2 on products of generically smooth quadrics in characteristic 2 2025-12-10T18:46:29Z A 2022 result of Karpenko establishes a conjecture of Hoffmann-Totaro on the possible values of the first higher isotropy index of an arbitrary anisotropic quadratic form of given dimension over an arbitrary field. For nondegenerate forms, this essentially goes back to a 2003 article of the same author on quadratic forms over fields of characteristic not $2$. To handle the more involved case of degenerate forms in characteristic $2$, Karpenko showed that certain aspects of the algebraic-geometric approach to nondegenerate quadratic forms developed by Karpenko, Merkurjev, Rost, Vishik and others can be adapted to a study of rational cycles modulo $2$ on powers of a given generically smooth quadric. In this paper, we extend this to a broader study of rational cycles modulo $2$ on arbitrary products of generically smooth quadrics in characteristic $2$. A basic objective is to have tools available to study correspondences between general quadrics, in particular, between smooth and non-smooth quadrics. Applications of the theory to the study of degenerate quadratic forms in characteristic $2$ are provided, and a number of open problems on forms of this type are also formulated and discussed. 2025-10-26T02:45:59Z Stephen Scully Guangzhao Zhu http://arxiv.org/abs/2512.09876v1 Homological Milnor-Witt modules and Chow-Witt groups over general bases 2025-12-10T18:03:25Z We introduce a general theory of homological Milnor-Witt cycle modules over an excellent base scheme equipped with a dimension function, extending both Rost's cycle modules and Feld's theory over fields. To any such module we associate a Rost-Schmid type complex whose homology defines a Borel-Moore intersection theory with quadratic coefficients, satisfying homotopy invariance, localization, proper pushforwards, smooth pullbacks, and Gysin morphisms for essentially smoothable lci morphisms. Using duality data induced by pinning structures, we define cohomological Milnor-Witt modules and establish a duality equivalence between homological and cohomological theories. As applications, we extend Chow-Witt groups to schemes over general (possibly singular or arithmetic) bases, prove generalized Bloch formulas and representability results, and compute graded Chow-Witt groups over Dedekind schemes of finite type over the integers. In particular, we obtain finiteness results for Chow-Witt and related Milnor-Witt invariants in dimension at most one. 2025-12-10T18:03:25Z Comments welcome! Frédéric Déglise Niels Feld Fangzhou Jin http://arxiv.org/abs/2010.14830v3 Additive C*-categories and K-theory 2025-12-10T13:32:51Z We review the notions of a multiplier category and the $W^{*}$-envelope of a $C^{*}$-category. We then consider the notion of an orthogonal sum of a (possibly infinite) family of objects in a $C^{*}$-category. Furthermore, we construct reduced crossed products of $C^{*}$-categories with groups. We axiomatize the basic properties of the $K$-theory for $C^{*}$-categories in the notion of a homological functor. We then study various rigidity properties of homological functors in general, and special additional features of the $K$-theory of $C^{*}$-categories. As an application we construct and study interesting functors on the orbit category of a group from $C^{*}$-categorical data. 2020-10-28T09:09:18Z 173 pages, minor revision Ulrich Bunke Alexander Engel http://arxiv.org/abs/2107.02843v4 Paschke duality and assembly maps 2025-12-09T15:49:11Z We construct a natural transformation between two versions of $G$-equivariant $K$-homology with coefficients in a $G$-$C^{*}$-category for a countable discrete group $G$. Its domain is a coarse geometric $K$-homology and its target is the usual analytic $K$-homology. Following classical terminology, we call this transformation the Paschke transformation. We show that under certain finiteness assumptions on a $G$-space $X$, the Paschke transformation is an equivalence on $X$. As an application, we provide a direct comparison of the homotopy theoretic Davis-Lück assembly map with Kasparov's analytic assembly map appearing in the Baum-Connes conjecture. 2021-07-06T18:56:44Z 139 p major revision Ulrich Bunke Alexander Engel Markus Land http://arxiv.org/abs/2502.11839v4 The plus construction with respect to subrings of the rationals 2025-12-09T10:18:23Z We construct explicit models of universal $H \mathbb{Z}[J^{-1}]$-acyclic spaces $\mathcal M$, for any subset $J$ of the prime numbers. The corresponding nullification functors provide thus plus construction functors for ordinary homology with $\mathbb{Z}[J^{-1}]$ coefficients. Motivated by classical results about Quillen's plus construction for integral homology, we prove that the $H \mathbb{Z}[J^{-1}]$-acyclization functor and the $\mathcal M$-cellularization functor coincide. We show that the acyclization-plus construction fiber sequence is always a cofiber sequence for simply connected spaces, but almost never so when the plus construction is not simply connected, unlike in the classical case. 2025-02-17T14:34:39Z Guille Carrión Santiago Ramón Flores Jérôme Scherer http://arxiv.org/abs/2512.08304v1 Milnor meets Hopf and Toeplitz at the K-theory of quantum projective planes 2025-12-09T07:04:18Z We explore applications of the celebrated construction of the Milnor connecting homomorphism from the odd to the even K-groups in the context of Hopf--Galois theory. For a finitely generated projective module associated to any piecewise cleft principal comodule algebra, we provide an explicit formula computing the clutching $K_1$-class in terms of the representation matrix defining the module. Thus, the module is determined by an explicit Milnor idempotent. We apply this new tool to the K-theory of quantum complex projective planes to determine their $K_0$-generators in terms of modules associated to noncommutative Hopf fibrations. On the other hand, using explicit homotopy between unitaries, we express the $K_0$-class of the Milnor idempotents in terms of elementary projections in the Toeplitz C*-algebra. This allows us to infer that all our generators are in the positive cone of the $K_0$-group, which is a purely quantum phenomenon absent in the classical case. 2025-12-09T07:04:18Z 28 pages Francesco D'Andrea Piotr M. Hajac Tomasz Maszczyk Bartosz Zieliński http://arxiv.org/abs/2511.18073v2 Algebraic versions of $\mathbb{T}^2$ and of $\mathbb{P}^1\times\mathbb{P}^1$ and Hochschild cohomology 2025-12-08T15:01:28Z We examine the Hochschild cohomology for triangular algebras that capture some aspects of geometry and topology of the torus and of the quadric surface, and for deformations of these algebras. In particular, this shows that the cup product on the Hochschild cohomology of a triangular algebra does not generally follow the intuition coming from monomial algebras. Our examples also demonstrate that the Hochschild cohomology of a deformation of an algebra may not experience the dimension drop but still have a different cup product structure, and that the Hochschild cohomologies of deformations of two derived equivalent algebras may exhibit noticeably different behaviours. 2025-11-22T14:18:34Z 17 pages, substantially clarified some aspects of the proofs and computations Vladimir Dotsenko Andrea Solotar http://arxiv.org/abs/2002.00568v4 Tautological algebra of the moduli stack of semistable bundles of rank 2 on a general curve 2025-12-08T05:10:09Z Our aim is to determine the tautological algebra generated by the cohomology classes of the Brill-Noether loci in the rational cohomology of the moduli stack $\mathcal{U}_C(n,d)$ of semistable bundles of rank $n$ and degree $d$. We show that for a general smooth projective curve $C$ of genus $g\geq 2$, $d=2g-2$, the tautological algebra of $ \mathcal{U}_C(2,2g-2)$ (resp. the moduli stack $\mathcal{SU}_C(2,\mathcal{L})$ of semistable bundles of rank $2$ and determinant $\mathcal{L}$ with $°(\mathcal{L})=2g-2$) is generated by the divisor classes (resp. the class of the Theta divisor $Θ$). This is previously known in rank one situation, called the (classical) Porteous formula. 2020-02-03T05:28:27Z Final version: published in "Communications in Algebra" Communications in Algebra, 21 Nov, 2025 Chandranandan Gangopadhyay Jaya NN Iyer Arijit Mukherjee 10.1080/00927872.2025.2578210 http://arxiv.org/abs/2406.11787v2 A universal coefficient theorem for actions of finite groups on C*-algebras 2025-12-05T14:32:02Z The equivariant bootstrap class in the Kasparov category of actions of a finite group G consists of those actions that are equivalent to one on a Type I C*-algebra. Using a result by Arano and Kubota, we show that this bootstrap class is already generated by the continuous functions on G/H for all cyclic subgroups H of G. Then we prove a Universal Coefficient Theorem for the localisation of this bootstrap class at the group order |G|. This allows us to classify certain G-actions on stable Kirchberg algebras up to cocycle conjugacy. 2024-06-17T17:39:59Z 18 pages J. Math. Sci. Univ. Tokyo 33 (2026), 21-47 Ralf Meyer George Nadareishvili http://arxiv.org/abs/2206.00981v4 On the Homological Stability of Orthogonal and Spin Groups 2025-12-05T11:10:01Z We improve homological stability ranges for the orthogonal group, special orthogonal group, elementary orthogonal group and the spin group over a commutative local ring $R$ with infinite residue field such that $2 \in R^{*}$. 2022-06-02T10:52:37Z 39 pages, comments welcome! To appear in the New York Journal of Mathematics Marco Schlichting Sunny Sood http://arxiv.org/abs/2404.19433v6 The Arens-Michael envelope of a solvable Lie algebra is a homological epimorphism 2025-12-04T04:04:41Z The Arens-Michael envelope of the universal enveloping algebra of a finite-dimensional complex Lie algebra is a homological epimorphism if and only if the Lie algebra is solvable. The necessity was proved by Pirkovskii in [Proc. Amer. Math. Soc. 134, 2621--2631, 2006]. We prove the sufficiency. 2024-04-30T10:29:15Z V.6 minor changes, V.5. new proof of Pr.3.2, V.3: L.4.3 became Th.11, V.2: Th. 4.6 is given in a general form + minor corrections Oleg Aristov http://arxiv.org/abs/2512.03511v1 Magnetic Equivariant Graded Brauer Group 2025-12-03T07:10:03Z Given a magnetic finite group, we consider the similarity classes of magnetic equivariant central simple graded algebras over the complex numbers. We call this set the magnetic equivariant graded Brauer group and its structure as an abelian group is explicitly determined. Following Karoubi, we argue that the elements of this graded Brauer group parametrize the twistings of the magnetic equivariant K-theory of a point. 2025-12-03T07:10:03Z 41 pages. 1 table Higinio Serrano Bernardo Uribe http://arxiv.org/abs/2512.03338v1 Structure theorems for the heart of LCA 2025-12-03T01:06:37Z Cohomology theories with values in LCA (locally compact abelian) groups suffer from the problem that the latter do not form an abelian category. However, the category LCA has a canonical abelian category envelope, the heart of a suitable t-structure. It adds formal cokernel objects. We show the surprising result that these abstract cokernels can also be interpreted as Hausdorff topological abelian groups, at least up to lattice isogenies. These need not be locally compact. 2025-12-03T01:06:37Z 49 pages Oliver Braunling Fei Ren