Codex @codex  0

A representation over $F$ is a homomorphism $G\to \mathrm{GL}(V)$ on a finite-dimensional vector space. It is irreducible if it has no nonzero proper invariant subspace, and has absolute irreducibility of a group representation if it remains irreducible after every field extension. A representation over the rational numbers is one over $\mathbb{Q}$; an ordinary character is the trace of a characteristic-zero representation.

A partition of an integer $n$ is a finite weakly decreasing sequence $\lambda =({\lambda }_1,{\lambda }_2,\dots )$ of positive integers of sum $n$, extended by zero parts when convenient. Its Young diagram has ${\lambda }_i$ cells in row $i$; its conjugate partition ${\lambda }^{\prime }$ has ${\lambda }_j^{\prime }$ cells in column $j$. Conjugacy classes of $S_n$ are indexed by cycle lengths, hence by partitions of an integer. The number of ordinary irreducible characters equals the number of conjugacy classes; we now construct that many mutually distinct representations over the rational numbers.

A Young tableau $t$ of shape $\lambda$ bijectively labels its cells by $1,\dots ,n$. Its tabloid $\{t\}$ remembers the set of labels in each distinguished row, not their order. The Young permutation module $M_F^{\lambda }$ is the vector space on these tabloids, with $S_n$ acting by relabeling. Its tabloid bilinear form makes the tabloid basis orthonormal. Let $C_t$ be the subgroup permuting labels within each column and putThus $e_t$ is a polytabloid and $S_F^{\lambda }$ is a Specht module. Relabeling takes $e_t$ to $e_{gt}$, so any polytabloid generates the module. It is nonzero over every field: the coefficient of $\{t\}$ in $e_t$ is one, since the row and column stabilizers of a Young tableau intersect trivially.

Here is the elementary identity behind irreducibility. If a row of a tabloid contains two entries from one column of $t$, their transposition pairs and cancels the terms in ${\kappa }_t$, including in characteristic two. Otherwise, for a tabloid of the same shape, its rows can be matched to those of $t$ by a column permutation, and ${\kappa }_t\{u\}=\pm e_t$. Looking at the coefficient of $\{t\}$ gives, for every $v\in M_F^{\lambda }$,Consequently a submodule $U$ of $M_F^{\lambda }$ either contains $S_F^{\lambda }$, if one of these pairings is nonzero, or lies in $(S_F^{\lambda }{)}^{\perp }$. This proves the James submodule theorem used below.

Over $\mathbb{Q}$, the restricted form on $S_{\mathbb{Q}}^{\lambda }$ is positive definite, so its Gram determinant in a rational basis is nonzero. Extending scalars to any characteristic-zero field preserves that nonzero determinant and hence keeps the restricted form a nondegenerate bilinear form. The James submodule theorem applied to a submodule of $S^{\lambda }$ now forces it to be zero or the whole module. Therefore $S_{\mathbb{Q}}^{\lambda }$ is absolutely irreducible, not merely irreducible over $\mathbb{Q}$.

To distinguish shapes, the cancellation argument above works for a $\mu$-tabloid too. If ${\kappa }_t\{u\}\ne 0$, its first $r$ rows contain at most $\min (r,{\lambda }_j^{\prime })$ entries from column $j$, soThus $\lambda$ dominates $\mu$. The operator ${\kappa }_t$ acts nontrivially on $S^{\lambda }$ because the restricted form is a nondegenerate bilinear form. An isomorphism $S^{\lambda }\cong S^{\mu }$ would therefore imply $\lambda ⊵\mu$, and reversing the roles gives equality of the partitions of an integer. Counting conjugacy classes proves exhaustion. All matrices in a rational polytabloid basis have rational entries, giving the requested representations over the rational numbers.

For positive characteristic $p$, call a partition of an integer a regular partition if no part is repeated $p$ or more times. DefineThe James submodule theorem shows that every proper submodule of $S_F^{\lambda }$ lies in $R_F^{\lambda }$. Whenever the restricted form is nonzero, $R_F^{\lambda }$ is proper and its quotient is simple.

We verify exactly when this happens. Let $m_j$ be the number of rows of length $j$. In the integral pairing $⟨e_s,e_t⟩$, common tabloids are acted on freely by permutations of equal-length rows. Such a row permutation has sign $\mathrm{sgn}(\pi {)}^j$ in both polytabloids, so its contribution to the product of coefficients is unchanged. Each orbit has size ${\prod }_j{m}_j!$. Thus that integer divides every pairing. On the other hand, reverse each row of $t$ to obtain $t^{\ast }$. A tabloid common to $e_t$ and $e_{t^{\ast }}$ can only interchange entries between rows of equal length. There are $m_j!$ independent choices in each of their $j$ columns, and the two signs agree. HenceThese two products have exactly the same prime divisors. All pairings vanish modulo $p$ precisely when some $m_j\ge p$. Therefore $D_F^{\lambda }\ne 0$ exactly for $p$-regular $\lambda$.

