How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Four-Dimensional Kähler–Hodge Line Data
Local four-dimensional N=1 supergravity patch data for a positive Kähler metric, its holomorphic superpotential line bundle, and the Kähler-covariant derivative; no global existence theorem for a supergravity target is asserted.
Definition
Let and let be a nonempty smooth complex manifold of complex dimension . Here this means a nonempty Hausdorff, second-countable space with a holomorphic atlas of charts whose overlap maps are biholomorphic; this atlas also supplies the smooth structure. Choose a cover by such coordinate patches . On each patch choose a real smooth Kähler potential for a positive Hermitian metric On each overlap , require where is holomorphic. Fix a positive mass . Require on each , and require on every triple overlap, including repeated indices. Thus obeys the normalized bundle cocycle identities , , and . A holomorphic line bundle here is a rank-one complex vector bundle with holomorphic local frames and nonzero holomorphic transition functions satisfying these identities. A Kähler–Hodge line datum in this convention is this patch data together with such a line bundle whose local components for a holomorphic section transform as The displayed transitions are holomorphic and nonzero, and the stated period condition makes their product around every triple overlap equal to . Its Hermitian norm is locally , which is independent of patch. In four-dimensional units use , , and . Define the Kähler-covariant derivative by The definition is local on the stated patches. It does not assert that arbitrary Kähler potentials admit the required integral cocycle or line bundle.
Definition references
Facts & Assumptions
Given: The local positive Kähler patch data of Kähler coordinate-patch data for a rigid chiral model, a cover , holomorphic overlap functions satisfying the displayed cocycle, and .
Kähler coordinate-patch data for a rigid chiral model supplies smooth complex scalar-coordinate patches with real local Kähler potentials and positive Hermitian metric .
Complex manifolds, holomorphic vector bundles and Hermitian metrics defines a complex manifold by a compatible holomorphic atlas on a nonempty Hausdorff, second-countable space and defines a holomorphic vector bundle by holomorphic local trivializations and transition maps. The line bundle used here is its rank-one case.
The displayed transition and cocycle conditions are the adopted Kähler–Hodge line-bundle convention. They are assumptions on this datum, not consequences of positivity of .
Proof
On an overlap, , since is holomorphic and its conjugate is antiholomorphic. Thus the local Hessians of and agree, so [F1]'s positive Hermitian metric is well-defined across the chosen cover.
The transition functions are holomorphic and nonzero. The diagonal period condition gives . Applying the triple condition to then gives ; combining this inverse identity with gives . These are the transition identities of [F2]. Also . In common overlap coordinates, differentiating the transition law and using gives ; in different coordinates the chain rule adds the holomorphic covector Jacobian. Hence the norm and the line-valued covector have the declared patch behavior.