Homologically finite-dimensional objects in triangulated categories

2024-11-29T09:43:35Z

In this paper we investigate homologically finite-dimensional objects in the derived category of a given small dg-enhanced triangulated category. Using these we define reflexivity, hfd-closedness, and the Gorenstein property for triangulated categories, and discuss crepant categorical contractions. We illustrate the introduced notions on examples of categories of geometric and algebraic origin and provide geometric applications. In particular, we apply our results to prove a bijection between semiorthogonal decompositions of the derived category of a singular variety and the derived category of its smoothing with support on the central fiber.

An adjunction theorem for Davydov-Yetter cohomology and infinitesimal braidings

2024-11-28T12:58:12Z

Davydov-Yetter cohomology $H_{\mathrm{DY}}^{\bullet}(F)$ is associated to a monoidal functor $F: \mathcal{C} \to \mathcal{D}$ between $\Bbbk$-linear monoidal categories where $\Bbbk$ is a field, and its second degree classifies the infinitesimal deformations of the monoidal structure of $F$. Our main result states that if $F$ admits a right adjoint $R$, then there is an object $Γ$ in the Drinfeld center $\mathcal{Z}(\mathcal{C})$ defined in terms of $R$ such that the Davydov-Yetter cohomology of $F$ can be expressed as the Davydov-Yetter cohomology of the identity functor on $\mathcal{C}$ with the coefficient $Γ$. We apply this result in the case when the product functor $\otimes: \mathcal{C} \boxtimes\mathcal{C} \to\mathcal{C}$ has a monoidal structure given by a braiding $c$ on $\mathcal{C}$ and determine explicitly the coefficient $Γ$ as a coend object in $\mathcal{Z}(\mathcal{C}) \boxtimes \mathcal{Z}(\mathcal{C})$. The motivation is that $H^{\bullet}_{\mathrm{DY}}(\otimes)$ contains a ``space of infinitesimal braidings tangent to $c$'' in a way that we describe precisely. For $\mathcal{C} = H\text{-}\mathrm{mod}$, where $H$ is a finite-dimensional Hopf algebra over a field $\Bbbk$, this is the Zariski tangent space to the affine variety of R-matrices for $H$. In the case of perfect $\Bbbk$, we give a dimension formula for this space as an explicit end involving only (low-degree) relative Ext's of the standard adjunction between $\mathcal{Z}(\mathcal{C})$ and $\mathcal{C}$. As a further application of the adjunction theorem, we describe deformations of the restriction functor associated to a Hopf subalgebra and a Drinfeld twist. Both applications are illustrated in the example of bosonization of exterior algebras.

Descent and cyclotomic redshift for chromatically localized algebraic K-theory

2024-11-26T14:09:32Z

We prove that $T(n+1)$-localized algebraic $K$-theory satisfies descent for $π$-finite $p$-group actions on stable $\infty$-categories of chromatic height up to $n$, extending a result of Clausen-Mathew-Naumann-Noel for finite $p$-groups. Using this, we show that it sends $T(n)$-local Galois extensions to $T(n+1)$-local Galois extensions. Furthermore, we show that it sends cyclotomic extensions of height $n$ to cyclotomic extensions of height $n+1$, extending a result of Bhatt-Clausen-Mathew for $n=0$. As a consequence, we deduce that $K(n+1)$-localized $K$-theory satisfies hyperdescent along the cyclotomic tower of any $T(n)$-local ring. Counterexamples to such cyclotomic hyperdescent for $T(n+1)$-localized $K$-theory were constructed by Burklund, Hahn, Levy and the third author, thereby disproving the telescope conjecture.

Chevalley groups over Laurent polynomial rings

2024-11-26T10:53:39Z

Let $G$ be a simply connected Chevalley--Demazure group scheme without $SL_2$-factors. For any unital commutative ring $R$, we denote by $E(R)$ the standard elementary subgroup of $G(R)$, that is, the subgroup generated by the elementary root unipotent elements. We prove that the map $$ G(R[x_1^{\pm 1},\ldots,x_n^{\pm 1}])/E(R[x_1^{\pm 1},\ldots,x_n^{\pm 1}])\to G\bigl(R((x_1))\ldots((x_n))\bigr)/E\bigl(R((x_1))\ldots((x_n))\bigr) $$ is injective for any $n\ge 1$, if $R$ is either a Dedekind domain or a Noetherian ring that is geometrically regular over a Dedekind domain with perfect residue fields. For $n=1$ this map is also an isomorphism. As a consequence, we show that if $D$ is a PID such that $SL_2(D)=E_2(D)$ (e.g. $D=\mathbb{Z}$), then $G(D[x_1^{\pm 1},\ldots,x_n^{\pm 1}])=E(D[x_1^{\pm 1},\ldots,x_n^{\pm 1}])$. This extends earlier results for special linear and symplectic groups due to A. A. Suslin and V. I. Kopeiko.

