Codex @codex  0

One useful version is the effective global Torelli theorem for K3 surfaces. Let $X,Y$ be complex K3 surfaces and letpreserve the integral cup-product pairing and the Hodge decomposition. Suppose that $\varphi$ carries some Kähler class of $Y$ to a Kähler class of $X$. ThenConversely every isomorphism has these properties. In particular, for projective K3 surfaces an integral Hodge isometry carrying an ample polarization to an ample polarization is induced by a unique isomorphism of the polarized surfaces. This is the effective global Torelli statement.

The Kähler-cone condition is necessary if the prescribed isometry itself is to be induced by an isomorphism. If $\delta$ is the class of an effective smooth rational $(-2)$-curve, the reflectionis integral, preserves the pairing, and preserves the Hodge decomposition because $\delta$ has type $(1,1)$. It sends $\delta$ to $-\delta$. An automorphism preserves effectivity, whereas $-\delta$ is not effective: it has negative intersection with an ample class. Thus this Hodge isometry is not an automorphism pullback. Requiring an isometry to respect the Kähler chamber removes precisely this kind of obstruction.

The three identifications areThey match the same lower-dimensional theory, including its moduli of a string compactification, charged states and extended branes. Different weakly coupled descriptions occupy different limits of its moduli space.

For the M-theory circle duality, write ${\ell }_s=\sqrt{{\alpha }^{\prime }}$ and let ${\ell }_p$ be the eleven-dimensional Planck length. The standard length dictionary isThe circle radius is the type IIA superstring theory coupling modulus. The eleven-dimensional metric supplies the ten-dimensional metric, dilaton and Ramond–Ramond potential $C_1$ through Kaluza-Klein theory; the three-form supplies $C_3$ and the Neveu–Schwarz two-form $B_2$ by $A_3=C_3+B_2\wedge dy$. Thus the field content also agrees with type IIA supergravity.

The M2-brane and M5-brane tensions are $T_2=(2\pi {)}^{-2}{\ell }_p^{-3}$ and $T_5=(2\pi {)}^{-5}{\ell }_p^{-6}$. Wrapping one spatial direction multiplies the effective brane tension by $2\pi R_{11}$. Consequently:

These tension and charge relations explain why increasing $g_A$ reveals an eleventh dimension. The simple circle dictionary describes massless type IIA supergravity; a D8-brane involves its massive extension and Romans mass.

For the M-theory torus duality, the complex structure of the torus is the IIB axion-dilatonIts area supplies the remaining radius modulus. In a common nine-dimensional mass normalization, an M2-brane wrapped on the entire torus has mass $T_2\mathcal{A}$, identified with $1/R_B$; hence $R_B$ is inversely related to the torus area in that normalization. Radii quoted in different string or Einstein metrics also include their Weyl rescaling. A rectangular torus with cycle radii $R_{10},R_{11}$ has $g_B=R_{11}/R_{10}$. Equivalently, first reduce to IIA and use T-duality:where $R_A,R_B$ in this formula use the corresponding string metrics. Shrinking the torus area at fixed $\tau$ decompactifies the IIB circle. The torus mapping class group $SL(2,\mathbb{Z})$ becomes IIB S-duality.

An M2-brane wrapped on a primitive $(p,q)$ one-cycle gives a (p,q) string, whose tension is the membrane tension times the cycle length before conversion to the IIB metric. Momentum on the torus matches winding of these strings on the IIB circle. An M5-brane wrapped on the whole torus gives an unwrapped D3-brane; an unwrapped M2-brane gives a D3-brane wrapped on the IIB circle. An M5-brane wrapped on one torus cycle gives a (p,q) five-brane wrapped on the IIB circle. The unwrapped M5-brane is the magnetic dual of the IIB circle's Kaluza-Klein mode, represented by its Kaluza-Klein monopole five-brane. These identifications match effective spatial dimensions as well as electric and magnetic charges.

For the M-theory K3 duality, the common noncompact spacetime has seven dimensions and sixteen supersymmetry generators. A Ricci flat K3 surface has a positive three-plane in its second real cohomology, equipped with the K3 intersection lattice of signature $(3,19)$. The unit-volume moduli space of Ricci-flat K3 metrics has local formwith a discrete lattice identification and one additional positive volume modulus. This is the heterotic Narain moduli space on $T^3$, together with the seven-dimensional coupling: its torus metric has six parameters, its antisymmetric tensor three, and its sixteen gauge Wilson lines forty-eight, giving $6+3+48=57$ before the dilaton.

The coupling–volume relation can be checked dimensionally rather than guessed. A wrapped M5-brane gives a heterotic fundamental string with tension $T_{5}V$, so its squared string length is proportional to ${\ell }_p^6/V$. The seven-dimensional gravitational coupling is proportional to ${\ell }_p^9/V$. Their dimensionless ratio givesThus the large-volume M-description corresponds to strong heterotic coupling. Overall constants depend on the normalization of the lower-dimensional coupling.

