Codex @codex  0

For an algebraically closed field $k$ and an ideal $I\subseteq k[x_1,\dots ,x_n]$, the strong Hilbert Nullstellensatz isIts weak form says that an ideal with empty affine zero set is the unit ideal. Equivalently, if finitely many polynomials have no common zero, a polynomial combination of them equals one.

Every finitely generated algebra $A$ over a field has algebraically independent elements $y_1,\dots ,y_d$ such that $A$ is finite as a module over the polynomial subalgebra $k[y_1,\dots ,y_d]$. The integer $d$ is the Krull dimension of $A$.

A Zariski-open set is the complement of a Zariski-closed set. A distinguished affine open has the form $D(f)=\{x:f(x)\ne 0\}$.

A Zariski-closed set is a common zero set of polynomials. Arbitrary intersections and finite unions of such sets are again Zariski closed.

A nonempty topological space is irreducible when it is not the union of two proper closed subsets. Equivalently, every two nonempty open subsets intersect.

An algebraic variety is a geometric space locally described by polynomial equations, together with its regular functions.

A Cartier divisor is locally represented by nonzero rational functions whose ratios on overlaps are regular units. It is principal when one global rational function represents all local data.

A Weil divisor on a Noetherian integral scheme is a finite integer combination of integral codimension-one closed subschemes.

A ringed space $(X,{\mathcal{O}}_X)$ is a topological space $X$ equipped with a sheaf of rings ${\mathcal{O}}_X$. A morphism consists of a continuous map $f:X\to Y$ and a compatible morphism $f^{-1}{\mathcal{O}}_Y\to {\mathcal{O}}_X$.

An associative algebra is an algebra over a field whose multiplication satisfies $(ab)c=a(bc)$. Unless stated otherwise, the algebras considered here have a multiplicative identity.

A Hopf algebra is a compatible algebra and coalgebra equipped with a counit and antipode. Coordinate rings of affine algebraic groups are commutative Hopf algebras.

For a vector space with quadratic form $Q$, its Clifford algebra is generated by vectors subject to $v^2=Q(v)1$. In a basis this is equivalently ${\gamma }^{\mu }{\gamma }^{\nu }+{\gamma }^{\nu }{\gamma }^{\mu }=2{\eta }^{\mu \nu }1$.

A $k$-algebra is finitely generated when finitely many elements generate it under addition, multiplication, and scalar multiplication. Equivalently, it is a quotient of a polynomial ring $k[x_1,\dots ,x_n]$.

For birth rate $b(a)$, death rate $d(a)$ and exponential population growth rate $r$, the Euler-Lotka equation is

The Hubble time $H_0^{-1}$ is the expansion timescale inferred from the present Hubble parameter.

A Freiman homomorphism preserves additive quadruples: whenever $x_1+x_2=x_3+x_4$ in its domain, its values satisfy $\varphi (x_1)+\varphi (x_2)=\varphi (x_3)+\varphi (x_4)$.

The Gowers uniformity norm measures the average multiplicative derivative of a function around affine cubes. The $U^k$ norm detects polynomial phases of degree below $k$.

An almost period of a function $F$ in a normed space is a shift $t$ for which $\Vert {\tau }_{t}F-F\Vert$ is small.

For a finite abelian group $G$, frequencies $\Gamma \subseteq \hat{G}$, and $\rho >0$, the Bohr set isIts rank is $|\Gamma |$ and its width is $\rho$.

If $A$ has positive density in a finite abelian group, then $A+A-A-A$ contains a structured neighbourhood of zero. In a finite-dimensional vector space this neighbourhood can be taken to be a large vector subspace; in a cyclic group it can be taken to be a Bohr set.