g-selberg integrals MV Conjecture An A 2 Selberg integral Summary Long Live the King Ole Warnaar Department of Mathematics Long Live the King

Σχετικά έγγραφα
Partial Differential Equations in Biology The boundary element method. March 26, 2013

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

Lecture 10 - Representation Theory III: Theory of Weights

Congruence Classes of Invertible Matrices of Order 3 over F 2

Affine Weyl Groups. Gabriele Nebe. Summerschool GRK 1632, September Lehrstuhl D für Mathematik

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

w o = R 1 p. (1) R = p =. = 1

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3

2 Composition. Invertible Mappings

DiracDelta. Notations. Primary definition. Specific values. General characteristics. Traditional name. Traditional notation

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions

SCITECH Volume 13, Issue 2 RESEARCH ORGANISATION Published online: March 29, 2018

Lecture 13 - Root Space Decomposition II

Inverse trigonometric functions & General Solution of Trigonometric Equations

Fourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics

Matrices and vectors. Matrix and vector. a 11 a 12 a 1n a 21 a 22 a 2n A = b 1 b 2. b m. R m n, b = = ( a ij. a m1 a m2 a mn. def

Homework 3 Solutions

Other Test Constructions: Likelihood Ratio & Bayes Tests

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

Approximation of distance between locations on earth given by latitude and longitude

Solutions to Exercise Sheet 5

D Alembert s Solution to the Wave Equation

Numerical Analysis FMN011

New bounds for spherical two-distance sets and equiangular lines

Homework 8 Model Solution Section

Fractional Colorings and Zykov Products of graphs

Example Sheet 3 Solutions

Lecture Notes Introduction to Cluster Algebra

Spherical Coordinates

The k-α-exponential Function

Parametrized Surfaces

Trigonometric Formula Sheet

The Simply Typed Lambda Calculus

Practice Exam 2. Conceptual Questions. 1. State a Basic identity and then verify it. (a) Identity: Solution: One identity is csc(θ) = 1

Finite Field Problems: Solutions

On the k-bessel Functions

Lecture 16 - Weyl s Character Formula I: The Weyl Function and the Kostant Partition Function

ON NEGATIVE MOMENTS OF CERTAIN DISCRETE DISTRIBUTIONS

Math221: HW# 1 solutions

2. THEORY OF EQUATIONS. PREVIOUS EAMCET Bits.

Section 8.3 Trigonometric Equations

Second Order RLC Filters

Lecture 15 - Root System Axiomatics

Jesse Maassen and Mark Lundstrom Purdue University November 25, 2013

If we restrict the domain of y = sin x to [ π, π ], the restrict function. y = sin x, π 2 x π 2

4.6 Autoregressive Moving Average Model ARMA(1,1)

The Jordan Form of Complex Tridiagonal Matrices

On the Galois Group of Linear Difference-Differential Equations

Homomorphism in Intuitionistic Fuzzy Automata

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β

If we restrict the domain of y = sin x to [ π 2, π 2

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS

EE512: Error Control Coding

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in

Reminders: linear functions

Testing for Indeterminacy: An Application to U.S. Monetary Policy. Technical Appendix

The Spiral of Theodorus, Numerical Analysis, and Special Functions

Space-Time Symmetries

ES440/ES911: CFD. Chapter 5. Solution of Linear Equation Systems

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007

Optimal Parameter in Hermitian and Skew-Hermitian Splitting Method for Certain Two-by-Two Block Matrices

From the finite to the transfinite: Λµ-terms and streams

The Determinant of a Hypergeometric Period Matrix and a Generalization of Selberg s Integral

ECE Spring Prof. David R. Jackson ECE Dept. Notes 2

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)

PROPERTIES OF CERTAIN INTEGRAL OPERATORS. a n z n (1.1)

Solution Series 9. i=1 x i and i=1 x i.

Areas and Lengths in Polar Coordinates

Matrices and Determinants

An Inventory of Continuous Distributions

Concrete Mathematics Exercises from 30 September 2016

Finite size Emptiness Formation Probability for the XXZ spin chain at = 1/2

6.1. Dirac Equation. Hamiltonian. Dirac Eq.

SPECIAL FUNCTIONS and POLYNOMIALS

Statistical Inference I Locally most powerful tests

From root systems to Dynkin diagrams

Exercise 1.1. Verify that if we apply GS to the coordinate basis Gauss form ds 2 = E(u, v)du 2 + 2F (u, v)dudv + G(u, v)dv 2

Additional Results for the Pareto/NBD Model

SOLVING CUBICS AND QUARTICS BY RADICALS

Pg The perimeter is P = 3x The area of a triangle is. where b is the base, h is the height. In our case b = x, then the area is

MATHEMATICS. 1. If A and B are square matrices of order 3 such that A = -1, B =3, then 3AB = 1) -9 2) -27 3) -81 4) 81

