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

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\left(R\right)$ (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\left(A_{K}\right)$ for any number field $K$. Is the induced topology on $G\left(A_{K}\right)$ that of a restricted direct product? Under what conditions will $G\left(A_{K}\right)$ be locally compact or satisfy other nice properties?

share|cite|improve this question
up vote 14 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|cite|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

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|cite|improve this answer

See also Andrei Jorza's thesis, pp.16 ff.

share|cite|improve this answer

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.