symplecticFormLocalExpression

P140827
predicate

Indicates how a symplectic form is represented in local coordinates or a local chart on a symplectic manifold.

Observed surface forms (1)

Surface form Occurrences
locallyExpressedInAffineChart 1

Sample triples (2)

Subject Object
Darboux theorem omega = sum_{i=1}^n dq_i wedge dp_i in Darboux coordinates
Fubini–Study form i∂∂̄ log(1+∑_{j=1}^n |w_j|^2) via predicate surface "locallyExpressedInAffineChart"