https://arxiv.org/api/Wx3E48Nl9Lb9fe0XtuhR0DFTHx4 2026-04-12T21:37:20Z 6535 915 15 http://arxiv.org/abs/2407.01829v2 2024-07-20T16:02:48Z

Notes on Commutative Alegbra and Algebraic Geometry covering rings, ideals, modules, presheaves, sheaves, schemes, homological algebra, étale cohomology and further topics that are more advanced.

2024-07-01T21:59:40Z Mathematical inaccuracies in the paper Eric Schmid http://arxiv.org/abs/2203.02960v4 2024-07-19T15:35:09Z

This paper investigates Rota-Baxter associative algebras of of arbitrary weights, that is, associative algebras endowed with Rota-Baxter operators of arbitrary weights from an operadic viewpoint. Denote by $\RB$ the operad of Rota-Baxter associative algebras. A homotopy cooperad is explicitly constructed, which can be seen as the Koszul dual of $\RB$ as it is proven that the cobar construction of this homotopy cooperad is exactly the minimal model of $\RB$. This enables us to give the notion of homotopy Rota-Baxter associative algebras. The deformation complex of a Rota-Baxter associative algebra and the underlying $L_\infty$-algebra structure over it are exhibited as well.

2022-03-06T13:12:54Z A completely new version of arXiv:2108.06744. Title changed. Seleta Math. to appear Kai Wang Guodong Zhou http://arxiv.org/abs/2407.13624v1 2024-07-18T15:59:30Z

Motivated by Krajiček and Scanlon's definition of the Grothendieck ring $K_0(M)$ of a first-order structure $M$, we introduce the definition of $K$-groups $K_n(M)$ for $n\geq0$ via Quillen's $S^{-1}S$ construction. We provide a recipe for the computation of $K_1(M_R)$, where $M_R$ is a free module over a PID $R$, subject to the knowledge of the abelianizations of the general linear groups $GL_n(R)$. As a consequence, we provide explicit computations of $K_1(M_R)$ when $R$ belongs to a large class of Euclidean domains that includes fields with at least $3$ elements and polynomial rings over fields with characteristic $0$. We also show that the algebraic $K_1$ of a PID $R$ embeds into $K_1(R_R)$.

2024-07-18T15:59:30Z 18 pages Sourayan Banerjee Amit Kuber http://arxiv.org/abs/2407.13031v1 2024-07-17T21:42:41Z

We construct power operations for twisted KR-theory of topological stacks. Standard algebraic properties of Clifford algebras imply that these power operations preserve universal Thom classes. As a consequence, we show that the twisted Atiyah-Bott-Shapiro orientation commutes with power operations.

2024-07-17T21:42:41Z 40 pages Daniel Berwick-Evans Meng Guo http://arxiv.org/abs/2207.13484v3 2024-07-17T16:43:10Z

Let (G,H) be one of the equal rank reductive dual pairs (Mp_{2n},O_{2n+1}) or (U_n,U_n) over a non-archimedean local field of characteristic zero. It is well-known that the theta correspondence establishes a bijection between certain subsets, say R(G) and R(H), of the tempered duals of G and H. We prove that this bijection arises from an equivalence between the categories of representations of two C*-algebras whose spectra are R(G) and R(H). This equivalence is implemented by the induction functor associated to a Morita equivalence bimodule (in the sense of Rieffel) which we construct using the oscillator representation. As an immediate corollary, we deduce that the bijection is functorial and continuous with respect to weak inclusion. We derive further consequences regarding the transfer of characters and preservation of formal degrees.

2022-07-27T12:19:34Z 38 pages. v3: exposition improved in many places. To appear in Selecta Mathematica Bram Mesland Mehmet Haluk Sengun http://arxiv.org/abs/2305.01371v2 2024-07-15T12:16:52Z

