Mordellic Variety¶
In mathematics, a Mordellic variety is an algebraic variety which has only finitely many points in any finitely generated field.
Core Idea¶
Mordellic Variety is treated here as the recurring mathematics, logic, and statistics identity summarized by this source-grounded definition: In mathematics, a Mordellic variety is an algebraic variety which has only finitely many points in any finitely generated field. In mathematics, a Mordellic variety is an algebraic variety which has only finitely many points in any finitely generated field. The terminology was introduced by Serge Lang to enunciate a range of conjectures linking the geometry of varieties to their Diophantine properties. Brody's definition of a hyperbolic variety is that there are no such maps.
Scope of Application¶
-
Formal definition. Formally, let X be a variety defined over an algebraically closed field of characteristic zero: hence X is defined over a finitely generated field E.
-
Formal definition. If the set of points X(F) is finite for any finitely generated field extension F of E, then X is Mordellic.
-
Lang's conjectures. The special set for a projective variety V is the Zariski closure of the union of the images of all non-trivial maps from algebraic groups into V.
-
Lang's conjectures. Lang conjectured that a variety X is Mordellic if and only if X is algebraically hyperbolic and that this is in turn equivalent to X being pseudo-canonical.
-
Lang's conjectures. For a complex algebraic variety X we similarly define the analytic special or exceptional set as the Zariski closure of the union of images of non-trivial holomorphic maps from C to.
Clarity¶
A clear use of Mordellic Variety names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is In mathematics, a Mordellic variety is an algebraic variety which has only finitely many points in any finitely generated field.
Manages Complexity¶
Mordellic Variety compresses multiple mathematics, logic, and statistics details into a stable diagnostic relation. The source shows both the central mechanism—formally, let X be a variety defined over an algebraically closed field of characteristic zero: hence X is defined over a finitely generated field E.—and the practical consequence—for a complex algebraic variety X we similarly define the analytic special or exceptional set as the Zariski closure of.
Abstract Reasoning¶
- Type the carrier. Identify the mathematics, logic, and statistics entities to which the claim applies.
- State the relation. Use the source-grounded identity: In mathematics, a Mordellic variety is an algebraic variety which has only finitely many points in any finitely generated field.
- Check operation and conditions. If the set of points X(F) is finite for any finitely generated field extension F of E, then X is Mordellic.
- Demand recognition evidence.
Knowledge Transfer¶
Within the home domain. Knowledge about Mordellic Variety transfers literally when a new case preserves the same carrier type, relation, and recognition test. Formally, let X be a variety defined over an algebraically closed field of characteristic zero: hence X is defined over a finitely generated field E. If the set of points X(F) is finite for any finitely generated field extension F of E, then X is Mordellic. Beyond the home domain. No canonical parent is asserted for Mordellic Variety.
Relationships to Other Abstractions¶
Current abstraction Mordellic Variety Domain-specific
Parents (1) — more general patterns this builds on
-
Mordellic Variety is a kind of Algebraic Variety Domain-specific
Mordellic Variety is a kind of Algebraic Variety with a stable domain-specific differentia.
Hierarchy path (1) — routes to 1 parentless root
- Mordellic Variety → Algebraic Variety
Neighborhood in Abstraction Space¶
Mordellic Variety sits in a moderately populated region (45th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Unclustered & Miscellaneous (2551 abstractions)
Nearest neighbors
- Siegel modular variety — 0.87
- Canonical Sheaf — 0.87
- Character variety — 0.87
- Finite extensions of local fields — 0.87
- Subfunctor — 0.86
Computed from structural-signature embeddings · 2026-10-08