https://arxiv.org/api/NVsx7mGT/BwIbcBpezyJ8AEW6Aw 2026-04-12T15:29:36Z 6535 855 15 http://arxiv.org/abs/2409.14099v1 2024-09-21T10:48:45Z

We compute the co-multiplication of the algebraic Morava K-theory for split orthogonal groups. This allows us to compute the decomposition of the Morava motives of generic maximal orthogonal Grassmannians and to compute a Morava K-theory analogue of the $J$-invariant in terms of the ordinary (Chow) $J$-invariant.

2024-09-21T10:48:45Z Nikita Geldhauser Andrei Lavrenov Victor Petrov Pavel Sechin http://arxiv.org/abs/2408.13350v2 2024-09-17T21:26:34Z

A quasi-representation of a group is a map from the group into a matrix algebra (or similar object) that approximately satisfies the relations needed to be a representation. Work of many people starting with Kazhdan and Voiculescu, and recently advanced by Dadarlat, Eilers-Shulman-Sørensen and others, has shown that there are topological obstructions to approximating unitary quasi-representations of groups by honest representations, where `approximation' is understood to be with respect to the operator norm. The purpose of this paper is to explore whether approximation is possible if the known obstructions vanish, partially generalizing work of Gong-Lin and Eilers-Loring-Pedersen for the free abelian group of rank two, and the Klein bottle group. We show that this is possible, at least in a weak sense, for some `low-dimensional' groups including fundamental groups of closed surfaces, certain Baumslag-Solitar groups, free-by-cyclic groups, and many fundamental groups of three manifolds. The techniques used in the paper are $K$-theoretic: they have their origin in Baum-Connes-Kasparov type assembly maps, and in the Elliott program to classify $C^*$-algebras; Kasparov's bivariant KK-theory is a crucial tool. The key new technical ingredients are: a stable uniqueness theorem in the sense of Dadarlat-Eilers and Lin that works for non-exact $C^*$-algebras; and an analysis of maps on $K$-theory with finite coefficients in terms of the relative eta invariants of Atiyah-Patodi-Singer. Despite the proofs going through $K$-theoretic machinery, the main theorems can be stated in elementary terms that do not need any $K$-theory.

2024-08-23T19:52:23Z Version 2 has some more details, minor corrections, and improved references Rufus Willett http://arxiv.org/abs/2008.08953v3 2024-09-16T16:40:01Z

To an orthogonal or unitary involution on a central simple algebra of degree 4, or to a symplectic involution on a central simple algebra of degree 8, we associate a Pfister form that characterises the decomposability of the algebra with involution. In this way we obtain a unified approach to known decomposability criteria for several cases, and a new result for symplectic involutions on degree $8$ algebras in characteristic 2.

2020-08-20T13:18:21Z Karim Johannes Becher Nicolas Grenier-Boley Jean-Pierre Tignol 10.1007/s11856-024-2647-4 http://arxiv.org/abs/2106.10209v3 2024-09-16T14:00:44Z

The Leray-Serre and the Eilenberg-Moore spectral sequences are fundamental tools for computing the cohomology of a group or, more generally, of a space. We describe the relationship between these two spectral sequences when both of them share the same abutment. There exists a joint tri-graded refinement of the Leray--Serre and the Eilenberg--Moore spectral sequence. This refinement involves two more spectral sequences, the preludes from the title, which abut to the initial terms of the Leray--Serre and the Eilenberg--Moore spectral sequence, respectively. We show that one of these always degenerates from its second page on and that the other one satisfies a local-to-global property: It degenerates for all possible base spaces if and only if it does so when the base space is contractible.

2021-06-18T16:27:25Z 21 pages, to appear in Documenta Mathematica Doc. Math. 29 (2024) 1319-1339 Frank Neumann Markus Szymik 10.4171/dm/978 http://arxiv.org/abs/2409.09651v1 2024-09-15T07:49:19Z

Based on his claims in 1990, Rosenberg conjectured in 1997 that the negative algebraic $K$-groups of C*-algebras are invariant under continuous homotopy. Contrary to his expectation, we prove that such invariance holds for $K_{-1}$ of arbitrary Banach rings by establishing a certain continuity result. We also construct examples demonstrating that similar continuity results do not hold for lower $K$-groups.

2024-09-15T07:49:19Z 10 pages Ko Aoki http://arxiv.org/abs/2008.08782v5 2024-09-11T22:05:36Z

