MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am looking for a modern proof of the so-called "Theorem of the Base"--that the Neron-Severi rank of a smooth projective variety is finite. One can prove this for varieties over $\mathbb{C}$ easily via transcendental methods---however, the most recent proof I can find which works e.g. in positive characteristic is due to Lang and Neron and is written in the language of Weil's foundations. (Lang includes a similar proof in his book "Diophantine Geometry.")

Does anyone know of a proof written in the language of schemes?

My motivation is that I'd like to have a brief reading seminar on this theorem with some graduate students at my institution---while it looks like the Lang/Neron paper is translatable, I think that this sort of translation is a serious burden for seminar participants. So it would be nice to have a more modern reference.

share|cite|improve this question
SGA 6, Exp. XIII – Jason Starr Jul 31 '12 at 21:57
In the article by B. Kahn, "Sur le groupe des classes d’un schéma arithmétique (avec un appendice de Marc Hindry), Bull. Soc. Math. France 134 (2006), 395–415 in par. 1, p. 400 a survey of the available proofs is given. It seems that Lang and Néron proof was never translated. – Damian Rössler Aug 1 '12 at 9:21
Thanks Damian--that's a nice article. The appendix actually contains a (brief) exposition of the essential arithmetic content of the Lang/Neron proof, which is also contained here ( in rather more detail (BCnrd pointed me to this article via email). I think I can extract the geometric content from Lang, so this probably suffices. – Daniel Litt Aug 1 '12 at 17:46
up vote 6 down vote accepted

SGA 6, Exp. XIII

share|cite|improve this answer
Ah, thanks--I also just found a proof in Milne's "Etale Cohomology." I'm still interested in knowing if there's a writeup of Neron's proof relating the theorem to Mordell-Weil. – Daniel Litt Jul 31 '12 at 21:59

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.