A NOTE ON RETRACTS AND LATTICES (AFTER D. J. SALTMAN)

Size: px
Start display at page:

Transcription

1 A NOTE ON RETRACTS AND LATTICES (AFTER D. J. SALTMAN) Z. REICHSTEIN Abstract. This is an expository note based on the work of D. J. Saltman. We discuss the notions of retract rationality and retract equivalence and reprove some of the results from [Sa, Section 1] using geometric language. 1. Retracts Throughout this note G will be a finite group and k will be a base field. We shall say that a dominant rational map f : X Y is a model for a field extension i: F E if k(x) E, k(y ) F, and i is induced by f (i.e., i = f ). Definition 1.1. Let f : X Y be a dominant rational map of irreducible algebraic varieties. We say that Y is a retract of X via f if for every (not necessarily irreducible) subvariety X 0 X there exists a rational section s: Y X of f such that f(y ) X 0. If f is not specified, then the expression Y is a retract of X means via some dominant rational map X Y. Remark 1.2. If we view X as a variety over k(y ) then the above definition can be restated as follows: Y is a retract of X if and only if k(y )-points are dense in X. Lemma 1.3. (a) X is a retract of itself (via the identity map). (b) If Y is a retract of X via f : X Y and Z is a retract of Y via g : Y Z then Z is a retract of X via gf : X Z. Proof. (a) Take s to be the identity map (for any X 0 ). (b) Suppose X 0 X is a subvariety of X. Choose a section s 1 : Y X whose image is not contained in X 0. Now choose a section s 2 : Z Y whose image is not contained in the union of the indeterminacy locus of s 1 and s 1 1 (X 0). Now s = s 2 s 1 : Z X is the section of gf we are looking for. The following lemma shows that the property of being a retract depends only on the field extension k(x)/k(y ) and not on the specific model f : X Y for this extension. Equivalently, this property does not change if we replace X and Y by birationally isomorphic varieties. 1

2 2 Z. REICHSTEIN Lemma 1.4. Consider the following commutative diagram of rational maps, X f Y α β X f Y where f and f are dominant and α and β are birational isomorphisms. If Y is a retract of X via f then Y is a retract of X via f. Proof. Given a subvariety X 0 X of X, we want to construct a section s : Y X of f whose image is not contained in X 0. Let X 0 be the union of α 1 (X 0 ) and the indeterminacy locus of α and let s: Y X be a section of f whose image is not contained in X 0. Then s = αsβ 1 has the desired properties: it is well defined and its image is not contained in X 0. Example 1.5. (a) Suppose X is birationally isomorphic to Y Z, and k-points are dense in Z. (Note that latter condition is always satisfied if k is algebraically closed.) Then Y is a retract of X, via the projection f : X Y to the first factor. Indeed, for every k-point z Z, consider the section s z : Y Y Z of f given by s z (y) = (y, z). Since the union of the images of such sections is dense in X, we conclude that Y is a retract of X. (b) If X is rational over Y (i.e. k(x) is isomorphic to a purely transcendental extension of k(y )) then Y is a retract of X. Indeed, in view of Lemma 1.4, we may assume that X = Y A n k. Since k-points are dense in, the desired conclusion follows from part (a). A n k Definition 1.6. Let i: F E be a field extension, where E and F are finitely generated over k. We shall say that F is a retract of E (via i) if Y is a retract of X (via f) for some (and thus for every) model f : X Y of E/F. Equivalently, F is a retract of E if for some (and thus any) algebraic F -variety X such that F (X) = E, the F -points are dense in X. If the field extension i is not specified then the expression F is a retract of E means via some field extension E/F. 2. Generators of tori In this section we make some simple observations about algebraic tori. This material will be used in the proof of Theorem 3.1 in the next section (but not anywhere else in this paper). Let T = (k ) r be an algebric torus. We will say that t T generates T, if the cyclic subgroup <t> = {t n n Z} is Zariski dense in T. We will say that t 1,..., t r k are multiplicatively independent, if t a , tar r = 1 implies a 1 = = a r = 0. (Here a 1,..., a r are integers.)

