Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

February 15, 2022

Questions About the Néron–Severi Group

Posted by John Baez

A friend of mine with good intuitions sometimes says things without proof, and sometimes I want to know why — or even whether — these things are true.

Here are some examples from algebraic geometry.

First some background, just to see if I understand the basics, and maybe make this post interesting to other people who are just starting to learn algebraic geometry.

If you have a smooth complex projective variety XX, the set of isomorphism classes of holomorphic line bundles on XX is called the Picard group of XX. This has a topology — to indicated this it’s sometimes called the Picard scheme — where each connected component consists of different holomorphic line bundles that are isomorphic as topological line bundles. So, the identity component consists of different ways to give the trivial topological line bundle a holomorphic structure.

If you mod out the Picard scheme by its identity component you get the Néron–Severi group of XX, or NS(X)NS(X) for short. Elements of this group —- in other words, the group of connected components of the Picard scheme — are isomorphism classes of topological line bundles over XX that actually admit a holomorphic structure. (Not all of them do, in general.) And this group is isomorphic to n\mathbb{Z}^n for some number nn called the Picard number of XX.

(As a Star Trek fan all this terminology never ceases to amuse me. I just wish that Néron had been called something like Dukat.)

Now, my friend and I have been looking at the case where XX is a 2-dimensional abelian variety, also called an abelian surface. Then he claims that NS(X)NS(X) can be seen as a discrete subgroup of the Doubeault cohomology group H 1,1(X)H^{1,1}(X). How generally is this true? I just need it for an abelian surface right now.

For XX an abelian surface, H 1,1(X) 4H^{1,1}(X) \cong \mathbb{C}^4. And he claims NS(X) 4NS(X) \cong \mathbb{Z}^4. Is that right?

If so, we can form the real vector subspace VH 1,1(X)V \subset H^{1,1}(X) spanned by NS(X)NS(X), and NS(X)NS(X) will be a lattice in this.

Next, he claims something that I’m interpreting like this: the intersection pairing on H 1,1(X)H^{1,1}(X) gives VV a symmetric bilinear form BB of signature ++++++-. Is that right?

If so, we can think of NS(X)NS(X) as a lattice in Minkowski spacetime.

Next, he claims that the ample line bundles — that is, those line bundles LL such that sufficiently high tensor powers L pL^{\otimes p} have enough holomorphic sections to separate points — give precisely the elements of the Néron–Severi group that lie in the future cone of the Minkowski spacetime VV. Here I’m borrowing some more terminology from physics: I mean that they lie in one of the two components of the set

{LNS(X):B(L,L)>0} \{L \in NS(X) : B(L,L) > 0 \}

Is that right?

I also have some independent evidence to support another guess of my own: the ‘principal polarizations’ of XX correspond to elements LL of the Néron–Severi group that not only lie in the future cone but have

B(L,L)=2 B(L,L) = 2

Is that right?

Posted at February 15, 2022 8:16 PM UTC

TrackBack URL for this Entry:   https://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/3383

6 Comments & 0 Trackbacks

Questions About the NéronSeveri Group

Those claims are correct. I know that you are looking for arguments that make sense for beginners, not just keywords. Nonetheless, there are some keywords. The claim that the Neron-Severi group is a discrete subgroup of H 1,1H^{1,1} follows from the long exact sequence of cohomology associated to the short exact sequence called the “exponential sequence”. The claim about the signature of BB on VV is called the “Hodge index theorem”. The claim about the positive cone is part of the Nakai-Moishezon Criterion (probably it can also be proved in other ways).

Posted by: Jason Starr on February 15, 2022 11:31 PM | Permalink | Reply to this

Re: Questions About the Néron–Severi Group

Great! Thanks!

I think I can figure out the exponential sequence business.

I had not known the keyword Hodge index theorem, so that’s really useful: I see now that the signature is best thought of as having one plus and the rest minuses, and that it works this way for any surface.

I hadn’t quite keyed into the keyword ‘Nakai–Moishezon Criterion’, though I’d seen people talk about it. Anyone who wants a blog article explaining it can go here.

I’m still curious about my guess concerning a characterization of principal polarizations. And if anyone wants to say more about why any of the above results are true, or say anything interesting about this set of ideas, I’m all ears.

Posted by: John Baez on February 15, 2022 11:57 PM | Permalink | Reply to this

Asvin

Isn’t the Neron Severi group rank generically 1 and 4 only if you are a product of isogenous elliptic curves?

Posted by: Asvin G on February 16, 2022 4:30 AM | Permalink | Reply to this

Re: Néron–Severi group

I saw someone say that somewhere, but I didn’t trust them. This would completely change my mental picture, so if it’s true please someone confirm it — ideally with a reference or explanation!

Also: what’s the rank of the Néron–Severi group of an abelian variety of dimension dd, generically?

Posted by: John Baez on February 18, 2022 8:54 PM | Permalink | Reply to this

Re: Questions About the Néron–Severi Group

You might find Chris Peters’ notes useful — they’re pretty succinct, but give a good overview of all of the things you’re asking about (plus they explicitly use the phrase “light cone”!) http://www.numdam.org/book-part/CIF_1995__23__A7_0/

Posted by: Tim Hosgood on February 16, 2022 1:12 AM | Permalink | Reply to this

Re: Questions About the Néron–Severi Group

Thanks, Tim! I’ll check it out.

Posted by: John Baez on February 17, 2022 8:40 PM | Permalink | Reply to this

Post a New Comment