Polylogarithms and Hyperbolic volumes Matilde N. Laĺın
|
|
- Kerrie Beasley
- 5 years ago
- Views:
Transcription
1 Polylogarithms and Hyperbolic volumes Matilde N. Laĺın University of British Columbia and PIMS, Max-Planck-Institut für Mathematik, University of Alberta July 2nd,
2 The hyperbolic space Beltrami s Half-space model: H n = {(x 1,..., x n 1, x n ) x i R, x n > 0}, ds 2 = dx dx2 n x 2, n dv = dx 1... dx n x n, H n = {(x 1,..., x n 1, 0)}. Geodesics are given by vertical lines and semicircles whose endpoints lie in {x n = 0} and intersect it orthogonally. 2
3 Orientation preserving isometries of H 2 P SL(2, R) = {( a b c d ) M(2, R) ad bc = 1 } /±I. z = x 1 + x 2 i az + b cz + d. Orientation preserving isometries of H 3 is P SL(2, C). H 3 = {z = x 1 + x 2 i + x 3 j x 3 > 0}, subspace of quaternions (i 2 = j 2 = k 2 = 1, ij = ji = k). z (az+b)(cz+d) 1 = (az+b)( z c+ d) cz+d 2. Poincaré: study of discrete groups of hyperbolic isometries. 3
4 Volumes in H 3 Picard: fundamental domain for P SL(2, Z[i]) in H 3 has a finite volume. Humbert extended this result. Lobachevsky function: l(θ) = θ 0 log 2 sin t dt. l(θ) = 1 2 Im ( Li 2 ( e 2iθ )), where Li 2 (z) = n=1 z n n2, z 1. z Li 2 (z) = log(1 x)dx 0 x. (multivalued) analytic continuation to C\[1, ) 4
5 Let be an ideal tetrahedron (vertices in H 3 ). Theorem 1 (Milnor, after Lobachevsky) The volume of an ideal tetrahedron with dihedral angles α, β, and γ is given by Vol( ) = l(α) + l(β) + l(γ). α β γ γ β γ β α α Move a vertex to and use baricentric subdivision to get six simplices with three right dihedral angles. 5
6 Triangle with angles α, β, γ, defined up to similarity. Let (z) be the tetrahedron determined up to transformations by any of z, 1 1 z, 1 1 z. z 1 1 z z 1 1 z 0 1 If ideal vertices are z 1, z 2, z 3, z 4, z = [z 1 : z 2 : z 3 : z 4 ] = (z 3 z 2 )(z 4 z 1 ) (z 3 z 1 )(z 4 z 2 ). 6
7 Bloch-Wigner dilogarithm D(z) = Im(Li 2 (z) + log z log(1 z)). Continuous in P 1 (C), real-analytic in P 1 (C) \ {0, 1, }. D(z) = D(1 z) = D ( ) 1 z = D( z). Five-term relation: D(x)+D(1 xy)+d(y)+d ( 1 y 1 xy ) +D ( 1 x 1 xy ) =0. ( ( ) z ( 1 z 1 ) ( (1 z) 1 )) D(z) = 1 2 D z + D 1 z 1 + D (1 z) 1. Vol( (z)) = D(z). 7
8 Five points in H 3 = P 1 (C), then the sum of the signed volumes of the five possible tetrahedra must be zero: 5 i=0 ( 1) i Vol([z 1 :... : ẑ i :... : z 5 ]) = 0. D(x)+D(1 xy)+d(y)+d ( 1 y 1 xy ) +D ( 1 x 1 xy ) =0. 8
9 Dedekind ζ-function F number field [F : Q] = n = r 1 + 2r 2 τ 1,..., τ r1 real embeddings σ 1,..., σ r2 a set of complex embeddings (one for each pair of conjugate embeddings). Dedekind ζ-function ζ F (s) = A ideal 0 N(A) = O F /A norm. 1 N(A) s, Re s > 1, Euler product P prime 1 1 N(P) s. 9
10 Theorem 2 (Dirichlet s class number formula) ζ F (s) extends meromorphically to C with only one simple pole at s = 1 with where lim (s 1)ζ F (s) = 2r 1(2π) r 2h F reg F. s 1 ω F D F h F is the class number. ω F is the number of roots of unity in F. D F is the discriminant. reg F is the regulator. 10
11 Regulator {u 1,..., u r1 +r 2 1} basis for O F modulo torsion L(u i ) := (log τ 1 u i,..., log τ r1 u i, 2 log σ 1 u i,..., 2 log σ r2 1u i ) reg F is the determinant of the matrix. = (up to a sign) the volume of fundamental domain for L(O F ). Functional equation ξ F (s) = ξ F (1 s), ξ F (s) = ( ) s DF 2 ( ) s r1 Γ Γ(s) r 2 4 r 2π n ζ F (s). 2 lim s 0 s1 r 1 r 2 ζ F (s) = h F reg F. ω F 11
12 Euler: ζ(2m) = ( 1)m 1 (2π) 2m B m 2(2m)! Klingen, Siegel: F is totally real (r 2 = 0), ζ F (2m) = r(m) D F π 2mn for m > 0. where r(m) Q. 12
13 Building manifolds Bianchi, Humbert : F = Q ( d ) d 1 square-free Γ a torsion-free subgroup of P SL (2, O d ), [P SL (2, O d ) : Γ] <. Then H 3 /Γ is an oriented hyperbolic threemanifold. Example: d = 3, O 3 = Z[ω], ω = Riley: [P SL (2, O 3 ) : Γ] = 12. H 3 /Γ diffeomorphic to S 3 \ Fig 8. 13
14 Theorem 3 (Essentially Humbert) Vol ( H 3 /P SL(2, O d ) ) = D d Dd 4π 2 ζ Q( d) (2). D d = { d d 3 mod 4, 4d otherwise. M hyperbolic 3-manifold Vol(M) = J j=1 D(z j ). ζ Q ( d) = D d Dd 2π 2 J j=1 D(z j ). 14
15 Example: Vol(S 3 \ Fig 8) = π 2 ζ Q( 3) (2) = 3D ( e 2iπ 3 ) = 2D ( e iπ 3 ). Zagier: [F : Q] = r 1 + 2, Γ group of units of an order in a quaternion algebra B over F that is ramified at all real places such that M = H 3 /Γ has volume D F Q π 2(n 1)ζ F (2). 15
16 [F : Q] = r 1 + 2r 2, r 2 > 1, Zagier: discrete subgroup Γ of P SL(2, C) r 2 such that M = ( H 3) r 2 /Γ has volume Q D F π 2(r 1+r 2 ) ζ F (2). M = (z 1 )... (z r2 ) 16
17 The Bloch group Vol(M) = J j=1 D(z j ), then J j=1 z j (1 z j ) = 0 2 C. 2 C ={x y x x = 0, x1 x 2 y = x 1 y + x 2 y} Vol(M) = D(ξ M ), where ξ M A( Q), and A(F ) = { ni [z i ] Z[F ] ni z i (1 z i ) = 0 }. 17
18 Let { [ 1 y ] [ 1 x ] C(F ) = [x] + [1 xy] + [y] + 1 xy + 1 xy x, y F, xy 1}, Bloch group is B(F ) = A(F )/C(F ). D : B(C) R well-defined function, Vol(M) = D(ξ M ) for some ξ M B( Q), independently of the triangulation. Then ζ F (2) = D F π 2(n 1) D(ξ M ) for r 2 = 1. 18
19 The K-theory connection R ring. K 0 (R), K 1 (R) = R, etc Borel: K n (F ) Q free abelian and dim Q (K n (F ) Q) = 0 n 2 even, r 1 + r 2 n 1 mod 4, r 2 n 3 mod 4. Let n + = r 1 + r 2 and n = r 2. 19
20 The regulator map reg m : K 2m 1 (C) R, is such that K 2m 1 (F ) K 2m 1 (R) r 1 K 2m 1 (C) r 2 R n. K 2m 1 (F )/torsion goes to a cocompact lattice of R n. Covolume is a rational multiple of D F ζ F (m)/π kn ±. m = 2, Bloch and Suslin: B(F ) is essentially K 3 (F ), and D is the regulator. K 3 (F ) reg 2 R r 2 φ F B(F ) (D σ 1,...,D σ r2 ) 20
21 Theorem 4 For a number field [F : Q] = r 1 + 2r 2, B(F ) is finitely generated of rank r 2. ξ 1,... ξ r2 Q-basis of B(F ) Q. Then ζ F (2) Q D F π 2(r 1+r 2 ) det { D ( σ i ( ξj ))} 1 i,j r 2. 21
22 Zagier s conjecture Generalize to values ζ F (m). k-polylogarithm Li k (z) = n=1 z n nk, z 1. It has an analytic continuation to C \ [1, ). L k (z) = Re k k 1 j=0 2 j B j j! log j z Li k j (z), Re k = Re or Im depending on whether k is odd or even, and B j is the jth Bernoulli number. It is continuous in P 1 (C), real analytic in P 1 (C)\ {0, 1, }. L k (z) = ( 1) k 1 L k ( 1 z ). 22
23 Generalized Bloch groups B k (F ) = A k (F )/C k (F ). C k (F ) set of functional equations of the kth polylogarithm and A k (F ) is the set of allowed elements. A k (F ):= { ξ Z[F ] ι φ (ξ) C k 1 (F ) φ Hom(F, Z) } where ι φ ( n i [x i ]) = n i φ(x i )[x i ]. C k (F ) := {ξ A k (F ) L k (σ(ξ)) = 0 σ Σ F }. 23
24 Conjecture 5 Let F be a number field. Let n + = r 1 + r 2, n = r 2, and = ( 1) k 1. Then B k (F ) is finitely generated of rank n. ξ 1,... ξ n Q-basis of B k (F ) Q. Then ζ F (k) Q D F π kn ± det { ( ( ))} L k σi ξj 1 i,j n. 24
25 Example F = Q( 5), r 1 = 2, r 2 = 0. { [ [1], 1+ ]} 5 2 A 3 (F ), basis for B 3 (F ). L 3 ( L 3 (1) L 3 (1) ) L 3 ( ) = ζ(3) 1 10ζ(3) L(3, χ5 ) ζ(3) 1 10ζ(3) L(3, χ5 ) = 25 5ζ(3)L(3, χ5 ) = 25 5ζF (3)
26 More K-theory Expectation: K 2m 1 (F ) and B m (F ) should be isomorphic. The regulator map should be given by L m. de Jeu, Beilinson Deligne: there is a map K 2m 1 (F ) B m (F ). Goncharov: map is surjective for m = 3. 26
27 Goncharov G F (k) : G k (F ) G k 1 F Gk 2 2 F G 2 k 2 F k F G k (F ) = Z[F ]/C k (F ) [x] x 1... x l = [x] x x 1... x l. H 1 (G F (k)) B k (F ). Goncharov conjectures H i (G F (k) Q) gr γ k K 2k i(f ) Q. 27
28 Volumes in higher dimensions Orthoscheme in H n : simplex bounded by hyperplanes H 0,..., H n such that H i H j i j > 1 Theorem 6 (Schläfli s formula) R H n is an orthoscheme, dvol n (R) = 1 n 1 n j=1 Vol n 2 (F j )dα j. where F j = R H j 1 H j, α j is the angle attached at F j, and Vol 0 (F j ) = 1. Vol 2m-simplex Vol dimension 2m 1 and lower. dimension 5: sum of trilogarithmic expressions (Böhn, Müller, Kellerhals, and Goncharov). 28
29 Goncharov: M (2m 1)-dimensional hyperbolic manifold of finite volume. Theorem 7 There is a γ M K 2m 1 ( Q) Q such that Vol(M) = reg m (γ M ). Conjecture 8 There is a ξ M such that B m ( Q) Q Vol(M) = L m (ξ M ). Goncharov: true for dimension 5. 29
Hyperbolic volumes and zeta values An introduction
Hyperbolic volumes and zeta values An introduction Matilde N. Laĺın University of Alberta mlalin@math.ulberta.ca http://www.math.ualberta.ca/~mlalin Annual North/South Dialogue in Mathematics University
More informationLogarithm and Dilogarithm
Logarithm and Dilogarithm Jürg Kramer and Anna-Maria von Pippich 1 The logarithm 1.1. A naive sequence. Following D. Zagier, we begin with the sequence of non-zero complex numbers determined by the requirement
More informationSome aspects of the multivariable Mahler measure
Some aspects of the multivariable Mahler measure Séminaire de théorie des nombres de Chevaleret, Institut de mathématiques de Jussieu, Paris, France June 19th, 2006 Matilde N. Lalín Institut des Hautes
More informationPolylogarithms and Double Scissors Congruence Groups
Polylogarithms and Double Scissors Congruence Groups for Gandalf and the Arithmetic Study Group Steven Charlton Abstract Polylogarithms are a class of special functions which have applications throughout
More informationMahler measure of the A-polynomial
Mahler measure of the A-polynomial Abhijit Champanerkar University of South Alabama International Conference on Quantum Topology Institute of Mathematics, VAST Hanoi, Vietnam Aug 6-12, 2007 Outline History
More informationThere s something about Mahler measure
There s something about Mahler measure Junior Number Theory Seminar University of Texas at Austin March 29th, 2005 Matilde N. Lalín Mahler measure Definition For P C[x ±,...,x± n ], the logarithmic Mahler
More informationMahler measure and special values of L-functions
Mahler measure and special values of L-functions Matilde N. Laĺın University of Alberta mlalin@math.ualberta.ca http://www.math.ualberta.ca/~mlalin October 24, 2008 Matilde N. Laĺın (U of A) Mahler measure
More informationOn the p-adic Beilinson conjecture for number fields
On the p-adic Beilinson conjecture for number fields Joint work with A. Besser, P. Buckingham and X.-F. Roblot Rob de Jeu http://www.few.vu.nl/ jeu Department of Mathematics, Vrije Universiteit, Amsterdam
More informationOn the friendship between Mahler measure and polylogarithms
On the friendship between Mahler measure and polylogarithms Number Theory Seminar University of Texas at Austin September 30th, 2004 Matilde N. Lalín 1. Mahler measure Definition 1 For P C[x ±1 1,...,x±1
More informationOn Mahler measures of several-variable polynomials and polylogarithms
On Mahler measures of several-variable polynomials and polylogarithms Zeta Functions Seminar University of California at Berkeley May 17th, 2004 Matilde N. Lalín University of Texas at Austin 1 1. Mahler
More informationMahler measure as special values of L-functions
Mahler measure as special values of L-functions Matilde N. Laĺın Université de Montréal mlalin@dms.umontreal.ca http://www.dms.umontreal.ca/~mlalin CRM-ISM Colloquium February 4, 2011 Diophantine equations
More informationarxiv: v1 [math.nt] 15 Mar 2012
ON ZAGIER S CONJECTURE FOR L(E, 2): A NUMBER FIELD EXAMPLE arxiv:1203.3429v1 [math.nt] 15 Mar 2012 JEFFREY STOPPLE ABSTRACT. We work out an example, for a CM elliptic curve E defined over a real quadratic
More informationFeynman Integrals, Regulators and Elliptic Polylogarithms
Feynman Integrals, Regulators and Elliptic Polylogarithms Pierre Vanhove Automorphic Forms, Lie Algebras and String Theory March 5, 2014 based on [arxiv:1309.5865] and work in progress Spencer Bloch, Matt
More informationMostow Rigidity. W. Dison June 17, (a) semi-simple Lie groups with trivial centre and no compact factors and
Mostow Rigidity W. Dison June 17, 2005 0 Introduction Lie Groups and Symmetric Spaces We will be concerned with (a) semi-simple Lie groups with trivial centre and no compact factors and (b) simply connected,
More information1 Hermitian symmetric spaces: examples and basic properties
Contents 1 Hermitian symmetric spaces: examples and basic properties 1 1.1 Almost complex manifolds............................................ 1 1.2 Hermitian manifolds................................................
More informationFRANÇOIS BR U N A U L T (*) Zagier s conjectures on special values of L-functions (**)
R i v. M a t. U n i v. P a r m a ( 7 ) 3 * ( 2 0 0 4 ), 1 6 5-1 7 6 FRANÇOIS BR U N A U L T (*) Zagier s conjectures on special values of L-functions (**) I ll use the following notations through the text.
More informationMath 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim
SOLUTIONS Dec 13, 218 Math 868 Final Exam In this exam, all manifolds, maps, vector fields, etc. are smooth. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each).
More informationIntermediate Jacobians and Abel-Jacobi Maps
Intermediate Jacobians and Abel-Jacobi Maps Patrick Walls April 28, 2012 Introduction Let X be a smooth projective complex variety. Introduction Let X be a smooth projective complex variety. Intermediate
More informationOn K2 T (E) for tempered elliptic curves
On K T 2 (E) for tempered elliptic curves Department of Mathematics, Nanjing University, China guoxj@nju.edu.cn hrqin@nju.edu.cn Janurary 19 2012 NTU 1. Preliminary and history K-theory of categories Let
More informationHighly complex: Möbius transformations, hyperbolic tessellations and pearl fractals
Highly complex: Möbius transformations, hyperbolic tessellations and pearl fractals Department of mathematical sciences Aalborg University Cergy-Pontoise 26.5.2011 Möbius transformations Definition Möbius
More informationGroups St Andrews 5th August 2013
Generators and Relations for a discrete subgroup of SL 2 (C) SL 2 (C) joint work with A. del Río and E. Jespers Ann Kiefer Groups St Andrews 5th August 2013 Goal: Generators and Relations for a subgroup
More informationDimension formulas for vector-valued Hilbert modular forms
Dimension formulas for vector-valued Hilbert modular forms Fredrik Strömberg (j/w N.-P. Skoruppa) March 29, 2013 Possible applications Jacobi forms over number fields Same type of correspondence as over
More informationUNIVERSITY OF DUBLIN
UNIVERSITY OF DUBLIN TRINITY COLLEGE JS & SS Mathematics SS Theoretical Physics SS TSM Mathematics Faculty of Engineering, Mathematics and Science school of mathematics Trinity Term 2015 Module MA3429
More informationBLOCH INVARIANTS OF HYPERBOLIC 3-MANIFOLDS
BLOCH INVARIANTS OF HYPERBOLIC 3-MANIFOLDS WALTER D. NEUMANN AND JUN YANG Abstract. We define an invariant β(m) of a finite volume hyperbolic 3- manifold M in the Bloch group B(C) and show it is determined
More informationExamples of Mahler Measures as Multiple Polylogarithms
Examples of Mahler Measures as Multiple Polylogarithms The many aspects of Mahler s measure Banff International Research Station for Mathematical Innovation and Discovery BIRS, Banff, Alberta, Canada April
More informationEvgeniy V. Martyushev RESEARCH STATEMENT
Evgeniy V. Martyushev RESEARCH STATEMENT My research interests lie in the fields of topology of manifolds, algebraic topology, representation theory, and geometry. Specifically, my work explores various
More informationCombinatorics of Triangulations and the Chern-Simons Invariant for Hyperbolic 3-Manifolds
Combinatorics of Triangulations and the Chern-Simons Invariant for Hyperbolic 3-Manifolds Walter D Neumann 1 Introduction In this paper we prove some results on combinatorics of triangulations of 3-dimensional
More informationRandom Walks on Hyperbolic Groups III
Random Walks on Hyperbolic Groups III Steve Lalley University of Chicago January 2014 Hyperbolic Groups Definition, Examples Geometric Boundary Ledrappier-Kaimanovich Formula Martin Boundary of FRRW on
More informationCopyright. Matilde Noemi Lalin
Copyright by Matilde Noemi Lalin 005 The Dissertation Committee for Matilde Noemi Lalin certifies that this is the approved version of the following dissertation: Some relations of Mahler measure with
More informationIntroduction to Modular Forms
Introduction to Modular Forms Lectures by Dipendra Prasad Written by Sagar Shrivastava School and Workshop on Modular Forms and Black Holes (January 5-14, 2017) National Institute of Science Education
More informationAn introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109
An introduction to arithmetic groups Lizhen Ji CMS, Zhejiang University Hangzhou 310027, China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 June 27, 2006 Plan. 1. Examples of arithmetic groups
More informationCOUNTING MOD l SOLUTIONS VIA MODULAR FORMS
COUNTING MOD l SOLUTIONS VIA MODULAR FORMS EDRAY GOINS AND L. J. P. KILFORD Abstract. [Something here] Contents 1. Introduction 1. Galois Representations as Generating Functions 1.1. Permutation Representation
More informationVoevodsky s Construction Important Concepts (Mazza, Voevodsky, Weibel)
Motivic Cohomology 1. Triangulated Category of Motives (Voevodsky) 2. Motivic Cohomology (Suslin-Voevodsky) 3. Higher Chow complexes a. Arithmetic (Conjectures of Soulé and Fontaine, Perrin-Riou) b. Mixed
More informationSOME SPECIAL KLEINIAN GROUPS AND THEIR ORBIFOLDS
Proyecciones Vol. 21, N o 1, pp. 21-50, May 2002. Universidad Católica del Norte Antofagasta - Chile SOME SPECIAL KLEINIAN GROUPS AND THEIR ORBIFOLDS RUBÉN HIDALGO Universidad Técnica Federico Santa María
More informationCommensurability of hyperbolic Coxeter groups: theory and computation
RIMS Kôkyûroku Bessatsu Bx (201x), 000 000 Commensurability of hyperbolic Coxeter groups: theory and computation By Rafael Guglielmetti, Matthieu Jacquemet and Ruth Kellerhals Abstract For hyperbolic Coxeter
More informationDIFFERENTIAL GEOMETRY HW 5
DIFFERENTIAL GEOMETRY HW 5 CLAY SHONKWILER 1 Check the calculations above that the Gaussian curvature of the upper half-plane and Poincaré disk models of the hyperbolic plane is 1. Proof. The calculations
More informationZeta functions in Number Theory and Combinatorics
Zeta functions in Number Theory and Combinatorics Winnie Li Pennsylvania State University, U.S.A. and National Center for Theoretical Sciences, Taiwan 1 1. Riemann zeta function The Riemann zeta function
More informationGalois groups with restricted ramification
Galois groups with restricted ramification Romyar Sharifi Harvard University 1 Unique factorization: Let K be a number field, a finite extension of the rational numbers Q. The ring of integers O K of K
More informationCOMPLEX MULTIPLICATION: LECTURE 15
COMPLEX MULTIPLICATION: LECTURE 15 Proposition 01 Let φ : E 1 E 2 be a non-constant isogeny, then #φ 1 (0) = deg s φ where deg s is the separable degree of φ Proof Silverman III 410 Exercise: i) Consider
More informationHyperbolic Geometry on Geometric Surfaces
Mathematics Seminar, 15 September 2010 Outline Introduction Hyperbolic geometry Abstract surfaces The hemisphere model as a geometric surface The Poincaré disk model as a geometric surface Conclusion Introduction
More informationEquations for Hilbert modular surfaces
Equations for Hilbert modular surfaces Abhinav Kumar MIT April 24, 2013 Introduction Outline of talk Elliptic curves, moduli spaces, abelian varieties 2/31 Introduction Outline of talk Elliptic curves,
More information15 Dirichlet s unit theorem
18.785 Number theory I Fall 2017 Lecture #15 10/30/2017 15 Dirichlet s unit theorem Let K be a number field. The two main theorems of classical algebraic number theory are: The class group cl O K is finite.
More informationEXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.
EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is
More informationCopyright by Matilde Noem ı Lal ın 2005
Copyright by Matilde Noemí Lalín 005 The Dissertation Committee for Matilde Noemí Lalín certifies that this is the approved version of the following dissertation: Some relations of Mahler measure with
More informationFinite Quotients of the Picard Group and Related Hyperbolic Tetrahedral and Bianchi Groups
Rend. Istit. Mat. Univ. Trieste Suppl. 1 Vol. XXXII, 57 88 (001) Finite Quotients of the Picard Group and Related Hyperbolic Tetrahedral and Bianchi Groups Luisa Paoluzzi and Bruno Zimmermann ( ) Summary.
More informationPoincaré Models of Hyperbolic Geometry
Chapter 9 Poincaré Models of Hyperbolic Geometry 9.1 The Poincaré Upper Half Plane Model The next model of the hyperbolic plane that we will consider is also due to Henri Poincaré. We will be using the
More informationMöbius Transformation
Möbius Transformation 1 1 June 15th, 2010 Mathematics Science Center Tsinghua University Philosophy Rigidity Conformal mappings have rigidity. The diffeomorphism group is of infinite dimension in general.
More informationOn the Volume Formula for Hyperbolic Tetrahedra
Discrete Comput Geom :347 366 (999 Discrete & Computational Geometry 999 Springer-Verlag New York Inc. On the Volume Formula for Hyperbolic Tetrahedra Yunhi Cho and Hyuk Kim Department of Mathematics,
More information1 Structures 2. 2 Framework of Riemann surfaces Basic configuration Holomorphic functions... 3
Compact course notes Riemann surfaces Fall 2011 Professor: S. Lvovski transcribed by: J. Lazovskis Independent University of Moscow December 23, 2011 Contents 1 Structures 2 2 Framework of Riemann surfaces
More informationOn the Langlands Program
On the Langlands Program John Rognes Colloquium talk, May 4th 2018 The Norwegian Academy of Science and Letters has decided to award the Abel Prize for 2018 to Robert P. Langlands of the Institute for
More informationComputations with Coleman integrals
Computations with Coleman integrals Jennifer Balakrishnan Harvard University, Department of Mathematics AWM 40 Years and Counting (Number Theory Session) Saturday, September 17, 2011 Outline 1 Introduction
More informationNahm s conjecture about modularity of q-series
(joint work with S. Zwegers) Oberwolfach July, 0 Let r and F A,B,C (q) = q nt An+n T B+C n (Z 0 ) r (q) n... (q) nr, q < where A M r (Q) positive definite, symmetric n B Q n, C Q, (q) n = ( q k ) k= Let
More informationHilbert s 3rd Problem and Invariants of 3 manifolds
ISSN 1464-8997 (on line) 1464-8989 (printed) 383 Geometry & Topology Monographs Volume 1: The Epstein birthday schrift Pages 383 411 Hilbert s 3rd Problem and Invariants of 3 manifolds Walter D Neumann
More informationA comment on the bianchi groups
6 JACM, No, 6-7 (08) Journal of Abstract and Computational Mathematics http://wwwntmscicom/jacm A comment on the bianchi groups Murat Beşenk Department of Mathematics, Pamukkale University, Denizli, Turkey
More informationExplicit Methods in Algebraic Number Theory
Explicit Methods in Algebraic Number Theory Amalia Pizarro Madariaga Instituto de Matemáticas Universidad de Valparaíso, Chile amaliapizarro@uvcl 1 Lecture 1 11 Number fields and ring of integers Algebraic
More informationDISCRETE SUBGROUPS, LATTICES, AND UNITS.
DISCRETE SUBGROUPS, LATTICES, AND UNITS. IAN KIMING 1. Discrete subgroups of real vector spaces and lattices. Definitions: A lattice in a real vector space V of dimension d is a subgroup of form: Zv 1
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 informationTHE UNIT GROUP OF A REAL QUADRATIC FIELD
THE UNIT GROUP OF A REAL QUADRATIC FIELD While the unit group of an imaginary quadratic field is very simple the unit group of a real quadratic field has nontrivial structure Its study involves some geometry
More informationYou may not start to read the questions printed on the subsequent pages until instructed to do so by the Invigilator.
MATHEMATICAL TRIPOS Part IA Tuesday 7 June 2005 1.30 to 4.30 PAPER 3 Before you begin read these instructions carefully. The examination paper is divided into two sections. Each question in Section II
More informationLECTURES ON SHIMURA CURVES: ARITHMETIC FUCHSIAN GROUPS
LECTURES ON SHIMURA CURVES: ARITHMETIC FUCHSIAN GROUPS PETE L. CLARK 1. What is an arithmetic Fuchsian group? The class of Fuchsian groups that we are (by far) most interested in are the arithmetic groups.
More informationTopological and arithmetic intersection numbers attached to real quadratic cycles
Topological and arithmetic intersection numbers attached to real quadratic cycles Henri Darmon, McGill University Jan Vonk, McGill University Workshop, IAS, November 8 This is joint work with Jan Vonk
More informationx #{ p=prime p x }, as x logx
1 The Riemann zeta function for Re(s) > 1 ζ s -s ( ) -1 2 duality between primes & complex zeros of zeta using Hadamard product over zeros prime number theorem x #{ p=prime p x }, as x logx statistics
More informationGalois Theory of Several Variables
On National Taiwan University August 24, 2009, Nankai Institute Algebraic relations We are interested in understanding transcendental invariants which arise naturally in mathematics. Satisfactory understanding
More informationThe Mahler measure of elliptic curves
The Mahler measure of elliptic curves Matilde Lalín (Université de Montréal) joint with Detchat Samart (University of Illinois at Urbana-Champaign) and Wadim Zudilin (University of Newcastle) mlalin@dms.umontreal.ca
More informationAlgebraic structures I
MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one
More informationThe Real Grassmannian Gr(2, 4)
The Real Grassmannian Gr(2, 4) We discuss the topology of the real Grassmannian Gr(2, 4) of 2-planes in R 4 and its double cover Gr + (2, 4) by the Grassmannian of oriented 2-planes They are compact four-manifolds
More informationComputing modular polynomials in dimension 2 ECC 2015, Bordeaux
Computing modular polynomials in dimension 2 ECC 2015, Bordeaux Enea Milio 29/09/2015 Enea Milio Computing modular polynomials 29/09/2015 1 / 49 Computing modular polynomials 1 Dimension 1 : elliptic curves
More informationThe Seidel problem on the volume of hyperbolic tetrahedra
The Seidel problem on the volume of hyperbolic tetrahedra N. Abrosimov Sobolev Institute of Mathematics, Novosibirsk, Russia Warwick Mathematics Institute, July 6, 2007. J.J. Seidel, On the volume of a
More informationALGEBRAIC GEOMETRY AND RIEMANN SURFACES
ALGEBRAIC GEOMETRY AND RIEMANN SURFACES DANIEL YING Abstract. In this thesis we will give a present survey of the various methods used in dealing with Riemann surfaces. Riemann surfaces are central in
More information15 Elliptic curves and Fermat s last theorem
15 Elliptic curves and Fermat s last theorem Let q > 3 be a prime (and later p will be a prime which has no relation which q). Suppose that there exists a non-trivial integral solution to the Diophantine
More informationDivisor class groups of affine complete intersections
Divisor class groups of affine complete intersections Lambrecht, 2015 Introduction Let X be a normal complex algebraic variety. Then we can look at the group of divisor classes, more precisely Weil divisor
More informationFrom the elliptic regulator to exotic relations
An. Şt. Univ. Ovidius Constanţa Vol. 16(), 008, 117 16 From the elliptic regulator to exotic relations Nouressadat TOUAFEK Abstract In this paper we prove an identity between the elliptic regulators of
More informationThe j-function, the golden ratio, and rigid meromorphic cocycles
The j-function, the golden ratio, and rigid meromorphic cocycles Henri Darmon, McGill University CNTA XV, July 2018 Reminiscences of CNTA 0 The 1987 CNTA in Quebec City was an exciting one for me personally,
More informationLinear Algebra. Workbook
Linear Algebra Workbook Paul Yiu Department of Mathematics Florida Atlantic University Last Update: November 21 Student: Fall 2011 Checklist Name: A B C D E F F G H I J 1 2 3 4 5 6 7 8 9 10 xxx xxx xxx
More informationMATH 797MF PROBLEM LIST
MATH 797MF PROBLEM LIST PAUL E. GUNNELLS Please complete 20 of these problems. You can hand them in at any time, but please try to submit them in groups of 5 at a time. The problems cover a lot of different
More informationA Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds
arxiv:math/0312251v1 [math.dg] 12 Dec 2003 A Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds Haibao Duan Institute of Mathematics, Chinese Academy of Sciences, Beijing 100080, dhb@math.ac.cn
More informationPeriod Domains. Carlson. June 24, 2010
Period Domains Carlson June 4, 00 Carlson - Period Domains Period domains are parameter spaces for marked Hodge structures. We call Γ\D the period space, which is a parameter space of isomorphism classes
More informationAbstract Algebra II Groups ( )
Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition
More informationContinuing the pre/review of the simple (!?) case...
Continuing the pre/review of the simple (!?) case... Garrett 09-16-011 1 So far, we have sketched the connection between prime numbers, and zeros of the zeta function, given by Riemann s formula p m
More informationGroups of units of integral group rings of Kleinian type
Groups of units of integral group rings of Kleinian type Antonio Pita, Ángel del Río and Manuel Ruiz May, 004 Abstract We explore a method to obtain presentations of the group of units of an integral group
More informationIrrationality proofs, moduli spaces, and dinner parties
Irrationality proofs, moduli spaces, and dinner parties Francis Brown, IHÉS-CNRS las, Members Colloquium 17th October 2014 1 / 32 Part I History 2 / 32 Zeta values and Euler s theorem Recall the Riemann
More informationMath 530 Lecture Notes. Xi Chen
Math 530 Lecture Notes Xi Chen 632 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca 1991 Mathematics Subject Classification. Primary
More informationTHE SELBERG TRACE FORMULA OF COMPACT RIEMANN SURFACES
THE SELBERG TRACE FORMULA OF COMPACT RIEMANN SURFACES IGOR PROKHORENKOV 1. Introduction to the Selberg Trace Formula This is a talk about the paper H. P. McKean: Selberg s Trace Formula as applied to a
More informationIntroduction to Shimura Curves
Introduction to Shimura Curves Alyson Deines Today 1 Motivation In class this quarter we spent a considerable amount of time studying the curves X(N = Γ(N \ H, X 0 (N = Γ 0 (N \ H, X 1 (NΓ 1 (N \ H, where
More informationSmooth Dynamics 2. Problem Set Nr. 1. Instructor: Submitted by: Prof. Wilkinson Clark Butler. University of Chicago Winter 2013
Smooth Dynamics 2 Problem Set Nr. 1 University of Chicago Winter 2013 Instructor: Submitted by: Prof. Wilkinson Clark Butler Problem 1 Let M be a Riemannian manifold with metric, and Levi-Civita connection.
More informationz n. n=1 For more information on the dilogarithm, see for example [Zagier, 2007]. Note that for z < 1, the derivative of ψ(z) satisfies = 1 (z) = n
CHAPTER 8 Volumes We have seen that hyperbolic 3-manifolds have finite volume if and only if they are compact or the interior of a compact manifold with finitely many torus boundary components. However,
More informationSome algebraic number theory and the reciprocity map
Some algebraic number theory and the reciprocity map Ervin Thiagalingam September 28, 2015 Motivation In Weinstein s paper, the main problem is to find a rule (reciprocity law) for when an irreducible
More informationIN POSITIVE CHARACTERISTICS: 3. Modular varieties with Hecke symmetries. 7. Foliation and a conjecture of Oort
FINE STRUCTURES OF MODULI SPACES IN POSITIVE CHARACTERISTICS: HECKE SYMMETRIES AND OORT FOLIATION 1. Elliptic curves and their moduli 2. Moduli of abelian varieties 3. Modular varieties with Hecke symmetries
More informationBianchi Orbifolds of Small Discriminant. A. Hatcher
Bianchi Orbifolds of Small Discriminant A. Hatcher Let O D be the ring of integers in the imaginary quadratic field Q( D) of discriminant D
More information1 Fields and vector spaces
1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary
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 information6 Orthogonal groups. O 2m 1 q. q 2i 1 q 2i. 1 i 1. 1 q 2i 2. O 2m q. q m m 1. 1 q 2i 1 i 1. 1 q 2i. i 1. 2 q 1 q i 1 q i 1. m 1.
6 Orthogonal groups We now turn to the orthogonal groups. These are more difficult, for two related reasons. First, it is not always true that the group of isometries with determinant 1 is equal to its
More informationLocally Symmetric Varieties
Locally Symmetric Varieties So far, we have only looked at Hermitian symmetric domains. These have no algebraic structure (e.g., think about the case of the unit disk D 1 ). This part of the course will
More informationMath 797W Homework 4
Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition
More informationChern numbers and Hilbert Modular Varieties
Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point
More informationPart IB Geometry. Theorems. Based on lectures by A. G. Kovalev Notes taken by Dexter Chua. Lent 2016
Part IB Geometry Theorems Based on lectures by A. G. Kovalev Notes taken by Dexter Chua Lent 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after lectures.
More informationGeometry and analysis on hyperbolic manifolds
Outline Geometry and analysis on hyperbolic manifolds Yiannis Petridis 1,2 1 The Graduate Center and Lehman College City University of New York 2 Max-Planck-Institut für Mathematik, Bonn April 20, 2005
More informationAlgebraic number theory
Algebraic number theory F.Beukers February 2011 1 Algebraic Number Theory, a crash course 1.1 Number fields Let K be a field which contains Q. Then K is a Q-vector space. We call K a number field if dim
More informationSome. Manin-Mumford. Problems
Some Manin-Mumford Problems S. S. Grant 1 Key to Stark s proof of his conjectures over imaginary quadratic fields was the construction of elliptic units. A basic approach to elliptic units is as follows.
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More information