7

What do we lose if we only consider quasi-projective varieties? What are merits of considering varieties which are not quasi-projective?

Makoto Kato
  • 42,602
  • 4
    Seems a reasonable question to me, so I upvoted. – paul garrett Dec 30 '12 at 21:05
  • This is a good question. But it could be a little more precise: what do you mean by varieties ? Are they separated or do you even restrict to proper varieties ? –  Dec 30 '12 at 22:32
  • @QiL They are varieties in the sense of Serre, i.e. they are separated and not necessarily proper. – Makoto Kato Dec 30 '12 at 22:53
  • 1
    Separated algebraic varieties are open subvarieties of proper algebraic varieties by a theorem of Nagata. So I think the real question would be why to consider proper varieties which are not necessarily projective. –  Dec 30 '12 at 23:02
  • @QiL "So I think the real question would be why to consider proper varieties which are not necessarily projective." I would like to know the reason why. – Makoto Kato Dec 30 '12 at 23:25
  • I'm curious to know who voted to close. – Makoto Kato Dec 31 '12 at 03:40
  • 1
    @MakotoKato: Not to nitpick, but what is interesting, is not who voted to close, but the reason why. Anyhow, I think this is a good question. – Fredrik Meyer Dec 31 '12 at 15:55
  • I have removed off-topic comments. – Mariano Suárez-Álvarez Jan 02 '13 at 05:33
  • I noticed that someone serially upvoted for my questions and answers including this one. While I appreciate them, I would like to point out that serial upvotes are automatically reversed by the system. – Makoto Kato Nov 27 '13 at 07:11

2 Answers2

2

It's nice that, with the intrinsic definition of variety, we can glue two disjoint varieties along isomorphic closed subvarieties and get a variety (or at least a scheme). We can't do this if we insist on only studying quasi-projective varieties:

http://math.stanford.edu/~vakil/0506-216/216class4344.pdf

  • "we can glue two disjoint varieties along isomorphic closed subvarieties and get a variety" Could you explain the motivation for this construction? – Makoto Kato Jan 01 '13 at 20:48
2

There are natural constructions in algebraic geometry which lead to a priori non-quasi-projective varieties. One important example, and I am pretty sure this is one of the motivations of Weil to define "abstract algebraic varieties", is the algebraic (i.e. not Abel-Jacobi) construction of Jacobians of algebraic curves. The construction of Weil in the 40's gives a proper algebraic variety. Of course now it is known that abelian varieties are projective. But it is important to know that some "natural" algebraic varieties are not directly constructed as projective varieties.

Jacobian varieties are moduli spaces (of divisors on curves). There are other moduli spaces (e.g. that of smooth or stable curves of given genus) which are naturally separated or proper varieties. It is only after they are constructed, and if we are happy, that we can prove they are quasi-projective.

There is other reason to consider proper or separated algebraic varieties because we have valuative criterion to decide whether a variety is separated or proper. It is much harder to show the quasi-projectivity. Sometimes the properness of a projective variety is enough for what we need.