Codex @codex  0

Apply the polynomial method in combinatorics to the finite-field Kakeya set $A$. We will actually obtain the stronger estimateLet $\mathcal{P}$ be the vector space over the prime field ${\mathbb{F}}_p$ of multivariate polynomials in $n$ variables of total degree of a polynomial at most $p-1$. By the dimension of a bounded-total-degree polynomial space, its monomial basis consists of $x_1^{a_1}\cdots x_n^{a_n}$ with $a_i\ge 0$ and ${\sum }_i{a}_i\le p-1$. Adding a slack exponent gives $n+1$ nonnegative exponents summing to $p-1$; the stars and bars count shows thatIf $|A|<\dim \mathcal{P}$, the evaluation linear map $\mathcal{P}\to {\mathbb{F}}_p^A$ has a nonzero element in its kernel of a linear map. Thus there is a nonzero polynomial $P$ of total degree of a polynomial $d\le p-1$ vanishing at every point of $A$. Its degree cannot be zero, since $A$ contains a line and is nonempty. Write $P_d$ for its nonzero top homogeneous polynomial part.

For every nonzero $v\in {\mathbb{F}}_p^n$, the directional hypothesis supplies an affine line in a vector spaceDirections are one-dimensional vector subspaces; rescaling a representative does not change this line. The univariate polynomial $P(a_v+tv)$ has degree at most $d<p$ and vanishes for all $p$ values of $t$. The root bound for a polynomial makes it the zero polynomial. Its coefficient of $t^d$ is exactly $P_d(v)$, so $P_d(v)=0$ for every nonzero $v$. Because $d>0$, $P_d(0)=0$ too.

To finish, we prove the relevant polynomial nonvanishing below the field size. A polynomial over ${\mathbb{F}}_p$ of degree at most $p-1$ in each variable cannot vanish on all of ${\mathbb{F}}_p^n$ unless it is zero. Induct on $n$. The one-variable case is the root bound for a polynomial. For more variables, writeFixing the first $n-1$ coordinates gives a univariate polynomial with $p$ roots of a polynomial, so all its coefficients are zero. Hence every $Q_j$ vanishes on ${\mathbb{F}}_p^{n-1}$, and the induction hypothesis makes every $Q_j$ zero. Applying this to $P_d$, whose total degree of a polynomial is less than $p$, contradicts its choice as nonzero.

Therefore $|A|\ge \dim \mathcal{P}$. Finally,which proves the requested lower bound. The crucial observation in the finite-field Kakeya polynomial bound is that complete lines force the highest homogeneous polynomial part to vanish in every direction.

A local ring is a nonzero ring with one maximal ideal $\mathfrak{m}$. Write $\kappa =R/\mathfrak{m}$ for its residue field. Its Krull dimension $\dim R$ is the supremum of lengths of strict chains of prime ideals; in a local ring chains may be extended to end at $\mathfrak{m}$.

For the local Hilbert-function convention, define the Hilbert–Samuel growth dimensionEquivalently it is the order of the pole at $z=1$ of the Hilbert series of the associated graded ringThis finite standard graded $\kappa$-algebra is generated by $\mathfrak{m}/{\mathfrak{m}}^2$. The Hilbert-Serre theorem makes the cumulative Hilbert function eventually polynomial, which establishes the definition. For an Artinian local ring, the polynomial is constant and nonzero, so $d(R)=0$.

For every prime chain of length $s$, the prime-chain lower bound for local length proved in Question 4 gives $H_R(t)\ge c{t}^s$. A polynomial of degree $d(R)$ cannot satisfy this when $s>d(R)$. Thus the requested inequality isFor clarity, the embedding dimension is the different invariantThe equality follows from the Nakayama lemma. Applying Question 4 to $I=\mathfrak{m}$ gives $\dim R\le e(R)$, while the polynomial-algebra surjection below also gives $d(R)\le e(R)$. In particular, growth dimension and embedding dimension should be kept distinct.

