Okay, I’ll stop warming up and actually do something. I’ve secretly been trying to convince you that it’s not utterly insane to start geometric quantization with something other than a symplectic manifold—since, after all, geometric quantization normally starts with much more than a mere symplectic manifold. In Parts 1 and 2 I explained that we often start with a Kähler manifold together with a suitable line bundle. This is a big pack of data that includes a manifold that’s simultaneously symplectic, complex and Riemannian, all in a compatible way—but also more, namely the line bundle.
Now I’ll do a stripped-down, bare-bones version of geometric quantization. It starts with something that sounds quire different: a smooth complex projective variety. This is a smooth submanifold of that’s picked out by homogeneous polynomial equations.
In fact this is not as different as it sounds: if we give its Fubini–Study metric, any smooth projective variety
becomes a Kähler manifold! We just restrict the Fubini–Study metric to
Furthermore, has a god-given line bundle over it. You see, any point in
is really a line through the origin in
, and these lines define a line bundle over
This construction is so ridiculously tautological that people call the resulting bundle the tautological line bundle. This bundle has no holomorphic sections, but its dual has lots: every linear functional on
gives one, and that’s how they all arise! Let’s call this dual bundle
If we restrict
to
we get a holomorphic line bundle with enough sections to be useful in geometric quantization. Let’s call this bundle
Even better, and this line bundle
have the whole laundry list of extra structure and properties that I was bemoaning last time. As I already said,
is Kähler. Furthermore,
is holomorphic. Better yet, there’s a god-given hermitian metric on
coming from the standard inner product on
(and thus its dual). So, as I explained near the end last time, we get a connection on
called the Chern connection. And if I’m not horribly mistaken, the curvature of this connection gives the symplectic structure on
at least up to those factors of
and
that I keep losing track of.
In short, we get everything we want to use in Kähler quantization starting from something very simple: a smooth complex projective variety!
So let’s formalize this a little. Let’s define two categories, and
and make geometric quantization into a functor
I’m using a crude teletype font here because this is the first and crudest of a series of similar constructions. In fact I’ll restrain my desire to show off and do the simplest thing I can. My categories will be mere posets.
I’ll fix a number and let
be the poset of smooth linearly normal subvarieties of
ordered by inclusion. Don’t worry—I’ll tell you what ‘linearly normal’ means in a minute. I’ll let
be the poset of linear subspaces of
also ordered by inclusion.
You can think of any object of as a ‘space of classical states’, since as we’ve seen it’s a symplectic manifold of a very nice kind, bedecked with all the bells and whistles we need for geometric quantization. Similarly you can think of any object of
as a ‘space of quantum states’, since as a subspace of
it’s a Hilbert space.
Here’s how the functor works on objects. As we’ve seen, any smooth projective variety
comes with a line bundle
namely the restriction of the dual of the tautological line bundle to
To quantize
we form the space of holomorphic sections of
Now, this doesn’t instantly look like a subspace of But we can identify it with one as follows. Every holomorphic section of
restricts to a holomorphic section of
And when
is linearly normal, every holomorphic section of
arises this way! This is just the definition of ‘linearly normal’.
In this case, the space of holomorphic sections of is a quotient of the space of holomorphic sections of
But I’ve already mentioned that the latter space can be identified with
So, we’ve got a quotient space of
But by the magic of linear algebra, this corresponds to a subspace of
And that’s
This sounds complicated! Luckily, when you unravel it all you get a much simpler description, pointed out by Allen Knutson in a comment to Part 1. For any variety there’s a smallest subspace
such that
sits inside the projective space
We have
We can take this as the definition of if we want. This simpler description makes it blatantly obvious that
So, is a functor.
Now, I said in Part 1 that there’s also a reverse process going from the quantum realm back to the classical. This is even simpler: it’s ‘projectivization’, and it gives a functor
It works like this. An object is a linear subspace of
This gives a projective variety
Since this variety is linearly normal, we can define
Sorry for the subtle difference in fonts… but it’s okay to use subtly different fonts for two things that are the same, right?
Again, it’s obvious that
so is a functor.
Moreover, quantization and projectivization are adjoint functors! In fact quantization is the left adjoint of projectivization. This simply means that
And this is obvious: a projective variety sits inside the projectivization of some linear subspace
iff the smallest linear subspace whose projectivization contains
is contained in
(Mathematicians have a tendency to say something is ‘obvious’ before reeling off a string of words no normal person would ever say.. All I mean is that no deep facts are required to see this.)
Even better, this adjunction has a special extra property:
for all Again this is obvious: the smallest linear subspace whose projectivization contains the projectivization of
is
Thanks to this extra property we say is a reflective subcategory of
A more familiar example of this situation is how
is a reflective subcategory of
The forgetful functor
has a left adjoint, namely ‘abelianization’, with the special property that if we take an abelian group, forget that it’s abelian and think of it as a group, and then abelianize it, we get back the same abelian group we started with. (At least this is true up to natural isomorphism. But when we projectivize and then quantize we get back the same subspace exactly: that’s because the categories
and
are mere posets, where all isomorphisms are identity morphisms.)
So, we’re seeing that just as abelian groups are especially nice groups, and we can ‘abelianize’ any group to make it nice, quantum state spaces are especially nice classical state spaces, and we can ‘quantize’ any classical state space to make it nice!
This is all very pretty, I think. However, it would be nice to remove some of the ridiculous restrictions I’ve imposed so far, like only considering projective varieties sitting inside a fixed projective space and only allowing inclusions as morphisms between these. That’s what I’d like to do next.
I should also note that while I’ve muttered words like ‘Hilbert space’, ‘symplectic struture’, ‘Kähler manifold’ and ‘hermitian line bundle’, my construction of the functors
did not use the inner product on at all! That’s why I was talking about the dual space
So, all these structures involving inner products are not an intrinsic part of what’s going on—at least, not yet! But they can be slapped on at will, simply by endowing
with an inner product: any inner product, for example its standard one.
• Part 1: the mystery of geometric quantization: how a quantum state space is a special sort of classical state space.
• Part 2: the structures besides a mere symplectic manifold that are used in geometric quantization.
• Part 3: geometric quantization as a functor with a right adjoint, ‘projectivization’, making quantum state spaces into a reflective subcategory of classical ones.
• Part 4: making geometric quantization into a monoidal functor.
• Part 5: the simplest example of geometric quantization: the spin-1/2 particle.
• Part 6: quantizing the spin-3/2 particle using the twisted cubic; coherent states via the adjunction between quantization and projectivization.
• Part 7: the Veronese embedding as a method of ‘cloning’ a classical system, and taking the symmetric tensor powers of a Hilbert space as the corresponding method of cloning a quantum system.
• Part 8: cloning a system as changing the value of Planck’s constant.
You’re horribly mistaken. Let
be a discrete set of
points. Then the space of sections of
is
-dimensional, so the restriction map can’t be onto.
I doubt that this messes anything else up for you. There’s still a restriction map, it’s just not always onto. The adjective to look for is “projectively normal”.
For a more expensive example, consider the map
,
. This projectivizes to the
th “Veronese embedding” of
, into
, with image a “rational normal curve”, and it does have the onto-ness property you ask for. When you pull back
from
, you get
on
. The rational normal curve is a “degree
curve”.
But! now take a generic linear projection
, restrict to the image of the
above, and projectivize; you get a well-defined degree
embedding of
into
. Once again, the line bundle on the ambient
only has a 4-dim space of sections, whereas its restriction to the degree
curves has a
-dim space.
Thanks! But damn you! I’ll have to change my theorem—the easy way will be to restrict to projectively normal varieties, but there could also be some other way, involving more substantial changes.
For those who are just half-following along, this remark of mine was wrong:
In fact we can do this in a reasonable way only when
is projectively normal.
There’s always a restriction map taking sections of the tautological bundle over
to sections of
over
But this is not always onto, as Allen’s examples show. If this restriction map is onto we say
is projectively normal. In this case, everything I said works out.
So, the cheap fix is to adjust the definition of
so that it’s the poset of projectively normal smooth subvarieties of
, ordered by inclusion.
I think I’ll take the liberty of correcting my post this way.
This restriction is rarely 1:1. That’s the question of whether the subvariety linearly spans the projective space. Rather, you were asserting it should be onto, which is what I was giving counterexamples to.
In my last comment, “one-to-one” was just a stupid typo for “onto”. Honest. Everything is working fine now, at least in the deep recesses of my own brain. I need the restriction to be onto. I’ll go back and change my comment, to spread less confusion.
By the way, I’d appreciate it if someone could comment on another thing I’m not sure about! I took a smooth subvariety
of
and restricted the dual of the tautological line bundle
to
getting a bundle
Then I said:
In section 4 of this article:
• Mirko Mauri, Kodaira embedding theorem.
Mauri notes that the curvature of the Chern connection on
is the usual symplectic structure on
(the imaginary part of the Fubini–Study metric). So my claim is true in this case.
I think the general case follows if the Chern connection on
is the restriction to
of the Chern connection on
I’m hoping this follows from a general fact about Chern connections.
It’s a bit ridiculous to be doing this research before learning all the usual stuff about algebraic geometry, but right now I feel that the best way to learn algebraic geometry is to try to understand Kähler quantization: everything that seemed dry and boring before is now something I desperately need to know!
It is indeed true that the the curvature of the restriction of the connection on the tautological bundle is the symplectic form. That is because connections and hermitian metrics and
operator restrict and it is obvious that the restriction of the connection is is a hermitian connection.
Thanks! So things seem to be working!
I really appreciate all the help you’ve been giving me here. I’m busy learning about certain aspects of of complex algebraic geometry and Kähler geometry, now that I finally have a good reason to want to learn them!
That’s really really interesting! Hope to have some time during the holiday to put my head on it! Do you also have some concrete example to show how the things work?
I have tons of concrete examples, and I’m dying to talk about them because they lead to lots of puzzles (and clues) about the physical meaning of geometric quantization. I’m not sure whether I should discuss these examples before developing more of the formalism, or afterward. The adjoint functors I described in this post are supposed to be a preliminary for some better ones. But maybe you’re persuading me to do examples before developing more abstract nonsense.
Small correction : An object V \in \texttt{Class} is a linear subspace
should be An object V \in \texttt{Quantum} is a linear subspace
Thanks! Fixed!
It’s a nice construction. But I think this works because you’re only considering the state space of the quantum system. The state space in itself contains virtually no information about the quantum system (all separable Hilbert spaces are isomorphic, and the only invariant of a finite dimensional Hilbert space is its dimension…). The information lies in the algebra of observables.
If there is any adjunction in the spirit of what you describe, it should go in the other way. Information is lost when going from a quantum system to its classical counterpart. (It is really a limit, taking
to zero.) But I’d bet there is no such thing, because some quantum systems have no classical limit, as we discussed here:
https://golem.ph.utexas.edu/category/2017/12/an_m5brane_model.html
Of course I plan to bring observables into the game too. I also plan to talk about classical limits. But since I’m talking about geometric quantization, I’ll only be talking about quantum systems that do have classical limits.
Is there something about product of posets
and
into
and its relation to the
? Future post?
In fact I was going to write about that, and other things, right now!
If I am not mistaken,
is the convex hull functor restricted to whichever class of projective varieties John considers “nice enough” for his purposes :)
In this case, there is an analogy between pure and mixed ergodic states, with the “classical” space corresponding to the pure states and the “quantum” space corresponding to the mixed states.
At a glance, one way coming to mind to attempt to extend
from inclusion maps to arbitrary morphisms
of projective varieties is to pick a generic maximal finite linearly independent subset
of
(I believe genericity implies
has the same property) and let
be the linear interpolation of the restriction of
to
– although it is not clear to me whether this is independent of the choice of
, as it must be.
Avi Levy wrote:
Do you know a reference where people have studied the ‘convex hull’ of a subset of
Anyway, yes, this is probably that, though I’d prefer to call it the ‘projective hull’: it’s the smallest projective space
containing the given subset.
Here’s what it means for a projective variety
to be ‘nice enough’ for my purposes: the restriction map sending sections of the dual of the tautological bundle on
to the sections of the restriction of that bundle to
is onto.
(I’m getting really sick of saying ‘dual of the tautological bundle’ so I may start calling it
the way the big boys do, but so far I’ve been calling it
)
At some point when I try to do things more slickly I’ll try to switch to an ‘intrinsic’ approach where I don’t treat varieties as coming with a fixed embedding in
I screwed up in this post: I said ‘projectively normal’ when I meant ‘linearly normal’. I fixed it! Now it says this:
‘Projectively normal’ is a stronger condition which is explained in the Wikipedia link. I wish I understood their explanation of linear normality a bit better:
I have no intuition for what it means for the homogenous coordinate ring to be integrally closed.
I also don’t have any intuition for what this “complete linear system” condition means.
This would be okay if I were sure I understood this:
I find this confusing. Isn’t
the sheaf of sections of the dual of the tautological line bundle? Yet here Wikipedia seems to be claiming it’s the sheaf of sections of
, which in the previous passage it claimed was the tautological line bundle!
I think this is just a mistake on their part. I think they should say sections of
give the Serre twist sheaf
. Should I correct this? I don’t understand the previous passage well enough to know if they wanted the tautological line bundle or its dual back there.
Anyway, going on:
Is this way of stating projective normality only true for normal varieties, or for all varieties?
This sounds nice and geometrical and very relevant to what I”m
doing, but I don’t quite understand it. What’s a “linear projection from a projective space of a higher dimension”? A linear projection from a vector space of higher dimension to one of lower dimension has a nontrivial kernel so it doesn’t give a regular map between their projective spaces—I’ve been meaning to ask what sort of map we call this partially defined map. (A rational map I guess?) But I guess sometimes it maps a subvariety of the higher-dimensional projective space isomorphically to a subvariety of the lower-dimensional one? Is that the idea?