Source author record

Gennady Lyubeznik

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AC math.AG Information Theory math.IT

Catalog footprint

Research overview

10works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

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.

preprint2021arXiv

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.

preprint2014arXiv

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.

preprint2013arXiv

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.

preprint2011arXiv

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.

preprint2010arXiv

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.

preprint2010arXiv

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.

preprint2010arXiv

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.

preprint2010arXiv

Two interesting examples of $\mathcal{D}$ -modules in characteristic $p>0$

We provide two examples of $\mathcal{D}$ -modules in prime characteristic $p$ which answer two open problems in \cite{Lyubeznik} in the negative.

preprint2006arXiv

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Gennady Lyubeznik

Research overview

Is this your work?

10 publications

An asymptotic vanishing theorem for the cohomology of thickenings

Stabilization of the cohomology of thickenings

An extension of a theorem of Hartshorne

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

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

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

A Property of the Frobenius Map of a Polynomial Ring

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

Two interesting examples of $\mathcal{D}$ -modules in characteristic $p>0$

Absolute integral closure in positive characteristic

See the researcher in context

Building this map preview

Gennady Lyubeznik

Research overview

Is this your work?

10 publications

An asymptotic vanishing theorem for the cohomology of thickenings

Stabilization of the cohomology of thickenings

An extension of a theorem of Hartshorne

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

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

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

A Property of the Frobenius Map of a Polynomial Ring

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

Two interesting examples of D\mathcal{D}D-modules in characteristic p>0p>0p>0

Absolute integral closure in positive characteristic

See the researcher in context

Building this map preview

Two interesting examples of $\mathcal{D}$ -modules in characteristic $p>0$