arXiv subjects
Publications and source records attributed to Janina C. Letz.
For an exact category we provide two constructions of an ambient category in which the initial category is resolving: In the derived category and in the Gabriel--Quillen embedding. For the first construction we describe a pre-aisle and its right orthogonal using different acyclicty conditions. We provide necessary and sufficient conditions when this pair is a t-structure.
We show that, for a specific grading, the stable categories of graded maximal Cohen-Macaulay modules over hypersurfaces of type $A_\infty$ and $D_\infty$ are equivalent.
In this article we prove various results about transferring or lifting $\mathrm{A}_\infty$-algebra structures along quasi-isomorphisms over a commutative ring.
This paper systematically develops a notion of regular sequences in the context of $R$-linear triangulated categories for a graded-commutative ring $R$. The notion has equivalent characterizations involving Koszul objects and local cohomology. The main examples are in the context of the Hochschild cohomology ring or the group cohomology ring acting on derived or stable categories. As applications, lengths of regular sequences provide lower bounds for level and Rouquier dimension.
We show that the Rouquier dimension of the category of perfect complexes over a regular ring is precisely the Krull dimension of the ring. Previously, it was known that the Krull dimension is an upper bound, the lower bound however was not known in general. In particular, for regular local rings this result is new. More generally, we show that a lower bound of the Rouquier dimension is given by the maximal length of a regular sequence.
Let $\mathcal{T}$ be an algebraic triangulated category and $\mathcal{C}$ an extension-closed subcategory with $\operatorname{Hom}(\mathcal{C}, Σ^{<0} \mathcal{C})=0$. Then $\mathcal{C}$ has an exact structure induced from exact triangles in $\mathcal{T}$. Keller and Vossieck say that there exists a triangle functor $\operatorname{D}^b(\mathcal{C}) \to \mathcal{T}$ extending the inclusion $\mathcal{C} \subseteq \mathcal{T}$. We provide the missing details for a complete proof.
We define a local homomorphism $(Q,k)\to (R,\ell)$ to be Koszul if its derived fiber $R \otimes^{\mathsf{L}}_Q k$ is formal, and if $\operatorname{Tor}^Q(R,k)$ is Koszul in the classical sense. This recovers the classical definition when $Q$ is a field, and more generally includes all flat deformations of Koszul algebras. The non-flat case is significantly more interesting, and there is no need for examples to be quadratic: all complete intersection and all Golod quotients are Koszul homomorphisms. We show that the class of Koszul homomorphisms enjoys excellent homological properties, and we give many more examples, especially various monomial and Gorenstein examples. We then study Koszul homomorphisms from the perspective of $\mathrm{A}_\infty$-structures on resolutions. We use this machinery to construct universal free resolutions of $R$-modules by generalizing a classical construction of Priddy. The resulting (infinite) free resolution of an $R$-module $M$ is often minimal, and can be described by a finite amount of data whenever $M$ and $R$ have finite projective dimension over $Q$. Our construction simultaneously recovers the resolutions of Shamash and Eisenbud over a complete intersection ring, and the bar resolutions of Iyengar and Burke over a Golod ring, and produces analogous resolutions for various other classes of local rings.
A tensor extriangulated category is an extriangulated category with a symmetric monoidal structure that is compatible with the extriangulated structure. To this end we define a notion of a biextriangulated functor $\mathcal{A} \times \mathcal{B} \to \mathcal{C}$, with compatibility conditions between the components. We have two versions of compatibility conditions, the stronger depending on the higher extensions of the extriangulated categories. We give many examples of tensor extriangulated categories. Finally, we generalise Balmer's classification of thick tensor ideals to tensor extriangulated categories.
This paper concerns the generation time that measures the number of cones necessary to obtain an object in a triangulated category from another object. This invariant is called level. We establish level inequalities for enhanced triangulated categories: One inequality concerns biexact functors of topological triangulated categories, another Koszul objects. In particular, this extends inequalities for the derived tensor product from commutative algebra to enhanced tensor triangulated categories. We include many examples.
We give an explicit description of a diagonal map on the Bardzell resolution for any monomial algebra, and we use this diagonal map to describe the cup product on Hochschild cohomology. Then, we prove that the cup product is zero in positive degrees for triangular monomial algebras. Our proof uses the graded-commutativity of the cup product on Hochschild cohomology and does not rely on explicit computation of the Hochschild cohomology modules.
In this paper we give necessary and sufficient conditions for a functor to be representable in a strongly generated triangulated category which has a linear action by a graded ring, and we discuss some applications and examples.
For a tensor triangulated category and any regular cardinal $α$ we study the frame of $α$-localizing tensor ideals and its associated space of points. For a well-generated category and its frame of localizing tensor ideals we provide conditions such that the associated space is obtained by refining the topology of the corresponding space for the triangulated subcategory of $α$-compact objects. This is illustrated by several known examples for $α=\aleph_0$, and new spaces arise for $α>\aleph_0$.
This work concerns surjective maps $φ\colon R\to S$ of commutative noetherian local rings with kernel generated by a regular sequence that is part of a minimal generating set for the maximal ideal of $R$. The main result provides criteria for detecting such exceptional complete intersection maps in terms of the lattices of thick subcategories of the derived category of complexes of finite length homology. A key input is a characterization of such maps in terms of the truncated Atiyah class of $φ$.
It is proved that a map $φ\colon R\to S$ of commutative noetherian rings that is essentially of finite type and flat is locally complete intersection if and only $S$ is proxy small as a bimodule. This means that the thick subcategory generated by $S$ as a module over the enveloping algebra $S\otimes_RS$ contains a perfect complex supported fully on the diagonal ideal. This is in the spirit of the classical result that $φ$ is smooth if and only if $S$ is small as a bimodule, that is to say, it is itself equivalent to a perfect complex. The geometric analogue, dealing with maps between schemes, is also established. Applications include simpler proofs of factorization theorems for locally complete intersection maps.
In the derived category of modules over a commutative noetherian ring a complex $G$ is said to generate a complex $X$ if the latter can be obtained from the former by taking summands and finitely many cones. The number of cones required in this process is the generation time of $X$. In this paper we present some local to global type results for computing this invariant, and discuss applications.