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.

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 normalsmooth 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

beforelearning 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

dohave 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

dualof 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 spaceof 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?