Codex @codex  0

Let $D={\sum }_p{r}_{p}p\in X^{(d)}$. The derivative of the Abelian sum map is most naturally stated using principal parts. The tangent space of the symmetric product of a curve at $D$ is $H^0({\mathcal{O}}_D(D))$, and the tangent space of the Jacobian variety is $H^0(K_X{)}^{\ast }$. With these identifications,Its dual is restriction of holomorphic one-forms to the length-$d$ divisor scheme. In particular,The last equality is the Riemann-Roch theorem. These formulas apply to repeated points as well as distinct ones.

Here is a direct proof of the repeated-point Abel differential formula. At a multiplicity-$r$ point, choose a local coordinate $t$ with $t(p)=0$. A nearby local divisor is described by the roots $t_1,\dots ,t_r$, or, without making an ordering choice, by their elementary symmetric functions $e_1,\dots ,e_r$:These $e_k$ are smooth local coordinates on the symmetric product of a curve, including at the repeated divisor. Under a first-order deformation, minus the logarithmic variation of this defining polynomial is the principal partThe sign can be checked at $r=1$: moving the point from $0$ to $ϵa$ gives $v=a/t$, and the Abel integral changes by $a\omega (p)$.

Write $\omega =({\sum }_{j\ge 0}{c}_j{t}^j)dt$ and its local primitive as $F(t)={\sum }_{j\ge 0}{c}_j{t}^{j+1}/(j+1)$. The local contribution to the Abelian sum map is ${\sum }_{i}F(t_i)$. Newton's identities, linearized at $e_1=\cdots =e_r=0$, giveSubstituting in the primitive therefore givesSumming over the support proves the theorem. In particular, a multiplicity-$r$ point tests the first $r$ coefficients of a holomorphic one-form, not just its value. The residue pairing between principal parts of order at most $r$ and differential jets through order $r-1$ is perfect. Thus the annihilator of the derivative is precisely the holomorphic one-forms vanishing to order at least $r_p$ at every $p$, namely $H^0(K_X(-D))$.

There is also a sheaf cohomology description that explains its kernel geometrically. The sequencegives a connecting homomorphism $\delta :H^0({\mathcal{O}}_D(D))\to H^1({\mathcal{O}}_X)$. Represent a principal part by meromorphic lifts on coordinate disks; their differences on overlaps give its Čech cohomology class. Under Serre duality, pairing this class with $\omega$ is the sum of the residues of $v_p\omega$, so $\delta$ is the displayed derivative. Exactness shows that its kernel is $H^0({\mathcal{O}}_X(D))/\mathbb{C}$, of dimension $h^0({\mathcal{O}}_X(D))-1$, in agreement with the tangent directions to the complete linear system of a divisor in Solution 2.

Two consequences will be useful below. If $d\ge 2g-1$, then $K_X(-D)$ has negative degree and no nonzero sections, so $u_d$ is a submersion everywhere. Its image is open, and it is also closed because $X^{(d)}$ is compact. Since the Jacobian variety is connected, $u_d$ is surjective. Thus the points $u(p)$ generate the Jacobian variety as a group. Together with Abel's theorem, this identifies the degree-zero Picard group with the Jacobian variety: every line bundle has a meromorphic section and thus a divisor representation, injectivity is Abel's theorem, and surjectivity follows from $u_d(D)-du(p_0)$.

For $g\ge 1$, one can choose $g-1$ distinct points imposing independent conditions on $H^0(K_X)$: at each step a surviving nonzero holomorphic one-form has only finitely many zeros, so choose a point where it does not vanish. Their sum $D$ has $h^0(K_X(-D))=1$ and hence $h^0({\mathcal{O}}_X(D))=1$. The derivative has rank $g-1$ there. Consequently $W_{g-1}=u_{g-1}(X^{(g-1)})$ is an irreducible subvariety of dimension $g-1$. This also covers $g=1$, when $X^{(0)}$ and $W_0$ are points.

For a symmetric matrix $B$ with $Y=\mathrm{Im}B$ positive definite, the Riemann theta function isOn any compact set of $z$, the absolute value of the summand is bounded by $\exp (-c|n{|}^2+C|n|)$ for some $c>0$, so the series and all its derivatives converge uniformly there. It is therefore entire. Its constant Fourier coefficient in $\mathrm{Re}z$ is $1$, so it is not identically zero. Reindexing $n$ gives its parity and automorphy laws:Although the theta function is not itself a function on $J={\mathbb{C}}^g/\Lambda$, these factors define a holomorphic line bundle on $J$, and its zeros define a divisor $\Theta$ there.