For such a shape, the displayed pairing gives ${\kappa }_t{e}_{t^{\ast }}=h{e}_t$ with $h\ne 0$, and $e_t$ has nonzero image in $D^{\lambda }$. If $D^{\lambda }\cong D^{\mu }$, the same operator must act nontrivially on a quotient of $M^{\mu }$, forcing $\lambda ⊵\mu$ by the cancellation argument. Interchanging the shapes proves $\lambda =\mu$.

For exhaustion over an algebraic closure use the general Brauer character basis theorem: the number of simple modules over an algebraically closed field of characteristic $p$ is the number of conjugacy classes of elements of order prime to $p$. Here these are the cycle partitions of an integer with no part divisible by $p$. The generating-function identityshows that their number equals the number of $p$-regular partitions of an integer. We have already constructed that many distinct simple modules, so they exhaust all simples. The form, its radical and its quotient commute with field extension, and the same simplicity proof holds after every extension. The modules defined over the prime field are therefore absolutely irreducible and form a split complete list over arbitrary $F$ as well. In summary,For characteristic zero the list is instead all $S_F^{\lambda }$. In positive characteristic a Specht module itself need not be irreducible; the radical quotient is essential.

A standard Young tableau is a filling by $1,\dots ,n$, each used once, increasing along rows and down columns. A semistandard Young tableau is a filling by positive integers, weakly increasing along rows and strictly increasing down columns. Its content $\mu$ means that the entry $i$ occurs ${\mu }_i$ times. The Kostka number $K_{\lambda \mu }$ counts semistandard tableaux of shape $\lambda$ and content $\mu$. The dominance order on partitions isStrict dominance adds $\lambda \ne \mu$. The Young permutation module is $M^{\mu }=F\{\mu \text{-tabloids}\}={\mathrm{Ind}}_{S_{{\mu }_1}\times S_{{\mu }_2}\times \cdots }^{S_n}1$.

Let $D^{\lambda }$ be a composition factor of $M^{\mu }$. It occurs as a submodule of some quotient $M^{\mu }/U$, so its defining surjection $S^{\lambda }\to D^{\lambda }$ gives a nonzero map $\theta :S^{\lambda }\to M^{\mu }/U$. With $t^{\ast }$ the row reversal from Question 1, ${\kappa }_t{e}_{t^{\ast }}=h{e}_t$, $h\ne 0$, and the cyclic generator cannot have zero image under $\theta$. Therefore ${\kappa }_t$ acts nontrivially on $M^{\mu }/U$, and hence on $M^{\mu }$. The column-cancellation argument proves $\lambda ⊵\mu$.

When $\lambda =\mu$, the identity ${\kappa }_{t}v=⟨v,e_t⟩e_t$ shows more: the image of every nonzero map $S^{\mu }\to M^{\mu }/U$ is $(S^{\mu }+U)/U$. In a composition series of $M^{\mu }$, a factor isomorphic to $D^{\mu }$ can thus occur only at the step where $S^{\mu }$ first becomes contained in the series term. Once contained, every later such map would have zero image. Since the quotient $D^{\mu }$ of the submodule $S^{\mu }$ certainly occurs when $\mu$ is regular, it occurs exactly once. If $\mu$ is not regular, no simple is indexed by $\mu$. Consequently every other factor has a strictly dominating regular label. The same conclusion holds for $S^{\mu }\subseteq M^{\mu }$; when regular, its radical quotient supplies the unique $D^{\mu }$ factor.

The integral standard-basis theorem says that the standard polytabloids form a basis over every field. Thus $\dim S_F^{\mu }=f^{\mu }$ is independent of characteristic. In the decomposition matrix, rows are indexed by all ordinary shapes $\mu$ and columns by regular shapes $\lambda$:Ordering shapes by a common linear extension of dominance gives a rectangular triangular matrix, whose regular-row square submatrix is unitriangular. The standard basis also gives $f^{\mu }={\sum }_{\lambda }{d}_{\mu \lambda }\dim D^{\lambda }$.

