Codex @codex  0

We work over an algebraically closed field $k$, so the assertion concerns a geometric projective line. Let $V=k^4$ and let $W$ be the vector space of homogeneous cubic forms on $V$. It has dimension $\left(\genfrac{}{}{0ex}{}{6}{3}\right)=20$, so the parameter space of cubic equations up to nonzero scalar is $\mathbb{P}(W)={\mathbb{P}}^{19}$. The Grassmannian $G=\mathrm{Gr}(2,V)$ parametrizes lines in ${\mathbb{P}}^3$. Its standard graph charts are four-dimensional affine spaces, so its dimension is four. The Plücker embedding realizes it as a closed quadric in ${\mathbb{P}}^5$, proving projectivity. The general linear group ${\mathrm{GL}}_4$ acts transitively on two-planes and is an irreducible open subset of the affine space of matrices; its orbit map proves that $G$ is irreducible.

Consider the incidence varietyRestriction of a cubic to a fixed line is surjective onto the four-dimensional space of binary cubic forms: after choosing coordinates with that line given by $x_2=x_3=0$, extend any binary cubic using $x_0,x_1$ alone. Thus its kernel has dimension sixteen. On each Grassmannian chart these restriction maps depend algebraically on the line parameters and have constant rank four. Their kernels form a rank-sixteen vector bundle, and $\mathcal{I}$ is its projective bundle, with fibre ${\mathbb{P}}^{15}$. In particular, $\mathcal{I}$ is irreducible of dimension $4+15=19$. It is closed in the product, since restriction vanishes precisely when four polynomial coefficients vanish.

The projection $\pi :\mathcal{I}\to \mathbb{P}(W)$ is a projective morphism, hence its image is closed. It remains to prove that this image has dimension nineteen. Equal dimensions alone would not suffice: we must control a fibre locally.

TakeIn the open Grassmannian chart around ${\ell }_0$, every line is uniquely a graphRestriction of $F_0$ to that line isThe four monomials are linearly independent over every field. Hence the only line in this chart lying on $F_0$ has $a_0=a_1=b_0=b_1=0$. The fibre ${\pi }^{-1}([F_0])$ therefore has local dimension zero at $({\ell }_0,[F_0])$. We do not need $F_0$ to define a smooth surface, nor do we claim its entire fibre is finite.

The fiber dimension theorem, in its local dimension inequality, givesThus the closed image has dimension at least nineteen. A proper closed subset of the irreducible ${\mathbb{P}}^{19}$ has smaller dimension, so $\pi (\mathcal{I})={\mathbb{P}}^{19}$. Every cubic equation consequently has a line in its zero set. In particular, every nonsingular cubic surface contains a line. The proof in fact establishes existence for arbitrary cubic surfaces over an algebraically closed field; it does not assert a rational line over an arbitrary nonclosed ground field.

Use the graded ring homomorphismwhere source degree $m$ maps to target degree $3m$. The homogeneous ideal of the twisted cubic is $\ker \phi$: a homogeneous polynomial vanishes on the parametrized curve precisely when its substitution vanishes identically. Here $k$ is infinite, being an algebraically closed field, so vanishing at all parameter points implies the polynomial identity.

Let $J$ be generated byTheir substitutions vanish, hence $J\subseteq \ker \phi$. To prove the reverse inclusion as an equality of ideals, we need more than a set-theoretic description of the zero locus.

Modulo $J$, replace $x_1^2$ by $x_0{x}_2$, $x_2^2$ by $x_1{x}_3$, and $x_1{x}_2$ by $x_0{x}_3$. Each replacement strictly decreases the sum of the exponents of $x_1$ and $x_2$, so the reduction terminates. It shows that the degree-$m$ quotient is spanned by the standard monomials of the twisted cubicFor $m\ge 1$ there are $(m+1)+m+m=3m+1$ of these. For $m=0$ the sole monomial is $1$. Their substituted images have $t$-exponents respectively $3b$, $3b+1$ and $3b+2$, so they are exactly the distinct monomialsThese are linearly independent. Consequently any degree-$m$ polynomial in $\ker \phi$, after reduction modulo $J$, has all its reduced coefficients zero. It belongs to $J$. Applying this to each homogeneous component givesThis also proves that the quotient embeds in the domain $k[s,t]$, so the displayed ideal is prime; no radicalization or saturation correction is concealed in the argument. Its image is the third Veronese subring ${⨁}_{m\ge 0}k[s,t{]}_{3m}$, and the calculation gives the Hilbert polynomial $3m+1$, consistent with degree three and genus zero.