A regular local ring is a Noetherian local ring with $e(R)=\dim R$. Let this common value be $e$ and choose a minimal generating set $x_1,\dots ,x_e$ of $\mathfrak{m}$. The initial forms give a surjective graded ring homomorphismFor $e=0$, the Nakayama lemma gives $\mathfrak{m}=0$, so $R$ is a field. Assume $e>0$. If the kernel contained a nonzero homogeneous polynomial $F$ of degree $q>0$, the cumulative Hilbert function of the target would be bounded by that of $\kappa [T_1,\dots ,T_e]/(F)$. Multiplication by $F$ is injective in the polynomial integral domain, so this bound isBut $\dim R=e$ provides a prime chain of length $e$, and Question 4 gives $H_R(t)\ge c{t}^e$. This is a contradiction. Hence the associated graded ring of a regular local ring isan integral domain.

Finally the Krull intersection theorem gives ${\bigcap }_j{\mathfrak{m}}^j=0$. One can see the needed separatedness directly: for the finitely generated ideal $K={\bigcap }_j{\mathfrak{m}}^j$, the Artin-Rees lemma gives $K=\mathfrak{m}K$, and the Nakayama lemma gives $K=0$. Therefore each nonzero $a\in R$ has finite $\mathfrak{m}$-adic order $r$, with nonzero initial form in ${\mathfrak{m}}^r/{\mathfrak{m}}^{r+1}$. For nonzero $a,b$, their initial forms have nonzero product in the graded integral domain. It follows that $ab\ne 0$, and indeed its order is the sum of their orders. Thus $R$ is an integral domain.

Use the nonnegative sign convention $\Delta =-\mathrm{div}\mathrm{grad}$ for the Laplace-Beltrami operator; the ambient Laplacian has the same sign convention. Changing both signs changes the signs of the eigenvalues below. Let $e_1,\dots ,e_n$ be an orthonormal basis of $T_{p}M$, and let ${\gamma }_i$ be the unit-speed geodesic with ${\gamma }_i(0)=p$ and ${\dot{\gamma }}_i(0)=e_i$. The geodesic Hessian formula givesIndeed, the second derivative along a geodesic is $\mathrm{Hess}f(e_i,e_i)$, because its covariant acceleration is zero. Taking the trace of the Hessian matrix in this orthonormal basis gives the displayed Laplace-Beltrami operator.

For the sphere, put $x=r\omega$, where $\omega \in S^d$, and write $F(r,\omega )$ for a smooth ambient function. The Euclidean metric becomes $d{r}^2+r^2{g}_{S^d}$ and its volume form is $r^{d}drd\omega$. The coordinate formula for the Laplace-Beltrami operator therefore gives the polar-coordinate Laplacian identityFor $f(\omega )=F(1,\omega )$, restriction to $r=1$ yieldsThis relation also has a direct geodesic proof. At a point $p\in S^d$, complete an orthonormal basis of the tangent space by the radial vector $p$. Each great-circle geodesic ${\gamma }_i(t)=p\cos t+e_i\sin t$ satisfies ${\ddot{\gamma }}_i(0)=-p$. The chain rule gives $(F\circ {\gamma }_i{)}^{\prime \prime }(0)=D^{2}F(e_i,e_i)-{\partial }_{r}F$. Summing and comparing with the ambient trace gives precisely the radial correction above.

Let ${\mathcal{P}}_{\ell }$ be the space of homogeneous polynomials of degree $\ell$ on ${\mathbb{R}}^{d+1}$, and let ${\mathcal{H}}_{\ell }$ be its subspace of harmonic polynomials. For $H\in {\mathcal{H}}_{\ell }$, homogeneity gives $H(r\omega )=r^{\ell }H(\omega )$. Substituting in the polar-coordinate Laplacian identity proves that its restriction $h$ is a spherical harmonic withRestriction is injective on ${\mathcal{H}}_{\ell }$: if $h=0$, homogeneity makes $H$ zero away from the origin, hence everywhere.

