Skip to content

Hypertoric variety

A torus hyperkähler quotient of a quaternionic vector space, with geometry governed by its weights and moment-map data.

Version
v1 · 2026-10-25 · History
Domain-specific #
14400
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomains
Algebraic Geometry, Hyperkahler Geometry → Mathematics
Aliases
Toric hyperkähler variety

Core Idea

A hypertoric variety, in the standard constructive sense, arises by taking a hyperkähler quotient of a flat quaternionic vector space by a subtorus of its coordinate torus.[1][2] Hausel and Sturmfels also study this constructive family as toric hyperkähler varieties; their algebraic treatment identifies its smooth members with Bielawski and Dancer's toric hyperkähler manifolds.[3] The torus acts with specified weights; the three-component moment map imposes equations; quotienting its selected level by that torus produces the space.[2] A residual torus action connects this family to toric geometry, but an ordinary toric variety and a hypertoric variety have different defining tests.[1][2]

The word variety here includes singular quotients in Proudfoot's constructive convention.[1] At suitable regular levels the quotient can be a smooth toric hyperkähler manifold; other arrangements can produce orbifold singularities, and the central case is a singular affine variety.[1] A smoothness claim therefore needs a regularity check rather than the family name alone. Hitchin, Karlhede, Lindström and Roček developed the general hyperkähler quotient construction.[4] Bielawski and Dancer then studied this toric quotient family and its geometry systematically.[2] The former historical role does not attribute the later named variety family to HKLR.

Structural Signature

Role sequence: flat quaternionic carrier → weighted subtorus → hyperkähler moment-map level and orbit quotient → residual torus geometry.

  • Flat quaternionic carrier. Start with \(\mathbb H^d\), whose compatible complex and symplectic structures make the hyperkähler moment map available.[2] A merely complex carrier with one Kähler moment map does not fill this role.

  • Weighted subtorus. Choose \(N\subset T^d\). Its inclusion, equivalently its weight data, determines which coordinate symmetries are removed and which residual torus remains.[2] Replacing this abelian reduction with an unrelated group quotient leaves the specified construction.

  • Moment-map level and quotient. Impose all three moment-map components at a declared level and identify points along \(N\)-orbits.[2] The level matters to geometry and regularity; it is not licensed to change the homeomorphism type of the toric hyperkähler orbifolds at fixed weights in Bielawski and Dancer's Theorem 6.1.[2]

  • Residual torus and flats. The action of \(T^d/N\) persists on the quotient.[2] The vectors and associated flats organize stabilizers and geometry; they do not turn the quotient automatically into a toric variety with a dense algebraic torus orbit.[2][1]

The recognition test is constructive: state \(d\), \(N\), its weights and the chosen moment-map level; form the hyperkähler quotient; then check the claimed smoothness or singularity class.[2]

What It Is Not

It is not every toric variety. A toric variety has an algebraic torus as a dense open subset with an extending action; the hypertoric construction instead retains hyperkähler moment-map and quotient data.[1][2] The Kähler quotient \(\mathbb{CP}^n\) in Bielawski and Dancer's first example is a toric base, while its associated hyperkähler quotient is \(T^*\mathbb{CP}^n\).[2] Confusing these two quotients changes the object under discussion.

It is not every hyperkähler manifold with a torus action. Bielawski and Dancer explicitly note hyperkähler manifolds with suitable torus actions that do not arise from their finite-dimensional quaternionic torus quotient construction.[2] A residual action alone is therefore insufficient evidence. Nor does the title imply smoothness for every weight and level.[1]

Scope of Application

The name is useful when studying the quotient family as mathematical spaces: testing regularity, describing torus stabilizers, comparing the geometry of different weight choices, and relating the quotient to toric constructions. The construction accepts varying quaternionic dimensions and torus ranks.[2] Its standard constructive scope is finite-dimensional flat \(\mathbb H^d\) reduced by a subtorus of the coordinate torus; broader definitions should be identified as extensions.[1]

For a theorem about a Manifold, verify its smoothness hypotheses; for a theorem about an orbifold, verify that hypothesis; for a singular quotient, state the chosen variety or stratified-space convention.[1][2] Bielawski and Dancer's fixed-weight homeomorphism result applies to their toric hyperkähler orbifold class, not indiscriminately to every singular level.[2]

Clarity

“Toric” marks the abelian reduction and residual torus structure.[1] It does not assert that the resulting space satisfies the dense-open-orbit definition of the neighboring Toric variety entry. “Hyperkähler” identifies the three compatible moment-map components.[2] Reading the two adjectives together prevents a Kähler quotient from being mistaken for the hyperkähler quotient built from it.

The distinction is operational: \(\mathbb{CP}^n\) and \(T^*\mathbb{CP}^n\) occur in linked constructions but answer different classification questions.[2] The former is the toric Kähler quotient in Example 2.1; the latter carries the Calabi hyperkähler metric in the corresponding quotient.[2]

