Searcharxiv⌕ Search

arXiv subjects

Gennady Lyubeznik

Publications and source records attributed to Gennady Lyubeznik.

At least 19 recordsLinked to original sources
arXiv2025

Applications of perverse sheaves in commutative algebra

The goal of this paper is to explain how basic properties of perverse sheaves sometimes translate via Riemann-Hilbert correspondences (in both characteristic $0$ and characteristic $p$) to highly non-trivial properties of singularities, especially their local cohomology. Along the way, we develop a theory of perverse $\mathbf{F}_p$-sheaves on varieties in characteristic $p$, expanding on previous work by various authors, and including a strong version of the Artin vanishing theorem.

math.AG↗
arXiv2023

Frobenius on the cohomology of thickenings

We investigate the injectivity of the Frobenius map on thickenings of smooth varieties in projective space over a field of positive characteristic. We obtain uniform bounds -- i.e., independent of the characteristic -- on the thickening that ensures an injective Frobenius map when the projective variety is a smooth complete intersection or an arbitrary projective embedding of an elliptic curve. Our bounds are sharp in the case of hypersurfaces, and in the case of elliptic curves.

math.AG↗
arXiv2021

Stabilization of the cohomology of thickenings

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.

math.AG↗
arXiv2021

An asymptotic vanishing theorem for the cohomology of thickenings

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 following 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.

math.AG↗
arXiv2017

On the matlis duals of local cohomology modules

Let $(R,\mathfrak{m})$ be a Noetherian regular local ring containing a field of characteristic $p>0$ and $I$ a nonzero ideal of $R$. In this short note, we prove that if $\operatorname{H}^i_I(R)\neq 0$, then $ \operatorname{Supp}_R(D(\operatorname{H}^i_{I}(R)))=\operatorname{Spec}(R)$.

math.AC↗
arXiv2017

On Switala's Matlis Duality

We show that N. Switala's Matlis duality for $\mathcal D$-modules yields a generalization of a result of R. Hartshorne and C. Polini.

math.AC↗
arXiv2017

Local cohomology modules supported at determinantal ideals

We provide new results on the vanishing of local cohomology modules supported at ideals of minors of matrices over arbitrary commutative Noetherian rings. In the process, we compute the local cohomology of rings of polynomials with integer coefficients---supported at generic determinantal ideals---and also obtain results on F-modules and D-modules that are likely to be of independent interest.

math.AC↗
arXiv2014

An extension of a theorem of Hartshorne

We extend a classical theorem of Hartshorne concerning the connectedness of the punctured spectrum of a local ring by analyzing the homology groups of a simplicial complex associated with the minimal primes of a local ring.

math.AC↗
arXiv2013

Local cohomology modules of a smooth Z-algebra have finitely many associated primes

Let $R$ be a commutative Noetherian ring that is a smooth $\mathbb Z$-algebra. For each ideal $I$ of $R$ and integer $k$, we prove that the local cohomology module $H^k_I(R)$ has finitely many associated prime ideals. This settles a crucial outstanding case of a conjecture of Lyubeznik asserting this finiteness for local cohomology modules of all regular rings.

math.AC↗
arXiv2011

On the Degrees of Freedom Achievable Through Interference Alignment in a MIMO Interference Channel

Consider a K-user flat fading MIMO interference channel where the k-th transmitter (or receiver) is equipped with M_k (respectively N_k) antennas. If a large number of statistically independent channel extensions are allowed either across time or frequency, the recent work [1] suggests that the total achievable degrees of freedom (DoF) can be maximized via interference alignment, resulting in a total DoF that grows linearly with K even if M_k and N_k are bounded. In this work we consider the case where no channel extension is allowed, and establish a general condition that must be satisfied by any degrees of freedom tuple (d_1, d2, ..., d_K) achievable through linear interference alignment. For a symmetric system with M_k = M, N_k = N, d_k = d for all k, this condition implies that the total achievable DoF cannot grow linearly with K, and is in fact no more than K(M + N)=(K + 1). We also show that this bound is tight when the number of antennas at each transceiver is divisible by the number of data streams.

