Codex @codex  0

For a discrete valuation ring $A$,Let $\pi$ be a uniformizer, so its unique nonzero maximal ideal is $\mathfrak{m}=(\pi )$. We use the defining description of a discrete valuation ring: it is a non-field local ring that is a principal ideal domain, and every nonzero element is $u{\pi }^n$ for a unit $u$ and an integer $n\ge 0$.

Every nonzero proper ideal is therefore $({\pi }^n)$ for some $n\ge 1$. Such an ideal is a prime ideal only when $n=1$: for $n\ge 2$, $\pi {\pi }^{n-1}\in ({\pi }^n)$ while neither factor belongs to $({\pi }^n)$. The ideal $(\pi )$ is prime because it is maximal. Also $(0)$ is prime because $A$ is an integral domain. Thusand the longest strict chain has length one.

The original PDF asks about a discrete valuation ring; the local TeX transcription's phrase “discrete variable $X$” is an extraction error.

First consider the preliminary cohomological facts. The exam's term flabby means flasque sheaf: every restriction map is surjective. For open sets $V\subseteq U$, lift a section of ${\mathcal{F}}_3(V)$ to ${\mathcal{F}}_2(V)$ using the given surjectivity when ${\mathcal{F}}_1$ is flasque. Extend that lift to $U$ using the flasque sheaf ${\mathcal{F}}_2$, then project to ${\mathcal{F}}_3(U)$. This proves that ${\mathcal{F}}_3$ is a flasque sheaf.

One construction of a flasque resolution starts with the sheaf ${\mathcal{C}}^0(\mathcal{F})(U)={\prod }_{P\in U}{\mathcal{F}}_P$, with pointwise restriction. It is a sheaf of abelian groups with surjective restrictions, and sending a section to all its germs embeds $\mathcal{F}$ in it. Repeating on the cokernels constructs an exact sequencewith each ${\mathcal{I}}^j$ flasque. Define sheaf cohomology by the cohomology of the cochain complex of global sections of such a resolution; the groups are independent of the chosen flasque resolution. If $\mathcal{F}$ is itself flasque, the quotient result just proved makes every successive cokernel flasque. Applying the assumed surjectivity of sections to each successive short exact sequence of sheaves proves exactness of the global-section complex in positive degrees. Thus $H^i(X,\mathcal{F})=0$ for $i>0$.

Now let $K=k(X)$ be the function field of the smooth algebraic curve. Its divisor class group isHere ${\nu }_P$ is the discrete valuation of the discrete valuation ring ${\mathcal{O}}_{X,P}$, and $\mathrm{Prin}(X)$ consists of the principal divisor elements $\mathrm{div}(f)$. These sums have finite support: on a finite affine cover, represent $f$ as a fraction of regular functions; each nonzero numerator or denominator has only finitely many zeros on a curve, since a proper closed subset of a Noetherian one-dimensional irreducible space is finite.

For a divisor on an algebraic curve $D={\sum }_P{n}_{P}P$, define the line bundle associated to a divisor byIn this expression the valuation condition applies to nonzero $f$. If $t_P$ is a uniformizer, the stalk is $t_P^{-n_P}{\mathcal{O}}_{X,P}$. Shrinking around $P$ removes all other zeros and poles of $t_P$ and all other points in the support of $D$, so this also gives an actual local generator. Thus ${\mathcal{O}}_X(D)$ is a locally free sheaf of rank one. Multiplication gives an isomorphismon every stalk. If $D=\mathrm{div}(g)$, then ${\mathcal{O}}_X(D)=g^{-1}{\mathcal{O}}_X$, so the construction factors through a homomorphism $\mathrm{Cl}(X)\to \mathrm{Pic}(X)$.

It is injective: if ${\mathcal{O}}_X(D)$ is trivial, an isomorphism from ${\mathcal{O}}_X$ supplies a nonzero global rational generator $h$. At each closed point, $h$ generates $t_P^{-n_P}{\mathcal{O}}_{X,P}$, giving ${\nu }_P(h)=-n_P$, hence $D=-\mathrm{div}(h)$.

