https://arxiv.org/api/YGhNmnP5ajbwbyc1LIi+ZMB9wNc 2026-03-31T10:19:40Z 6525 255 15 http://arxiv.org/abs/2404.08534v2 2025-10-31T16:40:10Z

We investigate the relationship between smoothness and the relative global dimension of a ring extension. We prove that a smooth commutative algebra $A$ over $B$ has finite relative global dimension $\text{gdim}(A,B)$. Conversely, under a mild condition on $B$, the finiteness of $\text{gdim}(A,B)$ implies that the map $B \to A$ is smooth. We also relate the relative global dimension to the usual global dimension of the fibers of $B \to A$, and establish a formula for the relative global dimension of tensor products of extensions. Finally, we present examples and an alternative characterization of smoothness in terms of relative Hochschild homology.

2024-04-12T15:28:48Z Updated version: extended results (relating relative global dimension to fiber dimensions and providing a formula for tensor products), added examples, and included alternative characterization of smoothness via relative Hochschild homology; 16 pages Kostiantyn Iusenko Eduardo do Nascimento Marcos Victor do Valle Pretti http://arxiv.org/abs/2505.16150v2 2025-10-31T04:02:17Z

We prove an identity for (torus-equivariant) 3-point, genus 0, $K$-theoretic Gromov-Witten invariants of flag manifolds $G/P$, which can be thought of as a replacement for the ``divisor axiom'' in their (torus-equivariant) quantum $K$-theory. This identity enables us to compute these invariants when two insertions are Schubert classes and the other a Schubert divisor class. Our type-independent proof utilizes the Chevalley formula for the (torus-equivariant) quantum $K$-theory ring of flag manifolds, which computes multiplications by Schubert divisor classes in terms of the quantum Bruhat graph.

2025-05-22T02:49:41Z All but Appendix A are written by Cristian Lenart, Satoshi Naito, Daisuke Sagaki, and Weihong Xu; Appendix A is written by Leonardo C. Mihalcea and Weihong Xu Cristian Lenart Satoshi Naito Daisuke Sagaki Leonardo C. Mihalcea Weihong Xu http://arxiv.org/abs/2403.18450v4 2025-10-30T17:59:38Z

We develop a general homological approach to presentations of connected graded associative algebras, and apply it to the loop homology of moment-angle complexes $Z_K$ that correspond to flag simplicial complexes $K$. For arbitrary coefficient ring, we describe generators of the Pontryagin algebra $H_*(ΩZ_K)$ and defining relations between them. We prove that such moment-angle complexes are coformal over $\mathbb{Q},$ give a necessary condition for rational formality, and compute their homotopy groups in terms of homotopy groups of spheres.

2024-03-27T11:09:27Z 32 pages, to appear in Algebr. Geom. Topol. v.4: corrections in Appendix A (main part not affected) Algebr. Geom. Topol. 25 (2025) 5619-5663 Fedor Vylegzhanin 10.2140/agt.2025.25.5619 http://arxiv.org/abs/2510.26249v1 2025-10-30T08:33:57Z

We show that the main homological dimensions of the algebra of analytic functionals on a connected complex Lie group, as well as some of its completions, coincide with the dimension of the simply connected solvable factor in the canonical decomposition of the linearization of this group. Thus, the possible nontriviality of a linearly complex reductive factor does not affect the homological properties of the algebras under consideration.

2025-10-30T08:33:57Z in Russian language Oleg Aristov http://arxiv.org/abs/2407.18190v2 2025-10-29T18:22:10Z

This work addresses the homotopical analysis of enveloping operads in a general cofibrantly generated symmetric monoidal model category. We show the potential of this analysis by obtaining, in a uniform way, several central results regarding the homotopy theory of operadic algebras.

2024-07-25T16:57:32Z Comments are welcome! v2: Accepted version up to formatting. Minor modifications from v1 Journal of Pure and Applied Algebra, Volume 229, Issue 12, December 2025, 108119 Victor Carmona 10.1016/j.jpaa.2025.108119 http://arxiv.org/abs/2510.25763v1 2025-10-29T17:56:44Z