cs.IT↗
arXiv2010

An upper bound on the number of F-jumping coefficients of a principal ideal

We prove a result relating the Jacobian ideal and the generalized test ideal associated to a principal ideal in $R=k[x_1,...,x_n]$ with $[k:k^p]<\infty$ or in $R=k[[x_1,...,x_n]]$ with an arbitrary field $k$ of characteristic $p>0$. As a consequence of this result, we establish an upper bound on the number of $F$-jumping coefficients of a principal ideal with an isolated singularity.

math.AC↗
arXiv2010

A characteristic-free proof of a basic result on D-modules

Let k be a field, let R be a ring of polynomials in a finite number of variables over k, let D be the ring of k-linear differential operators of R and let f be a non-zero element of R. It is well-known that R_f, with its natural D-module structure, has finite length in the category of D-modules. We give a characteristic-free proof of this fact. To the best of our knowledge this is the first characteristic-free proof.

math.AC↗
arXiv2010

A Property of the Frobenius Map of a Polynomial Ring

Let R be a ring of polynomials in a finite number of variables over a perfect field k of characteristic p>0 and let F:R\to R be the Frobenius map of R, i.e. F(r)=r^p. We explicitly describe an R-module isomorphism Hom_R(F_*(M),N)\cong Hom_R(M,F^*(N)) for all R-modules M and N. Some recent and potential applications are discussed.

math.AC↗
arXiv2008

On the discreteness and rationality of F-jumping coefficients

This paper studies the jumping coefficients of principal ideals of regular local rings. Recently M. Blickle, M. Mustata and K. Smith showed that, when $R$ is of essentially finite type over a field and $F$-finite, bounded intervals contain finitely many jumping coefficients and that those are rational. In a later paper they extended these results to principal ideals of $F$-finite complete regular local rings. The aim of this paper is to extend these results on the discreteness and rationality of jumping coefficients to principal ideals of arbitrary (i.e. not necessarily $F$-finite) excellent regular local rings containing fields of positive characteristic. Our proof uses a very different method: we do not use $D$-modules and instead we analyze the modules of nilpotents elements in the injective hull or $R$ under some non-standard Frobenius actions. This new method undoubtedly holds a potential for more applications.

math.AC↗
arXiv2006

On some local cohomology modules

Let R be a commutative Noetherian d-dimensional complete equicharacterisitc regular local ring and let I be an ideal of R such that every minimal prime over I has height at most c. Let v=d - [(d-2)/c]-1 and v'=d - [(d-1)/c]. It has been known that the i-th local cohomology module of any R-module M with support in I vanishes for i>v', and if I is prime, for i>v; both results are sharp. The purpose of this paper is to prove a necessary and sufficient condition, for a not necessarily prime I, for the vanishing in the range i>v, i.e. in the same range as for a prime ideal. The condition is in terms of some combinatorial properties of the set of the minimal primes of I whose sum is zero-dimensional. A version for non-regular local rings is also proven.

math.AC↗
arXiv2006

Absolute integral closure in positive characteristic

Let R be a local Noetherian domain of positive characteristic. A theorem of Hochster and Huneke (1992) states that if R is excellent, then the absolute integral closure of R is a big Cohen-Macaulay algebra. We prove that if R is the homomorphic image of a Gorenstein local ring, then all the local cohomology (below the dimension) of such a ring maps to zero in a finite extension of the ring. There results an extension of the original result of Hochster and Huneke to the case in which R is a homomorphic image of a Gorenstein local ring, and a considerably simpler proof of this result in the cases where the assumptions overlap, e.g., for complete Noetherian local domains.

math.AC↗
arXiv2006

On some local cohomology invariants of local rings

Let A be a commutative Noetherian local ring containing a field of characteristic p>0. The integer invariants $λ_{i,j}(A)$ have been introduced in an old paper of ours. In this paper we completely describe $λ_{d,d}(A)$, where d=dimA, in terms of the topology of SpecA.

math.AC↗