Hypertoric variety¶
A torus hyperkähler quotient of a quaternionic vector space, with geometry governed by its weights and moment-map data.
Core Idea¶
A hypertoric variety, in the standard constructive sense, comes from a hyperkähler quotient of a flat quaternionic vector space by a subtorus of its coordinate torus.[1][2] Hausel and Sturmfels call their algebraic constructive family toric hyperkähler varieties and identify its smooth members with Bielawski and Dancer's manifolds.[3] A choice of torus weights and moment-map level specifies the quotient; the remaining torus acts on the resulting space.[2]
The term follows a mathematical construction, not just the presence of torus symmetry. At appropriate regular levels the quotient is a smooth toric hyperkähler manifold; Proudfoot's constructive variety convention also includes singular examples.[1][2] HKLR developed the general hyperkähler quotient.[4] Bielawski and Dancer gave a systematic study of the toric quotient family.[2]
Scope of Application¶
Use the name for the finite-dimensional quotient family built from \(\mathbb H^d\), a subtorus \(N\subset T^d\), all components of the hyperkähler moment map, and an orbit quotient at a stated level.[1][2] These data matter when comparing instances or claiming smoothness, orbifold status, or topology.
An ordinary toric variety is a close comparison, but its dense algebraic torus orbit is a different defining condition.[1] A hyperkähler manifold merely having some torus action also does not suffice: Bielawski and Dancer identify examples outside their quotient construction.[2]
The residual torus acts on the hypertoric quotient and preserves its symplectic or hyperkähler structure in the respective presentation.[1][2] That internal action supports a proposed typed composition/part_of relation to the live Symmetry Prime. The whole hypertoric space is not itself a symmetry relation.
Clarity¶
The word toric signals an abelian quotient and residual torus action.[1] The word hyperkähler signals the additional moment-map components beyond a Kähler quotient.[2] In one worked case the Kähler quotient is \(\mathbb{CP}^n\), whereas the linked hyperkähler quotient is \(T^*\mathbb{CP}^n\).[2] Confusing the two assigns results to the wrong space.
Manages Complexity¶
The name gathers many calculations into a repeatable test: specify the quaternionic carrier, the subtorus weights, the level, and the quotient. The residual torus and associated flats then help organize stabilizers and geometry.[2] The compression is useful only if the weights, level, and regularity assumptions remain visible.
Abstract Reasoning¶
To check a proposed example, recover \(N\) and its weights, impose all hyperkähler moment-map equations, form the quotient, and test any claimed smoothness.[2] A toric-looking diagram or a torus action by itself is insufficient.
Changing weights may change the resulting topology.[2] Changing the level may change geometry or regularity, but Bielawski and Dancer prove that, within their toric hyperkähler orbifold class, fixed weights give homeomorphic quotients across levels.[2] Do not infer a topology change from a level change alone in that class.
Knowledge Transfer¶
The construction can be reused with different torus ranks and weights while keeping the same role test. The two examples below both use \(\mathbb H^3\), yet their subtori and results differ.[2] Beyond the literal hyperkähler quotient setting, “toric” and “quotient” are analogies rather than evidence that a space is hypertoric.
Examples¶
- Diagonal circle: The diagonal \(S^1\) action on \(\mathbb H^3\), at the source's suitable level, yields \(T^*\mathbb{CP}^2\) with a Calabi hyperkähler metric.[2] The residual vectors \(e_1,e_2,-(e_1+e_2)\) form the source's simplex arrangement for the related toric base.[2]
Mapped back: \(\mathbb H^3\) is the carrier, the diagonal circle is the subtorus, its moment-map level and orbit relation define the quotient, and \(T^3/S^1\) is the residual torus.[2]
- Rank-two subtorus: In the other source example, the kernel in \(T^3\) is generated by \((1,1,0)\) and \((1,0,1)\), with residual vectors \(-e_1,e_1,e_1\).[2] Its Kähler quotient is \(\mathbb{CP}^1\); the associated hyperkähler quotient instead is an ALE resolution of \(\mathbb C^2/\mathbb Z_3\), the \(A_2\) case.[2] The arrangement produces two intervals meeting at a point in the source's deformation-retract analysis.[2]
Mapped back: \(\mathbb H^3\) again supplies the carrier, now with a rank-two subtorus; the hyperkähler level and quotient give the ALE space, leaving a residual circle.[2]
Relationships to Other Abstractions¶
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
- Quaternionic discrete series representation — 0.82
- Quaternion-Kähler Manifold — 0.82
- Symplectization — 0.81
- Isoparametric manifold — 0.81
- Symplectic spinor bundle — 0.80
Computed from structural-signature embeddings · 2026-10-25
Not to Be Confused With¶
-
Toric variety: the neighboring dense-open-torus definition does not replace the hyperkähler quotient test.[1]
-
Kähler base: \(\mathbb{CP}^n\) in the first construction differs from its cotangent-bundle hyperkähler quotient.[2]
-
Any hyperkähler space with torus symmetry: the specified finite-dimensional torus quotient is the defining construction.[2]
-
Automatically smooth quotient: regularity and the singular-variety convention must be checked.[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 names the abelian quotient variety family and Proposition 1.3.3 distinguishes smooth, orbifold and singular arrangements. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h
[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 preprint, especially Examples 2.1–2.2, Section 3, Theorem 6.1 and Example 6.11. Frozen-source pagination conflicts with the publisher header and is omitted pending 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
[3] Tamás Hausel and Bernd Sturmfels, “Toric Hyperkähler Varieties,” Documenta Mathematica 7 (2002), 495–534, introduction and §6. The original algebraic treatment names the family and identifies 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 ↩