For half a century, Mackey and Green functors have been successfully used to model the induction and restriction maps which are ubiquitous in the representation theory of finite groups. In the examples, the latter maps are typically distilled in some way from induction and restriction functors between additive categories. This naturally leads to the notions of Mackey and Green 2-functors and to axioms which better capture this underlying layer of information. Such structures have been used in algebra, geometry and topology for a long time. We survey examples and applications of this young (yet arguably overdue) theory.

2023-05-02T12:47:14Z 23 pages. Corrected a few typos, final version (slight differences with the internal numbering in published version) Triangulated Categories in Represention Theory and Beyond: The Abel Symposium 2022. Edited by P. A. Bergh, S. Oppermann, and Ø. Solberg. Abel Symposia, Springer Ivo Dell'Ambrogio http://arxiv.org/abs/2407.10502v1 2024-07-15T07:48:13Z

We generalize the strong comparison theorem of Franjou, Friedlander, Scorichenko and Suslin to the setting of Fp-linear additive categories. Our results have a strong impact in terms of explicit computations of functor homology, and they open the way to new applications to stable homology of groups or to K-theory. As an illustration, we prove comparison theorems between cohomologies of classical algebraic groups over infinite perfect fields, in the spirit of a celebrated result of Cline, Parshall, Scott et van der Kallen for finite fields.

2024-07-15T07:48:13Z This preprint reworks a part of the material of our previous preprint ''Functor homology over an additive category'' (hal-03432824 or arXiv:2111.09719), which is being completely reorganized. 48 pages Aurélien Djament LAGA Antoine Touzé LPP http://arxiv.org/abs/2407.10394v1 2024-07-15T02:11:25Z

In this paper we consider the K-theory of smooth algebraic stacks, establish lambda and gamma operations, and show that the higher K-theory of such stacks is always a pre-lambda-ring, and is a lambda-ring if every coherent sheaf is the quotient of a vector bundle. As a consequence, we are able to define Adams operations and absolute cohomology for smooth algebraic stacks satisfying this hypothesis. We also obtain a comparison of the absolute cohomology with the equivariant higher Chow groups in certain special cases.

2024-07-15T02:11:25Z To appear in the Annals of K-theory Roy Joshua Pablo Pelaez http://arxiv.org/abs/math/0606241v3 2024-07-13T16:08:28Z

We develop geometric approach to A-infinity algebras and A-infinity categories based on the notion of formal scheme in the category of graded vector spaces. Geometric approach clarifies several questions, e.g. the notion of homological unit or A-infinity structure on A-infinity functors. We discuss Hochschild complexes of A-infinity algebras from geometric point of view. The paper contains homological versions of the notions of properness and smoothness of projective varieties as well as the non-commutative version of Hodge-to-de Rham degeneration conjecture. We also discuss a generalization of Deligne's conjecture which includes both Hochschild chains and cochains. We conclude the paper with the description of an action of the PROP of singular chains of the topological PROP of 2-dimensional surfaces on the Hochschild chain complex of an A-infinity algebra with the scalar product. This action is essentially equivalent to the structure of 2-dimensional Topological Field Theory associated with a Calabi-Yau category.

2006-06-11T10:34:11Z Many typos have been corrected in the updated version. Some minor changes in the text. New Latex package was added in order to help the reader better navigate the text Published in the book "Homological Mirror Symmetry. New developments and perspectives", Lecture Notes in Physics 757, Springer, 2009 Maxim Kontsevich Yan Soibelman http://arxiv.org/abs/2104.04021v2 2024-07-12T22:17:58Z

We provide a universal characterization of the construction taking a scheme $X$ to its stable $\infty$-category $\text{Mot}(X)$ of noncommutative motives, patterned after the universal characterization of algebraic K-theory due to Blumberg--Gepner--Tabuada. As a consequence, we obtain a corepresentability theorem for secondary K-theory. We envision this as a fundamental tool for the construction of trace maps from secondary K-theory. Towards these main goals, we introduce a preliminary formalism of "stable $(\infty, 2)$-categories"; notable examples of these include (quasicoherent or constructible) sheaves of stable $\infty$-categories. We also develop the rudiments of a theory of presentable enriched $\infty$-categories -- and in particular, a theory of presentable $(\infty, n)$-categories -- which may be of intependent interest.