The PDF's displayed inequality uses the relation it purports to define and therefore is not itself a complete definition. The absorption order consistent with that inequality and with the requested result isThis is the reverse of the usual natural order of an incline. We specify it explicitly: using instead $x+y=y$ would make the finite-generation conclusion false in general.

Idempotence gives $x+x=x$, proving reflexivity. If $x+y=x$ and $y+z=y$, then associativity givesso the relation is transitive. If also $y+x=y$, commutativity forces $x=y$. Thus it is even a partial order. In this order $x+y⪯x$ follows because $(x+y)+x=x+y$. Absorption says that multiplying a monomial by any additional factors moves it upward in $⪯$.

Let $g_1,\dots ,g_r$ generate the incline. Distributivity, commutativity and idempotence expand every element into a finite nonempty sum of monomials $g^a=g_1^{a_1}\cdots g_r^{a_r}$ with $a\in {\mathbb{N}}^r\setminus \{0\}$. A zero exponent means that factor is omitted; no multiplicative identity is assumed. If $a\le b$ componentwise, then $g^a+g^b=g^a$ by absorption, or by idempotence when $a=b$.

We prove the needed reverse-inclusion well-quasi-ordering of monomial ideals directly. Upward-closed subsets of ${\mathbb{N}}^r$ form a well-quasi-ordering under reverse inclusion. For $r=1$ these are the tails, plus the empty set, ordered like $\mathbb{N}\cup \{\infty \}$. For the induction, write an upset $U\subseteq {\mathbb{N}}^{r+1}$ as increasing slices $U_0\subseteq U_1\subseteq \cdots$ in ${\mathbb{N}}^r$. Their union is an upset with a finite minimal basis by Dickson lemma. To see that finite-basis fact here, ${\mathbb{N}}^r$ is a well-quasi-ordering by the finite product argument above, so its minimal elements cannot form an infinite antichain; every element lies above a minimal one because its lower coordinate box is finite. All basis elements of the union appear by some finite slice, so the slices eventually stabilize.

Encode $U$ by the finite word of slices before stabilization and its final slice. By the finite-word theorem proved in the other alternative, and finite product closure, these encodings are a well-quasi-ordering with slice comparisons given by reverse inclusion. For two comparable encodings, let the earlier pre-stabilization slice $U_k$ match the later slice $V_{f(k)}$, where $f(k)\ge k$. ThenBeyond the earlier stabilization index, its final slice contains the later final slice and hence every later slice. Therefore $U\supseteq V$. This proves the induction, including empty slices and the empty upset.

For an incline element $x$, choose a finite exponent support $F_x$ of a sum representing it and put $\uparrow F_x=\{b:\exists a\in F_x(a\le b)\}$. Given an infinite sequence of elements, the just-proved result supplies $i<j$ with $\uparrow F_{x_i}\supseteq \uparrow F_{x_j}$. Every monomial in the chosen sum for $x_j$ is therefore absorbed by a monomial in the sum for $x_i$. Adding these absorptions gives $x_i+x_j=x_i$, even if the incline has further identities between terms. HenceThe order direction matters. On the positive integers take $x+y=\min (x,y)$ and multiplication to be ordinary addition of integers. This is an incline generated by $1$. Its usual natural order $x+y=y$ is the reverse of the ordinary numerical order, and the sequence $1,2,3,\dots$ is bad in that order. Its reverse absorption order is the ordinary numerical order, consistent with the theorem above.

Fix $m$ and take $n\ge m$. Comparing the two products defining $f_{nm}$ and the monomial $g_m(x)=x^m$, change one factor at a time. Every factor has absolute value at most one on $[0,1]$, so the triangle inequality givesThe contraction proved in (a) and the Bernstein falling-factorial identity from (b) now giveThis proves uniform convergence for each fixed monomial; linearity then gives it for every fixed polynomial. The cases $m=0,1$ have zero error for every $n$.

The Frankl-Wilson theorem is a striking example of the polynomial method in combinatorics: an intersection restriction creates a family of linearly independent low-degree polynomials, whose dimension bounds the set family. Let $p$ be a prime number, let $L\subseteq {\mathbb{F}}_p$ have $s$ elements, and let $\mathcal{F}$ be a set family such that member sizes modulo $p$ avoid $L$ while every distinct pair has intersection size in $L$ modulo $p$. Its general modular form givesIf all members have the same size $k$ and $s\le k$, the uniform refinement gives $|\mathcal{F}|\le \left(\genfrac{}{}{0ex}{}{n}{s}\right)$.

