Universal bounds on the torsion of elliptic curves
In topology, the notions of the fundamental group and the universal cover are closely intertwined. By importing usual notions from topology into the algebraic and arithmetic setting, we construct a fundamental group family from a universal cover, both of which are schemes. A geometric fiber of the fundamental group family (as a topological group) is canonically the étale fundamental group. The constructions apply to all connected quasicompact quasiseparated schemes. With different methods and hypotheses,...
Let X be an irreducible smooth complex projective curve of genus g, with g ≥ 2. Let N be a connected component of the moduli space of semistable principal PGLr (ℂ)-bundles over X; it is a normal unirational complex projective variety. We prove that the Brauer group of a desingularization of N is trivial.
Let C ⊆ Pn be an unramified nonspecial real space curve having many real branches and few ovals. We show that C is a rational normal curve if n is even, and that C is an M-curve having no ovals if n is odd.