For the period matrix of $X$, the Riemann vanishing theorem asserts that a fixed class $\kappa \in J$, the vector of Riemann constants in the convention used here, satisfiesWe prove both its support statement and its reduced divisor structure. This will make the multiplicity calculation in Solution 5 independent of any assumed multiplicity theorem.

The essential contour calculation is the theta pullback zero-divisor identity. Put $f_z(p)=\theta (u(p)-z,B)$, regarding this as a local expression for a section on $X$. If it is not identically zero, let $D_z$ be its zero divisor. We claimUse the cut polygon from Solution 1 and choose cuts avoiding the zeros. There ${\alpha }_z=d_p\log f_z$ is a meromorphic differential whose residues are the zero multiplicities. Under continuation by an $a_j$ period, $u$ changes by the integer vector $e_j$, so ${\alpha }_z$ is unchanged. Under a $b_j$ period, $u$ changes by $B{e}_j$, so automorphy gives ${\alpha }_z\mapsto {\alpha }_z-2\pi i{\omega }_j$. Pairing opposite boundary sides therefore givesFor example, the two $a_j$ sides, traversed with opposite orientations and separated by a $b_j$ translation, contribute ${\int }_{a_j}({\alpha }_z-({\alpha }_z-2\pi i{\omega }_j))$. This fixes the sign of the count.

For the first moment of the zeros, the residue theorem on the polygon gives, component by component,This is interpreted modulo the period lattice, with the lifts to the polygon fixed. Vary $z$ without letting zeros cross the cuts, and put $h=\delta \log f_z$. The coordinate $u_k$ does not vary, so integration by parts givesThere is no endpoint term: the closed polygon boundary returns both the Abel integral and $h$ to their starting values. Across an $a_j$ translation $h$ is unchanged, while across a $b_j$ translation it changes by $2\pi i\delta z_j$. Pairing the boundary edges consequently gives ${\int }_{\partial P}{\omega }_{k}h=-2\pi i{\sum }_j\delta z_j{\int }_{a_j}{\omega }_k=-2\pi i\delta z_k$. Thus $\delta u_g(D_z)=\delta z$, and $u_g(D_z)-z$ is constant. The calculation uses weighted zeros, so their collisions cause no problem. The parameters where $f_z$ is identically zero form a proper analytic subset: they are given by the vanishing of all its local Taylor coefficients, and parameters outside $\Theta$ are not in it. Its complement in the connected complex manifold $J$ is connected, so the constant is one class $\kappa$. This proves the pullback identity globally, with continuation of the zero divisors where necessary.

We must account for the parameters with identically zero pullback, rather than discard them. No irreducible component $C$ of $\Theta$ can consist entirely of such parameters. Otherwise parity would imply $C-u(p)\subset \Theta$ for every $p\in X$. The image of $C\times X$ under subtraction is irreducible, is contained in $\Theta$, and contains $C$ when $p=p_0$. Since $C$ is an irreducible component of the hypersurface, that image must be $C$. Hence $C-u(p)=C$ for all $p$. The surjectivity of the large-degree Abelian sum map, proved in Solution 3, says that these translations generate all of $J$. This would make the nonempty proper subset $C$ invariant under every translation, which is impossible.

A generic point $z$ of each component of $\Theta$ therefore has nonzero pullback. Since $\theta (-z)=\theta (z)=0$, its zero divisor contains $p_0$. Write $D_z=p_0+D^{\prime }$, with $D^{\prime }$ effective of degree $g-1$. The pullback identity gives $u_{g-1}(D^{\prime })=z+\kappa$. Each component of $\Theta$ is consequently contained in $W_{g-1}-\kappa$. By Solution 3 the latter is irreducible of dimension $g-1$, so any such component equals it. The zero locus is nonempty for $g>0$: any parameter with nonzero pullback has $g$ pullback zeros. We have proved equality of supports, in both directions.