The ε-pseudospectrum of a Matrix

Srednicki Chapter 55

forms This gives Remark 1. How to remember the above formulas: Substituting these into the equation we obtain with

Sequent Calculi for the Modal µ-calculus over S5. Luca Alberucci, University of Berne. Logic Colloquium Berne, July 4th 2008

( ) 2 and compare to M.

Areas and Lengths in Polar Coordinates

12. Radon-Nikodym Theorem

Two generalisations of the binomial theorem

MATH423 String Theory Solutions 4. = 0 τ = f(s). (1) dτ ds = dxµ dτ f (s) (2) dτ 2 [f (s)] 2 + dxµ. dτ f (s) (3)

Commutative Monoids in Intuitionistic Fuzzy Sets

x j (t) = e λ jt v j, 1 j n

Tutorial on Multinomial Logistic Regression

1. (a) (5 points) Find the unit tangent and unit normal vectors T and N to the curve. r(t) = 3cost, 4t, 3sint

Discriminantal arrangement

CRASH COURSE IN PRECALCULUS

k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +

3+1 Splitting of the Generalized Harmonic Equations

1. If log x 2 y 2 = a, then dy / dx = x 2 + y 2 1] xy 2] y / x. 3] x / y 4] none of these

Tridiagonal matrices. Gérard MEURANT. October, 2008

Transcript:

Ole Warnaar Department of Mathematics

g-selberg integrals The Selberg integral corresponds to the following k-dimensional generalisation of the beta integral: D Here and k t α 1 i (1 t i ) β 1 1 i<j k (t i t j ) 2γ dt = k 1 i=0 D = {t R k, 0 t k t 1 1} dt = dt 1 dt k Γ(α + iγ)γ(β + iγ)γ(γ + iγ) Γ ( α + β + (k + i 1)γ ) Γ(γ)

The Selberg-like integral C k (t i z) α 1 (t i w) β 1 1 i<j k (t i t j ) 2γ dt (where C is a k-dimensional Pochhammer double loop) arises in the solution of the Knizhnik Zamolodchikov (KZ) equation for the Lie algebra sl 2 = A 1. In Arrangements of hyperplanes and Lie algebra homology, (Invent. Math. 106 (1991), 139 194)) Schechtman and Varchenko solved the KZ equation for general simple Lie algebra g in terms of Selberg-like integrals.

Simple Lie algebra g of rank n. Root system Φ with simple roots α i, i [n]. Fundamental weights Λ i, i [n]. Bilinear symmetric form (, ) on the dual of the Cartan subalgebra: (α i, Λ j ) = δ ij and ( (α i, α j ) ) n i,j=1 = Cartan matrix of g Two highest weight modules V λ and V µ of highest weight λ and µ where n n λ = λ i Λ i and µ = µ i Λ i

α 2 Λ 2 Let ɛ i the ith standard unit vector in R n+1. Then the root system A n is given by {±(ɛ i ɛ j ) 1 i j n + 1} Λ 1 α 1 The root system A 2 with fundamental weights in red.

( (α i, α j ) ) n i,j=1 2 1 1 2 1 =... 1 2 1 1 2 1 2 n The Cartan matrix and Dynkin diagram of A n.

Attach the set {t j } k1+ +k i j=k 1+ +k i 1 +1 of k i integration variables to the simple root α i (or to the ith node of the Dynkin diagram of g) and write α tj = α i if the variable t j is attached to the root α i. Then the master function is defined as Φ λ,µ (t) = k where k = k 1 + + k n. t (λ,αt i ) i (1 t i ) (µ,αt i ) 1 i<j k (t i t j ) (αt i,αt j )

Let D be an appropriately chosen real integration domain or chain in [0, 1] k. Then the g-selberg integral is S g λ,µ;γ = S g λ,µ;γ (k 1,..., k n ) := Φ λ,µ (t) γ dt D

Example 1: g = A 1 λ = (1 α)γ 1 Λ 1 and µ = (1 β)γ 1 Λ 1 S A1 λ,µ;γ = D k t α 1 i (1 t i ) β 1 1 i<j k t i t j 2γ dt Example 2: g = A 2 S A2 λ,µ;γ = D λ = (1 α 1 )γ 1 Λ 1 + (1 α 2 )γ 1 Λ 2 µ = (1 β 1 )γ 1 Λ 1 + (1 β 2 )γ 1 Λ 2 k 1 t α1 1 i k 2 (1 t i ) β1 1 s α2 1 i (1 s i ) β2 1 k 1 k 2 t i t j 2γ s i s j 2γ t i s j γ dt 1 i<j k 1 1 i<j k 2 j=1