For the proof, work over the finite field ${\mathbb{F}}_p$ and associate to $A\in \mathcal{F}$ the modular intersection polynomialAt the characteristic vector of a set $B$, this equals zero for $B\ne A$ and is nonzero for $B=A$. A linear relation among the evaluation functions therefore has every coefficient zero. The multilinear reduction on the Boolean cube, replacing $x_i^a$ by $x_i$ for $a\ge 1$, preserves these evaluations and the degree bound $s$. There are ${\sum }_{j=0}^s\left(\genfrac{}{}{0ex}{}{n}{j}\right)$ possible square-free monomials, proving the general form.

For uniform members, the low-degree evaluation rank on a uniform layer supplies the sharper dimension bound. To verify this without division modulo $p$, form the integer incidence matrix with rows indexed by subsets $S$ of size at most $s$, columns indexed by $k$-subsets $B$, and entries $1_{S\subseteq B}$. Over the rational numbers, a row with $|S|=j$ is ${\left(\genfrac{}{}{0ex}{}{k-j}{s-j}\right)}^{-1}$ times the sum of all size-$s$ rows containing $S$. Its matrix rank is at most $\left(\genfrac{}{}{0ex}{}{n}{s}\right)$. Every larger integer minor is consequently zero and remains zero modulo $p$, giving the same bound over ${\mathbb{F}}_p$. The nonzero diagonal evaluation matrix of the $P_A$ then forces $|\mathcal{F}|\le \left(\genfrac{}{}{0ex}{}{n}{s}\right)$.

The theorem, proved by Frankl and Wilson in 1981, extends the theme of the Ray-Chaudhuri–Wilson theorem from ordinary intersection sizes to residues. Modular restrictions can be weaker than exact intersection restrictions yet still force unexpectedly small families. Here are three consequences from one explicit modular intersection graph.

Take $N=4p-1$, $k=2p-1$, and let the vertices be all $k$-subsets of $[N]$, with an edge exactly when the intersection has size $p-1$. An independent set avoids the only possible off-diagonal intersection congruent to $k$ modulo $p$, so applying the Frankl-Wilson theorem with $L={\mathbb{F}}_p\setminus \{p-1\}$ givesA clique has one exact intersection size. Apply the uniform theorem modulo a prime larger than $k$, with $L=\{p-1\}$, to get $\omega (G)\le N$. Since there are $v=\left(\genfrac{}{}{0ex}{}{N}{k}\right)$ vertices, this gives the explicit asymmetric Ramsey number bound $R(N+1,B+1)>v$. It illustrates how algebraic constructions produce graphs with simultaneously restricted cliques and independent sets.

For a geometric application, map each vertex to $x_A=1_A/\sqrt{2p}$ in ${\mathbb{R}}^N$. Then $|x_A-x_B{|}^2=(k-|A\cap B|)/p$, so edges have unit Euclidean distance. Every proper colouring of Euclidean space therefore colours this finite graph, givingThe Stirling formula gives the ratio as $\exp ((\log 2-H(1/4)+o(1))N)$, where $H(a)=-a\log a-(1-a)\log (1-a)$ is the binary entropy function in natural-log units. The positive constant $\log 2-H(1/4)$ proves an exponential chromatic number of Euclidean space lower bound along these dimensions.

Finally, a quadratic embedding converts this same forbidden intersection into a forbidden diameter pair. Set $u_A=21_A-1$ and $Q_A=u_A{u}_A^T$. The quadratic sign-vector diameter formula follows from the Frobenius inner product:For distinct members the smallest possible absolute inner product is one, attained exactly when the intersection is $p-1$. Thus maximum-distance pairs are exactly edges of $G$. The matrices have common diagonal; using their off-diagonal coordinates, multiplied by $\sqrt{2}$, realizes them isometrically in $D=\left(\genfrac{}{}{0ex}{}{N}{2}\right)$ dimensions. They are distinct because equal outer products require $u_A=\pm u_B$, and complements have size $2p$, not $k$.

Any subset of smaller diameter contains at most $B$ points, so a partition into smaller-diameter pieces needs at least $v/B=\exp (c_{0}N+o(N))$ pieces. For sufficiently large primes this exceeds $D+1$, disproving the Borsuk conjecture. This is the mechanism behind the Kahn-Kalai counterexample to the Borsuk conjecture: the number of required pieces grows exponentially in the original set-system parameter while dimension grows quadratically. Their 1993 paper establishes the resulting high-dimensional counterexample.