3 RETRACTS AND LATTICES 3 Lemma 2.1. Let t = (t 1,..., t r ) T for some t 1,..., t r k. Then the following conditions are equivalent: (a) {t n n Z {0}} is dense in T, (b) t is a generator of T, (c) t does not lie in any proper closed subgroup of T, (d) χ(t) 1 for any non-trivial character of T, (e) t 1,..., t r are multiplicatively independent. Proof. (a) (b): Obvious. (b) (a): The set C = {t n n Z {0}} differs from <t> in at most one point, i.e., <t> \ {id} C <t>. Hence, C is dense in T if and only if so is <t>. (b) (c): If t lies in a closed subgroup S then the closure of <t> is contained in S. (c) (b): The Zariski closure of <t> is a closed subgroup of T. (c) (d): Immediate from [Sp, Corollary 2.5.3]. (d) (e): Every character χ of T = (k ) n has the form χ(t 1,..., t r ) = t a tar r for some integers a 1,..., a r ; see, e.g. [Sp, Exercise ]. Lemma 2.2. If t T is a generator of T then t n is also a generator for any integer n 0. Proof. Assume the contrary: t n is not a generator. Then by Lemma 2.1, there is a non-trivial character χ: T k such that χ(t n ) = 1. Since χ n is also a non-trivial character of T, and χ n (t) = χ(t n ) = 1, we conclude that t is not a generator of T, contradicting our assumption. Lemma 2.3. Let T gen be the set of generators of T. Assume either char(k) = 0 or char(k) = p but k is not algebraic over its prime field F p. Then T gen is Zariski dense in T. Proof. First we claim that T gen. If char(k) = 0 then k contains the field of rational numbers. By Lemma 2.1 any point of the form t = (p 1,..., p r ), where p 1,..., p r are distinct prime integers, is a generator of T (distinct primes are clearly multiplicatively independent). If char(k) = p, then, by our assumption, k contains a copy of the polynomial ring F p [x], and we use the same argument as above, with Z and Q replaced by F p [x] and F p (x), respectively. That is, if f 1 (x),..., f r (x) are distince irreducible polynomials then t = (f 1,..., f r ) is a generator of T. This proves the claim. Now suppose t T gen. Lemma 2.2 tells us {t n n Z {0}} lies in T gen. By Lemma 2.1, this set is dense in T. Hence, T gen is also dense in T, as claimed.

4 4 Z. REICHSTEIN 3. Lattices and retracts As usual, by a G-lattice L we shall mean Z n, with a linear G-action, i.e., an integral representation G GL n (Z). We will say that L is faithful if this representation is faithful, i.e., if every non-trivial element of G acts non-trivially on L. We will say that L is permutation, if it has a Z-basis permuted by G. Given a G-lattice L, we will write k[l] for its group ring, k(l) for the fraction field of k[l], and X L for the spectrum of k[l]. The G-action on L induces G-actions on k[l], k(l) and X L. Ignoring these G-actions for a moment, we see that since L Z n, k[l] is isomorphic to the Laurent polynomial ring k[x ±1 1,..., x±1 n ], k(l) is isomorphic to the purely transcendental field extension k(x 1,..., x n ) of k, and X L is isomorphic to the n-dimensional torus (k ) n. For the rest of this paper we will assume that char(k) = 0 or char(k) = p and k is not algebraic over the prime field F p, so that we can use Lemma 2.3. Theorem 3.1. Let G be a finite group and L M be G-lattices. Then k(m) G is a retract of k(l M) G. Proof. The inclusion i: L M gives rise to a dominant morphism i : X M X L. Consider the maps X M α X L X M β X M of G-varieties, where α = (i, id) and β is the projection to the second component. Passing to rational G-quotients, we obtain X M /G α/g (X L X M )/G β/g X M /G. The function fields of X M /G and (X L X M )/G are, by definition, k(m) G and k(l M) G. Hence, it suffices to show that (X L X M )/G is a retract of X M /G via β/g. First observe that since β α = id XM (and hence, β/g α/g = id XM /G), α/g is a section of β/g. Note also that β (and thus β/g) does not depend on i, but α (and thus α/g) does. Thus if we modify i : X M X L by composing it with a G-equivariant dominant map σ : X M X M, we will create another section of β/g. In the sequel I will take σ = σ n to be the dominant map X M X M induced by mult n : M M, where mult n is multiplication by a fixed integer n 0. (Note that X M is, by definition, a torus, and σ n (t) = t n for any t X M.) It remains to show that the union of the images of the sections obtained in this way is dense in (X L X M )/G. In fact, it suffices to show that the union Z of the images of α n = (i σ n, id): X M X L X M is dense in X L X M, as n ranges over non-zero integers. More concretely, the k-points of Z are of the form (i (x n ), x), where n ranges over the nonzero integers and x ranges over X M (and x n denotes the nth power of x in the torus X M ).

