Geometry and analysis on hyperbolic manifolds

Transcription

1 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

2 Outline 1 Physical background 2 Hyperbolic manifolds 3 Eigenfunctions 4 Periodic orbits 5 Free groups

3 Systems in physics Quantum Mechanics Free Particle (non-relativistic) on M satisfies Schrödinger equation i 2 Ψ(x, t) = Ψ(x, t) t 2m Separate variable Ψ(x, t) = e iet/ φ(x). Set = 2m = 1 φ j + E j φ j = 0, E j eigenvalues, φ j eigenfunctions

4 Systems in physics Quantum Mechanics Free Particle (non-relativistic) on M satisfies Schrödinger equation i 2 Ψ(x, t) = Ψ(x, t) t 2m Separate variable Ψ(x, t) = e iet/ φ(x). Set = 2m = 1 φ j + E j φ j = 0, E j eigenvalues, φ j eigenfunctions

5 Systems in physics Quantum Mechanics Free Particle (non-relativistic) on M satisfies Schrödinger equation i 2 Ψ(x, t) = Ψ(x, t) t 2m Separate variable Ψ(x, t) = e iet/ φ(x). Set = 2m = 1 φ j + E j φ j = 0, E j eigenvalues, φ j eigenfunctions

6 Statistical Properties of Solutions Semiclassical limit: E j Classically integrable Barry-Tabor conjecture: E j independent random variables Localization of φ j along periodic orbits Examples Flat tori, Heisenberg manifolds Chaotic systems Bohigas-Giannoni- Schmit conjecture: Random Matrix Theory Random Wave Conjecture for φ j Examples Hyperbolic manifolds, Anosov flows

7 Statistical Properties of Solutions Semiclassical limit: E j Classically integrable Barry-Tabor conjecture: E j independent random variables Localization of φ j along periodic orbits Examples Flat tori, Heisenberg manifolds Chaotic systems Bohigas-Giannoni- Schmit conjecture: Random Matrix Theory Random Wave Conjecture for φ j Examples Hyperbolic manifolds, Anosov flows

8 Statistical Properties of Solutions Semiclassical limit: E j Classically integrable Barry-Tabor conjecture: E j independent random variables Localization of φ j along periodic orbits Examples Flat tori, Heisenberg manifolds Chaotic systems Bohigas-Giannoni- Schmit conjecture: Random Matrix Theory Random Wave Conjecture for φ j Examples Hyperbolic manifolds, Anosov flows

9 Statistical Properties of Solutions Semiclassical limit: E j Classically integrable Barry-Tabor conjecture: E j independent random variables Localization of φ j along periodic orbits Examples Flat tori, Heisenberg manifolds Chaotic systems Bohigas-Giannoni- Schmit conjecture: Random Matrix Theory Random Wave Conjecture for φ j Examples Hyperbolic manifolds, Anosov flows

10 The Hyperbolic Disc Model of hyperbolic geometry H = {z = x + iy C, z < 1} Hyperbolic metric ds 2 = dx 2 + dy 2 (1 (x 2 + y 2 )) 2

11 The Hyperbolic Disc Model of hyperbolic geometry H = {z = x + iy C, z < 1} Hyperbolic metric ds 2 = dx 2 + dy 2 (1 (x 2 + y 2 )) 2

12 Geodesics in Hyperbolic Disc Semicircles perpendicular to boundary Diameters

13 Geodesics in Hyperbolic Disc Semicircles perpendicular to boundary Diameters

14 The group SL 2 (Z) Upper-half space model H = {z = x + iy, y > 0} The fundamental domain of SL 2 (Z) Identifications z z + 1 z 1 z Group: SL 2 (Z) T (z) = az + b, ad bc = 1 cz + d a, b, c, d Z

15 The group SL 2 (Z) Upper-half space model H = {z = x + iy, y > 0} The fundamental domain of SL 2 (Z) Identifications z z + 1 z 1 z Group: SL 2 (Z) T (z) = az + b, ad bc = 1 cz + d a, b, c, d Z

16 The group SL 2 (Z) Upper-half space model H = {z = x + iy, y > 0} The fundamental domain of SL 2 (Z) Identifications z z + 1 z 1 z Group: SL 2 (Z) T (z) = az + b, ad bc = 1 cz + d a, b, c, d Z

17 The group SL 2 (Z) Upper-half space model H = {z = x + iy, y > 0} The fundamental domain of SL 2 (Z) Identifications z z + 1 z 1 z Group: SL 2 (Z) T (z) = az + b, ad bc = 1 cz + d a, b, c, d Z

18 The group SL 2 (Z) Upper-half space model H = {z = x + iy, y > 0} The fundamental domain of SL 2 (Z) Identifications z z + 1 z 1 z Group: SL 2 (Z) T (z) = az + b, ad bc = 1 cz + d a, b, c, d Z

19 Arithmetic subgroups of SL 2 (Z) Example Fundamental Domain for Γ 0 (6) Hecke subgroups Γ 0 (N) az + b cz + d SL 2(Z), N c

20 Tesselations T 1 F F TF T 1 JF JF T JF T 2 UTF T 1 U 2 F T 1 UTF U 2 F UTF TU 2 F Figure: Translates of the fundamental domain of SL 2 (Z) Figure: Triangles in the disc

21

22 Contour plots of eigenfunctions of H/Γ 0 (7) Figure: λ = λ =

23 Contour plots of eigenfunctions of H/Γ 0 (3) Figure: λ = λ =

24 Distribution of periodic orbits of H/Γ Periodic orbits are closed geodesics γ. Prime Geodesic Theorem π(x) = {γ, length (γ) e x } π(x) x lnx, x Prime Number Theorem π(x) = {p prime, p x} π(x) x lnx, x