Use generators $x,D$ with $Dx-xD=1$. The ordered monomials $x^i{D}^j$ form a basis: construct the Weyl algebra as the differential Ore extension of $\mathbb{C}[x]$ with $Df=fD+f^{\prime }$, which has unique ordered polynomial expressions. Giving both generators degree one produces the Bernstein filtration, whose associated graded ring is $\mathbb{C}[x,\xi ]$. If $a,b\ne 0$, their nonzero leading symbols have nonzero product in this polynomial integral domain. Thus $ab$ has nonzero leading symbol and cannot vanish. Hence $A_1(\mathbb{C})$ has no nontrivial zero divisors.

Here is the left-handed Ore theorem. Let $S$ be a multiplicative set of regular elements of a ring, containing $1$ and excluding $0$. There is an injective Ore localization whose elements are left fractions $s^{-1}a$ if and only ifThis is the left Ore condition. For a noncommutative domain, taking $S=A\setminus \{0\}$ gives a division ring exactly when this condition holds. With zero-divisor denominators a further left reversibility condition is needed; the regular-denominator statement is the one used here.

Necessity follows by writing $a{s}^{-1}=t^{-1}b$ in the quotient and multiplying by $t$ and $s$, giving $ta=bs$ in the embedded original ring. For a construction proving sufficiency, use the left Ore fraction construction: pairs $(s,a)$ represent $s^{-1}a$, and $(s,a)$ and $(t,b)$ are equivalent whenfor suitable $u,v\in A$. Reflexivity and symmetry are immediate. For transitivity, combine $us=vt=w$ and $u^{\prime }t=v^{\prime }q=w^{\prime }$ by a common left multiple $hw=k{w}^{\prime }\in S$. Then $(hv-k{u}^{\prime })t=0$, so regularity gives $hv=k{u}^{\prime }$, which combines the numerator equalities and proves transitivity.

Addition uses the common denominator $w$, with numerator $ua+vb$. To multiply $s^{-1}a$ by $t^{-1}b$, choose $v\in S,c\in A$ with $va=ct$; setThe Ore condition supplies a common refinement whenever a representative or an Ore relation is changed, and regularity cancels the shared denominator, proving independence of choices. The same refinements verify the ring axioms; the formulas are simply addition and multiplication after clearing left denominators. The map $a\mapsto (1,a)$ is injective, since equivalence to zero would give $ua=0$ with $u\in S$. Each $s\in S$ becomes invertible. A homomorphism inverting $S$ extends uniquely by $(s,a)\mapsto f(s{)}^{-1}f(a)$, giving the universal property. For all nonzero denominators in a noncommutative domain, a nonzero fraction has inverse $(s^{-1}a{)}^{-1}=a^{-1}s$, so the quotient is a division ring. This is the requested proof sketch, with the fraction equivalence and multiplication made explicit.

It remains to check the left Ore condition for $A_1(\mathbb{C})$. Its graded polynomial ring is Noetherian by the Hilbert basis theorem. Lifting homogeneous generators of a graded left ideal and successively cancelling leading symbols proves that the filtered algebra is a left Noetherian ring: each subtraction lowers the nonnegative degree, so it terminates.

In any left Noetherian noncommutative domain, nonzero principal left ideals intersect. Otherwise $Ab\cap Aa=0$ with $a,b\ne 0$ would makean infinite direct sum of nonzero left ideals. To verify directness, reduce a finite relation modulo $Aa$ to make its first summand zero, then cancel $a$ on the right and repeat. Its increasing finite partial sums contradict the ascending chain condition. A nonzero element of $Aa\cap As$ therefore has the form $ta=bs\ne 0$, with $t\ne 0$, proving the required condition. Consequently $A_1(\mathbb{C})$ has a classical ring of left quotients, and it is a division ring.

For $n\ge 1$, the Weyl algebra $A=A_n(\mathbb{C})$ is generated by $x_1,\dots ,x_n,D_1,\dots ,D_n$ with $[D_i,x_j]={\delta }_{ij}$ and the other generator commutators zero. Iterating the differential Ore extension construction gives the ordered basis $x^{\alpha }{D}^{\beta }$. In the Bernstein filtration, both kinds of generator have degree one, andLeading symbols show that $A$ is a noncommutative domain. The Hilbert basis theorem and homogeneous-generator lifting by decreasing degree make it both left and right Noetherian.

