Im currently studying thermodynamics in a contact geometric context and I've stumbled upon a comprehension problem on my side. We have the equilibrium connection $\Gamma_p$, which generates the horizontal subspace of dimension 2n which is equivalent to the kernel of the gibbs contact form $\eta$, which encodes the first law of thermodynamics.
We also know that the kernel of $\eta$ gives us the n dimensional legendre manifolds. They are only n dimensional, because of the non integrability condition of the contact form. So my problem is how do these 2 things agree, since both are the kernel yet somehow have a different dimension.

A picture i tried to solve this question with was, that since i have n dimensional legendre manifolds and 2n directions, i can simply choose which variables are independent, which results in a family of legendre manifolds at a point for different independent variables, which at the end give me 2n equilibrium directions, but this clearly doesn't work, because iirc legendre submanifolds are invariant under legendre transformations, which basically determine my choice of independent variables.

Something that could help with answering this question is the fact, that the distribution $D$ is also defined via the contact form with $D_p= \{X=T_pM \ |\ \eta(X)=0\}$, where $M$ is the 2n+1 dimensional contact manifold, but I'm not quite sure, if it actually helps solving the problem

Below you can find the text passages im referring to, they were taken from the article "Conformal Gauge Transformations in Thermodynamics".

So where exactly does my comprehension fail or did I simply not consider a certain aspect of the construct?

EDIT: A conclusion i came to so far is, that the legendre submanifolds needs to be a maximal integral submanifold, while the kernel of $\eta$ is indeed 2n dimensional and we basically have that the legendre submanifold is a subspace of the horizontal subspace.
I am not exactly sure about this conclusion since, to have an integral submanifold, the distribution of my space and the embedding of the tangent space of the (legendre) submanifold need to agree. Which means, that i would have an n dimensional distribution at any point, which is obviously wrong, because of the existence of the natural splitting into vertical and horizontal part, where the horizontal part is 2n dimensional

EDIT 2: I found another definition of a Legendrian submanifold which is is the following:

Let (M, ξ) be a contact manifold. A submanifold L of $(M, \xi )$ is called an isotropic submanifold if $T_xL$$\xi_x$ for all $x ∈ L$.

An isotropic submanifold $L ⊂ (M^{2n+1}, ξ) $of maximal possible dimension n is called a Legendrian submanifold.

This definition very well supports my claim, that the legendrian submanifold is a subspace of the $ker(\eta)$, which is the complement of the vertical subbundle, described by the reebs vector field

passage 1

passage 2


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.