https://arxiv.org/api/UABbqdbLhJuRF+5RjE0ZBEzhmc8 2026-04-13T00:42:17Z 6535 945 15 http://arxiv.org/abs/2311.10576v5 2024-06-24T13:38:16Z

Quillen's Resolution Theorem in algebraic $K$-theory provides a powerful computational tool for calculating $K$-groups of exact categories. At the level of $K_0$, this result goes back to Grothendieck. In this article, we first establish an extriangulated version of Grothendieck's Resolution Theorem. Second, we use this Extriangulated Resolution Theorem to gain new insight into the index theory of triangulated categories. Indeed, we propose an index with respect to an extension-closed subcategory $\mathscr{N}$ of a triangulated category $\mathscr{C}$ and we prove an additivity formula with error term. Our index recovers the index with respect to a contravariantly finite, rigid subcategory $\mathscr{X}$ defined by Jørgensen and the second author, as well as an isomorphism between $K_0^{\mathsf{sp}}(\mathscr{X})$ and the Grothendieck group of a relative extriangulated structure $\mathscr{C}_{R}^{\mathscr{X}}$ on $\mathscr{C}$ when $\mathscr{X}$ is $n$-cluster tilting. In addition, we generalize and enhance some results of Fedele. Our perspective allows us to remove certain restrictions and simplify some arguments. Third, as another application of our Extriangulated Resolution Theorem, we show that if $\mathscr{X}$ is $n$-cluster tilting in an abelian category, then the index introduced by Reid gives an isomorphism $K_0(\mathscr{C}_R^{\mathscr{X}}) \cong K_0^{\mathsf{sp}}(\mathscr{X})$.

2023-11-17T15:25:20Z v4: 27 pages; added Lemma 3.7 and some discussion before it J. Algebra 658:450-485 (2024) Yasuaki Ogawa Amit Shah 10.1016/j.jalgebra.2024.05.041 http://arxiv.org/abs/2406.14687v1 2024-06-20T19:22:25Z

A paper by Haynes Miller shows that there is a filtration on the unitary groups that splits in the stable homotopy category, where the stable summands are certain Thom spaces over Grassmannians. We give an algebraic version of this result in the context of Voevodsky's tensor triangulated category of stable motivic complexes $\textbf{DM}(k,R)$, where $k$ is a field. Specifically, we show that there are algebraic analogs of the Thom spaces appearing in Miller's splitting that give rise to an analogous splitting of the motive $M(\textrm{GL}_n)$ in $\textbf{DM}(k,R)$, where $\textrm{GL}_n$ is the general linear group scheme over $k$.

2024-06-20T19:22:25Z 29 pages, 1 figure W. Sebastian Gant http://arxiv.org/abs/2406.13088v1 2024-06-18T22:37:26Z

We classify the localizing tensor ideals of the derived categories of mixed Tate motives over certain algebraically closed fields. More precisely, we prove that these categories are stratified in the sense of Barthel, Heard and Sanders. A key ingredient in the proof is the development of a new technique for transporting stratification between categories by means of Brown--Adams representability, which may be of independent interest.

2024-06-18T22:37:26Z David Rubinstein http://arxiv.org/abs/2402.08074v3 2024-06-18T20:29:35Z

In this article we study the low dimensional homology groups of the special linear group $\textrm{SL}_2(A)$ and the projective special linear group $\textrm{PSL}_2(A)$, $A$ a domain, through the natural surjective map $\textrm{SL}_2(A) \to \textrm{PSL}_2(A)$. In particular, we study the connection of the first, the second and the third homology groups of these groups over euclidean domains $\mathbb{Z}[\frac{1}{m}]$, $m$ a square free integer, and local domains.

2024-02-12T21:37:27Z Behrooz Mirzaii Elvis Torres Pérez http://arxiv.org/abs/2308.12667v2 2024-06-17T15:17:57Z

Let $(X,γ)$ be a compact, irreducible Hermitian complex space of complex dimension $m$ and with $\mathrm{dim}(\mathrm{sing}(X))=0$. Let $(F,τ)\rightarrow X$ be a Hermitian holomorphic vector bundle over $X$ and let us denote with $\overlineð_{F,m,\mathrm{abs}}$ the rolled-up operator of the maximal $L^2$-$\overline{\partial}$ complex of $F$-valued $(m,\bullet)$-forms. Let $π:M\rightarrow X$ be a resolution of singularities, $g$ a metric on $M$, $E:=π^*F$ and $ρ:=π^*τ$. In this paper, under quite general assumptions on $τ$, we prove the following equality of analytic $K$-homology classes $[\overlineð_{F,m,\mathrm{abs}}]=π_*[\overlineð_{E,m}]$, with $\overlineð_{E,m}$ the rolled-up operator of the $L^2$-$\overline{\partial}$ complex of $E$-valued $(m,\bullet)$-forms on $M$. Our proof is based on functional analytic techniques developed in \cite{KuSh} and provides an explicit homotopy between the even unbounded Fredholm modules induced by $\overlineð_{F,m,\mathrm{abs}}$ and $\overlineð_{E,m}$.