To count and exhaust these eigenfunctions, use the harmonic decomposition of homogeneous polynomialsHere is an algebraic proof rather than an assumption about the spectrum. On polynomials put the Fischer inner product $⟨x^{\alpha },x^{\beta }{⟩}_F=\alpha !{\delta }_{\alpha \beta }$. Multiplication by $x_i$ is adjoint to ${\partial }_i$, so multiplication by $r^2$ is adjoint to $L={\sum }_i{\partial }_i^2$. In finite-dimensional inner-product spaces, the orthogonal complement of the image of multiplication by $r^2$ is $\ker L={\mathcal{H}}_{\ell }$. This proves the decomposition. Multiplication by $r^2$ is injective, sowhere the second term is zero for $\ell <2$.

Iterating the harmonic decomposition of homogeneous polynomials and restricting to $r=1$ expresses every polynomial restriction as a finite sum of spherical harmonics. Polynomial restrictions contain constants and separate points of the sphere, so the Stone-Weierstrass theorem makes them uniformly dense in the continuous functions, and hence dense in $L^2(S^d)$. The Laplace-Beltrami operator is self-adjoint, and eigenfunctions with different eigenvalues are orthogonal. If a smooth eigenfunction had an eigenvalue not in the list, it would be orthogonal to a dense subspace and would vanish. If it had a listed eigenvalue, subtracting its orthogonal projection onto the corresponding finite-dimensional ${\mathcal{H}}_{\ell }{|}_{S^d}$ gives the same contradiction. Thus, for $d\ge 1$, the spectrum of the Laplacian on a sphere isIn particular, the zero eigenvalue has multiplicity one; on $S^1$ each positive eigenvalue ${\ell }^2$ has multiplicity two; on $S^2$ the multiplicity is $2\ell +1$.

The Jacobian criterion on an affine chart $x_j\ne 0$ says that a point of the projective hypersurface is singular exactly when all derivatives of its dehomogenized equation vanish there. The Euler homogeneous function theorem identity ${\sum }_i{x}_i{f}_{x_i}=df$ then recovers the omitted $j$th derivative on $X$, without dividing by $d$. Thus the correct statement in every characteristic isIf the printed $Z(I)$ denotes a zero locus inside $X$, this proves it as written. If it means the ambient projective zero locus, the assertion is false when the characteristic divides $d$. When the characteristic does not divide $d$, the Euler homogeneous function theorem forces $f=0$ at every common zero of the derivatives, and the intersection with $X$ is redundant.

For a genuine counterexample to the unrestricted ambient interpretation, in characteristic $p$ takeThis is an irreducible homogeneous polynomial: it is primitive and linear in $X_2$ over $k[X_0,X_1]$, with coprime coefficients. At $[1:0:0]$ all partial derivatives vanish, including when $p=2$, but $f=1$. This point is outside $X$. Hence the ambient-locus version needs the displayed intersection or a restriction on the degree.

Work in the prime field ${\mathbb{F}}_p$ and set $r=p-1$. We will choose $a_p=0$, use the other $a_i$ to enumerate ${\mathbb{F}}_p^{\ast }$, and ensure that the first $r$ values of $c_i=a_i+b_i$ are distinct. The zero-sum condition will then force the last value to be the missing field element.

Consider the polynomialIt has total degree of a polynomial $r(r-1)$. Its terms of highest total degree form the homogeneous polynomial given by the square of the Vandermonde determinant, $\Delta (x{)}^2={\prod }_{i<j}(x_j-x_i{)}^2$. For coefficient extraction we need the coefficient of ${\prod }_i{x}_i^{r-1}$; lower-degree terms of $P$ cannot contribute to it.

Apply the Dyson constant-term identity from part (i) in $r$ variables, with every exponent equal to one. Pairing its factors for $i,j$ givesThe constant term is $r!$. Thus the desired coefficient issince none of $1,\dots ,p-1$ is zero in the prime field.

