EQUATIONS OF THE GENUS 6 CURVE WITH AUTOMORPHISM GROUP G = 72, 15
|
|
- June Harrison
- 6 years ago
- Views:
Transcription
1 EQUATIONS OF THE GENUS 6 CURVE WITH AUTOMORPHISM GROUP G = 72, 15 DAVID SWINARSKI The group G = 72, 15 is the automorphism group of a genus 6 curve X. One notable feature of this curve is that the representation of Aut(X) on H 0 (X, K) is irreducible [1, App. B]. We find equations for this curve using representation theory, algebraic geometry, and two lucky guesses. Proposition 0.1 (Swinarski, 2010) The genus 6 curve with automorphism group 72, 15 is trigonal, and its canonical ideal is generated by the following six quadrics and three cubics in the polynomial ring S = Q[ζ 9 ][a, b, c, d, e, f]: ad + be + cf a 2 + ζ9 b2 + ζ9 2 c2 d 2 + ζ 9 e 2 + ζ9 2f 2 ae ζ3 2bd bf ζ9 2ζ2 3 ce cd ζ9 2af ζ3 2ac2 + de 2 + ζ9 2 (ζ2 3 ab2 + df 2 ) a 2 b + ef 2 + ζ9 2 (ζ2 3 (bc2 + d 2 e)) b 2 c + ζ3 2d2 + ζ9 2 (a2 c + ζ3 2e2 f) 1. The action of Aut(X) on differentials We have X/ Aut(X) = P 1, and the quotient morphism is branched over three points with ramification signature (2, 4, 9). One may then use the Eichler trace formula or the Chevalley-Weil formula to compute the character of the Aut(X) action on H 0 (X, K), and then compute matrix generators for a representation with this character. Breuer gives such generators: A := ζ ζ , B := The matrices A, B, and C := (AB) 1 form a set of surface kernel generators for the G-action. Recall from [1] that this means given the ramification signature (2, 4, 9), we seek elements A, B, C G such that A, B, C generate G and A 2 = B 4 = C 9 = ABC = Id. In the sequel we will adopt Magma s ordering of the conjugacy classes of G and the Magma character table for G. The group G has nine conjugacy classes. Representatives of the nine classes, using Magma s ordering of the classes, are Id, B 2, A, C 3, B, C 3 B 2, C 4, C, C 2. Here is the Magma character table for G: Date: November 26,
2 2 DAVID SWINARSKI Class Size Order p = p = X X X X Z1 Z1#2 Z1#4 X Z1#2 Z1#4 Z1 X Z1#4 Z1 Z1#2 X X X Here, Z1 denotes ζ ζ5 9, where ζ 9 := e 2πi 9. The symbol # denotes algebraic conjugation ; in particular, Z1#2 = (ζ 4 9 )2 + (ζ 5 9 )2 = ζ 9 + ζ 9 1 and Z1#4 = ζ 2 + ζ The Chevalley-Weil Formula Theorem 2.1 (Chevalley Weil, 1934 [2,3]) Let V i be an irreducible G-module. If m 1 then the multiplicity of V i in H 0 (C, mk) is δ + (2m 1)(g 1) dim V i + e Q Q SKG α=0 ( (m 1) ( 1 1 ) + e Q m 1 α e Q ) n α,q,vi Here x = x x is the fractional part of x, and δ = if m = 1 and V i is the trivial representation, and 0 otherwise. The first summation is over the set of surface kernel generators, e(q) is the order of Q, and n α,q,vi eigenvalue for the surface kernel generator Q. By Noether s Theorem, the sequence is the number of times the root of unity e 2πiα e Q appears as an 0 I m Sym m H 0 (C, K) H 0 (C, mk) 0 is exact for all m 1, so we can use the Chevalley-Weil formula to determine the multiplicities of the irreducibles V i in I m for any m. From the previous section, we have all the ingredients we need (surface kernel generators plus the character table) to apply the Chevalley-Weil formula. Notation: Let G be a finite group, V a G-module, and V 1,..., V k a fixed ordering of the irreducible G-modules. We write V = (a 1,..., a k ) if V = V a 1 1 V a k k as G-modules (i.e. the vectors we write are vectors of multiplicities, not values of characters).
3 EQUATIONS OF THE GENUS 6 CURVE WITH AUTOMORPHISM GROUP G = 72, 15 3 Then Chevalley-Weil yields S 2 = (1, 0, 1, 1, 1, 1, 2, 0, 1) H 0 (X, 2K) = (0, 0, 1, 0, 1, 1, 1, 0, 1) I 2 = (1, 0, 0, 1, 0, 0, 1, 0, 0) S 3 = (0, 0, 1, 1, 1, 1, 3, 3, 5) H 0 (X, 3K) = (0, 0, 1, 0, 0, 1, 1, 2, 2) I 3 = (0, 0, 0, 1, 1, 0, 2, 1, 3) Gonality. The resolution of the canonical ideal of X depends on whether X is hyperelliptic, trigonal, a smooth plane quintic, or general. The center of G is trivial, so X is not hyperelliptic. We know that I 2 is generated by 6 quadrics. If X is general, then I is generated by I 2. If X is trigonal or a plane quintic, then I is generated by I 2 plus 3 cubics; in these cases, I 2 generates a scroll or the Veronese surface, respectively. Compare the multiplicities of the irreducible G-modules in I 2 S 1 and I 3 : I 2 S 1 = (0, 0, 0, 1, 1, 1, 1, 1, 4) I 3 = (0, 0, 0, 1, 1, 0, 2, 1, 3) We see that I 3 contains 2 copies of V 7, and hence I 3 I 2 S 1. Thus, I is not generated by quadrics, so X must either be trigonal or a plane quintic. (We will see below that it is trigonal.) Moreover, the cubic generators needed to define X (in addition to the quadrics) form a V Polynomials We decompose the action of G on S 2 and find that Span{ad + be + cf} = V 1 Span{a 2 + ζ9 + ζ9 2, d 2 + ζ 9 e 2 + ζ9f 2 2 } = V 4 Span{ae, af, bd, bf, cd, ce} = V7 2 Thus, we know that I 2 consists of ad + be + cf, a 2 + ζ9 b2 + ζ9 2 c2, and d 2 + ζ 9 e 2 + ζ9 2f 2, and a three-dimensional subspace of Span{ae, af, bd, bf, cd, ce}. How can we choose a three-dimensional subspace that will work? First, we use Magma to compute the endomorphism ring of Span{ae, af, bd, bf, cd, ce} and the primitive idempotents. This yields the decomposition Span{ae, af, bd, bf, cd, ce} = Span{ae, bf, cd} Span{bd, ce, af}. We choose the basis {ζ3 2bd, ζ2 3ce, af} of Span{bd, ce, af} so that G acts by the same matrices on Span{ae, bf, cd} and Span{ζ3 2bd, ζ2 3ce, af}:
4 4 DAVID SWINARSKI A action: ae bf cd ζ3 2bd ζ2 3ce af ae 1 bf ζ3 2 cd ζ 3 ζ3 2bd 1 ζ3 2ce ζ2 3 af ζ 3 B action: ae bf cd ζ3 2bd ζ2 3ce af ae bf 1 cd ζ3 2bd ζ3 2ce 1 af Thus, the remaining quadrics we seek are of the form λ 1 ae + λ 2 ζ 2 3 bd, λ 1bf + λ 2 ζ 2 3 ce, λ 1cd + λ 2 af for some λ 1, λ 2 C. Moreover, to avoid monomial generators in I (which would almost certainly give a singular scheme in P 5 ) we may assume that λ 1 and λ 2 are nonzero, and divide by λ 1 to get the quadrics ae + λζ 2 3 bd, bf + λζ2 3 ce, cd + λaf for some λ C. I experimented a little with obvious values of λ (e.g. λ = 1, z) and found that for these values, the scheme Y defined by the six quadrics ad + be + cf a 2 + ζ9 b2 + ζ 2 d 2 + ζ 9 e 2 + ζ9 2f 2 ae + λζ3 2bd bf + λζ3 2ce cd + λaf is the disjoint union of two rational curves C 1 and C 2, where C 1 is defined in Span{a, b, c} by a 2 + ζ9 b2 + ζ9 2 c2 and C 2 is defined in Span{d, e, f} by d 2 + ζ 9 e 2 + ζ9 2f 2. This led me to make my first guess: Guess 3.1 The curve X is trigonal and lies on the scroll which is the join of the two rational curves C 1 and C 2. Assume that Guess 3.1 is correct. Then to find the correct value of λ which defines a scroll, we can consider the line L between any two points p C 1 and q C 2 and solve for λ so that the quadrics in I vanish on L. I chose the points p = [1 : 0 : ζ 9 i : 0 : 0 : 0] and q = [0 : 0 : 0 : iζ 9 : 0 : 1]. Then a parametrization of L is given by [1 : 0 : ζ 9 i : iζ 9 t : 0 : t]. Then ae + λbd = 0, bf + λce = 0, and ad + be + cf = 0. But to have cd + λaf = 0, we find that we must have λ = ζ9 2. I then checked that the quadrics define a smooth scroll in P 5, as expected. 9 c2 ad + be + cf a 2 + ζ9 b2 + ζ 2 d 2 + ζ 9 e 2 + ζ9 2f 2 ae ζ3 2bd bf ζ9 2ζ2 3 ce cd ζ9 2af 9 c2
5 EQUATIONS OF THE GENUS 6 CURVE WITH AUTOMORPHISM GROUP G = 72, 15 5 Next I decomposed the action of G on S 3. Recall that we found above that the extra cubic generators we need form a V 7. In S 3, we have V 3 7 This splits into 3 blocks quite naturally: = Span{a 3 + d 3, b 3 + e 3, c 3 + f 3, a 2 b + ef 2, ab 2 + ζ 2 3 df 2, ζ 3 e 2 f + a 2 c, ac 2 + ζ 2 3 de2, ζ 3 d 2 f + b 2 c, bc 2 + d 2 e}. A action: a 3 + d 3 b 3 + e 3 c 3 + f 3 ζ 2 3 ac2 + de 2 a 2 b + ef 2 b 2 c + ζ 2 3 d2 f ζ 2 3 ab2 + df 2 ζ 2 3 (bc2 + d 2 e) a 2 c + ζ 2 3 e2 f a 3 + d 3 1 b 3 + e 3 1 c 3 + f 3 1 ζ 2 3 ac2 + de 2 1 a 2 b + ef 2 1 b 2 c + ζ 2 3 d2 f 1 ζ 2 3 ab2 + df 2 1 ζ 2 3 (bc2 + d 2 e) 1 a 2 c + ζ 2 3 e2 f 1 B action: a 3 + d 3 b 3 + e 3 c 3 + f 3 ζ 2 3 ac2 + de 2 a 2 b + ef 2 b 2 c + ζ 2 3 d2 f ζ 2 3 ab2 + df 2 ζ 2 3 (bc2 + d 2 e) a 2 c + ζ 2 3 e2 f a 3 + d 3 1 b 3 + e 3 c 3 + f 3 ζ 2 3 ac2 + de 2 1 a 2 b + ef 2 b 2 c + ζ 2 3 d2 f ζ 2 3 ab2 + df 2 1 ζ 2 3 (bc2 + d 2 e) a 2 c + ζ 2 3 e2 f Thus, the three cubic generators we seek are of the form for some µ 1, µ 2, µ 3 C. At this point, I made my second guess: Guess 3.2 µ 1, µ 2, µ 3 {0, ±ζ k 9 } µ 1 (a 3 + d 3 ) + µ 2 (ζ 2 3 ac2 + de 2 ) + µ 3 (ζ 2 3 ab2 + df 2 ) µ 1 (b 3 + e 3 ) + µ 2 (a 2 b + ef 2 ) + µ 3 (ζ 2 3 (bc2 + d 2 e)) µ 1 (c 3 + f 3 ) + µ 2 (b 2 c + ζ 2 3 d2 ) + µ 3 (a 2 c + ζ 2 3 e2 f) I used Magma to scan through all the schemes defined by the quadrics plus the cubics above for all possible choices of (µ 1, µ 2, µ 3 ) drawn from the set {0, ±ζ9 k }. Most such triples define schemes of dimension 0, but some such triples define schemes of dimension 1 or 2. I selected one of triples the triples that defined a curve, (µ 1, µ 2, µ 3 ) = (0, 1, ζ9 2 ), and checked that the resulting scheme was nonsingular and had the correct automorphisms. Since G is superlarge (i.e. #G > 12(g 1)) the curve cannot have any additional automorphisms; hence, we have found the curve we seek, and it is trigonal. Magma V Sat Nov :19:43 on dopey [Seed = ] Type? for help. Type <Ctrl>-D to quit. > K<z>:=CyclotomicField(9); > w:=z^3; > GL6K:=GeneralLinearGroup(6,K); > A:=elt<GL6K 0,0,0,0,1,0, 0,0,0,1,0,0, 0,0,0,0,0,w, 0,1,0,0,0,0, 1,0,0,0,0,\ 0, 0,0,w^2,0,0,0>; > B:=elt<GL6K 0,0,0,0,0,1, 0,0,0,0,-1,0, 0,0,0,-1,0,0, 0,0,1,0,0,0, 0,-1,0,0\,0,0, -1,0,0,0,0,0>; > G:=sub<GL6K A,B>; > IdentifyGroup(G); <72, 15> > P5<a,b,c,d,e,f>:=ProjectiveSpace(K,5);
6 6 DAVID SWINARSKI > mu1:=0; > mu2:=1; > mu3:=-z^-2; > X:=Scheme(P5,[a*d+b*e+c*f, a^2+z^-1*b^2+z^-2*c^2, d^2+z*e^2+z^2*f^2, > a*e-w^2*z^2*b*d, b*f-w^2*z^2*c*e, c*d-z^2*a*f, mu1*(a^3+d^3) +mu2*( > w^2*a*c^2+d*e^2) + mu3*(d*f^2+w^2*a*b^2), mu1*(b^3+e^3) + > mu2*(a^2*b+e*f^2) + mu3*(w^2*b*c^2+w^2*d^2*e), mu1*(c^3+f^3)+ mu2*(b^2*c+w^2\ *d^2*f)+ mu3*(a^2*c+w^2*e^2*f)]); > Dimension(X); 1 > X:=Curve(X); > IsSingular(X); false > Genus(X); 6 > Automorphism(X,A); Mapping from: Crv: X to Crv: X with equations : e d (-z^3-1)*f b a z^3*c and inverse e d (-z^3-1)*f b a z^3*c > Automorphism(X,B); Mapping from: Crv: X to Crv: X with equations : -f -e d -c -b a and inverse f -e -d c -b -a
7 EQUATIONS OF THE GENUS 6 CURVE WITH AUTOMORPHISM GROUP G = 72, 15 7 References [1] Thomas Breuer, Characters and automorphism groups of compact Riemann surfaces, London Mathematical Society Lecture Note Series, vol. 280, Cambridge University Press, Cambridge, MR (2002i:14034) 1 [2] C. Chevalley and A. Weil, Über das Verhalten der Integrale 1. Gattung bei Automorphismen des Funktionenkörpers, Abh. Math. Sem. Univ. Hamburg 10 (1934), [3] A. Weil, Über Matrizenringe auf Riemannschen Flächen und den Riemann-Rochsen Satz, Abh. Math. Sem. Univ. Hamburg 11 (1935), Software Packages Referenced [4] School of Mathematics and Statistics Computational Algebra Research Group University of Sydney, MAGMA computational algebra system (2008), available at Version
EQUATIONS OF RIEMANN SURFACES OF GENUS 4, 5, AND 6 WITH LARGE AUTOMORPHISM GROUPS
EQUATIONS OF RIEMANN SURFACES OF GENUS 4, 5, AND 6 WITH LARGE AUTOMORPHISM GROUPS DAVID SWINARSKI Abstract. We say a Riemann surface has a large automorphism group if # Aut(C) > 4(g 1). We find equations
More informationEQUATIONS OF RIEMANN SURFACES OF GENUS 4, 5, AND 6 WITH LARGE AUTOMORPHISM GROUPS
EQUTIONS OF RIEMNN SURFES OF GENUS 4, 5, ND 6 WITH LRGE UTOMORPHISM GROUPS DVID SWINRSKI ND DVID SWINRSKI bstract. We say a Riemann surface has a large automorphism group if # ut() > 4(g ). We find equations
More informationEQUATIONS OF RIEMANN SURFACES WITH AUTOMORPHISMS DAVID SWINARSKI
EQUATIONS OF RIEMANN SURFACES WITH AUTOMORPHISMS DAVID SWINARSKI Abstract. We present an algorithm for computing equations of canonically embedded Riemann surfaces with automorphisms. A variant of this
More informationSymplectic representations and Riemann surfaces with many automorphisms
Symplectic representations and Riemann surfaces with many automorphisms Manfred Streit Introduction In this note I will describe a constructive method to calculate the representation of the automorphism
More informationAUTOMORPHISMS OF X(11) OVER CHARACTERISTIC 3, AND THE MATHIEU GROUP M 11
AUTOMORPHISMS OF X(11) OVER CHARACTERISTIC 3, AND THE MATHIEU GROUP M 11 C. S. RAJAN Abstract. We show that the automorphism group of the curve X(11) is the Mathieu group M 11, over a field of characteristic
More informationL-Polynomials of Curves over Finite Fields
School of Mathematical Sciences University College Dublin Ireland July 2015 12th Finite Fields and their Applications Conference Introduction This talk is about when the L-polynomial of one curve divides
More information33 Idempotents and Characters
33 Idempotents and Characters On this day I was supposed to talk about characters but I spent most of the hour talking about idempotents so I changed the title. An idempotent is defined to be an element
More informationOLIVIER SERMAN. Theorem 1.1. The moduli space of rank 3 vector bundles over a curve of genus 2 is a local complete intersection.
LOCAL STRUCTURE OF SU C (3) FOR A CURVE OF GENUS 2 OLIVIER SERMAN Abstract. The aim of this note is to give a precise description of the local structure of the moduli space SU C (3) of rank 3 vector bundles
More informationThree-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms
Three-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms U-M Automorphic forms workshop, March 2015 1 Definition 2 3 Let Γ = PSL 2 (Z) Write ( 0 1 S =
More informationAN INTRODUCTION TO MODULI SPACES OF CURVES CONTENTS
AN INTRODUCTION TO MODULI SPACES OF CURVES MAARTEN HOEVE ABSTRACT. Notes for a talk in the seminar on modular forms and moduli spaces in Leiden on October 24, 2007. CONTENTS 1. Introduction 1 1.1. References
More informationPROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013
PROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013 1. Problems on moduli spaces The main text for this material is Harris & Morrison Moduli of curves. (There are djvu files
More informationVARIETIES WITHOUT EXTRA AUTOMORPHISMS I: CURVES BJORN POONEN
VARIETIES WITHOUT EXTRA AUTOMORPHISMS I: CURVES BJORN POONEN Abstract. For any field k and integer g 3, we exhibit a curve X over k of genus g such that X has no non-trivial automorphisms over k. 1. Statement
More informationORAL QUALIFYING EXAM QUESTIONS. 1. Algebra
ORAL QUALIFYING EXAM QUESTIONS JOHN VOIGHT Below are some questions that I have asked on oral qualifying exams (starting in fall 2015). 1.1. Core questions. 1. Algebra (1) Let R be a noetherian (commutative)
More informationTHE 7-MODULAR DECOMPOSITION MATRICES OF THE SPORADIC O NAN GROUP
THE 7-MODULAR DECOMPOSITION MATRICES OF THE SPORADIC O NAN GROUP ANNE HENKE, GERHARD HISS, AND JÜRGEN MÜLLER Abstract. The determination of the modular character tables of the sporadic O Nan group, its
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More informationPoint counting and real multiplication on K3 surfaces
Point counting and real multiplication on K3 surfaces Andreas-Stephan Elsenhans Universität Paderborn September 2016 Joint work with J. Jahnel. A.-S. Elsenhans (Universität Paderborn) K3 surfaces September
More informationPlane quartics and. Dedicated to Professor S. Koizumi for his 70th birthday. by Tetsuji Shioda
Plane quartics and Mordell-Weil lattices of type E 7 Dedicated to Professor S. Koizumi for his 70th birthday by Tetsuji Shioda Department of Mathematics, Rikkyo University Nishi-Ikebukuro,Tokyo 171, Japan
More informationDerived categories and rationality of conic bundles
Derived categories and rationality of conic bundles joint work with M.Bernardara June 30, 2011 Fano 3-folds with κ(v ) = V smooth irreducible projective 3-fold over C. V is birational (Reid-Mori, Miyaoka)
More informationVARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES
VARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES BJORN POONEN Abstract. For any field k and integer g 2, we construct a hyperelliptic curve X over k of genus g such that #(Aut X) = 2. We
More informationALGEBRA 11: Galois theory
Galois extensions Exercise 11.1 (!). Consider a polynomial P (t) K[t] of degree n with coefficients in a field K that has n distinct roots in K. Prove that the ring K[t]/P of residues modulo P is isomorphic
More informationRIEMANN SURFACES. max(0, deg x f)x.
RIEMANN SURFACES 10. Weeks 11 12: Riemann-Roch theorem and applications 10.1. Divisors. The notion of a divisor looks very simple. Let X be a compact Riemann surface. A divisor is an expression a x x x
More informationMath 126 Lecture 8. Summary of results Application to the Laplacian of the cube
Math 126 Lecture 8 Summary of results Application to the Laplacian of the cube Summary of key results Every representation is determined by its character. If j is the character of a representation and
More informationBasic Algebraic Geometry 1
Igor R. Shafarevich Basic Algebraic Geometry 1 Second, Revised and Expanded Edition Springer-Verlag Berlin Heidelberg New York London Paris Tokyo HongKong Barcelona Budapest Table of Contents Volume 1
More informationClass numbers of algebraic function fields, or Jacobians of curves over finite fields
Class numbers of algebraic function fields, or Jacobians of curves over finite fields Anastassia Etropolski February 17, 2016 0 / 8 The Number Field Case The Function Field Case Class Numbers of Number
More informationAugust 2015 Qualifying Examination Solutions
August 2015 Qualifying Examination Solutions If you have any difficulty with the wording of the following problems please contact the supervisor immediately. All persons responsible for these problems,
More informationA Harvard Sampler. Evan Chen. February 23, I crashed a few math classes at Harvard on February 21, Here are notes from the classes.
A Harvard Sampler Evan Chen February 23, 2014 I crashed a few math classes at Harvard on February 21, 2014. Here are notes from the classes. 1 MATH 123: Algebra II In this lecture we will make two assumptions.
More informationThus, the integral closure A i of A in F i is a finitely generated (and torsion-free) A-module. It is not a priori clear if the A i s are locally
Math 248A. Discriminants and étale algebras Let A be a noetherian domain with fraction field F. Let B be an A-algebra that is finitely generated and torsion-free as an A-module with B also locally free
More informationMathematics and Computer Science
Technical Report TR-2005-006 A New Proof of Hilbert s Theorem on Ternary Quartics by Victoria Powers, Bruce Reznick, Claus Scheiderer, Frank Sottile Mathematics and Computer Science EMORY UNIVERSITY A
More informationELLIPTIC FACTORS IN JACOBIANS OF HYPERELLIPTIC CURVES WITH CERTAIN AUTOMORPHISM GROUPS JENNIFER PAULHUS
ELLIPTIC FACTORS IN JACOBIANS OF HYPERELLIPTIC CURVES WITH CERTAIN AUTOMORPHISM GROUPS JENNIFER PAULHUS Abstract. We decompose the Jacobian variety of hyperelliptic curves up to genus 20, defined over
More informationa double cover branched along the smooth quadratic line complex
QUADRATIC LINE COMPLEXES OLIVIER DEBARRE Abstract. In this talk, a quadratic line complex is the intersection, in its Plücker embedding, of the Grassmannian of lines in an 4-dimensional projective space
More informationExercises for algebraic curves
Exercises for algebraic curves Christophe Ritzenthaler February 18, 2019 1 Exercise Lecture 1 1.1 Exercise Show that V = {(x, y) C 2 s.t. y = sin x} is not an algebraic set. Solutions. Let us assume that
More informationAlgebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.
More informationON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF
ON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF MATTHEW H. BAKER AND JÁNOS A. CSIRIK Abstract. We give a new proof of the isomorphism between the dualizing sheaf and the canonical
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationAlgebraic Geometry (Math 6130)
Algebraic Geometry (Math 6130) Utah/Fall 2016. 2. Projective Varieties. Classically, projective space was obtained by adding points at infinity to n. Here we start with projective space and remove a hyperplane,
More informationCOMPLETELY DECOMPOSABLE JACOBIAN VARIETIES IN NEW GENERA
COMPLETELY DECOMPOSABLE JACOBIAN VARIETIES IN NEW GENERA JENNIFER PAULHUS AND ANITA M. ROJAS Abstract. We present a new technique to study Jacobian variety decompositions using subgroups of the automorphism
More informationSTABILITY OF GENUS 5 CANONICAL CURVES
STABILITY OF GENUS 5 CANONICAL CURVES MAKSYM FEDORCHUK AND DAVID ISHII SMYTH To Joe Harris on his sixtieth birthday Abstract. We analyze GIT stability of nets of quadrics in P 4 up to projective equivalence.
More informationMODULI SPACES OF CURVES
MODULI SPACES OF CURVES SCOTT NOLLET Abstract. My goal is to introduce vocabulary and present examples that will help graduate students to better follow lectures at TAGS 2018. Assuming some background
More informationRiemann Surfaces and Algebraic Curves
Riemann Surfaces and Algebraic Curves JWR Tuesday December 11, 2001, 9:03 AM We describe the relation between algebraic curves and Riemann surfaces. An elementary reference for this material is [1]. 1
More informationLemma 1.1. The field K embeds as a subfield of Q(ζ D ).
Math 248A. Quadratic characters associated to quadratic fields The aim of this handout is to describe the quadratic Dirichlet character naturally associated to a quadratic field, and to express it in terms
More informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More informationarxiv:alg-geom/ v1 14 Feb 1992
The Arithmetic and Geometry of Elliptic Surfaces Peter F. Stiller arxiv:alg-geom/9202011v1 14 Feb 1992 Abstract: We survey some aspects of the theory of elliptic surfaces and give some results aimed at
More informationOn the Moduli Space of Klein Four Covers of the Projective Line
On the Moduli Space of Klein Four Covers of the Projective Line D. Glass, R. Pries a Darren Glass Department of Mathematics Columbia University New York, NY 10027 glass@math.columbia.edu Rachel Pries Department
More informationNUNO FREITAS AND ALAIN KRAUS
ON THE DEGREE OF THE p-torsion FIELD OF ELLIPTIC CURVES OVER Q l FOR l p NUNO FREITAS AND ALAIN KRAUS Abstract. Let l and p be distinct prime numbers with p 3. Let E/Q l be an elliptic curve with p-torsion
More informationAlgebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra
Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial
More information16.2. Definition. Let N be the set of all nilpotent elements in g. Define N
74 16. Lecture 16: Springer Representations 16.1. The flag manifold. Let G = SL n (C). It acts transitively on the set F of complete flags 0 F 1 F n 1 C n and the stabilizer of the standard flag is the
More informationREPRESENTATIONS OF S n AND GL(n, C)
REPRESENTATIONS OF S n AND GL(n, C) SEAN MCAFEE 1 outline For a given finite group G, we have that the number of irreducible representations of G is equal to the number of conjugacy classes of G Although
More informationMath 250: Higher Algebra Representations of finite groups
Math 250: Higher Algebra Representations of finite groups 1 Basic definitions Representations. A representation of a group G over a field k is a k-vector space V together with an action of G on V by linear
More information1 Compact Riemann surfaces and algebraic curves
1 Compact Riemann surfaces and algebraic curves 1.1 Basic definitions 1.1.1 Riemann surfaces examples Definition 1.1 A topological surface X is a Hausdorff topological space provided with a collection
More informationarxiv: v1 [math.ag] 28 Sep 2016
LEFSCHETZ CLASSES ON PROJECTIVE VARIETIES JUNE HUH AND BOTONG WANG arxiv:1609.08808v1 [math.ag] 28 Sep 2016 ABSTRACT. The Lefschetz algebra L X of a smooth complex projective variety X is the subalgebra
More informationABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK
ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK 1. Practice exam problems Problem A. Find α C such that Q(i, 3 2) = Q(α). Solution to A. Either one can use the proof of the primitive element
More informationPart II. Riemann Surfaces. Year
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 96 Paper 2, Section II 23F State the uniformisation theorem. List without proof the Riemann surfaces which are uniformised
More informationMenelaus Theorem, Weil Reciprocity, and a Generalisation to Algebraic Curves. School of Mathematics, Trinity College, University of Dublin
Menelaus Theorem, Weil Reciprocity, and a Generalisation to Algebraic Curves School of Mathematics, Trinity College, University of Dublin Eoin Ó Murchadha Summer 2012 Supervisor: Dr Masha Vlasenko Contents
More informationA Criterion for Flatness of Sections of Adjoint Bundle of a Holomorphic Principal Bundle over a Riemann Surface
Documenta Math. 111 A Criterion for Flatness of Sections of Adjoint Bundle of a Holomorphic Principal Bundle over a Riemann Surface Indranil Biswas Received: August 8, 2013 Communicated by Edward Frenkel
More informationREPRESENTATION THEORY, LECTURE 0. BASICS
REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite
More informationGENERIC ABELIAN VARIETIES WITH REAL MULTIPLICATION ARE NOT JACOBIANS
GENERIC ABELIAN VARIETIES WITH REAL MULTIPLICATION ARE NOT JACOBIANS JOHAN DE JONG AND SHOU-WU ZHANG Contents Section 1. Introduction 1 Section 2. Mapping class groups and hyperelliptic locus 3 Subsection
More informationThe Fricke-Macbeath Curve
The Fricke-Macbeath Curve Jaap Top BIRS, September 28th, 2016 joint work with Carlo Verschoor (master s student in Groningen during 2014/15, currently PhD student with Frits Beukers, Utrecht) Some history
More informationK3 surfaces of Picard rank one which are double covers of the projective plane
K3 surfaces of Picard rank one which are double covers of the projective plane Andreas-Stephan ELSENHANS a and Jörg JAHNEL a a Universität Göttingen, Mathematisches Institut, Bunsenstraße 3 5, D-37073
More informationA proof of the Jordan normal form theorem
A proof of the Jordan normal form theorem Jordan normal form theorem states that any matrix is similar to a blockdiagonal matrix with Jordan blocks on the diagonal. To prove it, we first reformulate it
More informationThe Rationality of Certain Moduli Spaces of Curves of Genus 3
The Rationality of Certain Moduli Spaces of Curves of Genus 3 Ingrid Bauer and Fabrizio Catanese Mathematisches Institut Universität Bayreuth, NW II D-95440 Bayreuth, Germany Ingrid.Bauer@uni-bayreuth.de,
More informationLiouvillian solutions of third order differential equations
Article Submitted to Journal of Symbolic Computation Liouvillian solutions of third order differential equations Felix Ulmer IRMAR, Université de Rennes, 0 Rennes Cedex, France felix.ulmer@univ-rennes.fr
More informationComputing coefficients of modular forms
Computing coefficients of modular forms (Work in progress; extension of results of Couveignes, Edixhoven et al.) Peter Bruin Mathematisch Instituut, Universiteit Leiden Théorie des nombres et applications
More informationTROPICAL SCHEME THEORY
TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),
More informationarxiv: v2 [math.ag] 5 Jun 2018
A Brief Survey of Higgs Bundles 1 21/03/2018 Ronald A. Zúñiga-Rojas 2 Centro de Investigaciones Matemáticas y Metamatemáticas CIMM Universidad de Costa Rica UCR San José 11501, Costa Rica e-mail: ronald.zunigarojas@ucr.ac.cr
More informationSecant varieties. Marin Petkovic. November 23, 2015
Secant varieties Marin Petkovic November 23, 2015 Abstract The goal of this talk is to introduce secant varieies and show connections of secant varieties of Veronese variety to the Waring problem. 1 Secant
More informationMath 594. Solutions 5
Math 594. Solutions 5 Book problems 6.1: 7. Prove that subgroups and quotient groups of nilpotent groups are nilpotent (your proof should work for infinite groups). Give an example of a group G which possesses
More informationTopics in linear algebra
Chapter 6 Topics in linear algebra 6.1 Change of basis I want to remind you of one of the basic ideas in linear algebra: change of basis. Let F be a field, V and W be finite dimensional vector spaces over
More informationCONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP
CONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP TOSHIHIRO SHODA Abstract. In this paper, we study a compact minimal surface in a 4-dimensional flat
More informationBelyi Lattès maps. Ayberk Zeytin. Department of Mathematics, Galatasaray University. İstanbul Turkey. January 12, 2016
Belyi Lattès maps Ayberk Zeytin Department of Mathematics, Galatasaray University Çırağan Cad. No. 36, 3357 Beşiktaş İstanbul Turkey January 1, 016 Abstract In this work, we determine all Lattès maps which
More informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday January 20, 2015 (Day 1)
Tuesday January 20, 2015 (Day 1) 1. (AG) Let C P 2 be a smooth plane curve of degree d. (a) Let K C be the canonical bundle of C. For what integer n is it the case that K C = OC (n)? (b) Prove that if
More informationLinear Algebra. Min Yan
Linear Algebra Min Yan January 2, 2018 2 Contents 1 Vector Space 7 1.1 Definition................................. 7 1.1.1 Axioms of Vector Space..................... 7 1.1.2 Consequence of Axiom......................
More informationFiniteness of the Moderate Rational Points of Once-punctured Elliptic Curves. Yuichiro Hoshi
Hokkaido Mathematical Journal ol. 45 (2016) p. 271 291 Finiteness of the Moderate Rational Points of Once-punctured Elliptic Curves uichiro Hoshi (Received February 28, 2014; Revised June 12, 2014) Abstract.
More informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
More informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
More informationSince G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =
Problem 1 Show that if π is an irreducible representation of a compact lie group G then π is also irreducible. Give an example of a G and π such that π = π, and another for which π π. Is this true for
More informationCOMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY
COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski
More informationARITHMETICALLY COHEN-MACAULAY BUNDLES ON THREE DIMENSIONAL HYPERSURFACES
ARITHMETICALLY COHEN-MACAULAY BUNDLES ON THREE DIMENSIONAL HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle
More informationz, w = z 1 w 1 + z 2 w 2 z, w 2 z 2 w 2. d([z], [w]) = 2 φ : P(C 2 ) \ [1 : 0] C ; [z 1 : z 2 ] z 1 z 2 ψ : P(C 2 ) \ [0 : 1] C ; [z 1 : z 2 ] z 2 z 1
3 3 THE RIEMANN SPHERE 31 Models for the Riemann Sphere One dimensional projective complex space P(C ) is the set of all one-dimensional subspaces of C If z = (z 1, z ) C \ 0 then we will denote by [z]
More informationdiv(f ) = D and deg(d) = deg(f ) = d i deg(f i ) (compare this with the definitions for smooth curves). Let:
Algebraic Curves/Fall 015 Aaron Bertram 4. Projective Plane Curves are hypersurfaces in the plane CP. When nonsingular, they are Riemann surfaces, but we will also consider plane curves with singularities.
More informationIRREDUCIBILITY AND COMPONENTS RIGID IN MODULI OF THE HILBERT SCHEME OF SMOOTH CURVES
IRREDUCIBILITY AND COMPONENTS RIGID IN MODULI OF THE HILBERT SCHEME OF SMOOTH CURVES CHANGHO KEEM*, YUN-HWAN KIM AND ANGELO FELICE LOPEZ** Abstract. Denote by H d,g,r the Hilbert scheme of smooth curves,
More informationMAKSYM FEDORCHUK. n ) = z1 d 1 zn d 1.
DIRECT SUM DECOMPOSABILITY OF SMOOTH POLYNOMIALS AND FACTORIZATION OF ASSOCIATED FORMS MAKSYM FEDORCHUK Abstract. We prove an if-and-only-if criterion for direct sum decomposability of a smooth homogeneous
More informationTHE 2-MODULAR DECOMPOSITION MATRICES OF THE SYMMETRIC GROUPS S 15, S 16, AND S 17
THE 2-MODULAR DECOMPOSITION MATRICES OF THE SYMMETRIC GROUPS S 15, S 16, AND S 17 Abstract. In this paper the 2-modular decomposition matrices of the symmetric groups S 15, S 16, and S 17 are determined
More informationALGORITHMS FOR ALGEBRAIC CURVES
ALGORITHMS FOR ALGEBRAIC CURVES SUMMARY OF LECTURE 7 I consider the problem of computing in Pic 0 (X) where X is a curve (absolutely integral, projective, smooth) over a field K. Typically K is a finite
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics PICARD VESSIOT EXTENSIONS WITH SPECIFIED GALOIS GROUP TED CHINBURG, LOURDES JUAN AND ANDY R. MAGID Volume 243 No. 2 December 2009 PACIFIC JOURNAL OF MATHEMATICS Vol. 243,
More informationAlgebra. Übungsblatt 12 (Lösungen)
Fakultät für Mathematik Sommersemester 2017 JProf Dr Christian Lehn Dr Alberto Castaño Domínguez Algebra Übungsblatt 12 (Lösungen) Aufgabe 1 Berechnen Sie Minimalpolynome f i, i = 1,, 4, der folgenden
More informationCHAPTER 2. Ordered vector spaces. 2.1 Ordered rings and fields
CHAPTER 2 Ordered vector spaces In this chapter we review some results on ordered algebraic structures, specifically, ordered vector spaces. We prove that in the case the field in question is the field
More informationA simply connected surface of general type with p g = 0, K 2 = 1, due to Rebecca Barlow
A simply connected surface of general type with p g = 0, K 2 = 1, due to Rebecca Barlow (notes by M. Reid) March 1981 0 Introduction Suppose that X is the canonical model of a surface of general type with
More informationComputer methods for Hilbert modular forms
Computer methods for Hilbert modular forms John Voight University of Vermont Workshop on Computer Methods for L-functions and Automorphic Forms Centre de Récherche Mathématiques (CRM) 22 March 2010 Computer
More informationCorrection to On Satake parameters for representations with parahoric fixed vectors
T. J. Haines (2017) Correction to On Satake parameters for representations with parahoric fixed vectors, International Mathematics Research Notices, Vol. 2017, No. 00, pp. 1 11 doi: 10.1093/imrn/rnx088
More informationIntegral points of a modular curve of level 11. by René Schoof and Nikos Tzanakis
June 23, 2011 Integral points of a modular curve of level 11 by René Schoof and Nikos Tzanakis Abstract. Using lower bounds for linear forms in elliptic logarithms we determine the integral points of the
More informationON ISOTROPY OF QUADRATIC PAIR
ON ISOTROPY OF QUADRATIC PAIR NIKITA A. KARPENKO Abstract. Let F be an arbitrary field (of arbitrary characteristic). Let A be a central simple F -algebra endowed with a quadratic pair σ (if char F 2 then
More informationLECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F)
LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F) IVAN LOSEV In this lecture we will discuss the representation theory of the algebraic group SL 2 (F) and of the Lie algebra sl 2 (F), where F is
More informationOn the Notion of an Automorphic Representation *
On the Notion of an Automorphic Representation * The irreducible representations of a reductive group over a local field can be obtained from the square-integrable representations of Levi factors of parabolic
More informationPorteous s Formula for Maps between Coherent Sheaves
Michigan Math. J. 52 (2004) Porteous s Formula for Maps between Coherent Sheaves Steven P. Diaz 1. Introduction Recall what the Thom Porteous formula for vector bundles tells us (see [2, Sec. 14.4] for
More informationSiegel Moduli Space of Principally Polarized Abelian Manifolds
Siegel Moduli Space of Principally Polarized Abelian Manifolds Andrea Anselli 8 february 2017 1 Recall Definition 11 A complex torus T of dimension d is given by V/Λ, where V is a C-vector space of dimension
More informationLECTURE 5, FRIDAY
LECTURE 5, FRIDAY 20.02.04 FRANZ LEMMERMEYER Before we start with the arithmetic of elliptic curves, let us talk a little bit about multiplicities, tangents, and singular points. 1. Tangents How do we
More informationON AN INFINITE-DIMENSIONAL GROUP OVER A FINITE FIELD. A. M. Vershik, S. V. Kerov
ON AN INFINITE-DIMENSIONAL GROUP OVER A FINITE FIELD A. M. Vershik, S. V. Kerov Introduction. The asymptotic representation theory studies the behavior of representations of large classical groups and
More informationFast arithmetic and pairing evaluation on genus 2 curves
Fast arithmetic and pairing evaluation on genus 2 curves David Freeman University of California, Berkeley dfreeman@math.berkeley.edu November 6, 2005 Abstract We present two algorithms for fast arithmetic
More informationQUALIFYING EXAM IN ALGEBRA August 2011
QUALIFYING EXAM IN ALGEBRA August 2011 1. There are 18 problems on the exam. Work and turn in 10 problems, in the following categories. I. Linear Algebra 1 problem II. Group Theory 3 problems III. Ring
More information