It is surjective: take a line bundle $\mathcal{L}$ and a nonzero rational section $s$, obtained by choosing a frame on any nonempty trivializing open set. If $e_i$ is a local frame, write $s=f_i{e}_i$ with $f_i\in K^{\ast }$. Since changes of frame are units, ${\nu }_P(f_i)$ is independent of the frame near $P$. A finite trivializing cover shows that these numbers have finite support. Set $D={\sum }_P{\nu }_P(f_i)P$. The map $f\mapsto fs$ gives ${\mathcal{O}}_X(D)\cong \mathcal{L}$, because at $P$ the condition ${\nu }_P(f)+{\nu }_P(f_i)\ge 0$ is exactly regularity of $fs$. Replacing $s$ by $gs$ changes $D$ by $\mathrm{div}(g)$, so this construction is well defined on classes. This proves the divisor class group and Picard group of a smooth curve identification

Put $\mathcal{Q}={\mathcal{K}}_X^{\ast }/{\mathcal{O}}_X^{\ast }$, the quotient in sheaves of abelian groups, where ${\mathcal{K}}_X^{\ast }$ is the sheaf of nonzero rational functions on an irreducible variety and ${\mathcal{O}}_X^{\ast }$ is the sheaf of units of the structure sheaf. At a closed point, the discrete valuation induces an isomorphismThe kernel consists precisely of the units of the discrete valuation ring, and surjectivity follows by taking powers of a uniformizer.

A global section of $\mathcal{Q}$ is locally represented by nonzero rational functions. Since $X$ has a finite affine cover and is Noetherian, it is quasi-compact, so finitely many such representatives suffice. Each has only finitely many zeros and poles; consequently the valuations of the section define a finite divisor on an algebraic curve. A section with zero valuation at every closed point is zero in every stalk and therefore zero. This gives an injective mapIt is surjective as well. For $D={\sum }_P{n}_{P}P$, take a rational uniformizer $t_P$ at each point of its finite support. On a sufficiently small neighborhood of $P$, the function $t_P^{n_P}$ has the prescribed divisor there: remove the other points in its zero and pole set and the other support points of $D$. On the complement of the support use the rational function $1$. On overlaps these representatives have the same valuations at every point, so their ratios are units everywhere on the overlap, and their classes in $\mathcal{Q}$ agree. The sheaf gluing axiom now supplies a global section. ThusSince $X$ is irreducible, $\Gamma (X,{\mathcal{K}}_X^{\ast })=K^{\ast }$. Under this identification the map to $\Gamma (X,\mathcal{Q})$ is $f\mapsto \mathrm{div}(f)$. Its image is exactly the group of principal divisor elements, and hence

The polynomial is Eisenstein at $3$, so a root $\alpha$ generates a totally ramified cubic field $F={\mathbb{Q}}_3(\alpha )$ and is a uniformizer of $F$. Its cubic discriminant isIts $3$-adic valuation is $3$, so it is not a square. The cubic discriminant criterion therefore givesThe unique quadratic subfield is generated by $\sqrt{\Delta }$. Since the permitted square root $\sqrt{-5}$ is in ${\mathbb{Q}}_3$, this subfield isIt is totally ramified of degree two, by the Eisenstein polynomial $T^2-3$. The ramification index of $M/{\mathbb{Q}}_3$ is divisible by both the index $3$ of $F$ and the index $2$ of $E$. Since the whole degree is $6$, it follows thatIn particular $G_0=G$.

We use the following standard facts about totally ramified extensions: every uniformizer generates the valuation ring over the base valuation ring, and for a totally ramified Galois extensionThus we can use the uniformizer criterion for lower ramification groups. Put $s=\sqrt{3}$. Since $v_M(\alpha )=2$ and $v_M(s)=3$,is a uniformizer of $M$.

Let ${\alpha }_1,{\alpha }_2,{\alpha }_3$ be the three roots. The Galois group acts transitively on their unordered pairs and preserves the valuation, so all differences between distinct roots have the same valuation $d$. The discriminant identity giveshence $d=3$. Thus, for any $\sigma$, either $\sigma (\alpha )=\alpha$ or $\sigma (\alpha )-\alpha$ has valuation $3$.

