Real Smooth Polarized K3-Surfaces

• Real Smooth Polarized K3-surfaces are smooth complex surfaces with a real structure and a primitive ample polarization, central to real algebraic geometry.
• They are characterized by split hyperplane sections and Fano graphs that classify configurations of lines defined over ℝ.
• Lattice-theoretic methods and Torelli’s theorem are used to derive explicit enumerative bounds and construct surfaces that bridge real and complex geometric properties.

A real smooth polarized $K3$-surface is a triple $(X, \iota, h)$, where $X$ is a smooth complex $K3$-surface (a simply connected compact complex surface with trivial canonical bundle), $\iota: X \to X$ is an anti-holomorphic involution ($\iota^2 = \mathrm{id}$), and $h \in \mathrm{NS}(X)$ is a primitive ample class with $h^2 = 2d$ in the Néron–Severi lattice. The ample class $h$ defines a projective model via the linear system $|h|$ embedding $X$ into $\mathbb{P}^{d+1}$. The classification and enumeration of real hyperplane sections that split into lines over $\mathbb{R}$ provide a window into the interplay between real and complex enumerative geometry, with most bounds for real $K3$-surfaces coinciding with their complex analogues (Degtyarev, 7 Dec 2025).

1. Structure and Polarization of Real $K3$-Surfaces

Let $X$ be a smooth complex $K3$-surface. A real structure is an anti-holomorphic involution $\iota: X \to X$. Together with a polarization $h \in \mathrm{NS}(X)$ satisfying $h^2 = 2d$, one obtains a real smooth polarized $K3$-surface of degree $2d$. The projective model associated to $(X, h)$ is given by the linear system $|h|$, producing an embedding $X \hookrightarrow \mathbb{P}^{d+1}$.

The Néron–Severi lattice $\mathrm{NS}(X)$ encodes the algebraic cycles up to numerical equivalence, and $h$ is required to be primitive and ample. The real structure $\iota$ acts naturally on $\mathrm{NS}(X)$, and the interplay between $\iota$ and $h$ determines which geometric objects (e.g. lines, hyperplane sections) are defined over $\mathbb{R}$.

2. Real Split Hyperplane Sections and Fano Graphs

For the projective model $X \hookrightarrow \mathbb{P}^{d+1}$ determined by $h$, a hyperplane $H \subset \mathbb{P}^{d+1}$ defines a divisor $X \cap H$ in the class $h$. The hyperplane section $X \cap H$ is said to "split into lines" over $\mathbb{R}$ if it is a reduced union of lines on $X$, where each line $\ell \subset X$ is defined over $\mathbb{R}$ (in the totally real case) or occurs in a pair of $\iota$-conjugate lines (general real case).

This geometric situation is encapsulated combinatorially via the Fano graph $\mathrm{Fn} X$. The vertices of $\mathrm{Fn} X$ are lines on $X$, and edges correspond to lines meeting with intersection number one. A split hyperplane section corresponds to a union of vertices whose classes sum to $h$ and pairwise intersect appropriately; such a configuration is termed an $h$-fragment.

3. Enumerative Bounds for Split Hyperplane Sections

Let $C(2d)$ be the maximal number of complex $h$-fragments (split hyperplane sections) for any complex polarized $K3$-surface of degree $2d$, $S(2d)$ the maximal number allowing real $h$-fragments with conjugate pairs, and $R(2d)$ the maximal number of totally real $h$-fragments (all lines real). The sharp upper bounds (with underlined entries indicating strict real deficit compared to the complex bound) are as follows:

Degree $h^2=2d$	2	4	6	8	10	12	14	16	18	20	22	24	28
$C(2d)$	72	72	76	80	16	90	12	24	3	4	1	1	1
$S(2d)$	66	?	76	80	16	90	12	6	3	4	1	1	1
$R(2d)$	66	?	76	80	16	90	12	4	3	4	1	1	1

In the quartic case $2d=4$, only $50 \leq R(4) \leq S(4) \leq 59$, and it is conjectured that $R(4)=S(4)=50$.

4. Methodologies for Construction and Bounding

The classification of possible $h$-fragments utilizes lattice-theoretic approaches:

• The formal lattice $F$ is generated by $h$ ($h^2 = 2d$) alongside vertices for each line ($v^2 = -2$, $v\cdot h = 1$).
• One enumerates all finite-index extensions $N \supset F$ that primitively embed into the $K3$-lattice $2E_8 \oplus 3U$, then identifies their transcendental complements $T$ and gluing on discriminant groups.

Real structures are related to involutions on these lattices, governed by the Torelli theorem. Specifically, real forms correspond to involutions in the orthogonal groups $$\operatorname{OG}(N) \times_{\varphi} \operatorname{OG}(T)$$ that reverse the real period. These groups and their involutions are computed (often with tools such as GAP).

Nikulin's theory provides a criterion for the existence of totally real configurations: $N$ is realized with all lines real if and only if the transcendental lattice $T$ admits a primitive sublattice isometric to $[2]$ or $U(2)$, leading to an effective discriminant-form condition (Degtyarev, 7 Dec 2025).

5. Realization of Bounds and Explicit Examples

For each degree $2d \ge 6$ (and most $2d = 2,4$ cases), explicit real $K3$-surfaces with Fano graphs attaining the enumerative bounds have been constructed.

• Degree 2: Double covers of $\mathbb{P}^2$ branched in a real sextic yield 66 real pull-backs of real tritangents.
• Degree 6: Special sextic surfaces ($\Psi_{42}$ configuration) attain 76 real $h$-fragments; non-special sextics attain 36, while Humbert sextics attain 16.
• Degree 8: The complete intersection of three real quadrics in $\mathbb{P}^5$ supports 80 real $h$-fragments; special octics realize only 42 (totally real) or 54 (with conjugates).
• Higher degrees ($2d = 10,12,14,16,18,20,22,24,28$): Singular or specially constructed real $K3$-surfaces achieve $S(2d) = R(2d) = C(2d)$, except for the two underlined deficits ($d=1,8$).

6. Comparison with Complex Results and Geometric Implications

With the exception of the unresolved quartic case ($2d=4$) and minor deficits at $d=1,8$, the maximal number of real split hyperplane sections on a real $K3$-surface equals the maximal number in the complex setting. This demonstrates that extremal line configurations present in the complex case can be realized over $\mathbb{R}$ as well, establishing a high degree of compatibility between real and complex enumerative geometry for $K3$-surfaces.

7. Open Problems and Future Directions

Current research highlights the congruence between real and complex enumerative invariants for split hyperplane sections on $K3$-surfaces, yielded by an overview of lattice theory, Torelli-type results, and computational group approaches. Open directions include:

• Determination of the exact real maximum in the quartic ($2d=4$) case.
• Detailed analysis of the connected components of the real strata corresponding to these configurations.
• Extension of enumerative results to higher genus, other types of projective models, and models of $K3$-surfaces that are hyperelliptic or birational.

These areas represent active lines of inquiry at the intersection of real algebraic geometry, lattice theory, and enumerative combinatorics (Degtyarev, 7 Dec 2025).