It is also a simple ring. In a nonzero two-sided ideal, choose a nonzero element and a monomial $x^{{\alpha }_0}{D}^{{\beta }_0}$ of maximal total degree with nonzero coefficient $c$. Applying $(\mathrm{ad}D{)}^{{\alpha }_0}(\mathrm{ad}x{)}^{{\beta }_0}$ eliminates every lower-degree term and every different term of that maximal degree. The result is the nonzero scalar $(-1{)}^{|{\beta }_0|}{\alpha }_0!{\beta }_0!c$. Thus the ideal contains $1$. Here the scalar extraction by iterated Weyl commutators uses characteristic zero. Despite simplicity, $A$ has no nonzero finite-dimensional modules: in such a representation $[D_1,x_1]=I$ would have trace $0=\dim M$, impossible over $\mathbb{C}$. Its interesting module theory is necessarily infinite-dimensional.

For a finitely generated left module $M$, choose a finite-dimensional generating subspace $M_0$ and set $M_j=F_{j}A{M}_0$. This is a good filtration of a module. Its associated graded module is finite over the graded polynomial ring, so its cumulative Hilbert function is eventually a polynomial,with positive integer multiplicity $e(M)$. These are the Bernstein growth dimension of a Weyl algebra module and its multiplicity of a filtered module. Two good filtrations bound each other after fixed shifts: lift finite homogeneous generators in one filtration, bound their degrees in the other, and use compatibility with $F_{j}A$; then reverse the roles. The growth degree and leading coefficient therefore do not depend on the good filtration of a module. The degree is also the Gelfand–Kirillov dimension of a module and the dimension of the characteristic variety of a Weyl algebra module, the support of $\mathrm{gr}M$. Since $M$ is a quotient of a finite sum of copies of $A$, $d(M)\le 2n$.

The essential lower bound is the Bernstein inequality for Weyl algebra modules:Here is a full proof. Multiplication gives a linear map $F_{j}A\to {\mathrm{Hom}}_{\mathbb{C}}(M_j,M_{2j})$. Prove it injective by induction on $j$. At $j=0$ a scalar killing $M_0\ne 0$ must vanish. If $a\in F_{j}A$ kills $M_j$, then for every generator $z$, its commutator $[a,z]\in F_{j-1}A$ kills $M_{j-1}$: both $azm$ and $zam$ are zero for $m\in M_{j-1}$. Induction gives $[a,z]=0$ for all generators. In the ordered basis, $[D_i,a]$ differentiates the $x_i$ exponents and $[x_i,a]$ differentiates the $D_i$ exponents with a minus sign. Vanishing of all these commutators in characteristic zero forces $a$ to be a scalar. It then vanishes because it kills $M_0$. This proves the faithful finite-step action of a Weyl algebra and henceComparison of degrees gives $2n\le 2d(M)$, proving the inequality. Equally, without invoking eventual polynomiality, this estimate directly bounds the Gelfand–Kirillov dimension of a module below by $n$. Right modules satisfy the same inequality through the filtration-preserving isomorphism $A\cong A^{\mathrm{op}}$, $x_i\mapsto x_i$, $D_i\mapsto -D_i$.

A nonzero finitely generated module with $d(M)=n$ is a holonomic Weyl algebra module; the zero module is conventionally included. This minimal-growth class is stable under submodules, quotient modules and extensions. For $0\to N\to M\to Q\to 0$, take the induced and quotient filtrations. Their graded sequence is exact; Noetherianity of $\mathrm{gr}A$ makes the induced filtrations good. Thus the Hilbert functions add andif both nonzero terms have the top dimension, their multiplicities add. For a holonomic Weyl algebra module, every nonzero subquotient has dimension $n$, by the upper bound inherited from $M$ and Bernstein's lower bound. Each nonzero factor in a strict chain therefore consumes positive integral multiplicity. This proves the multiplicity bounds the length of a holonomic Weyl module:In particular a holonomic module is both Noetherian and Artinian and has finite length, although its vector-space dimension is infinite. This distinction separates finite-dimensional representation theory from finite-length Weyl module theory.

The polynomial module $\mathbb{C}[x_1,\dots ,x_n]$, with $x_i$ acting by multiplication and $D_i$ by differentiation, is generated by $1$. Its $M_j$ consists of polynomials of degree at most $j$, with dimension $\left(\genfrac{}{}{0ex}{}{j+n}{n}\right)$, so $d=n$ and $e=1$. It is simple: differentiating a maximal-degree monomial of a nonzero polynomial isolates a nonzero constant, and multiplication by polynomials then generates the whole module. A second basic example is the delta moduleUsing the reverse ordered basis $D^{\beta }{x}^{\alpha }$, its vector space is $\mathbb{C}[D_1,\dots ,D_n]$; $D_i$ acts by multiplication and $x_i$ by negative differentiation. The same argument proves simplicity and holonomicity. These two examples are exchanged by the automorphism $x_i\mapsto D_i$, $D_i\mapsto -x_i$. Free modules, in contrast, have growth dimension $2n$ and are not holonomic. Thus the central organizing invariants are good filtration of a module, growth dimension, characteristic support and multiplicity, with Bernstein's estimate explaining why dimension $n$ is the natural smallest nonzero size.