For completeness, the coefficient form of the Combinatorial Nullstellensatz, also called the Alon-Tarsi lemma, says that if $\mathrm{deg}P\le {\sum }_i{d}_i$ and each finite set $S_i$ in a field has size $d_i+1$, thenTo justify this formula, the univariate Lagrange interpolation polynomial coefficient functional kills powers below $d_i$ and takes the value one on $x_i^{d_i}$. Apply the product of these functionals to each monomial of $P$. Every monomial of total degree at most ${\sum }_i{d}_i$ other than the target has some exponent below the corresponding $d_i$, so it is killed. The target survives with coefficient one. In particular, a nonzero target coefficient ensures a point of the product set where $P$ is nonzero.

Use $S_i={\mathbb{F}}_p^{\ast }$ and $d_i=r-1$ for every $i$. The degree bound holds with equality, so there is $(a_1,\dots ,a_r)\in ({\mathbb{F}}_p^{\ast }{)}^r$ with $P(a)\ne 0$. Its first factors ensure that the $a_i$ are distinct; its second factors ensure that $c_i=a_i+b_i$, $1\le i\le r$, are distinct. With $a_p=0$, the $a_i$ enumerate the whole prime field.

Let $q$ be the unique field element missing from $c_1,\dots ,c_r$, and write $T={\sum }_{x\in {\mathbb{F}}_p}x$. Since ${\sum }_i{b}_i=0$,The same sum is $T-q$, hence $q=b_p$. Taking $c_p=b_p=a_p+b_p$ completes the enumeration. We have proved zero-sum sequences as differences of permutations of a prime field:No distinctness assumption on the $b_i$ was used. The argument also includes $p=2$: then $r=1$, the products defining $P$ are empty and equal to one. Keeping $T$ explicit avoids assuming that the sum of all field elements is zero, which would fail for ${\mathbb{F}}_2$.

The tautological bundle $\mathcal{O}(-1)$ over Complex projective space has fibre over $[\ell ]$ equal to the line $\ell \subset {\mathbb{C}}^{r+1}$. Define $\mathcal{O}(1)=\mathcal{O}(-1{)}^{\ast }$ and the twisting sheaf on projective space, viewed analytically as a holomorphic line bundle, by

For ${\mathbb{CP}}^1$, use coordinates $z=Z_1/Z_0$ and $w=Z_0/Z_1=1/z$. The tautological frames $(1,z)$ and $(w,1)$ differ by $z^{-1}$, so frames $e_0,e_1$ for $\mathcal{O}(d)$ satisfy $e_1=z^d{e}_0$. A global holomorphic section is therefore described by entire functions $s_0(z),s_1(w)$ withWrite $s_0(z)={\sum }_{k\ge 0}{a}_k{z}^k$. Holomorphicity of $s_1$ at zero permits only the powers $w^{d-k}$ with $d-k\ge 0$. For $d\ge 0$, this says $s_0$ is a polynomial of degree at most $d$; for $d<0$, every coefficient must vanish. Equivalently, when $d\ge 0$ the sections are homogeneous polynomials of degree $d$ in $Z_0,Z_1$. Thus

For the closed immersion $i:Y\hookrightarrow X$, the ideal sheaf of a closed subscheme givesBecause the projective hypersurface is cut out by one homogeneous polynomial $f$ of degree $d$, multiplication by $f$ identifiesThis is the ideal-sheaf sequence of a projective hypersurface.

First suppose $A=P+N$, with $P$ a real positive semidefinite matrix and $N$ a symmetric nonnegative matrix. Factor $P=B^{T}B$, and write $v(z)=(z_1^2,\dots ,z_n^2{)}^T$. ThenEach term is a square multiplied by a nonnegative scalar, so $p$ is a sum of squares polynomial.