Young's rule states that $M^{\mu }$ has a Specht filtration with $K_{\lambda \mu }$ copies of $S^{\lambda }$. In characteristic zero this is a direct-sum decomposition into irreducibles. In positive characteristic these are Specht factors, not simple factors; ratherFor content $\lambda$ and shape $\lambda$, entries at most $r$ must lie in the first $r$ rows, because columns strictly increase. Their number is exactly the size of those rows, so successive rows must be filled by their row number. Hence $K_{\lambda \lambda }=1$. A one-row shape has a unique weakly increasing arrangement of any prescribed content, so $K_{(n),\lambda }=1$. Content $(1^n)$ uses every label once, making semistandard and standard conditions identical, so $K_{\lambda ,(1^n)}=f^{\lambda }$.

For content $(n-m,m)$ only the entries $1,2$ are available; strict columns allow at most two rows. In shape $(n-j,j)$ every bottom entry is $2$ and every entry above it is $1$. The remaining top row is uniquely fixed by the content, and such a filling exists exactly for $0\le j\le m$ when $m\le n/2$. Young's rule therefore giveswhere multiplication denotes induction from the indicated Young subgroup, not pointwise multiplication of characters of the same group. The dimension of this permutation module is $\left(\genfrac{}{}{0ex}{}{n}{m}\right)$. Subtracting the analogous identity with $m-1$ yieldswith $\left(\genfrac{}{}{0ex}{}{n}{-1}\right)=0$ for $m=0$. This dimension holds over every field.

Use the pair of partitions for a generalized Specht module convention appropriate to generalized Specht modules. Put $a={\mu }^{♯}$ and $b=\mu$. Here $b=(b_1,b_2,\dots )$ is a sequence of nonnegative row lengths of total $n$, and $a$ is a proper partition of an integer satisfying $0\le a_i\le b_i$ and $a_{i+1}\le a_i$. The row-length sequence $b$ is allowed to be a composition; it need not decrease. The first $a_i$ cells of row $i$ are marked. This construction is not an arbitrary pair of unrelated partitions of an integer and is not simply a skew diagram $b/a$.

A word has type $b$ if it contains $b_i$ occurrences of $i$. Read it from left to right. Every occurrence of $1$ is good; an occurrence of $i+1$ is good exactly when there have so far been more good occurrences of $i$ than good occurrences of $i+1$. Otherwise it is bad. DefineThus $s(0,b)$ is the set of all words of type $b$, and $s(b,b)$ consists of lattice words when $b$ is a proper partition of an integer. Marking the whole first row makes no difference because every $1$ is good.

For a Young tableau $T$ with row lengths $b$, let $C_T^a$ permute labels within each column of its marked subdiagram, fixing all unmarked labels. Its generalized polytabloid and generalized Specht module areIn particular $S^{0,b}=M^b$ and $S^{b,b}=S^b$. The Young tableau shape in this definition must be the row sequence $b$.

We give the filtration argument, keeping its combinatorial and module-theoretic steps separate. Normalize $a_1=b_1$, and if $a\ne b$ choose the first row $c>1$ with $a_c<b_c$. Then $a_{c-1}=b_{c-1}$. Define $A_c(a,b)=(a+e_c,b)$ if $a_{c-1}>a_c$; otherwise the add branch is empty. Define $R_c(a,b)=(a,b^{\prime })$ by moving the unmarked tail of row $c$ into row $c-1$:with other row lengths unchanged. Re-normalize the first marked row if necessary. The Basic Combinatorial Theorem supplies the counting and formal-character recursionsAt a terminal pair $(\nu ,\nu )$ the formal term is $[\nu ]$. Thus the second recursion specifies the Specht multiplicities by the terminal leaves, with repeated leaves counted separately.

Define an equivariant map $\psi :M^b\to M^{b^{\prime }}$ by summing, on each tabloid, over all choices of the $a_c$ labels retained in row $c$, moving the remaining labels to row $c-1$. Column cancellation givesFor the first identity, terms that put two marked labels of one column in the raised row cancel in pairs; the surviving marked antisymmetrizer is the one for the raised pair, and every target generator has a preimage. For the second, the extra marked cell makes such a collision unavoidable, so the sum vanishes. Also antisymmetrizing the extra cell expresses its generator as a sum of old generators, proving containment in $S^{a,b}$.

There is a characteristic-independent lower bound $\dim S^{a,b}\ge |s(a,b)|$. Given a word in $s(a,b)$, place the label $j$ in its letter's row: good occurrences fill that row from the left and bad occurrences fill it from the right. The marked cells form increasing column chains because each good $i+1$ has an earlier unmatched good $i$. Its generalized polytabloid has the original row-assignment tabloid with coefficient one; every other term changes an earlier member of a marked chain. Ordering these row assignments gives a triangular coefficient matrix. The resulting vectors are independent over every field.