2023-08-24T09:19:30Z Final version. To appear on J. Noncommut. Geom Francesco Bei http://arxiv.org/abs/2406.11526v1 2024-06-17T13:28:56Z

Strongly (respectively strictly) A1-invariant sheaves are foundational for motivic homotopy theory over fields. They are sheaves of (abelian) groups on the Nisnevich site of smooth varieties over a field k, with the property that their zeroth and first Nisnevich cohomology sets (respectively all Nisnevich cohomology groups) are invariant under replacing a variety X by the affine line over X. A celebrated theorem of Fabien Morel states that if the base field k is perfect, then any strongly A1-invariant sheaf of abelian groups is automatically strictly A1-invariant. The aim of these lecture notes is twofold: (1) provide a complete proof if this result, and (2) outline some of its applications.

2024-06-17T13:28:56Z 38 pages. Comments welcome! Tom Bachmann http://arxiv.org/abs/2406.11226v1 2024-06-17T05:44:21Z

For an exact dg category $\mathcal A$, we introduce its bounded dg derived category $\mathcal{D}^b_{dg}(\mathcal A)$ and establish the universal exact morphism from $\mathcal A$ to $\mathcal{D}^b_{dg}(\mathcal A)$. We prove that the dg quotient of an exact dg category by a subcategory of projective-injectives carries a canonical exact structure. We show that exact dg categories reproduce under tensor products and functor dg categories. We apply our results to 0-Auslander extriangulated categories and confirm a conjecture by Fang-Gorsky-Palu-Plamondon-Pressland for the algebraic case.

2024-06-17T05:44:21Z This paper is a revised and augmented version of the second part of the author's Ph.D thesis arXiv:2306.08231; 45 pages; comments are very welcome Xiaofa Chen http://arxiv.org/abs/2403.19974v2 2024-06-14T02:39:47Z

Our investigation focuses on an additive analogue of the Bloch-Gabber-Kato theorem which establishes a relation between the Milnor $K$-group of a field of positive characteristic and a Galois cohomology group of the field. Extending the Aritin-Schreier-Witt theory, we present an isomorphism from the Mackey product associated with the Witt group and the multiplicative groups to a Galois cohomology group. As a result, we give an expression for the torsion subgroup of the Brauer group of a field, and more generally, the Kato homology groups.

2024-03-29T04:53:54Z Ann. K-Th. 9 (2024) 499-518 Toshiro Hiranouchi 10.2140/akt.2024.9.499 http://arxiv.org/abs/2406.08260v1 2024-06-12T14:30:08Z

We characterize the regularity of an FI-module using the derivative functors.

2024-06-12T14:30:08Z 10 pages Cihan Bahran http://arxiv.org/abs/2108.13084v4 2024-06-12T10:29:20Z

By making use of Halperin's local systems over simplicial sets and the model structure of the category of diffeological spaces due to Kihara, we introduce a framework of rational homotopy theory for such smooth spaces with arbitrary fundamental groups. As a consequence, we have an equivalence between the homotopy categories of fibrewise rational diffeological spaces and an algebraic category of minimal local systems elaborated by Gómez-Tato, Halperin and Tanré. In the latter half of this article, a spectral sequence converging to the singular de Rham cohomology of a diffeological adjunction space is constructed with the pullback of relevant local systems. In case of a stratifold obtained by attaching manifolds, the spectral sequence converges to the Souriau--de Rham cohomology algebra of the diffeological space. By using the pullback construction, we also discuss a local system model for a topological homotopy pushout.

2021-08-30T09:40:11Z 44 pages Katsuhiko Kuribayashi http://arxiv.org/abs/2005.01664v2 2024-06-11T17:33:23Z

In previous work, we related homotopy types of finite $(G,n)$-complexes when $G$ has periodic cohomology to projective $\mathbb{Z} G$-modules representing the Swan finiteness obstruction. We use this to determine when $X \vee S^n \simeq Y \vee S^n$ implies $X \simeq Y$ for finite $(G,n)$-complexes $X$ and $Y$, and give lower bounds on the number of homotopically distinct pairs when this fails. The proof involves constructing projective $\mathbb{Z} G$-modules as lifts of locally free modules over orders in products of quaternion algebras, whose existence follows from the Eichler mass formula. In the case $n=2$, difficulties arise which lead to a new approach to finding a counterexample to Wall's D2 problem.

