https://arxiv.org/api/kSilIimWyEZFJDPC9hFdt97bvFg2026-03-24T23:09:21Z651618015http://arxiv.org/abs/2504.21349v2Gorenstein homological modules over tensor rings2025-12-11T08:40:05ZFor 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:14ZFinal version, to appear in Kyoto J. MathZhenxing DiLi LiangZhiqian SongGuoliang Tanghttp://arxiv.org/abs/2512.10018v1Sharp mapping properties of Poisson transforms and the Baum-Connes conjecture2025-12-10T19:11:31ZWe 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:31Z41 pagesHeiko GimperleinMagnus Goffenghttp://arxiv.org/abs/2510.22502v2Rationality of cycles modulo 2 on products of generically smooth quadrics in characteristic 22025-12-10T18:46:29ZA 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:59ZStephen ScullyGuangzhao Zhuhttp://arxiv.org/abs/2512.09876v1Homological Milnor-Witt modules and Chow-Witt groups over general bases2025-12-10T18:03:25ZWe 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:25ZComments welcome!Frédéric DégliseNiels FeldFangzhou Jinhttp://arxiv.org/abs/2010.14830v3Additive C*-categories and K-theory2025-12-10T13:32:51ZWe 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:18Z173 pages, minor revisionUlrich BunkeAlexander Engelhttp://arxiv.org/abs/2107.02843v4Paschke duality and assembly maps2025-12-09T15:49:11ZWe 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:44Z139 p major revisionUlrich BunkeAlexander EngelMarkus Landhttp://arxiv.org/abs/2502.11839v4The plus construction with respect to subrings of the rationals2025-12-09T10:18:23ZWe 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:39ZGuille Carrión SantiagoRamón FloresJérôme Schererhttp://arxiv.org/abs/2512.08304v1Milnor meets Hopf and Toeplitz at the K-theory of quantum projective planes2025-12-09T07:04:18ZWe 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:18Z28 pagesFrancesco D'AndreaPiotr M. HajacTomasz MaszczykBartosz Zielińskihttp://arxiv.org/abs/2511.18073v2Algebraic versions of $\mathbb{T}^2$ and of $\mathbb{P}^1\times\mathbb{P}^1$ and Hochschild cohomology2025-12-08T15:01:28ZWe 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:34Z17 pages, substantially clarified some aspects of the proofs and computationsVladimir DotsenkoAndrea Solotarhttp://arxiv.org/abs/2002.00568v4Tautological algebra of the moduli stack of semistable bundles of rank 2 on a general curve2025-12-08T05:10:09ZOur 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:27ZFinal version: published in "Communications in Algebra"Communications in Algebra, 21 Nov, 2025Chandranandan GangopadhyayJaya NN IyerArijit Mukherjee10.1080/00927872.2025.2578210http://arxiv.org/abs/2406.11787v2A universal coefficient theorem for actions of finite groups on C*-algebras2025-12-05T14:32:02ZThe 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:59Z18 pagesJ. Math. Sci. Univ. Tokyo 33 (2026), 21-47Ralf MeyerGeorge Nadareishvilihttp://arxiv.org/abs/2206.00981v4On the Homological Stability of Orthogonal and Spin Groups2025-12-05T11:10:01ZWe 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:37Z39 pages, comments welcome! To appear in the New York Journal of MathematicsMarco SchlichtingSunny Soodhttp://arxiv.org/abs/2404.19433v6The Arens-Michael envelope of a solvable Lie algebra is a homological epimorphism2025-12-04T04:04:41ZThe 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:15ZV.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 correctionsOleg Aristovhttp://arxiv.org/abs/2512.03511v1Magnetic Equivariant Graded Brauer Group2025-12-03T07:10:03ZGiven 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:03Z41 pages. 1 tableHiginio SerranoBernardo Uribehttp://arxiv.org/abs/2512.03338v1Structure theorems for the heart of LCA2025-12-03T01:06:37ZCohomology 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:37Z49 pagesOliver BraunlingFei Ren