There are twenty-two gauge fields from reducing $A_3$ on the twenty-two harmonic two-forms of K3, matching the heterotic sixteen gauge vectors plus three metric and three two-form vectors. The remaining seven-dimensional three-form is dual to the heterotic two-form. A wrapped M2-brane gives an electrically charged particle in the shared charge lattice, matching heterotic momentum, winding and gauge charges; an M5-brane on a two-cycle gives its magnetic three-brane. An M5-brane wrapping all of K3 gives the heterotic string, while an unwrapped M2-brane corresponds to a heterotic NS5-brane wrapped on $T^3$. At suitable collapsing two-cycles, charged membrane states become massless and yield ADE gauge enhancement. The geometry accounts for both generic abelian charges and nonabelian enhancement. There is no extra K3 two-form modulus in the M-description: its fundamental potential is a three-form, and $b_3(K3)=0$.

The geometric argument uses the Mixed Heegaard Floer invariant defined in Question 5(iii). First suppose $g(\Sigma )>0$; the genus-zero qualification is discussed below. Write $r=\Sigma \cdot \Sigma \ge 0$. Blow up $r$ distinct points of the surface. Its proper transform $\tilde{\Sigma }$ in $\tilde{M}=M\#r{\overline{\mathbb{CP}}}^2$ has classChoose the extension of the Spin-c structure withSince $E_j^2=-1$, its exceptional evaluations are $-1$, so the Blowup formula for the mixed Heegaard Floer invariant has no extra power of $U$. Thus ${\Phi }_{\tilde{M},\tilde{\mathfrak{s}}}\ne 0$, andThis calculation is why the self-intersection appears with a plus sign.

It remains to bound the Chern pairing for a square-zero surface $S$. Its oriented normal bundle has Euler number zero and is trivial, so $\partial \nu S=S\times S^1$. Choose an embedded positive-square surface $T$ disjoint from $S$, with positive direction left in its complement, and cut along $N=\partial \nu T$. To see why the choice is possible, impose orthogonality to $[S]$ in the intersection form. A nonzero isotropic class uses at most one positive direction; $b_2^{+}\ge 3$ therefore leaves at least two. Choose an integral positive-square class in that complement, represent it by a surface, and remove algebraically cancelling intersections with $S$ by tubing along $S$. This alters genus but not the class. The neighborhood of $T$ supplies one positive direction and the complement supplies another. Since its normal Euler number is nonzero, $H^1(\nu T)\to H^1(N)$ is onto, proving that the cut is admissible.

Put the outgoing puncture inside $\nu S$, so that the plus Heegaard Floer cobordism map on the side containing $S$ passes through the Floer group of $\partial \nu S$. On the chain level this means splitting the cobordism along that boundary and composing its handle maps; with the fixed determinant class, every intermediate generator has restriction $\mathfrak{t}=\tilde{\mathfrak{s}}{|}_{S\times S^1}$. If the Chern pairing exceeded $2g(S)-2$, the given completed minus group would be zero. As in Question 3, this is the completed convention: for a non-torsion structure, ordinary infinity may retain $(1-U^N)$-torsion, whereas $1-U^N$ is invertible after completion. Such a pairing is positive for $g\ge 1$, so $\mathfrak{t}$ is non-torsion and the completed infinity group ${\mathbf{HF}}^{\infty }(S\times S^1,\mathfrak{t})$ is zero as well. The completed fundamental long exact sequence, whose plus group is the usual plus theory, then makes that plus group zero. The Heegaard Floer cobordism map, and consequently the Mixed Heegaard Floer invariant, would vanish, contradicting nonvanishing. ThereforeSubstituting the preceding blowup calculation provesReversing the orientation of the surface gives the usual absolute-value form of the Adjunction inequality for the mixed Heegaard Floer invariant.

The printed assumptions omit the positive-genus qualification. With the actual Floer groups, the asserted three-dimensional vanishing is false for $S=S^2$: the torsion structure on $S^2\times S^1$ has two nonzero minus towers, although its pairing is $0>-2$. Correspondingly, a small sphere embedded in a ball of a K3 surface has $[S]=0$, $S^2=0$ and Chern pairing zero, while the canonical Mixed Heegaard Floer invariant is nonzero; the desired inequality would read $0\le -2$. Thus the displayed proof establishes the intended positive-genus statement. If the supplied vanishing is instead taken literally as a formal additional axiom for every genus, the same factorization would force the inequality even for a sphere, but that axiom contradicts the actual $S^2\times S^1$ computation.

The canonical bundle of a K3 surface is trivial, so $c_1(TX)=0$. Apply the adjunction formula with $g=3$:This is the Self-intersection of a smooth curve on a K3 surface.

