Algebraic Varieties & Arithmetic Cohomology

← Back to Domain-Specific Families

Abstractions about algebraic geometry and its arithmetic variants — varieties and hypersurfaces (cubic fourfold, quasi-projective variety), field-theoretic classification (quasi-finite field, Ree group), and cohomological or intersection-theoretic invariants such as Monsky-Washnitzer cohomology and the Segre class.

7 abstractions in this family — domain-specific abstractions that sit near one another in structural-signature space (k-means over structural-signature embeddings). Each is shown with its short description.

• Artinian Ideal — An ideal of a polynomial ring whose quotient is Artinian, equivalently zero-dimensional over a field.
• Cubic Fourfold — An irreducible four-dimensional projective hypersurface defined by a homogeneous cubic equation in P⁵.
• Monsky–Washnitzer cohomology — A p-adic cohomology theory for smooth affine varieties in characteristic p, built from weakly completed lifts and de Rham forms.
• Quasi-Finite Field — A perfect field with procyclic absolute Galois group, equivalently a unique cyclic extension of every finite degree whose union is the separable closure.
• Quasi-projective variety — A quasi-projective variety is a locally closed subvariety of projective space, equivalently an intersection of a Zariski-open and Zariski-closed subset.
• Ree group — An exceptional twisted group of Lie type in the ²G₂ or ²F₄ Ree families.
• Segre Class — A graded intersection-theoretic cycle class of a cone or closed embedding that records its projective directions and reduces to the inverse Chern class of the normal bundle for a regular embedding.