Finally the automorphy factors make the First Chern class of the theta line bundle primitive. On the two-torus spanned by $a_i,b_j$, the logarithm of the $b_j$ factor changes by $-2\pi i{\delta }_{ij}$ after the $a_i$ translation; equivalently the transition for local frames has opposite winding. Thus $c_1(a_i,b_j)={\delta }_{ij}$, while $c_1(a_i,a_j)=c_1(b_i,b_j)=0$. In particular some integral pairing equals $1$. As its support is the single irreducible hypersurface $W_{g-1}-\kappa$, the zero divisor is $m(W_{g-1}-\kappa )$ for a positive integer $m$. Its integral First Chern class would then be divisible by $m$. Primitivity forces $m=1$, proving the displayed equality as reduced divisors.

The sign convention is $\kappa =u_g(D_z)-z$, so the translate is $W_{g-1}-\kappa$; a convention naming $-\kappa$ the Riemann constant reverses that displayed sign. For $g=1$, $\kappa =(1+B)/2$ modulo periods and the zero locus is the corresponding single point. For $g=0$, the empty-lattice theta series is $1$, its zero locus is empty, and the degree-$-1$ effective locus is empty; no negative symmetric product is required.

Identify ${\mathrm{Pic}}^{g-1}(X)$ with the Jacobian variety using the base point and the translation of Solution 4. A line bundle $L$ of degree $g-1$ corresponds to the point $z=u(D)-\kappa$ for any divisor representation $L\simeq {\mathcal{O}}_X(D)$. The Riemann singularity theorem isIn particular, the theta divisor is singular exactly at the degree-$g-1$ line bundles with at least two independent sections. We prove the equality, including the upper bound on multiplicity.

Choose a fixed effective divisor $A$ of degree $N\ge g$, and a local holomorphic family $L_{\eta }$ representing nearby points of ${\mathrm{Pic}}^{g-1}(X)$. Such a family can be constructed locally from the holomorphic exponential sequence, by varying line-bundle transition functions through exponentials of Čech cohomology representatives. By Serre duality, $H^1(L_{\eta }(A))$ is dual to $H^0(K_X\otimes L_{\eta }^{-1}(-A))$, whose degree is $g-1-N<0$, so it vanishes. The Riemann-Roch theorem gives $h^0(L_{\eta }(A))=N$. By cohomology and base change for line bundles on a curve, these spaces form a holomorphic vector bundle $E$ of rank $N$. The spaces $H^0(L_{\eta }(A){|}_A)$ form another holomorphic vector bundle $F$ of rank $N$. Evaluation gives a holomorphic square matrix $T(\eta )$ locally, with exact sequenceConsequently $\det T(\eta )=0$ exactly when $L_{\eta }$ has a nonzero section, namely on the support of the theta divisor.

At the point $L$, put $r=h^0(L)=h^1(L)$, the equality being Riemann-Roch theorem. An invertible minor of size $N-r$ persists near this point. Holomorphic row and column operations, or the Schur complement, givewhere $M$ is an $r\times r$ holomorphic matrix. This is the Schur complement presentation of a theta singularity. Its linear term in a tangent direction $\xi \in H^1({\mathcal{O}}_X)$ is the cup product mapTo see this concretely, vary transition functions $g_{ij}$ of $L$ to $g_{ij}(1+ϵ{\xi }_{ij})$. A section $s_i$ lifts to $s_i+ϵs_i^{\prime }$ precisely when its first-order compatibility equation can be solved; the obstruction is the cocycle ${\xi }_{ij}{s}_j$. This is $\xi ⌣s$. Passing to the kernel and cokernel of $T(0)$ gives exactly the derivative of the reduced matrix $M$, proving the assertion without assuming a multiplicity formula.

Before extracting the order of $\det M$, we verify that $\det T$ is a reduced equation of the theta divisor. Generic points of $W_{g-1}$ have $h^0(L)=1$ by Solution 3. At such a point, both $H^0(L)$ and $H^0(K_X\otimes L^{-1})$ are one-dimensional. Their nonzero sections $s,t$ have nonzero product $st\in H^0(K_X)$. Choose $\xi \in H^1({\mathcal{O}}_X)$ with $⟨\xi ,st⟩\ne 0$ under Serre duality. The scalar $d{M}_0(\xi )$ is nonzero, so $\det T$ has a simple zero generically on the irreducible theta divisor. Since its support is exactly that irreducible hypersurface, it defines the reduced divisor. Solution 4 independently proved the same reduced structure for the Riemann theta function. On the smooth ambient Jacobian variety, local equations of the same reduced divisor differ by a nonvanishing holomorphic unit. Hence the orders of the local theta equation and $\det M$ agree everywhere.