5 RETRACTS AND LATTICES 5 Let (X M ) gen be the set of generators of X M (viewed as a torus (k ) rank(m) ). By Lemma 2.3 (X M ) gen is Zariski dense in X M, and by Lemma 2.1 D x = {x n n Z {0}} is Zariski dense in X M for any x (X M ) gen. Since i : X M X L is dominant, i (D x ) is Zariski dense in X L. To sum up, Z contains i (D x ) {x} for every x (X M ) gen. We thus conclude that the closure Z of Z in X L X M contains X L (X M ) gen. Since (X M ) gen is dense in X M, this implies Z = X L X M, as claimed. 4. Stable retracts Definition 4.1. Let X and Y be irreducible varieties defined over k. (a) We will say that Y is a stable retract of X (and write Y X) if Y is a retract of X A m k. Similarly, we will say that a field F is a stable retract of E (and write F E) if F is a retract of a purely transcendental extension E(t 1,..., t m ) of F. (b) We will say X and Y are stably retract equivalent (and write X Y ) if X is a stable retract of Y and Y is a stable retract of X. Similarly, we will say that finitely generated field extensions F and E of k are stably retract equivalent (and write F E) if F is a stable retract of E and E is a stable retract of F. (c) X is called retract rational if it is stably retract equivalent to a point (here by a point I mean Spec(k)). A finitely generated field extension F of k is retract rational if it is stably retract equivalent to k. Example 4.2. Clearly if F/k is stably rational then it is stably retract rational. Lemma 4.3. (a) is an equivalence relation on the set of varieties/k (or of finitely generated field extensions of k). (b) induces a partial order on the set of stable retract equivalence classes of varieties (or finitely generated field extensions F/k), (c) If X and Y (or F and E) are stably isomorphic over k, then they are stably retract equivalent. Proof. (a) is symmetric by definition. It is reflexive and transitive by Lemma 1.3. (b) Suppose is a reflexive and transitive relation on a set S. Then the relation s t, defined by (s t if s t and t s), is easily seen to be an equivalence relation, and induces a partial order on the set S/ of equivalence classes in S. This is precisely the construction we carried out, with S = set of irreducible varieties (or finitely generated field extension of k). (c) Suppose Z is rational over both X and Y. Then X Z and Y Z (see Example 4.2), and since is an equivalence relation, we conclude that X Y.

6 6 Z. REICHSTEIN Theorem 4.4. Let M be faithful G-lattice. Then k(m) G is a stable retract of k(l M) G for any G-lattice L. This theorem is a variant of Theorem 3.1. The conclusion of Theorem 4.4 is a little weaker ( retract has been replaced by stable retract ), and M is assumed to be faithful. On the other hand, L is no longer required to be a sublattice of M. Proof. Recall that L is contained in some permutation lattice P ; see [Sa, Lemma 1.2]. Let M = M P. Then L is contained in M and thus k(m ) G is a retract of k(l M ) G by Theorem 3.1. By the no-name lemma, k(m ) G is stably equivalent to k(m) G, and k(l M ) G = k(l M P ) G is stably equivalent to k(l M) G. This shows that k(m) G is a stable retract of k(l M) G, as claimed. Corollary 4.5. (cf. [Sa, Lemma 1.5]) Let G be a finite group, L be a faithful G-lattice and G GL(V ) be a faithful linear representation of G. Then k(v ) G is a stable retract of k(l) G. Proof. Use Theorem 4.4, with M = faithful permutation G-lattice. By the no-name lemma, k(m) G is stably equivalent to k(v ) G, k(l M) G is stably equivalent to k(l) G (here we use the fact that L is faithful!), and the corollary follows. Corollary 4.6. Let G GL(V ) be a faithful linear representation of G and let N be a G-lattice such that k(n) G is stably retract equivalent to k(v ) G. Then k(m) G is stably retract equivalent to k(v ) G for any faithful direct summand M of N. Proof. By Corollary 4.5, we have k(v ) G k(m) G, where stands for is a stable retract of, as before. On the other hand, by Theorem 4.4 k(m) G k(n) G k(v ) G. This shows that k(m) G and k(v ) G are retract equivalent. Example 4.7. If N is a quasi-permutation lattice then k(n) G and k(v ) G are stably isomorphic; see [LL, Proposition 1.4]. Consequently, Corollary 4.6 tells us that k(m) G and k(v ) G are stably retract equivalent for any faithful direct summand M of a quasi-permutation lattice. Remark 4.8. Saltman has shown that there exist faithful G-lattices M such that k(m) G and k(v ) G are not stably retract equivalent; see [Sa, Theorem 2.8]. Corollary 4.9. (cf. [Sa, Corollary 1.6]) If k(l) G is stably retract rational for some faithful G-lattice L then k(v ) G is stably retract rational for every faithful linear representation G GL(V ). Proof. Our goal is to show that k k(v ) G, where denotes stable retract equivalence, as before.

