Real numerical divisor classes (source code)

= Real numerical divisor classes
{title2=$N^1(X)_{\mathbb R}$}

= Numerical class
{synonym}

The finite-dimensional <real vector space> $N^1(X)_{\mathbb R}$ consists of real combinations of <Cartier divisors> modulo <numerical equivalence of divisors>. Its elements are numerical divisor classes. The space of curve classes paired with it is $N_1(X)_{\mathbb R}$.