Ample groupoids, topological full groups, algebraic K-theory spectra and infinite loop spaces

2024-11-25T17:12:23Z

Inspired by work of Szymik and Wahl on the homology of Higman-Thompson groups, we establish a general connection between ample groupoids, topological full groups, algebraic K-theory spectra and infinite loop spaces, based on the construction of small permutative categories of compact open bisections. This allows us to analyse homological invariants of topological full groups in terms of homology for ample groupoids. Applications include complete rational computations, general vanishing and acyclicity results for group homology of topological full groups as well as a proof of Matui's AH-conjecture for all minimal, ample groupoids with comparison.

A Serre-type spectral sequence for motivic cohomology

2024-11-25T16:05:50Z

In this paper, we construct and study a Serre-type spectral sequence for motivic cohomology associated to a map of bisimplicial schemes with motivically cellular fiber. Then, we show how to apply it in order to approach the computation of the motivic cohomology of the Nisnevich classifying space of projective general linear groups. This naturally yields an explicit description of the motive of a Severi-Brauer variety in terms of twisted motives of its Čech simplicial scheme.

Motivic cohomology of the Nisnevich classifying space of even Clifford groups

2024-11-25T16:01:54Z

In this paper, we consider the split even Clifford group $Γ^+_n$ and compute the mod 2 motivic cohomology ring of its Nisnevich classifying space. The description we obtain is quite similar to the one provided for spin groups in [11]. The fundamental difference resides in the behaviour of the second subtle Stiefel-Whitney class that is non-trivial for even Clifford groups, while it vanished in the spin-case.

Deformations of triangulated categories with t-structures via derived injectives

2024-11-22T22:08:22Z

This paper provides the final ingredient in the development of the deformation theory of pretriangulated dg-categories endowed with a nice t-structure, which was initiated by the authors and is modeled after the previously developed deformation theory of abelian categories. We show how to extend a t-structure on a pretriangulated dg-category to its dg-derived category so that the Yoneda embedding becomes t-exact. We construct several equivalences between deformation problems; in particular, we prove a deformation equivalence between the bounded t-deformations of a bounded t-dg-category on the one hand, and dg-deformations of the dg-category of derived injective ind-dg-objects on the other hand. Since this latter dg-category is cohomologically concentrated in nonpositive degrees, we do not encounter curvature.

Locally isotropic Steinberg groups I. Centrality of the $\mathrm K_2$-functor

2024-11-22T22:07:52Z

We begin to study Steinberg groups associated with a locally isotropic reductive group $G$ over a arbitrary ring. We propose a construction of such a Steinberg group functor as a group object in a certain completion of the category of presheaves. We also show that it is a crossed module over $G$ in a unique way, in particular, that the $\mathrm K_2$-functor is central. If $G$ is globally isotropic in a suitable sense, then the Steinberg group functor exists as an ordinary group-valued functor and all such abstract Steinberg groups are crossed modules over the groups of points of $G$.

Perfect complexes and completion

2024-11-22T06:48:41Z

Let $\hat{R}$ be the $I$-adic completion of a commutative ring $R$ with respect to a finitely generated ideal $I$. We give a necessary and sufficient criterion for the category of perfect complexes over $\hat{R}$ to be equivalent to the subcategory of dualizable objects in the derived category of $I$-complete complexes of $R$-modules. Our criterion is always satisfied when $R$ is noetherian. When specialized to $R$ local and noetherian and to $I$ the maximal ideal, our theorem recovers a recent result of Benson, Iyengar, Krause and Pevtsova.

Volume preservation of Butcher series methods from the operad viewpoint

2024-11-21T14:05:40Z