Every entry of $M$ vanishes at the point, so each term in its determinant has order at least $r$. This proves ${\mathrm{mult}}_z\Theta \ge r$. To obtain equality, we exhibit an invertible cup-product direction for a line bundle on a curve. Set $V=H^0(L)$ and $W=H^0(K_X\otimes L^{-1})$, both of dimension $r$. There are $r$ distinct points $p_1,\dots ,p_r$ at which evaluation is an isomorphism for $V$: choose them inductively, since a surviving nonzero section has only finitely many zeros. The same holds for $W$. The nonvanishing of each evaluation determinant defines a nonempty open subset of the irreducible variety $X^r$. Their intersection, also avoiding the diagonals, is therefore nonempty. Choose points in it and local coordinates and compatible trivializations of $L$ and $K_X\otimes L^{-1}$ at each point.

Let $\xi$ be the connecting homomorphism class of the meromorphic principal parts ${\lambda }_i/t_i$ at these points, with all ${\lambda }_i\ne 0$. The residue form of Serre duality givesIf $S$ and $U$ are the two invertible evaluation matrices, the matrix of this pairing is $S^t\mathrm{diag}({\lambda }_1,\dots ,{\lambda }_r)U$, and is invertible. Thus the cup product map $\xi ⌣-:H^0(L)\to H^1(L)$ is an isomorphism. Along the corresponding analytic parameter line,with nonzero leading coefficient. The order is at most $r$, completing the proof of the Riemann singularity theorem.

This argument also identifies the tangent cone to a theta divisor: its degree-$r$ equation is $\det (\xi ⌣-)$, which is not the zero polynomial. For $r=1$, the tangent hyperplane is $⟨\xi ,st⟩=0$, in agreement with the annihilator description of the derivative of the Abelian sum map. For $r\ge 2$ all first derivatives vanish, proving singularity. In genus $1$ the theta divisor is a single smooth point of multiplicity $1$. In genus $0$ the effective degree-$-1$ locus is empty, so there is no singularity statement at a point of it.

A rank-$k$ complex vector bundle is a smooth map $\pi :E\to B$ whose fibers are $k$-dimensional complex vector spaces, with local diffeomorphisms ${\Phi }_i:{\pi }^{-1}(U_i)\to U_i\times {\mathbb{C}}^k$ commuting with projection and linear on every fiber. Define transition functions of a vector bundle byThey are smooth and obeyon the appropriate double/triple overlaps. The structure group of a vector bundle is a Lie subgroup $G\subset GL(k,\mathbb{C})$ in which a chosen set of transitions takes values. It records allowed changes of fiber frame; different trivializations may exhibit different reductions of that group.

Using the same cocycle, glue the disjoint union of $U_i\times G$ byThe cocycle makes this an equivalence relation and makes its local charts compatible. Right multiplication $(b,h{)}_i\cdot a=(b,ha{)}_i$ is well-defined because it commutes with the left gluing matrices. It is free and transitive on each fiber. These charts therefore construct the associated right principal bundle $P\to B$ with group $G$.

For the natural line realization, take the complex tautological line bundle $L=\{(\ell ,v):\ell \in {\mathbb{CP}}^1,v\in \ell \subset {\mathbb{C}}^2\}$. Its nonzero vectors identify with ${\mathbb{C}}^2\setminus \{0\}$ by $(\ell ,v)\mapsto v$, with projection $v\mapsto [v]$. On the two standard charts, use $\zeta =z_2/z_1$ and $\eta =z_1/z_2=1/\zeta$. The local frames are $e_0=(1,\zeta )$ and $e_1=(\eta ,1)$, so $e_1=e_0/\zeta$. Normalize them using the ambient Hermitian norm:If $v=t_0{u}_0=t_1{u}_1$, then $t_0=(|\zeta |/\zeta )t_1$. Thus the unitary transitions of the tautological line over the projective line areThese are smooth on the overlap $\zeta \ne 0$. A Hermitian metric on a smooth complex vector bundle generally permits precisely this unitary reduction; here the ambient norm supplies it explicitly.

The corresponding principal circle bundle consists of unit vectors in the tautological line. Sending $(\ell ,v)$ to $v$ identifies its total space with $S^3\subset {\mathbb{C}}^2$, and the right circle action is $v\cdot e^{i\theta }=e^{i\theta }v$. Identify ${\mathbb{CP}}^1$ with $S^2$ usingIts affine-coordinate inverse on the chart $Z\ne -1$ is $\zeta =(X-iY)/(1+Z)$; the other chart handles the missing pole. This gives a diffeomorphism, and the projection becomes the Hopf fibration

