# GEOMETRY OVER THE FIELD WITH ONE ELEMENT

Save this PDF as:

Size: px
Start display at page:

## 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 non-vanishing 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 semi-group 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 Connes-Consani, 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ën-Vaquié, 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ën-Vaquié 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 CONNES-CONSANI 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ën-Vaquié 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 semi-group 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 non-negative 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 k-points 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 lowest-dimensional tori are 0-dimensional and the number o 0-dimensional 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 lowest-dimensional tori are r-dimensional and that the number o r-dimensional 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 sub-m 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. Non-additive 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 semi-simples 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é. Au-dessous de Spec. Journal o K-Theory (2008) MAX-PLANCK INSTITUT FÜR MATHEMATIK, VIVATSGASSE, 7. D-53111, 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

### ALGORITHMS 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

### Applying 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

### A 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

### FIBER 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

### BP-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

### ON 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

### arxiv:math/0402080v1 [math.nt] 5 Feb 2004

BIEXTENSIONS OF 1-MOTIVES BY 1-MOTIVES 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 1-motives by 1-motives.

### Introduction 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

### FOUNDATIONS 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

### On 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

### Power 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 n-1 n-1 + + a 1 + a 0 Eample: = 3 3 + 5 - The domain o a polynomial unction is the set o all real numbers. The -intercepts

### SECTION 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

### Math 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

### LOGARITHMIC 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 E-mail: askold@math.toronto.edu http://www.math.toronto.edu

### Ideal 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

### Lifting abelian schemes: theorems of Serre-Tate and Grothendieck

Lifting abelian schemes: theorems of Serre-Tate 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

### NOTES 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

### Quotient 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.

### Non-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

### arxiv: 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

### The 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 Harish-Chandra Research Institute, Allahabad. Chhatnag Road, Jhusi, Allahabad

### On 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

### BABY 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

### The 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

### 3. 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,

### SOME 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

### INTRODUCTION 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.

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,

### The 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),

### CURVES 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

### Chapter 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

### IRREDUCIBLE 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

### ON 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

### The Euler class group of a polynomial algebra

The Euler class group of a polynomial algebra Mrinal Kanti Das Harish-Chandra Research Institute, Allahabad. Chhatnag Road, Jhusi, Allahabad - 211 019, India. e-mail : mrinal@mri.ernet.in 1 Introduction

### Row 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

### 26 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

### Chapter 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

### Let 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;

### Review 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 Non-conservative Force... D.1.1 Introduction... D.1.

### Foundations of mathematics. 2. Set theory (continued)

2.1. Tuples, amilies Foundations o mathematics 2. Set theory (continued) Sylvain Poirier settheory.net A tuple (or n-tuple, or any integer n) is an interpretation o a list o n variables. It is thus a meta-unction

### Distributive inverse semigroups

Distributive inverse semigroups Mark V Lawson Heriot-Watt University and the Maxwell Institute for Mathematical Sciences Edinburgh, Scotland, UK August 2012 This talk is based on work carried out in collaboration

### RESEARCH 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

### Notes on Localisation of g-modules

Notes on Localisation of g-modules 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. g-modules. If g were commutative,

### MATH 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

### Mathematics 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

### Galois 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

### LOW-DEGREE PLANAR MONOMIALS IN CHARACTERISTIC TWO

LOW-DEGREE 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.

### FIVE 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

### DIVISORS 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

### Nonzero degree tangential maps between dual symmetric spaces

ISSN 1472-2739 (on-line) 1472-2747 (printed) 709 Algebraic & Geometric Topology Volume 1 (2001) 709 718 Published: 30 November 2001 ATG Nonzero degree tangential maps between dual symmetric spaces Boris

### A 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

### FUNCTIONAL 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

### Sets 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

### RIGIDITY 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

### ADDITIVE 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 torsion-free

### MA651 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

### o-minimality and Uniformity in n 1 Graphs

o-minimality 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

### Similarity 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

### some 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

### Lecture 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

### Invertible 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 n-ary

### (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

### Intersection 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

### EXERCISES 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

### A 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.

### Allen 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

### The 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

### Euler 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

### GROUP 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

### Math 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

### Algebraic K-Theory of Ring Spectra (Lecture 19)

Algebraic K-Theory 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

### Appendix 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.

### The 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

### Spherical 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

### Short 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

### Degree 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

### REPRESENTATION 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,

### Recursion 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

### POLYNOMIAL 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).

### MATH 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

### 1. Recap: What can we do with Euler systems?

Euler Systems and L-functions 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

### A 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

### FIBRATION 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

### Examples 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

### princeton 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

### Chapter 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

### SMALL 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

### Finite Fields and Error-Correcting Codes

Lecture Notes in Mathematics Finite Fields and Error-Correcting Codes Karl-Gustav Andersson (Lund University) (version 1.013-16 September 2015) Translated from Swedish by Sigmundur Gudmundsson Contents

### LIMITS 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

### Logarithmically 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

### Topological 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

### DIMENSIONS 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

### Classification 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

### Mathematical 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,

### DIFFERENTIABILITY OF COMPLEX FUNCTIONS. Contents

DIFFERENTIABILITY OF COMPLEX FUNCTIONS Contents 1. Limit definition of a derivative 1 2. Holomorphic functions, the Cauchy-Riemann equations 3 3. Differentiability of real functions 5 4. A sufficient condition

### DEGREES 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

### Kenji 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