The determinant-one cyclic quotient of the affine plane has the closed embeddingHere ${\mu }_n$ denotes the cyclic group generated by the given diagonal matrix. We establish the presentation of the polynomial invariant ring and verify that its fibres really are the group orbits.

On the coordinate ring $A=\mathbb{C}[x,y]$, the inverse-pullback action multiplies $x^a{y}^b$ by ${\zeta }^{b-a}$. Since these monomials are a basis, a polynomial is invariant precisely when each of its nonzero monomials satisfies $a-b\equiv 0(\mathrm{mod}n)$. If $a\ge b$, such a monomial is $(x^n{)}^{(a-b)/n}(xy{)}^b$; if $b\ge a$, it is $(y^n{)}^{(b-a)/n}(xy{)}^a$. ThereforeThese generators give a surjective homomorphism $\mathbb{C}[u,v,w]\to A^{{\mu }_n}$, and $uv-w^n$ lies in its kernel of a ring homomorphism. To prove there are no further relations, reduce any monomial using $uv=w^n$. The result is a linear combination ofTheir images are respectively $x^j{y}^j$, $x^{ni+j}{y}^j$ and $x^j{y}^{ni+j}$. All have distinct exponent pairs, so they are linearly independent in $A$. Any polynomial in the kernel of a ring homomorphism has zero reduced expression and hence belongs to $(uv-w^n)$. ConsequentlyThis proves the claimed closed subvariety embedding of the affine quotient.

For surjectivity of $\pi$, if $u\ne 0$ choose $x^n=u$ and set $y=w/x$. Then $y^n=w^n/u=v$. If $u=0$, the relation forces $w=0$; choose $x=0$ and any $n$th root of $v$ for $y$. If two points have the same image and $x\ne 0$, equality of their $n$th powers gives $x^{\prime }={\zeta }^{k}x$ and equality of $xy$ gives $y^{\prime }={\zeta }^{-k}y$. If $x=0$, both first coordinates vanish, and the same argument using $y^n$ gives the orbit relation; the case $x=y=0$ has only that one point in its fibre. Thus every fibre is exactly one group orbit.

The map is finite: $x$ and $y$ satisfy the monic equations $T^n-u=0$ and $T^n-v=0$, and the finitely many monomials $x^a{y}^b$, $0\le a,b<n$, span $A$ as a module over its polynomial invariant ring. A finite morphism is closed when it is surjective as here and therefore gives the quotient topology. For a principal open subset defined by an invariant $h$, its regular functions pull back to $A_h$ andIndeed, because $h$ is invariant, an invariant fraction with denominator $h^k$ has invariant numerator. These principal open subsets cover the affine hypersurface, proving the required local equality of invariant regular functions. Together with the orbit fibres, this verifies the geometric quotient, not merely a bijection of underlying sets.

Let $S=k[X_0,\dots ,X_n]$ with its usual grading, and put $S(m{)}_d=S_{m+d}$. Define the twisting sheaf on projective space byMore explicitly, on $U_i=D_{+}(X_i)$ its sections are the homogeneous degree-$m$ part of $S_{X_i}$. They are a free rank-one module over $(S_{X_i}{)}_0=k[X_j/X_i:j\ne i]$, with generator $e_i=X_i^m$. These generators make sense for every integer $m$, since $X_i$ is invertible on this chart. Their transition rule isThe ratios are regular units on overlaps and satisfy the cocycle identity, so they glue to an invertible sheaf. In particular $\mathcal{O}(m)\otimes \mathcal{O}(r)\cong \mathcal{O}(m+r)$.