There is a distinction if the stated punctured-bundle identification is interpreted only as a projection-preserving diffeomorphism, rather than a fiber-linear identification. It does not determine whether the complex line is tautological or dual: for a nonzero $\varphi \in L_{\ell }^{\ast }$, the unique $v\in \ell$ with $\varphi (v)=1$ gives a smooth map $L^{\ast }\setminus 0\to L\setminus 0$. Locally it is inversion of a nonzero complex number. Thus punctured line bundles do not determine their duality sign.

For completeness, these are the only possible signs here. Complex line bundles over $S^2$ are described by the clutching construction with a loop in ${\mathbb{C}}^{\ast }$, reducible to $S^1$, and its integer winding number determines the bundle: a zero-degree ratio has a logarithm and can be removed by changes of trivializations extending over the two disks. For winding number $d$, the unit circle bundle has fundamental group $\mathbb{Z}/d\mathbb{Z}$, as the two solid-torus trivializations identify the common fiber generator and impose its $d$th power as the equatorial gluing relation. There is a fiberwise radial deformation retraction from the punctured line bundle onto its unit circle bundle. Since ${\mathbb{C}}^2\setminus 0$ retracts to simply connected $S^3$, the hypothesis forces $|d|=1$.

Consequently the allowed unitary transitions are the displayed $g_{01}$ or its reciprocal, according to the bundle's sign. For the dual, the same underlying Hopf projection has the inverse principal action $v\cdot e^{i\theta }=e^{-i\theta }v$. In either case the principal total space and projection are $S^3\to S^2$; the purely diffeomorphic hypothesis alone leaves the circle-action sign unspecified.

Use algebraic Chern classes in the Chow ring of a nonsingular algebraic variety $Y$. For a vector bundle $E$ of rank $r$, the classes $c_i(E)\in {\mathrm{CH}}^i(Y)$ are invariant under bundle isomorphism, have $c_0(E)=1$, vanish for $i>r$, and commute with pullback. Their Total Chern class is $c(E)={\sum }_i{c}_i(E)$. The Whitney sum formula for Chern classes applies to every short exact sequence $0\to E^{\prime }\to E\to E^{\prime \prime }\to 0$:Normalization for a line bundle is $c({\mathcal{O}}_Y(D))=1+[D]$, where $[D]$ is the divisor class. In particular, $c_1(L\otimes M)=c_1(L)+c_1(M)$, $c_1(L^{-1})=-c_1(L)$, and the trivial bundle has total class one. These properties determine the classes: pull back to the iterated projective bundle where $E$ has a filtration by line bundles. The projective bundle formula for Chow groups makes this pullback injective, and Whitney multiplication expresses $c_i(E)$ as the elementary symmetric polynomial of the first classes of the line factors. This also gives $c_i(E^{\ast })=(-1{)}^i{c}_i(E)$.

Let $X$ be the smooth degree-$d$ projective hypersurface and set $h=c_1({\mathcal{O}}_X(1))$. The algebraic cotangent bundle has rank $n-1$. Restriction of the cotangent Euler sequence in homogeneous coordinates remains exact, because its terms and quotient are locally free. Thusand Whitney multiplication givesThe defining equation has degree $d$, so the conormal sheaf is ${\mathcal{O}}_X(-d)$. Smoothness makes its differential map injective with locally free quotient, giving the Conormal exact sequence for Kähler differentialsA second application of the Whitney sum formula for Chern classes yieldsThe inverse is the finite geometric series in the graded Chow ring: terms in codimension greater than $n-1$ vanish. Expanding gives every requested class,For example,when the corresponding ranks and codimensions exist. The first expression agrees with the canonical bundle of a smooth projective hypersurface $\det {\Omega }_X^1={\mathcal{O}}_X(d-n-1)$. For a plane curve, $\mathrm{deg}{c}_1=d(d-3)=2g-2$, matching Q4. For a quartic surface in ${\mathbb{P}}^3$, $c_1=0$ and $c_2=6h^2$, whose degree is $24$. These checks also confirm the sign in the cotangent, rather than tangent, formula.