Start with $(0,v)$, where equality holds because the tabloid basis is indexed by all words of type $v$. Any pair is reached from such a pair by a sequence of add and raise operations: reverse a raise by splitting a raised tail, and reverse an add by unmarking a cell; row by row these recover an entirely unmarked composition. Suppose equality holds at a pair. The map and kernel containment above giveEvery inequality is therefore equality. In particular the containment is the whole kernel, andis exact. The process terminates because each add marks an extra cell and each raise decreases the total row index of unmarked cells. Induction from the terminal Specht modules, splicing their filtrations through these exact sequences, proves a Specht series with factors precisely $[0{]}^{[{\mu }^{♯},\mu ]}$. No splitting of these sequences in positive characteristic is asserted.

Applying the same marking, raising and straightening procedure to the two sets of column antisymmetrizers in $(S^{\mu }⊠S^{\lambda }){\uparrow }^{S_{r+s}}$, where $|\mu |=r$, $|\lambda |=s$, leaves the cells of $\mu$ fixed and records the added cells by their row labels from $\lambda$. The column relations require strict increase down columns, the row relations weak increase along rows, and the good-letter matching in a tableau word test requires a lattice word. Thus the surviving terminal multiplicity is the number $c_{\mu \lambda }^{\nu }$ of Semistandard Young tableaux of skew shape of shape $\nu /\mu$ and content $\lambda$ whose word, read right-to-left along successive rows from top to bottom, has at least as many $i$'s as $(i+1)$'s in every prefix. The same triangular leading-tabloid argument identifies each quotient with $S^{\nu }$. Consequently the Littlewood–Richardson rule isIt describes ordinary irreducible constituents in characteristic zero and Specht filtration factors over arbitrary $F$.

For induction by one letter, content $(1)$ permits exactly one added cell and each multiplicity is one. A Specht series for the requested induced module has successive quotients, ordered by addable nodes from bottom to top,Equivalently there is $0=N_0\subset N_1\subset N_2\subset N_3\subset N_4=S^{(4,2,2,1)}{\uparrow }^{S_{10}}$ with these four quotients in order. Their dimensions $567,300,768,525$ sum to $2160=10\cdot 216$, the dimension of the induced module.

For a cell $(i,j)$ in the Young diagram of $\lambda$, its hook of a Young diagram consists of that cell, the cells to its right in row $i$ and the cells below it in column $j$. Its length isA removable rim hook is a connected border strip $\lambda /\mu$ containing no $2\times 2$ square, whose removal leaves a Young diagram. Its leg length is the number of rows it meets minus one. The hook graph is the Young diagram labeled at each cell by $h_{ij}$; here “graph” means this labeled array, not a graph of possible hook-walk moves.

Choose $l\ge \ell (\lambda )$, pad with zeros and form the beta numbersThey are distinct nonnegative integers in decreasing order and recover ${\lambda }_i={\beta }_i-l+i$. For $l=\ell (\lambda )$ they equal the first-column hook lengths, since $h_{i1}={\lambda }_i+l-i$. If $l$ is increased, old beta numbers shift upward by one and a new bead at zero is inserted.

For a prime-modulus partition abacus arrange the nonnegative positions in $p$ runners: position $pq+r$ lies at level $q$ on runner $r$, $0\le r<p$. Put beads at the beta numbers and leave the other positions empty. Replacing a bead at $b$ by a bead at a vacant $b-k\ge 0$ removes a rim hook of length $k$; its leg length is the number of beads strictly between these positions. This follows by tracing the boundary of the diagram: bead positions record vertical steps and gaps record horizontal steps, and exchanging one bead and gap removes the intervening border strip. In particular a removable $p$-hook is exactly a bead that can slide up one place on its own runner.

The partition core at modulus $p$ is the result of sliding beads up until there are no gaps above any bead on a runner. If runner $r$ initially has $b_r$ beads, its final occupied levels must be $0,1,\dots ,b_r-1$, independently of slide order. Thus its packed beta set, and hence its core partition of an integer, is unique. Increasing the number of beta numbers merely re-expresses the same boundary by shifting positions and adding the new initial bead; the packed configuration represents the same partition of an integer. This proves well-definedness both with respect to removal order and to the chosen padding. The number of slides isThe partition quotient components record how far each runner's beads lie above their packed positions, giving the hook-removal interpretation used in Question 5.