A nontrivial three-cycle fixes $s$, since it fixes the quadratic subfield, and sends $\alpha$ to a different root. Also $v_M(\sigma (\alpha )+\alpha )=2$: write the sum as $2\alpha +(\sigma (\alpha )-\alpha )$, whose two terms have unequal valuations $2,3$. ThereforeA transposition changes the sign of $s$. ConsequentlyThe numerator has valuation $4$: it is $2{\alpha }^2$ plus terms of strictly higher valuation if the root changes, and exactly $2{\alpha }^2$ if the root is fixed. Thus every transposition has $v_M(\sigma (\pi )-\pi )=1$. We conclude that the ramification groups of the splitting field of T3 minus 3T plus 3 over Q3 are

As an independent check, the cubic field has ${\mathcal{O}}_F={\mathbb{Z}}_3[\alpha ]$ and different exponent $v_F(g^{\prime }(\alpha ))=v_F(3({\alpha }^2-1))=3$. The extension $M/F$ is tamely totally ramified of degree two, so its different exponent is $1$. The different in a tower gives $d(M/{\mathbb{Q}}_3)=1+2\cdot 3=7$, agreeing with the ramification sum $(6-1)+(3-1)=7$.

An integral form of a group representation $V$ is a $G$-stable finite free $\mathcal{O}$-submodule $W\subset V$ with $K{\otimes }_{\mathcal{O}}W\cong V$. Such a form exists: take a basis lattice $L$ and replace it by ${\sum }_{g\in G}gL$, which is finite and torsion-free and therefore free over the discrete valuation ring $\mathcal{O}$.

Choose ordinary simple modules $V_i$ with forms $W_i$, and modular simple modules $S_j$ with projective covers $P_j$. With $\pi$ a uniformizer, put ${\overline{W}}_i=W_i/\pi W_i$. The decomposition matrix and Cartan matrix of a group algebra have entriesThe first numbers do not depend on the integral form: the Brauer character of its reduction is the ordinary character restricted to p-regular elements, and part 2(a) determines all composition multiplicities from this restriction.

For the assertion in (i), set $I={\mathrm{Hom}}_{\mathcal{O}G}(W,W^{\prime })$. It is a submodule of the finite free module ${\mathrm{Hom}}_{\mathcal{O}}(W,W^{\prime })$, hence is finite free over $\mathcal{O}$. There is a natural injective mapFor any homomorphism $f$ in the target, clearing the finitely many denominators of its values on an $\mathcal{O}$-basis of $W$ gives ${\pi }^{N}f(W)\subset W^{\prime }$. Thus ${\pi }^{N}f\in I$, and the map is surjective. Therefore $\boxed{I\text{ is an }\mathcal{O}\text{-form of }{\mathrm{Hom}}_{KG}(M,M^{\prime })}$, regarding this Hom space as a vector space. The original PDF supplies part (i), which is missing from the supplied TeX.

A finite extension $L/K$ of non-Archimedean local fields is an unramified extension when its ramification index is one and its residue-field degree equals $[L:K]$. Equivalently, its maximal ideal is generated by a uniformizer of $K$ and its residue-field extension is separable.

A finite extension of number fields is an everywhere unramified extension of number fields when every nonzero prime ideal of $K$ is unramified in $L$. Under the convention that includes infinite places, one also requires every real embedding of $K$ to remain real.

Let $L_n={\mathbb{Q}}_2({\xi }_{2^n})$. The extension is a cyclotomic extension of a p-adic field and is totally ramified. Under Local Artin reciprocity, the action on ${\xi }_{2^n}$ is the reduction of a 2-adic unit modulo $2^n$, up to the harmless inverse determined by the Frobenius convention. A uniformizer acts trivially because $L_n/{\mathbb{Q}}_2$ has no unramified part. The kernel is thereforeBy the norm subgroup of a local field extension, this kernel is exactly the required norm group. Hence, for every $n>0$,For $n=1$, the factor $1+2{\mathbb{Z}}_2$ is all of ${\mathbb{Z}}_2^{\times }$, consistently with ${\mathbb{Q}}_2({\xi }_2)={\mathbb{Q}}_2$.

