"Everything is a Lagrangian submanifold..." Forget particles. Forget waves. Alan Weinstein quipped that the universe is built from something entirely different: Lagrangian submanifolds. What are those, and why should you care? To grasp Lagrangian submanifolds, you first need to know about phase space… (1/10)
Usually people say phase space (incorrectly) when they actually mean “state space” so lets' define this phase space. It's an abstract space (not spacetime) where each point represents a particle's state is given by its position (q) and momentum (p). So, phase space is a space of (q, p) pairs. You can extend this to N particles, of course. (2/10)
For now we just have a space without geometry. You could put a certain type of metric, making it Riemannian or you can place something else and make it “symplectic.” We take this latter route. This equips phase space w/ a special structure, a 2-form, denoted by ω. This ω lets you define areas in phase space and, importantly, dictates how systems evolve in time. The rule is elegantly simple: {f,H} = df/dt. (3/10)
Here, H is the Hamiltonian (the energy of the system), and {f,H} is the Poisson bracket, which uses ω to measure how a function f changes along the flow generated by H. So, if {f,H} = 0, then f is a conserved quantity. Time then must satisfy {t,H} = 1. This is a beautiful conditoin of time (time must evolve linearly with respect to itself) (4/10)
Okay, so what's a Lagrangian submanifold then? It's a special kind of subspace L within phase space where the symplectic form ω vanishes . In elementary terms, it's a subspace where "areas," as measured by ω, are always zero. They often represent physically meaningful sets of states. (5/10)
Weinstein's quip is that these Lagrangian submanifolds are the building blocks of nature more so than particles or waves. In classical mechanics, the system's actual trajectory through phase space is itself a 1-dimensional Lagrangian submanifold (if you have a 2 dim symplectic mani). This means the system evolves in a way that preserves these "symplectic areas." This is why geometry is tied to physics. The ω was originally thought to be about areas but now you can see it's about dynamics. (6/10)
Now, most of the time in physics (in life as well) you have constraints. If a system is constrained (like a pendulum restricted to a certain length), its possible states may lie on a Lagrangian submanifold. In fact, many physical constraints can be expressed in this geometric language. (7/10)
Even quantization, which is often ill-defined but at least stated aloud as the jump from classical to quantum theory, can also be viewed through Lagrangian submanifolds. Certain "quantization conditions" pick out specific Lagrangian submanifolds that correspond to allowed quantum states. (8/10)
So, Weinstein's idea that "everything is a Lagrangian submanifold" actually has something to it. It's a claim that the fundamental objects of reality aren't particles or waves but these special subspaces within phase space that encode the system's dynamics, constraints, and even its quantum nature. Some see this as a shift from "things" to relationships (especially categorists) -- the relationships between position and momentum, energy and time, as encoded in the symplectic geometry. And these relationships are (often) captured by Lagrangian submanifolds. (9/10)
So, Weinstein's idea that "everything is a Lagrangian submanifold" actually has something to it. It's a claim that the fundamental objects of reality are neither particles nor waves but these special subspaces within phase space that encode the system's dynamics, constraints. Even encoding its quantum nature. Some see this as a shift from "things" to relationships (especially categorists) -- the relationships between position and momentum, energy and time, as spoken in language of the symplectic geometry. And these relationships are (often) captured by Lagrangian submanifolds. (10/10)
• • •
Missing some Tweet in this thread? You can try to
force a refresh
The canonical quantization you're taught -- replace {f,g} with [f,g]/iℏ -- is, well, ill-defined. You can always add a classical 0 that becomes non-zero quantumly (thanks to non-commutation). But there's another way: geometric quantization. (1/7)
It all starts w/ symplectic geometry. Think of a classical phase space, but forget coordinates for the moment. What you require is something called a symplectic form -- a closed, non-degenerate 2-form, ω... (2/7)
Now, if ω is "integral" (its cohomology class is integral), then you can construct a line bundle L over your phase space, w/ a connection ∇ whose curvature is -iω. This, friends, is the so-called "prequantum line bundle." (3/7)