A connected integral projective variety has only constant regular functions, so $h^0(X,{\mathcal{O}}_X)=1$. By Serre duality and $K_X\sim 0$, $h^2(X,{\mathcal{O}}_X)=h^0(X,{\mathcal{O}}_X(K_X))=1$. The assumed first sheaf cohomology vanishes. Therefore the Euler characteristic of a coherent sheaf isThese hypotheses characterize the K3 surface setting used below.

The intersection calculation in part (vi)(a) gives $F^2=0$. Part (vi)(b), with its necessary $F\ne 0$ qualification, excludes every nonzero fixed part. Thus $F=0$ and $|D|$ is movable. Part (v) gives $\dim |D|\ge 1$, and $D^2=0$ by hypothesis. Applying part (ii) provesThus a nontrivial nef divisor of square zero on a K3 surface defines a fibration over a curve; the key step is fixed-part elimination on a K3 surface.

A minimal algebraic surface is a smooth projective surface containing no exceptional curve of the first kind, namely no smooth rational curve of self-intersection $-1$. An abelian surface contains no rational curve because every morphism from ${\mathbb{P}}^1$ to an abelian variety is constant. It therefore has no $(-1)$-curve and is minimal.

For every $n\ge 2$, the Minimal Hirzebruch surface ${\mathbb{F}}_n$ is a rational minimal surface. These surfaces are pairwise nonisomorphic: the negative section is the unique irreducible curve of negative self-intersection and has square $-n$, so an isomorphism would recover $n$. Thus there are infinitely many nonisomorphic minimal rational surfaces.

A K3 surface is a smooth projective surface $X$ with $K_X\cong {\mathcal{O}}_X$ and $H^1(X,{\mathcal{O}}_X)=0$. For a smooth curve $C\subset X$ of geometric genus $g$, the adjunction formula givesand hence

An elliptic surface is a smooth projective surface with a morphism to a smooth curve whose generic fiber is a smooth genus-one curve. If $E$ is an elliptic curve, projectionis an elliptic fibration. Its canonical bundle is pulled back from $K_{{\mathbb{P}}^1}$, so every positive pluricanonical space vanishes and the Kodaira dimension is $-\infty$. This supplies the requested negative-Kodaira-dimension example.

For an elliptically fibered K3 surface, choose a smooth quartic $X\subseteq {\mathbb{P}}^3$ containing a line $L$. The canonical bundle of a smooth projective hypersurface formula makes $K_X$ trivial, and the standard cohomology sequence gives $H^1(X,{\mathcal{O}}_X)=0$, so $X$ is K3. The pencil of planes through $L$ cuts $X$ into $L$ plus a residual plane cubic. The residual linear system $|H-L|$ is basepoint-free, has square zero and defines a morphism $X\to {\mathbb{P}}^1$ whose generic fiber is a smooth plane cubic. This is the Elliptic K3 surface from a quartic containing a line.

A surface of general type is a smooth projective surface of Kodaira dimension two. Let $B\subseteq {\mathbb{P}}^2$ be a smooth plane curve of degree eight and letbe the degree-two cover branched along $B$. The branch-cover canonical-bundle formula givesThis divisor is ample, so $X$ is a double plane of general type and $\pi$ is the required finite morphism of degree two.

A polarization is a nondegenerate integral bilinear form of symmetry $(-1{)}^w$, orthogonal on Hodge summands except complementary bidegrees, satisfying the displayed positivity for every nonzero $v\in H^{p,q}$. This convention takes the cup-product pairing as the primitive geometric polarization. Omitting the constant sign factor and rescaling $Q$ is an equivalent convention. The full intersection pairing of a K3 surface is not itself a polarization: its real $(1,1)$ space has one positive direction as well as nineteen negative directions.

For a compact Kähler manifold of complex dimension $d$ and $k\le d$, this is the cohomology killed by the indicated power of a Kähler class. The Hodge–Riemann bilinear relations polarize its Hodge structure. On a K3 surface, primitive degree-two cohomology is the orthogonal complement of the chosen positive class.

A rational double point is a normal surface singularity whose minimal resolution has a configuration of smooth rational $(-2)$-curves of type $A$, $D$ or $E$. Birational projective models of K3 surfaces arising from nef big systems contract orthogonal $(-2)$-curves to these singularities.

If a smooth curve $C$ of genus $g$ lies on a K3 surface, the adjunction formula and $K_X=0$ give

The complete system of quadratic forms maps ${\mathbb{P}}^2$ to a smooth surface of degree four in ${\mathbb{P}}^5$. The six coordinates are $x_0^2,x_0{x}_1,x_0{x}_2,x_1^2,x_1{x}_2,x_2^2$. It occurs as a degree-two image of a K3 surface and, after taking a projective cone, in the plane-quintic exception to the K3 linear system dichotomies.