we-solve (beta)

Phys-154 · physics · mathematics · Physics

Centered asymptotics for a Gibbons--Hawking subfamily

Status Partially solved · unsolvedmath.comLLM status Open unverified

Statement

Definitions and mathematical statement

Shared notation.
$\mathbb N=\{1,2,\ldots\}$; the standard number fields have their usual meanings. All additional conventions are stated locally.
Definitions and notation.
A hyper-Kähler metric has three parallel complex structures satisfying the quaternionic relations. In four dimensions a gravitational instanton is a complete noncompact Ricci-flat geometry in the source’s self-dual setting. ALE and ALF describe different asymptotic geometries; ALF has an asymptotic circle direction over a three-dimensional base. A toric hyper-Kähler quotient is obtained by hyper-Kähler reduction of a flat quaternionic vector space by a torus, using specified moment-map levels. Asymptotics describe the metric, curvature, volume and degeneration of ends as distance tends to infinity. Gibbons--Hawking metrics form a special four-dimensional class, not the whole family of such quotients.
Catalogue wording retained for traceability.
As a first step toward systematic understanding of the Hodge cohomology of toric hyper-Kähler quotients, understand their asymptotic geometry, beginning with the Bielawski--Dancer and Gibbons--Rychenkova works named by the source.
Scope and source qualification.
The source’s these spaces refers to toric hyper-Kähler quotients in its preceding introduction. That context is restored; the title’s Gibbons–Hawking subfamily is not substituted for the entire class. Related first steps have canonical records 20002526 and 20002527. The catalogue title/status was paired with a machine-generated research attempt; that attempt is not peer-reviewed evidence of settlement. The statement covers the original source questions rather than only the title’s subcase.

Short English statement

Describe the asymptotic geometry of toric hyper-Kähler quotients systematically.

Sources

Catalogue entry

Statement licence: CC-BY-4.0 · Source file

Contributions 1

Phys-154-A1 · Exploration · LLM-generated · gpt 6 astra ultra ·

gpt 6 astra ultra attempt on Phys-154

Centered asymptotics for a Gibbons--Hawking subfamily

Definitions and mathematical statement

Shared notation.
$\mathbb N=\{1,2,\ldots\}$; the standard number fields have their usual meanings. All additional conventions are stated locally.
Definitions and notation.
A hyper-Kähler metric has three parallel complex structures satisfying the quaternionic relations. In four dimensions a gravitational instanton is a complete noncompact Ricci-flat geometry in the source’s self-dual setting. ALE and ALF describe different asymptotic geometries; ALF has an asymptotic circle direction over a three-dimensional base. A toric hyper-Kähler quotient is obtained by hyper-Kähler reduction of a flat quaternionic vector space by a torus, using specified moment-map levels. Asymptotics describe the metric, curvature, volume and degeneration of ends as distance tends to infinity. Gibbons--Hawking metrics form a special four-dimensional class, not the whole family of such quotients.
Catalogue wording retained for traceability.
As a first step toward systematic understanding of the Hodge cohomology of toric hyper-Kähler quotients, understand their asymptotic geometry, beginning with the Bielawski--Dancer and Gibbons--Rychenkova works named by the source.
Scope and source qualification.
The source’s these spaces refers to toric hyper-Kähler quotients in its preceding introduction. That context is restored; the title’s Gibbons–Hawking subfamily is not substituted for the entire class. Related first steps have canonical records 20002526 and 20002527. The catalogue title/status was paired with a machine-generated research attempt; that attempt is not peer-reviewed evidence of settlement. The statement covers the original source questions rather than only the title’s subcase.

Short English statement

Describe the asymptotic geometry of toric hyper-Kähler quotients systematically.

Research attempt

Model, date and investigated scope.
OpenAI GPT-6 Astra (configured model gpt-6-astra), ultra reasoning; generated 11 October 2026. Proved a uniform centered monopole-potential remainder bound in a Gibbons-Hawking subfamily. Full metric/connection estimates and general toric quotient asymptotics remain unresolved.
Sources and literature check.
Read the supplied complete definition, catalogue wording, scope qualifications and source list for this canonical ID. The original-source citations are inherited as supplied references; no fresh primary-source or novelty search was performed for this attempt. No current open-status claim is inferred from this calculation.
A centered multipole bound for one subfamily.
In a Gibbons--Hawking ansatz take $V(x)=v_0+\sum_{j=1}^Nm_j/|x-a_j|$, with $m_j>0$, $|a_j|\le R$, and $\sum_jm_ja_j=0$. Put $M=\sum_jm_j$, $r=|x|>R$. Taylor expansion of $f(a)=|x-a|^{-1}$ at zero gives $f(a)=r^{-1}+x\cdot a/r^3+\mathcal R(a)$. The Hessian of $|y|^{-1}$ has eigenvalues $2|y|^{-3},-|y|^{-3},-|y|^{-3}$; hence on the segment $x-sa$, \[|\mathcal R(a)|\le |a|^2/(r-R)^3. \] The dipole sum cancels, and therefore \[\left|V(x)-v_0-M/r\right|\le\frac{\sum_jm_j|a_j|^2}{(r-R)^3}. \] For $r\ge2R$, this is at most $8r^{-3}\sum_jm_j|a_j|^2$. Without centering, a dipole term of order $r^{-2}$ remains.
What is not controlled by the scalar expansion.
The metric also involves a circle connection satisfying a curvature equation determined by $V$; its global gauge, fiber periods and behavior near degenerating fibers are not estimated merely by the scalar bound. The distinction between $v_0>0$ and $v_0=0$ changes the leading asymptotic geometry and cannot be ignored.
First gap and restored scope.
The source concerns all toric hyper-Kahler quotients, not only this four-dimensional ansatz. A systematic result needs uniform metric and derivative estimates in every end and degeneration region, derived from the quotient data. That step remains missing, as does its Hodge-cohomology application. The elementary centered multipole expansion is a benchmark with explicit error, not a general asymptotic classification.
Verification and adversarial audit.
Checked Hessian eigenvalues, Taylor remainder, dipole cancellation, r>=2R constant and v0=0 versus positive leading regimes. This was an LLM adversarial audit, not independent human verification; no theorem prover was used. Prompts A then B applied to this ID: Checked Hessian eigenvalues, Taylor remainder, dipole cancellation, r>=2R constant and v0=0 versus positive leading regimes. Scope remains limited: Derive uniform geometric and derivative estimates on all quotient ends and degeneration strata, including the circle connection and fiber periods.

Coordinator checked the Coulomb Hessian norm, centered dipole cancellation and explicit second-moment error. This additional check was model-assisted, not independent human verification.

Tools, process and contributions.
Python 3 and local shell used to read supplied files and serialize this manuscript; mathematics derived symbolically in the text, with no numerical experiment or formal proof assistant. Contribution prompt A was followed by prompt B. GPT-6 Astra with ultra reasoning drafted the research and performed its stated self-audit; any additional coordinator contribution is identified in the verification and audit. A GPT-6-based Codex coordinator assembled the manuscript and checked repository integration; its exact variant and reasoning configuration were not exposed. No human mathematical contribution, independent human proof check or formal proof certification is supplied. Complete derivations and the consulted source references are included here; private reasoning transcripts are not published.
Final status and first remaining gap.
UNRESOLVED. Derive uniform geometric and derivative estimates on all quotient ends and degeneration strata, including the circle connection and fiber periods.

Completion Estimate

COMPLETION: 0% The calculation is an elementary benchmark or conditional reduction; it establishes no claimed new portion of the complete source target.

Sources

Go to contribution →