False. Give $E=T{S}^2\to S^2$ a fibrewise area form. This is a rank-two symplectic vector bundle. A Lagrangian subbundle would be a real line subbundle $L\subset T{S}^2$. Real line bundles are classified by their first Stiefel–Whitney class in $H^1(B;\mathbb{Z}/2)$; since this group vanishes for $S^2$, $L$ would be trivial. A nonzero section of $L$ would therefore be a nowhere-vanishing tangent vector field on $S^2$. The Hairy ball theorem rules this out: every continuous tangent vector field on an even-dimensional sphere has a zero. Hence $T{S}^2$ does not even have one Lagrangian subbundle, let alone a splitting into two. Fibrewise existence of Lagrangian subspaces does not guarantee a globally continuous choice.

An isogeny of elliptic curves over $k$ is a nonconstant morphism $\varphi :E_1\to E_2$ defined over $k$ and preserving the identity. Such a morphism is a group homomorphism: apply the Mumford rigidity lemma to $\varphi (P+Q)-\varphi (P)-\varphi (Q)$, whose restriction to either coordinate axis is zero. A nonconstant morphism of smooth projective curves is finite and surjective, so its degree of an isogeny is the positive integerDegrees multiply under composition. A separable isogeny has degree equal to the number of geometric points in its kernel of an isogeny. In positive characteristic of a field, inseparable isogenies also occur, for example the Frobenius isogeny; their total degree includes inseparable multiplicity, so counting geometric kernel points alone is insufficient. Every isogeny of degree $d$ has a dual isogeny $\hat{\varphi }$ satisfying $\hat{\varphi }\varphi =[d]$ and $\varphi \hat{\varphi }=[d]$.

Pointwise addition and negation make the homomorphism group of elliptic curves $H={\mathrm{Hom}}_k(E_1,E_2)$ an abelian group. Its zero is the constant identity map; every other element is an isogeny, because its nonconstant image is the whole target curve. Define $q(0)=0$ and $q(\varphi )=\mathrm{deg}\varphi$ otherwise. We prove the positive definiteness of degree on elliptic-curve homomorphisms, including arbitrary characteristic.

Let $L={\mathcal{O}}_{E_2}(O)$, a line bundle associated to a divisor of degree one. On $E_2\times E_2$ write $m(P,Q)=P+Q$, $d(P,Q)=P-Q$ and let ${\pi }_i$ be the projections. The divisor proof of the degree parallelogram law givesHere is a direct justification. The degree-two Weierstrass coordinate $x$ has a double pole at $O$, and $x(P)=x(Q)$ precisely when $Q=P$ or $Q=-P$. Consequentlywhere $D_{+}$ is the diagonal and $D_{-}$ the graph of negation. Since $D_{+}=d^{-1}(O)$ and $D_{-}=m^{-1}(O)$, this principal divisor gives the displayed line bundle identity. This remains valid in characteristic two: the general Weierstrass equation of an elliptic curve of a smooth algebraic curve has a nontrivial generic involution $(x,y)\mapsto (x,-y-a_{1}x-a_3)$, so the two graphs still occur. This identity is also the symmetric-line-bundle form of the Theorem of the square.

Pull back the bundle identity along $(\varphi ,\psi ):E_1\to E_2\times E_2$ and take degrees of line bundles. For a nonzero map, $\mathrm{deg}({\varphi }^{\ast }L)=q(\varphi )$; for a zero map its pullback is trivial and has degree zero. Thus the degree parallelogram law isUsing bundles rather than pulling back the rational function itself is essential when $\varphi =\pm \psi$, where that function can vanish identically. Negation preserves degree, so $q(-\varphi )=q(\varphi )$. Applying the parallelogram identity to $n\varphi$ and $\varphi$ gives the quadratic degree recursion for elliptic multiplication, and induction from $q(0)=0$ yields $q(n\varphi )=n^{2}q(\varphi )$ for every integer $n$.

Define the bilinear degree pairing for elliptic-curve homomorphisms byIt is symmetric and odd in each argument. Two applications of the parallelogram law giveAdding proves $B(x+z,y)=B(x,y)+B(z,y)$, and symmetry proves additivity in the other argument. Also $B(\varphi ,\varphi )=q(\varphi )$. Therefore $q$ is an integer-valued quadratic form. The integral polarization is $2B(\varphi ,\psi )=q(\varphi +\psi )-q(\varphi )-q(\psi )$; $B$ itself may be half-integral.