7 RETRACTS AND LATTICES 7 Since k(v ) G k(l) G (by Corollary 4.5) and k(l) G k (given), we conclude that k(v ) G k. The opposite inequality, k k(v ) G follows from Remark 1.2, since k(v ) G is unirational over k (and hence, k-points are dense on any model of k(v ) G /k). 5. Appendix: Smooth retracts Saltman s terminology is a bit different from ours; see [Sa, p. 223]. Given a field extension E/F, he says that F is a retraction of E if there is a F - variety X, such that F (X) = E and X has a F -point. If F -points are dense in X (i.e., F is a retract of E in the sense of our Definition 1.6), Saltman calls F is a dense retraction of E. He remarks that the relationship between these notions, beyond the obvious implication (dense retraction) (retraction), is obscure. The problem, as I see it, is that the notion of retraction defined above is difficult to work with, because the existence of a F -point is, in general, not a birational invariant of X. The following intermediate notion seems more natural to me (even though I have no applications for it at this point). Definition 5.1. Suppose char(f ) = 0. Given a field extension E/F, we will say that F is a smooth retract of E, if the following equivalent conditions hold. (a) There exists a F -variety X such that F (X) = E and X has a smooth F -point. (b) For every smooth proper F -variety X such that F (X ) = E, X has a F -point. The implication (a) (b), is a consequence of Nishimura s Lemma [RY, Proposition A6] (see also [N]) to the birational isomorphism X X. To prove the implication (b) (a), we only need to show that there exists a smooth proper F -variety X such that F (X ) = E (then we can take X = X ). To construct such X, embed some model of E/F in a projective space P n F, take the closure and resolve its singularities (this requires the assumption char(f ) = 0!). Using Nishimura s lemma one can reprove the results of this note (and in particular, Lemmas 1.3 and 4.3) for smooth retracts. I opted to use dense retracts instead, because this leads to stronger versions of Theorems 3.1, 4.4 and their corollaries. References [LL] [N] [P] N. Lemire, M. Lorenz, On certain lattices associated with generic division algebras, J. Group Theory 3 (2000), no. 4, H. Nishimura, Some remarks on rational points, Mem. Coll. Sci. Univ. Kyoto. Ser. A. Math V. L. Popov, Sections in invariant theory, in: The Sophus Lie Memorial Conference (Oslo, 1992), Scand. Univ. Press, Oslo, 1994, pp

8 8 Z. REICHSTEIN [RY] Z. Reichstein, B. Youssin, Essential dimensions of algebraic groups and a resolution theorem for G-varieties, with an appendix by J. Kollár and E. Szabó, Canad. J. Math. 52 (2000), no. 5, [Sa] D. J. Saltman, Multiplicative field invariants, J. Algebra 106 (1987), no. 1, [Sp] T. A. Springer, Linear Algebraic Groups, Birkhäuser, Department of Mathematics, University of British Columbia, Vancouver, BC V6T 1Z2, Canada address:

POLYNOMIAL IDENTITY RINGS AS RINGS OF FUNCTIONS

POLYNOMIAL IDENTITY RINGS AS RINGS OF FUNCTIONS Z. REICHSTEIN AND N. VONESSEN Abstract. We generalize the usual relationship between irreducible Zariski closed subsets of the affine space, their defining

A short proof of Klyachko s theorem about rational algebraic tori

A short proof of Klyachko s theorem about rational algebraic tori Mathieu Florence Abstract In this paper, we give another proof of a theorem by Klyachko ([?]), which asserts that Zariski s conjecture

9. Birational Maps and Blowing Up

72 Andreas Gathmann 9. Birational Maps and Blowing Up In the course of this class we have already seen many examples of varieties that are almost the same in the sense that they contain isomorphic dense

CHEVALLEY S THEOREM AND COMPLETE VARIETIES

CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized

Math 249B. Nilpotence of connected solvable groups

Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C

CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998

CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic

ALGEBRAIC GEOMETRY (NMAG401) Contents. 2. Polynomial and rational maps 9 3. Hilbert s Nullstellensatz and consequences 23 References 30

ALGEBRAIC GEOMETRY (NMAG401) JAN ŠŤOVÍČEK Contents 1. Affine varieties 1 2. Polynomial and rational maps 9 3. Hilbert s Nullstellensatz and consequences 23 References 30 1. Affine varieties The basic objects

Resolution of Singularities in Algebraic Varieties

Resolution of Singularities in Algebraic Varieties Emma Whitten Summer 28 Introduction Recall that algebraic geometry is the study of objects which are or locally resemble solution sets of polynomial equations.

Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013

18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 As usual, all the rings we consider are commutative rings with an identity element. 18.1 Regular local rings Consider a local

On a theorem of Ziv Ran