Manages Complexity

Weight vectors, moment-map constants, stabilizer groups, regularity conditions and quotient topology can otherwise look like unrelated calculations. The hypertoric signature organizes them around four choices: carrier, subtorus, level and residual action. It reduces a comparison to checking what is fixed and what varies, while retaining the hypotheses that govern geometric conclusions.[2]

The source uses associated flats rather than only the half-space intersection of an ordinary toric polytope to describe its toric hyperkähler spaces.[2] This compression keeps the toric analogy useful without silently replacing hyperkähler data with an ordinary fan.

Abstract Reasoning

Given a proposed quotient, first reconstruct the subtorus from its weights. Next identify the real and complex moment-map conditions, form the orbit quotient and check the residual action.[2] This supports a valid inference from concrete equations to membership in the hypertoric family. A picture resembling a toric polytope is not a substitute for that construction.

The same test diagnoses overgeneralization. A change of weights may change the topology of the family; a change of level can affect the geometry or regularity.[2] Yet for the paper's toric hyperkähler orbifolds with fixed vectors, Theorem 6.1 proves homeomorphism across moment-map choices.[2] Therefore topology cannot be inferred to change merely from a level change within that class.

Knowledge Transfer

Within hyperkähler geometry, the quotient procedure transfers from one set of torus weights to another: identify the same carrier, reduction and residual-action roles, then redo the regularity and geometric analysis. The diagonal-circle construction and the rank-two subtorus construction below share those roles while giving different spaces.[2]

Outside that setting, words such as “quotient,” “weights” or “toric” may suggest analogies, but the hypertoric classification does not transfer unless the quaternionic carrier and hyperkähler torus reduction remain literal. Its comparison with an ordinary toric variety is a mathematical relation between constructions, not a universal synonym.[2]

Examples

Diagonal circle: \(T^*\mathbb{CP}^2\)

Take \(\mathbb H^3\) and the diagonal circle in \(T^3\).[2] The residual vectors of the paper's \(n=2\) version are \(e_1,e_2,-(e_1+e_2)\); its real hyperplanes form the simplex arrangement associated with the toric base \(\mathbb{CP}^2\).[2] At the paper's suitable level, the corresponding hyperkähler quotient is \(T^*\mathbb{CP}^2\) with a Calabi metric.[2] The toric base is not the hypertoric quotient itself.

Mapped back: \(\mathbb H^3\) fills the carrier role; the diagonal \(S^1\) supplies the weighted subtorus; the three-component moment map and circle orbit relation form the quotient; \(T^3/S^1\) is the residual torus.[2]

Rank-two subtorus: an ALE resolution

For a distinct \(\mathbb H^3\) construction, take the rank-two kernel generated by \((1,1,0)\) and \((1,0,1)\) in \(T^3\).[2] Its residual vectors are \(-e_1,e_1,e_1\).[2] In the paper's Example 2.2 the Kähler quotient is \(\mathbb{CP}^1\); the associated hyperkähler quotient instead carries an ALE metric on the resolution of \(\mathbb C^2/\mathbb Z_3\), the \(A_2\) Kleinian case.[2] The associated real arrangement yields two intervals sharing a point in the paper's deformation-retract analysis.[2]

Mapped back: \(\mathbb H^3\) again supplies the carrier, now with a rank-two weighted subtorus; its hyperkähler moment map and torus quotient give a different four-real-dimensional space; \(T^3/N\) supplies the residual circle action. The changed torus rank, weights, and resulting geometry make this more than a relabeling of the first case.[2]

Structural Tensions

  • Unified recipe versus geometric specificity. The shared quotient construction makes the family comparable, but weights, levels and regularity govern what kind of space results.[2] A compressed family label loses these conditions; a fully specified instance loses some common perspective. Diagnostic: Which claims depend on weights or level, and which survive the fixed-weight orbifold homeomorphism theorem?

  • Toric analogy versus literal toric definition. Residual torus symmetry and arrangements invite toric methods, but the full hyperkähler quotient is not identified by a dense algebraic torus orbit.[2][1] Treating the analogy as identity misclassifies the space; discarding it hides useful structure. Diagnostic: Does the inference use only residual torus action, or does it require the hypotheses of an ordinary toric variety?

Structural–Framed Character

This is a strongly framed mathematical abstraction. Its quotient pattern is formal and reusable within hyperkähler geometry, while the term's identity still requires quaternionic linear space, a torus action, and three moment-map components.[1][2] Evaluative weight is low: the definition is mathematical rather than an endorsement of a use. Human practice matters in choosing conventions for singular quotients and names, but does not replace the equations. Its institutional origin is the research literature, not a rule-making body.