This is the first installment in a series of papers in which we illustrate how classical invariants of homological algebra and algebraic topology can be enriched with additional descriptive set-theoretic information. To effect this enrichment, we show that many of these invariants can be naturally regarded as functors to the category, introduced herein, of groups with a Polish cover. The resulting definable invariants provide far stronger means of classification. In the present work we focus on the first derived functors of $\mathrm{Hom}(-,-)$ and $\mathrm{lim}(-)$. The resulting definable $\mathrm{Ext}(B,F)$ for pairs of countable abelian groups $B,F$ and definable $\mathrm{lim}^{1}(\boldsymbol{A})$ for towers $\boldsymbol{A}$ of Polish abelian groups substantially refine their classical counterparts. We show, for example, that the definable $\textrm{Ext}(-,\mathbb{Z})$ is a fully faithful contravariant functor from the category of finite rank torsion-free abelian groups $Λ$ with no free summands; this contrasts with the fact that there are uncountably many non-isomorphic such groups $Λ$ with isomorphic classical invariants $\textrm{Ext}(Λ,\mathbb{Z}) $. To facilitate our analysis, we introduce a general Ulam stability framework for groups with a Polish cover and we prove several rigidity results for non-Archimedean abelian groups with a Polish cover. A special case of our main result answers a question of Kanovei and Reeken regarding quotients of the $p$-adic groups. Finally, using cocycle superrigidity methods for profinite actions of property (T) groups, we obtain a hierarchy of complexity degrees for the problem $\mathcal{R}(\mathrm{Aut}(Λ)\curvearrowright\mathrm{Ext}(Λ,\mathbb{Z}))$ of classifying all group extensions of $Λ$ by $\mathbb{Z}$ up to base-free isomorphism, when $Λ=\mathbb{Z}[1/p]^{d}$ for prime numbers $p$ and $ d\geq 1$.

2020-08-20T05:44:21Z Minor revisions; to appear in the Proceedings of the London Mathematical Society Jeffrey Bergfalk Martino Lupini Aristotelis Panagiotopoulos http://arxiv.org/abs/2310.06340v3 2024-09-11T08:06:25Z

For a Dedekind domain $R$ with field of fractions $K$ a classical $R$-order in a semisimple $K$-algebra $A$ is an $R$-projective $R$-subalgebra $Λ$ of $A$ such that $KΛ=A$. We study differential graded $K$-algebras which are semisimple as $K$-algebras and define differential graded $R$-orders as a differential graded $R$-subalgebras, which are in addition classical $R$-orders in $A$. We give a series of examples for such differential graded algebras and orders. We show that any differential graded $R$-order is contained in a maximal differential graded order. We develop parts of the classical ring theory in the differential graded setting, in particular the properties of analogues of the Jacobson radical. We further define class groups of differential graded orders as subgroups of the Grothendieck group of locally free differential graded modules. We define idèles in this setting showing that these idèle groups maps surjectively to the differential graded class group. Finally we give a homomorphism to the class group of the homology of the differential graded order and prove a Mayer-Vietoris like sequence for each central idempotent of $A$, including the analogous one for the kernel groups of these morphisms.

2023-10-10T06:21:48Z substantial revision, including a much more general dg-Nakayama Lemma Alexander Zimmermann http://arxiv.org/abs/2409.07023v1 2024-09-11T05:34:28Z

As the dual notion of projective modules over trusses, injective modules over trusses are introduced. The Schanuel Lemmas on projective and injective modules over trusses are exhibited in this paper.

2024-09-11T05:34:28Z arXiv admin note: substantial text overlap with arXiv:2405.02540; text overlap with arXiv:2006.16624 by other authors Yongduo Wang Shujuan Han Dengke Jia Jian He Dejun Wu http://arxiv.org/abs/2310.02716v4 2024-09-10T06:45:39Z

We give a necessary and sufficient condition for an inverse sequence $S_0 \leftarrow S_1 \leftarrow \dots$ indexed by natural numbers to have ${\rm lim}^1S=0$. This condition can be treated as a transfinite version of the Mittag-Leffler condition. We consider inverse sequences in an arbitrary abelian category having a generator and satisfying Grothendieck axioms ${\rm (AB3)}$ and ${\rm (AB4^*)}.$ We also show that the class of inverse sequences $S$ such that ${\rm lim}\: S={\rm lim}^1 S=0$ is the least class of inverse sequences containing the trivial inverse sequence and closed with respect to small limits and a certain type of extensions.

2023-10-04T10:39:07Z Mishel Carelli Sergei O. Ivanov http://arxiv.org/abs/2003.09777v3 2024-09-07T21:28:24Z