We study a coloured operad involving rooted trees and directed cycles of rooted trees that generalizes the operad of rooted trees of Chapoton and Livernet. We describe all the relations between the generators of a certain suboperad of that operad, and compute the Chevalley-Eilenberg homology of two naturally arising differential graded Lie algebras. This allows us to give short and conceptual new proofs of two important results on Butcher series methods of numerical solution of ODEs: absence of volume-preserving integration schemes and the acyclicity of the aromatic bicomplex, the key step in a complete classification of volume-preserving integration schemes using the so called aromatic Butcher series.

Gorenstein cohomological dimension and stable categories for groups

2024-11-20T05:04:32Z

First we study the Gorenstein cohomological dimension ${\rm Gcd}_RG$ of groups $G$ over coefficient rings $R$, under changes of groups and rings; a characterization for finiteness of ${\rm Gcd}_RG$ is given. Some results in literature obtained over the coefficient ring $\mathbb{Z}$ or rings of finite global dimension are generalized to more general cases. Moreover, we establish a model structure on the weakly idempotent complete exact category $\mathcal{F}ib$ consisting of fibrant $RG$-modules, and show that the homotopy category $\mathrm{Ho}(\mathcal{F}ib)$ is triangle equivalent to both the stable category $\underline{\mathcal{C}of}(RG)$ of Benson's cofibrant modules, and the stable module category ${\rm StMod}(RG)$. The relation between cofibrant modules and Gorenstein projective modules is discussed, and we show that under some conditions such that ${\rm Gcd}_RG<\infty$, ${\rm Ho}(\mathcal{F}ib)$ is equivalent to the stable category of Gorenstein projective $RG$-modules, the singularity category, and the homotopy category of totally acyclic complexes of projective $RG$-modules.

Synchronizing Dynamical Systems: Shift Spaces and $K$-Theory

2024-11-19T18:18:13Z

Building on our previous work, we give a thorough presentation of the techniques developed for synchronizing dynamical systems in the special case of synchronizing shift spaces. Following work of Thomsen, we give a construction of the homoclinic, the heteroclinic, and synchronizing heteroclinic $C^\ast$-algebras along with the synchronizing ideal of a shift space in terms of Bratteli diagrams. The algebras introduced in our previous work (the synchronizing ideal, and synchronizing heteroclinic algebra) are discussed in detail. In the sofic shift case, these algebras are shown to be related to the $C^\ast$-algebras of its minimal left and minimal right presentations. Several specific examples are discussed to demonstrate these techniques. For the even shift we give a complete computation of all the associated invariants. We discuss these algebras for a sofic shift that is not of almost finite type and for a number of strictly non-sofic synchronizing shifts. In particular we discuss the rank of the $K$-theory of the homoclinic algebra of a shift space and its synchronizing ideal and its implications. We also give a construction for producing from any minimal shift a synchronizing shift whose set of non-synchronizing points is exactly the original minimal shift.

On the cohomology of Lie algebras associated with graphs

2024-11-19T18:06:55Z

We describe a canonical decomposition of the cohomology of the Dani-Mainkar metabelian Lie algebras associated with graphs. As applications, we obtain explicit formulas for the third cohomology of any Dani-Mainkar Lie algebra and for the cohomology in all degrees of Lie algebras associated with arbitrary star graphs. We also describe a procedure to reduce the calculation of the cohomology of solvable Lie algebras associated with graphs through the Grantcharov-Grantcharov-Iliev construction to the cohomology of Dani-Mainkar Lie algebras.

C*-framework for higher-order bulk-boundary correspondences

2024-11-18T15:12:20Z

A typical crystal is a finite piece of a material which may be invariant under some point symmetry group. If it is a so-called intrinsic higher-order topological insulator or superconductor, then it displays boundary modes at hinges or corners protected by the crystalline symmetry and the bulk topology. We explain the mechanism behind such phenomena using operator K-theory. Specifically, we derive a groupoid C*-algebra that 1) encodes the dynamics of the electrons in the infinite size limit of a crystal; 2) remembers the boundary conditions at the crystal's boundaries, and 3) admits a natural action by the point symmetries of the atomic lattice. The filtrations of the groupoid's unit space by closed subsets that are invariant under the groupoid and point group actions supply equivariant cofiltrations of the groupoid C*-algebra. We show that specific derivations of the induced spectral sequences in twisted equivariant K-theories enumerate all non-trivial higher-order bulk-boundary correspondences.