INSTITUTUL DE MATEMATICA SIMION STOILOW AL ACADEMIEI ROMANE PREPRINT SERIES OF THE INSTITUTE OF MATHEMATICS OF THE ROMANIAN ACADEMY ISSN 0250 3638 On a theorem of Ziv Ran by Cristian Anghel and Nicolae

Math 145. Codimension

Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in

NONSINGULAR CURVES BRIAN OSSERMAN

NONSINGULAR CURVES BRIAN OSSERMAN The primary goal of this note is to prove that every abstract nonsingular curve can be realized as an open subset of a (unique) nonsingular projective curve. Note that

10. Smooth Varieties. 82 Andreas Gathmann

82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It

LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL

LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

Math 210C. The representation ring

Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let

On Mordell-Lang in Algebraic Groups of Unipotent Rank 1

On Mordell-Lang in Algebraic Groups of Unipotent Rank 1 Paul Vojta University of California, Berkeley and ICERM (work in progress) Abstract. In the previous ICERM workshop, Tom Scanlon raised the question

Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.

5. Fields 5.1. Field extensions. Let F E be a subfield of the field E. We also describe this situation by saying that E is an extension field of F, and we write E/F to express this fact. If E/F is a field

Fields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory.

Fields and Galois Theory Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. This should be a reasonably logical ordering, so that a result here should

14. Rational maps It is often the case that we are given a variety X and a morphism defined on an open subset U of X. As open sets in the Zariski

14. Rational maps It is often the case that we are given a variety X and a morphism defined on an open subset U of X. As open sets in the Zariski topology are very large, it is natural to view this as

ON A DYNAMICAL VERSION OF A THEOREM OF ROSENLICHT

ON A DYNAMICAL VERSION OF A THEOREM OF ROSENLICHT J. P. BELL, D. GHIOCA, AND Z. REICHSTEIN Abstract. Consider the action of an algebraic group G on an irreducible algebraic variety X all defined over a

Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013

18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013 Throughout this lecture k denotes an algebraically closed field. 17.1 Tangent spaces and hypersurfaces For any polynomial f k[x

LECTURE 6: THE ARTIN-MUMFORD EXAMPLE

LECTURE 6: THE ARTIN-MUMFORD EXAMPLE In this chapter we discuss the example of Artin and Mumford [AM72] of a complex unirational 3-fold which is not rational in fact, it is not even stably rational). As

Solutions of exercise sheet 8

D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 8 1. In this exercise, we will give a characterization for solvable groups using commutator subgroups. See last semester s (Algebra

(dim Z j dim Z j 1 ) 1 j i

Math 210B. Codimension 1. Main result and some interesting examples Let k be a field, and A a domain finitely generated k-algebra. In class we have seen that the dimension theory of A is linked to the

RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI.

RIMS-1898 A Note on an Anabelian Open Basis for a Smooth Variety By Yuichiro HOSHI January 2019 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan A Note on an Anabelian Open Basis

9. Integral Ring Extensions

80 Andreas Gathmann 9. Integral ing Extensions In this chapter we want to discuss a concept in commutative algebra that has its original motivation in algebra, but turns out to have surprisingly many applications

Representations and Linear Actions

Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category

A Harvard Sampler. Evan Chen. February 23, I crashed a few math classes at Harvard on February 21, Here are notes from the classes.

A Harvard Sampler Evan Chen February 23, 2014 I crashed a few math classes at Harvard on February 21, 2014. Here are notes from the classes. 1 MATH 123: Algebra II In this lecture we will make two assumptions.

CAYLEY GROUPS NICOLE LEMIRE, VLADIMIR L. POPOV, AND ZINOVY REICHSTEIN

CAYLEY GROUPS NICOLE LEMIRE, VLADIMIR L. POPOV, AND ZINOVY REICHSTEIN Abstract. The classical Cayley map, X (I n X)(I n + X) 1, is a birational isomorphism between the special orthogonal group SO n and

Math 418 Algebraic Geometry Notes

Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R

Mathematical Research Letters 3, (1996) EQUIVARIANT AFFINE LINE BUNDLES AND LINEARIZATION. Hanspeter Kraft and Frank Kutzschebauch

Mathematical Research Letters 3, 619 627 (1996) EQUIVARIANT AFFINE LINE BUNDLES AND LINEARIZATION Hanspeter Kraft and Frank Kutzschebauch Abstract. We show that every algebraic action of a linearly reductive

Math 203A - Solution Set 3

Math 03A - Solution Set 3 Problem 1 Which of the following algebraic sets are isomorphic: (i) A 1 (ii) Z(xy) A (iii) Z(x + y ) A (iv) Z(x y 5 ) A (v) Z(y x, z x 3 ) A Answer: We claim that (i) and (v)

Another way to proceed is to prove that the function field is purely transcendental. Now the coordinate ring is

3. Rational Varieties Definition 3.1. A rational function is a rational map to A 1. The set of all rational functions, denoted K(X), is called the function field. Lemma 3.2. Let X be an irreducible variety.

2. Prime and Maximal Ideals

18 Andreas Gathmann 2. Prime and Maximal Ideals There are two special kinds of ideals that are of particular importance, both algebraically and geometrically: the so-called prime and maximal ideals. Let

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f

Algebraic group actions and quotients

23rd Autumn School in Algebraic Geometry Algebraic group actions and quotients Wykno (Poland), September 3-10, 2000 LUNA S SLICE THEOREM AND APPLICATIONS JEAN MARC DRÉZET Contents 1. Introduction 1 2.

Math 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d

Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).

