Search arXiv⌕ Search

arXiv · 0709.0747

On Lyubeznik numbers of projective schemes

Abstract

Let $X$ be an arbitrary projective scheme over a field $k$. Let $A$ be the local ring at the vertex of the affine cone for some embedding $ι: X\hookrightarrow \mathbb{P}^n_k$. G. Lyubeznik asked (in \cite{l2}) whether the integers $λ_{i,j}(A)$ (defined in \cite{l1}), called the Lyubeznik numbers of $A$, depend only on $X$, but not on the embedding. In this paper, we make a big step toward a positive answer to this question by proving that in positive characteristic, for a fixed $X$, the Lyubezink numbers $λ_{i,j}(A)$ of the local ring $A$, can only achieve finitely many possible values under all choices of embeddings.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Wenliang Zhang. 2007-09-05. On Lyubeznik numbers of projective schemes. https://arxiv.org/abs/0709.0747

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Homological subsets of Spec

We recover some data of a module $M$ from the Ext-family $\{Ext^i_R(M,R)\}$. In this regard, we investigate homological subsets of $Spec(R)$, defined by the help of Ext-family. For example, we present a situation for which $\bigcup_{i=0}^\infty Ass(Ext^i_R(M,R))$ is infinite, thereby answering a question of Vasconcelos. We extend Grothendieck's calculation of $dim(Ext^g_R(M,R))$ and present some new situations to calculate $dim(Ext^\ast_R(M,R))$. Also, we compute support and the set of all associated prime ideals of the Ext-family in a serial of nontrivial cases.

math.AC↗

On Stanley-Reisner Rings with Minimal Betti Numbers

We study simplicial complexes with a given number of vertices whose Stanley-Reisner ring has the minimal sum of Betti numbers. We prove that every full subcomplex of them is homotopy equivalent either to a point or to a sphere. Moreover, we prove that such kind of simplicial complexes coincide with those having minimal Taylor resolutions.

math.AC↗

Local-Cohen-Macaulay DG-rings with unequal finitistic projective dimensions

For every pair of integers $d,n\geq1$, we construct a commutative noetherian local-Cohen-Macaulay DG-ring $A$ such that $\dim H^0(A)=d$, $\mathrm{amp}(A)=n$, $\mathrm{fpd}(A)=d-n$, and $\mathrm{FPD}(A)=d$. This gives a negative answer to the implication from local-Cohen-Macaulayness to equality of the two finitistic projective dimensions in a question of Bird, Shaul, Sridhar, and Williamson.

math.AC↗