Finally $q(\varphi )>0$ for every nonzero $\varphi$, since an isogeny has positive finite degree. If $n\varphi =0$ with $n\ne 0$, the identity $q(n\varphi )=n^{2}q(\varphi )$ forces $\varphi =0$, so $H$ is a torsion-free abelian group. On any finite-dimensional rational span in $H\otimes \mathbb{Q}$, the pairing has a rational matrix and is positive on every nonzero rational vector. By density it is nonnegative on real vectors; if that rational matrix were singular, its kernel would contain a nonzero rational vector, contradicting strict positivity. Thus its real extension is a positive-definite quadratic form. This establishes the required positivity as well as the quadratic identity. For example, on the subgroup of multiplication maps $[n]$, $q([n])=n^2$; on the endomorphism ring of an elliptic curve with complex multiplication it is the imaginary-quadratic field norm, explaining the lattice geometry behind isogeny degrees.

Geometric quantization constructs quantum state spaces from the geometry of a classical symplectic manifold $(P,\omega )$. Its first task is to represent classical observables and their Poisson bracket by operators; its second is to reduce the excessive phase-space dependence of the resulting states. These are different steps, called prequantization and choice of a polarization in geometric quantization.

Use ${\iota }_{X_f}\omega =df$ and $\{f,g\}=\omega (X_f,X_g)$, so $[X_f,X_g]=-X_{\{f,g\}}$. A prequantum line bundle is a Hermitian complex line bundle $L\to P$ with unitary connection on a vector bundle of curvatureIts existence requires the integrality of all symplectic periods:One way to see the obstruction is to choose local primitives $\omega =-d{\theta }_i$ on contractible charts. The local connections are $d-i{\theta }_i/\hslash$. On overlaps the differences of ${\theta }_i$ are exact and determine unitary transition phases. On triple overlaps their exponentials obey the cocycle condition exactly when the periods have the stated integral values. Conversely that integral class is realized by a line bundle; adjusting a connection by a global one-form makes its curvature equal to the prescribed representative. Connections with this curvature can still differ by a flat connection, so integrality need not specify unique quantum data.

On smooth sections define the Kostant-Souriau prequantum operatorIts defining algebraic property follows directly from the curvature commutator:The multiplication terms contribute $-i\hslash (X_{f}g-X_{g}f)=2i\hslash \{f,g\}$, soThe preliminary inner product integrates the Hermitian pairing against the symplectic volume ${\omega }^n/n!$, where $\dim P=2n$. Hamiltonian flows preserve this measure, so real observables give formally symmetric operators on suitable compactly supported sections. Actual self-adjoint realizations and their domains require analysis, especially on a noncompact phase space.

The prequantum representation is generally reducible and depends on all $2n$ variables, whereas a configuration-space wave function should depend on $n$. A polarization in geometric quantization is an involutive complex rank-$n$ distribution $\mathcal{F}\subset T_{\mathbb{C}}P$ that is isotropic for $\omega$. A real polarization is tangent to a Lagrangian foliation; a compatible complex polarization is supplied by a Kähler manifold. Polarized sections satisfyThis condition is locally consistent because the connection curvature vanishes on pairs of polarization vectors, and involutivity closes the differential constraints. Globally, leaf holonomy can obstruct nonzero polarized sections. To construct the quantum Hilbert space, one must also choose the appropriate quotient measure or density data and complete the polarized sections; it need not be a literal closed subspace of the original phase-space $L^2$ space.

For $P=T^{\ast }{\mathbb{R}}^n$, set $\theta ={\sum }_j{p}_{j}d{q}^j$, so $\omega =-d\theta$ and the line bundle is trivial with $\nabla =d-i\theta /\hslash$. The vertical polarization is spanned by ${\partial }_{p_j}$. Its equations say ${\partial }_{p_j}\psi =0$, hence $\psi =\psi (q)$. Before this restriction,After restricting and using the configuration-space measure, the Schrödinger representation isTheir commutator is $i\hslash {\delta }^j{}_k$ on a common smooth test-function domain. Functions of $q$ act by multiplication. Observables affine in momenta have flows preserving this polarization and can act directly, with density terms when required for symmetry. An arbitrary observable does not: already $p^2/(2m)$ has a flow taking a vertical fiber to a slanted one. Thus merely restricting its prequantum operator does not produce the free Schrödinger Hamiltonian.

The Blattner-Kostant-Sternberg pairing compares different polarizations. One can transport a state by a Hamiltonian flow to its transported polarization, pair back with the chosen state space and differentiate to obtain additional operators when the pairing is well defined. The metaplectic correction tensors polarized sections with a suitable square root of the polarization's canonical bundle. Half-forms improve the invariant state pairing and contribute to operator transport; their global existence is additional data.

