---
title: Real Smooth Polarized K3-Surfaces
url: https://www.emergentmind.com/topics/real-smooth-polarized-k3-surfaces
type: topic
---

# Real Smooth Polarized K3-Surfaces

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 [2512.06833].

## 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 [2512.06833].

## 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 a synthesis 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 [2512.06833].

Source: https://www.emergentmind.com/topics/real-smooth-polarized-k3-surfaces