We prove an induction theorem for the higher algebraic K-groups of group algebras $kG$ of finite groups $G$ over characteristic $p$ finite fields $k$. For a certain class of finite groups, which we call $p$-isolated, this reduces calculations to calculations for their $p$-subgroups. We do so by showing that the stable module categories of $kH$ as $H$ ranges over subgroups of $G$ assemble into a categorical Green functor, which results in a spectral Green functor structure on K-theory. By general induction theory, this reduces proving a spectrum-level induction statement to proving an induction statement on $π_0$ Green functors, which we accomplish using modular representation theory. For $p$-isolated groups with Sylow $p$-subgroups of order $p$, we produce explicit new calculations of K-groups.

2025-10-29T17:56:44Z 30 pages. Comments welcome! Chase Vogeli http://arxiv.org/abs/2407.13357v2 2025-10-29T08:49:38Z

Algebra objects in $\infty$-categories of spans admit a description in terms of $2$-Segal objects. We introduce a notion of span between $2$-Segal objects and extend this correspondence to an equivalence of $\infty$-categories. Additionally, for every $\infty$-category with finite limits $\mathcal{C}$, we introduce a notion of a birelative $2$-Segal object in $\mathcal{C}$ and establish a similar equivalence with the $\infty$-category of bimodule objects in spans. Examples of these concepts arise from algebraic and hermitian K-theory through the corresponding Waldhausen $S_{\bullet}$-construction. Apart from their categorical relevance, these concepts can be used to construct homotopy coherent representations of Hall algebras.

2024-07-18T09:59:25Z 60 pages; Added a comparison to bicomodule configurations Jonte Gödicke http://arxiv.org/abs/2309.11463v3 2025-10-29T00:10:04Z

We determine the A(1)-homotopy of the topological cyclic homology of the connective real K-theory spectrum ko. The answer has an associated graded that is a free F_2[v_2^4]-module of rank 52, on explicit generators in stems -1 \le * \le 30. The calculation is achieved by using prismatic and syntomic cohomology of ko as introduced by Hahn-Raksit-Wilson, extending work of Bhatt-Morrow-Scholze from the case of classical commutative rings to E_\infty rings. A new feature in our case is that there are nonzero differentials in the motivic spectral sequence from syntomic cohomology to topological cyclic homology.

2023-09-20T17:00:13Z 60 pages, 13 figures, 1 table. Conjecture B from v1 is proved in v2, along with other improvements. A new Section 3 is added in v3 to provide further exposition, along with other improvements based on useful feedback from referees Gabriel Angelini-Knoll Christian Ausoni John Rognes http://arxiv.org/abs/2408.14716v2 2025-10-28T12:40:01Z

We prove a monoidal equivalence, called universal Koszul duality, between genuine equivariant K-motives on a Kac-Moody flag variety and constructible monodromic sheaves on its Langlands dual. The equivalence is obtained by a Soergel-theoretic description of both sides which extends results for finite-dimensional flag varieties by Taylor and the first author. Universal Koszul duality bundles together a whole family of equivalences for each point of a maximal torus. At the identity, it recovers an ungraded version of Beilinson-Ginzburg-Soergel's and Bezrukavnikov-Yun's Koszul duality for equivariant and unipotently monodromic sheaves. It also generalizes Soergel-theoretic descriptions for monodromic categories on finite-dimensional flag varieties by Lusztig-Yun, Gouttard and the second author. For affine Kac-Moody groups, our work sheds new light on the conjectured quantum Satake equivalences by Cautis-Kamnitzer and Gaitsgory. On our way, we establish foundations on six functors for reduced K-motives and introduce a formalism of constructible monodromic sheaves.

2024-08-27T00:49:38Z Jens Niklas Eberhardt Arnaud Eteve http://arxiv.org/abs/2510.24298v1 2025-10-28T11:00:51Z

We model equivariant infinite loop spaces indexed on incomplete universes via suitable equivariant analogs of $Γ$-spaces. The choice of universe dictates a transfer system which in turn dictates the Segal condition on equivariant $Γ$-spaces. Equivariant $Γ$-spaces themselves come in different but equivalent guises interpolating between categories $Γ$ as defined by Segal and $Γ_G$ as defined by Shimakawa. The main application is the construction of Segal $K$-theory of normed permutative categories.

