Fubini–Study form

E551964

(1,1)-form Kähler form closed 2-form real differential form symplectic form

The Fubini–Study form is the canonical Kähler form on complex projective space, encoding its standard Hermitian and symplectic geometry.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (2)

Label	Occurrences
Fubini–Study metric	2
Fubini–Study form canonical	1

How this entity was disambiguated

This entity first appeared as the object of triple T5837247 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.

NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07

Target entity: Fubini–Study form
Context triple: [Kähler form, relatedTo, Fubini–Study form]

A. Kähler form
A Kähler form is a closed, positive-definite (1,1)-form that defines the compatible symplectic and Hermitian structure on a Kähler manifold.
B. Cartan theorems A and B
Cartan theorems A and B are fundamental results in complex analytic geometry that characterize coherent analytic sheaves on Stein spaces by guaranteeing the existence of enough global sections and the vanishing of higher cohomology.
C. Cartan–Killing form
The Cartan–Killing form is a canonical symmetric bilinear form on a Lie algebra that plays a central role in classifying and studying the structure of Lie algebras and Lie groups.
D. Maurer–Cartan form
The Maurer–Cartan form is a canonical Lie algebra-valued 1-form on a Lie group that encodes its infinitesimal structure and underlies many constructions in differential geometry and gauge theory.
E. Chern–Weil theory
Chern–Weil theory is a framework in differential geometry that constructs characteristic classes of vector bundles from curvature forms, linking topology and geometry through invariant polynomials.
F. None of above. chosen
G. Unsure - the case is ambiguous/there is not enough information to decide.

NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07

Target entity: Fubini–Study form
Target entity description: The Fubini–Study form is the canonical Kähler form on complex projective space, encoding its standard Hermitian and symplectic geometry.

A. Kähler form
A Kähler form is a closed, positive-definite (1,1)-form that defines the compatible symplectic and Hermitian structure on a Kähler manifold.
B. Cartan theorems A and B
Cartan theorems A and B are fundamental results in complex analytic geometry that characterize coherent analytic sheaves on Stein spaces by guaranteeing the existence of enough global sections and the vanishing of higher cohomology.
C. Cartan–Killing form
The Cartan–Killing form is a canonical symmetric bilinear form on a Lie algebra that plays a central role in classifying and studying the structure of Lie algebras and Lie groups.
D. Maurer–Cartan form
The Maurer–Cartan form is a canonical Lie algebra-valued 1-form on a Lie group that encodes its infinitesimal structure and underlies many constructions in differential geometry and gauge theory.
E. Chern–Weil theory
Chern–Weil theory is a framework in differential geometry that constructs characteristic classes of vector bundles from curvature forms, linking topology and geometry through invariant polynomials.
F. None of above. chosen

Statements (48)

Predicate	Object
instanceOf	(1,1)-form ⓘ Kähler form ⓘ closed 2-form ⓘ real differential form ⓘ symplectic form ⓘ
arisesFrom	Chern connection on O(1) ⓘ
definedOn	CP^1 ⓘ linked to: Riemann sphere CP^n ⓘ CP^∞ ⓘ complex projective space ⓘ
determines	standard volume form on CP^n ⓘ
givesComplexStructureCompatibilityTo	CP^n ⓘ
givesSymplecticStructureTo	CP^n ⓘ
hasAssociatedMetric	Fubini–Study metric ⓘ linked to: Fubini–Study form
hasConstantHolomorphicSectionalCurvature	yes (for associated metric) ⓘ
induces	standard Riemannian metric on CP^n ⓘ
isAssociatedWithLineBundle	hyperplane line bundle O(1) ⓘ
isCanonicalOn	CP^n ⓘ complex projective space ⓘ
isClosed	yes ⓘ
isCompatibleWith	standard Hermitian structure on CP^n ⓘ standard complex structure on CP^n ⓘ
isExact	no ⓘ
isExampleOf	Hodge form on a projective variety ⓘ Kähler form coming from an ample line bundle ⓘ
isHomogeneousUnder	action of U(n+1) on CP^n ⓘ
isInvariantUnder	holomorphic isometries of CP^n ⓘ projective unitary group PU(n+1) ⓘ unitary group U(n+1) ⓘ
isKählerFormOf	Fubini–Study metric ⓘ linked to: Fubini–Study form
isNamedAfter	Eduard Study ⓘ Guido Fubini ⓘ
isNormalizedSoThat	integral over CP^1 equals π ⓘ integral over projective line equals 1 (up to conventions) ⓘ
isPositive	yes ⓘ
isPullbackOf	standard symplectic form on C^{n+1}\{0} via Hopf fibration (up to normalization) ⓘ
isUniqueUpToScaleAs	U(n+1)-invariant Kähler form on CP^n ⓘ
isUsedIn	Kähler geometry ⓘ algebraic geometry ⓘ complex differential geometry ⓘ geometric quantization ⓘ moment map theory ⓘ study of projective embeddings ⓘ symplectic geometry ⓘ
locallyExpressedInAffineChart	i∂∂̄ log(1+∑_{j=1}^n \|w_j\|^2) ⓘ
locallyGivenBy	i∂∂̄ log(∑\|z_i\|^2) ⓘ
representsCohomologyClass	first Chern class of O(1) ⓘ generator of H^2(CP^n, Z) ⓘ

How these facts were elicited

Referenced by (3)

Full triples — surface form annotated when it differs from this entity's canonical label.

Kähler form → relatedTo → Fubini–Study form ⓘ

Fubini–Study form → hasAssociatedMetric → Fubini–Study metric ⓘ

linked to: Fubini–Study form

Fubini–Study form → isKählerFormOf → Fubini–Study metric ⓘ