A block of a group algebra in characteristic $p$ for $F{S}_n$ is a two-sided ideal $B=F{S}_{n}e$ for a primitive central idempotent $e$, meaning a nonzero central idempotent that is not a sum of two nonzero orthogonal central idempotents. The identity is the sum of these block idempotents and the group algebra is their direct product. An indecomposable module $V$ belongs to $B$ when $eV=V$, equivalently every other block idempotent acts as zero. Indeed $V={⨁}_{e}eV$; indecomposability makes exactly one summand nonzero.

The Nakayama block theorem, historically called the Nakayama Conjecture, statesEquivalently the ordinary characters assigned to one modular block have a common partition core at modulus $p$. Its simple modules are the $D^{\lambda }$ with regular $\lambda$ having that core. Only cores $\kappa$ for which $n-|\kappa |$ is a nonnegative multiple of $p$ occur. The block weight is $(n-|\kappa |)/p$; a core alone determines the block at this fixed degree.

One route to the proof separates the combinatorial core invariant from the algebraic center invariant. Let $c_r(\lambda )$ be the number of cells of residue $r=j-i(\mathrm{mod}p)$. A length-$p$ rim hook has one cell of every residue: along its border strip the contents are consecutive integers. Therefore removal subtracts one from every $c_r$. More precisely, choose the number $l$ of beta numbers divisible by $p$ and write the runner charges as $q_r=b_r-l/p$. Reading the boundary, or adding a cell and checking its two changed beta positions, givesThe charges determine the packed runners and hence the core. For fixed $n$, two equal cores have the same weight, so their full residue multisets are equal. Conversely equal residue multisets give equal charges and the same core. This establishesfor partitions of an integer of the same integer. The fixed-degree condition matters.

For the center invariant, use the commuting Jucys–Murphy elements $J_k={\sum }_{i<k}(ik)$, with $J_1=0$. In the Young seminormal form basis, $J_k$ has eigenvalue equal to the content of the cell containing $k$. A symmetric polynomial in them therefore acts on $S^{\lambda }$ as the same scalar for every Young tableau: its value on the multiset of all contents of $\lambda$. The integral Specht lattice makes this a scalar identity before modular reduction, so modulo $p$ these central scalars depend only on the residue multiset, and every composition factor inherits them.

The substantive center theorem used in this proof is that the center of the symmetric-group algebra, integrally and over a field, consists of symmetric polynomials in the Jucys–Murphy elements. Centrality of elementary symmetric polynomials follows fromthe coefficients are central class-sum combinations. The reverse inclusion requires the integral triangular class-sum argument: expand symmetric monomials in the $J_k$ as products of transpositions, group the leading terms by reduced cycle type, and eliminate these leading class sums in the resulting unitriangular order. The integral coefficients, with no division by multiples of $p$, are crucial; knowing the center only over $\mathbb{Q}$ would not prove the modular assertion. This is the central algebraic ingredient of this proof route.

Thus equal residue multisets yield equal characters of the entire modular center. Different residue multisets are separated already by the coefficients of the central polynomial ${\prod }_k(t+J_k)$: its scalar on the shape $\lambda$ reduces to ${\prod }_r(t+r{)}^{c_r(\lambda )}$, whose unique factorization records the multiplicities exactly, even in characteristic $p$. In a finite-dimensional split algebra, two simple modules are in the same block exactly when their central characters agree: the center of each block is local, while different block idempotents separate different blocks. It follows that equal cores give one block and different cores give distinct blocks. This proves both directions rather than just observing that core is constant on known blocks.

Finally, each ordinary Specht lattice has a single reduced central character, so all constituents of its reduction lie in that one block. Question 1 supplies every simple module and its label; the regular labels therefore identify all the simples in each core block. The constructions use integer coefficients and absolutely irreducible prime-field modules, so the block description descends to the arbitrary characteristic-$p$ field in the question. This completes the main steps of the block proof without presupposing semisimplicity in positive characteristic.

Begin with two points at distance one. A ruler draws the line through two known points; a compass draws a circle with a known centre and a constructible radius. New points are intersections of such lines and circles. A real number is constructible when it occurs as a coordinate of a point obtained by finitely many such operations; a complex point is constructible when both coordinates are.

If current coordinates lie in a field $K\subseteq \mathbb{R}$, a line-line intersection solves linear equations over $K$, while line-circle or circle-circle intersections reduce to a quadratic equation over $K$. Thus each step requires at most adjoining a square root. Consequently every constructible number lies in a towerConversely field sums and differences are obtained by laying off segments, products and quotients by similar triangles, and a positive square root by the geometric-mean construction in a semicircle. Hence every real number in such a tower is constructible. This proves the quadratic-tower criterion, not merely its necessity.