2025-10-28T11:00:51Z Tjark Bantelmann http://arxiv.org/abs/2408.15627v2 2025-10-28T09:33:52Z

We apply our previous results on ``saturated descent'' to express a wide range of logarithmic cohomology theories in terms of the infinite root stack. Examples include the log cotangent complex, Rognes' log topological cyclic homology, and Nygaard-complete log prismatic cohomology. As applications, we show that the Nygaard-completion of the site-theoretic log prismatic cohomology coincides with the definition arising from log ${\rm TC}$, and we establish a log version of the ${\rm TC}$-variant of the Beilinson fiber square of Antieau--Mathew--Morrow--Nikolaus.

2024-08-28T08:26:32Z 22 pages. Final version, to appear in Transactions of the AMS Federico Binda Tommy Lundemo Alberto Merici Doosung Park http://arxiv.org/abs/2510.23547v1 2025-10-27T17:23:29Z

We show a variation of the usual homological freeness criterion for operadic modules over a Koszul operad. We then apply this result to decorated partition posets for some operads, showing that their augmentation is Cohen-Macaulay and computing its homology. This work answers several open questions asked by Bérénice Delcroix-Oger and Clément Dupont in a recent article.

2025-10-27T17:23:29Z 10 pages, comments are welcome Paul Laubie http://arxiv.org/abs/2507.04519v3 2025-10-26T19:34:59Z

We compute Schur multipliers of locally isotropic Steinberg groups and of all root graded Steinberg groups with root systems of rank at least $ 3 $ (excluding the types $ \mathsf H_3 $ and $ \mathsf H_4 $). As an application, we show that locally isotropic Steinberg groups are well defined as abstract groups.

2025-07-06T19:58:52Z Rewritten section 4.2 and added lemma 23 Egor Voronetsky http://arxiv.org/abs/2503.12190v2 2025-10-25T02:04:39Z

In this article, we explore the second integral homology, or Schur multiplier, of the special linear group ${\rm SL}_2(\mathbb{Z}[1/n])$ for a positive integer $n$. We definitively calculate the group structure of $H_2({\rm SL}_2(\mathbb{Z}[1/n]),\mathbb{Z})$ when $n$ is divisible by one of the primes $2$, $3$, $5$, $7$ or $13$. For a general $n > 1$, we offer a partial description by placing the homology group within an exact sequence, and we investigate its rank. Finally, we propose a conjectural structure for $H_2({\rm SL}_2(\mathbb{Z}[1/n]),\mathbb{Z})$ when $n$ is not divisible by any of those specific primes.

2025-03-15T16:18:37Z 31 pages Behrooz Mirzaii Bruno Reis Ramos Thiago Verissimo http://arxiv.org/abs/2312.00322v3 2025-10-24T11:56:23Z

Given a closed $n$-manifold, we consider the set of simple homotopy types of $n$-manifolds within its homotopy type, called its simple homotopy manifold set. We characterise it in terms of algebraic K-theory, the surgery obstruction map, and the homotopy automorphisms of the manifold. We use this to construct the first examples, for all $n \ge 4$ even, of closed $n$-manifolds that are homotopy equivalent but not simple homotopy equivalent. In fact, we construct infinite families of manifolds that are all homotopy equivalent but pairwise not simple homotopy equivalent, and our examples can be taken to be smooth for $n \geq 6$. Our examples are homotopy equivalent to the product of a circle and a lens space. We analyse the simple homotopy manifold sets of these manifolds, determining exactly when they are trivial, finite, or infinite, and investigating their asymptotic behaviour. The proofs involve integral representation theory and class numbers of cyclotomic fields. We also compare with the relation of $h$-cobordism, and produce similar detailed quantitative descriptions of the manifold sets that arise.

2023-12-01T03:36:06Z 55 pages. v3. Revised following referee reports: added a new section on Milnor's definition of Whitehead torsion (Section 2.6), shortened the proof that homotopy automorphisms of S^1 x L are simple (Section 6), and made minor edits throughout to improve readability Csaba Nagy John Nicholson Mark Powell