higher geometry / derived geometry
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
derived smooth geometry
The notion of -plectic form is a generalization of the notion of symplectic form to differential forms of more than two arguments. This is considered in higher symplectic geometry, specifically: in multisymplectic geometry.
For a smooth manifold and , , a differential form on is -plectic if
it is an -forms, ;
it is closed: ;
it is non-degenerate in that the contraction map
has trivial kernel.
This definition has an evident generalization to the case where also is allowed to be a “higher” generalization of a smooth manifold, namely a smooth ∞-groupoid or L-∞ algebroid. See higher symplectic geometry for more on this case.
See the references at multisymplectic geometry.
For instance definition 2.1 in