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.
Conformal Hodge scaling in every degree
Statement
Let be as in Oriented Lorentzian fields, observers and coordinate conventions, let be a smooth dimensionless function, and set with the same orientation . For every smooth -form , ,
In degree the Hodge star is unchanged. This is a statement about the Hodge operators of two conformally related Lorentz metrics; it asserts no conformal invariance of any curvature or field equation.
Facts & Assumptions
Given: The oriented four-dimensional Lorentzian manifold, a smooth positive function , and a smooth -form .
The Hodge star is uniquely characterized by for all -forms . (Lorentzian exterior calculus and Hodge star)
The smooth tangent-bundle background inherits from The Axiom of Countable Choice (); the pointwise scaling calculation below is finite-dimensional and uses no full Choice.
Proof
On the inherited smooth manifold background [A1], since and , its inverse is . The exterior pairing of two -forms contains exactly inverse-metric factors, so . In a positively oriented chart, ; therefore the metric volume form scales as .
Applying the defining identity in [F1] with in place of and substituting step 1.1 gives, for every -form , . For the multipliers are respectively , all smooth because is smooth and positive. Thus the candidate is a smooth bundle map satisfying the defining identity for ; uniqueness in [F1] gives .