Factorization in Polynomial Rings

Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,

Algebraic function fields

Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which

ON NEARLY SEMIFREE CIRCLE ACTIONS

ON NEARLY SEMIFREE CIRCLE ACTIONS DUSA MCDUFF AND SUSAN TOLMAN Abstract. Recall that an effective circle action is semifree if the stabilizer subgroup of each point is connected. We show that if (M, ω)

Algebraic Geometry. Andreas Gathmann. Class Notes TU Kaiserslautern 2014

Algebraic Geometry Andreas Gathmann Class Notes TU Kaiserslautern 2014 Contents 0. Introduction......................... 3 1. Affine Varieties........................ 9 2. The Zariski Topology......................

8. Prime Factorization and Primary Decompositions

70 Andreas Gathmann 8. Prime Factorization and Primary Decompositions 13 When it comes to actual computations, Euclidean domains (or more generally principal ideal domains) are probably the nicest rings

Grothendieck ring of varieties I.

Grothendieck ring of varieties I. Eckart Viehweg, informal notes for a seminar talk, Essen 6.0.08 Based on [Nic] and on some of the references given there.. Basic definitions Definition.. Let S be a noetherian

Factorization in Integral Domains II

Factorization in Integral Domains II 1 Statement of the main theorem Throughout these notes, unless otherwise specified, R is a UFD with field of quotients F. The main examples will be R = Z, F = Q, and

Characteristic classes in the Chow ring

