In mathematics, a field F is called quasi-algebraically closed (or C1) if every non-constant homogeneous polynomial P over F has a non-trivial zero provided the number of its variables is more than its degree. The idea of quasi-algebraically closed fields was investigated by C. C. Tsen, a student of Emmy Noether, in a 1936 paper ; and later by Serge Lang in his 1951 Princeton University dissertation and in his 1952 paper . The idea itself is attributed to Lang's advisor Emil Artin.
Formally, if P is a non-constant homogeneous polynomial in variables
X1, ..., XN,
and of degree d satisfying
d < N
then it has a non-trivial zero over F; that is, for some xi in F, not all 0, we have
P(x1, ..., xN) = 0.
In geometric language, the hypersurface defined by P, in projective space of degree N − 2, then has a point over F.
Any algebraically closed field is quasi-algebraically closed. In fact, any homogeneous polynomial in at least two variables over an algebraically closed field has a non-trivial zero.
Any finite field is quasi-algebraically closed by the Chevalley–Warning theorem.
Algebraic function fields of dimension 1 over algebraically closed fields are quasi-algebraically closed by Tsen's theorem.
The maximal unramified extension of a complete field with a discrete valuation and a perfect residue field is quasi-algebraically closed.
A complete field with a discrete valuation and an algebraically closed residue field is quasi-algebraically closed by a result of Lang.
A pseudo algebraically closed field of characteristic zero is quasi-algebraically closed.
Any algebraic extension of a quasi-algebraically closed field is quasi-algebraically closed.
The Brauer group of a finite extension of a quasi-algebraically closed field is trivial.
A quasi-algebraically closed field has cohomological dimension at most 1.
Quasi-algebraically closed fields are also called C1. A Ck field, more generally, is one for which any homogeneous polynomial of degree d in N variables has a non-trivial zero, provided
dk < N,
for k ≥ 1.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
This is a glossary of arithmetic and diophantine geometry in mathematics, areas growing out of the traditional study of Diophantine equations to encompass large parts of number theory and algebraic geometry. Much of the theory is in the form of proposed conjectures, which can be related at various levels of generality. Diophantine geometry in general is the study of algebraic varieties V over fields K that are finitely generated over their prime fields—including as of special interest number fields and finite fields—and over local fields.
Let G be a simple linear algebraic group defined over an algebraically closed field of characteristic p ≥ 0 and let φ be a nontrivial p-restricted irreducible representation of G. Let T be a maximal torus of G and s ∈ T . We say that s is Ad-regular if α(s ...
Let K be an algebraically closed field of characteristic zero, and let G be a connected reductive algebraic group over K. We address the problem of classifying triples (G, H, V ), where H is a proper connected subgroup of G, and V is a finitedimensional ir ...
Let k be a field, and let L be an etale k-algebra of finite rank. If a is an element of k(x), let X-a be the affine variety defined by N-L/k(x) = a. Assuming that L has at least one factor that is a cyclic field extension of k, we give a combinatorial desc ...