For $n\ge 1$, a global section is a compatible homogeneous degree-$m$ rational expression lying in every $S_{X_i}$. Inside the fraction field of $S$,To justify this, write a fraction in lowest terms in the unique factorization domain $S$. Membership in $S_{X_i}$ forces every irreducible divisor of its denominator to be associated with $X_i$. Since there are at least two nonassociated variables, the denominator must be a unit. ThereforeThe degree-$m$ monomials are indexed by nonnegative integers $a_0,\dots ,a_n$ with sum $m$. The stars and bars count givesHere and below, an all-integer binomial shorthand must use the counting convention $\left(\genfrac{}{}{0ex}{}{a}{n}\right)=0$ when $a<n$, including negative $a$. The polynomial extension of binomial coefficients to negative upper arguments does not give the stated dimensions. In dimension zero, ${\mathbb{P}}^0$ is one point and every ${\mathcal{O}}_{{\mathbb{P}}^0}(m)$ is trivial, so its space of global sections is $k$ for every $m$; this case is treated separately.

For a closed inclusion $i:H\hookrightarrow {\mathbb{P}}^n$, direct image sheaf formation is exact: its stalk is the original stalk at a point of $H$ and zero outside $H$. It preserves flabby sheaves, since restrictions on the target are restrictions between the corresponding open subsets of $H$. Push forward a flasque resolution of $\mathcal{F}$; exactness gives a flasque resolution of $i_{\ast }\mathcal{F}$, and its complex of global sections is the original one becauseTaking cohomology of these identical complexes proves sheaf cohomology under a closed inclusion:This argument applies even without quasi-coherence.

We derive the remaining sheaf cohomology dimensions using the given eventual vanishing, the long exact sequence in sheaf cohomology, and induction on dimension. Multiplication by the linear equation of a hyperplane $H\cong {\mathbb{P}}^{n-1}$ gives the hyperplane exact sequence for twisting sheavesExactness can be checked in each chart by quotienting its polynomial ring by the equation of $H$; multiplication is injective because that equation is a non-zero-divisor. We use the closed-inclusion cohomology identification to replace the cohomology of the final sheaf by that on $H$.

The dimension-zero base is a point, whose global-section functor is exact. Thus all its higher sheaf cohomology is zero. For $n=1$, the relevant long exact sequence isWhen $m\ge 0$, restriction of homogeneous polynomials to the hyperplane point is surjective: after choosing that point as $[1:0]$, the section $X_0^m$ restricts to a generator. Therefore the consecutive $H^1$ groups are isomorphic for $m\ge 0$. The given vanishing for large $m$ propagates down to $m=-1$. For $m<0$, both displayed $H^0$ groups are zero, and the sequence becomesStarting with $H^1(\mathcal{O}(-1))=0$, induction downward gives $h^1(\mathcal{O}(m))=-m-1$ for $m\le -2$. For degrees $i>1$, the point contributes no cohomology to the exact sequence, so consecutive $H^i$ groups are isomorphic for every $m$; the given eventual vanishing makes them all zero. Hence the complete positive-degree formula holds for ${\mathbb{P}}^1$.

Now let $n\ge 2$ and assume the formulas for $H\cong {\mathbb{P}}^{n-1}$. For every $m$, the restrictionis surjective: for $m\ge 0$ extend a polynomial in the hyperplane coordinates to the same polynomial on ${\mathbb{P}}^n$, and for $m<0$ both groups vanish because $H$ has positive dimension. Consequently the exact sequence gives an injectionFor $2\le i\le n-1$, the induction hypothesis says $H^{i-1}(H,{\mathcal{O}}_H(m))=0$, and gives the same injection in degree $i$. For each fixed $m$, composing finitely many injections reaches a sufficiently large twist, whose higher cohomology is zero by the given hypothesis. ThereforeFor $i>n$, the two neighbouring hyperplane groups $H^{i-1}(H,{\mathcal{O}}_H(m))$ and $H^i(H,{\mathcal{O}}_H(m))$ are zero by induction. Consecutive $H^i$ groups on ${\mathbb{P}}^n$ are then isomorphic, and eventual vanishing again makes them zero. This derives vanishing above the dimension too, without needing a special projective-space cohomology theorem.

For top cohomology the exact sequence now reduces toWrite $b_n(m)=h^n({\mathcal{O}}_{{\mathbb{P}}^n}(m))$. The induction hypothesis and eventual vanishing give the recurrenceConsecutive top groups agree for $m\ge -n+1$, so descending from a large twist gives $b_n(m)=0$ for $m\ge -n$. Below this range, iterating the recurrence gives a finite sum:The last equality follows by summing Pascal's identity. These short exact sequences also prove that every group whose dimension is being counted is finite-dimensional. Thus, for $n\ge 1$,With the stated counting convention, the latter is the requested single binomial formula. The base ${\mathbb{P}}^0$ has $h^0=1$ for all twists and no higher cohomology; it is not governed by the negative-twist $H^0$ rule for positive-dimensional projective space.