arxiv:alg-geom/9412008v1 10 Dec 1994 Characteristic classes in the Chow ring Dan Edidin and William Graham Department of Mathematics University of Chicago Chicago IL 60637 Let G be a reductive algebraic

Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.

Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed. Answer: Note that the first generator factors as (y

On a question of B.H. Neumann

On a question of B.H. Neumann Robert Guralnick Department of Mathematics University of Southern California E-mail: guralnic@math.usc.edu Igor Pak Department of Mathematics Massachusetts Institute of Technology

MA 206 notes: introduction to resolution of singularities

MA 206 notes: introduction to resolution of singularities Dan Abramovich Brown University March 4, 2018 Abramovich Introduction to resolution of singularities 1 / 31 Resolution of singularities Let k be

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of

The Grothendieck Ring of Varieties

The Grothendieck Ring of Varieties Ziwen Zhu University of Utah October 25, 2016 These are supposed to be the notes for a talk of the student seminar in algebraic geometry. In the talk, We will first define

3. The Sheaf of Regular Functions

24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice

NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22

NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22 RAVI VAKIL Hi Dragos The class is in 381-T, 1:15 2:30. This is the very end of Galois theory; you ll also start commutative ring theory. Tell them: midterm

Finite Fields. [Parts from Chapter 16. Also applications of FTGT]

Finite Fields [Parts from Chapter 16. Also applications of FTGT] Lemma [Ch 16, 4.6] Assume F is a finite field. Then the multiplicative group F := F \ {0} is cyclic. Proof Recall from basic group theory

2. Intersection Multiplicities

2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.

10. Noether Normalization and Hilbert s Nullstellensatz

10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.

EKT of Some Wonderful Compactifications

EKT of Some Wonderful Compactifications and recent results on Complete Quadrics. (Based on joint works with Soumya Banerjee and Michael Joyce) Mahir Bilen Can April 16, 2016 Mahir Bilen Can EKT of Some

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski. Solutions Sheet 1. Classical Varieties

D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski Solutions Sheet 1 Classical Varieties Let K be an algebraically closed field. All algebraic sets below are defined over K, unless specified otherwise.

A finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792

Title Author(s) A finite universal SAGBI basis for the kernel of a derivation Kuroda, Shigeru Citation Osaka Journal of Mathematics. 4(4) P.759-P.792 Issue Date 2004-2 Text Version publisher URL https://doi.org/0.890/838

Isogeny invariance of the BSD conjecture

Isogeny invariance of the BSD conjecture Akshay Venkatesh October 30, 2015 1 Examples The BSD conjecture predicts that for an elliptic curve E over Q with E(Q) of rank r 0, where L (r) (1, E) r! = ( p

Essential dimension. Alexander S. Merkurjev

Contemporary Mathematics Essential dimension Alexander S. Merkurjev Abstract. We review and slightly generalize some definitions and results on the essential dimension. The notion of essential dimension

Definable henselian valuation rings

Definable henselian valuation rings Alexander Prestel Abstract We give model theoretic criteria for the existence of and - formulas in the ring language to define uniformly the valuation rings O of models

ON MAXIMAL ALBANESE DIMENSIONAL VARIETIES. Contents 1. Introduction 1 2. Preliminaries 1 3. Main results 3 References 6

ON MAXIMAL ALBANESE DIMENSIONAL VARIETIES OSAMU FUJINO Abstract. We prove that any smooth projective variety with maximal Albanese dimension has a good minimal model. Contents 1. Introduction 1 2. Preliminaries

arxiv:math/ v1 [math.ag] 23 Oct 2006

IS THE LUNA STRATIFICATION INTRINSIC? arxiv:math/0610669v1 [math.ag] 23 Oct 2006 J. KUTTLER AND Z. REICHSTEIN Abstract. Let G GL(V ) will be a finite-dimensional linear representation of a reductive linear

arxiv: v1 [math.ag] 16 Nov 2009

Upper motives of outer algebraic groups Nikita A. Karpenko arxiv:0911.3123v1 [math.ag] 16 Nov 2009 Abstract Let G be a semisimple affine algebraic group over a field F. Assuming that G becomes of inner

ON k-subspaces OF L-VECTOR-SPACES. George M. Bergman

ON k-subspaces OF L-VECTOR-SPACES George M. Bergman Department of Mathematics University of California, Berkeley CA 94720-3840, USA gbergman@math.berkeley.edu ABSTRACT. Let k L be division rings, with

Representations. 1 Basic definitions

Representations 1 Basic definitions If V is a k-vector space, we denote by Aut V the group of k-linear isomorphisms F : V V and by End V the k-vector space of k-linear maps F : V V. Thus, if V = k n, then

CHAPTER 2. Ordered vector spaces. 2.1 Ordered rings and fields

CHAPTER 2 Ordered vector spaces In this chapter we review some results on ordered algebraic structures, specifically, ordered vector spaces. We prove that in the case the field in question is the field

Exercise Sheet 3 - Solutions

Algebraic Geometry D-MATH, FS 2016 Prof. Pandharipande Exercise Sheet 3 - Solutions 1. Prove the following basic facts about algebraic maps. a) For f : X Y and g : Y Z algebraic morphisms of quasi-projective

AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES

AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES DOMINIC L. WYNTER Abstract. We introduce the concepts of divisors on nonsingular irreducible projective algebraic curves, the genus of such a curve,

A Gauss-Bonnet theorem for constructible sheaves on reductive groups

A Gauss-Bonnet theorem for constructible sheaves on reductive groups V. Kiritchenko 1 Introduction In this paper, we prove an analog of the Gauss-Bonnet formula for constructible sheaves on reductive groups.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then

Notes 10: Consequences of Eli Cartan s theorem.

Notes 10: Consequences of Eli Cartan s theorem. Version 0.00 with misprints, The are a few obvious, but important consequences of the theorem of Eli Cartan on the maximal tori. The first one is the observation

Lemma 1.3. The element [X, X] is nonzero.

Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group

Pacific Journal of Mathematics

Pacific Journal of Mathematics PICARD VESSIOT EXTENSIONS WITH SPECIFIED GALOIS GROUP TED CHINBURG, LOURDES JUAN AND ANDY R. MAGID Volume 243 No. 2 December 2009 PACIFIC JOURNAL OF MATHEMATICS Vol. 243,

Fundamental Lemma and Hitchin Fibration

Fundamental Lemma and Hitchin Fibration Gérard Laumon CNRS and Université Paris-Sud May 13, 2009 Introduction In this talk I shall mainly report on Ngô Bao Châu s proof of the Langlands-Shelstad Fundamental

ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!

ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.

VERY STABLE BUNDLES AND PROPERNESS OF THE HITCHIN MAP

VERY STABLE BUNDLES AND PROPERNESS OF THE HITCHIN MAP CHRISTIAN PAULY AND ANA PEÓN-NIETO Abstract. Let X be a smooth complex projective curve of genus g 2 and let K be its canonical bundle. In this note

Places of Number Fields and Function Fields MATH 681, Spring 2018

Places of Number Fields and Function Fields MATH 681, Spring 2018 From now on we will denote the field Z/pZ for a prime p more compactly by F p. More generally, for q a power of a prime p, F q will denote

Inseparable local uniformization. Conference on valuation theory, El Escorial

Inseparable local uniformization M. Temkin July 27, 2011 Conference on valuation theory, El Escorial Outline 1 General paradigm of desingularization The state of the art Main result of the talk Generalizations

GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)

GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) KEITH CONRAD We will describe a procedure for figuring out the Galois groups of separable irreducible polynomials in degrees 3 and 4 over

We can choose generators of this k-algebra: s i H 0 (X, L r i. H 0 (X, L mr )

MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 43 5.3. Linearisations. An abstract projective scheme X does not come with a pre-specified embedding in a projective space. However, an ample line bundle

Azumaya Algebras. Dennis Presotto. November 4, Introduction: Central Simple Algebras

Azumaya Algebras Dennis Presotto November 4, 2015 1 Introduction: Central Simple Algebras Azumaya algebras are introduced as generalized or global versions of central simple algebras. So the first part

DIVISORS ON NONSINGULAR CURVES

DIVISORS ON NONSINGULAR CURVES BRIAN OSSERMAN We now begin a closer study of the behavior of projective nonsingular curves, and morphisms between them, as well as to projective space. To this end, we introduce

V. Alexeev, R. Pardini ON THE EXISTENCE OF RAMIFIED ABELIAN COVERS

Rend. Sem. Mat. Univ. Politec. Torino Vol. 71, 3 4 (213), 37 315 V. Alexeev, R. Pardini ON THE EXISTENCE OF RAMIFIED ABELIAN COVERS Dedicated to Alberto Conte on his 7th birthday. Abstract. Given a normal

PROBLEMS, MATH 214A. Affine and quasi-affine varieties

PROBLEMS, MATH 214A k is an algebraically closed field Basic notions Affine and quasi-affine varieties 1. Let X A 2 be defined by x 2 + y 2 = 1 and x = 1. Find the ideal I(X). 2. Prove that the subset

On exceptional completions of symmetric varieties

Journal of Lie Theory Volume 16 (2006) 39 46 c 2006 Heldermann Verlag On exceptional completions of symmetric varieties Rocco Chirivì and Andrea Maffei Communicated by E. B. Vinberg Abstract. Let G be

4. Noether normalisation

4. Noether normalisation We shall say that a ring R is an affine ring (or affine k-algebra) if R is isomorphic to a polynomial ring over a field k with finitely many indeterminates modulo an ideal, i.e.,

Topics in linear algebra

Chapter 6 Topics in linear algebra 6.1 Change of basis I want to remind you of one of the basic ideas in linear algebra: change of basis. Let F be a field, V and W be finite dimensional vector spaces over

IRREDUCIBILITY OF 1-CLASSES ON ANTICANONICAL RATIONAL SURFACES AND FINITE GENERATION OF THE EFFECTIVE MONOID. Mustapha Lahyane and Brian Harbourne

IRREDUCIBILITY OF 1-CLASSES ON ANTICANONICAL RATIONAL SURFACES AND FINITE GENERATION OF THE EFFECTIVE MONOID Mustapha Lahyane and Brian Harbourne We give necessary and sufficient conditions for a divisor

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the

π X : X Y X and π Y : X Y Y

Math 6130 Notes. Fall 2002. 6. Hausdorffness and Compactness. We would like to be able to say that all quasi-projective varieties are Hausdorff and that projective varieties are the only compact varieties.

ESSENTIAL DIMENSION IN MIXED CHARACTERISTIC

ESSENTIAL DIMENSION IN MIXED CHARACTERISTIC PATRICK BROSNAN, ZINOVY REICHSTEIN, AND ANGELO VISTOLI Abstract. Let R be a discrete valuation ring with residue field k and fraction field K. We say that a

Math 676. A compactness theorem for the idele group. and by the product formula it lies in the kernel (A K )1 of the continuous idelic norm

Math 676. A compactness theorem for the idele group 1. Introduction Let K be a global field, so K is naturally a discrete subgroup of the idele group A K and by the product formula it lies in the kernel

ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS

ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS LISA CARBONE Abstract. We outline the classification of K rank 1 groups over non archimedean local fields K up to strict isogeny,

APPENDIX 3: AN OVERVIEW OF CHOW GROUPS

APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss

FIELDS OF DEFINITION OF RATIONAL POINTS ON VARIETIES

FIELDS OF DEFINITION OF RATIONAL POINTS ON VARIETIES JORDAN RIZOV Abstract. Let X be a scheme over a field K and let M X be the intersection of all subfields L of K such that X has a L-valued point. In