2020-05-04T17:16:19Z 30 pages. Minor corrections made throughout. Further discussion on potential applications to Wall's D2 problem and the classification of 4-manifolds added. Final version, to appear in International Mathematical Research Notices John Nicholson http://arxiv.org/abs/2406.07033v1 2024-06-11T07:47:28Z

We study the index theory of curved Bernstein-Gelfand-Gelfand (BGG) sequences in parabolic geometry and their role in $K$-homology and noncommutative geometry. The BGG-sequences fit into $K$-homology, and we solve their index problem. We provide a condition for when the BGG-complex on the flat parabolic geometry $G/P$ of a semisimple Lie group $G$ fits into $G$-equivariant $K$-homology by means of Heisenberg calculus. For higher rank Lie groups, we prove a no-go theorem showing that the approach fails.

2024-06-11T07:47:28Z 33 pages Magnus Goffeng http://arxiv.org/abs/2406.06710v1 2024-06-10T18:17:40Z

We dualise the classical fact that an operad with multiplication leads to cohomology groups which form a Gerstenhaber algebra to the context of cooperads: as a result, a cooperad with comultiplication induces a homology theory that is endowed with the structure of a Gerstenhaber coalgebra, that is, it comes with a graded cocommutative coproduct which is compatible with a coantisymmetric cobracket in a dual Leibniz sense. As an application, one obtains Gerstenhaber coalgebra structures on Tor groups over bialgebras or Hopf algebras, as well as on Hochschild homology for Frobenius algebras.

2024-06-10T18:17:40Z 37 pages, 8 figures Niels Kowalzig Francesca Pratali http://arxiv.org/abs/2406.05562v1 2024-06-08T19:51:18Z

Let $X$ be an affine, simplicial toric variety over a field. Let $G_0$ denote the Grothendieck group of coherent sheaves on a Noetherian scheme and let $F^1G_0$ denote the first step of the filtration on $G_0$ by codimension of support. Then $G_0(X)\cong\mathbb{Z}\oplus F^1G_0(X)$ and $F^1G_0(X)$ is a finite abelian group. In dimension 2, we show that $F^1G_0(X)$ is a finite cyclic group and determine its order. In dimension 3, $F^1G_0(X)$ is determined up to a group extension of the Chow group $A^1(X)$ by the Chow group $A^2(X)$. We determine the order of the Chow group $A^1(X)$ in this case. A conjecture on the orders of $A^1(X)$ and $A^2(X)$ is formulated for all dimensions.

2024-06-08T19:51:18Z 10 pages Communications in Algebra 2025 Zeyu Shen 10.1080/00927872.2025.2459873 http://arxiv.org/abs/2210.01664v2 2024-06-07T17:16:09Z

A complex $C^\bullet(C,D)(F,G)(η, θ)$, generalising the Davydov-Yetter complex of a monoidal category, is constructed. Here $C,D$ are $\Bbbk$-linear (dg) monoidal categories, $F,G\colon C\to D$ are $\Bbbk$-linear (dg) strict monoidal functors, $η,θ\colon F\Rightarrow G$ are monoidal natural transformations. Morally, it is a complex of ``derived modifications'' $η\Rrightarrow θ$, likewise for the case of dg categories one has the complex of ``derived natural transformations'' $F\Rightarrow G$, given by the Hochschild cochain complex of $C$ with coefficients in $C$-bimodule $D(F-,G=)$. As well, an intrinsic homological algebra interpretation of $C^\bullet(C,D)(F,G)(η,θ)$ as $RHom$ in an abelian category of 2-bimodules over $C$, is provided. The complex $C^\bullet(C,D)(F,G)(η,θ)$ naturally arises from a 2-cocellular dg vector space $A(C,D)(F,G)(η,θ)\colon Θ_2\to C^\bullet(\Bbbk)$, as its $Θ_2$-totalization (here $Θ_2$ is the category dual to the category of Joyal 2-disks). It is shown that $H^3(C^\bullet(C,C)(\mathrm{Id},\mathrm{Id})(\mathrm{id},\mathrm{id})))$ is isomorphic to the vector space of the outer infinitesimal deformations of the $\Bbbk$-linear monoidal category which we call {\it full} deformations. It means that the following data is to be deformed: (a) the underlying dg category structure, (b) the monoidal product on morphisms (the monoidal product on objects is a set-theoretical datum and is maintained under the deformation), (c) the associator. It is shown that $C^\bullet(C,D)(F,F)(\mathrm{id},\mathrm{id})$ is a homotopy $e_2$-algebra. Conjecturally, $C^\bullet(C,C)(\mathrm{Id},\mathrm{Id})(\mathrm{id},\mathrm{id})$ is a homotopy $e_3$-algebra; however the proof requires more sophisticated methods and we hope to complete it in our next paper.

2022-10-04T15:03:51Z v2, essentially improved and corrected, 69 pages Piergiorgio Panero Boris Shoikhet