Alphabeta Math
DefinitionDefinition: AI-adaptedProof: AI-generatedPipeline-generatedprecheck passjudge pass (gpt-6-luna)verified 2026-11-05 (gpt-6.1-sol)
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 N=1 Kähler–Hodge Line Data

Physical scope

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 n≥1 and let X be a nonempty smooth complex manifold of complex dimension n. Here this means a nonempty Hausdorff, second-countable space with a holomorphic atlas of charts zα:Uα→zα(Uα)⊂Cn whose overlap maps are biholomorphic; this atlas also supplies the smooth structure. Choose a cover by such coordinate patches Uα. On each patch choose a real smooth Kähler potential Kα for a positive Hermitian metric gijˉ=∂i∂jˉKα. On each overlap Uα∩Uβ, require Kα−Kβ=Fαβ+Fαβ‾, where Fαβ is holomorphic. Fix a positive mass MP. Require Fαα∈2πiMP2Z on each Uα, and require Fαβ+Fβγ+Fγα∈2πiMP2Z on every triple overlap, including repeated indices. Thus tαβ:=e−Fαβ/MP2 obeys the normalized bundle cocycle identities tαα=1, tαβtβα=1, and tαβtβγ=tαγ. 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 W transform as Wα=e−Fαβ/MP2Wβ. The displayed transitions are holomorphic and nonzero, and the stated period condition makes their product around every triple overlap equal to 1. Its Hermitian norm is locally eKα/MP2∣Wα∣2, which is independent of patch. In four-dimensional units use [zi]=[MP]=1, [Kα]=[Fαβ]=2, and [W]=3. Define the Kähler-covariant derivative by DiW:=∂iW+KiMP2W,Ki:=∂iKα. 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.

Facts & Assumptions

Given: The local positive Kähler patch data of Kähler coordinate-patch data for a rigid N=1 chiral model, a cover {Uα}, holomorphic overlap functions Fαβ satisfying the displayed cocycle, and MP>0.

[F1]

Kähler coordinate-patch data for a rigid N=1 chiral model supplies smooth complex scalar-coordinate patches with real local Kähler potentials and positive Hermitian metric gijˉ=∂i∂jˉK.

[F2]

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.

[A1]

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 g.

Proof

1.1givenF1A1algebra

On an overlap, ∂i∂jˉ(Fαβ+Fαβ‾)=0, since Fαβ is holomorphic and its conjugate is antiholomorphic. Thus the local Hessians of Kα and Kβ agree, so [F1]'s positive Hermitian metric is well-defined across the chosen cover.

2.1givenF2A1step 1.1algebra∎

The transition functions tαβ=e−Fαβ/MP2 are holomorphic and nonzero. The diagonal period condition gives tαα=1. Applying the triple condition to (α,β,α) then gives tαβtβα=1; combining this inverse identity with tαβtβγtγα=1 gives tαβtβγ=tαγ. These are the transition identities of [F2]. Also eKα/MP2∣Wα∣2=eKβ/MP2∣Wβ∣2. In common overlap coordinates, differentiating the transition law and using Kα,i=Kβ,i+Fαβ,i gives DiWα=tαβDiWβ; in different coordinates the chain rule adds the holomorphic covector Jacobian. Hence the norm and the line-valued covector DW have the declared patch behavior.

Depends on

Dependency tree · 2 levels

Sources