اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدStabilization of the cohomology of thickenings
66
0
0.0
(
0
)
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
For a local complete intersection subvariety $X=V({mathcal I})$ in ${mathbb P}^n$ over a field of characteristic zero, we show that, in cohomological degrees smaller than the codimension of the singular locus of $X$, the cohomology of vector bundles on the formal completion of ${mathbb P}^n$ along $X$ can be effectively computed as the cohomology on any sufficiently high thickening $X_t=V({mathcal I^t})$; the main ingredient here is a positivity result for the normal bundle of $X$. Furthermore, we show that the Kodaira vanishing theorem holds for all thickenings $X_t$ in the same range of cohomological degrees; this extends the known version of Kodaira vanishing on $X$, and the main new ingredient is a version of the Kodaira-Akizuki-Nakano vanishing theorem for $X$, formulated in terms of the cotangent complex.
قيم البحث
اقرأ أيضاً
Let $X$ be a closed equidimensional local complete intersection subscheme of a smooth projective scheme $Y$ over a field, and let $X_t$ denote the $t$-th thickening of $X$ in $Y$. Fix an ample line bundle $mathcal{O}_Y(1)$ on $Y$. We prove the follow
ing asymptotic formulation of the Kodaira vanishing theorem: there exists an integer $c$, such that for all integers $t geqslant 1$, the cohomology group $H^k(X_t,mathcal{O}_{X_t}(j))$ vanishes for $k < dim X$ and $j < -ct$. Note that there are no restrictions on the characteristic of the field, or on the singular locus of $X$. We also construct examples illustrating that a linear bound is indeed the best possible, and that the constant $c$ is unbounded, even in a fixed dimension.
We study the coherent cohomology of generalized flag supervarieties. Our main observation is that these groups are closely related to the free resolutions of (certain generalizations of) determinantal ideals. In the case of super Grassmannians, we co
mpletely compute the cohomology of the structure sheaf: it is composed of the singular cohomology of a Grassmannian and the syzygies of a determinantal variety. The majority of the work involves studying the geometry of an analog of the Grothendieck-Springer resolution associated to the super Grassmannian; this takes place in the world of ordinary (non-super) algebraic geometry. Our work gives a conceptual explanation of the result of Pragacz-Weyman that the syzygies of determinantal ideals admit an action of the general linear supergroup. In a subsequent paper, we will treat other flag supervarieties in detail.
We consider a series of four subexceptional representations coming from the third line of the Freudenthal-Tits magic square; using Bourbaki notation, these are fundamental representations $(G,X)$ corresponding to $(C_3, omega_3),, (A_5, omega_3), , (
D_6, omega_5)$ and $(E_7, omega_6)$. In each of these four cases, the group $G=Gtimes mathbb{C}^*$ acts on $X$ with five orbits, and many invariants display a uniform behavior, e.g. dimension of orbits, their defining ideals and the character of their coordinate rings as $G$-modules. In this paper, we determine some more subtle invariants and analyze their uniformity within the series. We describe the category of $G$-equivariant coherent $mathcal{D}_X$-modules as the category of representations of a quiver with relations. We construct explicitly the simple $G$-equivariant $mathcal{D}_X$-modules and compute the characters of their underlying $G$-structures. We determine the local cohomology groups with supports given by orbit closures, determining their precise $mathcal{D}_X$-module structure. As a consequence, we calculate the intersection cohomology groups and Lyubeznik numbers of the orbit closures. While our results for the cases $(A_5, omega_3), , (D_6, omega_5)$ and $(E_7, omega_6)$ are still completely uniform, the case $(C_3, omega_3)$ displays a surprisingly different behavior. We give two explanations for this phenomenon: one topological, as the middle orbit of $(C_3, omega_3)$ is not simply-connected; one geometric, as the closure of the orbit is not Gorenstein.
Hessenberg varieties are subvarieties of the flag variety parametrized by a linear operator $X$ and a nondecreasing function $h$. The family of Hessenberg varieties for regular $X$ is particularly important: they are used in quantum cohomology, in co
mbinatorial and geometric representation theory, in Schubert calculus and affine Schubert calculus. We show that the classes of a regular Hessenberg variety in the cohomology and $K$-theory of the flag variety are given by making certain substitutions in the Schubert polynomial (respectively Grothendieck polynomial) for a permutation that depends only on $h$. Our formula and our methods are different from a recent result of Abe, Fujita, and Zeng that gives the class of a regular Hessenberg variety with more restrictions on $h$ than here.
In this paper we study the local cohomology modules of Du Bois singularities. Let $(R,m)$ be a local ring, we prove that if $R_{red}$ is Du Bois, then $H_m^i(R)to H_m^i(R_{red})$ is surjective for every $i$. We find many applications of this result.
For example we answer a question of Kovacs and the second author on the Cohen-Macaulay property of Du Bois singularities. We obtain results on the injectivity of $Ext$ that provide substantial partial answers of questions of Eisenbud-Mustata-Stillman in characteristic $0$, and these results can be viewed as generalizations of the Kodaira vanishing theorem for Cohen-Macaulay Du Bois varieties. We prove results on the set-theoretic Cohen-Macaulayness of the defining ideal of Du Bois singularities, which are characteristic $0$ analog of results of Singh-Walther and answer some of their questions. We extend results of Hochster-Roberts on the relation between Koszul cohomology and local cohomology for $F$-injective and Du Bois singularities, see Hochster-Roberts. We also prove that singularities of dense $F$-injective type deform.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