The vocabulary of reductions and quotients travels across mathematics. Importing this named abstraction elsewhere requires the literal hyperkähler construction; recognizing a generic quotient pattern is only an analogy or an independently named broader structure. Thus the portable skeleton does not promote the domain-specific entry into a Prime.

Its character: strongly domain-framed despite a formal structural skeleton, because the decisive recognition test remains the specific quaternionic torus quotient; neither the neutral evaluative posture nor the travel of quotient vocabulary supplies cross-domain instances of the named type.

Structural Core vs. Domain Accent

The structural core is a carrier with symmetry, a constraint map, and an orbit quotient. Those roles organize the reasoning but are too broad to decide hypertoric membership. The domain-defining part is the quaternionic hyperkähler carrier, abelian coordinate subtorus, three-component moment map and residual torus geometry.[1][2] Delete that part and the result is a generic quotient, not a hypertoric variety.

The case therefore supports a domain-specific entry. Its residual torus action instantiates the live Symmetry Prime as an internal constituent, but that constituent does not subsume the full quotient-space identity. The remaining generic carrier–constraint–quotient skeleton is a future-Prime admission question requiring worked instances with unlike non-hyperkähler carriers. The adjacent Toric variety entry names a different class; no strict subsumption relation to it follows from the shared word “toric.”

This entry includes Symmetry.

The residual \(T^d/N\) action is a structure-preserving group symmetry of the hypertoric quotient.[2][1] Because that action is an internal constituent of the specified space, this entry carries a strict composition/part_of relation to Symmetry. The quotient itself also requires a carrier, weights, moment-map level and orbit relation, so it is not a subspecies of Symmetry. The direct domain-specific neighbor Toric variety has a different dense-orbit criterion and is not a parent. This typed relation passed independent Gate 4 review.

Relationships to Other Abstractions

Local relationship map for Hypertoric varietyParents 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.Hypertoric varietyDOMAINPrime abstraction: Symmetry — includesSymmetryPRIME

Current abstraction Hypertoric variety Domain-specific

Parents (1) — outgoing typed relations

  • Hypertoric variety includes Symmetry Prime

    The inherited residual torus action is an internal symmetry of the hypertoric quotient.

Hierarchy path (1) — routes to 1 parentless root

  • Hypertoric variety → includes Symmetry

Neighborhood in Abstraction Space

Hypertoric variety sits in a sparse region of the domain-specific corpus (84th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Riemannian & Symplectic Geometry (18 abstractions)

Nearest neighbors

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

Not to Be Confused With

  • Toric variety: its dense open algebraic torus orbit does not supply the hypertoric quotient test.[1]

  • The toric Kähler base: \(\mathbb{CP}^n\) in the first source example differs from its hypertoric cotangent-bundle quotient.[2]

  • Any hyperkähler space with a torus action: the specified finite-dimensional torus quotient is required.[2]

  • An all-level smoothness claim: singular and orbifold possibilities require explicit parameter and convention checks.[1]

References

[1] Nicholas Proudfoot, “A Survey of Hypertoric Geometry and Topology,” in Toric Topology, Contemporary Mathematics 460 (2008), DOI 10.1090/conm/460/09027, introduction and §§1.1, 1.3–1.4. The introduction explicitly defines the hypertoric family through abelian algebraic symplectic quotients interpreted as hyperkähler quotients; Proposition 1.3.3 distinguishes smooth, orbifold and singular arrangements. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p

[2] Roger Bielawski and Andrew S. Dancer, “The Geometry and Topology of Toric Hyperkähler Manifolds,” Communications in Analysis and Geometry 8, no. 4 (2000), DOI 10.4310/CAG.2000.v8.n4.a2. Full original research preprint, especially Examples 2.1–2.2, Section 3, Theorems 3.2–3.3 and 6.1, and Example 6.11. The frozen Wikipedia citation says pp. 727–760; the publisher header says pp. 727–759, so pagination is omitted here pending bibliographic reconciliation. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q ↩r ↩s ↩t ↩u ↩v ↩w ↩x ↩y ↩z ↩27 ↩28 ↩29 ↩30 ↩31 ↩32 ↩33 ↩34 ↩35 ↩36 ↩37 ↩38 ↩39 ↩40 ↩41 ↩42 ↩43

[3] Tamás Hausel and Bernd Sturmfels, “Toric Hyperkähler Varieties,” Documenta Mathematica 7 (2002), 495–534, introduction and §6. The original paper defines toric hyperkähler varieties algebraically and identifies its smooth cases with the Bielawski–Dancer manifolds. registry ↩

[4] N. J. Hitchin, A. Karlhede, U. Lindström and M. Roček, “Hyper-Kähler Metrics and Supersymmetry,” Communications in Mathematical Physics 108, no. 4 (1987), 535–589, DOI 10.1007/BF01214418. Institutional record. registry ↩