Lecture 4 Cohomological operations on theories of rational type.
|
|
- Susanna Sparks
- 8 years ago
- Views:
Transcription
1 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 4.1 Let A be a theory of rational type, and B be any theory. Fix n, m Z. Then there is 1-to-1 correspondence between additive operations A n G B m on Sm k and additive transformations commuting with the pull-backs for: (i) the action of S l ; A n ((P ) l ) G B m ((P ) l ), for l Z 0 (ii) (iii) (iv) the partial diagonals; the partial Segre embeddings; (Spec(k) P ) (P ) r, r. In Topology an analogous result was proven by T.Kashiwabara in [1, Theorem 4.2] The condition on A is really necessary. For example, the identification CHalg ((P ) l ) = CH ((P ) l ) can not be extended to an operation. Let us interpret the conditions (i) (iv) algebraically. The module A ((P ) l ) has a topological basis consisting of monomials in zi A = c A 1 (O(1) i ). Due to partial diagonals, the transformation A n G B m on (P ) l is defined uniquely by it s action on elements of the form α ( l i=1 za i ), where α A n l. Then l G(α ( zi A )) = G l (α)(z1 B,..., zl B ). i=1 for some G l (α)(z B 1,..., z B l ) B[[z B 1,..., z B l ]] (m). Conditions (i), (iii) and (iv) impose certain restrictions on these power series. Namely, (i) implies (a i ), (iii) implies (a iii ), and (iv) implies (a ii ): 1
2 (a i ) G l is symmetric with respect to S l ; (a ii ) G l (α) = l i=1 z i F l (α), for some F l (α) B[[z 1,..., z l ]] (m l). (a iii ) G l (α)(x + B y, z 2,..., z l ) = i,j G l+i+j 1 (α a A i,j)(x i, y j, z 2,..., z l ), where a A i,j are the coefficients of the formal group laws of A. The idea of the proof is to start with the above algebraic setting and extend G to X (P ) l, for all l, by induction on the dimension of X. For each smooth quasi-projective variety X we denote as G(X) = {G l, l Z 0 } the following data: G l Hom Z lin (A n l (X), B (X)[[z 1,..., z l ]] (m) ) satisfying the same conditions (a i ), (a ii ), (a iii ) above (with evident modifications). We show inductively on d Z 0 that G(X) can be defined for all varieties of dimension d, and it commutes with all pull-backs for morphisms between such varieties. It appears though that for the inductive proof to proceed one needs to carry along not only this compatibility with pull-backs, but also some Riemann-Roch type condition describing compatibility with pushforwards. As a bonus, in the end, we get the respective additive Riemann- Roch style result. The conditions we carry are the following: Definition 4.2 Let d be some natural number. We say that G(d) is defined, if, for all X smooth quasi-projective of dimension d, G(X) is defined, and these satisfy: (b i ) For any f : X Y with dim(x), dim(y ) d, and any α A n l (Y ), G l (f A(α)) = f BG l (α). (b ii ) For any regular embedding j : X Y of codimension r with normal bundle N j with B-roots µ B 1,..., µ B r, for any α A n l r (X), one has: F l (j (α))(z 1,..., z l ) = j (F l+r (α)(µ B 1,..., µ B r, z 1,..., z l )) (due to condition (a i ) the latter expression depends only on the B-Chern classes of the normal bundle, but not on roots). 2
3 Suppose G(d 1) is defined, and X p X Spec(k) is a smooth quasiprojective variety of dimension d. We would like to define G(X). Since A is a theory of rational type, we have a natural identification A (X) = A H(c), where c is the bi-complex from previous lecture. For the constant part, we define: For the A -part, recall that G l (p X(α))(z 1,..., z l ) := p XG l (α)(z 1,..., z l ). c 0,0 = (Z z X ρ X) (A (V ) im(ρ! )), where the sum is taken over all closed subschemes Z z X and projective birational morphisms ρ, isomorphic outside V = ρ 1 (Z), which is a divisor with strict normal crossing on X. If γ A n l 1 (V ) im(ρ! ), then the respective element α A n l (X) is ρ v (γ) ρ (1. Let us define: A ) where F l (γ V )(z 1,..., z l ) := i F l (α)(z 1,..., z l ) := ρ F l (γ V )(z 1,..., z l ), ρ (1 B ) (v i ) F l+1 (γ i )(λ B i, z 1,..., z l ) B ( X)[[z 1,..., z l ]] (m), ˆv i where V i V (and vi = v ˆv i : V i X), γ = i (ˆv i) (γ i ) A n l 1 (V ), and λ B i = c B 1 (O(V i )). Notice, that dim(v i ) d 1, so G(V i ) is defined. It follows from (b ii ) that, for dim(x) (d 1), F l (γ V )(z 1,..., z l ) = F l (v (γ))(z 1,..., z l ). And since γ im(ρ! ), we have v (γ) = ρ (α), and so by (b i ), the new definition of F l agrees with the old one. To check that F l (α) is well-defined one needs to show that it is trivial on d c 1,0 the image of c 1,0 c dc 0,1 0,1 c 0,0. The key role here is played by the following statement: Suppose, we have a cartesian square: E e Y f f D d X. 3
4 with X and Y smooth, and D and E - divisors with strict normal crossing on them. Proposition 4.3 Suppose, X and Y have dimension d. Then: f F l (γ D)(z) = F l (f (γ) E)(z). Here f is just the combinatorial version of f!. For D smooth (and it is the only case really needed), it can be expressed as follows: Let E = s j=1 m j E j, µ A j = c A 1 (O Y (E j )), and f J : E J D, for all J {1,..., s}, (µ A ) J = j J µa j, and CJ A := F m 1,...,m s J be the coefficients defining the divisor class ( J {1,...,s} (µa ) J F m 1,...,m s J = m 1 A µ 1 + A... + A m s A µ s ). Then f (γ) = (ê J ) fj(γ) CJ A. J {1,...,s} The meaning of the above statement is that: f F l (d (γ)) = F l (f d (γ)). The point is that this follows from (b i ) and (b ii ) for varieties of dimension (d 1) (notice, that we are in the process of defining F l for varieties of dimension d). More precisely, the combination of (b i ) and (b ii ) used here is the following: Proposition 4.4 Let G(d 1) be defined, Y be smooth quasi-projective variety of dimension (d 1), and L be a linear bundle on Y with η A = c A 1 (L), η B = c B 1 (L). Then, for any α A n l 1 (Y ), G l (α η A )(z) = G l+1 (α)(η B, z). The proof of the Proposition 4.3 uses the fact that the coefficients CJ A I J can be chosen as ( 1) J I µ A I, where µ A (µ A ) J I = A j I [m j] A µ A j. Then one can move the first Chern classes back and forth using Proposition 4.4 (of course, to make sense of the above formula with denominators one has to use residues). Other ingredients of the proof of the fact that F l is trivial on im(d c 1,0 d c 0,1) are resolution of singularities results of Hironaka, and the following blow up result: 4
5 Proposition 4.5 Let A be any theory, and π : Ṽ V be the permitted blow up of a smooth variety with smooth centers R i and the respective components ε of the exceptional divisor E i i Ri. Then one has exact sequence: 0 A (V ) π A (Ṽ ) i Coker(A (R i ) (ε i) A (E i )) As soon as we know that F l (α) is well-defined, conditions (a i ), (a ii ) and (a iii ) are straightforward, and we obtain that G(X) is defined, for all varieties X of dimension d. To show that G(d 1) extends to G(d) we need to check that the conditions (b i ) and (b ii ) are satisfied. (b i ): Let f : Y X be some map of smooth quasi-projective varieties of dimension d. For constant elements the statement is trivial. For the A -part, we can assume that α = (ρ X) (v X ) (γ) (ρ X ) (1), where X ρ X X is a projectivebirational map, which is an isomorphism outside the strict normal crossing v divisor V X X X, and γ A n l 1 (V X ) ρ! X. Then, by the results of Hironaka, there exists a projective-birational map Ỹ ρ Y Y, which fits into the commutative diagram with the left square cartesian, and V Y v Y Ỹ - a divisor with strict normal crossing: f V v Y V Y Ỹ ρ Y Y f V X v X X ρx X. Then (b i ) can be proven using the fact that F l (γ V X ) im(ρ X ), Proposition 4.3, Multiple Points Excess Intersection Formula, and the following simple fact: f Lemma 4.6 Let T j S q T j S be commutative diagram with p and q - projective bi-rational. Let x im(p ). Then: ( ) q ( j (x)) = j p (x). q (1) p (1) p 5
6 More precisely, ( ) ( ) f (ρx ) (v X ) (γ) F l := f (ρx ) F l (γ V X ) (ρ X ) (1) (ρ X ) (1) ) (ρ Y ) F l (f V (γ) V Y ) (ρ Y ) (1) F l ( f ( (ρx ) (v X ) (γ) (ρ X ) (1) ( (ρy ) (v Y ) fv =: F (γ) l (ρ Y ) (1) )). = (ρ Y ) f F l (γ V X ) (ρ Y ) (1) = F l ( (ρy ) f (v X ) (γ) (ρ Y ) (1) = ) = The condition (b ii ) for the regular embedding X j Y follows from applying (b i ) (proven above), the usual Excess Intersection Formula and Proposition 4.4 to the blow up cartesian diagram: E j Ỹ ε π X j Y. This shows that G(d 1) can be extended to G(d). And so, by induction, G(0) can be extended to G( ). Now consider G 0 : A n (X) B m (X), for all X Sm k. By (b i ), this is an additive operation. It remains to see that it extends the original A n ((P ) l ) G B m ((P ) l ). From commutativity with the pull-backs for partial diagonals, it is sufficient to compare the results on α l i=1 za i A n ((P ) l ), where α A n l, and zi A = c A 1 (O(1) i ). Let j : (P ) l (P ) l be the product of hyperplane section embeddings. Then G 0 (j (α)) = G l (α)(z1 B,..., zl B ) = G(α l i=1 za i ), by (b ii ) and the definition of G(Spec(k)). Thus, G 0 extends the original transformation on products of projective spaces. The uniqueness follows from what we have proven in Lecture 2. This finishes the proof of Theorem 4.1. There is also the multiplicative version: Proposition 4.7 Suppose, in the situation of Theorem 4.1, the original transformation A ((P ) l ) G B ((P ) l ) commutes with the external products of projective spaces. Then the resulting operation G is multiplicative. Theorem 4.1 reduces the description and construction of additive operations (from a theory of rational type) to algebra. Namely: 6
7 Theorem 4.8 Let A be theory of rational type, and B be any theory. Then there is 1-to-1 correspondence between the set of (unstable) additive operations A n G B m and the set consisting of the following data {G l, l Z 0 }: G l Hom Z lin (A n l, B[[z 1,..., z l ]] (m) ) satisfying: (a i ) G l is symmetric with respect to S l ; (a ii ) G l (α) = l i=1 z i F l (α), for some F l (α) B[[z 1,..., z l ]] (m l). (a iii ) G l (α)(x + B y, z 2,..., z l ) = i,j G i+j+l 1(α a A i,j)(x i, y j, z 2,..., z l ), where a A i,j are the coefficients of the FGL of A. 4.2 Stable operations If A n G{n} B n+d, for n Z are additive operations as above, then the condition: Σ T G {n} = G {n+1} Σ T can be interpreted as: F {n} l (α)(z 1,..., z l ) = F {n+1} l+1 (α)(0, z 1,..., z l ), l. Denote as F (k) the lim F {n} n k lim Hom Z lin(a k, B[[z 1,..., z n k ]] S n k (k+d) ) = Hom Z lin (A k, B[[σ 1, σ 2,...]] (k+d) ), where σ i - the i-th elementary symmetric function in z j s has degree i. Combining all F (k) s together we obtain We can introduce F Hom(A, B[[σ 1, σ 2,...]] ( +d) ). G Hom(A[[x, y]], B[[σ 1, σ 2,...]][[x, y]] ( +d) ), defined by the rule (in z-coordinates): G(β x i y j )(z) := x i y j ( z) F (β)(x i, y j, z). Now we can describe stable operations. Theorem 4.9 Let A be theory of rational type, and B be any theory. Then there is 1-to-1 correspondence between the set of stable operations A G B +d and F Hom(A, B[[σ 1, σ 2,...]] ( +d) ) satisfying G(α (x + A y))(z) = G(α)((x + B y), z). 7
8 References [1] T.Kashiwabara, Hopf rings and unstable operations, J. of Pure and Applied Algebra 94, 1994, [2] A.Vishik, Stable and Unstable Operations in Algebraic Cobordism, arxiv: [math.ag], 25 September
A SURVEY OF ALGEBRAIC COBORDISM
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
More informationCOMPUTING DYNAMICAL DEGREES OF RATIONAL MAPS ON MODULI SPACE
COMPUTING DYNAMICAL DEGREES OF RATIONAL MAPS ON MODULI SPACE SARAH KOCH AND ROLAND K. W. ROEDER Abstract. The dynamical degrees of a rational map f : X X are fundamental invariants describing the rate
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 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 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 informationLinear Algebra I. Ronald van Luijk, 2012
Linear Algebra I Ronald van Luijk, 2012 With many parts from Linear Algebra I by Michael Stoll, 2007 Contents 1. Vector spaces 3 1.1. Examples 3 1.2. Fields 4 1.3. The field of complex numbers. 6 1.4.
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 informationSimilarity and Diagonalization. Similar Matrices
MATH022 Linear Algebra Brief lecture notes 48 Similarity and Diagonalization Similar Matrices Let A and B be n n matrices. We say that A is similar to B if there is an invertible n n matrix P such that
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 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 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 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 informationThe Maximum Likelihood Degree
arxiv:math/0406533v1 [math.ag] 25 Jun 2004 The Maximum Likelihood Degree Fabrizio Catanese, Serkan Hoşten, Amit Khetan, and Bernd Sturmfels Abstract Maximum likelihood estimation in statistics leads to
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 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 informationTropical cycles and Chow polytopes
Tropical cycles and Chow polytopes Alex Fink Department of Mathematics University of California, Berkeley Tropical Geometry in Combinatorics and Algebra MSRI October 16, 2009 Alex Fink (UC Berkeley) Tropical
More informationChapter 13: Basic ring theory
Chapter 3: Basic ring theory Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 42, Spring 24 M. Macauley (Clemson) Chapter 3: Basic ring
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 information15. Symmetric polynomials
15. Symmetric polynomials 15.1 The theorem 15.2 First examples 15.3 A variant: discriminants 1. The theorem Let S n be the group of permutations of {1,, n}, also called the symmetric group on n things.
More informationminimal polyonomial Example
Minimal Polynomials Definition Let α be an element in GF(p e ). We call the monic polynomial of smallest degree which has coefficients in GF(p) and α as a root, the minimal polyonomial of α. Example: We
More informationOn Smooth Surfaces of Degree 10 in the Projective Fourspace
On Smooth Surfaces of Degree 10 in the Projective Fourspace Kristian Ranestad Contents 0. Introduction 2 1. A rational surface with π = 8 16 2. A rational surface with π = 9 24 3. A K3-surface with π =
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 informationMathematical Physics, Lecture 9
Mathematical Physics, Lecture 9 Hoshang Heydari Fysikum April 25, 2012 Hoshang Heydari (Fysikum) Mathematical Physics, Lecture 9 April 25, 2012 1 / 42 Table of contents 1 Differentiable manifolds 2 Differential
More informationA REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE. 1. Introduction and Preliminaries
Acta Math. Univ. Comenianae Vol. LXVI, 2(1997), pp. 285 291 285 A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE E. T. BASKORO, M. MILLER and J. ŠIRÁŇ Abstract. It is well known that Moore digraphs do
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 informationGalois representations with open image
Galois representations with open image Ralph Greenberg University of Washington Seattle, Washington, USA May 7th, 2011 Introduction This talk will be about representations of the absolute Galois group
More information2.3 Convex Constrained Optimization Problems
42 CHAPTER 2. FUNDAMENTAL CONCEPTS IN CONVEX OPTIMIZATION Theorem 15 Let f : R n R and h : R R. Consider g(x) = h(f(x)) for all x R n. The function g is convex if either of the following two conditions
More informationA NEW CONSTRUCTION OF 6-MANIFOLDS
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 360, Number 8, August 2008, Pages 4409 4424 S 0002-9947(08)04462-0 Article electronically published on March 12, 2008 A NEW CONSTRUCTION OF 6-MANIFOLDS
More informationCONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12
CONTINUED FRACTIONS AND PELL S EQUATION SEUNG HYUN YANG Abstract. In this REU paper, I will use some important characteristics of continued fractions to give the complete set of solutions to Pell s equation.
More informationGeneric Polynomials of Degree Three
Generic Polynomials of Degree Three Benjamin C. Wallace April 2012 1 Introduction In the nineteenth century, the mathematician Évariste Galois discovered an elegant solution to the fundamental problem
More informationSeparation Properties for Locally Convex Cones
Journal of Convex Analysis Volume 9 (2002), No. 1, 301 307 Separation Properties for Locally Convex Cones Walter Roth Department of Mathematics, Universiti Brunei Darussalam, Gadong BE1410, Brunei Darussalam
More informationGROUP ALGEBRAS. ANDREI YAFAEV
GROUP ALGEBRAS. ANDREI YAFAEV We will associate a certain algebra to a finite group and prove that it is semisimple. Then we will apply Wedderburn s theory to its study. Definition 0.1. Let G be a finite
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 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 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 informationINVARIANT METRICS WITH NONNEGATIVE CURVATURE ON COMPACT LIE GROUPS
INVARIANT METRICS WITH NONNEGATIVE CURVATURE ON COMPACT LIE GROUPS NATHAN BROWN, RACHEL FINCK, MATTHEW SPENCER, KRISTOPHER TAPP, AND ZHONGTAO WU Abstract. We classify the left-invariant metrics with nonnegative
More informationAn Additive Basis for the Chow Ring of M 0,2 (P r, 2)
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 3 2007, 085, 16 pages An Additive Basis for the Chow Ring of M 0,2 P r, 2 Jonathan A. COX Department of Mathematical Sciences, SUNY
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 informationFactoring Cubic Polynomials
Factoring Cubic Polynomials Robert G. Underwood 1. Introduction There are at least two ways in which using the famous Cardano formulas (1545) to factor cubic polynomials present more difficulties than
More informationMATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 2. x n. a 11 a 12 a 1n b 1 a 21 a 22 a 2n b 2 a 31 a 32 a 3n b 3. a m1 a m2 a mn b m
MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS 1. SYSTEMS OF EQUATIONS AND MATRICES 1.1. Representation of a linear system. The general system of m equations in n unknowns can be written a 11 x 1 + a 12 x 2 +
More informationA new compactification of the Drinfeld period domain over a finite field
A new compactification of the Drinfeld period domain over a finite field Simon Schieder June 2009 Abstract We study a compactification of the Drinfeld period domain over a finite field which arises naturally
More informationDEGREES OF ORDERS ON TORSION-FREE ABELIAN GROUPS
DEGREES OF ORDERS ON TORSION-FREE ABELIAN GROUPS ASHER M. KACH, KAREN LANGE, AND REED SOLOMON Abstract. We construct two computable presentations of computable torsion-free abelian groups, one of isomorphism
More informationSome Polynomial Theorems. John Kennedy Mathematics Department Santa Monica College 1900 Pico Blvd. Santa Monica, CA 90405 rkennedy@ix.netcom.
Some Polynomial Theorems by John Kennedy Mathematics Department Santa Monica College 1900 Pico Blvd. Santa Monica, CA 90405 rkennedy@ix.netcom.com This paper contains a collection of 31 theorems, lemmas,
More informationThe Notebook Series. The solution of cubic and quartic equations. R.S. Johnson. Professor of Applied Mathematics
The Notebook Series The solution of cubic and quartic equations by R.S. Johnson Professor of Applied Mathematics School of Mathematics & Statistics University of Newcastle upon Tyne R.S.Johnson 006 CONTENTS
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 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 information4.1 Modules, Homomorphisms, and Exact Sequences
Chapter 4 Modules We always assume that R is a ring with unity 1 R. 4.1 Modules, Homomorphisms, and Exact Sequences A fundamental example of groups is the symmetric group S Ω on a set Ω. By Cayley s Theorem,
More informationInvariant Metrics with Nonnegative Curvature on Compact Lie Groups
Canad. Math. Bull. Vol. 50 (1), 2007 pp. 24 34 Invariant Metrics with Nonnegative Curvature on Compact Lie Groups Nathan Brown, Rachel Finck, Matthew Spencer, Kristopher Tapp and Zhongtao Wu Abstract.
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 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 information6.2 Permutations continued
6.2 Permutations continued Theorem A permutation on a finite set A is either a cycle or can be expressed as a product (composition of disjoint cycles. Proof is by (strong induction on the number, r, of
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 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 informationCharacteristic classes with Applications to Geometry, Topology and Number Theory
Wydział Matematyki i Informatyki Uniwersytetu im. Adama Mickiewicza w Poznaniu Środowiskowe Studia Doktoranckie z Nauk Matematycznych Characteristic classes with Applications to Geometry, Topology and
More informationA CONSTRUCTION OF THE UNIVERSAL COVER AS A FIBER BUNDLE
A CONSTRUCTION OF THE UNIVERSAL COVER AS A FIBER BUNDLE DANIEL A. RAMRAS In these notes we present a construction of the universal cover of a path connected, locally path connected, and semi-locally simply
More informationIdeal Class Group and Units
Chapter 4 Ideal Class Group and Units We are now interested in understanding two aspects of ring of integers of number fields: how principal they are (that is, what is the proportion of principal ideals
More informationARITHMETIC PROPERTIES OF PROJECTIVE VARIETIES OF ALMOST MINIMAL DEGREE
ARITHMETIC PROPERTIES OF PROJECTIVE VARIETIES OF ALMOST MINIMAL DEGREE MARKUS BRODMANN AND PETER SCHENZEL ABSTRACT. We study the arithmetic properties of projective varieties of almost minimal degree,
More information4. Expanding dynamical systems
4.1. Metric definition. 4. Expanding dynamical systems Definition 4.1. Let X be a compact metric space. A map f : X X is said to be expanding if there exist ɛ > 0 and L > 1 such that d(f(x), f(y)) Ld(x,
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 informationCONTINUED FRACTIONS AND FACTORING. Niels Lauritzen
CONTINUED FRACTIONS AND FACTORING Niels Lauritzen ii NIELS LAURITZEN DEPARTMENT OF MATHEMATICAL SCIENCES UNIVERSITY OF AARHUS, DENMARK EMAIL: niels@imf.au.dk URL: http://home.imf.au.dk/niels/ Contents
More informationErrata for Higher-Dimensional Algebraic Geometry by Olivier Debarre
Errata for Higher-Dimensional Algebraic Geometry by Olivier Debarre page 2 page 4 page 9 I thank A. Alzati, H. Argüz, A. Chambert-Loir, J.-L. Colliot-Thélène, D. Conduché, S. Druel, A. Höring, A. Küronya,
More informationFinite dimensional C -algebras
Finite dimensional C -algebras S. Sundar September 14, 2012 Throughout H, K stand for finite dimensional Hilbert spaces. 1 Spectral theorem for self-adjoint opertors Let A B(H) and let {ξ 1, ξ 2,, ξ n
More informationThe Goldberg Rao Algorithm for the Maximum Flow Problem
The Goldberg Rao Algorithm for the Maximum Flow Problem COS 528 class notes October 18, 2006 Scribe: Dávid Papp Main idea: use of the blocking flow paradigm to achieve essentially O(min{m 2/3, n 1/2 }
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 informationUniversity of Lille I PC first year list of exercises n 7. Review
University of Lille I PC first year list of exercises n 7 Review Exercise Solve the following systems in 4 different ways (by substitution, by the Gauss method, by inverting the matrix of coefficients
More informationSome Problems of Second-Order Rational Difference Equations with Quadratic Terms
International Journal of Difference Equations ISSN 0973-6069, Volume 9, Number 1, pp. 11 21 (2014) http://campus.mst.edu/ijde Some Problems of Second-Order Rational Difference Equations with Quadratic
More informationNotes on Determinant
ENGG2012B Advanced Engineering Mathematics Notes on Determinant Lecturer: Kenneth Shum Lecture 9-18/02/2013 The determinant of a system of linear equations determines whether the solution is unique, without
More informationLECTURE 1: DIFFERENTIAL FORMS. 1. 1-forms on R n
LECTURE 1: DIFFERENTIAL FORMS 1. 1-forms on R n In calculus, you may have seen the differential or exterior derivative df of a function f(x, y, z) defined to be df = f f f dx + dy + x y z dz. The expression
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 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 informationRANDOM INTERVAL HOMEOMORPHISMS. MICHA L MISIUREWICZ Indiana University Purdue University Indianapolis
RANDOM INTERVAL HOMEOMORPHISMS MICHA L MISIUREWICZ Indiana University Purdue University Indianapolis This is a joint work with Lluís Alsedà Motivation: A talk by Yulij Ilyashenko. Two interval maps, applied
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 informationSOME PROPERTIES OF SYMBOL ALGEBRAS OF DEGREE THREE
SOME PROPERTIES OF SYMBOL ALGEBRAS OF DEGREE THREE CRISTINA FLAUT and DIANA SAVIN Communicated by the former editorial board In this paper, we study some properties of the matrix representations of the
More informationThe Generalized Lefschetz Trace Formula With an Application to the Riemann hypothesis
Ariyan Javanpeykar The Generalized Lefschetz Trace Formula With an Application to the Riemann hypothesis Groupe de travail Paris 13 1 2 Contents Conventions 1 Groupe de travail 1 Chapter 1. The generalized
More informationLectures notes on orthogonal matrices (with exercises) 92.222 - Linear Algebra II - Spring 2004 by D. Klain
Lectures notes on orthogonal matrices (with exercises) 92.222 - Linear Algebra II - Spring 2004 by D. Klain 1. Orthogonal matrices and orthonormal sets An n n real-valued matrix A is said to be an orthogonal
More informationUniversitat de Barcelona
Universitat de Barcelona GRAU DE MATEMÀTIQUES Final year project Cohomology of Product Spaces from a Categorical Viewpoint Álvaro Torras supervised by Prof. Carles Casacuberta January 18, 2016 2 3 Introduction
More information1 Lecture: Integration of rational functions by decomposition
Lecture: Integration of rational functions by decomposition into partial fractions Recognize and integrate basic rational functions, except when the denominator is a power of an irreducible quadratic.
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 informationPUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5.
PUTNAM TRAINING POLYNOMIALS (Last updated: November 17, 2015) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include
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 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 informationOn deformation of nef values. Jaros law A. Wiśniewski
On deformation of nef values Jaros law A. Wiśniewski Introduction. Let L be an ample line bundle over a smooth projective variety X. It follows from a theorem of Kawamata that if the canonical divisor
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 informationThe sample space for a pair of die rolls is the set. The sample space for a random number between 0 and 1 is the interval [0, 1].
Probability Theory Probability Spaces and Events Consider a random experiment with several possible outcomes. For example, we might roll a pair of dice, flip a coin three times, or choose a random real
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 informationINTRODUCTION TO MORI THEORY. Cours de M2 2010/2011. Université Paris Diderot
INTRODUCTION TO MORI THEORY Cours de M2 2010/2011 Université Paris Diderot Olivier Debarre March 11, 2016 2 Contents 1 Aim of the course 7 2 Divisors and line bundles 11 2.1 Weil and Cartier divisors......................................
More informationMATRIX ALGEBRA AND SYSTEMS OF EQUATIONS
MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS Systems of Equations and Matrices Representation of a linear system The general system of m equations in n unknowns can be written a x + a 2 x 2 + + a n x n b a
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 informationInteger roots of quadratic and cubic polynomials with integer coefficients
Integer roots of quadratic and cubic polynomials with integer coefficients Konstantine Zelator Mathematics, Computer Science and Statistics 212 Ben Franklin Hall Bloomsburg University 400 East Second Street
More informationThe van Hoeij Algorithm for Factoring Polynomials
The van Hoeij Algorithm for Factoring Polynomials Jürgen Klüners Abstract In this survey we report about a new algorithm for factoring polynomials due to Mark van Hoeij. The main idea is that the combinatorial
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 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 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 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 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 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 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 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 informationMore than you wanted to know about quadratic forms
CALIFORNIA INSTITUTE OF TECHNOLOGY Division of the Humanities and Social Sciences More than you wanted to know about quadratic forms KC Border Contents 1 Quadratic forms 1 1.1 Quadratic forms on the unit
More informationHøgskolen i Narvik Sivilingeniørutdanningen STE6237 ELEMENTMETODER. Oppgaver
Høgskolen i Narvik Sivilingeniørutdanningen STE637 ELEMENTMETODER Oppgaver Klasse: 4.ID, 4.IT Ekstern Professor: Gregory A. Chechkin e-mail: chechkin@mech.math.msu.su Narvik 6 PART I Task. Consider two-point
More information