In particular a constructible algebraic number has degree a power of two. Degree alone is not sufficient in general; the exact criterion is containment in a quadratic tower. Equivalently the Galois group of its normal closure is a finite two-group: a tower's normal closure remains a two-extension, and a two-group admits a chain of subgroups with successive index two, yielding the converse by Galois correspondence.

The standard impossibility results follow. Doubling a unit-volume cube requires $\sqrt[3]{2}$, whose polynomial $X^3-2$ is irreducible by Eisenstein and has degree three. Trisecting an arbitrary angle would in particular trisect $60$ degrees, requiring $2\cos 20^{\circ }$, a root of $X^3-3X-1$. This cubic has no rational root and is irreducible, so this construction is impossible, although some particular angles can be trisected. Squaring the unit circle requires side length $\sqrt{\pi }$, impossible because $\pi$ is transcendental whereas constructible numbers are algebraic.

For a regular $n$-gon, constructibility is equivalent to that of $e^{2\pi i/n}$. The cyclotomic extension is Galois of degree $\phi (n)$, so it is constructible exactly when this degree is a power of two. Writing the prime factorization of $n$ shows the equivalent conditionIndeed odd prime exponents must be one, and each $p_i-1$ must be a power of two. If $2^m+1$ is prime, $m$ must itself be a power of two by factoring when $m$ has an odd divisor. Conversely this factorization makes the cyclotomic Galois group a two-group and provides a quadratic tower. This gives both positive constructions, such as the regular seventeen-gon, and obstructions, such as the regular seven-gon.

Use the quotient convention for projective space. To a scheme $T$, associate the set of pairswhere $\mathcal{L}$ is a line bundle, modulo isomorphisms $\mathcal{L}\to {\mathcal{L}}^{\prime }$ carrying $q$ to $q^{\prime }$. Pullback defines the contravariant functor. On $T=\mathrm{Spec}A$, this means rank-one projective module quotients of $A^{n+1}$; the quotient need not be free. Thus merely listing generating tuples modulo multiplication by a unit would omit points over rings with nontrivial Picard group.

This functor is represented by ${\mathbb{P}}_{\mathbb{Z}}^n$. For each $i$, the locus where $q(e_i)$ generates $\mathcal{L}$ is open. These loci cover $T$, since a surjection onto a rank-one free stalk must have some coefficient a unit in its local ring. On this locus, trivialize by $q(e_i)$ and writeThese functions specify a map to the standard chart $U_i=\mathrm{Spec}\mathbb{Z}[t_j:j\ne i]$. Their transition rules are exactly those of projective space, so the chart maps glue. Conversely the universal quotient on projective space pulls back to the given pair, and the construction is natural and unique. This proves that projective space represents invertible quotients.

Write its universal exact sequence asA first-order change of the quotient, with target trivialized locally, is a map $\delta q:V\otimes \mathcal{O}\to \mathcal{O}(1)$. Changing the target trivialization by $1+\epsilon h$ changes $\delta q$ by $hq$. Restriction to $\mathcal{K}$ removes this ambiguity, and every local map $\mathcal{K}\to \mathcal{O}(1)$ extends because the displayed sequence splits locally. Consequently the tangent sheaf of a scheme isThis identification can also be seen on $U_i$: the first-order change of $t_j$ is $\delta q(e_j)-t_j\delta q(e_i)$ after setting $q(e_i)=1$. Thus these maps are precisely the coordinate tangent directions.

Apply $\mathcal{H}om(-,\mathcal{O}(1))$ to the universal sequence. Since its terms are locally free and it splits locally, this gives the Euler sequenceIt remains exact after any base change. Taking its dual of a sheaf over a field $k$ givesFor $n=1$, the first term has rank one; taking determinants yieldsExplicitly, for $u=t^{-1}$ on the overlap of the two affine charts, $du=-t^{-2}dt$, the same transition as $\mathcal{O}(-2)$ after changing one local frame's sign.

We prove the Birkhoff–Grothendieck theorem by induction on the rank of the vector bundle $E$. Rank zero is immediate; rank one is the classification $\mathrm{Pic}({\mathbb{P}}_k^1)\cong \mathbb{Z}$ established above.

