A SURVEY OF ALGEBRAIC COBORDISM
|
|
- Antony Bailey
- 7 years ago
- Views:
Transcription
1 A SURVEY OF ALGEBRAIC COBORDISM MARC LEVINE Abstract. This paper is based on the author s lecture at the ICM Satellite Conference in Algebra at Suzhou University, August 30-September 2, 2002, describing a joint work with Fabien Morel. 1. Introduction Together with Fabien Morel, we have constructed a theory of algebraic cobordism, which lifts the theory of complex cobordism to algebraic varieties over a field of characteristic zero, as the theory of the Chow ring lifts singular cohomology, or the theory of algebraic K 0 lifts the topological K 0. In this paper, we give an introduction to this theory for the non-expert. For those interested in more details, we refer the reader to [5, 6, 7, 8]. We would like to thank the organizers of the Satellite Conference in Algebra at Suzhou University for providing a warm and stimulating atmosphere at the conference and for promoting the continued exchange of ideas among mathematicians. 2. Complex cobordism We recall that the Thom space Th(E) of a vector bundle E X is the quotient space D(E)/S(E), where D(E) and S(E) are the disk bundle and sphere bundle D(E) := {v E v 1}, S(E) := {v E v = 1}, with respect to a chosen metric on E. It is easy to see that Th(E) is independent of choice of metric; in fact, one can define Th(E) without reference to a metric as Th(E) := P(E e C )/P(E), where P is the associated bundle of projective spaces, and e C is the trivial complex line bundle. The author gratefully acknowledges support from the N.S.F., grant DMS
2 2 MARC LEVINE Taking the example of the universal rank n complex vector bundle U n Gr(n, ), we have the 2nth universal Thom space MU 2n := Th(U n ). The bundle U n e C Gr(n, ) is classified by an inclusion i n : Gr(n, ) Gr(n + 1, ), giving the isomorphism U n e C = i n U n+1. This in turn yields the map of Thom spaces Th(U n e C ) Th(U n+1 ). In addition, one has the homeomorphism Th(U n e) = S 2 Th(U n ), which yields the connecting maps S 2 MU 2n ɛ n MU2n+2. We set MU 2n+1 := S 1 MU 2n. The sequence of spaces with attaching maps MU 0 = pt., MU 1, MU 2,..., MU 2n, MU 2n+1,... S 1 MU 2n = M 2n+1 id M 2n+1 S 1 MU 2n+1 = S 2 MU 2n ɛ n MU2n+2 defines the Thom spectrum MU; for a topological space X, the complex cobordism of X is defined as the set of stable homotopy classes of pointed maps MU n (X) := lim N [ΣN X +, MU N+n ]. Sending X to the graded group MU (X) evidently defines a contravariant functor. In fact, this satisfies the axioms of a cohomology theory on topological spaces Quillen s construction. Restricting to differentiable manifolds, the cohomology theory MU was given a more geometric flavor by Quillen [9], following work of Thom. In [9] Quillen describes MU n (X) as generated (for n even) by the set of complex oriented proper maps f : Y X of codimension n. Here a complex orientation is given by factoring f through a closed embedding i : Y E, where E X is a complex vector bundle, together with a complex structure on the normal bundle N i of Y in E (for n even). For n odd, one puts a complex structure on N i e R. One then imposes the cobordism relation by identifying f 1 (X 0) and f 1 (X 1), if f : Y X R is a proper complex oriented map, transverse to X {0, 1}. From this definition, it becomes apparant that MU (X) has natural push-forward maps f : MU n (X) MU n d (X ) for a proper complexoriented map f : X X of relative dimension d. Pull-back is defined
3 A SURVEY OF ALGEBRAIC COBORDISM 3 by noting that, given a differentiable map g : X X, and a complexoriented map f : Y X, one can change f by a homotopy to make f transverse to g. One then defines g (f) as the projection Y X X X. One also has the compatibility g f = f g for cartesian squares X X Y g Y f X g X f with f proper and complex-oriented, and g transverse to f. Disjoint union defines the addition in MU (X), and reversing the orientation defines the minus. Taking products of maps defines external products MU n (X) MU m (Y ) MU n+m (X Y ). Taking X = Y and pulling back by the diagonal defines cup products on MU (X), making MU (X) a graded commutative ring with identity 1 X = id X Chern classes and the projective bundle formula. Let L X be a complex line bundle on a differentiable manifold X, and let s : X L be the zero section. Define c 1 (L) MU 2 (X) by c 1 (L) = s s (1 X ). One has the projective bundle formula: Let E X be a rank n + 1 vector bundle on X, L P(E) the tautological line bundle on P(E), and let ξ = c 1 (L). Then MU (P(E)) is a free MU (X)-module, with basis 1, ξ,..., ξ n. In fact, MU is the universal cohomology theory with Chern classes and a projective bundle formula The formal group law. It is not the case that c 1 (L M) = c 1 (L)+c 1 (M)! To make this failure precise, one considers the universal case of the tautological complex line bundle L n on P n and the limit bundle L on P. Letting ξ n = c 1 (L n ), sending u to ξ n defines an isomorphism MU (P n ) = MU (pt.)[u]/u n+1. Taking limits gives MU (P ) = MU (pt.)[[u]], with u mapping to ξ. Similarly, we have MU (P P ) = MU (pt.)[[u, v]], with u going to c 1 (p 1 L ), and v to c 1 (p 2 L ). We have the power series F (u, v) MU (pt.)[[u, v]] defined as the element corresponding to c 1 (p 1 L p 2L ). Thus, for any two line bundles L, M, we have c 1 (L M) = F (c 1 (L), c 1 (M)).
4 4 MARC LEVINE From the elementary properties of tensor product, we see that F defines a commutative formal group law on MU (pt.), that is F (u, 0) = F (0, u) = u, F (u, v) = F (v, u), F (u, F (v, w)) = F (F (u, v), w). In fact, Quillen [9] has shown this is the universal formal group law, so the failure of c 1 to be additive is as complete as it can possibly be The Lazard ring. The coefficient ring of the universal formal group was first studied by Lazard [4], and is thus known as the Lazard ring L. The Lazard ring is known to be a polynomial ring over Z in infinitely many variables L = Z[x 1, x 2,...]. L is naturally a graded ring with deg(x i ) = i. Explicitly, one constructs L and the universal group law F L as follows: Let L = Z[{A ij i, j 1}], where we give A ij degree i j + 1, and let F L[[u, v]] be the power series F = u + v + ij A iju i v j. Let L = L/F (u, v) = F (v, u), F (F (u, v), w) = F (u, F (v, w)). and let F L be the image of F in L[[u, v]]. Then (F L, L) is evidently the universal commutative dimension 1 formal group; L is thus the Lazard ring. 3. Oriented cohomology theories We abstract the properties of MU in an algebraic setting. Fix a base field k and let Sm k denote the category of smooth quasi-projective k-schemes. Definition 3.1. An oriented cohomology theory on Sm k is given by D1. A contravarient functor A from Sm k to graded rings. D2. For each projective morphism f : X Y in Sm k of relative codimension d an A (Y )-linear push-forward homomorphism f : A (X) A +d (Y ). These satisfy: A1. (f g) = f g. id = id.
5 A SURVEY OF ALGEBRAIC COBORDISM 5 A2. Let W g X f Y g Z be a cartesian square, with X, Y, Z and W in Sm k, and with f projective. Then f g f = f g. A3. Projective bundle formula. For a line bundle L on X Sm k with zero-section s : X L, define c 1 (L) := s s (1 X ) A 1 (X). Let E X be a rank n + 1 vector bundle over X Sm k, and P(E) X the associated projective bundle. Let ξ = c 1 (O(1)). Then A (P(E)) is a free module over A (X) with basis 1, ξ,..., ξ n. A4. Homotopy. Let p : V X be an A n bundle over X Sm k. Then p : A (X) A (V ) is an isomorphism. Remark 3.2. The reader should note that an oriented cohomology theory as defined above is not a cohomology theory in the usual sense, as there is no requirement of a Mayer-Vietoris property. One should perhaps call the above data an oriented pre-cohomology theory, but we have chosen not to use this terminology. 4. The formal group law Let A be an oriented cohomology theory. We have lim n,m A (P n P m ) = A (k)[[u, v]], the isomorphism sending u to c 1 (p 1 O(1)) and v to c 1(p 2O(1)). The class of c 1 (p 1O(1) p 2O(1)) thus gives a power series F A (u, v) A (k)[[u, v]] with c 1 (p 1 O(1) p 2 O(1)) = F A(c 1 (p 1 O(1)), c 1(p 2 O(1))). By naturality, we have, for X Sm k with line bundles L, M, the identity c 1 (L M) = F A (c 1 (L), c 1 (M)). In addition, F A (u, v) = u + v mod uv, F A (u, v) = F A (v, u), and F A (F A (u, v), w) = F A (u, F A (v, w)). Thus, F A gives a formal group law with coefficients in A (k). In particular, for each oriented cohomology
6 6 MARC LEVINE theory A, there is a canonical ring homomorphism φ A : L A (k) classifying the group law F A. Note that c 1 : Pic(X) A 1 (X) is a group homomorphism if and only if F A (u, v) = u + v; we call such a theory ordinary. Examples 4.1. (1) The Chow ring of algebraic cycles modulo rational equivalence, CH, and étale cohomology Hét 2 (, Z/n( )) (also with Z l ( ) or Q l ( ) coefficients). These are all ordinary theories. Similarly, if σ : k C is an embedding, and X is in Sm k, let X σ (C) be the complex manifold of C-points on X k C. We have the ordinary theory X H (X σ (C), Z) where H (, Z) is singular cohomology. (2) For X Sm k, we have the Grothendieck group of algebraic vector bundles on X, K alg 0 (X). For a projective morphism f : Y X, we have the pushforward f : K alg 0 (Y ) Kalg 0 (X), defined by sending E to the alternating sum i ( 1)i [R i f (E)]. Here, we need to identify K alg 0 (X) with the Grothendieck group of coherent sheaves on X, for which we require X to be regular (e.g. smooth over k). This does not define an oriented cohomology theory, since there is no natural grading on K alg 0 which respects the pushforward maps in the proper manner. To correct this, we adjoin a variable β (of degree -1), and its inverse β 1, and define f ([E]β n ) := f ([E])β n d for f : Y X projective, d = dim k X dim k Y. This defines the oriented cohomology theory theory K 0 [β, β 1 ]. K 0 [β, β 1 ] is not an ordinary theory, in fact, its formal group law is the multiplicative group F K0 (u, v) = u + v βuv. To see this, it follows from the definition of c 1 that c 1 (L) = β 1 (1 L ), where L is the dual line bundle. If L = O X (D), M = O X (E) for smooth transverse divisors D and E, we have the exact sequences and 0 O X ( D) O X O D 0 0 O X ( E) O X O E 0 0 O X ( D E) O X ( D) O X ( E) O X O D OX O E 0.
7 A SURVEY OF ALGEBRAIC COBORDISM 7 From these, one finds the relation in K alg 0 [1] [(L M) ] = ([1] [L ]) + ([1] [M ]) ([1] [L ]) ([1] [M ]), which yields the stated group law. (3) As in (1), let σ : k C be an embedding. We have the oriented cohomology theories X K 0 top(x σ (C))[β, β 1 ] X MU (X σ (C)) These are both extraordinary theories (i.e., not ordinary). The group law for K 0 top is the multiplicative group, and for MU the universal group law. 5. Algebraic cobordism Let P Sch k be the category with objects finite type k-schemes, and with morphisms the projective maps Y X; let P Sm k be the full subcategory of P Sch k with objects the smooth quasi-projective schemes over k. We can now state our main result on algebraic cobordism: Theorem 5.1 ([5, 6, 7]). Let k be a field of characteristic zero. (1) There is a universal oriented cohomology theory Ω on Sm k. (2) The homomorphism φ Ω : L Ω (k) is an isomorphism (3) For X of dimension d, write Ω n (X) := Ω d n (X). Then the covarient functor Ω on P Sm k extends to a covariant functor on P Sch k satisfying (a) Ω has pull-back homomorphisms for smooth quasi-projective morphisms, compatible in cartesian squares. (b) Let i : Z X be a closed embedding with open complement j : U X. Then the sequence is exact. Ω (Z) i Ω (X) j Ω (U) 0. Idea of construction: For a finite type k-scheme X, let M(X) be the set of isomorphism classes of morphisms f : Y X, with Y Sm k and f projective. M(X) is a graded monoid under disjoint union, with f : Y X in degree dim k (Y ), let M(X) + be the group completion. Composition with a projective morphism g : X X makes M + a functor on P Sm k We construct Ω (X) as a quotient of M(X) + in three steps:
8 8 MARC LEVINE (1) Impose the relation of classical cobordism : f 1 (0) = f 1 (1) for f : W X A 1, W Sm k, f projective, and f transverse with respect to the inclusion X {0, 1} X A 1. (2) For L X a globally generated line bundle and f : Y X in M(X), let i : D Y be the zero locus of a general section of f L. Set c 1 (L)(f) := f i : D X. One checks that this is well-defined modulo the relation of classical cobordism. Impose the universal formal group law: c 1 (L M)(f) = F L (c 1 (L), c 1 (M))(f) for globally generated line bundles L and M on X and f : Y X in M(X). (3) Impose the Gysin relation, by identifying c 1 (O W (D))(id W ) with the class of i : D W for D a smooth divisor on W. Remarks 5.2. (1) The above gives the rough outline of a somewhat simplified version of the actual construction. We refer the reader to [7, 8] for more details. (2) The restriction to characteristic zero in Theorem 5.1 arises from a heavy use of resolution of singularities [3]. In addition, the weak factorization theorem of [1] is used in an essential way in the proof of Theorem 5.1(2). 6. Degree formulas In the paper [10], Rost made a number of conjectures based on the theory of algebraic cobordism in the Morel-Voevodsky stable homotopy category; assuming these conjecture, Rost is able to construct the so-called splitting varieties which play a crucial role in Voevodsky s approach to proving the Bloch-Kato conjecture. Many of Rost s conjectures have been proved by homotopy-theoretic means (cf. [2]); our construction of an algebro-geometric cobordism gives an alternate proof of these results, and settles many remaining open questions as well. We give a sampling of some of these results The generalized degree formula. All the degree formulas follow from the generalized degree formula. Before stating this result, we first define the degree homomorphism deg : Ω (X) Ω (k). We assume the base-field k has characteristic zero. Let X be an irreducible finite type k-scheme and let i x : x X be the generic point of X, with structure map p x : x Spec k. By
9 A SURVEY OF ALGEBRAIC COBORDISM 9 Theorem 5.1, we have the commutative diagram Ω (k) φ Ω/k p x Ω (k(x)) φω/k(x) L with φ Ω/k and φ Ω/k(x) isomorphisms. Thus the base-change homomorphism p x : Ω (k) Ω (k(x)) is also an isomorphism. Let f : Y X be in M(X), with X irreducible. Define deg f Ω (k) to be the element mapping to f x : Y X x x in Ω (k(x)) under the isomorphism p x : Ω (k) Ω (k(x)). More generally, if η in any element of Ω (X), let deg(η) Ω (k) be the element with p x (deg(η)) = i x η Ω (k(x)). Theorem 6.2 (Generalized degree formula). Let X be an irreducible finite type k-scheme, and let η be in Ω (X). Let f 0 : B 0 X be a resolution of singularities of X, with B 0 quasi-projective over k. Then there are a i Ω (k), f i : B i X in M(X), i = 1,..., s, such that (1) f i : B i f(b i ) is birational and f(b i ) is a proper closed subset of X, i = 1,..., s. (2) η (deg η)[f 0 ] = i a i[f i ] in Ω (X). Proof. It follows from the definitions of Ω that, for X an irreducible finite type k-scheme, we have Ω (k(x)) = lim U Ω (U), where the limit is over dense open subschemes U of X, and Ω (k(x)) is the value at Spec k(x) of the functor Ω on finite type k(x)-schemes. Thus, there is a smooth open subscheme j : U X of X such that j η = (deg η)[u] in Ω (U). Shrinking U if necessary, we may assume that B 0 X is an isomorphism over U. Thus, j (η (deg η)[f 0 ]) = 0 in Ω (U). Let W = X \ U. From the localization sequence Ω (W ) i Ω (X) j Ω (U) we find an element η 1 Ω (W ) with i (η 1 ) = η (deg η)[f 0 ], and noetherian induction completes the proof. Remarks 6.3. (1) If X is in Sm k, we can take f 0 = id X, giving the formula m η (deg η)[id X ] = a i [f i ] i=1
10 10 MARC LEVINE in Ω (X). (2) If X is in Sm k, and η = [f] for some f : Y X in M(X), we have [f] (deg f)[id X ] = m a i [f i ] i=1 in Ω (X). (3) If f : Y X is in M(X), and dim Y = dim X, then deg f is an integer, namely, the usual degree of f if f is dominant, and zero if f is not dominant. Indeed, the map Ω (k(x)) Ω (k(x)) is an isomorphism (k(x) the algebraic closure of k(x)), and it is clear that the image of [f] in Ω (k(x)) is [k(y ) : k(x)] [Spec k(x)] if f is dominant, and zero if not Classical cobordism and algebraic cobordism. From the the universal property of Ω, one sees that a homomorphism of fields σ : k C yields a natural homomorphism R σ : Ω (X) MU 2 (X σ (C)), with f : Y X going to the class of the map of complex manifolds f σ : Y σ (C) X σ (C). Let P = P (c 1,..., c d ) be a degree d (weighted) homogeneous polynomial. If X is smooth and projective of dimension d over k, we have the Chern number P (X) := deg(p (c 1 (Θ X σ (C)),..., c d (Θ X σ (C)))). P (X) is in fact independent of the choice of σ. Let s d be the polynomial which corresponds to i ξd i, where ξ 1,... are the Chern roots. The following divisibility is known: If d = p n 1 for some prime p, and dim X = d, then s d (X) is divisible by p. In addition, for integers d = p n 1 and r 1, there are mod p characteristic classes t d,r, with t d,1 = s d /p mod p. The s d and the t d,r have the following properties: (6.1) (1) s d (X) pz is defined for X smooth and projective of dimension d = p n 1. t d,r (X) Z/p is defined for X smooth and projective of dimension rd = r(p n 1). (2) s d and t d,r extend to homomorphisms s d : Ω d (k) pz, t d,r : Ω rd (k) Z/p. (3) If X and Y are smooth projective varieties with dim X, dim Y > 0, dim X + dim Y = d, then s d (X Y ) = 0. (4) If X 1,..., X s are smooth projective varieties with i dim X i = rd, then t d,r ( i X i) = 0 unless d dim X i for each i.
11 A SURVEY OF ALGEBRAIC COBORDISM 11 Theorem 6.5. Let f : Y X be a morphism of smooth projective k-schemes of dimension d, d = p n 1 for some prime p. Then there is a zero-cycle η on X such that s d (Y ) (deg f)s d (X) = p deg(η). Theorem 6.6. Let f : Y X be a morphism of smooth projective k-schemes of dimension rd, d = p n 1 for some prime p. Suppose that X admits a sequence of surjective morphisms such that, Then X = X 0 X 1... X r 1 X r = Spec k (1) dim X i = d(r i). (2) Let η be a zero-cycle on X i Xi+1 Spec k(x i+1 ). Then p deg(η). t d,r (Y ) = deg(f)t d,r (X). Proof. These two theorems follow easily from the generalized degree formula Theorem 6.2 and the amplifications of Remark 6.3. Indeed, for Theorem 6.5, we have the identity m [Y X] (deg f)[id X ] = a i [B i X] in Ω (X) with the a i in Ω (k) and with dim(b i ) < d for all i. Pushing forward to Ω (k) gives the identity m [Y ] (deg f)[x] = a i [B i ] i=1 i=1 in Ω d (k). We can express each a i as a sum a i = l n il [Y il ], where the Y il are smooth projective varieties over k. Applying s d gives s d (Y ) deg(f)s d (X) = i,l n il s d (Y il B i ). As dim(b i ) < d for all i, we have dim(y il ) > 0 for all i, l. Since s d vanishes on non-trivial products, only the terms with B i a point z i of X survive in this last sum. Rewriting the sum, this gives s d (Y ) deg(f)s d (X) = j m j s d (Y j ) deg(z j )
12 12 MARC LEVINE for smooth projective dimension d k-schemes Y j, integers m j and points z j of X. Since s d (Y j ) = pn j for suitable integers n j, we have s d (Y ) deg(f)s d (X) = p deg( j m j n j z j ), proving Theorem 6.5. For Theorem 6.6, we have as before [Y X] (deg f)[id X ] = m a i [B i X] in Ω (X). We then decompose each B j X 2 using Theorem 6.2, giving [B j ] = a 0j [X 2 ] + n ij a ij [B ij ]. i in Ω (X 2 ). Iterating, we have the identity in Ω (k) [Y ] (deg f)[x] = r n I [ Y ij ], i=1 I=(i 0,...,i r) where the Y ij are smooth projective k-schemes. In addition, the conditions on the tower imply that for each product r j=0 Y ij such that d dim Y ij for all j has p n I. Thus, arguing as above, we see that t d,r (Y ) = deg(f)t d,r (X). 7. Comparison results In this last section, we explain how one can recover both the Chow ring CH (X) and K alg 0 (X) from Ω (X). Suppose we have a formal group law (f, R), giving the canonical homomorphism φ f : L R. Let Ω (f,r) be the functor Ω (f,r)(x) = Ω (X) L R, where Ω (X) is an L-algebra via the isomorphism φ Ω : L Ω (k). For X a finite type k-scheme, define Ω (f,r) (X) similarly. Since is right exact, the theories Ω (f,r) and Ω(f,R) have the same formal properties as Ω and Ω. In particular, Ω (f,r) is an oriented cohomology theory, and Ω (f,r) satisfies localization. The universal property of Ω gives the analogous universal property for Ω (f,r). In particular, let Ω + be the theory with (f(u, v), R) = (u+v, Z), and let Ω be the theory with (f(u, v), R) = (u + v βuv, Z[β, β 1 ]). We thus have the canonical natural transformations of oriented theories j=0 (7.1) Ω + CH ; Ω Kalg 0 [β, β 1 ].
13 A SURVEY OF ALGEBRAIC COBORDISM 13 Theorem 7.1. The natural transformations (7.1) are isomorphisms. Proof. We define maps backwards: CH Ω +; K alg 0 [β, β 1 ] Ω. For CH, we first note that Ω n (k) + = 0 for n 0, since L = Ω (k), and L is generated by the coefficients of the universal group law. To map CH to Ω +, send a subvariety Z X to the map Z X, where Z Z is a resolution of singularities of Z. It follows from localization that the class of Z in Ω +(X) is independent of the choice of the resolution. A similar argument shows that the relations defining CH go to zero. It is evident that the composition CH Ω + CH is the identity. Finally, the generalized degree formula Theorem 6.2 shows that the map CH Ω + is surjective, proving the result. For K alg 0 [β, β 1 ], we use a Chern character to define the backwards map. In fact, sending a line bundle L to ch(l) := i cω 1 (L) i is easily seen to satisfy ch(l M) = ch(l)ch(m). Defining ch( i L i ) = i ch(l i) and using the splitting principle defines the ring homomorphism ch : K alg 0 [β, β 1 ] Ω. One calculates the associated Todd genus as follows: The respective projective bundle formulas give isomorphisms lim K alg 0 [β, β 1 ](P n ) = Z[β, β 1 ][[u]]; lim Ω (Pn ) = Z[β, β 1 ][[v]], with u going to 1 O( 1), and v going to the class of a hyperplane H. Thus, one can write ch(1 O( 1)) as φ([h]) in Ω (P n ) for a unique power series φ(v) = av+.... Then Todd(v) 1 = φ(v)/v. But one easily computes φ(v) = v, giving Todd(v) = 1. The Riemann-Roch formula then gives ch(o Z ) = [Z] Ω (X) for Z X a smooth closed subscheme of X Sm k. This and localization implies that ch : K alg 0 [β, β 1 ] Ω is surjective; one easily computes that the composition K alg 0 [β, β 1 ] Ω Kalg 0 [β, β 1 ] is the identity, completing the proof. References [1] Abramovich, D., Karu, K., Matsuki, K., Wlodarczyk, J. Torification and factorization of birational morphisms, preprint 2000, AG/ [2] Borghesi, S., Algebraic Morava K-theories and the higher degree formula, preprint, May, 2000,
14 14 MARC LEVINE [3] Hironaka, H. Resolution of singularities of an algebraic variety over a field of characteristic zero. I, II. Ann. of Math. (2) 79 (1964) ; ibid. (2) 79 (1964) [4] Lazard, M. Sur les groupes de Lie formels à un paramètre. Bull. Soc. Math. France 83 (1955), [5] Levine, M. and Morel, F., Cobordisme algébrique, I, C. R. Acad. Sci. Paris Sér. I Math. 332 (2001), no. 8, [6] Levine, M. and Morel, F., Cobordisme algébrique, II, C. R. Acad. Sci. Paris Sér. I Math. 332 (2001), no. 9, [7] Levine, M. and Morel, F., Algebraic cobordism I, preprint, Feb. 2002, [8] Levine, M., Algebraic cobordism II, preprint, June 2002, [9] Quillen, D. Elementary proofs of some results of cobordism theory using Steenrod operations. Advances in Math. 7 (1971) [10] Rost, M., Construction of splitting varieties, preprint, Department of Mathematics, Northeastern University, Boston, MA 02115, U.S.A. address: marc@neu.edu
Lecture 4 Cohomological operations on theories of rational type.
Lecture 4 Cohomological operations on theories of rational type. 4.1 Main Theorem The Main Result which permits to describe operations from a theory of rational type elsewhere is the following: Theorem
More informationAlgebraic Morava K-theories and the. higher degree formula
Algebraic Morava K-theories and the higher degree formula 1 Contents Chapter 1. Introduction 1 Chapter 2. The construction of an algebraic Morava K-theory spectrum 5 Chapter 3. The theorem in the general
More informationFIBER PRODUCTS AND ZARISKI SHEAVES
FIBER PRODUCTS AND ZARISKI SHEAVES BRIAN OSSERMAN 1. Fiber products and Zariski sheaves We recall the definition of a fiber product: Definition 1.1. Let C be a category, and X, Y, Z objects of C. Fix also
More informationMath 231b Lecture 35. G. Quick
Math 231b Lecture 35 G. Quick 35. Lecture 35: Sphere bundles and the Adams conjecture 35.1. Sphere bundles. Let X be a connected finite cell complex. We saw that the J-homomorphism could be defined by
More informationNOTES ON CATEGORIES AND FUNCTORS
NOTES ON CATEGORIES AND FUNCTORS These notes collect basic definitions and facts about categories and functors that have been mentioned in the Homological Algebra course. For further reading about category
More informationA result of Gabber. by A.J. de Jong
A result of Gabber by A.J. de Jong 1 The result Let X be a scheme endowed with an ample invertible sheaf L. See EGA II, Definition 4.5.3. In particular, X is supposed quasi-compact and separated. 1.1 Theorem.
More informationCURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXXXI, 1 (2012), pp. 71 77 71 CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC E. BALLICO Abstract. Here we study (in positive characteristic) integral curves
More informationBP-cohomology of mapping spaces from the classifying space of a torus to some p-torsion free space
BP-cohomology of mapping spaces from the classifying space of a torus to some p-torsion free space 1. Introduction Let p be a fixed prime number, V a group isomorphic to (Z/p) d for some integer d and
More informationSets of Fibre Homotopy Classes and Twisted Order Parameter Spaces
Communications in Mathematical Physics Manuscript-Nr. (will be inserted by hand later) Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces Stefan Bechtluft-Sachs, Marco Hien Naturwissenschaftliche
More informationAnalytic cohomology groups in top degrees of Zariski open sets in P n
Analytic cohomology groups in top degrees of Zariski open sets in P n Gabriel Chiriacescu, Mihnea Colţoiu, Cezar Joiţa Dedicated to Professor Cabiria Andreian Cazacu on her 80 th birthday 1 Introduction
More information7. Some irreducible polynomials
7. Some irreducible polynomials 7.1 Irreducibles over a finite field 7.2 Worked examples Linear factors x α of a polynomial P (x) with coefficients in a field k correspond precisely to roots α k [1] of
More information8.1 Examples, definitions, and basic properties
8 De Rham cohomology Last updated: May 21, 211. 8.1 Examples, definitions, and basic properties A k-form ω Ω k (M) is closed if dω =. It is exact if there is a (k 1)-form σ Ω k 1 (M) such that dσ = ω.
More informationTHE HOPF RING FOR COMPLEX COBORDISM 1 BY DOUGLAS C. RAVENEL AND W. STEPHEN WILSON. Communicated by Edgar Brown, Jr., May 13, 1974
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 80, Number 6, November 1974 THE HOPF RING FOR COMPLEX COBORDISM 1 BY DOUGLAS C. RAVENEL AND W. STEPHEN WILSON Communicated by Edgar Brown, Jr., May
More informationQuotient Rings and Field Extensions
Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.
More informationSINTESI DELLA TESI. Enriques-Kodaira classification of Complex Algebraic Surfaces
Università degli Studi Roma Tre Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di Laurea Magistrale in Matematica SINTESI DELLA TESI Enriques-Kodaira classification of Complex Algebraic Surfaces
More informationChapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.
Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize
More informationRIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES
RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES GAUTAM BHARALI AND INDRANIL BISWAS Abstract. In the study of holomorphic maps, the term rigidity refers to certain types of results that give us very specific
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES
FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied
More informationTHE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS
THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear
More informationCHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY
January 10, 2010 CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY The set of polynomials over a field F is a ring, whose structure shares with the ring of integers many characteristics.
More informationFIBRATION SEQUENCES AND PULLBACK SQUARES. Contents. 2. Connectivity and fiber sequences. 3
FIRTION SEQUENES ND PULLK SQURES RY MLKIEWIH bstract. We lay out some foundational facts about fibration sequences and pullback squares of topological spaces. We pay careful attention to connectivity ranges
More informationOn The Existence Of Flips
On The Existence Of Flips Hacon and McKernan s paper, arxiv alg-geom/0507597 Brian Lehmann, February 2007 1 Introduction References: Hacon and McKernan s paper, as above. Kollár and Mori, Birational Geometry
More informationALGEBRAIC CYCLES AND FIBRATIONS
ALGEBRAIC CYCLES AND FIBRATIONS CHARLES VIAL For a scheme X over a field k, CH i (X) denotes the rational Chow group of i-dimensional cycles on X modulo rational equivalence. Throughout, f : X B will be
More informationRow Ideals and Fibers of Morphisms
Michigan Math. J. 57 (2008) Row Ideals and Fibers of Morphisms David Eisenbud & Bernd Ulrich Affectionately dedicated to Mel Hochster, who has been an inspiration to us for many years, on the occasion
More informationON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS
ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS DANIEL RABAYEV AND JACK SONN Abstract. Let f(x) be a monic polynomial in Z[x] with no rational roots but with roots in Q p for
More informationSOLUTIONS TO PROBLEM SET 3
SOLUTIONS TO PROBLEM SET 3 MATTI ÅSTRAND The General Cubic Extension Denote L = k(α 1, α 2, α 3 ), F = k(a 1, a 2, a 3 ) and K = F (α 1 ). The polynomial f(x) = x 3 a 1 x 2 + a 2 x a 3 = (x α 1 )(x α 2
More informationAlgebraic Geometry. Keerthi Madapusi
Algebraic Geometry Keerthi Madapusi Contents Chapter 1. Schemes 5 1. Spec of a Ring 5 2. Schemes 11 3. The Affine Communication Lemma 13 4. A Criterion for Affineness 15 5. Irreducibility and Connectedness
More informationIntroduction to Finite Fields (cont.)
Chapter 6 Introduction to Finite Fields (cont.) 6.1 Recall Theorem. Z m is a field m is a prime number. Theorem (Subfield Isomorphic to Z p ). Every finite field has the order of a power of a prime number
More informationFACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z
FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization
More informationCOHOMOLOGY OF GROUPS
Actes, Congrès intern. Math., 1970. Tome 2, p. 47 à 51. COHOMOLOGY OF GROUPS by Daniel QUILLEN * This is a report of research done at the Institute for Advanced Study the past year. It includes some general
More informationIntroduction to Topology
Introduction to Topology Tomoo Matsumura November 30, 2010 Contents 1 Topological spaces 3 1.1 Basis of a Topology......................................... 3 1.2 Comparing Topologies.......................................
More informationEXERCISES FOR THE COURSE MATH 570, FALL 2010
EXERCISES FOR THE COURSE MATH 570, FALL 2010 EYAL Z. GOREN (1) Let G be a group and H Z(G) a subgroup such that G/H is cyclic. Prove that G is abelian. Conclude that every group of order p 2 (p a prime
More informationH/wk 13, Solutions to selected problems
H/wk 13, Solutions to selected problems Ch. 4.1, Problem 5 (a) Find the number of roots of x x in Z 4, Z Z, any integral domain, Z 6. (b) Find a commutative ring in which x x has infinitely many roots.
More informationGEOMETRIC PROPERTIES OF PROJECTIVE MANIFOLDS OF SMALL DEGREE
GEOMETRIC PROPERTIES OF PROJECTIVE MANIFOLDS OF SMALL DEGREE SIJONG KWAK AND JINHYUNG PARK Abstract. We study geometric structures of smooth projective varieties of small degree in birational geometric
More informationIntroduction to Algebraic Geometry. Bézout s Theorem and Inflection Points
Introduction to Algebraic Geometry Bézout s Theorem and Inflection Points 1. The resultant. Let K be a field. Then the polynomial ring K[x] is a unique factorisation domain (UFD). Another example of a
More informationRESEARCH STATEMENT AMANDA KNECHT
RESEARCH STATEMENT AMANDA KNECHT 1. Introduction A variety X over a field K is the vanishing set of a finite number of polynomials whose coefficients are elements of K: X := {(x 1,..., x n ) K n : f i
More information9. Quotient Groups Given a group G and a subgroup H, under what circumstances can we find a homomorphism φ: G G ', such that H is the kernel of φ?
9. Quotient Groups Given a group G and a subgroup H, under what circumstances can we find a homomorphism φ: G G ', such that H is the kernel of φ? Clearly a necessary condition is that H is normal in G.
More informationFactoring of Prime Ideals in Extensions
Chapter 4 Factoring of Prime Ideals in Extensions 4. Lifting of Prime Ideals Recall the basic AKLB setup: A is a Dedekind domain with fraction field K, L is a finite, separable extension of K of degree
More informationModule MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013
Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013 D. R. Wilkins Copyright c David R. Wilkins 1997 2013 Contents A Cyclotomic Polynomials 79 A.1 Minimum Polynomials of Roots of
More informationKyoto University. Note on the cohomology of finite cyclic coverings. Yasuhiro Hara and Daisuke Kishimoto
Kyoto University Kyoto-Math 2013-02 Note on the cohomology of finite cyclic coverings by Yasuhiro Hara and Daisuke Kishimoto April 2013 Department of Mathematics Faculty of Science Kyoto University Kyoto
More informationTOPOLOGY OF SINGULAR FIBERS OF GENERIC MAPS
TOPOLOGY OF SINGULAR FIBERS OF GENERIC MAPS OSAMU SAEKI Dedicated to Professor Yukio Matsumoto on the occasion of his 60th birthday Abstract. We classify singular fibers of C stable maps of orientable
More informationAllen Back. Oct. 29, 2009
Allen Back Oct. 29, 2009 Notation:(anachronistic) Let the coefficient ring k be Q in the case of toral ( (S 1 ) n) actions and Z p in the case of Z p tori ( (Z p )). Notation:(anachronistic) Let the coefficient
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More informationKenji Matsuki and Martin Olsson
Mathematical Research Letters 12, 207 217 (2005) KAWAMATA VIEHWEG VANISHING AS KODAIRA VANISHING FOR STACKS Kenji Matsuki and Martin Olsson Abstract. We associate to a pair (X, D), consisting of a smooth
More information1 Local Brouwer degree
1 Local Brouwer degree Let D R n be an open set and f : S R n be continuous, D S and c R n. Suppose that the set f 1 (c) D is compact. (1) Then the local Brouwer degree of f at c in the set D is defined.
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 RAVI VAKIL CONTENTS 1. Discrete valuation rings: Dimension 1 Noetherian regular local rings 1 Last day, we discussed the Zariski tangent space, and saw that it
More informationFIBER BUNDLES AND UNIVALENCE
FIBER BUNDLES AND UNIVALENCE TALK BY IEKE MOERDIJK; NOTES BY CHRIS KAPULKIN This talk presents a proof that a universal Kan fibration is univalent. The talk was given by Ieke Moerdijk during the conference
More informationIntroduction to Characteristic Classes
UNIVERSITY OF COPENHAGEN Faculty of Science Department of Mathematical Sciences Mauricio Esteban Gómez López Introduction to Characteristic Classes Supervisors: Jesper Michael Møller, Ryszard Nest 1 Abstract
More informationALGEBRA HW 5 CLAY SHONKWILER
ALGEBRA HW 5 CLAY SHONKWILER 510.5 Let F = Q(i). Prove that x 3 and x 3 3 are irreducible over F. Proof. If x 3 is reducible over F then, since it is a polynomial of degree 3, it must reduce into a product
More informationOSTROWSKI FOR NUMBER FIELDS
OSTROWSKI FOR NUMBER FIELDS KEITH CONRAD Ostrowski classified the nontrivial absolute values on Q: up to equivalence, they are the usual (archimedean) absolute value and the p-adic absolute values for
More informationMA651 Topology. Lecture 6. Separation Axioms.
MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples
More informationINTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 24
INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 24 RAVI VAKIL Contents 1. Degree of a line bundle / invertible sheaf 1 1.1. Last time 1 1.2. New material 2 2. The sheaf of differentials of a nonsingular curve
More informationGalois Theory III. 3.1. Splitting fields.
Galois Theory III. 3.1. Splitting fields. We know how to construct a field extension L of a given field K where a given irreducible polynomial P (X) K[X] has a root. We need a field extension of K where
More informationFACTORING IN QUADRATIC FIELDS. 1. Introduction. This is called a quadratic field and it has degree 2 over Q. Similarly, set
FACTORING IN QUADRATIC FIELDS KEITH CONRAD For a squarefree integer d other than 1, let 1. Introduction K = Q[ d] = {x + y d : x, y Q}. This is called a quadratic field and it has degree 2 over Q. Similarly,
More informationClassification of Cartan matrices
Chapter 7 Classification of Cartan matrices In this chapter we describe a classification of generalised Cartan matrices This classification can be compared as the rough classification of varieties in terms
More informationCyclotomic Extensions
Chapter 7 Cyclotomic Extensions A cyclotomic extension Q(ζ n ) of the rationals is formed by adjoining a primitive n th root of unity ζ n. In this chapter, we will find an integral basis and calculate
More informationSingular fibers of stable maps and signatures of 4 manifolds
359 399 359 arxiv version: fonts, pagination and layout may vary from GT published version Singular fibers of stable maps and signatures of 4 manifolds OSAMU SAEKI TAKAHIRO YAMAMOTO We show that for a
More informationINTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 16
INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 16 RAVI VAKIL Contents 1. Valuation rings (and non-singular points of curves) 1 1.1. Completions 2 1.2. A big result from commutative algebra 3 Problem sets back.
More informationFactorization Algorithms for Polynomials over Finite Fields
Degree Project Factorization Algorithms for Polynomials over Finite Fields Sajid Hanif, Muhammad Imran 2011-05-03 Subject: Mathematics Level: Master Course code: 4MA11E Abstract Integer factorization is
More informationk, then n = p2α 1 1 pα k
Powers of Integers An integer n is a perfect square if n = m for some integer m. Taking into account the prime factorization, if m = p α 1 1 pα k k, then n = pα 1 1 p α k k. That is, n is a perfect square
More information3. Prime and maximal ideals. 3.1. Definitions and Examples.
COMMUTATIVE ALGEBRA 5 3.1. Definitions and Examples. 3. Prime and maximal ideals Definition. An ideal P in a ring A is called prime if P A and if for every pair x, y of elements in A\P we have xy P. Equivalently,
More informationTopological Algebraic Geometry Workshop Oslo, September 4th-8th, 2006. Spectra associated with Artin-Schreier curves. Doug Ravenel
Topological Algebraic Geometry Workshop Oslo, September 4th-8th, 2006 Spectra associated with Artin-Schreier curves Doug Ravenel University of Rochester September 6, 2006 1 2 1. My favorite part of the
More informationUnique Factorization
Unique Factorization Waffle Mathcamp 2010 Throughout these notes, all rings will be assumed to be commutative. 1 Factorization in domains: definitions and examples In this class, we will study the phenomenon
More informationit is easy to see that α = a
21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UF. Therefore
More informationFACTORING AFTER DEDEKIND
FACTORING AFTER DEDEKIND KEITH CONRAD Let K be a number field and p be a prime number. When we factor (p) = po K into prime ideals, say (p) = p e 1 1 peg g, we refer to the data of the e i s, the exponents
More informationPrime Numbers and Irreducible Polynomials
Prime Numbers and Irreducible Polynomials M. Ram Murty The similarity between prime numbers and irreducible polynomials has been a dominant theme in the development of number theory and algebraic geometry.
More informationFiber sums of genus 2 Lefschetz fibrations
Proceedings of 9 th Gökova Geometry-Topology Conference, pp, 1 10 Fiber sums of genus 2 Lefschetz fibrations Denis Auroux Abstract. Using the recent results of Siebert and Tian about the holomorphicity
More informationSOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS
SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS Ivan Kolář Abstract. Let F be a fiber product preserving bundle functor on the category FM m of the proper base order r. We deduce that the r-th
More informationOn the existence of G-equivariant maps
CADERNOS DE MATEMÁTICA 12, 69 76 May (2011) ARTIGO NÚMERO SMA# 345 On the existence of G-equivariant maps Denise de Mattos * Departamento de Matemática, Instituto de Ciências Matemáticas e de Computação,
More informationABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS
ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS John A. Beachy Northern Illinois University 2014 ii J.A.Beachy This is a supplement to Abstract Algebra, Third Edition by John A. Beachy and William D. Blair
More informationOnline publication date: 11 March 2010 PLEASE SCROLL DOWN FOR ARTICLE
This article was downloaded by: [Modoi, George Ciprian] On: 12 March 2010 Access details: Access Details: [subscription number 919828804] Publisher Taylor & Francis Informa Ltd Registered in England and
More informationContinued Fractions and the Euclidean Algorithm
Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction
More information1 Chapter I Solutions
1 Chapter I Solutions 1.1 Section 1 (TODO) 1 2 Chapter II Solutions 2.1 Section 1 1.16b. Given an exact sequence of sheaves 0 F F F 0 over a topological space X with F flasque show that for every open
More informationModern Algebra Lecture Notes: Rings and fields set 4 (Revision 2)
Modern Algebra Lecture Notes: Rings and fields set 4 (Revision 2) Kevin Broughan University of Waikato, Hamilton, New Zealand May 13, 2010 Remainder and Factor Theorem 15 Definition of factor If f (x)
More informationNon-unique factorization of polynomials over residue class rings of the integers
Comm. Algebra 39(4) 2011, pp 1482 1490 Non-unique factorization of polynomials over residue class rings of the integers Christopher Frei and Sophie Frisch Abstract. We investigate non-unique factorization
More information3 1. Note that all cubes solve it; therefore, there are no more
Math 13 Problem set 5 Artin 11.4.7 Factor the following polynomials into irreducible factors in Q[x]: (a) x 3 3x (b) x 3 3x + (c) x 9 6x 6 + 9x 3 3 Solution: The first two polynomials are cubics, so if
More information1 = (a 0 + b 0 α) 2 + + (a m 1 + b m 1 α) 2. for certain elements a 0,..., a m 1, b 0,..., b m 1 of F. Multiplying out, we obtain
Notes on real-closed fields These notes develop the algebraic background needed to understand the model theory of real-closed fields. To understand these notes, a standard graduate course in algebra is
More informationOn the representability of the bi-uniform matroid
On the representability of the bi-uniform matroid Simeon Ball, Carles Padró, Zsuzsa Weiner and Chaoping Xing August 3, 2012 Abstract Every bi-uniform matroid is representable over all sufficiently large
More informationCOMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS
Bull Austral Math Soc 77 (2008), 31 36 doi: 101017/S0004972708000038 COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS IGOR V EROVENKO and B SURY (Received 12 April 2007) Abstract We compute
More informationLecture 13 - Basic Number Theory.
Lecture 13 - Basic Number Theory. Boaz Barak March 22, 2010 Divisibility and primes Unless mentioned otherwise throughout this lecture all numbers are non-negative integers. We say that A divides B, denoted
More informationFactoring Polynomials
Factoring Polynomials Sue Geller June 19, 2006 Factoring polynomials over the rational numbers, real numbers, and complex numbers has long been a standard topic of high school algebra. With the advent
More informationFIELD DEGREES AND MULTIPLICITIES FOR NON-INTEGRAL EXTENSIONS
Illinois Journal of Mathematics Volume 51, Number 1, Spring 2007, Pages 299 311 S 0019-2082 FIELD DEGREES AND MULTIPLICITIES FOR NON-INTEGRAL EXTENSIONS BERND ULRICH AND CLARENCE W. WILKERSON Dedicated
More informationCLUSTER ALGEBRAS AND CATEGORIFICATION TALKS: QUIVERS AND AUSLANDER-REITEN THEORY
CLUSTER ALGEBRAS AND CATEGORIFICATION TALKS: QUIVERS AND AUSLANDER-REITEN THEORY ANDREW T. CARROLL Notes for this talk come primarily from two sources: M. Barot, ICTP Notes Representations of Quivers,
More informationHOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!
Math 7 Fall 205 HOMEWORK 5 SOLUTIONS Problem. 2008 B2 Let F 0 x = ln x. For n 0 and x > 0, let F n+ x = 0 F ntdt. Evaluate n!f n lim n ln n. By directly computing F n x for small n s, we obtain the following
More informationMath 319 Problem Set #3 Solution 21 February 2002
Math 319 Problem Set #3 Solution 21 February 2002 1. ( 2.1, problem 15) Find integers a 1, a 2, a 3, a 4, a 5 such that every integer x satisfies at least one of the congruences x a 1 (mod 2), x a 2 (mod
More informationPYTHAGOREAN TRIPLES KEITH CONRAD
PYTHAGOREAN TRIPLES KEITH CONRAD 1. Introduction A Pythagorean triple is a triple of positive integers (a, b, c) where a + b = c. Examples include (3, 4, 5), (5, 1, 13), and (8, 15, 17). Below is an ancient
More informationMath 4310 Handout - Quotient Vector Spaces
Math 4310 Handout - Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable
More information6. Fields I. 1. Adjoining things
6. Fields I 6.1 Adjoining things 6.2 Fields of fractions, fields of rational functions 6.3 Characteristics, finite fields 6.4 Algebraic field extensions 6.5 Algebraic closures 1. Adjoining things The general
More informationON THE EMBEDDING OF BIRKHOFF-WITT RINGS IN QUOTIENT FIELDS
ON THE EMBEDDING OF BIRKHOFF-WITT RINGS IN QUOTIENT FIELDS DOV TAMARI 1. Introduction and general idea. In this note a natural problem arising in connection with so-called Birkhoff-Witt algebras of Lie
More informationRESULTANT AND DISCRIMINANT OF POLYNOMIALS
RESULTANT AND DISCRIMINANT OF POLYNOMIALS SVANTE JANSON Abstract. This is a collection of classical results about resultants and discriminants for polynomials, compiled mainly for my own use. All results
More information(a) Write each of p and q as a polynomial in x with coefficients in Z[y, z]. deg(p) = 7 deg(q) = 9
Homework #01, due 1/20/10 = 9.1.2, 9.1.4, 9.1.6, 9.1.8, 9.2.3 Additional problems for study: 9.1.1, 9.1.3, 9.1.5, 9.1.13, 9.2.1, 9.2.2, 9.2.4, 9.2.5, 9.2.6, 9.3.2, 9.3.3 9.1.1 (This problem was not assigned
More informationON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE
Illinois Journal of Mathematics Volume 46, Number 1, Spring 2002, Pages 145 153 S 0019-2082 ON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE J. HUISMAN Abstract. Let C be a
More informationBABY VERMA MODULES FOR RATIONAL CHEREDNIK ALGEBRAS
BABY VERMA MODULES FOR RATIONAL CHEREDNIK ALGEBRAS SETH SHELLEY-ABRAHAMSON Abstract. These are notes for a talk in the MIT-Northeastern Spring 2015 Geometric Representation Theory Seminar. The main source
More informationABEL-JACOBI MAP, INTEGRAL HODGE CLASSES AND DECOMPOSITION OF THE DIAGONAL
J. ALGEBRAIC GEOMETRY 22 (2013) 141 174 S 1056-3911(2012)00597-9 Article electronically published on May 23, 2012 ABEL-JACOBI MAP, INTEGRAL HODGE CLASSES AND DECOMPOSITION OF THE DIAGONAL CLAIRE VOISIN
More informationDEFORMATIONS OF MODULES OF MAXIMAL GRADE AND THE HILBERT SCHEME AT DETERMINANTAL SCHEMES.
DEFORMATIONS OF MODULES OF MAXIMAL GRADE AND THE HILBERT SCHEME AT DETERMINANTAL SCHEMES. JAN O. KLEPPE Abstract. Let R be a polynomial ring and M a finitely generated graded R-module of maximal grade
More informationFiber bundles and non-abelian cohomology
Fiber bundles and non-abelian cohomology Nicolas Addington April 22, 2007 Abstract The transition maps of a fiber bundle are often said to satisfy the cocycle condition. If we take this terminology seriously
More informationCOMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS
COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS IGOR V. EROVENKO AND B. SURY ABSTRACT. We compute commutativity degrees of wreath products A B of finite abelian groups A and B. When B
More informationHow To Prove The Dirichlet Unit Theorem
Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if
More information11 Ideals. 11.1 Revisiting Z
11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(
More informationDegree Bounds for Gröbner Bases in Algebras of Solvable Type
Degree Bounds for Gröbner Bases in Algebras of Solvable Type Matthias Aschenbrenner University of California, Los Angeles (joint with Anton Leykin) Algebras of Solvable Type... introduced by Kandri-Rody
More information