GEOMETRY OVER THE FIELD WITH ONE ELEMENT


 Margery Merritt
 1 years ago
 Views:
Transcription
1 GEOMETRY OVER THE FIELD WITH ONE ELEMENT OLIVER LORSCHEID 1. MOTIVATION Two main sources have led to the development o several notions o F 1 geometry in the recent ive years. We will concentrate on one o these, which originated as remark in a paper by Jacques Tits ([10]). For a wide class o schemes X (including aine space A n, projective space P n, the Grassmannian Gr(k, n), split reductive groups G), the unction N(q) = #X(F q ) is described by a polynomial in q with integer coeicients, whenever q is a prime power. Taking the value N(1) sometimes gives interesting outcomes, but has a 0 o order r in other cases. A more interesting number is the lowest nonvanishing coeicient o the development o N(q) around q 1, i.e. the number lim q 1 N(q) (q 1) r, which Tits took to be the number #X(F 1 ) o F 1 points o X. The task at hand is to extend the deinition o the above mentioned schemes X to schemes that are deined over F 1 such that their set o F 1 points is a set o cardinality #X(F 1 ). We describe some cases, and suggest an interpretation o the set o F 1 points: #P n 1 (F 1 ) = n = #M n with M n := {1,..., n}. # Gr(k, n)(f 1 ) = ( n k) = #Mk,n with M k,n = {subsets o M n with k elements}. I G is a split reductive group o rank r, T G r m G is a maximal torus, N its nomalizer and W = N()/T (), then the Bruhat decomposition G(F q ) = w W BwB(F q) (where B is a Borel subgroup containing T ) implies that N(q) = w W (q 1)r qw d or certain d w 0. This means that #G(F 1 ) = #W. In particular, it is natural to ask whether the group law m : G G G o a split reductive group may be deined as a morphism over F 1. I so, one can deine group actions over F 1. The limit as q 1 o the action GL(n, F q ) Gr(k, n)(f q ) Gr(k, n)(f q ) induced by the action on P n 1 (F q ) should be the action S n M k,n M k,n induced by the action on M n = {1,..., n}. The other, more loty motivation or F 1 geometry stems rom the search or a proo o the Riemann hypothesis. In the early 90s, Deninger gave criteria or a category o motives that would provide a geometric ramework or translating Weil s proo o the Riemann hypothesis or global ields o positive characteristic to number ields. In particular, the Riemann zeta unction ζ(s) should have a cohomological interpretation, where an H 0, an H 1 and an H 2 term are involved. Manin proposed in [7] to interpret the H 0 term as the zeta unction o the absolute point Spec F 1 and the H 2 term as the zeta unction o the absolute Tate motive or the aine line over F 1. 1
2 2 OLIVER LORSCHEID 2. OVERVIEW OVER RECENT APPROACHES We give a rough description o the several approaches towards F 1 geometry, some o them looking or weaker structures than rings, e.g. monoids, others looking or a category o schemes with certain additional structures. In the ollowing, a monoid always means a abelian mutliplicative semigroup with 1. A variety is a schem that deines, via base extension, a variety X k over any ield k Soulé, 2004 ([9]). This is the irst paper that suggests a candidate o a category o varieties over F 1. Soulé consideres schemes together with a complex algebra, a unctor on inite rings that are lat over and certain natural transormations and a universal property that connects the scheme, the unctor and the algebra. Soulé could prove that smooth toric varieties provide natural examples o F 1 varieties. In [6] the list o examples was broadened to contain models o all toric varieties over F 1, as well as split reductive groups. However, it seems unlikely that Grassmannians that are not projective spaces can be deined in this ramework ConnesConsani, 2008 ([1]). The approach o Soulé was modiied by Connes and Consani in the ollowing way. They consider the category o scshemes together with a unctor on inite abelian groups, a complex variety, certain natural transormations and a universal property analogous to Soulé s idea. This category behaves only slightly dierent in some subtle details, but the class o established examples is the same (c. [6]) Deitmar, 2005 ([3]). A completely dierent approach was taken by Deitmar who uses the theory o prime ideals o monoids to deine spectra o monoids. A F 1 scheme is a topological space together with a shea o monoids that is locally isomorphic the spectrum o a ring. This theory has the advantage o having a very geometric lavour and one can mimic algebraic geometry to a large extent. However, Deitmar has shown himsel in a subsequent paper that the F 1 schemes whose base extension to are varieties are nothing more than toric varieties ToënVaquié, 2008 ([11]). Deitmar s approach is complemented by the work o Toën and Vaquié, which proposes locally representable unctors on monoids as F 1 schemes. Marty shows in [8] that the Noetherian F 1 schemes in Deitmar s sense correspond to the Noetherian objects in ToënVaquié s sense. We raise the question: is the Noetherian condition necessary? 2.5. Borger, in progress. The category investigated by Borger are schemes X together with a amily o morphism {ψ p : X X} p prime, where the ψ p s are lits o the Frobenius morphisms Frob p : X F p X F p and all ψ p s commute with each other. There are urther approaches by Durov ([4], 2007) and Haran ([5], 2007), which we do not describe here. In the ollowing section we will examine more closely a new ramework or F 1 geometry by Connes and Consani in spring F 1 SCHEMES À LA CONNESCONSANI AND TORIFIED VARIETIES The new notion o an F 1 scheme due to Connes and Consani ([2]) combines the earlier approaches o Soulé and o themselves with Deitmar s theory o spectra o monoids and ToënVaquié s unctorial viewpoint. First o all, Connes and Consani consider monoids with 0 and remark that the spaces that are locally isomorphic to spectra o monoids with 0, called M 0 schemes, are the same as locally representable unctors o monoids with 0. (Note that they do not make any Noetherian hypothesis). There is a natural notion o morphism in this setting. The base extension is locally given by taking the semigroup ring, i.e. i A is a monoid with zero 0 A and X = Spec A is its spectrum, then X := X F1 := Spec ( [A]/(1 0 A 0 [A] ) ).
3 GEOMETRY OVER THE FIELD WITH ONE ELEMENT 3 An F 1 scheme is a triple ( X, X, ), where X is an M 0 scheme, X is a scheme and : X X is a morphism such that (k) : X (k) X(k) is a bijection or all ields k. Note that an M 0 scheme X deines the F 1 scheme ( X, X, id X ). We give irst examples o F 1 schemes o this kind. The aine line A 1 F 1 is the spectrum o the monoid {T i } i N {0} and, indeed, we have A 1 F 1 F1 A 1. The multiplicative group G m,f1 is the spectrum o the monoid {T i } i {0}, which base extends to G m as desired. Both examples can be extended to deine A n F 1 and G n m,f 1 by considering multiple variables T 1,..., T n. More generally, all F 1 schemes in the sense o Deitmar deliver examples o M 0 and thus F 1 schemes in this new sense. In particular, toric varieties can be realized. To obtain a richer class o examples, we recall the deinition o a toriied variety as given in a joint work with Javier López Peña ([6]). A toriied variety is a variety X together with morphism : T X such that T i I m, where I is a inite index set and d Gdi i are nonnegative integers and such that or every ield k, the morphism induces a bijection T (k) X(k). We call : T X a toriication o X. Note that T is isomorphic to the base extension X o the M 0 scheme X = i I Gdi m,f 1. Thus every toriied variety : T X deines an F 1 scheme ( X, X, ). In [6], a variety o examples are given. Most important or our purpose are toric varieties, Grassmannians and split reductive groups. I X is a toric variety o dimension n with an = {cones τ R n }, i.e. X = colim τ Spec [A τ ], where A τ = τ n is the intersection the dual cone τ R n with the dual lattice n R n. Then the natural morphism τ Spec [A τ ] X is a toriication o X. The Schubert cell decomposition o Gr(k, n) is a morphism w M k,n A dw Gr(k, n) that induces a bijection o kpoints or all ields k. Since the aine spaces in this decomposition can be urther decomposed into tori, we obtain a toriication : T Gr(k, n). Note that the lowestdimensional tori are 0dimensional and the number o 0dimensional tori is exactly #M k,n. Let G be a split reductive group o rank r with maximal torus T G r m, normalizer N and Weyl group W = N()/T (). Let B be a Borel subgroup containing T. The Bruhat decomposition w W BwB G, where BwB Gr m A dw or some d w 0, yields a toriication e G : T G analogously to the case o the Grassmannian. This deines a model G = ( G, G, e G ) over F 1. Note that in this case the lowestdimensional tori are rdimensional and that the number o rdimensional tori is exactly #W. Clearly, there is a close connection between toriied varieties and the F 1 schemes in the sense o Connes and Consani with the idea that Tits had in mind. However, the natural choice o morphism in this category is a morphism : X Ỹ o M 0 schemes together with a morphism : X Y o schemes such that X X commutes. Unortunately, the only reductive groups G whose group law m : G G G extends to a morphism µ : G G G in this sense such that (G, µ) becomes a group object in the category o F 1 schemes are algebraic groups o the orm G G r m (inite group). In the ollowing section we will show how to modiy the notion o morphism to realize Tits idea. Ỹ Y 4. STRONG MORPHISMS Let X = ( X, X, ) and Y = (Ỹ, Y, e Y ) be F 1 schemes. Then we deine the rank o a point x in the underlying topological space X as rk x := rk O X,x, where O X,x is the stalk
4 4 OLIVER LORSCHEID (o monoids) at x and O X,x denotes its group o invertible elements. We deine the rank o X as rk X := min x X{rk x} and we let X rk := Spec O X,x, rk x=rk X which is a subm 0 scheme o X. A strong morphism ϕ : X Y is a pair ϕ = (, ), where : Xrk is a morphism o M 0 schemes and : X Y is a morphism o schemes such that X rk e Y X Y commutes. This notion comes already close to achieving our goal. In the category o F 1 schemes together with strong morphisms, the object (Spec{0, 1}, Spec, id Spec ) is the terminal object, which we should deine as Spec F 1. We deine X (F 1 ) := Hom strong (Spec F 1, X ), which equals the set o points o X rk as every strong morphism Spec F 1 X is determined by the image o the unique point {0} o Spec{0, 1} in X rk. We see at once that #X (F 1 ) = #M k,n i X is a model o the Grassmannian Gr(k, n) as F 1 scheme and that #G(F 1 ) = #W i G = ( G, G, e G ) is a model o a split reductive group G with Weyl group W. Furthermore, i the Weyl group can be lited to N() as group, i.e. i the short exact sequence o groups 1 T () N() W 1 splits, then rom the commutativity o G rk rk G G G (e G,e G ) m m G rk e G G we obtain a morphism m : Grk G rk G rk o M 0 schemes such that µ = ( m, m) : G G G is a strong morphism that makes G into a group object. However, SL(n) provides an example where the Weyl group cannot be lited. This leads us, in the ollowing section, to introduce a second kind o morphisms. 5. WEAK MORPHISMS The morphism Spec O X,x M 0 to the terminal object M0 = Spec{0, 1} in the category o M 0 schemes induces a morphism X rk = Spec O X,x X := M0. x X rk x X rk Given : Xrk, there is a unique morphism X Y such that X rk X Y commutes. Let X rk denote the image o : Xrk X. A weak morphism ϕ : X Y is a pair ϕ = (, ), where : Xrk is a morphism o M 0 schemes and : X Y
5 GEOMETRY OVER THE FIELD WITH ONE ELEMENT 5 is a morphism o schemes such that X rk X rk ( X ) ( Y ) commutes. The key observation is that a weak morphism ϕ = (, ) : X Y has a base extension : X Y to, but also induces a morphism : X (F 1 ) Y(F 1 ). With this in hand, we yield the ollowing results. Y rk 6. ALGEBRAIC GROUPS OVER F 1 The idea o Tits paper is now realized in the ollowing orm. Theorem 6.1. Let G be a split reductive group with group law m : G G G and Weyl group W. Let G = ( G, G, e G ) be the model o G as described beore as F 1 scheme. Then there is morphism m : G G G o M 0 schemes such that µ = ( m, m) is a weak morphism that makes G into a group object. In particular, G(F 1 ) inherits the structure o a group that is isomorphic to W. We have already seen that X (F 1 ) = M k,n when X is a model o Gr(n, k) as F 1 scheme. Furthermore, we have the ollowing. Theorem 6.2. Let G be a model o G = GL(n) as F 1 scheme and let X be a model o X = Gr(k, n) as F 1 scheme. Then the group action : GL(n) Gr(k, n) Gr(k, n), induced by the action on P n 1, can be extended to a strong morphism ϕ : G X X such that the group action ϕ(f 1 ) : S n M k,n M k,n, o G(F 1 ) = S n on X (F 1 ) = M k,n is induced by the action on M n = {1,..., n}. REFERENCES [1] A. Connes, C. Consani. On the notion o geometry over F 1. arxiv: [math.ag], [2] A. Connes, C. Consani. Schemes over F 1 and zeta unctions. arxiv: v2 [math.ag], [3] A. Deitmar. Schemes over F 1. Number ields and unction ields two parallel worlds, Progr. Math., vol. 239, [4] N. Durov. A New Approach to Arakelov Geometry. arxiv: v1 [math.ag], [5] S. M. J. Haran. Nonadditive geometry. Compositio Math. Vol.143 (2007) [6] J. López Peña, O. Lorscheid. Toriied varieties and their geometries over F 1. arxiv: [math.ag], [7] Y. Manin. Lectures on zeta unctions and motives (according to Deninger and Kurokawa). Astérisque No. 228 (1995), 4, [8] F. Marty. Relative ariski open objects. arxiv: [math.ag], [9] C. Soulé. Les variétés sur le corps à un élément. Mosc. Math. J. 4 (2004), [10] J. Tits. Sur les analogues algébriques des groupes semisimples complexes. Colloque d algèbre supérieure, tenu à Bruxelles du 19 au 22 décembre 1956 (1957), pp [11] B. Toën and M. Vaquié. Audessous de Spec. Journal o KTheory (2008) MAXPLANCK INSTITUT FÜR MATHEMATIK, VIVATSGASSE, 7. D53111, BONN, GERMANY address:
Proof. The map. G n i. where d is the degree of D.
7. Divisors Definition 7.1. We say that a scheme X is regular in codimension one if every local ring of dimension one is regular, that is, the quotient m/m 2 is one dimensional, where m is the unique maximal
More informationALGORITHMS FOR ALGEBRAIC CURVES
ALGORITHMS FOR ALGEBRAIC CURVES SUMMARY OF LECTURE 4 1. SCHOOF S ALGORITHM Let K be a finite field with q elements. Let p be its characteristic. Let X be an elliptic curve over K. To simplify we assume
More informationApplying this to X = A n K it follows that Cl(U) = 0. So we get an exact sequence
3. Divisors on toric varieties We start with computing the class group of a toric variety. Recall that the class group is the group of Weil divisors modulo linear equivalence. We denote the class group
More informationA Note on Di erential Calculus in R n by James Hebda August 2010.
A Note on Di erential Calculus in n by James Hebda August 2010 I. Partial Derivatives o Functions Let : U! be a real valued unction deined in an open neighborhood U o the point a =(a 1,...,a n ) in the
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 informationBPcohomology of mapping spaces from the classifying space of a torus to some ptorsion free space
BPcohomology of mapping spaces from the classifying space of a torus to some ptorsion 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 informationON THE NOTION OF GEOMETRY OVER F 1
ON THE NOTION OF GEOMETRY OVER F 1 ALAIN CONNES AND CATERINA CONSANI Abstract. We refine the notion of variety over the field with one element developed by C. Soulé by introducing a grading in the associated
More informationarxiv:math/0402080v1 [math.nt] 5 Feb 2004
BIEXTENSIONS OF 1MOTIVES BY 1MOTIVES arxiv:math/0402080v1 [math.nt] 5 Feb 2004 CRISTIANA BERTOLIN Abstract. Let S be a scheme. In this paper, we define the notion of biextensions of 1motives by 1motives.
More informationIntroduction to finite fields
Introduction to finite fields Topics in Finite Fields (Fall 2013) Rutgers University Swastik Kopparty Last modified: Monday 16 th September, 2013 Welcome to the course on finite fields! This is aimed at
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 informationOn Bhargava s representations and Vinberg s invariant theory
On Bhargava s representations and Vinberg s invariant theory Benedict H. Gross Department of Mathematics, Harvard University Cambridge, MA 02138 gross@math.harvard.edu January, 2011 1 Introduction Manjul
More informationPower functions: f(x) = x n, n is a natural number The graphs of some power functions are given below. n even n odd
5.1 Polynomial Functions A polynomial unctions is a unction o the orm = a n n + a n1 n1 + + a 1 + a 0 Eample: = 3 3 + 5  The domain o a polynomial unction is the set o all real numbers. The intercepts
More informationSECTION 6: FIBER BUNDLES
SECTION 6: FIBER BUNDLES In this section we will introduce the interesting class o ibrations given by iber bundles. Fiber bundles lay an imortant role in many geometric contexts. For examle, the Grassmaniann
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 Jhomomorphism could be defined by
More informationLOGARITHMIC FUNCTIONAL AND THE WEIL RECIPROCITY LAW
85 LOGARITHMIC FUNCTIONAL AND THE WEIL RECIPROCITY LAW KHOVANSKII A. Department o Mathematics, University o Toronto, Toronto, Ontario, Canada Email: askold@math.toronto.edu http://www.math.toronto.edu
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 informationLifting abelian schemes: theorems of SerreTate and Grothendieck
Lifting abelian schemes: theorems of SerreTate and Grothendieck Gabriel Dospinescu Remark 0.1. J ai décidé d écrire ces notes en anglais, car il y a trop d accents auxquels il faut faire gaffe... 1 The
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 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 informationNonunique factorization of polynomials over residue class rings of the integers
Comm. Algebra 39(4) 2011, pp 1482 1490 Nonunique factorization of polynomials over residue class rings of the integers Christopher Frei and Sophie Frisch Abstract. We investigate nonunique factorization
More informationarxiv: v2 [math.ag] 10 Jul 2011
DEGREE FORMULA FOR THE EULER CHARACTERISTIC OLIVIER HAUTION arxiv:1103.4076v2 [math.ag] 10 Jul 2011 Abstract. We give a proof of the degree formula for the Euler characteristic previously obtained by Kirill
More informationThe Euler class groups of polynomial rings and unimodular elements in projective modules
The Euler class groups of polynomial rings and unimodular elements in projective modules Mrinal Kanti Das 1 and Raja Sridharan 2 1 HarishChandra Research Institute, Allahabad. Chhatnag Road, Jhusi, Allahabad
More informationOn The Existence Of Flips
On The Existence Of Flips Hacon and McKernan s paper, arxiv alggeom/0507597 Brian Lehmann, February 2007 1 Introduction References: Hacon and McKernan s paper, as above. Kollár and Mori, Birational Geometry
More informationBABY VERMA MODULES FOR RATIONAL CHEREDNIK ALGEBRAS
BABY VERMA MODULES FOR RATIONAL CHEREDNIK ALGEBRAS SETH SHELLEYABRAHAMSON Abstract. These are notes for a talk in the MITNortheastern Spring 2015 Geometric Representation Theory Seminar. The main source
More informationThe Chebotarev Density Theorem
The Chebotarev Density Theorem Hendrik Lenstra 1. Introduction Consider the polynomial f(x) = X 4 X 2 1 Z[X]. Suppose that we want to show that this polynomial is irreducible. We reduce f modulo a prime
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 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 rth
More informationINTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 16
INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 16 RAVI VAKIL Contents 1. Valuation rings (and nonsingular points of curves) 1 1.1. Completions 2 1.2. A big result from commutative algebra 3 Problem sets back.
More informationFIXED INCOME ATTRIBUTION
Sotware Requirement Speciication FIXED INCOME ATTRIBUTION Authors Risto Lehtinen Version Date Comment 0.1 2007/02/20 First Drat Table o Contents 1 Introduction... 3 1.1 Purpose o Document... 3 1.2 Glossary,
More informationThe fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992), 33 37) Bart de Smit
The fundamental group of the Hawaiian earring is not free Bart de Smit The fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992),
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 informationChapter 10. Abstract algebra
Chapter 10. Abstract algebra C.O.S. Sorzano Biomedical Engineering December 17, 2013 10. Abstract algebra December 17, 2013 1 / 62 Outline 10 Abstract algebra Sets Relations and functions Partitions and
More informationIRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction
IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible
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 00192082 ON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE J. HUISMAN Abstract. Let C be a
More informationThe Euler class group of a polynomial algebra
The Euler class group of a polynomial algebra Mrinal Kanti Das HarishChandra Research Institute, Allahabad. Chhatnag Road, Jhusi, Allahabad  211 019, India. email : mrinal@mri.ernet.in 1 Introduction
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 information26 Ideals and Quotient Rings
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 26 Ideals and Quotient Rings In this section we develop some theory of rings that parallels the theory of groups discussed
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 informationLet H and J be as in the above lemma. The result of the lemma shows that the integral
Let and be as in the above lemma. The result of the lemma shows that the integral ( f(x, y)dy) dx is well defined; we denote it by f(x, y)dydx. By symmetry, also the integral ( f(x, y)dx) dy is well defined;
More informationReview D: Potential Energy and the Conservation of Mechanical Energy
MASSACHUSETTS INSTITUTE OF TECHNOLOGY Department o Physics 8. Review D: Potential Energy and the Conservation o Mechanical Energy D.1 Conservative and Nonconservative Force... D.1.1 Introduction... D.1.
More informationFoundations of mathematics. 2. Set theory (continued)
2.1. Tuples, amilies Foundations o mathematics 2. Set theory (continued) Sylvain Poirier settheory.net A tuple (or ntuple, or any integer n) is an interpretation o a list o n variables. It is thus a metaunction
More informationDistributive inverse semigroups
Distributive inverse semigroups Mark V Lawson HeriotWatt University and the Maxwell Institute for Mathematical Sciences Edinburgh, Scotland, UK August 2012 This talk is based on work carried out in collaboration
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 informationNotes on Localisation of gmodules
Notes on Localisation of gmodules Aron Heleodoro January 12, 2014 Let g be a semisimple Lie algebra over a field k. One is normally interested in representation of g, i.e. gmodules. If g were commutative,
More informationMATH 131 SOLUTION SET, WEEK 12
MATH 131 SOLUTION SET, WEEK 12 ARPON RAKSIT AND ALEKSANDAR MAKELOV 1. Normalisers We first claim H N G (H). Let h H. Since H is a subgroup, for all k H we have hkh 1 H and h 1 kh H. Since h(h 1 kh)h 1
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 19967 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
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 informationLOWDEGREE PLANAR MONOMIALS IN CHARACTERISTIC TWO
LOWDEGREE PLANAR MONOMIALS IN CHARACTERISTIC TWO PETER MÜLLER AND MICHAEL E. ZIEVE Abstract. Planar functions over finite fields give rise to finite projective planes and other combinatorial objects.
More informationFIVE MOST RESISTANT PROBLEMS IN DYNAMICS. A. Katok Penn State University
FIVE MOST RESISTANT PROBLEMS IN DYNAMICS A. Katok Penn State University 1. Coexistence of KAM circles and positive entropy in area preserving twist maps The standard area preserving map f λ of the cylinder
More informationDIVISORS AND LINE BUNDLES
DIVISORS AND LINE BUNDLES TONY PERKINS 1. Cartier divisors An analytic hypersurface of M is a subset V M such that for each point x V there exists an open set U x M containing x and a holomorphic function
More informationNonzero degree tangential maps between dual symmetric spaces
ISSN 14722739 (online) 14722747 (printed) 709 Algebraic & Geometric Topology Volume 1 (2001) 709 718 Published: 30 November 2001 ATG Nonzero degree tangential maps between dual symmetric spaces Boris
More informationA CHARACTERIZATION OF C k (X) FOR X NORMAL AND REALCOMPACT
Bol. Soc. Mat. Mexicana (3) Vol. 12, 2006 A CHARACTERIZATION OF C k (X) FOR X NORMAL AND REALCOMPACT F. MONTALVO, A. A. PULGARÍN AND B. REQUEJO Abstract. We present some internal conditions on a locally
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 informationSets of Fibre Homotopy Classes and Twisted Order Parameter Spaces
Communications in Mathematical Physics ManuscriptNr. (will be inserted by hand later) Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces Stefan BechtluftSachs, Marco Hien Naturwissenschaftliche
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 informationADDITIVE GROUPS OF RINGS WITH IDENTITY
ADDITIVE GROUPS OF RINGS WITH IDENTITY SIMION BREAZ AND GRIGORE CĂLUGĂREANU Abstract. A ring with identity exists on a torsion Abelian group exactly when the group is bounded. The additive groups of torsionfree
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 informationominimality and Uniformity in n 1 Graphs
ominimality and Uniformity in n 1 Graphs Reid Dale July 10, 2013 Contents 1 Introduction 2 2 Languages and Structures 2 3 Definability and Tame Geometry 4 4 Applications to n 1 Graphs 6 5 Further Directions
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 informationsome algebra prelim solutions
some algebra prelim solutions David Morawski August 19, 2012 Problem (Spring 2008, #5). Show that f(x) = x p x + a is irreducible over F p whenever a F p is not zero. Proof. First, note that f(x) has no
More informationLecture 18  Clifford Algebras and Spin groups
Lecture 18  Clifford Algebras and Spin groups April 5, 2013 Reference: Lawson and Michelsohn, Spin Geometry. 1 Universal Property If V is a vector space over R or C, let q be any quadratic form, meaning
More informationInvertible elements in associates and semigroups. 1
Quasigroups and Related Systems 5 (1998), 53 68 Invertible elements in associates and semigroups. 1 Fedir Sokhatsky Abstract Some invertibility criteria of an element in associates, in particular in nary
More information(0, 0) : order 1; (0, 1) : order 4; (0, 2) : order 2; (0, 3) : order 4; (1, 0) : order 2; (1, 1) : order 4; (1, 2) : order 2; (1, 3) : order 4.
11.01 List the elements of Z 2 Z 4. Find the order of each of the elements is this group cyclic? Solution: The elements of Z 2 Z 4 are: (0, 0) : order 1; (0, 1) : order 4; (0, 2) : order 2; (0, 3) : order
More informationIntersection Theory course notes. Valentina Kiritchenko
Intersection Theory course notes Valentina Kiritchenko 1 Introduction Goals. Let X be an algebraic variety over an algebraically closed field k, and M and N two algebraic subvarieties in X of complementary
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 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 quasicompact and separated. 1.1 Theorem.
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 informationThe Brauer Manin obstruction for curves having split Jacobians
Journal de Théorie des Nombres de Bordeaux 00 (XXXX), 000 000 The Brauer Manin obstruction for curves having split Jacobians par Samir SIKSEK Résumé. Soit X A un morphism (qui n est pas constant) d une
More informationEuler Class Construction
Euler Class Construction Mrinal Kanti Das Satya Mandal Department of Mathematics University of Kansas, Lawrence, Kansas 66045 email:{mdas,mandal}@math.ku.edu August 24, 2004 1 Introduction The proof of
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 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 informationAlgebraic KTheory of Ring Spectra (Lecture 19)
Algebraic KTheory of ing Spectra (Lecture 19) October 17, 2014 Let be an associative ring spectrum (here by associative we mean A or associative up to coherent homotopy; homotopy associativity is not
More informationAppendix A. Appendix. A.1 Algebra. Fields and Rings
Appendix A Appendix A.1 Algebra Algebra is the foundation of algebraic geometry; here we collect some of the basic algebra on which we rely. We develop some algebraic background that is needed in the text.
More informationThe Kolchin Topology
The Kolchin Topology Phyllis Joan Cassidy City College of CUNY November 2, 2007 hyllis Joan Cassidy City College of CUNY () The Kolchin Topology November 2, 2007 1 / 35 Conventions. F is a  eld, and A
More informationSpherical representations and the Satake isomorphism
Spherical representations and the Satake isomorphism Last updated: December 10, 2013. Topics: otivation for the study of spherical representations; Satake isomorphism stated for the general case of a connected
More informationShort Programs for functions on Curves
Short Programs for functions on Curves Victor S. Miller Exploratory Computer Science IBM, Thomas J. Watson Research Center Yorktown Heights, NY 10598 May 6, 1986 Abstract The problem of deducing a function
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 KandriRody
More informationREPRESENTATION THEORY WEEK 12
REPRESENTATION THEORY WEEK 12 1. Reflection functors Let Q be a quiver. We say a vertex i Q 0 is +admissible if all arrows containing i have i as a target. If all arrows containing i have i as a source,
More informationRecursion Theory in Set Theory
Contemporary Mathematics Recursion Theory in Set Theory Theodore A. Slaman 1. Introduction Our goal is to convince the reader that recursion theoretic knowledge and experience can be successfully applied
More informationPOLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS
POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS RUSS WOODROOFE 1. Unique Factorization Domains Throughout the following, we think of R as sitting inside R[x] as the constant polynomials (of degree 0).
More informationMATH PROBLEMS, WITH SOLUTIONS
MATH PROBLEMS, WITH SOLUTIONS OVIDIU MUNTEANU These are free online notes that I wrote to assist students that wish to test their math skills with some problems that go beyond the usual curriculum. These
More information1. Recap: What can we do with Euler systems?
Euler Systems and Lfunctions These are notes for a talk I gave at the Warwick Number Theory study group on Euler Systems, June 2015. The results stated make more sense when taken in step with the rest
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 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 informationExamples and Exercises
Examples and Exercises Guerino Mazzola January 6, 00 Example of A Rigorous Proof Claim: Let a, b, c be sets. Then we have c (a b) = (c a) (c b). Proof. By definition of equality of sets, we have to prove
More informationprinceton univ. F 13 cos 521: Advanced Algorithm Design Lecture 6: Provable Approximation via Linear Programming Lecturer: Sanjeev Arora
princeton univ. F 13 cos 521: Advanced Algorithm Design Lecture 6: Provable Approximation via Linear Programming Lecturer: Sanjeev Arora Scribe: One of the running themes in this course is the notion of
More informationChapter 7. Permutation Groups
Chapter 7 Permutation Groups () We started the study of groups by considering planar isometries In the previous chapter, we learnt that finite groups of planar isometries can only be cyclic or dihedral
More informationSMALL SKEW FIELDS CÉDRIC MILLIET
SMALL SKEW FIELDS CÉDRIC MILLIET Abstract A division ring of positive characteristic with countably many pure types is a field Wedderburn showed in 1905 that finite fields are commutative As for infinite
More informationFinite Fields and ErrorCorrecting Codes
Lecture Notes in Mathematics Finite Fields and ErrorCorrecting Codes KarlGustav Andersson (Lund University) (version 1.01316 September 2015) Translated from Swedish by Sigmundur Gudmundsson Contents
More informationLIMITS IN CATEGORY THEORY
LIMITS IN CATEGORY THEORY SCOTT MESSICK Abstract. I will start assming no knowledge o category theory and introdce all concepts necessary to embark on a discssion o limits. I will conclde with two big
More informationLogarithmically smooth deformations of strict normal crossing logarithmically symplectic varieties
Logarithmically smooth deormations o strict normal crossing logarithmically symplectic varieties Dissertation zur Erlangung des Grades Doktor der Naturwissenschaten am Fachbereich 08 Physik, Mathematik
More informationTopological Algebraic Geometry Workshop Oslo, September 4th8th, 2006. Spectra associated with ArtinSchreier curves. Doug Ravenel
Topological Algebraic Geometry Workshop Oslo, September 4th8th, 2006 Spectra associated with ArtinSchreier curves Doug Ravenel University of Rochester September 6, 2006 1 2 1. My favorite part of the
More informationDIMENSIONS OF AFFINE SPRINGER FIBERS FOR SOME GL N SYMMETRIC SPACES
DIMENSIONS OF AFFINE SPRINGER FIBERS FOR SOME GL N SYMMETRIC SPACES JASON K.C. POLÁK Abstract. We determine a formula for the dimension of a family of affine Springer fibers associated to a symmetric space
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 informationMathematical Induction
Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,
More informationDIFFERENTIABILITY OF COMPLEX FUNCTIONS. Contents
DIFFERENTIABILITY OF COMPLEX FUNCTIONS Contents 1. Limit definition of a derivative 1 2. Holomorphic functions, the CauchyRiemann equations 3 3. Differentiability of real functions 5 4. A sufficient condition
More informationDEGREES OF ORDERS ON TORSIONFREE ABELIAN GROUPS
DEGREES OF ORDERS ON TORSIONFREE ABELIAN GROUPS ASHER M. KACH, KAREN LANGE, AND REED SOLOMON Abstract. We construct two computable presentations of computable torsionfree abelian groups, one of isomorphism
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 informationCellular objects and Shelah s singular compactness theorem
Cellular objects and Shelah s singular compactness theorem Logic Colloquium 2015 Helsinki Tibor Beke 1 Jiří Rosický 2 1 University of Massachusetts tibor beke@uml.edu 2 Masaryk University Brno rosicky@math.muni.cz
More informationRINGS WITH A POLYNOMIAL IDENTITY
RINGS WITH A POLYNOMIAL IDENTITY IRVING KAPLANSKY 1. Introduction. In connection with his investigation of projective planes, M. Hall [2, Theorem 6.2]* proved the following theorem: a division ring D in
More information