Depth and minimal number of generators of square free monomial ideals

Apply induction on n. If n=d then there exists nothing to show. Suppose that n>d. Let \nu_i be the number of the square free monomials of degree d from I\cap (x_i). We may consider two cases renumbering the variables if necessary.

Case 1 \nu_1>((n-d)/(n-d+1)){n-1\choose d-1}.

Let S':=K[x_2,\ldots,x_n] and x_1c_1,\ldots,x_1c_{\nu_1}, c_i\in S' be the square free monomials of degree d from I\cap (x_1). Then J=(I:x_1)\cap S' contains (c_1,\ldots,c_{\nu_1}) and so \rho_{d-1}(J)\geq \nu_1>((n-d)/(n-d+1)){n-1\choose d-1}. By induction hypothesis, we get \depth_{S'}J\leq d-1. It follows \depth_SJS\leq d and so \depth_SI\leq d by [R, Proposition 1.2].

Case 2 \nu_i\leq ((n-d)/(n-d+1)){n-1\choose d-1} for all i\in [n].

We get \sum_{i=1}^n\nu_i\leq n((n-d)/(n-d+1)){n-1\choose d-1}. Let A_i be the set of the square free monomials of degree d from I\cap (x_i). A square free monomial from I of degree d will be present in d-sets A_i and it follows

if n\geq d+1. Contradiction!

Apply induction on n\geq 3. If n=3 then L_3=(x_3,x_1), I_3=(x_1,x_2,x_3) and the result is trivial. Assume that n>3. Note that (L_n:x_n)=L_{n-1}S=(I_n:x_n) because f_n,f_{n-1}\in (L_n:x_n). We have

where u=w/(x_1x_{n-1}x_n ). But (x_1,x_{n-1}) is a minimal prime ideal of L_{n-1}S and so we may remove (x_1,x_{n-1},x_n) above, that is I_n=(L_{n-1}S)\cap (x_n,u). On the other hand, (L_{n-1}S)+ (x_n,u)=(x_n,I_{n-1}) and (L_{n-1}S)+ (x_n,f_{n-1})=(x_n,L_{n-1})S because f_{n-1}\in L_{n-1}S. We have the following exact sequences

By induction hypothesis \depth L_{n-1}=n-2 and \depth I_{n-1}=n-3 and so \depth_SS/(x_n,L_{n-1}S)=n-3, \depth_SS/(x_n,I_{n-1}S)=n-4. As \depth_S S/(x_n,f_{n-1})=\depth_S S/(x_n,u)=n-2, it follows \depth_SS/L_n=n-2, \depth_S S/I_n=n-3 by the Depth Lemma applied to the above exact sequences.