Quantum Moduli Spaces L. Chekhov Steklov Mathematical Institute, Gubkina 8, , GSP{1, Moscow, Russia Abstract Possible scenario for quantizing th
|
|
- Emory Reeves
- 5 years ago
- Views:
Transcription
1 Quantum Moduli Spaces L. Chekhov Steklov Mathematical Institute, Gubkina 8, 7966, GSP{, Moscow, Russia bstract Possible scenario for quantizing the moduli spaces of Riemann curves is considered. The proper quantum observables are quantum geodesics that are invariant with respect to a quantum modular group and satisfy the quantum algebra. Introduction problem of constructing an appropriate quantum analogue of moduli spaces of various structures related to the higher genus Riemann surfaces drew much attention. In [], the gauge theory on graphs were associated with the moduli space of at connections. mazingly, the moduli spaces of complex structures of Riemann surfaces had not been adequately quantized. The main trouble is the huge discrete symmetry group (the modular group) of the moduli space. So, the moduli spaces are orbifolds of very involved structures. convenient way to deal with these symmetry groups is to consider a triangulation of the moduli space a la Penner and Kontsevich [2, 3]. This triangulation admits the description in terms of graphs, which we extensively use in the present paper. Besides, in classical case, the Kontsevich matrix model was constructed [3] that generate all observables for 2D quantum gravity with matter. The question of physical content of such quantum systems remains open. Indeed, already classical cohomology theory of moduli spaces of Riemann chekhov@genesis.mi.ras.ru.
2 surfaces provides a description of quantum topological 2D gravity therefore, the extra quantization procedure could be related to quantizing the 2D space{ time itself. 2 Classical moduli spaces Recall briey a classical description of Teichmuller spaces of complex structures on Riemann surfaces with holes (punctures). Teichmuller space T h is a space of complex structures on S modulo dieomorphisms homotopy equivalent to identity. This complex structure inambiguously determines a metric on the Riemann surface, while, in this metric, a neighborhood of each hole corresponds to the exponential mapping from the punctured disc to a half-innite cylinder. n oriented 2D surface can be continuously conformally transformed to the constant curvature surface. The Poincare uniformization theorem claims that any complex surface S of a constant negative curvature (equal ; in what follows) is a quotient of the upper half-plane H +, endowed with the hyperbolic metric, by a discrete Fuchsian subgroup (S) of the automorphism group PSL(2 R), S = H + =(S): In the hyperbolic metric, geodesics are either half-innite circles with endpoints at the real line R or vertical half-lines all points of the boundary R are at innite distance from each other and from any interior point. nyhyperbolic homotopy class of closed curves contains a unique closed geodesic of the length l() = jlog = 2 j, where and 2 are (dierent) eigenvalues of the element of PSL(2 R) that corresponds to. 2. Teichmuller space T H (S) of surfaces with holes. The graph technique The central point of the construction is a description of the moduli space T H (S) in terms of oriented graphs. Let a fat graph (oriented graph) ; be a graph with the given cyclic ordering of edges entering each (usually, three-valent) vertex. Then, to each (unoriented) edge we put into the correspondence the real number Z 2 R 2
3 the set of all such numbers is fz j 2 E(;)g where E(;) is the set of all (unoriented) edges of the graph ;. Theorem For a given three-valent graph ; of the given genus g and number of punctures n, there exists a one-to-one correspondence between the set of points of T H (S) and the set R #edges of edges of this graph supplied with real numbers (lengths). We propose the explicit way to construct the Fuchsian group (S) PSL(2 R) such that S = H + =(S). To each edge we associate the matrix X z 2 PSL(2 R) ofthemobius transform! 0 ; e X z = Z=2 e ;Z=2 : (2.) 0 In order to parametrize a path over edges of the graph, we introduce the matrices of the \right" and \left" turns R = ; 0! L R 2 = 0 ; ;! : (2.2) We introduce now the notion of geodesic on the graph. Let a closed path in the graph ; be any oriented path, which starts and terminates at some oriented edge (point) of the corresponding graph. To each such path we put into the correspondence the product of matrices P z z n = LX zn LX zn; RX zn;2 RX z2 LX z, where the matrices L or R are inserted depending on which turn left or right the path is going on the corresponding step. Proposition [6]. There is a one-to-one correspondence between the set of all oriented paths fp z z n g and closed (oriented) geodesics fg on the moduli space. Moreover, the length L() of a geodesic can be determined as follows: G() 2 cosh L()=2 = tr P z z n : (2.3) 2. Considering the universal covering T ; of the graph ;, ;=T ; = ;, where ; is the Fuchsian group of the graph ;, we obtain that there is a one-toone correspondence between the set of all closed geodesics and the primitive conjugacy classes f i g ;. 3
4 Summing up, we have the following chain of the one-to-one correspondences: 8 >< >: conjugacy classes of (S) PSL(2 R) 9 8 >= >< > $ >: 2.2 Weil{Peterson forms closed geodesics on S 9 8 >= >< > $ >: closed paths in (any of) the graph ;(S) canonical Poisson structure called the Weil{Peterson structure exists on the set of coordinates fz g. This structure is degenerate, and the Casimir functions are just the lengths of geodesics surrounding holes. Fixing all these lengths, we obtain a symlpectic leaf. On every such leaf, the Poisson structure can be inverted as to give a symplectic structure. The resulting degenerate two-form is also called the Weil{Peterson form [2]. Denote () the oriented edge that is obtained from an oriented edge by rotating by the angle 2=3 clockwise around the vertex these edges are starting with and denote ; the oriented edge that are opposite to an edge. Then, the Weil{Peterson Poisson brackets are fz Z g = 8 >< >: 9 >= > : if () = or ; and 6= () ; if = () or ; () and 6= () 2 if = () or () ;2 if () = or 0 otherwise: (2.4) 2.3 Classical modular transformations In [6], the graph transformations that preserve Poisson structure (2.4) were obtained. There exists a natural operation called the ip or Whitehead move, which corresponds to transitions between graphs. We must determine such a transformation of the variables Z that, rst, preserve the Poisson structure and, second, after a series of ips that transform a graph to itself, the resulting transformation should be the identity. This implies the presence of another relation called the pentagon identity. It appears that the transformations depicted in Fig. (2.5) satisfy both the demands. 4
5 In the classical case [6], f B C D Zg! f + (Z) B; (;Z) C+ (Z) D; (;Z) ;Zg f e e B e C f D e Zg (2.5) (Z) = log( e Z +): Lemma Transformation (2.5) preserves the products over paths, so the classical geodesic length is a modular-invariant function. H B HH H Z H HH H D C - + (Z) D ; (;Z) Fig. ;Z B ; (;Z) C + (Z) 2.4 Poisson algebra of geodesics The functions fg g (2.3) were studied in [7]. They generate a Poisson algebra (w.r.t. the multiplication and the Weil-Petersson Poisson bracket) over Z. (It means that a product and a Poisson bracket of two such functions is a linear combination of such functions with integer coecients.) Consider now the Poisson structure of geodesics. Two nonintersecting geodesics have trivial bracket and, due to the linearity property, we may consider only \simple" intersections of two geodesics G and G 2 of the form G = tr :::X C R X Z L X ::: (2.6) G 2 = tr 2 :::X 2 B L2 X 2 Z R2 X 2 D ::: (2.7) respectively. (Superscripts and 2 label the matrix spaces.) Poisson bracket of geodesics is fg G 2 g = 2 (trg H ; tr G I ) (2.8) 5
6 where G I is the geodesic that is obtained by erasing the edge Z and joining together the edges \" and \D" as well as \B" and \C" in a natural way the geodesic G H passes over the edge Z twice, so it has the form tr :::X C R Z R D :::X B L Z L :::. These relations were obtained in [7] in the continuous parameterization (the classical Turaev{Viro algebra), and introducing an additional factor the total number $ ' of geodesics #G we can uniformly present the classical skein relation (;) #G ; ; ; + (;) #G % #G'$ &%= &+ (;) 0: 3 Quantization Once the graph ; is chosen, the corresponding Teichmuller space T H (S) can be easily quantized. Consider the -algebra T h (;) generated by real generators fzj h 2 E(;)g, (Z) h = Z h with the dening relations [Z h Zh ]=2ihfZ Z g cf. (2.4): (3.) This algebra has an obvious center generated by the perimeters of faces n P j 2 F (;) P = P 2 Zo h. One can easily describe all irreducible - representations of this algebra using the Stone{von Neumann theorem. n irreducible representaion is unambiguously xed by the values of the operators P. For example one can represent all operators Z h in L 2 (R n ), where n = (E(;) ; F (;)), by linear combinations with rational coecients stand- 2 ing by constants and the operators x i i, where fx i ji = ::: ng is a standard coordinate system on R n. Now our task is to identify the -algebras constructed using dierent graphs ; and ; 0 corresponding to a given surface S. In order to make this identication we just construct a -homomorphism K(; ; 0 ) : T h (;)! T h (; 0 ) of the -algebra generated by fz h 0j0 2 E(; 0 )g to the algebra generated by fz h j 2 E(;)g. We require this homomorphism to have the following properties:. Classical limit. We demand that the algebra homomorphism should tend to the classical homomorphim of the algebras fo function on T H when the parameter h tends to zero. 6
7 2. Path independence. We demand that if we have three graphs ;, ; 0 and ; 00 then the homomorphisms should satisfy the condition K(; 00 ; 0 )K(; 0 ;) = K(; 00 ;). One can check the latter condition only for one distinguished sequence of ips since others are just compositions of this one. Consider two edges having exactly one common vertex. Then, a sequence of ve ips of these edges (such that we never ip the same edge twice consequtively) does not change the graph. This becomed more geometrically transparent if we consider the dual graph where the two edges correspond to two edges separating three triangles forming a pentagon. pentagon can be cut into three triangles in only ve possible ways which are related by ips (Fig. 2) C 4 B B 4 H BB Q QQQ B HHHH X 4 BB D 4 Q Y 4 4 QQQ E 0 D ;; 0 B 3 B E 3 HHHH H Q Y 0 E 4 H BB Q X HHHH QQ 3 B Y 3 BB 0 Q C 0 B X 3 0 D 3 QQQ B B B 0 U B X HHHH H C E Y D Fig. 2 C 3 D 2 C 2 HHHH H Y 2 - E 2 B 2 X 2 2 (3.2) The quantum transforms of the edge variables are as in Fig. with the 7
8 function (z) =; h 2 Z e ;ipz dp (3.3) sinh(p)sinh(hp) and the contour goes along the real axis bypassing the origin from above. The function (3.3) and F (x h), F (x h) := exp(; 4 Z e ;ipx rst appeared in [8] possess the following properties. dp) (3.4) p sinh(p)sinh(hp). lim h!0 (x h) = log(e x + ) (classical limit). (3.5) 2. log F (x h) =(x (3.6) 3. F (x + ih h) =F (x ; ih h)( + e x ): (3.7) F (x + i) =F (x ; i)( + e h x ): (3.8) 4. (x h) =h h x h : (3.9) Lemma 2 [4] Quantum transformations (2.5) satisfy the pentagon identity. 3. Geodesic length operators The aim of this paragraph is to imbed the algebra of geodesics (2.3) into a suitable completion of the constructed algebra T h (S). The function G (2.3) can be expressed for any in terms of graph coordinates on T H, G tr P Z Z n = X j2j e 2 P 2E(;) m j ( )z (3.0) where m j ( ) are certain integer numbers and J is a nite set of indices. In order to nd the quantum analogues of these functions, we denote by T b h a completion of the algebra T h containing e xz for any real x. Let for any closed path on S, the operator G h 2 ^T h be G h tr P z :::z n = X j2j 2fjg This result was independently obtained by R. Kashaev [9]. e 2 P 2E(;) (m j ( )Z h +2ihc j ( )) : (3.) 8
9 Here some quantum ordering is assumed. The main problem is to nd the ordering that satisfy all of the conditions below. In (3.), the numbers m j ( ) are the same as in (3.0) and integer coecients c j ( ) areto be determined from the procedure of the quantum ordering. h Note that the operators fg g can be considered as belonging to the algebra ^T h. In terms of the generators of ^T h they are h G = X j2j e 2h P 2E(;) (m j ( )Z h +2ic j ( )) (3.2) Now let us formulate the dening properties of quantum geodesics.. Modular invariance. The modular group (S) (2.5) preserves the set fg h g, i.e., for any 2 (S) and any closed path, we have (Gh )=Gh. 2. Geodesic algebra. The product of two quantum geodesics is a linear combination of quantum geodesics governed by the skein relation [0]. 3. Unorientness. Quantum traces of direct and inverse geodesic operators coincide. 4. Exponents of geodesics. Being raised to any power n, a quantum geodesics G = 2 cosh L()=2 admits the expansion into the linear combination of quantum geodesics G k, k = ::: n the (binomial) coecients are the same as in the (classical) relation (2 cosh L()=2) n = [ n 2 ] X k=0 k n! 2cosh (n ; 2k)L()=2 : 5. For any and 0, the operators G h h and G commute If two closed paths and 0 do not intersect, then the operators G h and G h commute. 0 Let a simple geodesic be a geodesic that passes through each edge of a graph no more than once. We denote the Weyl ordering by a usual normal ordering symbol : ::::, i.e., :e a e a 2 e an : e a ++a n for any fa i g: Lemma 3 [4] If the quantum transformations (2.5) transform a simple geodesic G into the simple geodesic G, e than, for these geodesics, the quantum ordering is the Weyl ordering and all c j ( ) 0 in (3.). 9
10 Then we can consider modular transformations that do not preserve the simplicity property and compare the result with the one obtained from the algebraic relations. The question is which modication of the Weyl ordering produces the proper modular-invariant set of geodesics (3.)? We partially answer this question in the next section. 3.2 lgebra of quantum geodesics Let G and G 2 be two simple geodesics with nontrivial intersection. So, for G and G 2, formula (3.) implies, by virtue of Lemma 3, the mere Weyl ordering. fter some algebra we have (cf. (2.8)) where G G 2 = e ;ih=2 G Z + e ih=2 e GZ (3.3) G Z = tr tr 2 b (ca) b 2 (bd)[e e e 22 e 2 ; e 2 e 2 2 ; e 2 e 2 2] (3.4) just like G I in the classical case (2.8), whereas G e Z correction term, contains the quantum eg Z = tr tr 2 b (ca) b 2 (bd)(e ij e 2 ji)[x Z X 2 Z] = :tr tr 2 b (ca) b 2 (bd)(e ij e 2 ji)[x Z X 2 Z + 2( ; cos h)e e 2 22]: : Here e ij e 2 ji is the standard r-matrix that permutes the spaces \" and \2," so, as a result, the \skein" relation of the form (2.8) appears. Locally, this relation has exactly the form proposed by Turaev [0], i.e., for intersecting simple geodesics, we have the dening relation $ ' ; = ; ; e ;ih=2 % ih=2'$ &% G Z G f Z G 2 (3.5) 0
11 (The order of crossing G and G 2 depends on which geodesic occupies the rst place in the product.) Note, however, that assuming the geodesics G and G 2 to be simple, we may turn the geodesics G e Z again into the simple geodesics G e0 Z by performing the quantum ip w.r.t. the edge Z. If we now compare two inambiguously dened exrpessions: G e0 Z, which must be Weyl ordered, and e G Z obtained from the geodesic algebra, we nd that e G Z = e G 0 Z. Lemma 4 The quantum geodesic ordering generated by the geodesic ::: algebra is consistent with the quantum modular transformations (2.5), i.e., the quantum geodesic algebra is modular invariant. 4 Conclusion In this paper, we briey described how one may quantize the algebra of geodesics on moduli spaces of complex structures of Riemann surfaces. One may construct all the variety of classical as well as quantum geodesics from a nite number of rather simple objects the lengths of edges of the graph. I am grateful to the organizers of the International Seminar \Quarks'98" for the hospitality. The work was partially supported by the RFFI Grants No References [] V. V. Fock and. Rosly, Poisson structures on moduli of at connections on Riemann surfaces and r-matrices, Preprint ITEP72{92 (992) Flat connections and Poluybles, Theor. Math. Phys., 95, (993), 228. [2] R. C. Penner, The decorated Teichmuller space of Riemann surfaces, Commun. Math. Phys., 3, (988), 299. [3] M. Kontsevich, Intersection theory on the moduli space of curves and the matrix iry function, Commun. Math. Phys., 47, (992),. [4] L. Chekhov and V. Fock, talk on May, 25 at St. Petersburg Meeting on Selected Topics in Mathematical Physics, LOMI, 26{29 May, 997 the printed version is in preparation. [5] K. Strebel, Quadratic Dierentials, Springer, Berlin{Heidelberg{New York 984.
12 [6] V. V. Fock, Combinatorial description of the moduli space of projective structures, hepth/ [7] W. M. Goldman, Invariant functions on Lie groups and Hamiltonian ows of surface group representations, Invent. Math., 85, (986), 263. [8] L. D. Faddeev, Discrete Heisenberg{Weyl group and modular group, Lett. Math. Phys., 34, (995), 249{254. [9] R. M. Kashaev, Quantization of Teichmuller spaces and the quantum dilogarithm, preprint q-alg/ [0] V. G. Turaev, Skein quantization of Poisson algebras of loops on surfaces, nn. Scient. Ec. Norm. Sup., Ser. 4, 24, (99),
arxiv:math/ v1 [math.qa] 30 Aug 1999
1 Quantum Teichmüller space arxiv:math/9908165v1 [math.qa] 30 Aug 1999 L. Chekhov Steklov Mathematical Institute, Gubkina 8, 117966, GSP 1, Moscow, Russia E-mail: chekhov@mi.ras.ru and V.V. Fock Institute
More informationarxiv: v1 [math.ag] 10 Oct 2007
LECTURE NOTES ON QUANTUM TEICHMÜLLER THEORY. arxiv:0710.051v1 [math.ag] 10 Oct 007 LEONID CHEKHOV. Notes collected by M. Mazzocco Abstract. These notes are based on a lecture course by L. Chekhov held
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 informationQuantum cluster algebras from geometry
Based on Chekhov-M.M. arxiv:1509.07044 and Chekhov-M.M.-Rubtsov arxiv:1511.03851 Ptolemy Relation aa + bb = cc a b c c b a Ptolemy Relation (x 1, x 2, x 3, x 4, x 5, x 6, x 7, x 8, x 9 ) (x 1, x 2, x 3,
More informationintegrable systems in the dimer model R. Kenyon (Brown) A. Goncharov (Yale)
integrable systems in the dimer model R. Kenyon (Brown) A. Goncharov (Yale) 1. Convex integer polygon triple crossing diagram 2. Minimal bipartite graph on T 2 line bundles 3. Cluster integrable system.
More informationON POSITIVITY OF KAUFFMAN BRACKET SKEIN ALGEBRAS OF SURFACES
ON POSITIVITY OF KAUFFMAN BRACKET SKEIN ALGEBRAS OF SURFACES THANG T. Q. LÊ Abstract. We show that the Chebyshev polynomials form a basic block of any positive basis of the Kauffman bracket skein algebras
More informationCabling Procedure for the HOMFLY Polynomials
Cabling Procedure for the HOMFLY Polynomials Andrey Morozov In collaboration with A. Anokhina ITEP, MSU, Moscow 1 July, 2013, Erice Andrey Morozov (ITEP, MSU, Moscow) Cabling procedure 1 July, 2013, Erice
More informationLecture II: Curve Complexes, Tensor Categories, Fundamental Groupoids
Lecture II: Curve Complexes, Tensor Categories, Fundamental Groupoids 20 Goal The aim of this talk is to relate the concepts of: divisor at infinity on the moduli space of curves fundamental group(oid)
More informationTEST CODE: PMB SYLLABUS
TEST CODE: PMB SYLLABUS Convergence and divergence of sequence and series; Cauchy sequence and completeness; Bolzano-Weierstrass theorem; continuity, uniform continuity, differentiability; directional
More informationAnton M. Zeitlin. Columbia University, Department of Mathematics. Super-Teichmüller theory. Anton Zeitlin. Outline. Introduction. Cast of characters
Anton M. Zeitlin Columbia University, Department of Mathematics University of Toronto Toronto September 26, 2016 Let Fs g F be the Riemann surface of genus g and s punctures. We assume s > 0 and 2 2g
More informationA FUCHSIAN GROUP PROOF OF THE HYPERELLIPTICITY OF RIEMANN SURFACES OF GENUS 2
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 2003, 69 74 A FUCHSIAN GROUP PROOF OF THE HYPERELLIPTICITY OF RIEMANN SURFACES OF GENUS 2 Yolanda Fuertes and Gabino González-Diez Universidad
More informationMAPPING CLASS ACTIONS ON MODULI SPACES. Int. J. Pure Appl. Math 9 (2003),
MAPPING CLASS ACTIONS ON MODULI SPACES RICHARD J. BROWN Abstract. It is known that the mapping class group of a compact surface S, MCG(S), acts ergodically with respect to symplectic measure on each symplectic
More informationCommensurability between once-punctured torus groups and once-punctured Klein bottle groups
Hiroshima Math. J. 00 (0000), 1 34 Commensurability between once-punctured torus groups and once-punctured Klein bottle groups Mikio Furokawa (Received Xxx 00, 0000) Abstract. The once-punctured torus
More informationTHE MAPPING CLASS GROUP ACTS REDUCIBLY ON SU(n)-CHARACTER VARIETIES
THE MAPPING CLASS GROUP ACTS REDUCIBLY ON SU(n)-CHARACTER VARIETIES WILLIAM M. GOLDMAN Abstract. When G is a connected compact Lie group, and π is a closed surface group, then Hom(π, G)/G contains an open
More informationFROM CLASSICAL THETA FUNCTIONS TO TOPOLOGICAL QUANTUM FIELD THEORY
FROM CLASSICAL THETA FUNCTIONS TO TOPOLOGICAL QUANTUM FIELD THEORY Răzvan Gelca Texas Tech University Alejandro Uribe University of Michigan WE WILL CONSTRUCT THE ABELIAN CHERN-SIMONS TOPOLOGICAL QUANTUM
More informationS ps S qs S rs S 0s. N pqr = s. S 2 2g
On generalizations of Verlinde's formula P. Bantay Inst. for Theor. Phys., Eotvos Univ. July, 000 Abstract It is shown that traces of mapping classes of finite order may be expressed by Verlinde-like formulae.
More informationRepresentations of the Kau man Bracket Skein Algebra of a Surface
Representations of the Kau man Bracket Skein Algebra of a Surface IAS Member s Seminar November 20, 2017 Helen Wong von Neumann fellow Quantum topology In the early 1980s, the Jones polynomial for knots
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 informationAbstract. Jacobi curves are far going generalizations of the spaces of \Jacobi
Principal Invariants of Jacobi Curves Andrei Agrachev 1 and Igor Zelenko 2 1 S.I.S.S.A., Via Beirut 2-4, 34013 Trieste, Italy and Steklov Mathematical Institute, ul. Gubkina 8, 117966 Moscow, Russia; email:
More informationNOTES ON QUANTUM TEICHMÜLLER THEORY. 1. Introduction
NOTE ON QUANTUM TEICHMÜLLER THEORY DYLAN GL ALLEGRETTI Abstract We review the Fock-Goncharov formalism for quantum Teichmüller theory By a conjecture of H Verlinde, the Hilbert space of quantum Teichmüller
More informationGroup Theory. 1. Show that Φ maps a conjugacy class of G into a conjugacy class of G.
Group Theory Jan 2012 #6 Prove that if G is a nonabelian group, then G/Z(G) is not cyclic. Aug 2011 #9 (Jan 2010 #5) Prove that any group of order p 2 is an abelian group. Jan 2012 #7 G is nonabelian nite
More informationNATIONAL BOARD FOR HIGHER MATHEMATICS. Research Scholarships Screening Test. Saturday, February 2, Time Allowed: Two Hours Maximum Marks: 40
NATIONAL BOARD FOR HIGHER MATHEMATICS Research Scholarships Screening Test Saturday, February 2, 2008 Time Allowed: Two Hours Maximum Marks: 40 Please read, carefully, the instructions on the following
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 informationMirror Reflections on Braids and the Higher Homotopy Groups of the 2-sphere
Mirror Reflections on Braids and the Higher Homotopy Groups of the 2-sphere A gift to Professor Jiang Bo Jü Jie Wu Department of Mathematics National University of Singapore www.math.nus.edu.sg/ matwujie
More informationGeneralized Teichmüller Spaces, Spin Structures and Ptolemy Transformations
, Spin Structures and Ptolemy Transformations Anton M. Zeitlin Columbia University, Department of Mathematics Louisiana State University Baton Rouge February, 2017 Let Fs g F be the Riemann surface of
More informationRepresentations of Sp(6,R) and SU(3) carried by homogeneous polynomials
Representations of Sp(6,R) and SU(3) carried by homogeneous polynomials Govindan Rangarajan a) Department of Mathematics and Centre for Theoretical Studies, Indian Institute of Science, Bangalore 560 012,
More informationHomotopy and geometric perspectives on string topology
Homotopy and geometric perspectives on string topology Ralph L. Cohen Stanford University August 30, 2005 In these lecture notes I will try to summarize some recent advances in the new area of study known
More informationAPPLICATION OF HOARE S THEOREM TO SYMMETRIES OF RIEMANN SURFACES
Annales Academiæ Scientiarum Fennicæ Series A. I. Mathematica Volumen 18, 1993, 307 3 APPLICATION OF HOARE S THEOREM TO SYMMETRIES OF RIEMANN SURFACES E. Bujalance, A.F. Costa, and D. Singerman Universidad
More informationMapping Class Groups MSRI, Fall 2007 Day 2, September 6
Mapping Class Groups MSRI, Fall 7 Day, September 6 Lectures by Lee Mosher Notes by Yael Algom Kfir December 4, 7 Last time: Theorem (Conjugacy classification in MCG(T. Each conjugacy class of elements
More informationIs the Universe Uniquely Determined by Invariance Under Quantisation?
24 March 1996 PEG-09-96 Is the Universe Uniquely Determined by Invariance Under Quantisation? Philip E. Gibbs 1 Abstract In this sequel to my previous paper, Is String Theory in Knots? I explore ways of
More informationModular representations of symmetric groups: An Overview
Modular representations of symmetric groups: An Overview Bhama Srinivasan University of Illinois at Chicago Regina, May 2012 Bhama Srinivasan (University of Illinois at Chicago) Modular Representations
More informationBRST and Dirac Cohomology
BRST and Dirac Cohomology Peter Woit Columbia University Dartmouth Math Dept., October 23, 2008 Peter Woit (Columbia University) BRST and Dirac Cohomology October 2008 1 / 23 Outline 1 Introduction 2 Representation
More informationGeneralized Tian-Todorov theorems
Generalized Tian-Todorov theorems M.Kontsevich 1 The classical Tian-Todorov theorem Recall the classical Tian-Todorov theorem (see [4],[5]) about the smoothness of the moduli spaces of Calabi-Yau manifolds:
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 informationMathieu Moonshine. Matthias Gaberdiel ETH Zürich. String-Math 2012 Bonn, 19 July 2012
Mathieu Moonshine Matthias Gaberdiel ETH Zürich String-Math 2012 Bonn, 19 July 2012 based on work with with S. Hohenegger, D. Persson, H. Ronellenfitsch and R. Volpato K3 sigma models Consider CFT sigma
More informationSurface Groups are Frequently Faithful
Surface Groups are Frequently Faithful Jason DeBlois and Richard P. Kent IV October 22, 2004 Abstract We show the set of faithful representations of a closed orientable surface group is dense in both irreducible
More informationTowards a modular functor from quantum higher Teichmüller theory
Towards a modular functor from quantum higher Teichmüller theory Gus Schrader University of California, Berkeley ld Theory and Subfactors November 18, 2016 Talk based on joint work with Alexander Shapiro
More informationA NOTE ON SPACES OF ASYMPTOTIC DIMENSION ONE
A NOTE ON SPACES OF ASYMPTOTIC DIMENSION ONE KOJI FUJIWARA AND KEVIN WHYTE Abstract. Let X be a geodesic metric space with H 1(X) uniformly generated. If X has asymptotic dimension one then X is quasi-isometric
More informationMATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5
MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5.. The Arzela-Ascoli Theorem.. The Riemann mapping theorem Let X be a metric space, and let F be a family of continuous complex-valued functions on X. We have
More informationON INJECTIVE HOMOMORPHISMS BETWEEN TEICHM ULLER MODULAR GROUPS NIKOLAI V. IVANOV AND JOHN D. MCCARTHY. February 24, 1995
ON INJECTIVE HOMOMORPHISMS BETWEEN TEICHM ULLER MODULAR GROUPS NIKOLAI V. IVANOV AND JOHN D. MCCARTHY February 24, 1995 Abstract. In this paper we prove that injective homomorphisms between Teichmuller
More informationModuli spaces of graphs and homology operations on loop spaces of manifolds
Moduli spaces of graphs and homology operations on loop spaces of manifolds Ralph L. Cohen Stanford University July 2, 2005 String topology:= intersection theory in loop spaces (and spaces of paths) of
More informationPart II. Algebraic Topology. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section II 18I The n-torus is the product of n circles: 5 T n = } S 1. {{.. S } 1. n times For all n 1 and 0
More informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
More informationNATIONAL BOARD FOR HIGHER MATHEMATICS. M. A. and M.Sc. Scholarship Test. September 25, Time Allowed: 150 Minutes Maximum Marks: 30
NATIONAL BOARD FOR HIGHER MATHEMATICS M. A. and M.Sc. Scholarship Test September 25, 2010 Time Allowed: 150 Minutes Maximum Marks: 30 Please read, carefully, the instructions on the following page 1 INSTRUCTIONS
More informationOne can specify a model of 2d gravity by requiring that the eld q(x) satises some dynamical equation. The Liouville eld equation [3] ) q(
Liouville Field Theory and 2d Gravity George Jorjadze Dept. of Theoretical Physics, Razmadze Mathematical Institute Tbilisi, Georgia Abstract We investigate character of physical degrees of freedom for
More informationPERIODS OF STREBEL DIFFERENTIALS AND ALGEBRAIC CURVES DEFINED OVER THE FIELD OF ALGEBRAIC NUMBERS
PERIODS OF STREBEL DIFFERENTIALS AND ALGEBRAIC CURVES DEFINED OVER THE FIELD OF ALGEBRAIC NUMBERS MOTOHICO MULASE 1 AND MICHAEL PENKAVA 2 Abstract. In [8] we have shown that if a compact Riemann surface
More information2 J. BRACHO, L. MONTEJANO, AND D. OLIVEROS Observe as an example, that the circle yields a Zindler carrousel with n chairs, because we can inscribe in
A CLASSIFICATION THEOREM FOR ZINDLER CARROUSELS J. BRACHO, L. MONTEJANO, AND D. OLIVEROS Abstract. The purpose of this paper is to give a complete classication of Zindler Carrousels with ve chairs. This
More informationGarrett: `Bernstein's analytic continuation of complex powers' 2 Let f be a polynomial in x 1 ; : : : ; x n with real coecients. For complex s, let f
1 Bernstein's analytic continuation of complex powers c1995, Paul Garrett, garrettmath.umn.edu version January 27, 1998 Analytic continuation of distributions Statement of the theorems on analytic continuation
More information20 The modular equation
18.783 Elliptic Curves Lecture #20 Spring 2017 04/26/2017 20 The modular equation In the previous lecture we defined modular curves as quotients of the extended upper half plane under the action of a congruence
More informationTHE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL LIE ALGEBRAS
Trudy Moskov. Matem. Obw. Trans. Moscow Math. Soc. Tom 67 (2006) 2006, Pages 225 259 S 0077-1554(06)00156-7 Article electronically published on December 27, 2006 THE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL
More informationLyapunov exponents of Teichmüller flows
Lyapunov exponents ofteichmüller flows p 1/6 Lyapunov exponents of Teichmüller flows Marcelo Viana IMPA - Rio de Janeiro Lyapunov exponents ofteichmüller flows p 2/6 Lecture # 1 Geodesic flows on translation
More informationFuchsian groups. 2.1 Definitions and discreteness
2 Fuchsian groups In the previous chapter we introduced and studied the elements of Mob(H), which are the real Moebius transformations. In this chapter we focus the attention of special subgroups of this
More informationNATIONAL BOARD FOR HIGHER MATHEMATICS. M. A. and M.Sc. Scholarship Test. September 22, Time Allowed: 150 Minutes Maximum Marks: 30
NATIONAL BOARD FOR HIGHER MATHEMATICS M A and MSc Scholarship Test September 22, 2018 Time Allowed: 150 Minutes Maximum Marks: 30 Please read, carefully, the instructions that follow INSTRUCTIONS TO CANDIDATES
More informationRenormalized Volume of Hyperbolic 3-Manifolds
Renormalized Volume of Hyperbolic 3-Manifolds Kirill Krasnov University of Nottingham Joint work with J. M. Schlenker (Toulouse) Review available as arxiv: 0907.2590 Fefferman-Graham expansion From M.
More information1 Holomorphic functions
Robert Oeckl CA NOTES 1 15/09/2009 1 1 Holomorphic functions 11 The complex derivative The basic objects of complex analysis are the holomorphic functions These are functions that posses a complex derivative
More informationDetailed Proof of The PerronFrobenius Theorem
Detailed Proof of The PerronFrobenius Theorem Arseny M Shur Ural Federal University October 30, 2016 1 Introduction This famous theorem has numerous applications, but to apply it you should understand
More informationCauchy s Theorem (rigorous) In this lecture, we will study a rigorous proof of Cauchy s Theorem. We start by considering the case of a triangle.
Cauchy s Theorem (rigorous) In this lecture, we will study a rigorous proof of Cauchy s Theorem. We start by considering the case of a triangle. Given a certain complex-valued analytic function f(z), for
More information294 Meinolf Geck In 1992, Lusztig [16] addressed this problem in the framework of his theory of character sheaves and its application to Kawanaka's th
Doc. Math. J. DMV 293 On the Average Values of the Irreducible Characters of Finite Groups of Lie Type on Geometric Unipotent Classes Meinolf Geck Received: August 16, 1996 Communicated by Wolfgang Soergel
More informationarxiv:math/ v4 [math.ag] 29 Apr 2006
arxiv:math/0311149v4 [math.ag] 29 Apr 2006 MODULI SPACES OF LOCAL SYSTEMS AND HIGHER TEICHMÜLLER THEORY. by VLADIMIR FOCK and ALEXANDER GONCHAROV CONTENTS 1. Introduction...............................................................................
More informationWHY WORD PROBLEMS ARE HARD
WHY WORD PROBLEMS ARE HARD KEITH CONRAD 1. Introduction The title above is a joke. Many students in school hate word problems. We will discuss here a specific math question that happens to be named the
More informationDETERMINING THE HURWITZ ORBIT OF THE STANDARD GENERATORS OF A BRAID GROUP
Yaguchi, Y. Osaka J. Math. 52 (2015), 59 70 DETERMINING THE HURWITZ ORBIT OF THE STANDARD GENERATORS OF A BRAID GROUP YOSHIRO YAGUCHI (Received January 16, 2012, revised June 18, 2013) Abstract The Hurwitz
More informationIRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS. Contents
IRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS NEEL PATEL Abstract. The goal of this paper is to study the irreducible representations of semisimple Lie algebras. We will begin by considering two
More informationResearch Statement. Jayadev S. Athreya. November 7, 2005
Research Statement Jayadev S. Athreya November 7, 2005 1 Introduction My primary area of research is the study of dynamics on moduli spaces. The first part of my thesis is on the recurrence behavior of
More information3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).
3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)
More informationNATIONAL BOARD FOR HIGHER MATHEMATICS. M. A. and M.Sc. Scholarship Test. September 19, Time Allowed: 150 Minutes Maximum Marks: 30
NATIONAL BOARD FOR HIGHER MATHEMATICS M. A. and M.Sc. Scholarship Test September 19, 2015 Time Allowed: 150 Minutes Maximum Marks: 30 Please read, carefully, the instructions on the following page 1 INSTRUCTIONS
More informationTHEODORE VORONOV DIFFERENTIABLE MANIFOLDS. Fall Last updated: November 26, (Under construction.)
4 Vector fields Last updated: November 26, 2009. (Under construction.) 4.1 Tangent vectors as derivations After we have introduced topological notions, we can come back to analysis on manifolds. Let M
More informationTheorem 1. Suppose that is a Fuchsian group of the second kind. Then S( ) n J 6= and J( ) n T 6= : Corollary. When is of the second kind, the Bers con
ON THE BERS CONJECTURE FOR FUCHSIAN GROUPS OF THE SECOND KIND DEDICATED TO PROFESSOR TATSUO FUJI'I'E ON HIS SIXTIETH BIRTHDAY Toshiyuki Sugawa x1. Introduction. Supposebthat D is a simply connected domain
More informationSelf-intersections of Closed Parametrized Minimal Surfaces in Generic Riemannian Manifolds
Self-intersections of Closed Parametrized Minimal Surfaces in Generic Riemannian Manifolds John Douglas Moore Department of Mathematics University of California Santa Barbara, CA, USA 93106 e-mail: moore@math.ucsb.edu
More informationRigid/Flexible Dynamics Problems and Exercises Math 275 Harvard University Fall 2006 C. McMullen
Rigid/Flexible Dynamics Problems and Exercises Math 275 Harvard University Fall 2006 C. McMullen 1. Give necessary and sufficent conditions on T = ( a b c d) GL2 (C) such that T is in U(1,1), i.e. such
More informationBOUNDED COMBINATORICS AND THE LIPSCHITZ METRIC ON TEICHMÜLLER SPACE
BOUNDED COMBINATORICS AND THE LIPSCHITZ METRIC ON TEICHMÜLLER SPACE ANNA LENZHEN, KASRA RAFI, AND JING TAO Abstract. Considering the Teichmüller space of a surface equipped with Thurston s Lipschitz metric,
More informationIntroduction to Group Theory
Chapter 10 Introduction to Group Theory Since symmetries described by groups play such an important role in modern physics, we will take a little time to introduce the basic structure (as seen by a physicist)
More informationA PRESENTATION FOR THE MAPPING CLASS GROUP OF A NON-ORIENTABLE SURFACE FROM THE ACTION ON THE COMPLEX OF CURVES
Szepietowski, B. Osaka J. Math. 45 (008), 83 36 A PRESENTATION FOR THE MAPPING CLASS GROUP OF A NON-ORIENTABLE SURFACE FROM THE ACTION ON THE COMPLEX OF CURVES BŁAŻEJ SZEPIETOWSKI (Received June 30, 006,
More informationJanuary 2016 Qualifying Examination
January 2016 Qualifying Examination If you have any difficulty with the wording of the following problems please contact the supervisor immediately. All persons responsible for these problems, in principle,
More informationOn the classication of algebras
Technische Universität Carolo-Wilhelmina Braunschweig Institut Computational Mathematics On the classication of algebras Morten Wesche September 19, 2016 Introduction Higman (1950) published the papers
More informationLanglands duality from modular duality
Langlands duality from modular duality Jörg Teschner DESY Hamburg Motivation There is an interesting class of N = 2, SU(2) gauge theories G C associated to a Riemann surface C (Gaiotto), in particular
More informationA Z q -Fan theorem. 1 Introduction. Frédéric Meunier December 11, 2006
A Z q -Fan theorem Frédéric Meunier December 11, 2006 Abstract In 1952, Ky Fan proved a combinatorial theorem generalizing the Borsuk-Ulam theorem stating that there is no Z 2-equivariant map from the
More informationPoisson structure on moduli of flat connections on Riemann surfaces and r-matrix
Poisson structure on moduli of flat connections on Riemann surfaces and r-matrix arxiv:math/9802054v2 [math.qa] 18 Feb 1998 V.V.Fock and A.A.Rosly Institute of Theoretical and Experimental Physics, B.Cheremushkinskaya
More informationPREISSMAN S THEOREM ALEXANDER GRANT
PREISSMAN S THEOREM ALEXANDER GRANT Abstract. This paper presents a proof of Preissman s Theorem, a theorem from the study of Riemannian Geometry that imposes restrictions on the fundamental group of compact,
More informationOn certain Regular Maps with Automorphism group PSL(2, p) Martin Downs
BULLETIN OF THE GREEK MATHEMATICAL SOCIETY Volume 53, 2007 (59 67) On certain Regular Maps with Automorphism group PSL(2, p) Martin Downs Received 18/04/2007 Accepted 03/10/2007 Abstract Let p be any prime
More informationTrace fields of knots
JT Lyczak, February 2016 Trace fields of knots These are the knotes from the seminar on knot theory in Leiden in the spring of 2016 The website and all the knotes for this seminar can be found at http://pubmathleidenunivnl/
More informationBases for Cluster Algebras from Surfaces
Bases for Cluster Algebras from Surfaces Gregg Musiker (U. Minnesota), Ralf Schiffler (U. Conn.), and Lauren Williams (UC Berkeley) Bay Area Discrete Math Day Saint Mary s College of California November
More informationCHERN-SIMONS THEORY AND LINK INVARIANTS! Dung Nguyen! U of Chicago!
CHERN-SIMONS THEORY AND LINK INVARIANTS! Dung Nguyen! U of Chicago! Content! Introduction to Knot, Link and Jones Polynomial! Surgery theory! Axioms of Topological Quantum Field Theory! Wilson loopsʼ expectation
More informationCompactifying string topology
Compactifying string topology Kate Poirier UC Berkeley Algebraic Topology: Applications and New Developments Stanford University, July 24, 2012 What is the algebraic topology of a manifold? What can we
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 informationid = w n = w n (m+1)/2
Samuel Lee Algebraic Topology Homework #4 March 11, 2016 Problem ( 1.2: #1). Show that the free product G H of nontrivial groups G and H has trivial center, and that the only elements of G H of finite
More informationKnot Homology from Refined Chern-Simons Theory
Knot Homology from Refined Chern-Simons Theory Mina Aganagic UC Berkeley Based on work with Shamil Shakirov arxiv: 1105.5117 1 the knot invariant Witten explained in 88 that J(K, q) constructed by Jones
More informationCharacters and triangle generation of the simple Mathieu group M 11
SEMESTER PROJECT Characters and triangle generation of the simple Mathieu group M 11 Under the supervision of Prof. Donna Testerman Dr. Claude Marion Student: Mikaël Cavallin September 11, 2010 Contents
More informationTropical Constructions and Lifts
Tropical Constructions and Lifts Hunter Ash August 27, 2014 1 The Algebraic Torus and M Let K denote a field of characteristic zero and K denote the associated multiplicative group. A character on (K )
More informationTheories of connections are playing an increasingly important role in the current description
CGPG-94/5-1 May 10, 1994 NEW LOOP REPRESENTATIONS FOR +1 GRAVITY A. Ashtekar and R. Loll Center for Gravitational Physics and Geometry Physics Department, Pennsylvania State University University Park,
More informationarxiv:math/ v1 [math.gt] 15 Aug 2003
arxiv:math/0308147v1 [math.gt] 15 Aug 2003 CIRCLE PACKINGS ON SURFACES WITH PROJECTIVE STRUCTURES AND UNIFORMIZATION SADAYOSHI KOJIMA, SHIGERU MIZUSHIMA, AND SER PEOW TAN Abstract. Let Σ g be a closed
More informationA MARSDEN WEINSTEIN REDUCTION THEOREM FOR PRESYMPLECTIC MANIFOLDS
A MARSDEN WEINSTEIN REDUCTION THEOREM FOR PRESYMPLECTIC MANIFOLDS FRANCESCO BOTTACIN Abstract. In this paper we prove an analogue of the Marsden Weinstein reduction theorem for presymplectic actions of
More informationAnalysis on Graphs. Alexander Grigoryan Lecture Notes. University of Bielefeld, WS 2011/12
Analysis on Graphs Alexander Grigoryan Lecture Notes University of Bielefeld, WS 0/ Contents The Laplace operator on graphs 5. The notion of a graph............................. 5. Cayley graphs..................................
More informationChapter 12. The cross ratio Klein s Erlanger program The projective line. Math 4520, Fall 2017
Chapter 12 The cross ratio Math 4520, Fall 2017 We have studied the collineations of a projective plane, the automorphisms of the underlying field, the linear functions of Affine geometry, etc. We have
More informationConvergence of Star Products and the Nuclear Weyl Algebr
Convergence of Star Products and the Nuclear Weyl Algebra Institut für Mathematik, Universität Würzburg, Germany Bayrischzell 2013 Beiser, S., Waldmann, S.: Fréchet algebraic deformation quantization of
More informationThe Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrodinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria Noncommutative Contact Algebras Hideki Omori Yoshiaki Maeda Naoya Miyazaki Akira Yoshioka
More informationL(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that
ALGEBRAIC GROUPS 61 5. Root systems and semisimple Lie algebras 5.1. Characteristic 0 theory. Assume in this subsection that chark = 0. Let me recall a couple of definitions made earlier: G is called reductive
More informationThe following can also be obtained from this WWW address: the papers [8, 9], more examples, comments on the implementation and a short description of
An algorithm for computing the Weierstrass normal form Mark van Hoeij Department of mathematics University of Nijmegen 6525 ED Nijmegen The Netherlands e-mail: hoeij@sci.kun.nl April 9, 1995 Abstract This
More informationHiggs Bundles and Character Varieties
Higgs Bundles and Character Varieties David Baraglia The University of Adelaide Adelaide, Australia 29 May 2014 GEAR Junior Retreat, University of Michigan David Baraglia (ADL) Higgs Bundles and Character
More informationMTH 428/528. Introduction to Topology II. Elements of Algebraic Topology. Bernard Badzioch
MTH 428/528 Introduction to Topology II Elements of Algebraic Topology Bernard Badzioch 2016.12.12 Contents 1. Some Motivation.......................................................... 3 2. Categories
More informationLECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori
LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI 1. Maximal Tori By a torus we mean a compact connected abelian Lie group, so a torus is a Lie group that is isomorphic to T n = R n /Z n. Definition 1.1.
More information