The Mukhin Varchenko conjecture Mukhin and Varchenko made the following conjecture regarding the g-selberg integral. Let Sing λ,µ [ν] denote the space of singular vectors of weight ν in V λ V µ : Sing λ,µ [ν] := {v V λ V µ : h i v = ν(h i )v, e i v = 0, 1 i n}. Conjecture (Mukhin Varchenko) If Sing λ,µ [λ + µ n k iα i ] is one-dimensional then S g λ,µ;γ evaluates as a product of gamma functions. Remarks on critical points of phase functions and norms of Bethe vectors, Adv. Stud. Pure Math. 27 (2000), 239 246.

Let λ = (1 α)γ 1 Λ n, µ = (1 β 1 )γ 1 Λ 1 + + (1 β n )γ 1 Λ n Theorem (SOW) If k 1 k 2 k n then n k s λ,µ;γ = S An 1 s r n s=1 k s k s 1 Γ(αδ s,n + (i k s+1 1)γ)Γ(iγ) Γ(γ) Γ(β s + + β r + (i + s r 1)γ) Γ ( αδ r,n + β s + + β r + (i + s r + k r k r+1 2)γ ) A Selberg integral for the Lie algebra A n, Acta Math. to appear.

An A 2 Selberg integral Let P λ (X ) = P λ (X ; q, t) be a (normalised) Macdonald polynomial and let (a) λ = (a; q, t) λ = i 1(at 1 i ; q) λi be a q-shifted factorial labelled by a partition. Theorem: A 2 Cauchy-type identity (SOW) Let X = {x 1,..., x n } and Y = {y 1,..., y m }. For abt = q, P λ (X )P µ (Y ) (at m ) λ (bt n ) µ λ,µ = n n (ax i ) (x i ) m j=1 m t µ j (by i ) (y i ) (at j i ) λi µ j (at j i+1 ) λi µ j n m j=1 (x i y j ) (t 1 x i y j ).

Special cases: m = 0: q-binomial theorem for Macdonald polynomials n (ax i ) (a) λ P λ (X ) = (x i ) λ n = 0: q-binomial theorem for Macdonald polynomials m (ay i ) (a) λ P λ (Y ) = (y i ) λ a = b = 1, t = q, Y qy : Cauchy identity for Schur functions n m 1 s λ (X )s λ (Y ) = 1 x i y j λ j=1

Corollary 1: A 2 Selberg integral Let λ = (1 α 1 )γ 1 Λ 1 + (1 α 2 )γ 1 Λ 2 such that Then k1 S A2 λ,µ;γ = µ = (1 β 1 )γ 1 Λ 1 + (1 β 2 )γ 1 Λ 2 α 1 + α 2 = γ + 1 Γ(α 1 + (i k 2 1)γ)Γ(β 1 + (i 1)γ)Γ(iγ) Γ(α 1 + β 1 + (i + k 1 k 2 2)γ)Γ(γ) k 2 Γ(α 2 + (i 1)γ)Γ(β 2 + (i 1)γ)Γ(iγ) Γ(α 2 + β 2 + (i + k 2 k 1 2)γ)Γ(γ) k 1 Γ(β 1 + β 2 + (i 2)γ) Γ(β 1 + β 2 + (i + k 2 2)γ)

Define the n-dimensional q-integral S (n,m) (α 1, α 2, β; k) := For m = 0: n m j=1 S (n,0) (α 1, α 2, β; k) = n [0,1] n (x i q) α2+β+(m n j)k 1 (x i q) α2+β+(m n j+1)k 1 n [0,1] n x α1 1 i (x i q) β (n 1)k 1 1 i<j n x α1 1 i (x i q) β (n 1)k 1 1 i<j n x 2k i (q 1 k x j /x i ) 2k d q x. xi 2k (q 1 k x j /x i ) 2k d q x this is the q-selberg integral of Askey, Habsieger and Kadell.

Corollary 2: q-selberg integral transform S (n,m) (α 1, α 2, β; k) = q ζ S (m,n) (α 2, α 1, β; k) n Γ q (β (i 1)k)Γ q (α 1 + (n i)k)γ q (ik + 1) Γ q (α 1 + β + (n m i)k)γ q (k + 1) m Γ q (α 2 + β + (m n i)k)γ q (k + 1) Γ q (β (i 1)k)Γ q (α 2 + (m i)k)γ q (ik + 1) where ( ) ( n m ζ = 2k 2 2k 2 3 3 ) + α 1 k ( ) n α 2 k 2 ( ) m 2

Summary Long Live The King