The main theorem of local class field theory consists of Local Artin reciprocity and its existence theorem. There is a canonical continuous reciprocity mapwith dense image, normalized so that a uniformizer maps to a chosen Frobenius. For every finite abelian extension $L/K$, it induces an isomorphismMoreover, the existence theorem of local class field theory says that $L\mapsto N_{L/K}(L^{\times })$ is an inclusion-reversing bijection between finite abelian extensions of $K$ in $K^{\mathrm{ab}}$ and finite-index open subgroups of $K^{\times }$.

The formula $[X:Y:Z]\mapsto [X:Z]$ is initially undefined at the unique point $P_{\infty }=[0:1:0]$ of $X$ at infinity. Since $X$ is a smooth projective curve, the extension of a rational map from a smooth projective curve extends it uniquely to a morphismOn the affine chart it is the rational function $x$, and the equation $y^3=x^4+1$ shows that $\phi$ has degree three.

For each of the four roots $\alpha$ of $x^4+1$, let $P_{\alpha }=(\alpha ,0)$. Since the root is simple, $t=y$ is a uniformizer at $P_{\alpha }$, and the equation givesThus the ramification index of a holomorphic map at every $P_{\alpha }$ is three.

At $P_{\infty }$, use the chart $Y=1$ and put $u=X/Y$, $v=Z/Y$. The equation becomesThe implicit function theorem makes $u$ a uniformizer and gives $v=u^4$ times a local unit. Henceso $P_{\infty }$ also has ramification index three. These are all the ramification points of a holomorphic map because the resulting ramification degree is $5(3-1)=10$. Indeed, the Riemann-Hurwitz formula givesTherefore $g_X=3$, in agreement with the genus of a smooth plane curve, and the Euler characteristic of the underlying compact orientable surface is

The inclusion $L((n-1)p)\subseteq L(np)$ allows one additional coefficient: the coefficient of $t^{-n}$ in the local Laurent expansion at $p$, where $t$ is a uniformizer. The resulting linear mapis injective, so the dimension can increase by at most one.

It increases precisely when some rational function has a pole of exact order $n$ at $p$ and no other poles. By the definition of the Weierstrass gap set $G(p)$, this occurs exactly when $n\notin G(p)$. Hence

For $a\in k$ and each $n$, choose a lift $x_n\in {\mathcal{O}}_K$ of the unique $p^n$th root $a^{p^{-n}}$, which exists because $k$ is a perfect field. DefineChanging $x_n$ by an element of the maximal ideal changes its $p^n$th power by an element whose valuation tends to infinity, so the limit exists and is independent of all choices. In characteristic $p$, the Frobenius endomorphism satisfies $(x+y{)}^{p^n}=x^{p^n}+y^{p^n}$, making $[\cdot ]$ a ring homomorphism lifting the identity on $k$. If $s:k\to {\mathcal{O}}_K$ is any other such section, thenfor every $n$, and the same limiting construction forces $s(a)=[a]$. This proves uniqueness of the Teichmuller lift.

Choose a uniformizer $t$. Repeatedly subtracting the lift of the residue and dividing by $t$ gives every $x\in {\mathcal{O}}_K$ a unique convergent Teichmuller expansionBecause the lift is a ring map, this identifies ${\mathcal{O}}_K$ with $k[[t]]$ and its fraction field with the Laurent series field $k((t))$. This is the equal-characteristic complete discretely valued field classification.

If $K$ is locally compact, its compact valuation ring has only finitely many disjoint residue-class balls. Thus $k$ is finite, as also follows from the local compactness criterion for a complete non-Archimedean field.

