A smooth complex degree-two projective plane curve is a projective linear image of the degree-two Veronese map and is diffeomorphic to a sphere. Its class in ${\mathbb{CP}}^2$ is twice the class of a projective line. Its self-intersection number is four, so its oriented normal bundle has Euler class evaluating to four.

In its classical nine-point cubic form, the Cayley-Bacharach theorem says that a cubic through eight of the nine distinct intersections of two plane cubics must contain the ninth. The eight-point cubic completion for two triples of lines is the elementary case needed for triangular-strip propagation in incidence geometry. The phenomenon explains why interpolation conditions at such a complete intersection are dependent.

The Fano plane is the projective plane over the finite field ${\mathbb{F}}_2$. It has seven points and seven lines, each line contains three points, and two distinct lines meet in one point. A line-point incidence matrix $N$ therefore satisfies $N{N}^{\mathsf{T}}=2I+J$, making it invertible over the real numbers and useful for the transplantation theorem.

A point $[a:b:c]$ of the projective plane corresponds to the dual line $aX+bY+cZ=0$. A line given by those coefficients corresponds back to the point $[a:b:c]$. Incidence is reversed: $p\in \ell$ if and only if ${\ell }^{\ast }\in p^{\ast }$. Thus collinear point triples become concurrent line triples, preserving the essential combinatorics of incidence geometry.

For any field $F$, a projective linear group element is uniquely determined by its images of three distinct points of the projective line, and any ordered distinct target triple is attainable. Given representatives $v_z,v_x$ forming a basis and $v_y=A{v}_z+B{v}_x$, the matrix with columns $A{v}_z,B{v}_x$ sends $(0,1,\infty )$ to $(x,y,z)$. Distinctness forces $A,B\ne 0$. The matrices realizing one projective map differ by a nonzero scalar; over ${\mathbb{F}}_p$ there are $p-1$ such matrices.

The global dimension of a ring is the supremum of the projective dimensions of all its modules, allowing infinity. It measures the longest projective resolution needed by any module. For a field it is zero, since every module is a vector space and hence free.

For $n\ge 2$, ordered orthogonal complex lines in ${\mathbb{C}}^n$ form a projective bundle over ${\mathbb{CP}}^{n-1}$, with fiber ${\mathbb{CP}}^{n-2}$. Here $L$ is the first tautological line and the complement is formed using the standard Hermitian inner product. Its real dimension is $4n-6$. It is also the partial complex flag space of a line contained in a two-plane: send an orthogonal pair to $({\ell }_1,{\ell }_1\oplus {\ell }_2)$, and recover the second line by orthogonal complement inside the two-plane.

A complex line subbundle $L\subset E$ defines a section of a fiber bundle $s:X\to \mathbb{P}(E)$ selecting $L_x$ at each point. Pullback of the tautological bundle along $s$ is $L$, so if $t$ is its Euler class, then $s^{\ast }t=e(L)$. For a decomposition $E={⨁}_i{L}_i$, the resulting sections and the open sets where coordinate projection is nonzero identify the tautological line with ${\pi }^{\ast }{L}_i$. These identifications support the projective-bundle factorization via a vanishing cup product from an open cover.

For a holomorphic vector bundle, projectivize each fibre using lines. The transition $g_{ij}(x)$ acts holomorphically by $[v]\mapsto [g_{ij}(x)v]$. Thus local products $U_i\times {\mathbb{P}}^{r-1}$ define a complex manifold with holomorphic projection to the base. The lines convention gives the relative tautological line bundle of fibre degree $-1$, and its dual has degree $+1$.

An ideal $I$ is idempotent when $I^2=I$. Then $I^j=I$ for every $j\ge 1$, so a nonzero idempotent ideal gives a nonzero intersection of all its powers. A semigroup algebra with arbitrarily divisible positive exponents supplies examples in a non-Noetherian integral domain. If $I$ is finitely generated, the determinant trick applied to $I=I^2$ produces $r\in I$ such that $(1+r)I=0$.

Observing only whether a lognormally modelled output exceeds a known threshold produces a probit link. The latent location and slope are recovered by multiplying the probit coefficients by the known Gaussian scale and adding the log threshold to the intercept.

A density ratio compares two probability density functions relative to the same underlying measure. More generally it is a Radon-Nikodym derivative when one probability measure has absolute continuity of measures with respect to the other.

A normalizing constant makes a nonnegative integrable function into a probability density function: if $0<Z=\int h<\infty$, then $h/Z$ is a probability density function.

This model assigns independent private valuation types to the bidders. Symmetry adds identical type distributions and bidder roles. These assumptions determine interim winning probabilities from the valuation distribution in a monotone symmetric equilibrium.

A bidder with unit demand values receiving one item but obtains no additional value from extra identical units. Selecting two winners means awarding one item to each of two bidders, not two units to one bidder.

In the prismatic triangular-channel gravity-current box model, take $h=h_0\sqrt{L/X}$ and $w(\varphi )=w_0(1-\varphi )$. Eliminating time gives $d\varphi /[\sqrt{\varphi }(1-\varphi )]=-2w_0{X}^{3/4}dX/(\mathrm{Fr}\sqrt{G}{h}_0^{3/2}{L}^{3/4})$. Integration yields the displayed invariant with $K=4w_0/(7\mathrm{Fr}\sqrt{G}{h}_0^{3/2}{L}^{3/4})$. The positive-concentration branch approaches a finite runout length of a gravity current as time tends to infinity.

In a complete discrete valuation ring of residue characteristic $p$, the power map $u\mapsto u^m$ is a bijection on $1+\mathfrak{m}$ when $p\nmid m$. For a principal unit $a$, the Hensel lemma lifts the simple residue root one of $T^m-a$ uniquely. This can absorb principal-unit factors in tame radical descriptions of local fields.

Pulling a principal connection back along a local section $s$ gives a Lie-algebra-valued one-form on the base. If the section changes to $sg$, the form has the displayed inhomogeneous transformation. Its gauge curvature $F=dA+A\wedge A$ transforms homogeneously as $F^{\prime }=g^{-1}Fg$. The collection of such local forms encodes a global principal connection even when no single section exists globally.

A gauge transformation is an automorphism of a principal bundle covering the identity on the base and commuting with its right group action. Pullback relates gauge-equivalent principal connections. Locally it acts by the displayed formula; the gauge curvature transforms by conjugation. Gauge functions on overlapping charts satisfy the bundle's transition compatibility. Infinitesimally $g=e^{\epsilon }$ gives $\delta A=D_A\epsilon$.

Suppose $A>0$ and every sufficiently high Nontrivial zero of the Riemann zeta function satisfies the displayed gap, with bounded heights also separated from one. The truncated explicit formula for the second Chebyshev function and the local zero count for the Riemann zeta function give errors $x{\log }^{2}x\exp (-c\log x/(\log T{)}^A)$ and $x{\log }^{2}x/T$. Balance them by $\log T\asymp (\log x{)}^{1/(A+1)}$. This explains how the width of a zero-free region of the Riemann zeta function determines the exponential scale in the Prime number theorem error.