Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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.

Kähler coordinate-patch data for a rigid N=1 chiral model

Physical scope

A local coordinate-patch definition of the classical scalar target data used by a rigid four-dimensional N=1 chiral model; it asserts no quantum or empirical claim.

Definition

Let n be a positive integer. Give Cn the Euclidean topology transported from R2n by the real coordinates zi=xi+iyi, where xi,yi∈R. Let U⊆Cn be open in this topology and contain 0. Each complex number has its unique real decomposition a+ib with a,b∈R; write a+ib‾=a−ib. A function on U is smooth if all of its partial derivatives of every finite order in the real coordinates (x1,y1,…,xn,yn) exist and are continuous. Define the Wirtinger derivatives by ∂i=12(∂xi−i∂yi) and ∂iˉ=12(∂xi+i∂yi).

A Kähler coordinate-patch datum is such a pair (U,K) with a smooth real-valued function K:U→R for which the matrix gijˉ(z,zˉ):=∂i∂jˉK(z,zˉ) satisfies gijˉ=gjiˉ‾ and is positive definite: for every z∈U and every nonzero v=(v1,…,vn)∈Cn, vˉjˉgijˉ(z,zˉ)vi>0. This smooth Hermitian matrix is the Kähler metric specified by the potential K. In natural units ℏ=c=1, mass dimensions are powers of mass; assign [zi]=1, [K]=2, and [gijˉ]=0.

Depends on

Dependency tree · 2 levels

Sources