When symplectic geometry is used to model mechanics in physics, then a symplectic manifold encodes the phase space of a mechanical system and a symplectomorphism
encodes a process undergone by this system, for instance the time evolution induced by a Hamiltonian vector field.
Now the graph of a symplectomorphism is a Lagrangian submanifold of the Cartesian product space regarded as a symplectic manifold with symplectic form . In other words, a symplectomorphism as above constitutes a Lagrangian correspondence between and . See for instance (Cattaneo-Mnev-Reshetikhin 12) for a review.
This suggests that instead of the category whose objects are symplectic manifolds and whose morphisms are symplectomorphisms, one might consider a kind of category of correspondences whose objects are symplectic manifolds, and whose morphisms include Lagrangian correspondences, so that composition is given by forming the fiber product along adjacent legs of correspondences.
Alan Weinstein called this would-be category the symplectic category and suggested that it is the natural domain for geometric quantization.
However, take at face value, symplectic manifolds with Lagrangian correspondences between them do not quite form a category, since the usual composition is only well-defined when the intersection of is transverse.
Proposals for how to rectify this are in (Wehrheim-Woodward) and in (Kitchloo) (by turning this into an (infinity,1)-category).
A refinement of the symplectic category to prequantum geometry is the following (see S 13).
Write for the moduli stack of smooth circle group-principal connections. Write Smooth∞Grpd for the cohesive (∞,1)-topos of smooth ∞-groupoids, and for the corresponding slice (∞,1)-topos. Finally write
for the (∞,1)-category of correspondences in .
An object in here is a prequantum geometry given by a map
Under the curvature map this maps to a presymplectic structure
If here is non-degenerate, this is a symplectic structure as in Weinstein’s symplectic category.
Moreover, a morphism is a diagram of the form
hence a correspondence space (smooth -groupoid) over and together with an equivalence in an (∞,1)-category
On the underlying curvatures this implies that
Hence if is a maximal inclusion with this property, the above diagram is a prequantization of a morphism in the Weinstein symplectic category.
Nitu Kitchloo defines the stable symplectic category , which has as objects symplectic manifolds, and morphisms are certain Thom spectra
associated to Lagrangian correspondences , where denotes the conjugate with symplectic form . One can view this as a category of symplectic motives.
Considering an oriented version of the category , there is a canonical fiber functor , and one may consider the motivic Galois group of monoidal automorphisms of . (Kitchloo 12, question 8.6, p. 19).
It turns out to have a natural subgroup which is isomorphic to the quotient of the Grothendieck-Teichmüller group.
The way that Lagrangian correspondences encode symplectomorphisms in symplectic geometry and hence evolution in mechanics is reviewed (and put in the broader context of BV-BRST formalism) in
In his work on Fourier integral operators,
14
following
Gos. Univ., Moscow, (1965).
observed that, under a transversality assumption, the set-theoretic composition of two Lagrangian submanifolds is again a Lagrangian submanifold, and that this composition is a “classical limit” of the composition of certain linear operators.
Shortly thereafter,
defined symplectic relations as isotropic submanifolds of products and showed that this class of relations was closed under “clean” composition. Following in part some (unpublished) ideas of Alan Weinstein,
observed that the linear canonical relations (i.e., lagrangian subspaces of products of symplectic vector spaces) could be considered as the morphisms of a category, and they constructed a partial quantization of this category (in which lagrangian subspaces are enhanced by halfdensities.) The quantization of the linear symplectic category was part of a larger project of quantizing canonical relations (enhanced with extra structure, such as half-densities) in a functorial way, and this program was set out more formally
Alan Weinstein, Symplectic manifolds and their lagrangian submanifolds, Advances in Math. 6 (1971), 329–346.
Alan Weinstein, Symplectic geometry, Bulletin Amer. Math. Soc. (new series) 5 (1981), 1–13.
See also
Lecture notes reviewing these developments include
from the introduction of which parts of the commented list of references above is taken. Further review includes
Further refinements in higher category theory are discussed in
A closed symmetric monoidal category version of the symplectic category and the observation that this hence is a categorical semantics for quantum logic qua linear logic is in
Remarks about refinements to correspondences of smooth -groupoids in the slice over prequantum moduli is in
String diagrams for the linear and affine Weinstein category using graphical linear algebra
Last revised on February 8, 2023 at 22:11:07. See the history of this page for a list of all contributions to it.