In this paper we study a natural decomposition of $G$-equivariant $K$-theory of a proper $G$-space, when $G$ is a Lie group with a compact normal subgroup $A$ acting trivially. Our decomposition could be understood as a generalization of the theory known as Mackey machine under suitable hypotheses, since it decomposes $G$-equivariant K-theory in terms of twisted equivariant K-theory groups respect to some subgroups of $G/A$. Similar decompositions were known for the case of a compact Lie group acting on a space, but our main result applies to discrete, linear and almost connected groups. We also apply this decomposition to study equivariant $K$-theory of spaces with only one isotropy type. We provide a rich class of examples in order to expose the strength and generality of our results. We also study the decomposition for equivariant connective $K$-homology for actions of compact Lie groups using a suitable configuration space model, based on previous papers published by the third author.

2020-03-22T01:18:51Z 33 pages (this version) Andrés Angel Edward Becerra Mario Velásquez http://arxiv.org/abs/2409.04400v1 2024-09-06T16:47:29Z

In this brief note, we present an elementary construction of the first Chern class of Hodge--Tate crystals in line bundles using a refinement of the prismatic logarithm, which should be comparable to the one considered by Bhargav Bhatt. The key to constructing this refinement is Yuri Sulyma's norm on (animated) prisms. We explain the relation of this construction to prismatic Witt vectors, as a generalization of Kaledin's polynomial Witt vectors. We also propose the prismatic Hochschild homology as a noncommutative analogue of prismatic de Rham complex.

2024-09-06T16:47:29Z 16 pages Zhouhang Mao http://arxiv.org/abs/2304.13473v3 2024-09-06T10:07:02Z

We show that étale correspondences between ample groupoids induce homomorphisms of homology groups. To complement this we explore the module categories of ample groupoids. We construct an induction-restriction adjunction for subgroupoids, which generates a procedure for building resolutions of arbitrary groupoid modules. These resolutions can be used to work with the Tor picture of groupoid homology, enabling explicit descriptions of the maps in homology induced by étale correspondences.

2023-04-26T11:54:34Z Version in the Journal of Noncommutative Geometry, corrected an inaccuracy in the final remark, 17 pages Alistair Miller http://arxiv.org/abs/2303.02089v2 2024-09-06T09:18:43Z

For an étale correspondence $Ω\colon G \to H$ of étale groupoids, we construct an induction functor $\mathrm{Ind}_Ω\colon \mathrm{KK}^H \to \mathrm{KK}^G$ between equivariant Kasparov categories. We introduce the crossed product of an $H$-equivariant correspondence by $Ω$, and use this to build a natural transformation $α_Ω\colon K_*( G \ltimes \mathrm{Ind}_Ω-) \Rightarrow K_*(H \ltimes -)$. When $Ω$ is proper these constructions naturally sit above an induced map in K-theory $K_*(C^*(G)) \to K_*(C^*(H))$.

2023-03-03T17:04:41Z Version published in the Journal of Functional Analysis Alistair Miller http://arxiv.org/abs/2210.00682v2 2024-09-05T14:33:34Z

Cobordism groups and cut-and-paste groups of manifolds arise from imposing two different relations on the monoid of manifolds under disjoint union. By imposing both relations simultaneously, a cobordism cut and paste group $\overline{\mathrm{SK}}_n$ is defined. In this paper, we extend this definition to manifolds with boundary obtaining $\overline{\mathrm{SK}}^{\partial}_n$ and study the relationship of this group to an appropriately defined cobordism group of manifolds with boundary. The main results are the construction of a spectrum that recovers on $π_0$ the cobordism cut and paste groups of manifolds with boundary, $\overline{\mathrm{SK}}^{\partial}_n$, and a map of spectra that lifts the canonical quotient map $\mathrm{SK}^{\partial}_n \rightarrow \overline{\mathrm{SK}}^{\partial}_n$.

2022-10-03T02:02:58Z 31 pages, 4 figures. Improved readability, and incorporated referee comments Algebr. Geom. Topol. 25 (2025) 3287-3314 Renee S. Hoekzema Carmen Rovi Julia Semikina 10.2140/agt.2025.25.3287 http://arxiv.org/abs/2409.02773v1 2024-09-04T14:52:52Z

We propose a generalization of K-theory to operator systems. Motivated by spectral truncations of noncommutative spaces described by $C^*$-algebras and inspired by the realization of the K-theory of a $C^*$-algebra as the Witt group of hermitian forms, we introduce new operator system invariants indexed by the corresponding matrix size. A direct system is constructed whose direct limit possesses a semigroup structure, and we define the $K_0$-group as the corresponding Grothendieck group. This is an invariant of unital operator systems, and, more generally, an invariant up to Morita equivalence of operator systems. For $C^*$-algebras it reduces to the usual definition. We illustrate our invariant by means of the spectral localizer.

2024-09-04T14:52:52Z 19 pages, 5 figures Walter D. van Suijlekom