symplecticmath

# Symplectic geometry

[2018-11-15] ok, so trying to consolidate everything

1. https://sbseminar.wordpress.com/2012/01/09/what-is-a-symplectic-manifold-really/
TODO how to link in org mode?? e.g. citations?

here they try to deduce phase space from some reasonable mathematical assumptions (time evolution, energy conservation, flows)

1. The Geometry of Hamiltonian Mechanics

So, we have a configuration space N, which is a manifold. Typically, it's the set of positions, more generally, it's the set of all possible 'snapshots' of the system at a certain time.

(TODO how does that correspond to wavefunctions? how is position special? e.g. momentum is not any worse right?).

Then take $$M = T^* N$$ (cotangent bundle) – it's the phase space, and itself a manifold.

TODO twice the dimensions?

NOTE: ugh, looks like they are confusing p and q in , typically q is position/state and p is monentum. So I'm using the more common notation.

Some coordinates in M are position coordinates, some are momentum coordinates. (xq, xp). xq corresponds to N, xp corresponds to T* N at xq?

Ok, consider time derivative.
Time derivative of xq is a vector on N . Note: ok, sort of makes sense.. I guess by vector they mean a point from tangent space? E.g. consider 2-sphere, time derivative is indeed a vector on that sphere.
Time derivative of xp is a covector on N . TODO: this still makes sense I guess? Not really.. I guess my confusion has to do with not understanding what's a thing from T* N?

digression:
consider 1-sphere S (radius 1). Its configurations X are angles phi from 0 to 2 pi. If you consider tangent space though, it's gonna have all possible velocities from -inf to inf.
ok. but what about cotangent space?? | TODO what does it have to do with 1-forms
is it just the space of all {mul by v | v in (-inf, inf)}. And then what??

so time derivative of position is a vector on N. Agree. I guess we're using the fact that N is a manifold, thus locally it's a vector space.
time derivative of momentum is a covector on N. Well, that's a bit more subtle. I mean, it kinda makes sense, but it's a different space than T*x N. Right?

suppose we have a functional F(t): N -> R, and we want to compute its derivative. By definition, F'(t) = (F(t+dt) - F(t)) / dt. But F(x) = <f, x>. Then, F'(t) = (<f(t + dt), x> - <f(t), x>) / dt = <(f(t + dt) - f(t))/dt, x>. So, it's dual to f', which is a time derivative of a vector, thus a covector. Ugh, ok.

Again, following . Consider a function E: M -> R.
Its differential w.r.t. space coordinates is a covector, and w.r.t momentum coordinates is a vector. well, ok

dE/d(q,p) = (dE/dq1.. dE/dqn, dE/dp1…de/dpn)
Ok, I suppose you could call dE/dq a covector. why though?… what does that mean? I guess that if we plug

TODO shit. don't think I understand that bit really intuitively… but whatever

Ok. so we established that
dxq/dt and dE/dxp are both vectors
dxp/dt and dE/dxq and both covectors.
so that?? why the minus sign?

## ¶[2018-11-10] ok, trying to break down this thing http://math.mit.edu/~cohn/Thoughts/symplectic.htmlsymplecticmath

the idea is to generalise phase space mechanics to abstract (not necessarily eucledian spaces)

we want a method to turn hamiltonian function H to a vector field V, then dynamics is the flow across integral curves of this field

requirements:

1. depend only on dH (global shift doesn't matter)
2. linear dependence on dH

he claims that tensor field, a section of Hom(T*M, TM), or Hom(TM, T*M) = (TM -> T*M) = T*M tensor T*M does that

NOTE: vector bundle – vector space, depending on parameter (point)
NOTE: tensor field by definition is some section on tensor bundle. mmm.
NOTE: vector fields on manifold – a section of tangent bundle. Okay, sort of makes sense. although; you could have said that it's a mapping F: (x: X) -> T(x)
NOTE: huh, so f: M -> R, df: {m: M} -> T(M) -> R. TODO wonder if it's interesting that number of arguments is increasing?
in general: f: M -> N, df: TM -> TN, meaning that df: {exists m: M} (T(m) -> T(f(m)))
TODO shit, I need agda here?…

jesus, they just don't have nice notation

tensor field is F: (x: X) -> T(x) ; T(x) is the space of all tensors at x. and that's it!

note from wikipedia: if f: M -> N, then df: TM -> TN

ok, so if H: M -> R; then dH: TM -> R = T*M
NOTE: when we think of dH, we consider it as a section, sort of with implicit {m: M} argument.

hmm, what is the tangent space of point on R. still R right? Yes, because it's basically space of 'velocities'
so dH is a covector field, ok https://ru.wikipedia.org/wiki/%D0%94%D0%B8%D1%84%D1%84%D0%B5%D1%80%D0%B5%D0%BD%D1%86%D0%B8%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0%D1%8F_%D1%84%D0%BE%D1%80%D0%BC%D0%B0#%D0%9F%D1%80%D0%B8%D0%BC%D0%B5%D1%80%D1%8B

so we want to turn dH: T(m) -> R into V: (m: M) -> T(m)

to do that, for every point m, we need a way to map dHm into T(m). dHm: (T(m) -> R)

U* x V = Hom(U, V) = U -> V

process : (T(m) -> R) -> T(m) =

### ¶[2018-11-18]symplecticmath

ok, use conservation of energy
that means that Hamiltonian is constant along the flow. for any H: dH(VH) = 0, hence w(VH, VH) = 0. For every V, we can find its H, s.t. VH = V, so w(V, V) = 0 for all V? so the form is alternating

TODO non-degeneracy?

## ¶START[2018-11-16] Topics in Representation Theory: Hamiltonian Mechanics and Symplectic Geometry symplecticmath

good point on first page: a more obvious set of equations is gradient flow:
dpi/dt = -df/dpi
dqi/dt = -df/dqi

it's a flow along a vector field ∇f, which comes from: taking -df (1-form); then using inner product on R2n to dualise and get a vector field from 1-form.
that is:

f -> ∇f: <∇f, x> = -df. Ok, makes sense. We can just substitute vector fields in forms to get forms of lower rank.

Hamilton's equations are similar, but instead the form is symplectic, not an inner product.

Sometimes XH is called symplectic gradient.

Flow along the gradient of f changes f as fast as possible
Flow along the symplectic gradient of f keeps f constant

since dH(XH) = -w(XH, XH) = 0

NOTE: I guess that's natural, we want to keep energy constant along the phase space movement.

TODO blah blah something about hamiltonian vector fields and poisson brackets

NOTE! Right, so contangent bundle is actually just an example (!) of a symplectic manifold, with some canonical structure. Another example is Kahler manifold

M = T* N
Canonical one-form theta an point (a, b) ∈ T*n by theta(a,b)(v) = b(Proja v)
Then the symplectic form w = d theta

TODO interesting that we throw away most of v's information. I guess that has to do with degeneracy??

hmm, https://en.wikipedia.org/wiki/Tautological_one-form
apparently this theta is called canonical one-form

### ¶TODO looks like really good paper… read more from it (or references?) symplecticmath

 Bryant, R., An Introduction to Lie Groups and Symplectic Geometry, in
Geometry and Quantum Field Theory, Freed, D., and Uhlenbeck, K., eds.,
American Mathematical Society, 1995.
 Guillemin, V. and Sternberg, S., Symplectic Techniques in Physics, Cam-
bridge University Press, 1984.

## ¶START[2018-11-17] Terence Tao: Phase Space symplecticmath

ok, so his stuff is pretty similar.
positions q in conf space M
momentum p: in cotangent bundle Tq* M
phase space is the cotangent bundle T* M

note that velocity lies in tangent bundle T M, but momentum is defined as dL/dq', so it's in a different space

TODO so most of time, they are kind of same things… but not always. I guess I need a better sense of what momentum actually is.
I guess they are same if Lagrangian depends on v'2/2. What would be some interesting and physical examples of Lagrangians where it's not the case?

ok, he say same thing that Hamilton's equation is analogue to gradient flow for H on the manifold T*M, but w.r.t. the symplectic form.

NOTE gradient flow is a curve, such that: x'(t) = - \Nabla F(x(t)).
Okay, kinda makes sense. Time evolution in the direction of steepest descent.

TODO something about definition via observables

## ¶TODO that's pretty interesting https://physics.stackexchange.com/questions/123725/what-kind-of-manifold-can-be-the-phase-space-of-a-hamiltonian-systemsymplecticmath

maybe visualise a hamiltonian on n-torus?

## ¶https://www.quora.com/What-is-the-significance-of-a-symplectic-manifoldsymplecticmath

### ¶TODO mmm… symplecticmath

So in some sense, "conservation of symplectic form" is the second most basic conservation law. (The most basic is conservation of energy, which is essentially the definition o

## ¶TODO where to put it? symplecticmath

Following .

K = 1/2 Sum ma (va)2
Fa = -da V(r)

TODO err, they define cartesian coordinates via generalised coordinates; then generalised velocities; and then rewrite K as 1/2 Sum q'i gik qk'.

shit, I don't really follow this :(

lagrangian is L: T Q -> R, so defined on tangent bundle.

Next, define the generalised momenta as pi = dL/dq'i.
Ans, fi = dL/dqi is generalised force.

In generalised coordinates: L(q, q') = 1/2 Sum q'i gij(q, m) q'j - V(q)

Components of generalised momentum: pi = dL/dq'i = Sumj gij q'j.

ok, that's sort of interesting
so, if Q is Riemannian manifold (got metric), then there is a diffeomorphism T Q -> T* Q from tangent space to cotangent space.

metric tensor is 2-form; which means that when it acts on a vector field, we get 1-form (so momentum is 1-form)

I don't understand why they started using kinetic and potential energy staright away.

Ok, good point on page 23:

• in Lagrangian formalism, dynamics takes place on T (T Q)
• in Hamiltonian formalise, dynamics takes place on T (T* Q)

on page 24:

x'(t) = XHx(t) = J dH (x); where J is the symplectic matrix; dH is gradient of hamiltonian function. Hamiltonian vector field.

pull-backs:

consider O: M -> T* M – 1-form on phase space – ok, as a member of T* M.
consider a: Q -> T* Q – 1-form on conf space.

right, so a is a linear map from Q to M; and O is a 1-form on M. We can pull back O to Q to get the 1-form a* O. | err so what??

canonical poincare 1-form Theta = \Sumi pi dqi, which satisfies a* Theta = a for all a in ….

## ¶TODO hmm, why are alternating forms important? https://en.wikipedia.org/wiki/Multilinear_form#Alternating_multilinear_formssymplecticmath

so they are actually what's called covectors??

## ¶'[Powell] Aspects of Symplectic Geometry in Physics.pdf' symplecticmath

Suppose $$f$$ is observable. It can only depend on position, momentum and possibly time:

$$f(p_i, q^i)$$: $$\dv{f}{t} = \sum_i \pdv{f}{q^i} \dot{q}^i + \pdv{f}{p_i} {\dot p}_i = \sum_i \pdv{f}{q^i} \pdv{H}{p_i} - \pdv{f}{p_i} \pdv{H}{q_i} := \{f, H\}$$

$$f(p_i, q^i, t)$$ – if time dependent , then $$\dv{f}{t} = \{f, H\} + \pdv{f}{t}$$ – makes sense! kinda like flow derivative from Segal

## ¶TODO something about symplectomorphisms… symplecticmath

any 2n-dimensional symplectic manifold looks like R2n, w0

## ¶START[2018-11-18] ok, I should implement some simple phase space portrait plotting first symplecticmath

https://github.com/BartoszMilewski/gravity-sim
haskell or rust?… not sure

try L = 1/2x'2 + x' - 1/2 x2

TODO what if we make linear dependency on position? That's pretty much coordinate transformation right?
soo, if it's a linear dependency on velocity… it's kind of time coordinate transformation!!

## ¶[2018-11-21] understood A LOT while waiting for Metric concert! symplecticmath

### ¶https://en.wikipedia.org/wiki/Hamiltonian_mechanics#Deriving_Hamilton's_equationssymplecticmath

#### ¶TODO Since this calculation was done off-shell, one can associate corresponding terms from both sides of this equation to yield: symplecticmath

hmm, wonder if that's kinda like dimensionality argument

#### ¶TODOsymplecticmath

In Cartesian coordinates, the generalized momenta are precisely the physical linear momenta. In circular polar coordinates, the generalized momentum corresponding to the angular velocity is the physical angular momentum. For an arbitrary choice of generalized coordinates, it may not be possible to obtain an intuitive interpretation of the conjugate momenta.

right, that's interesting that it's not possible to obtain intuitive sense

One thing which is not too obvious in this coordinate dependent formulation is that different generalized coordinates are really nothing more than different coordinate patches on the same symplectic manifold (see Mathematical formalism, below).

TODO should read more on that… what do they call coordinate patches?

#### ¶TODO If the transformation equations defining the generalized coordinates are independent of t, and the Lagrangian is a sum of products of functions (in the generalized coordinates) which are homogeneous of order 0, 1 or 2, then it can be shown that H is equal to the total energy E = T + V. symplecticmath

not sure, that might be interesting

### ¶https://ru.wikipedia.org/wiki/%D0%93%D0%B0%D0%BC%D0%B8%D0%BB%D1%8C%D1%82%D0%BE%D0%BD%D0%BE%D0%B2%D0%B0_%D0%BC%D0%B5%D1%85%D0%B0%D0%BD%D0%B8%D0%BA%D0%B0symplecticmath

sad…

#### ¶Отсюда, в частности, следует, что если какая-то координата оказалась циклической, то есть если функция Лагранжа от неё не зависит, а зависит только от её производной по времени, то для сопряжённого ей импульса {\displaystyle {\dot {p}}=0} {\dot {p}}=0, то есть он является интегралом движения (сохраняется во времени), что несколько проясняет смысл обобщённых импульсов. symplecticmath

В этой формулировке, зависящей от выбора системы координат, не слишком очевиден тот факт, что различные обобщённые координаты являются в действительности не чем иным, как различными координатизациями одного и того же симплектического многообразия.

## ¶[2018-11-20] why symplectic spaces? symplecticmath

  historically, we empirically noticed/observed that principle of least action works (Lagrangian formulation), and there is an alternative and completely equivalent formulation (Hamiltonian).
When we study symplectic geometry, we ask: what are the minimum requirements to *define* familiar basic physical concepts (energy/time), and so that we still have the usual properties (e.g. Hamiltonian flow).

As a bonus, we drop the requirement for configuration space, and considering its cotangent bundle -- it can be *any* symplectic space.


## ¶[2018-11-10] intuition - What is a symplectic form intuitively? - MathOverflow symplecticmath

soo, all we can do is correlate pairs of coordinate between each other? otherwise we can't tell which are position, which are momentum?


## ¶TODO Hamiltonian vector field - Wikipedia symplecticmath

CREATED: [2018-11-15]
Suppose that (M, ω) is a symplectic manifold. Since the symplectic form ω is nondegenerate, it sets up a fiberwise-linear isomorphism


## ¶TODO Tweet from John Carlos Baez (@johncarlosbaez), at Nov 22, 22:01 symplecticmath

CREATED: [2018-11-22]
I thought about it longer and realized what was going on.
You get equations like Hamilton's whenever a system *extremizes something subject to constraints*.   A moving particle minimizes action; a box of gas maximizes entropy.
Read how it works:


## ¶TODO Legendre transformation - Wikipedia symplecticmath

CREATED: [2018-11-21]
Legendre transformation, named after Adrien-Marie Legendre, is an involutive transformation on the real-valued convex functions


## ¶[2018-11-19] Legendre transformation - Wikipedia symplecticmath

For a strictly convex function, the Legendre transformation can be interpreted as a mapping between the graph of the function and the family of tangents of the graph.


## ¶[B][2018-09-13] Chelofthesea comments on ELI5: What is symplectic geometry? symplecticmath

It's geometry done on a curved surface that carries enough structure to measure area. In the same way that in Calc III you could do double integral over f dA to measure a sort of 'weighted area', on a symplectic manifold you can (in a suitable sense) take a double integral over f d(omega).


## ¶[2018-08-13] poisson brackets explained symplecticmath

https://www.quora.com/What-is-an-intuitive-way-of-explaining-the-Poisson-bracket
{fg, h} = f {g, h} + g {f, h}
looks like leibnitz rule!
poisson bracket is derivation of the first arg w.r.t. to second
symplectic manifold: equipped with a symplectic form, that maps any function to a vector on manifold
so basially {f, g} is applying the form to g, and differentiating f along the integral curves of that vector field
for hamiltonian,
df/dt = {f, H} – makes sense, motion along integral curve is motion in time

The nice thing about the Hamiltonian formulation is that you can use lots of different coordinates. They will all work, as long as their Poisson brackets satisfy the equations above.

If you've studied quantum mechanics, this should look familiar as the algebra of commutators, and Poisson brackets are a nice way to see the connection between classical and quantum mechanics.

algebra with poisson bracket (lie bracket) is lie algebra

Thus, the time evolution of a function f on a symplectic manifold can be given as a one-parameter family of symplectomorphisms (i.e., canonical transformations, area-preserving diffeomorphisms), with the time t being the parameter

## ¶[2018-11-15]symplecticmath

phase space: R3 x R3 – it's a base space for manifold
Hamiltonaian is defined on manifold, not on its tangent bundle!

hmm, but lagrangian is defined on the tangent bundle of configuration space?? https://math.stackexchange.com/questions/1210047/why-is-the-lagrangian-a-function-on-the-tangent-bundle confusing…

To summarize so far: a path in the tangent space "corresponds" (in the sense demonstrated in the example of h and H) to a path in the base space only if, in physicist notation, the function t↦q˙(t) turns out to be the time-derivative of the function t↦q(t). THAT is what that cryptic thing in your text is trying to say.

## ¶STRT[B] learn basic QED and QFT symplecticmathstudyqed

CREATED: [2018-08-17]

but this time, really really do exercises!

### ¶DONE Feynman QED strange theory of light symplecticmathstudyqed

takeaways

#### ¶feynman diagrams are way of computing quantum amplitude. sum over all diagrams symplecticmathqedstudy

to compute individual jump probabilities: use propagators solutions for free electron (Dirac) and photon (Klein-Gordon).

## ¶[C][2019-06-18] Energy drift - Wikipedia symplecticmath

Energy drift - usually damping - is substantial for numerical integration schemes that are not symplectic, such as the Runge-Kutta family.


## ¶[C][2020-01-18] chakravala/Grassmann.jl: ⟨Leibniz-Grassmann-Clifford⟩ differential geometric algebra / multivector simplicial complex symplecticmath

The Grassmann.jl package provides tools for doing computations based on multi-linear algebra, differential geometry, and spin groups using the extended tensor algebra known as Leibniz-Grassmann-Clifford-Hestenes geometric algebra.


## ¶[C][2018-11-10] Tangent bundle - Wikipedia https://en.wikipedia.org/wiki/Tangent_bundlesymplecticmathdrill

One of the main roles of the tangent bundle is to provide a domain and range for the derivative of a smooth function. Namely, if f : M → N is a smooth function, with M and N smooth manifolds, its derivative is a smooth function Df : TM → TN.


## ¶TODO Symplectic geometry foundations symplecticmath

CREATED: [2019-12-02]
Quite interestingly, Symplectic Geometry is currently under review/investigation for some of the foundational papers in the field having serious gaps and outright errors after closer inspection. These concerns were always spoken of in hush hush tones and only in recent times have people stated their concerns publically. Some of the original authors refuse to retract their papers despite being assured their academic positions (which realistically, came through the reputation built up by these papers) are secure. Here's a quanta article about this fiasco: https://www.quantamagazine.org/the-fight-to-fix-symplectic-g...


### ¶TODO Intro to symplectic geom symplecticmath

CREATED: [2019-12-02]
For those into physics, I wholeheartedly recommend Marsden and Ratiu's book, "Introduction to Mechanics and Symmetry", which deals mainly with the different formulations of physics applied to symplectic and associated geometries.


## ¶TODO[C] Tweet from John Carlos Baez (@johncarlosbaez), at Jan 21, 18:29 symplecticmathtowatch

CREATED: [2019-01-21]
Symplectic geometry is like the evil twin of Euclidean geometry: instead of a dot product with v⋅w = w⋅v, we have one with v⋅w = -w⋅v.   But it's not really evil.   Check out Jonathan Lorand's talk!

Jump to search, settings & sitemap