In this article a condition is given to detect the containment among thick subcategories of the bounded derived category of a commutative noetherian ring. More precisely, for a commutative noetherian ring
Let
- NSF-PAR ID:
- 10506375
- Editor(s):
- Dan Abramovich
- Publisher / Repository:
- Amer. Math. Soc.
- Date Published:
- Journal Name:
- Transactions of the American Mathematical Society
- ISSN:
- 0002-9947
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
and complexes of -modules with finitely generated homology and , we show is in the thick subcategory generated by if and only if the ghost index of with respect to is finite for each prime of . To do so, we establish a “converse coghost lemma” for the bounded derived category of a non-negatively graded DG algebra with noetherian homology. -
Let
be a standard graded algebra over a field. We investigate how the singularities of or affect the -vector of , which is the coefficient of the numerator of its Hilbert series. The most concrete consequence of our work asserts that if satisfies Serre’s condition and has reasonable singularities (Du Bois on the punctured spectrum or -pure), then , …, . Furthermore the multiplicity of is at least . We also prove that equality in many cases forces to be Cohen-Macaulay. The main technical tools are sharp bounds on regularity of certain modules, which can be viewed as Kodaira-type vanishing statements for Du Bois and -pure singularities. Many corollaries are deduced, for instance that nice singularities of small codimension must be Cohen-Macaulay. Our results build on and extend previous work by de Fernex-Ein, Eisenbud-Goto, Huneke-Smith, Murai-Terai and others. -
Over a local ring
, the theory of cohomological support varieties attaches to any bounded complex of finitely generated -modules an algebraic variety that encodes homological properties of . We give lower bounds for the dimension of in terms of classical invariants of . In particular, when is Cohen–Macaulay and not complete intersection we find that there are always varieties that cannot be realized as the cohomological support of any complex. When has finite projective dimension, we also give an upper bound for in terms of the dimension of the radical of the homotopy Lie algebra of . This leads to an improvement of a bound due to Avramov, Buchweitz, Iyengar, and Miller on the Loewy lengths of finite free complexes, and it recovers a result of Avramov and Halperin on the homotopy Lie algebra of . Finally, we completely classify the varieties that can occur as the cohomological support of a complex over a Golod ring. -
Let
be a smooth Riemannian manifold, a smooth closed oriented submanifold of codimension higher than and an integral area-minimizing current in which bounds . We prove that the set of regular points of at the boundary is dense in . Prior to our theorem the existence of any regular point was not known, except for some special choice of and . As a corollary of our theorem we answer to a question in Almgren’s
Almgren’s big regularity paper from 2000 showing that, ifis connected, then has at least one point of multiplicity , namely there is a neighborhood of the point where is a classical submanifold with boundary ; we generalize Almgren’s connectivity theorem showing that the support of
is always connected if is connected; we conclude a structural result on
when consists of more than one connected component, generalizing a previous theorem proved by Hardt and Simon in 1979 when and is -dimensional. -
For a finite dimensional vector space
of dimension , we consider the incidence correspondence (or partial flag variety) , parametrizing pairs consisting of a point and a hyperplane containing it. We completely characterize the vanishing and non-vanishing behavior of the cohomology groups of line bundles on in characteristic . If then is the full flag variety of , and the characterization is contained in the thesis of Griffith from the 70s. In characteristic , the cohomology groups are described for all by the Borel–Weil–Bott theorem. Our strategy is to recast the problem in terms of computing cohomology of (twists of) divided powers of the cotangent sheaf on projective space, which we then study using natural truncations induced by Frobenius, along with careful estimates of Castelnuovo–Mumford regularity. When , we recover the recursive description of characters from recent work of Linyuan Liu, while for general we give character formulas for the cohomology of a restricted collection of line bundles. Our results suggest truncated Schur functions as the natural building blocks for the cohomology characters.