The Global Spherical Shell conjecture

1 · The essentials

The manuscript concerns a particular kind of mathematical surface described using complex numbers. It claims that every surface meeting its conditions contains a special region shaped like a neighborhood of a sphere. The region must fit in a way that respects the surface’s complex-number structure. Removing it must leave the rest of the surface connected. The claim applies only to the specified family of surfaces, not to all surfaces. The supplied abstract states the result but does not explain the argument. The main result is not formalized in Lean and has not been formally verified.

A picture to help (an imperfect image, not to be taken literally)

As an imperfect image, imagine placing a collar-shaped region inside an object without cutting the remaining material into separate pieces. The mathematical shell has additional requirements involving complex numbers, so an ordinary physical collar illustrates only the placement and connected-remainder conditions.

Why it matters

The manuscript claims to settle the positive-second-Betti-number Global Spherical Shell conjecture. Its significance is the uniform conclusion: every surface satisfying the stated hypotheses would contain the same specified kind of region.

2 · Going further

The precise claim is that every connected minimal compact complex surface of class VII with second Betti number $b_{2} > 0$ contains a global spherical shell. Here a global spherical shell is a holomorphically embedded neighborhood of the standard three-sphere in $C^{2} ∖ {0}$ whose complement in the surface is connected. Both the holomorphic embedding and the connected-complement requirement are part of the conclusion.

The repository summary and the main manuscript’s abstract present this as a resolution of the positive- $b_{2}$ Global Spherical Shell conjecture. However, the supplied abstract gives only the statement: it describes no construction, intermediate results, or main idea of the argument. Only one manuscript is supplied, so no relationship with companion manuscripts can be assessed from this text. The claimed result has not been formalized in Lean or formally verified.

Useful notions

Complex surfaces and holomorphic embeddings
Connectedness and complements
The standard three-sphere
Second Betti number
Minimal surfaces of class VII

What was known before / what is new

Before

The source identifies the target statement as the Global Spherical Shell conjecture. It supplies no account of earlier partial results, methods, or historical development.

New

The manuscript claims the existence of a global spherical shell for every connected minimal compact complex surface of class VII with $b_{2} > 0$ . The supplied statement covers the entire family under those hypotheses, but the abstract provides no argument to examine.

Limits and assumptions

The hypotheses are connectedness, minimality, compactness, membership in class VII, and $b_{2} > 0$ . No conclusion is supplied for surfaces outside those conditions, including the case $b_{2} = 0$ . The text does not identify further open questions or describe the argument. The main result is not formalized in Lean and has not been formally verified.

Mini glossary

Global spherical shell: A holomorphically embedded neighborhood of the standard three-sphere in $C^{2} ∖ {0}$ whose complement in the surface is connected.
Connected complement: The requirement that the part of the surface outside the embedded shell remain connected.
Positive second Betti number: The numerical hypothesis $b_{2} > 0$ imposed on the surfaces in the manuscript’s claim.

Keywords : Global spherical shell · Class VII surfaces · Second Betti number

AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.

3 · Technical details and sources

Claim made in the manuscript (source text)

Every connected minimal compact complex surface of class VII with $b_{2} > 0$ contains a global spherical shell, proving the positive-b₂ Global Spherical Shell conjecture. Such a shell is a holomorphically embedded neighborhood of the standard three-sphere in $C^{2} ∖ {0}$ whose complement is connected.

To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.

Manuscripts in this family

★

Global Spherical Shells on Minimal Surfaces of Class VII

24/09/2026

To be verified

We prove the Global Spherical Shell conjecture: every connected minimal compact complex surface of class VII with positive second Betti number contains a global spherical shell. This is a holomorphically embedded neighborhood of the standard three-sphere in $C^{2} ∖ {0}$ whose complement is connected.

PDF GitHub folder