Suppose first that $L=K(\alpha )$ and the degree-$n$ minimal polynomial of $\alpha$ is an Eisenstein polynomial. It is irreducible, $\alpha$ is a uniformizer of $L$, and its valuation shows that $e(L/K)\ge n=[L:K]$. Equality follows, so $L/K$ is a totally ramified extension.

Conversely, suppose $L/K$ is totally ramified of degree $n$ and choose a uniformizer $\alpha$ of $L$. The field $K(\alpha )$ already has ramification index at least $n$, so it equals $L$. Letbe the minimal polynomial. All conjugates of $\alpha$ have $L$-valuation one. Each $a_i$ with $i<n$ is an elementary symmetric polynomial in products of at least one conjugate and therefore has positive $L$-valuation. Since valuations of elements of $K$ are multiples of $n$, every $a_i$ lies in the maximal ideal of ${\mathcal{O}}_K$. Moreoverso $a_0$ is not divisible by the square of that ideal. Thus $f$ is Eisenstein, proving the Eisenstein generator of a totally ramified extension criterion.

A morphism of schemes is proper when it is a finite type morphism, a separated morphism, and a universally closed morphism. The valuative criterion for properness says, under the usual finite-type and Noetherian hypotheses, that $f:X\to Y$ is proper exactly when every commutative squarewith $R$ a discrete valuation ring and $K=\mathrm{Frac}R$ has a unique diagonal lift $\mathrm{Spec}R\to X$.

For ${\mathbb{P}}_k^2\to \mathrm{Spec}k$, a $K$-point is $[x_0:x_1:x_2]$ with not all $x_i$ zero. If $\pi$ is a uniformizer, multiply all coordinates by one power of $\pi$ so that ${\min }_{i}v(x_i)=0$. The resulting coordinates lie in $R$ and at least one is a unit, so they define an $R$-point extending the given $K$-point. If two extensions exist, on a chart where one coordinate is a unit their affine coordinate ratios agree in $K$ and therefore in the integral domain $R$; hence the extensions agree. This verifies existence and uniqueness directly.

Put $\alpha =\sqrt[p]{p}$. The polynomial $X^p-p$ is Eisenstein, so ${\mathbb{Q}}_p(\alpha )/{\mathbb{Q}}_p$ is totally ramified of degree $p$. The cyclotomic extension ${\mathbb{Q}}_p({\zeta }_p)/{\mathbb{Q}}_p$ is totally ramified of degree $p-1$. Their coprime degrees make their intersection trivial, sohas degree $p(p-1)$ and is totally ramified. It is the splitting field of $X^p-p$, hence Galois.

Normalize $v_K$ by $v_K(K^{\times })=\mathbb{Z}$. Thensois a uniformizer. Write an automorphism aswhere $a\in {\mathbb{F}}_p^{\times }$ and $b\in {\mathbb{F}}_p$. Sincethe uniformizer criterion for lower ramification groups gives valuation one for $\sigma (\varpi )-\varpi$ when $a\ne 1$, and valuation $p+1$ when $a=1$, $b\ne 0$. Thereforeand $G_i=1$ for $i\ge p+1$. These are the ramification groups of the splitting field of Xp minus p over the p-adic numbers.

The main theorem of local class field theory gives a continuous Local Artin mapwith dense image, normalized by sending a uniformizer to a chosen Frobenius. For every finite abelian extension $L/K$, it induces the Local Artin reciprocity isomorphismThe existence theorem of local class field theory says that the finite-index open subgroups of $K^{\times }$ are exactly the norm subgroups $N_{L/K}(L^{\times })$ for finite abelian extensions $L/K$, and that the extension is uniquely determined inside $K^{\mathrm{ab}}$.

Write $e=e(L/K)$ and $f=f(L/K)$. The valuation of a field norm satisfiesso the valuation image of the norm subgroup is $f\mathbb{Z}$. The exact sequence obtained from $v_K:K^{\times }\to \mathbb{Z}$ therefore givesThe left side is $[L:K]=ef$ by Local Artin reciprocity. Cancelling $f$ proves

Let $G=\mathrm{Gal}(L/K)$. The lower ramification groups are $G_{-1}=G$ and, for $i\ge 0$,