Finally calculate the canonical line bundle of a smooth variety from its transition functions. On $U_0$ write $t_j=X_j/X_0$ for $1\le j\le n$. On $U_i$, $i>0$, take the coordinates $u_j=X_j/X_i$ in increasing order of $j\ne i$. ThusIn their wedge product, $d{u}_0=-t_i^{-2}d{t}_i$ and
$d{u}_j=t_i^{-1}d{t}_j-t_j{t}_i^{-2}d{t}_i$. Every term involving a second $d{t}_i$ vanishes, so reordering the remaining differentials givesThis computation is valid in every characteristic. Multiply the ordered local generator on $U_i$ by $(-1{)}^i$. The resulting generators ${\eta }_i$ satisfy ${\eta }_i=(X_i/X_0{)}^{-n-1}{\eta }_0$ on $U_i\cap U_0$, and hence the corresponding transition rule on every overlap. They are exactly the transitions of $\mathcal{O}(-n-1)$. Therefore the canonical bundle of projective space is

For a line bundle, Serre duality statesThe intermediate groups on both sides vanish. In the two outer degrees, the top group at twist $m$ has the same dimension as the global-section group at twist $-m-n-1$:The polynomial degree on the right is nonnegative precisely when $m\le -n-1$, and its dimension is $\left(\genfrac{}{}{0ex}{}{-m-1}{n}\right)$. Interchanging $m$ and $-m-n-1$ checks the other outer degree. On ${\mathbb{P}}^0$ both sides are one-dimensional. Thus all the formulas are consistent with Serre duality, which was used only for this final consistency check, not to prove the cohomology formulas.

Work over $\mathbb{C}$, and let $C$ be a smooth projective curve of genus $g\ge 3$ and gonality three. A trigonal curve has a basepoint-free degree-three pencil, giving a finite morphism $f:C\to {\mathbb{P}}^1$ of degree three. It is not hyperelliptic, so its canonical map is an embedding. Let $D_t=f^{-1}(t)$, including its scheme multiplicities. The complete pencil has $h^0(D_t)=2$, and Riemann-Roch theorem givesThus the quotient of canonical sections evaluated on $D_t$ has dimension two, and $D_t$ spans a line in ${\mathbb{P}}^{g-1}$. This argument includes ramified fibres, rather than treating only three distinct points.

These two-dimensional quotients vary in a globally generated rank-two bundle $E$ on ${\mathbb{P}}^1$. More explicitly, the image ofhas constant rank two by the preceding dimension count, so it is a subbundle. The equality of the rank at every fibre justifies the bundle construction. On global sections it contains every canonical section, and therefore $H^0({\mathbb{P}}^1,E)=H^0(C,K_C)$. The Birkhoff–Grothendieck theorem givesGlobal generation forces nonnegative splitting degrees. Since $h^0(E)=a_1+a_2+2=g$,The natural map from $f^{\ast }E$ to $K_C$ is a surjection at every point, since the canonical system has no base points. By projectivization by quotients it gives a map $C\to F=\mathbb{P}(E)$ over ${\mathbb{P}}^1$, with $M{|}_C=K_C$. Its composition with the tautological map of $F$ is the canonical embedding of $C$, so $C\to F$ is itself a closed embedding. Each fibre of the ruling maps to the spanning line of $D_t$; their union is the canonical scroll of a trigonal curve, and the ruling restricts to the given $g_3^1$.

Put $a=a_2-a_1$. Tensoring $E$ by $\mathcal{O}(-a_2)$ identifies the abstract ruled surface with ${\mathbb{F}}_a=\mathbb{P}(\mathcal{O}(-a)\oplus \mathcal{O})$. The section coming from the quotient onto the smaller summand has self-intersection $-a$ and will be denoted by $B$. In this normalized presentation its tautological class is $B$; restoring the twist givesThis class gives the scroll map. It is an embedding if $a_1>0$. When $a_1=0$, it contracts $B$; thus the printed embedding description needs this positivity qualification. For example, in genus three the ruled model is ${\mathbb{F}}_1$ and its image is ${\mathbb{P}}^2$; in genus four the type $(0,2)$ has a quadric-cone image. In both cases the smooth curve and its canonical image are still described by the construction above.

As a divisor on $F$, the curve meets each fibre in degree three, so $C=3M+tL$ for an integer $t$. The scroll formula givesBy adjunction formula and $M{|}_C=K_C$,Taking degree on $C$ uses $\mathrm{deg}(L{|}_C)=3$ and gives $t=4-g$. ConsequentlyWriting $d=a+a_2+2$, this is