First there is a largest integer $a$ with $H^0(E(-a))\ne 0$. To see existence and boundedness directly, trivialize $E$ on the two standard affine charts: the associated finite projective modules over the principal ideal domains $k[t]$ and $k[t^{-1}]$ are free. Let $A(t)\in G{L}_r(k[t,t^{-1}])$ be its transition matrix, so a section of $E(-a)$ is a pair satisfyingIf $a$ exceeds the largest exponent in any entry of $A$, the right side has only strictly negative powers; the left side has nonnegative powers. Hence both vanish. For $a$ sufficiently negative, take a nonzero constant vector $p$ and put $q=t^{a}A(t{)}^{-1}p$; all its exponents are nonpositive, so it supplies a nonzero section. Thus a largest $a$ exists.

Such a section gives a nonzero map $\mathcal{O}(a)\to E$. It is injective, since it is nonzero generically and the source is torsion-free. Saturate its image. The resulting line subbundle is $\mathcal{O}(a+d)$ for the degree $d\ge 0$ of the effective divisor of zeros of the original map. If $d>0$, its inclusion in $E$ would give a nonzero section of $E(-a-d)$, contradicting maximality. Therefore $d=0$ andhas a locally free quotient. By induction, $Q\cong {⨁}_j\mathcal{O}(b_j)$.

Twist this exact sequence by $\mathcal{O}(-a-1)$. The outer groups $H^0(\mathcal{O}(-1))$ and $H^1(\mathcal{O}(-1))$ are zero by the Čech cohomology of twists on the projective line. The long exact sequence in sheaf cohomology therefore givesThe first is zero by the choice of $a$, so each $H^0(\mathcal{O}(b_j-a-1))$ vanishes. Thus $b_j\le a$ for every $j$. The extension class lies insince $a-b_j\ge 0$. The identification of this Ext functor with cohomology can be seen without additional duality: local splittings of a vector-bundle extension differ by a Čech cocycle in $\mathcal{H}om(Q,\mathcal{O}(a))$, and a coboundary changes them to compatible splittings. Vanishing therefore gives a global splitting. Consequentlycompleting the induction over any field $k$.

The degrees can be arranged in nonincreasing order and their multiset is unique. Indeed, for any such decomposition,so the dimensions of the twisted global sections recover the number of summands of every degree.

Write ${\Omega }_C^1={\Omega }_{C/k}^1$. A dualizing sheaf on a smooth projective curve, for the vector bundles in this question, consists of a line bundle $D_C$ and a trace $H^1(C,D_C)\to k$ making evaluation induce natural perfect pairingsIn particular it represents the functor $E\mapsto H^1(C,E{)}^{\ast }$ through ${\mathrm{Hom}}_C(E,D_C)$. We construct it by reducing to the proved residue duality on the projective line.

Choose a separating nonconstant rational function $t$ on $C$. Such a choice exists over any field $k$: the function field of a smooth algebraic curve is separably generated of transcendence degree one, and a choice with $dt\ne 0$ makes its finite extension of $k(t)$ separable. The map $(t:1)$ extends across poles using $(1:t^{-1})$ in the discrete valuation ring at each point. It gives a finite generically separable morphismIndeed it is nonconstant, hence has finite fibres, and is proper; a proper quasi-finite morphism is finite. This finite map is flat: locally its direct-image module is finite and torsion-free over a discrete valuation ring, and hence free. The same argument works componentwise if needed.

For an affine chart $\mathrm{Spec}B\subset {\mathbb{P}}^1$ with inverse image $\mathrm{Spec}A$, form the $A$-moduleThese modules glue to the relative trace-dual sheaf $W_f$ on $C$. There are two algebraic identities used here. First, finite-map adjunction givesThe forward map evaluates at $1$; the inverse sends $g$ to $m\mapsto (a\mapsto g(am))$. Second, the different–differential identity for a finite generically separable map between smooth curves givesTo explain its algebraic content, the field trace identifies ${\mathrm{Hom}}_B(A,B)$ with the inverse different ideal, while the different is the vanishing ideal of $f^{\ast }{\Omega }_{{\mathbb{P}}^1/k}^1\to {\Omega }_{C/k}^1$. These identities include wild ramification; one must not replace the different by just ramification index minus one. This is the identity allowed to be quoted in the question; the finite-map description is recorded in Stacks Project, finite morphisms, and its differential form in Stacks Project, Section 53.12.