If $L/K$ is totally ramified and ${\pi }_L$ is a uniformizer, then ${\mathcal{O}}_L={\mathcal{O}}_K[{\pi }_L]$. Factoring $F(\sigma {\pi }_L)-F({\pi }_L)$ by $\sigma {\pi }_L-{\pi }_L$ for $F\in {\mathcal{O}}_K[X]$ proves the uniformizer criterion for lower ramification groups

For $\sigma \in G_0$, defineThe inertia group $G_0$ acts trivially on $k_L$, so $\theta (\sigma \tau )=\theta (\sigma )\theta (\tau )$. Its kernel consists exactly of those $\sigma$ for which $\sigma ({\pi }_L)/{\pi }_L\equiv 1$ modulo the maximal ideal, namely $G_1$. The first isomorphism theorem therefore gives an injection

For the discrete valuation $v$ corresponding to $|\cdot |$, the valuation ring and its maximal ideal areThe first is a subring of the field $K$, hence an integral domain. An element of ${\mathcal{O}}_K$ is a unit exactly when its valuation is zero, so every nonunit lies in $\mathfrak{m}$ and $\mathfrak{m}$ is the unique maximal ideal.

Choose a uniformizer $\pi$ with $v(\pi )=1$. If $I\ne 0$ is an ideal, the set of valuations of its nonzero elements has a least member $n$. Choose $x\in I$ with $v(x)=n$. Then $x=u{\pi }^n$ for a unit $u$, so $(x)=({\pi }^n)$. Every $y\in I$ has $v(y)\ge n$, hence $y/x\in {\mathcal{O}}_K$, and therefore $I=(x)$. Thus ${\mathcal{O}}_K$ is a discrete valuation ring, in particular a principal ideal domain.

For sufficiently large $r$, the series for the p-adic logarithm and p-adic exponential converge on $1+{\pi }^r{\mathcal{O}}_K$ and ${\pi }^r{\mathcal{O}}_K$ and are inverse homomorphisms. Hence the principal-unit logarithm giveswhere the last map is division by ${\pi }^r$.

Now take $K={\mathbb{Q}}_3({\zeta }_3)$ and $\pi ={\zeta }_3-1$. This is a uniformizer, the residue field is ${\mathbb{F}}_3$, and its Teichmuller units are ${\mu }_2=\{\pm 1\}$. ThusThe image of ${\zeta }_3$ generates $U_1/U_2$, and ${\mu }_3\cap U_2=1$, so $U_1={\mu }_3\times U_2$. The logarithm and exponential already converge inversely on $U_2$, giving $U_2\cong ({\pi }^2{\mathcal{O}}_K,+)\cong ({\mathcal{O}}_K,+)$. Since ${\mu }_2\times {\mu }_3\cong {\mu }_6$, this proves the unit group of Q3 zeta3 decomposition

Suppose first that $L/K$ is a totally ramified extension of degree $n$, and let $\alpha$ be a uniformizer of $L$. If the valuation on $L$ is normalized by $v_L(\alpha )=1$, then $v_L(K^{\times })=n\mathbb{Z}$. The value group of $K(\alpha )$ already contains both $n\mathbb{Z}$ and $1$, so its ramification index over $K$ is at least $n$. Hence $[K(\alpha ):K]\ge n$, and therefore $L=K(\alpha )$.

Letbe the minimal polynomial of $\alpha$. Every conjugate of $\alpha$ has positive valuation, so each $a_i$ lies in the maximal ideal of ${\mathcal{O}}_K$. Moreoverwhich means $v_K(a_0)=1$. Thus $f$ is an Eisenstein polynomial.

Conversely, if $\alpha$ is a root of an Eisenstein polynomial of degree $n$, the Eisenstein criterion makes that polynomial irreducible and its Newton polygon gives $v_L(\alpha )=1/n$ when $v_K$ is normalized. Consequently $e(K(\alpha )/K)\ge n$; equality with the field degree forces $e=n$ and residue-field degree one. Thus $K(\alpha )/K$ is totally ramified.