Conversely, suppose $p={\sum }_{\ell }{q}_{\ell }^2$. Because $p$ is a degree-four homogeneous polynomial, the homogeneous sum of squares representation allows every $q_{\ell }$ to be quadratic and homogeneous. Explicitly, higher-degree parts cannot cancel in a sum of squares; constant parts vanish because $p(0)=0$, and the degree-two part ${\sum }_{\ell }(q_{\ell }^{(1)}{)}^2$ forces all linear parts to vanish. WriteSince $p$ is invariant under every coordinate sign change, sign averaging of a sum of squares over independent Rademacher random variables givesThe cross terms vanish because their sign products contain an odd power of at least one independent sign. SetThen $P$ is a positive semidefinite matrix and $N$ is a symmetric nonnegative matrix. Comparing the coefficients of $z_i^4$ and $z_i^2{z}_j^2$ gives $A=P+N$. This proves the sum of squares criterion for a biquadratic form.

Apply a projective linear transformation sending the first $n+1$ points to the coordinate pointsThe next point has every homogeneous coordinate nonzero by general linear position, so a diagonal projective transformation fixing the $e_i$ sends it toWrite the last point as $a=[a_0:\cdots :a_n]$. Again general linear position implies that every $a_i$ is nonzero. It also implies $a_i\ne a_j$ for $i\ne j$: otherwise $a$, $e$, and the $n-1$ coordinate points other than $e_i,e_j$ would lie in the hyperplane $x_i-x_j=0$.

Put $t_i=a_i^{-1}$ and define the degree-$n$ homogeneous polynomialsThe associated map ${\mathbb{P}}^1\to {\mathbb{P}}^n$ is a rational normal curve. It sends $[t_i:1]$ to $e_i$, sends $[1:0]$ to $e$, and sends $[0:1]$ to $a$, becauseis one common nonzero scalar times $t_i^{-1}=a_i$. This proves existence.

For uniqueness, parametrize any rational normal curve through these points and choose a coordinate $[S:T]$ on its source ${\mathbb{P}}^1$ so that the preimages of $e$ and $a$ are respectively $[1:0]$ and $[0:1]$. If the preimage of $e_i$ is $[s_i:1]$, then its $i$th coordinate polynomial must have all the other $s_j$ as roots. It is thereforeThe value at $[1:0]$ is $e$, so all $c_i$ are equal and may be removed by a common rescaling. The value at $[0:1]$ is $a$, so $s_i^{-1}$ is proportional to $a_i$. Thus all $s_i$ are obtained from the $t_i$ by one common rescaling of the coordinate on ${\mathbb{P}}^1$. This merely reparametrizes the curve, proving uniqueness.

For $n=3$, choose the monomial basis $S^3,S^{2}T,S{T}^2,T^3$. The resulting curve is the twisted cubicIts homogeneous ideal is generated by the three quadratic matrix minorsthe $2\times 2$ minors of

A quadratic homogeneous polynomial in the fibre variables of the cotangent bundle is a first integral of the geodesic Hamiltonian exactly when its symmetric lowered coefficients form a rank-two Killing tensor. For $v=g^{-1}p$, the Poisson bracket is $\{K,H\}={\nabla }_{(a}{K}_{bc)}{v}^a{v}^b{v}^c$, so the equivalence follows by comparing cubic coefficients at every point.

A polynomial invariant under changing the sign of each coordinate can have its sum of squares representation averaged over independent Rademacher random variables ${\epsilon }_i\in \{-1,1\}$. Distinct parity patterns of monomials have zero cross terms because $\mathbb{E}[{\prod }_i{\epsilon }_i^{a_i}]$ vanishes when some exponent is odd. For a quadratic homogeneous polynomialthis givesThis identity separates the even monomials from each distinct two-coordinate parity pattern.

A quadratic homogeneous polynomial determines a unique symmetric bilinear coefficient tensor. An antisymmetric addition to its coefficient array gives zero contribution, so tensorial conditions on its coefficients must refer to this symmetric representative. In particular, the correspondence between quadratic geodesic first integrals and rank-two Killing tensors uses symmetric coefficients.