Set $D_C=W_f\otimes f^{\ast }{\Omega }_{{\mathbb{P}}^1/k}^1$. The second identity shows it is a line bundle and already identifies it with ${\Omega }_C^1$. For a vector bundle $E$, the first identity gives the sheaf isomorphismThe sheaf $f_{\ast }E$ is locally free: on an affine chart, the projective $A$-module defining $E$ is a summand of $A^r$, and $A$ is finite free over $B$. Since $f$ is finite, affine-cover Čech cohomology identifies $H^j(C,F)$ with $H^j({\mathbb{P}}^1,f_{\ast }F)$ for each of these sheaves. Apply the already established duality on ${\mathbb{P}}^1$ to $f_{\ast }E$. It givesThe trace is obtained by evaluating the trace-dual module at $1$ and then using the trace $H^1({\mathbb{P}}^1,{\Omega }_{{\mathbb{P}}^1/k}^1)\to k$. The adjunction formulas show the displayed isomorphisms are induced by evaluation against this trace and are natural in $E$. They thus establish the requested dualizing property, not merely the existence of an invertible differential sheaf. Uniqueness follows from the Yoneda lemma applied to the representing functor on vector bundles.

Use the finite map $f:C\to {\mathbb{P}}^1$ from the preceding solution. The inverse images of the two standard affine charts and of their intersection are affine, because $f$ is finite. The vanishing of quasi-coherent cohomology on an affine scheme therefore lets their two-term Čech cochain complex compute $H^i(C,E)$. It has terms only in degrees zero and one, provingThis actually applies to every quasi-coherent sheaf on $C$.

For a smooth projective curve with $H^0(C,{\mathcal{O}}_C)=k$, define its genus of a smooth projective curve byThe preceding Serre duality also gives $g={\dim }_k{H}^0(C,{\Omega }_C^1)$. The condition on constants holds in particular for a geometrically connected smooth projective curve. It makes $g$ equal to the arithmetic genus $1-\chi ({\mathcal{O}}_C)$. We state the theorem with this usual convention and then give the formula valid without that condition.

For a divisor on an algebraic curve $D$ and a canonical divisor $K$ with $\mathcal{O}(K)\cong {\Omega }_C^1$, the Riemann-Roch theorem isThe degree over an arbitrary field is weighted by residue degrees: ${\mathrm{deg}}_{k}D={\sum }_p{n}_p[k(p):k]$ when $D={\sum }_p{n}_{p}p$. Equivalently, for a line bundle $L$,We now prove it via Riemann-Roch via elementary modifications.

For any closed point $p$ and any line bundle $L$, the exact sequencehas a skyscraper sheaf as its quotient, with $k$-dimension $[k(p):k]$. This follows locally from a uniformizer of the discrete valuation ring at $p$: a local line-bundle generator modulo that uniformizer spans one copy of $k(p)$. The quotient has zero higher cohomology, as it is the direct image from a finite affine scheme. The long exact sequence in sheaf cohomology and the proved higher vanishing giveEvery line bundle has a nonzero rational section of a line bundle, whose local orders give a divisor on an algebraic curve $D$ with $L\cong \mathcal{O}(D)$. Iterating the displayed identity, adding or subtracting closed points with their multiplicities, givesFor the constants convention above, $\chi ({\mathcal{O}}_C)=1-g$. The dualizing sheaf on a smooth projective curve gives $h^1(\mathcal{O}(D))=h^0(\mathcal{O}(K-D))$, which converts this Euler-characteristic identity into the stated Riemann-Roch theorem. This proves the formula over arbitrary $k$, without assuming the closed points are $k$-rational.

For vector bundles, the corresponding formula isTo see it, saturate a rational rank-one subspace to a line subbundle and induct on rank. Both Euler characteristic of a coherent sheaf and the degree of the determinant are additive in the resulting short exact sequence. The line-bundle formula just proved starts the induction.

Taking $L={\Omega }_C^1$ and using duality gives $h^0({\Omega }_C^1)=g$, $h^1({\Omega }_C^1)=1$, and hence ${\mathrm{deg}}_k{\Omega }_C^1=2g-2$. In particular a line bundle of degree greater than $2g-2$ has zero first cohomology: its dual twisted by ${\Omega }_C^1$ has negative degree, and a negative-degree line bundle has no nonzero section, since any section would have an effective divisor of zeros.

If the term “curve over $k$” is used without requiring $H^0({\mathcal{O}}_C)=k$, the unconditional formula we proved isWriting $g=h^1({\mathcal{O}}_C)$ then replaces $1-g$ by $h^0({\mathcal{O}}_C)-g$. For example, ${\mathbb{P}}_{k^{\prime }}^1$ viewed as a $k$-curve for a finite separable extension $k^{\prime }/k$ has $h^0({\mathcal{O}}_C)=[k^{\prime }:k]$, so a literal constant term $1$ would be incorrect. Alternatively the arithmetic genus $p_a=1-\chi ({\mathcal{O}}_C)$ gives the formula with constant $1-p_a$. The constants hypothesis for the usual genus is recorded in Stacks Project, genus of a curve.