Skip to content

Arithmetic surface

A regular or suitably controlled two-dimensional scheme fibered over the spectrum of a Dedekind domain, with generic fiber an algebraic curve.

Version
v2 · 2026-09-19 · History
Domain-specific #
3332
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomain
Arithmetic Geometry → Mathematics

Core Idea

Relative and absolute dimension conventions must be separated, regularity properness and flatness vary by author, and bad special fibers are part of the arithmetic geometry rather than mere reductions of a fixed smooth shape. A curve over a number or function field is extended to a model over the base Dedekind domain; its fibers over prime ideals record reductions while the total scheme links horizontal points and vertical components through intersection theory. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.

How would you explain it like I'm…

 

No faithful explanation at this level. All three generators agree any five-year-old picture collapses into a physical bendy sheet or a stack of copies of one smooth shape, whereas the second dimension runs through the primes and bad special fibers are genuine parts of the object, not flawed copies.

Curve Seen Through Every Prime

Start with a curve described by an equation that uses whole numbers. You can also read that equation using 'clock arithmetic' for each prime number, where you only keep the remainder; each prime gives its own version of the curve, and some of those versions come out broken or pinched. An arithmetic surface packs the original curve and all these prime-by-prime versions into one object. It is called a surface because it has two directions: one along the curve, and one that runs through the prime numbers.

Curve Models over Number Rings

An arithmetic surface takes a curve defined over a number field (like the rational numbers) and extends it to a model over a ring of integers, so that it can be reduced modulo each prime. Over each prime you get a 'fiber', the curve's reduction at that prime; most are well behaved, but some (bad reduction) degenerate, and these are a real part of the object, not a flaw. The whole thing has dimension two: one geometric direction along the curve and one arithmetic direction through the primes, even though over its field it is only a curve. Points of the original curve become horizontal curves running across all the fibers, and pieces of fibers are vertical, and intersection theory measures how these meet. The answers can depend on which model you choose, so the conventions must be stated.

 

An arithmetic surface is a scheme over the spectrum of a Dedekind domain R, with fraction field K, whose generic fiber is an algebraic curve over K. Typical examples take a curve over a number field or function field and extend it to a model over the ring of integers or the corresponding Dedekind base. The fibers over the prime ideals of R are the reductions of the curve at those primes; bad fibers, where reduction degenerates, are intrinsic to the arithmetic geometry and often require resolution to obtain a regular model. Dimension conventions must be kept apart: the scheme has relative dimension one over the base but total Krull dimension two. Divisors split into horizontal ones, which dominate the base (for example the closures of rational points), and vertical ones, which are components of fibers, and an intersection pairing links them. Because authors differ on whether the model must be flat, proper, regular or of finite type, and because intersection data depend on the chosen model, these conventions must be declared explicitly.

Scope of Application

Arithmetic surface belongs to arithmetic geometry and is useful where the analyst can specify the typed arithmetic geometry carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets, then evaluate the Dedekind domain R and fraction field K, base spectrum, finite-type flat proper or regular model convention, relative dimension one and total Krull dimension two, generic algebraic curve, special fibers over prime ideals, horizontal and vertical divisors, bad reduction and resolution, intersection pairing and dependence on model are explicit.

Clarity

The abstraction clarifies a crowded vocabulary by making the Dedekind domain R and fraction field K, base spectrum, finite-type flat proper or regular model convention, relative dimension one and total Krull dimension two, generic algebraic curve, special fibers over prime ideals, horizontal and vertical divisors, bad reduction and resolution, intersection pairing and dependence on model are explicit the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test.

Manages Complexity

Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Arithmetic surface. Arithmetic surface compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.

Abstract Reasoning

  1. Identify the carrier. State what the elements, states, objects, or observations are: the typed arithmetic geometry carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets. Reject examples whose alleged carrier belongs to a different problem.
  2. Lock the constitutive rule. Express the Dedekind domain R and fraction field K, base spectrum, finite-type flat proper or regular model convention, relative dimension one and total Krull dimension two, generic algebraic curve, special fibers over prime ideals, horizontal and vertical divisors, bad reduction and resolution, intersection pairing and dependence on model are explicit independently of one notation or implementation.

Knowledge Transfer

Knowledge transfers strongly among subfields of arithmetic geometry because they reuse the typed arithmetic geometry carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets, A curve over a number or function field is extended to a model over the base Dedekind domain; its fibers over prime ideals record reductions while the total scheme links horizontal points and vertical components through intersection theory., and type the carrier, state every parameter and convention in the definition, test that the Dedekind domain R and fraction field K, base spectrum, finite-type flat proper or regular model convention, relative dimension one and total Krull dimension two, generic algebraic curve, special fibers over prime ideals, horizontal and vertical divisors, bad reduction and resolution, intersection pairing and dependence on model are explicit, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.

Relationships to Other Abstractions

Local relationship map for Arithmetic surfaceParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Arithmetic surfaceDOMAINPrime abstraction: Embedding — is a kind ofEmbeddingPRIME

Current abstraction Arithmetic surface Domain-specific

Parents (1) — outgoing typed relations

  • Arithmetic surface is a kind of Embedding Prime

    It remains its own entry because its identity is fixed by the Dedekind domain R and fraction field K, base spectrum, finite-type flat proper or regular model convention, relative dimension one and total Krull dimension two, generic algebraic curve, special fibers over prime ideals, horizontal and vertical divisors, bad reduction and resolution, intersection pairing and dependence on model.

Hierarchy path (1) — routes to 1 parentless root

Neighborhood in Abstraction Space

Arithmetic surface sits in a crowded region of the domain-specific corpus (8th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Arithmetic Geometry & Local Fields (14 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-25