2021-04-08T19:31:41Z Minor revisions and improvements. Accepted for publication in Annals of K-Theory. (Numberings here differ from those in the published version.) Ann. K-Th. 9 (2024) 369-445 Aaron Mazel-Gee Reuben Stern 10.2140/akt.2024.9.369 http://arxiv.org/abs/2407.09158v1 2024-07-12T10:45:02Z

We introduce and study a non-abelian tensor product of two algebras with bracket with compatible actions on each other. We investigate its applications to the universal central extensions and the low-dimensional homology of perfect algebras with bracket.

2024-07-12T10:45:02Z 17 pages. arXiv admin note: text overlap with arXiv:2307.15636 José Manuel Casas Emzar Khmaladze Manuel Ladra http://arxiv.org/abs/2407.08399v1 2024-07-11T11:04:16Z

In this paper we extend equivariant infinite loop space theory to take into account multiplicative norms: For every finite group $G$, we construct a multiplicative refinement of the comparison between the $\infty$-categories of connective genuine $G$-spectra and space-valued Mackey functors, first proven by Guillou-May, and use this to give a description of connective normed equivariant ring spectra as space-valued Tambara functors. In more detail, we first introduce and study a general notion of homotopy-coherent normed (semi)rings, and identify these with product-preserving functors out of a corresponding $\infty$-category of bispans. In the equivariant setting, this identifies space-valued Tambara functors with normed algebras with respect to a certain normed monoidal structure on grouplike $G$-commutative monoids in spaces. We then show that the latter is canonically equivalent to the normed monoidal structure on connective $G$-spectra given by the Hill-Hopkins-Ravenel norms. Combining our comparison with results of Elmanto-Haugseng and Barwick-Glasman-Mathew-Nikolaus, we produce normed ring structures on equivariant algebraic K-theory spectra.

2024-07-11T11:04:16Z 64 pages Bastiaan Cnossen Rune Haugseng Tobias Lenz Sil Linskens http://arxiv.org/abs/2401.04262v3 2024-07-11T10:23:52Z

The theory of Leavitt path algebras is intrinsically related, via graphs, to the theory of symbolic dynamics and $C^*$-algebras where the major classification programs have been a domain of intense research in the last 50 years. In this survey article, we gather together current lines of research in the classification of Leavitt path algebras, questions, conjectures, and some of the results about them that have been obtained so far.

2024-01-08T22:29:03Z Final version Bull. Lond. Math. Soc. (2024) 56:10, 3011-3267 Guillermo Cortiñas Roozbeh Hazrat 10.1112/blms.13139 http://arxiv.org/abs/2405.05153v2 2024-07-09T01:12:25Z

We develop the formalism of derived divided power algebras, and revisit the theory of derived De Rham and derived crystalline cohomology in this framework. We characterize derived De Rham cohomology of a derived commutative algebra $A$ over a base $R$, together with the Hodge filtration on it, in terms of the universal property as the largest filtered divided power thickening of $A$. We show that our approach recovers the classical De Rham cohomology in the case of a smooth map $R\rightarrow A$, and therefore in general, recovers the derived De Rham cohomology in the sense of Illusie. Along the way, we develop some generalities on square-zero extensions and derivations in derived algebraic geometry and apply them to give the universal property of the first Hodge truncation of the derived De Rham cohomology. Finally, we define derived crystalline cohomology relative to a general divided power base, show that it satisfies the main properties of the crystalline cohomology and coincides with the classical crystalline cohomology in the smooth case.

2024-05-08T15:45:40Z Kirill Magidson http://arxiv.org/abs/2403.07546v2 2024-07-08T16:05:24Z

The Cremona groups are the groups of all birational equivalences of rational varieties and, equivalently, the automorphism groups of the rational function fields. In this note, we explain that homological stability fails for them in both possible ways and comment on their stable homology.

2024-03-12T11:32:47Z 6 pages Markus Szymik