Mednykh s Formula. Kevin Donoghue. January 29, 2016
|
|
- Neil Hicks
- 5 years ago
- Views:
Transcription
1 Mednykh s Formula Kevn Donoghue January 29, 206 These are notes rom a talk gven at the Temple Unversty graduate student semnar I learned ths materal rom [Bae], [DW90], and [Fre94] although the orgnal source (n Russan) s [Med78] An Analogy I start not wth Mednykh s ormula but somethng analogous: n n = π2 2 6 It s analogous because t s a surprsng statement whose proo nvolves: changng the bass o a space o unctons takng an nner product Explctly, consder (x) = x on [0, 2π] Wrte x = n Z a n e nx One can compute va the standard methods that x = π 2 + n 0 n enx Now take the L 2 norm o each sde The let hand s a calc ntegral The e nx terms on the rght hand sde are orthogonal, so one gets ( (2π) 3 = 2π π 2 + ) 3 n 2 n 0 rom whch the result easly ollows Note that the sum n n 2
2 had no busness admttng an explct expresson, let alone one so smple For example I beleve that or n 3 n t s unclear such an expresson exsts 2 Mednykh s Formula I wll compute a smlarly mraculous expresson, except ths tme rom the realm o topology Let G be a nte group and Σ a closed surace o genus g I propose to compute Hom(π Σ, G) The undamental group o Σ s so π Σ = x, y,, x g, y g [x, x ] [x g, y g ] = Hom(π Σ, G) = {(x, y,, x g, y g ) G 2g [x, y ] [x g, y g ] = } Snce G s nte ths s a nte number and you could have a computer calculate t But snce G could be some very werd nte group, an explct expresson seems hopeless Except t sn t: Theorem (Mednykh) Hom(π Σ, G) = ( dm V ) 2g 2 Ths s called Mednykh s ormula Here the V are the rreps o G Ths s a cool ormula smply because t exsts It s doubly cool because o the appearance o V I don t have the space to ully dscuss ths, but there are nvarants n topology (speccally, nvarants o knots) that nvolve the representatons o Le groups, but that don t have a clear topologcal nterpretaton It s lke the rght-hand sde exsts but the let-hand sde doesn t So although all the topology n ths talk s completely trval (suraces) there are analogs where the topology s hghly nontrval One can also, wth some more work, come up wth nte group analogs o those nvarants whch elucdate ther structure (a concrete example: to a nte group you can assgn a modular Hop algebra and plug that n the Reshetkhn-Turaev machne when you do so, the R-matrx s mmedately recognzable rom the Wrtnger presentaton) 2
3 3 Revew o Representaton Theory I rst revew representaton theory a lttle bt To complete the statement o the theorem, I should say what the V are A representaton o G s a homomorphsm ρ : G GL(V ) Everythng here s assumed to be over C, so t s a act that you can nd a bass or V such that ρ can be put n the orm (ρ ) (ρ k ) and moreoever, the blocks come rom a standard lst ρ : G GL(V ) ρ 2 : G GL(V 2 ) etc These are the V appearng n Mednykh s ormula and they re called rreps (rreducble representatons) For example, consder the representaton S 3 GL(R 3 ) gven by S 3 permutng the coordnate axes So s t represents a smple transposton and c a cycle, then t One can nd a bass n whch c t c ζ 3 ζ 2 3 3
4 Indeed there are three rreps or S 3 and they are: { t () ρ : c () { t ( ) ρ 2 : c () t ρ 3 : ζ 3 c ζ3 2 An mportant uncton n representaton theory s For example or S 3, χ (g) := tr(ρ (g)) e χ : t c e χ 2 : t c e 2 χ 3 : t 0 c Characters, beng traces, are nvarant under conjugaton So they orm unctons on conjugacy classes o G In act, t s a act that they orm a bass or unctons on conjugacy classes For example, or S 3 : I should x some notaton: δ e = χ + χ 2 + 2χ 3 6 C[G] s the group rng e, combnatons (g + h)(k + l) = gk + hk + gl + hl It s a noncommutatve algebra Greek letters α, β, γ, etc stand or conjugacy classes n G I wll use the notaton α = a α a C[G] 4
5 Dual to C[G] s F(G), unctons on G The center o the group algebra Z(C[G]) s spanned by the α and dual to α s the element δ α whch s on α and 0 on other conjugacy classes The dual to Z(C[G]) s thus naturally dented wth the class unctons F(Cl(G)) The centralzer C g o an element n G s the subgroup o elements whch conjugate g to tsel I g α, I wll wrte C α to denote the somorphsm class o ths group It ollows rom orbt-stablzer (have G act on tsel by conjugaton) that = C α α As mentoned earler there are two bases or F(Cl(G)): {δ α } and {χ } The characters wll be preerable because they satsy some serendptous denttes, the ollowng two o whch are needed here: 4 The Proo xyz= Some notaton to smply thngs: α C α χ (α)χ (α) = δ =j χ (x)χ j (y)χ k (z) = dm V δ =j=k := Hom(π Σ, G) := Hom(π Σ, G)/G thus the pcture represents the set o representatons modulo conjugacy there s no dot (The reason or the dot/dotless notaton s that whle the undamental group depends on the baseponts, ts conjugacy classes don t) The notaton denotes those homomorphsms n that map the ndcated crcle to α 5
6 For varous reasons, I wll not compute Hom(π Σ, G) but I wll rather compute the sze o Hom(π Σ, G)/G wth respect to a partcular measure I p : Hom(π Σ, G) Hom(π Σ, G)/G s the natural projecton, then dene ([φ]) := #p (φ) ths s the pushorward va p o the measure whch assgns / to every element Then the total measure o s Hom(π Σ, G) so Mednykh s ormula reduces to = n 2g 2 = dm V The approach to provng ths dentty wll be n two steps the same two steps n whch vrtually everythng about suraces s proved: rst understand how the nvarant changes when cuttng along a crcle:,? and then understand the nvarant or the par o pants: =? To start attackng the rst problem, start by understandng those homomorphsms wth speced boundary behavor: = # a α I a and a 2 are conjugate then any g conjugatng a to a 2 nduces a bjecton o sets = so ( = α # ) ( = # C α ), any a α 6
7 Lemma = α C α Proo The let hand sde s tautologcally equal to # g G whch, by Seert-van Kampen (unversalty o the ree product!) s equal to # # = # # g G = α a α C α 2 α a α rom whch the lemma easly ollows All ths works or nonseparatng suraces as well, except there one needs to the use groupod Seert-van Kampen It should be remarked that ths s usually presented n the language o TQFTs In that settng, a vector space (precsely F(Cl(G))) s assgned to a crcle and numbers are assgned to closed 3-manolds It can hard to understand the motvaton or such assgnments Ths lemma shows an nner product structure that comes rom Seert-van Kampen and thus oers a topologcal explanaton o the apperance o vector spaces n the TQFT setup Indeed the smlarty to an nner product necessarly provokes the ollowng denton := α δ α F(Cl(G)) Wth ths n place then the lemma can be re-expressed as =, where, s the nner product on F(Cl(G)) gven by { C α α = β δ α, δ β = 0 otherwse Note that that by denton = 7
8 Lemma = α,β,γ δ (αβγ)δ α δ β δ γ Proo The essental part o the proo s to note that only depends on the undamental group, so we can replace the par o pants by a trangle wth the three vertces all dented: = # a α b β c γ Now t should be clear how to compute Smply take the nner product o the par o pants wth tsel: = C 2 α C β C γ δ (αβγ) 2 Unortunately ths ormula s an absolute mess We re rescued by a cool act rom lnear algebra There s a canoncal somorphsm α,β,γ End(V ) = V V and End(V ) has a canoncal element d, whch corresponds to e e V V Here e s a bass o V and e s the dual bass n V : e j (e ) = δ j In partcular, or two bases e and, the ollowng are equal: e e = and so, n partcular, = δ (e e j e k )e e j e k or any bass {e } o F(Cl(G)) Usng the acts about characters mentoned beore, n partcular that α χ (α)χ j (α) C α 8 = δ =j,
9 one can see that e = α χ (α) C α δ α s orthonormal wth respect to,, and that e = α χ (α)α s dual But snce δ (e e j e k ) = xyz= χ (x)χ j (y)χ k (z) = dm V δ =j=k we have = dm V e e e and takng the norm squared o that gves Mednykh s ormula (or g = 2): = 2 dm V The ormula or general genus s analogous, just wth 2g 2 pars o pants nstead o 2 Remark Such a proo may seem hghly concdental but t s actually not The pont s that the assgnment X Hom(π X, G) s unctoral, so the process o pecng together pars o pants whch aesthetcally resembles the processes multplcaton n algebra nduces somethng lke an algebrac structure on the system o sets Hom(π X, G) When one orcbly starts workng over C, one gets an actual algebra structure Ths s the phlosophy behnd what s called topologcal quantum eld theory One can make somethng lke ths work or a general compact Le group G The set Hom(π Σ, G) s then possbly nnte, and possbly hghly sngular But t turns out the generc ponts orm a manold o dmenson (2g 2) dm(g) (at least or g 2) and there s a natural measure ( s essentally the Redemester torson o the twsted homology H (Σ; g Ad )) Up to a G-ndependent normalzaton, then = 2g 2 vol(g) dm V Ths s done n [Wt9] 9
10 Reerences [Bae] John Baez, Quantum Geometry Semnar, Fall baez/qg-all2004/ [DW90] Robbert Djkgraa and Edward Wtten, Topologcal gauge theores and group cohomology, Comm Math Phys 29 (990), no 2, [Fre94] Danel S Freed, Hgher algebrac structures and quantzaton, Comm Math Phys 59 (994), no 2, [Med78] A D Mednyh, Determnaton o the number o nonequvalent coverngs over a compact Remann surace, Dokl Akad Nauk SSSR 239 (978), no 2, [Wt9] Edward Wtten, On quantum gauge theores n two dmensons, Comm Math Phys 4 (99), no,
= s j Ui U j. i, j, then s F(U) with s Ui F(U) G(U) F(V ) G(V )
1 Lecture 2 Recap Last tme we talked about presheaves and sheaves. Preshea: F on a topologcal space X, wth groups (resp. rngs, sets, etc.) F(U) or each open set U X, wth restrcton homs ρ UV : F(U) F(V
More informationInner Product. Euclidean Space. Orthonormal Basis. Orthogonal
Inner Product Defnton 1 () A Eucldean space s a fnte-dmensonal vector space over the reals R, wth an nner product,. Defnton 2 (Inner Product) An nner product, on a real vector space X s a symmetrc, blnear,
More informationRepresentation theory and quantum mechanics tutorial Representation theory and quantum conservation laws
Representaton theory and quantum mechancs tutoral Representaton theory and quantum conservaton laws Justn Campbell August 1, 2017 1 Generaltes on representaton theory 1.1 Let G GL m (R) be a real algebrac
More informationDIFFERENTIAL SCHEMES
DIFFERENTIAL SCHEMES RAYMOND T. HOOBLER Dedcated to the memory o Jerry Kovacc 1. schemes All rngs contan Q and are commutatve. We x a d erental rng A throughout ths secton. 1.1. The topologcal space. Let
More information9 Characteristic classes
THEODORE VORONOV DIFFERENTIAL GEOMETRY. Sprng 2009 [under constructon] 9 Characterstc classes 9.1 The frst Chern class of a lne bundle Consder a complex vector bundle E B of rank p. We shall construct
More informationA Note on \Modules, Comodules, and Cotensor Products over Frobenius Algebras"
Chn. Ann. Math. 27B(4), 2006, 419{424 DOI: 10.1007/s11401-005-0025-z Chnese Annals of Mathematcs, Seres B c The Edtoral Oce of CAM and Sprnger-Verlag Berln Hedelberg 2006 A Note on \Modules, Comodules,
More informationLorentz Group. Ling Fong Li. 1 Lorentz group Generators Simple representations... 3
Lorentz Group Lng Fong L ontents Lorentz group. Generators............................................. Smple representatons..................................... 3 Lorentz group In the dervaton of Drac
More informationALGEBRA MID-TERM. 1 Suppose I is a principal ideal of the integral domain R. Prove that the R-module I R I has no non-zero torsion elements.
ALGEBRA MID-TERM CLAY SHONKWILER 1 Suppose I s a prncpal deal of the ntegral doman R. Prove that the R-module I R I has no non-zero torson elements. Proof. Note, frst, that f I R I has no non-zero torson
More informationPhysics 2A Chapters 6 - Work & Energy Fall 2017
Physcs A Chapters 6 - Work & Energy Fall 017 These notes are eght pages. A quck summary: The work-energy theorem s a combnaton o Chap and Chap 4 equatons. Work s dened as the product o the orce actng on
More informationAPPENDIX A Some Linear Algebra
APPENDIX A Some Lnear Algebra The collecton of m, n matrces A.1 Matrces a 1,1,..., a 1,n A = a m,1,..., a m,n wth real elements a,j s denoted by R m,n. If n = 1 then A s called a column vector. Smlarly,
More information2.3 Nilpotent endomorphisms
s a block dagonal matrx, wth A Mat dm U (C) In fact, we can assume that B = B 1 B k, wth B an ordered bass of U, and that A = [f U ] B, where f U : U U s the restrcton of f to U 40 23 Nlpotent endomorphsms
More information12 MATH 101A: ALGEBRA I, PART C: MULTILINEAR ALGEBRA. 4. Tensor product
12 MATH 101A: ALGEBRA I, PART C: MULTILINEAR ALGEBRA Here s an outlne of what I dd: (1) categorcal defnton (2) constructon (3) lst of basc propertes (4) dstrbutve property (5) rght exactness (6) localzaton
More informationMEM 255 Introduction to Control Systems Review: Basics of Linear Algebra
MEM 255 Introducton to Control Systems Revew: Bascs of Lnear Algebra Harry G. Kwatny Department of Mechancal Engneerng & Mechancs Drexel Unversty Outlne Vectors Matrces MATLAB Advanced Topcs Vectors A
More informationQuantum Mechanics I - Session 4
Quantum Mechancs I - Sesson 4 Aprl 3, 05 Contents Operators Change of Bass 4 3 Egenvectors and Egenvalues 5 3. Denton....................................... 5 3. Rotaton n D....................................
More informationFrom Biot-Savart Law to Divergence of B (1)
From Bot-Savart Law to Dvergence of B (1) Let s prove that Bot-Savart gves us B (r ) = 0 for an arbtrary current densty. Frst take the dvergence of both sdes of Bot-Savart. The dervatve s wth respect to
More informationLectures - Week 4 Matrix norms, Conditioning, Vector Spaces, Linear Independence, Spanning sets and Basis, Null space and Range of a Matrix
Lectures - Week 4 Matrx norms, Condtonng, Vector Spaces, Lnear Independence, Spannng sets and Bass, Null space and Range of a Matrx Matrx Norms Now we turn to assocatng a number to each matrx. We could
More information36.1 Why is it important to be able to find roots to systems of equations? Up to this point, we have discussed how to find the solution to
ChE Lecture Notes - D. Keer, 5/9/98 Lecture 6,7,8 - Rootndng n systems o equatons (A) Theory (B) Problems (C) MATLAB Applcatons Tet: Supplementary notes rom Instructor 6. Why s t mportant to be able to
More informationGrover s Algorithm + Quantum Zeno Effect + Vaidman
Grover s Algorthm + Quantum Zeno Effect + Vadman CS 294-2 Bomb 10/12/04 Fall 2004 Lecture 11 Grover s algorthm Recall that Grover s algorthm for searchng over a space of sze wors as follows: consder the
More informationRestricted Lie Algebras. Jared Warner
Restrcted Le Algebras Jared Warner 1. Defntons and Examples Defnton 1.1. Let k be a feld of characterstc p. A restrcted Le algebra (g, ( ) [p] ) s a Le algebra g over k and a map ( ) [p] : g g called
More informationAn Introduction to Morita Theory
An Introducton to Morta Theory Matt Booth October 2015 Nov. 2017: made a few revsons. Thanks to Nng Shan for catchng a typo. My man reference for these notes was Chapter II of Bass s book Algebrac K-Theory
More informationHOPF ALGEBRAS WITH TRACE AND CLEBSCH-GORDAN COEFFICIENTS. 1. Recollections and the problem
HOPF ALGEBRAS WITH TRACE AND CLEBSCH-GORDAN COEFFICIENTS CORRADO DE CONCINI Abstract. In ths lecture I shall report on some jont work wth Proces, Reshetkhn and Rosso [1]. 1. Recollectons and the problem
More informationC/CS/Phy191 Problem Set 3 Solutions Out: Oct 1, 2008., where ( 00. ), so the overall state of the system is ) ( ( ( ( 00 ± 11 ), Φ ± = 1
C/CS/Phy9 Problem Set 3 Solutons Out: Oct, 8 Suppose you have two qubts n some arbtrary entangled state ψ You apply the teleportaton protocol to each of the qubts separately What s the resultng state obtaned
More information1 Matrix representations of canonical matrices
1 Matrx representatons of canoncal matrces 2-d rotaton around the orgn: ( ) cos θ sn θ R 0 = sn θ cos θ 3-d rotaton around the x-axs: R x = 1 0 0 0 cos θ sn θ 0 sn θ cos θ 3-d rotaton around the y-axs:
More informationProblem Do any of the following determine homomorphisms from GL n (C) to GL n (C)?
Homework 8 solutons. Problem 16.1. Whch of the followng defne homomomorphsms from C\{0} to C\{0}? Answer. a) f 1 : z z Yes, f 1 s a homomorphsm. We have that z s the complex conjugate of z. If z 1,z 2
More informationQuantum Mechanics for Scientists and Engineers. David Miller
Quantum Mechancs for Scentsts and Engneers Davd Mller Types of lnear operators Types of lnear operators Blnear expanson of operators Blnear expanson of lnear operators We know that we can expand functons
More informationINVARIANT STABLY COMPLEX STRUCTURES ON TOPOLOGICAL TORIC MANIFOLDS
INVARIANT STABLY COMPLEX STRUCTURES ON TOPOLOGICAL TORIC MANIFOLDS HIROAKI ISHIDA Abstract We show that any (C ) n -nvarant stably complex structure on a topologcal torc manfold of dmenson 2n s ntegrable
More informationGroup Theory in Physics
Group Theory n Physcs Lng-Fong L (Insttute) Representaton Theory / 4 Theory of Group Representaton In physcal applcaton, group representaton s mportant n deducng the consequence of the symmetres of the
More informationNote on EM-training of IBM-model 1
Note on EM-tranng of IBM-model INF58 Language Technologcal Applcatons, Fall The sldes on ths subject (nf58 6.pdf) ncludng the example seem nsuffcent to gve a good grasp of what s gong on. Hence here are
More informationFACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP
C O L L O Q U I U M M A T H E M A T I C U M VOL. 80 1999 NO. 1 FACTORIZATION IN KRULL MONOIDS WITH INFINITE CLASS GROUP BY FLORIAN K A I N R A T H (GRAZ) Abstract. Let H be a Krull monod wth nfnte class
More informationGeneral Tips on How to Do Well in Physics Exams. 1. Establish a good habit in keeping track of your steps. For example, when you use the equation
General Tps on How to Do Well n Physcs Exams 1. Establsh a good habt n keepng track o your steps. For example when you use the equaton 1 1 1 + = d d to solve or d o you should rst rewrte t as 1 1 1 = d
More informationAdvanced Quantum Mechanics
Advanced Quantum Mechancs Rajdeep Sensarma! sensarma@theory.tfr.res.n ecture #9 QM of Relatvstc Partcles Recap of ast Class Scalar Felds and orentz nvarant actons Complex Scalar Feld and Charge conjugaton
More informationHomework Notes Week 7
Homework Notes Week 7 Math 4 Sprng 4 #4 (a Complete the proof n example 5 that s an nner product (the Frobenus nner product on M n n (F In the example propertes (a and (d have already been verfed so we
More information5 The Rational Canonical Form
5 The Ratonal Canoncal Form Here p s a monc rreducble factor of the mnmum polynomal m T and s not necessarly of degree one Let F p denote the feld constructed earler n the course, consstng of all matrces
More informationp 1 c 2 + p 2 c 2 + p 3 c p m c 2
Where to put a faclty? Gven locatons p 1,..., p m n R n of m houses, want to choose a locaton c n R n for the fre staton. Want c to be as close as possble to all the house. We know how to measure dstance
More informationEndogenous timing in a mixed oligopoly consisting of a single public firm and foreign competitors. Abstract
Endogenous tmng n a mxed olgopoly consstng o a sngle publc rm and oregn compettors Yuanzhu Lu Chna Economcs and Management Academy, Central Unversty o Fnance and Economcs Abstract We nvestgate endogenous
More informationSolutions to Problem Set 6
Solutons to Problem Set 6 Problem 6. (Resdue theory) a) Problem 4.7.7 Boas. n ths problem we wll solve ths ntegral: x sn x x + 4x + 5 dx: To solve ths usng the resdue theorem, we study ths complex ntegral:
More informationn α j x j = 0 j=1 has a nontrivial solution. Here A is the n k matrix whose jth column is the vector for all t j=0
MODULE 2 Topcs: Lnear ndependence, bass and dmenson We have seen that f n a set of vectors one vector s a lnear combnaton of the remanng vectors n the set then the span of the set s unchanged f that vector
More informationEPR Paradox and the Physical Meaning of an Experiment in Quantum Mechanics. Vesselin C. Noninski
EPR Paradox and the Physcal Meanng of an Experment n Quantum Mechancs Vesseln C Nonnsk vesselnnonnsk@verzonnet Abstract It s shown that there s one purely determnstc outcome when measurement s made on
More informationA Simple Research of Divisor Graphs
The 29th Workshop on Combnatoral Mathematcs and Computaton Theory A Smple Research o Dvsor Graphs Yu-png Tsao General Educaton Center Chna Unversty o Technology Tape Tawan yp-tsao@cuteedutw Tape Tawan
More informationComputational Biology Lecture 8: Substitution matrices Saad Mneimneh
Computatonal Bology Lecture 8: Substtuton matrces Saad Mnemneh As we have ntroduced last tme, smple scorng schemes lke + or a match, - or a msmatch and -2 or a gap are not justable bologcally, especally
More informationDECOUPLING THEORY HW2
8.8 DECOUPLIG THEORY HW2 DOGHAO WAG DATE:OCT. 3 207 Problem We shall start by reformulatng the problem. Denote by δ S n the delta functon that s evenly dstrbuted at the n ) dmensonal unt sphere. As a temporal
More informationwhere a is any ideal of R. Lemma 5.4. Let R be a ring. Then X = Spec R is a topological space Moreover the open sets
5. Schemes To defne schemes, just as wth algebrac varetes, the dea s to frst defne what an affne scheme s, and then realse an arbtrary scheme, as somethng whch s locally an affne scheme. The defnton of
More informationSpectral Graph Theory and its Applications September 16, Lecture 5
Spectral Graph Theory and ts Applcatons September 16, 2004 Lecturer: Danel A. Spelman Lecture 5 5.1 Introducton In ths lecture, we wll prove the followng theorem: Theorem 5.1.1. Let G be a planar graph
More informationSection 8.3 Polar Form of Complex Numbers
80 Chapter 8 Secton 8 Polar Form of Complex Numbers From prevous classes, you may have encountered magnary numbers the square roots of negatve numbers and, more generally, complex numbers whch are the
More informationn-strongly Ding Projective, Injective and Flat Modules
Internatonal Mathematcal Forum, Vol. 7, 2012, no. 42, 2093-2098 n-strongly Dng Projectve, Injectve and Flat Modules Janmn Xng College o Mathematc and Physcs Qngdao Unversty o Scence and Technology Qngdao
More informationLecture 14 - Isomorphism Theorem of Harish-Chandra
Lecture 14 - Isomorphsm Theorem of Harsh-Chandra March 11, 2013 Ths lectures shall be focused on central characters and what they can tell us about the unversal envelopng algebra of a semsmple Le algebra.
More informationThe Order Relation and Trace Inequalities for. Hermitian Operators
Internatonal Mathematcal Forum, Vol 3, 08, no, 507-57 HIKARI Ltd, wwwm-hkarcom https://doorg/0988/mf088055 The Order Relaton and Trace Inequaltes for Hermtan Operators Y Huang School of Informaton Scence
More informationCategorification of quantum groups
Categorfcaton of quantum groups Aaron Lauda Jont wth Mkhal Khovanov Columba Unversty June 29th, 2009 Avalable at http://www.math.columba.edu/ lauda/talks/ Aaron Lauda Jont wth Mkhal Khovanov (Columba Categorfcaton
More informationLecture 10 Support Vector Machines II
Lecture 10 Support Vector Machnes II 22 February 2016 Taylor B. Arnold Yale Statstcs STAT 365/665 1/28 Notes: Problem 3 s posted and due ths upcomng Frday There was an early bug n the fake-test data; fxed
More informationOn the partial orthogonality of faithful characters. Gregory M. Constantine 1,2
On the partal orthogonalty of fathful characters by Gregory M. Constantne 1,2 ABSTRACT For conjugacy classes C and D we obtan an expresson for χ(c) χ(d), where the sum extends only over the fathful rreducble
More informationProf. Dr. I. Nasser Phys 630, T Aug-15 One_dimensional_Ising_Model
EXACT OE-DIMESIOAL ISIG MODEL The one-dmensonal Isng model conssts of a chan of spns, each spn nteractng only wth ts two nearest neghbors. The smple Isng problem n one dmenson can be solved drectly n several
More informationTHE SUMMATION NOTATION Ʃ
Sngle Subscrpt otaton THE SUMMATIO OTATIO Ʃ Most of the calculatons we perform n statstcs are repettve operatons on lsts of numbers. For example, we compute the sum of a set of numbers, or the sum of the
More informationSingular Value Decomposition: Theory and Applications
Sngular Value Decomposton: Theory and Applcatons Danel Khashab Sprng 2015 Last Update: March 2, 2015 1 Introducton A = UDV where columns of U and V are orthonormal and matrx D s dagonal wth postve real
More informationTHERE ARE NO POINTS OF ORDER 11 ON ELLIPTIC CURVES OVER Q.
THERE ARE NO POINTS OF ORDER 11 ON ELLIPTIC CURVES OVER Q. IAN KIMING We shall prove the followng result from [2]: Theorem 1. (Bllng-Mahler, 1940, cf. [2]) An ellptc curve defned over Q does not have a
More informationAn Explicit Construction of an Expander Family (Margulis-Gaber-Galil)
An Explct Constructon of an Expander Famly Marguls-Gaber-Gall) Orr Paradse July 4th 08 Prepared for a Theorst's Toolkt, a course taught by Irt Dnur at the Wezmann Insttute of Scence. The purpose of these
More information2 More examples with details
Physcs 129b Lecture 3 Caltech, 01/15/19 2 More examples wth detals 2.3 The permutaton group n = 4 S 4 contans 4! = 24 elements. One s the dentty e. Sx of them are exchange of two objects (, j) ( to j and
More information20. Mon, Oct. 13 What we have done so far corresponds roughly to Chapters 2 & 3 of Lee. Now we turn to Chapter 4. The first idea is connectedness.
20. Mon, Oct. 13 What we have done so far corresponds roughly to Chapters 2 & 3 of Lee. Now we turn to Chapter 4. The frst dea s connectedness. Essentally, we want to say that a space cannot be decomposed
More information( 1) i [ d i ]. The claim is that this defines a chain complex. The signs have been inserted into the definition to make this work out.
Mon, Apr. 2 We wsh to specfy a homomorphsm @ n : C n ()! C n (). Snce C n () s a free abelan group, the homomorphsm @ n s completely specfed by ts value on each generator, namely each n-smplex. There are
More informationModule 9. Lecture 6. Duality in Assignment Problems
Module 9 1 Lecture 6 Dualty n Assgnment Problems In ths lecture we attempt to answer few other mportant questons posed n earler lecture for (AP) and see how some of them can be explaned through the concept
More informationDISCRIMINANTS AND RAMIFIED PRIMES. 1. Introduction A prime number p is said to be ramified in a number field K if the prime ideal factorization
DISCRIMINANTS AND RAMIFIED PRIMES KEITH CONRAD 1. Introducton A prme number p s sad to be ramfed n a number feld K f the prme deal factorzaton (1.1) (p) = po K = p e 1 1 peg g has some e greater than 1.
More informationErrata to Invariant Theory with Applications January 28, 2017
Invarant Theory wth Applcatons Jan Drasma and Don Gjswjt http: //www.wn.tue.nl/~jdrasma/teachng/nvtheory0910/lecturenotes12.pdf verson of 7 December 2009 Errata and addenda by Darj Grnberg The followng
More informationThis model contains two bonds per unit cell (one along the x-direction and the other along y). So we can rewrite the Hamiltonian as:
1 Problem set #1 1.1. A one-band model on a square lattce Fg. 1 Consder a square lattce wth only nearest-neghbor hoppngs (as shown n the fgure above): H t, j a a j (1.1) where,j stands for nearest neghbors
More informationFoundations of Arithmetic
Foundatons of Arthmetc Notaton We shall denote the sum and product of numbers n the usual notaton as a 2 + a 2 + a 3 + + a = a, a 1 a 2 a 3 a = a The notaton a b means a dvdes b,.e. ac = b where c s an
More informationLecture 12: Discrete Laplacian
Lecture 12: Dscrete Laplacan Scrbe: Tanye Lu Our goal s to come up wth a dscrete verson of Laplacan operator for trangulated surfaces, so that we can use t n practce to solve related problems We are mostly
More informationComplex Variables. Chapter 18 Integration in the Complex Plane. March 12, 2013 Lecturer: Shih-Yuan Chen
omplex Varables hapter 8 Integraton n the omplex Plane March, Lecturer: Shh-Yuan hen Except where otherwse noted, content s lcensed under a BY-N-SA. TW Lcense. ontents ontour ntegrals auchy-goursat theorem
More informationKLR algebras and knot homology II
KLR algebras and knot homology II Ben Webster Unversty of Vrgna June 6, 013 Ben Webster (UVA) KLR algebras and knot homology II June 6, 013 1 / 5 The case of sl So, remember, last tme I ntroduced an algebra
More informationAffine transformations and convexity
Affne transformatons and convexty The purpose of ths document s to prove some basc propertes of affne transformatons nvolvng convex sets. Here are a few onlne references for background nformaton: http://math.ucr.edu/
More informationTHE CHINESE REMAINDER THEOREM. We should thank the Chinese for their wonderful remainder theorem. Glenn Stevens
THE CHINESE REMAINDER THEOREM KEITH CONRAD We should thank the Chnese for ther wonderful remander theorem. Glenn Stevens 1. Introducton The Chnese remander theorem says we can unquely solve any par of
More informationSUPER PRINCIPAL FIBER BUNDLE WITH SUPER ACTION
talan journal of pure appled mathematcs n. 33 2014 (63 70) 63 SUPER PRINCIPAL FIBER BUNDLE WITH SUPER ACTION M.R. Farhangdoost Department of Mathematcs College of Scences Shraz Unversty Shraz, 71457-44776
More information3 Holonomic D-Modules
3 Holonomc D-Modules In ths chapter we study unctoral behavors o holonomc systems and show that any smple obect n the abelan category o holonomc D X -modules s a mnmal extenson o an ntegrable connecton
More informationMath 217 Fall 2013 Homework 2 Solutions
Math 17 Fall 013 Homework Solutons Due Thursday Sept. 6, 013 5pm Ths homework conssts of 6 problems of 5 ponts each. The total s 30. You need to fully justfy your answer prove that your functon ndeed has
More informationMoments of Inertia. and reminds us of the analogous equation for linear momentum p= mv, which is of the form. The kinetic energy of the body is.
Moments of Inerta Suppose a body s movng on a crcular path wth constant speed Let s consder two quanttes: the body s angular momentum L about the center of the crcle, and ts knetc energy T How are these
More informationThe Second Eigenvalue of Planar Graphs
Spectral Graph Theory Lecture 20 The Second Egenvalue of Planar Graphs Danel A. Spelman November 11, 2015 Dsclamer These notes are not necessarly an accurate representaton of what happened n class. The
More informationFormulas for the Determinant
page 224 224 CHAPTER 3 Determnants e t te t e 2t 38 A = e t 2te t e 2t e t te t 2e 2t 39 If 123 A = 345, 456 compute the matrx product A adj(a) What can you conclude about det(a)? For Problems 40 43, use
More informationECEN 5005 Crystals, Nanocrystals and Device Applications Class 19 Group Theory For Crystals
ECEN 5005 Crystals, Nanocrystals and Devce Applcatons Class 9 Group Theory For Crystals Dee Dagram Radatve Transton Probablty Wgner-Ecart Theorem Selecton Rule Dee Dagram Expermentally determned energy
More informationPolynomials. 1 More properties of polynomials
Polynomals 1 More propertes of polynomals Recall that, for R a commutatve rng wth unty (as wth all rngs n ths course unless otherwse noted), we defne R[x] to be the set of expressons n =0 a x, where a
More informationU.C. Berkeley CS294: Beyond Worst-Case Analysis Luca Trevisan September 5, 2017
U.C. Berkeley CS94: Beyond Worst-Case Analyss Handout 4s Luca Trevsan September 5, 07 Summary of Lecture 4 In whch we ntroduce semdefnte programmng and apply t to Max Cut. Semdefnte Programmng Recall that
More informationON FIBRANT OBJECTS IN MODEL CATEGORIES
Theory and Applcatons o Categores, ol. 33, No. 3, 2018, pp. 43 66. ON FIBRANT OBJECTS IN MODEL CATEGORIES ALERY ISAE Abstract. In ths paper, we study propertes o maps between brant objects n model categores.
More informationMath 594. Solutions 1
Math 594. Solutons 1 1. Let V and W be fnte-dmensonal vector spaces over a feld F. Let G = GL(V ) and H = GL(W ) be the assocated general lnear groups. Let X denote the vector space Hom F (V, W ) of lnear
More informationLECTURE V. 1. More on the Chinese Remainder Theorem We begin by recalling this theorem, proven in the preceeding lecture.
LECTURE V EDWIN SPARK 1. More on the Chnese Remander Theorem We begn by recallng ths theorem, proven n the preceedng lecture. Theorem 1.1 (Chnese Remander Theorem). Let R be a rng wth deals I 1, I 2,...,
More informationThe Feynman path integral
The Feynman path ntegral Aprl 3, 205 Hesenberg and Schrödnger pctures The Schrödnger wave functon places the tme dependence of a physcal system n the state, ψ, t, where the state s a vector n Hlbert space
More informationREDUCTION MODULO p. We will prove the reduction modulo p theorem in the general form as given by exercise 4.12, p. 143, of [1].
REDUCTION MODULO p. IAN KIMING We wll prove the reducton modulo p theorem n the general form as gven by exercse 4.12, p. 143, of [1]. We consder an ellptc curve E defned over Q and gven by a Weerstraß
More informationCharacter Degrees of Extensions of PSL 2 (q) and SL 2 (q)
Character Degrees of Extensons of PSL (q) and SL (q) Donald L. Whte Department of Mathematcal Scences Kent State Unversty, Kent, Oho 444 E-mal: whte@math.kent.edu July 7, 01 Abstract Denote by S the projectve
More information7. Products and matrix elements
7. Products and matrx elements 1 7. Products and matrx elements Based on the propertes of group representatons, a number of useful results can be derved. Consder a vector space V wth an nner product ψ
More informationON MECHANICS WITH VARIABLE NONCOMMUTATIVITY
ON MECHANICS WITH VARIABLE NONCOMMUTATIVITY CIPRIAN ACATRINEI Natonal Insttute of Nuclear Physcs and Engneerng P.O. Box MG-6, 07725-Bucharest, Romana E-mal: acatrne@theory.npne.ro. Receved March 6, 2008
More informationModule 2. Random Processes. Version 2 ECE IIT, Kharagpur
Module Random Processes Lesson 6 Functons of Random Varables After readng ths lesson, ou wll learn about cdf of functon of a random varable. Formula for determnng the pdf of a random varable. Let, X be
More informationMore metrics on cartesian products
More metrcs on cartesan products If (X, d ) are metrc spaces for 1 n, then n Secton II4 of the lecture notes we defned three metrcs on X whose underlyng topologes are the product topology The purpose of
More informationDistribution det x s on p-adic matrices
January 30, 207 Dstruton det x s on p-adc matrces aul arrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ Let e a p-adc feld wth ntegers o, local parameter, and resdue feld cardnalty q. Let A
More informationMATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS
MATH 241B FUNCTIONAL ANALYSIS - NOTES EXAMPLES OF C ALGEBRAS These are nformal notes whch cover some of the materal whch s not n the course book. The man purpose s to gve a number of nontrval examples
More informationGELFAND-TSETLIN BASIS FOR THE REPRESENTATIONS OF gl n
GELFAND-TSETLIN BASIS FOR THE REPRESENTATIONS OF gl n KANG LU FINITE DIMENSIONAL REPRESENTATIONS OF gl n Let e j,, j =,, n denote the standard bass of the general lnear Le algebra gl n over the feld of
More informationDifference Equations
Dfference Equatons c Jan Vrbk 1 Bascs Suppose a sequence of numbers, say a 0,a 1,a,a 3,... s defned by a certan general relatonshp between, say, three consecutve values of the sequence, e.g. a + +3a +1
More informationDIFFERENTIAL FORMS BRIAN OSSERMAN
DIFFERENTIAL FORMS BRIAN OSSERMAN Dfferentals are an mportant topc n algebrac geometry, allowng the use of some classcal geometrc arguments n the context of varetes over any feld. We wll use them to defne
More informationA how to guide to second quantization method.
Phys. 67 (Graduate Quantum Mechancs Sprng 2009 Prof. Pu K. Lam. Verson 3 (4/3/2009 A how to gude to second quantzaton method. -> Second quantzaton s a mathematcal notaton desgned to handle dentcal partcle
More informationThe transfer in modular invariant theory 1
Journal of Pure and Appled Algebra 4 (999 6 77 www.elsever.com/locate/jpaa The transfer n modular nvarant theory R. James Shank a;, Davd L. Wehlau a;b a Department of Mathematcs and Statstcs, Queen s Unversty,
More informationMath 101 Fall 2013 Homework #7 Due Friday, November 15, 2013
Math 101 Fall 2013 Homework #7 Due Frday, November 15, 2013 1. Let R be a untal subrng of E. Show that E R R s somorphc to E. ANS: The map (s,r) sr s a R-balanced map of E R to E. Hence there s a group
More informationDirichlet s Theorem In Arithmetic Progressions
Drchlet s Theorem In Arthmetc Progressons Parsa Kavkan Hang Wang The Unversty of Adelade February 26, 205 Abstract The am of ths paper s to ntroduce and prove Drchlet s theorem n arthmetc progressons,
More information12. The Hamilton-Jacobi Equation Michael Fowler
1. The Hamlton-Jacob Equaton Mchael Fowler Back to Confguraton Space We ve establshed that the acton, regarded as a functon of ts coordnate endponts and tme, satsfes ( ) ( ) S q, t / t+ H qpt,, = 0, and
More informationChapter 3 Differentiation and Integration
MEE07 Computer Modelng Technques n Engneerng Chapter Derentaton and Integraton Reerence: An Introducton to Numercal Computatons, nd edton, S. yakowtz and F. zdarovsky, Mawell/Macmllan, 990. Derentaton
More informationErrors for Linear Systems
Errors for Lnear Systems When we solve a lnear system Ax b we often do not know A and b exactly, but have only approxmatons  and ˆb avalable. Then the best thng we can do s to solve ˆx ˆb exactly whch
More informationwhere a is any ideal of R. Lemma Let R be a ring. Then X = Spec R is a topological space. Moreover the open sets
11. Schemes To defne schemes, just as wth algebrac varetes, the dea s to frst defne what an affne scheme s, and then realse an arbtrary scheme, as somethng whch s locally an affne scheme. The defnton of
More information