A closed real-polarization leaf illustrates the topological restriction. Since $\omega$ vanishes along a Lagrangian leaf, the restricted prequantum connection is flat. A nonzero parallel section exists around a closed loop only if its holonomy is trivial. In cotangent coordinates this isThis is the Bohr-Sommerfeld quantization condition before the half-form correction. With the standard Maslov correction it becomes $\oint pdq=2\pi \hslash (N+\nu /4)$, where $\nu$ is the Maslov index. For an oscillator ellipse, the enclosed phase-space area is $2\pi E/{\omega }_0$ and the index is two; the corrected rule gives $E_N=\hslash {\omega }_0(N+1/2)$ for $N\ge 0$, exhibiting the zero-point shift. Singular real polarizations can require distributional sections rather than ordinary smooth polarized sections.

The construction thus separates local operator algebra from global integrality, polarization and holonomy. It recovers familiar quantum representations while exposing their geometric choices. A polarization also limits which observables preserve the state space, and exact Poisson-to-commutator correspondence cannot in general be extended to every classical polynomial in an irreducible canonical quantization. Changes of polarization, operator domains, half-form existence and singular reductions are substantive issues, so geometric quantization is a framework with specified additional data rather than a unique automatic procedure for every classical system.

A connection on a vector bundle $E\to M$ is a linear map $D:\Gamma (E)\to {\Omega }^1(M;E)$ with $D(fs)=df\otimes s+fDs$. Write a local frame as a row $e=(e_1,\dots ,e_r)$, and a section as $s=eu$ with a coefficient column $u$. If the connection one-form is the matrix $A={\sum }_i{A}_{i}d{x}^i$, thenThis fixes the matrix convention for all subsequent signs.

For an $E$-valued differential form of degree $k$, represented locally by a column $\alpha$ of ordinary forms, its covariant exterior derivative isThe defining graded Leibniz rule with a scalar form $\omega$ of degree $j$ isIt follows by moving the one-form $A$ past $\omega$, which introduces $(-1{)}^j$. It uniquely extends the connection on sections.

The induced endomorphism bundle connection is characterized on an endomorphism section $T$ by $(D^{\mathrm{End}}T)s=D(Ts)-T(Ds)$. For a matrix-valued form $\beta$ of degree $k$, the extension isIndeed it is exactly the formula that makesThe endomorphism-valued exterior product uses matrix composition as well as the ordinary exterior product, so factors cannot in general be interchanged.

Define the curvature form of a connection by $D^2$ acting on sections, or equivalently byIt is tensorial in both vector arguments and in $s$: the derivatives of multiplying functions cancel by the connection rule. For example $D^2(fs)=D(dfs+fDs)=f{D}^{2}s$, since the two $df\wedge Ds$ terms cancel and $d^{2}f=0$. Thus curvature is a two-form with values in the endomorphism bundle. Locally, applying the graded rule givessoFor a change of frame of a vector-bundle connection $e^{\prime }=eg$, the coefficients satisfy $u^{\prime }=g^{-1}u$, and differentiation givesSquaring yields $F^{\prime }=g^{-1}Fg$, precisely the transformation rule of an endomorphism-valued two-form. This independently proves that the local expressions define one global curvature form of a connection.

For the Bianchi identity, use the endomorphism formula with degree two:Every term cancels with its indicated sign. Thereforewhere $d_A$ here means the induced derivative on the endomorphism bundle.

For a line bundle, the endomorphism bundle is canonically the trivial scalar bundle: every fibre endomorphism is a scalar times the identity. Scalar multiplication commutes, so $A\wedge A=0$ and the endomorphism covariant derivative on scalar-valued forms reduces to $d$. The Bianchi identity consequently says $dF=0$.

If $D^{\prime }$ is another connection, their difference is $C^{\infty }$-linear in sections because the Leibniz terms cancel. Hence $D^{\prime }-D=\eta$ is a global endomorphism-valued one-form; for a line bundle it is an ordinary global scalar one-form. Locally $A^{\prime }=A+\eta$, soThus the two closed curvatures differ by an exact form, proving the connection-independent curvature class of a line bundle:No global trivialization of the line bundle itself was assumed; it is its endomorphism bundle that has the canonical scalar identification.