Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Given a topological ring R, under what conditions and in what way, can one induce a topology on the R-points of a scheme X? For example, if X is P^n or A^n, one has natural topology on the R-points.

If G is a group scheme/A and R is A-algebra (still a topological ring), will the induced topology on G(R) (as above) automatically make G into a topological group.

For number theorists, if G is an algebraic group/Q, we can consider the adelic points G(A_K) for any number field K. Is the induced topology on G(A_K) that of a restricted direct product? Under what conditions will G(A_K) be locally compact or satisfy other nice properties?

share|improve this question
add comment

3 Answers

up vote 11 down vote accepted

Brian Conrad has some notes on this on his website ("Some notes on topologizing the adelic points of schemes, unifying the viewpoints of Grothendieck and Weil"). The short version is that if X is affine, you can topologize X(R) in a natural, functorial way (specifically, the weakest topology such that the functions X(R)-->R induced by elements of the structure sheaf are continuous). If X isn't affine, you have to be more careful, because the units of R might not be open in X and might not be a topological group wrt the subspace topology. But those are the only problems, and if your ring doesn't have those problems, you can glue the naturally topologized affines and everything is functorial. Happily for number theorists, the adeles are fairly nice, and for a finite-type separated K-scheme X, X(A_K) can be naturally topologized, and it is locally compact and Hausdorff.

share|improve this answer
    
Does this all agree with, or can this be made to agree with, the "classical" topology on C-points? –  Kevin H. Lin Oct 11 '09 at 15:51
    
Yes, it is all consistent with the case when R is a topological field. This stuff is all addressed in the notes which Rebecca mentions. But it is probably more instructive to figure it out for yourself. –  BCnrd Feb 23 '10 at 4:14
add comment

For adelic points of X (or G), one can first topologize X(Q_p) so that it becomes a p-adic analytic variety, and for almost all p one can define an open subset X(Z_p). Then take X(A) to be the restricted product.

share|improve this answer
add comment

See also Andrei Jorza's thesis http://www.its.caltech.edu/~ajorza/notes/bsd.pdf, pp.16 ff.

share|improve this answer
add comment

Your Answer

 
discard

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.