25 Distribution of periodic orbits of H/Γ Periodic orbits are closed geodesics γ. Prime Geodesic Theorem π(x) = {γ, length (γ) e x } π(x) x lnx, x Prime Number Theorem π(x) = {p prime, p x} π(x) x lnx, x

26 Distribution of periodic orbits of H/Γ Periodic orbits are closed geodesics γ. Prime Geodesic Theorem π(x) = {γ, length (γ) e x } π(x) x lnx, x Prime Number Theorem π(x) = {p prime, p x} π(x) x lnx, x

27 Free groups Cayley graph: tree k = 2 1 Vertices= words 2 Edges labelled by A, B, A 1, B 1 gb 1 B 1 ga A Free group G = F(A 1, A 2, A 3,..., A k ) No relations, only A j A 1 j = 1 g B gb A -1 ga 1

28 Free groups Cayley graph: tree k = 2 1 Vertices= words 2 Edges labelled by A, B, A 1, B 1 gb 1 B 1 ga A Free group G = F(A 1, A 2, A 3,..., A k ) No relations, only A j A 1 j = 1 g B gb A -1 ga 1

29 Free groups Cayley graph: tree k = 2 1 Vertices= words 2 Edges labelled by A, B, A 1, B 1 gb 1 B 1 ga A Free group G = F(A 1, A 2, A 3,..., A k ) No relations, only A j A 1 j = 1 g B gb A -1 ga 1

30 Free groups Cayley graph: tree k = 2 1 Vertices= words 2 Edges labelled by A, B, A 1, B 1 gb 1 B 1 ga A Free group G = F(A 1, A 2, A 3,..., A k ) No relations, only A j A 1 j = 1 g B gb A -1 ga 1

31 Discrete Logarithms Definition wl(g) = distance from 1 in the tree log A (g) = sum of the exponents of A in g log B (g) = sum of the exponents of B in g Example log A (B 2 A 3 B 2 A 1 ) = 3 1 = 2 wl(b 2 A 3 B 2 A 1 ) = = 8 Theorem (Y. Petridis, M. S. Risager 2004) Gaussian Law for cyclically reduced g #{g wl(g) x, k 1 wl(g) log A (g) [a, b]} as x #{g wl(g) x} 1 2π b a e u2 /2 du,

32 Discrete Logarithms Definition wl(g) = distance from 1 in the tree log A (g) = sum of the exponents of A in g log B (g) = sum of the exponents of B in g Example log A (B 2 A 3 B 2 A 1 ) = 3 1 = 2 wl(b 2 A 3 B 2 A 1 ) = = 8 Theorem (Y. Petridis, M. S. Risager 2004) Gaussian Law for cyclically reduced g #{g wl(g) x, k 1 wl(g) log A (g) [a, b]} as x #{g wl(g) x} 1 2π b a e u2 /2 du,

33 Discrete Logarithms Definition wl(g) = distance from 1 in the tree log A (g) = sum of the exponents of A in g log B (g) = sum of the exponents of B in g Example log A (B 2 A 3 B 2 A 1 ) = 3 1 = 2 wl(b 2 A 3 B 2 A 1 ) = = 8 Theorem (Y. Petridis, M. S. Risager 2004) Gaussian Law for cyclically reduced g #{g wl(g) x, k 1 wl(g) log A (g) [a, b]} as x #{g wl(g) x} 1 2π b a e u2 /2 du,

34 Back to H/Γ: Cohomological restrictions Let α be a differential 1-form with α = 1. Theorem (Y. Petridis, M. S. Risager 2004) Gaussian Law for periodic orbits γ Let γ have length l(γ). Set [γ, α] = Then, as x, vol(m) α. 2l(γ) γ # {γ π 1 (M) [γ, α] [a, b], l(γ) x} #{γ π 1 (X) l(γ) x} 1 b e u2 /2 du 2π a

35 What are cohomological restrictions Figure: A surface of genus 2 Homology basis A 1, A 2, A 3, A 4. 4 γ = n j A j γ j=1 α = 4 n j α A j j=1 counts (with weights) how many times γ wraps around holes or handles

36 What are cohomological restrictions Figure: A surface of genus 2 Homology basis A 1, A 2, A 3, A 4. 4 γ = n j A j γ j=1 α = 4 n j α A j j=1 counts (with weights) how many times γ wraps around holes or handles

37 What are cohomological restrictions Figure: A surface of genus 2 Homology basis A 1, A 2, A 3, A 4. 4 γ = n j A j γ j=1 α = 4 n j α A j j=1 counts (with weights) how many times γ wraps around holes or handles

38 Duality between periods and eigenvalues Periods Eigenvalues

39 Duality between periods and eigenvalues Periods Trace Formulae Eigenvalues

40 Duality between periods and eigenvalues Periods Trace Formulae Eigenvalues Lengths of closed geodesics Selberg Trace formula Laplace eigenvalues

41 Duality between periods and eigenvalues Periods Trace Formulae Eigenvalues Lengths of closed geodesics Lengths of words Selberg Trace formula Ihara Trace formula Laplace eigenvalues Eigenvalues of adjacency matrix

42 Berry s Gaussian conjecture vol(z A, φ j (z) E) vol(a) 1 2πσ σ 2 = E 1 vol(h/γ) exp( u 2 /2σ) du, j

43 Credits for the pictures 1 V. Golovshanski, N. Motrov: preprint, Inst. Appl. Math. Khabarovsk (1982) 2 D. Hejhal, B. Rackner: On the topography of Maass waveforms for PSL(2, Z ). Experiment. Math. 1 (1992), no. 4, A. Krieg: F. Stromberg: fredrik/research/gallery/ 6 H. Verrill: verrill/