Access the full text.
Sign up today, get DeepDyve free for 14 days.
WEYL GROUPS AND ELLIPTIC SOLUTIONS OF THE WDVV EQUATIONS IAN A. B. STRACHAN Abstract. A functional ansatz is developed which gives certain elliptic solu- tions of the Witten-Dijkgraaf-Verlinde-Verlinde (or WDVV) equation. This is based on the elliptic trilogarithm function introduced by Beilinson and Levin. For this to be a solution results in a number of purely algebraic conditions on the set of vectors that appear in the ansatz, this providing an elliptic version of the idea, introduced by Veselov, of a ∨-system. Rational and trigonometric limits are studied together with examples of elliptic ∨-systems based on various Weyl groups. Jacobi group orbit spaces are studied: these carry the structure of a Frobenius manifold. The corresponding ‘almost dual’ structure is shown, in the A and B and conjecturally for an N N arbitrary Weyl group, to correspond to the elliptic solutions of the WDVV equations. Transformation properties, under the Jacobi group, of the elliptic triloga- rithm are derived together with various functional identities which generalize the classical Frobenius-Stickelburger relations. Contents 1. Introduction 2 1.1. Frobenius Manifolds and almost-duality 2 1.2. Examples 4 2. The Elliptic Polylogarithm and its Properties 7 2.1. Notation 7 2.2. The elliptic polylogarithm 8 3. Transformation properties of the WDVV equations 11 3.1. Analysis of the WDVV equations 12 3.2. Modular transformations of the structure functions 12 3.3. Periodicity properties of the structure functions 14 4. Singularity properties 15 5. The Main Theorem 18 5.1. Rational and Trigonometric Limits 19 6. Examples of elliptic ∨-systems 20 6.1. The case U = R 21 irreg 6.2. The case U = R ∪ R 22 7. Frobenius-Stickelberger Identities 26 8. Jacobi Group Orbit Spaces 27 8.1. Jacobi groups and Jacobi forms 28 Date: July 21, 2018. 1991 Mathematics Subject Classiﬁcation. 11F55, 53B50, 53D45. Key words and phrases. Frobenius manifolds, WDVV equations, Jacobi groups, elliptic func- tions, elliptic polylogarithms. arXiv:0802.0388v2 [math-ph] 4 Nov 2009 2 IAN A. B. STRACHAN 8.2. Hurwitz spaces 30 9. Comments 33 Acknowledgments 34 References 34 1. Introduction One recurrent theme in the theory of integrable systems is the tower of general- izations rational −→ trigonometric −→ elliptic , the paradigm being provided by the Calogero-Moser system, where the original rational interaction term may be generalized 1 1 −→ −→ ℘(z) 2 2 sin z whilst retaining integrability. A second recurrent theme is the appearance of root systems, the paradigm being again provided by the Calogero-Moser system where the interaction term (z − z ) i j i6=j can, on ﬁxing the centre of mass, be written as (α, z) α∈R where the sum is taken over the roots R of the A Coxeter group [24]. The A N integrability of the system is preserved if other root systems are used. These two themes occur in many other integrable structures; R matrices, quan- tum groups, Dunkl operators, KZ-equations all admit (to a greater or lesser extent) rational, trigonometric and elliptic versions and generalizations to arbitrary root systems (see for example [8] and the references therein). In this paper elliptic solutions of the Witten-Dijkgraaf-Verlinde-Verlinde (or WDVV) equations will be studied for arbitrary Weyl groups, these sitting at the right of the following tower of generalizations: N N+1 C /W −→ C /W −→ Ω/J(g) . Coxeter group Extended aﬃne Weyl Jacobi group −→ −→ orbit space orbit space orbit space We begin by deﬁning a Frobenius manifold. 1.1. Frobenius Manifolds and almost-duality. Deﬁnition 1. An algebra (A,◦, η, e) over C is a Frobenius algebra if: • the algebra {A,◦} is commutative, associative with unity e ; • the multiplication is compatible with a C-valued bilinear, symmetric, non- degenerate inner product η : A × A → C WEYL GROUPS AND ELLIPTIC SOLUTIONS OF THE WDVV EQUATIONS 3 in the sense that η(a ◦ b, c) = η(a, b ◦ c) for all a, b, c ∈ A . With this structure one may deﬁne a Frobenius manifold [9]: Deﬁnition 2. (M,◦, e, η, E) is a Frobenius manifold if each tangent space T M is a Frobenius algebra varying smoothly over M with the additional properties: • the inner product is a ﬂat metric on M (the term ‘metric’ will denote a complex-valued quadratic form on M). • ∇e = 0, where ∇ is the Levi-Civita connection of the metric; • the tensor (∇ ◦)(X, Y, Z) is totally symmetric for all vectors W, X, Y, Z ∈ T M ; • the vector ﬁeld E (the Euler vector ﬁeld) has the properties ∇(∇E) = 0 and the corresponding one-parameter group of diﬀeomorphisms acts by con- formal transformations of the metric and by rescalings on the Frobenius algebras T M . Since the metric η is ﬂat there exists a distinguished coordinate system (deﬁned 1 α up to linear transformations) of so-called ﬂat coordinates {t , α = 0 , . . . , N + 1} in which the components of the metric are constant. From the various symmetry properties of tensors ◦ and ∇◦ it then follows that there exists a function F , the prepotential, such that in the ﬂat coordinate system, ∂ ∂ ∂ c = η ◦ , , αβγ α β γ ∂t ∂t ∂t ∂ F = , α β γ ∂t ∂t ∂t and the associativity condition then implies that the pair (F, η) satisfy the WDVV- equations 3 3 3 3 ∂ F ∂ F ∂ F ∂ F λµ λµ η − η = 0 , α β λ µ γ δ δ β λ µ γ α ∂t ∂t ∂t ∂t ∂t ∂t ∂t ∂t ∂t ∂t ∂t ∂t where α , β , γ , δ = 0 . . . , N + 1 . −1 Consider the vector ﬁeld E deﬁned by the condition −1 E ◦ E = e . This is deﬁned on M = M\Σ , where Σ is the discriminant submanifold on which −1 E is undeﬁned. With this ﬁeld one may deﬁne a new ‘dual’ multiplication ⋆ : ⋆ ⋆ ⋆ T M × T M → T M by −1 ⋆ X ⋆ Y = E ◦ X ◦ Y , ∀ X , Y ∈ T M . This new multiplication is clearly commutative and associative, with the Euler vector ﬁeld being the unity ﬁeld for the new multiplication. Furthermore, this new multiplication is compatible with the intersection form g on the Frobenius manifold, i.e. g(X ⋆ Y, Z) = g(X, Y ⋆ Z) , ∀ X , Y , Z ∈ T M . This labeling is for future notational convenience. 4 IAN A. B. STRACHAN Here g is deﬁned by the equation −1 ⋆ g(X, Y ) = η(X ◦ Y, E ) , ∀ X , Y ∈ T M (and hence is well-deﬁned on M ). Alternatively one may use the metric η to extend the original multiplication to the cotangent bundle and deﬁne −1 ⋆ ⋆ g (x, y) = ι (x ◦ y) , ∀ x , y ∈ T M . The intersection form has the important property that it is ﬂat, and hence there exists a distinguished coordinate system {p} in which the components of the in- tersection form are constant. It turns out that there exists a dual prepotential ⋆ ⋆ F such that its third derivatives give the structure functions c for the dual ijk multiplication. More precisely [10]: Theorem 3. Given a Frobenius manifold M, there exists a function F deﬁned on M such that: ∂ ∂ ∂ c = g ⋆ , , ijk i j k ∂p ∂p ∂p 3 ⋆ ∂ F = . i j k ∂p ∂p ∂p Moreover, the pair (F , g) satisfy the WDVV-equations in the ﬂat coordinates {p} of the metric g . Thus given a speciﬁc Frobenius manifold one may construct a ‘dual’ solution to the WDVV-equations by constructing the ﬂat-coordinates of the intersection form and using the above result to ﬁnd the tensor c from which the dual prepotential ijk may be constructed. 1.2. Examples. The simplest class of Frobenius manifolds is given by the so-called Saito construction on the space of orbits of a Coxeter group. Let W be an irreducible Coxeter group acting on a real vector space V of dimension N . The action extends to the complexiﬁed space V ⊗ C . The orbit space V ⊗ C/W = C /W has a particularly nice structure, this following from Chevalley’s theorem on the ring of W -invariant polynomials: Theorem 4. There exists a set of W -invariant polynomial s (z) , i = 1 , . . . , N such that C[z , . . . , z ] C[s , . . . , s ] . 1 N = 1 N On this orbit space one may deﬁne a metric (a complex-valued quadratic form) by taking the Lie-derivative of the W -invariant Euclidean metric g on V ⊗ C −1 −1 η = L g where e is a vector ﬁeld constructed from the highest degree invariant polynomial. It was proved by K. Saito that this metric is non-degenerate and ﬂat [28]. One therefore obtains a ﬂat pencil of metrics from which one may construct a polyno- mial solution - polynomial in the ﬂat coordinates of the metric η - to the WDVV equations. WEYL GROUPS AND ELLIPTIC SOLUTIONS OF THE WDVV EQUATIONS 5 The dual prepotential for this class of Frobenius manifolds is particularly simple: 2 2 (1) F = (α, z) log(α, z) α∈R where the sum is taken over the roots of the Coxeter group W [20, 21, 22]. However, the space of solutions of the same functional form is far larger. Veselov [32] derived the algebraic conditions, known as ∨-conditions, on the set of vectors U that are required for the prepotential 2 2 F = (α, z) log(α, z) α∈U to satisfy the WDVV equations (we assume throughout this paper that if α ∈ U then −α ∈ U automatically). What is required here is a reﬁnement of this idea, namely that of a complex Euclidean ∨-system [15] Deﬁnition 5. Let h be a complex vector space with non-degenerate bilinear form ( , ) and let U be a collection of vectors in h . A complex Euclidean ∨-system U satisﬁes the following conditions: • U is well distributed, i.e. h (α, u)(α, v) = 2h (u, v) for some λ ; α∈U U • on any 2-dimensional plane Π the set Π ∩ U is either well distributed or reducible (i.e. the union of two non-empty orthogonal subsystems). Note the following: • the constants h could be absorbed into the α . In applications these con- stants will be both positive and negative. Hence the requirement of a complex vector space. • the constant h can be zero in certain spaces. One further comment has to be made in the case when h = 0 . We require here that the inverse metric used in the WDVV equations is the non-degenerate bilinear form ( , ) on h rather than one - possibly degenerate - constructed from the sum of derivatives of F as used in [14] . Trigonometric solutions were studied in [11], corresponding to extended aﬃne Weyl groups. As in the Coxeter case one has a Chevalley-type theorem and a well deﬁned orbit space on which one may deﬁne, following the Saito-construction, a ﬂat metric and hence a solution to the WDVV equations. It is to be expected, though a full proof for arbitrary Weyl groups is currently lacking, that the corresponding dual solutions will take the following functional form i(α,x) (2) F = cubic terms + h Li e α 3 α∈R where Li (x) is the trilogarithm and h are Weyl-invariant sets of constants. Solu- 3 α tions of the WDVV equations of this type have been studied by a number of authors [21, 23] but are only known to be almost dual solutions to the extended aﬃne Weyl (k) Frobenius manifolds in certain special cases (e.g. W = A ) [26]. Trigonometric ∨-conditions, conditions on the vectors α that ensure that the prepotential i(α,x) F = cubic terms + h Li e α 3 α∈U 6 IAN A. B. STRACHAN satisﬁes the WDVV equations, have also been studied recently [13]. Elliptic solutions were studied in [2], being deﬁned on the Jacobi group orbit space Ω/J(g). Further details and deﬁnitions will be given in Section 8, following [2],[12] and [33]. The Jacobi group J(g) (where g is a complex ﬁnite dimensional simple Lie algebra of rank N with Weyl group W ) acts on the space Ω = C ⊕ h ⊕ H where h is the complex Cartan subalgebra of g and H is the upper-half-plane, and this leads to the study of invariant functions - the Jacobi forms. Analogous to the Coxeter case, the orbit space Ω/J(g) is a manifold and carries the structure of a Frobenius manifold. In [27] , using the Hurwitz space description (see Section 8.2) Ω/J(A ) = H (N + 1) , N 1,N+1 the dual prepotential was constructed. Theorem 6. [27] The intersection form on the space Ω/J(A ) is given by the formula i 2 g = 2du dτ − (dz ) i=0 j z =0 j=0 (where u ∈ C , z ∈ h and τ ∈ H ). The dual prepotential is given by the formula 1 1 ⋆ 2 i 2 F (u , z , τ) = τu − u (z ) 2 2 i=0 ′ n o i j 1 1 2i(z −z ) 2πiτ 2πiτ + Li (e , e ) − Li (1, e ) 3 3 2 (2πi) i6=j n o 2iz 2πiτ 2πiτ −(N + 1) Li (e , e ) − Li (1, e ) . 3 3 (2πi) where this function is evaluated on the plane z = 0 . j=0 The precise deﬁnitions of the various terms in these formulae will be given below, but for now we note that this dual prepotential is given in terms of the elliptic trilogarithm Li (z, q) introduced by Beilinson and Levin [1, 19]. This function has appeared already in the theory of Frobenius manifolds in the enumeration of curves [18]. This result is curious - as well as the A root vectors appearing in the solution certain extra vectors (in fact weight vectors) appear: these do not appear in the corresponding rational and trigonometric solutions. This work raised a number of questions: • Is there a direct veriﬁcation that the function that appears in Theorem 6 satisﬁes the WDVV equations? Recall that its construction was via a Hurwitz space construction in terms of certain holomorphic maps between the complex torus and the Riemann sphere. • What is the origin of the ‘extra’ vectors in the solution? P ′ Note, includes the term j = 0 . j WEYL GROUPS AND ELLIPTIC SOLUTIONS OF THE WDVV EQUATIONS 7 • Can one construct solutions for other Weyl groups? The purpose of this paper is to study solutions of the WDVV equations which take the functional form 1 1 F (u, z, τ) = u τ − u(z, z) + h f ( z , τ) , α α 2 2 α∈U where 2πiz 2πiτ 2πiτ f(z, τ) = Li (e , e ) − Li (1, e ) , 3 3 (2πi) deriving a set of elliptic ∨-conditions on the ‘roots’ contained in the set U . Thus the above questions can all be answered aﬃrmatively. This leaves the following question: • For which elliptic ∨-systems is the solution the almost-dual solution to the Jacobi group orbit space Ω/J(g) ? This question has been answered already in the A case [27] and in this paper we extend the results to the B case. For other Weyl groups it remains an open problem. 2. The Elliptic Polylogarithm and its Properties The functional form of the above prepotential uses the elliptic polylogarithm. In this section this is deﬁned and its transformation properties under shifts and modular transformations are studied. Before this we deﬁne various special functions and the notation that will be used throughout the rest of this paper. 2.1. Notation. There are, unfortunately, many diﬀerent deﬁnitions and normal- izations for elliptic, number-theoretic and other special functions. Here we list the 2πiτ deﬁnitions used in this paper. Let q = e , where τ ∈ H . • ϑ -function: πiz −πiz n n 2πiz n −2πiz ϑ (z|τ) = −i e − e q (1 − q ) 1 − q e 1 − q e . n=1 The fundamental lattice is generated by z 7→ z + 1 , z 7→ z + τ , and the function itself satisﬁes the complex heat equation ∂ ϑ ∂ϑ 1 1 = 4πi . ∂z ∂τ • Bernoulli numbers and Bernoulli polynomials: ∞ n X X x x n n−k = B , B (z) = B z . n n k e − 1 n! n=0 k=0 • Eisenstein series: 2k E (τ) = 1 − σ (n) q , k ∈ 2N k k−1 n=1 where σ (n) = d . d|n 8 IAN A. B. STRACHAN • Dedekind η-function: η(τ) = q (1 − q ) . n=1 • Polylogarithm function: Li (z) = , |z| < 1 . n=1 Note that ϑ , E and η are related: 1 2 ′ ′′′ η (τ) 2πi 1 ϑ (0, τ) = E (τ) = . η(τ) 24 12πi ϑ (0, τ) These have the following properties under inversion of the independent variable: −n τ E − = E (τ) , n ≥ 4 ; n n 1 12 −2 τ E − = E (τ) + ; 2 2 τ 2πiτ 1 τ η − = η(τ) τ i where in the last formula the square-root is taken to have non-negative real part. The polylogarithm has the inversion property (for n ∈ N - other more complicated versions hold for other values): (2πi) 2πiz n −2πiz (3) Li e + (−1) Li e = − B (z) . n n n n! This inversion formula holds: if ℑ(z) ≥ 0 for 0 ≤ ℜ(z) < 1 , and if ℑ(z) < 0 for 0 < ℜ(z) ≤ 1 . This, and other similar formulae, may be used to analytically continue the function outside the unit disc to a multi-valued holomorphic function on C\{0, 1} . For a discussion of the monodromy of the polylogarithm function see [25]. This multivaluedness will also occur in the solution of the WDVV equations. However this multivaluedness occurs in the quadratic terms only and hence any physical quantities are single-valued. 2.2. The elliptic polylogarithm. An ‘obvious’ elliptic generalization of the poly- logarithm function is Li (ζ, q) = Li (q ζ) . r r n=−∞ However this series diverges, but by using the inversion formula (3) and ζ-function regularization one can arrive at the following deﬁnition of the elliptic polylogarithm function [1, 19]: ∞ ∞ X X n n −1 Li (ζ, q) = Li (q ζ) + Li (q ζ ) − χ (ζ, q) , r odd , r r r r n=0 n=1 WEYL GROUPS AND ELLIPTIC SOLUTIONS OF THE WDVV EQUATIONS 9 where j+1 (r−j) j χ (ζ, q) = (log ζ) (log q) . (r − j)!(j + 1)! j=0 A real-valued version of this function had previously been studied by Zagier [35]. With this the function f may be deﬁned. Deﬁnition 7. The function f(z, τ) , where z ∈ C , τ ∈ H , is deﬁned to be: 2πiz f(z, τ) = Li (e , q) − Li (1, q) . 3 3 (2πi) It follows from the deﬁnitions that d 1 1 (4) Li (1, q) = E (τ) 3 4 dτ (2πi) 120 and ∂ 1 ϑ (z, τ) (5) f(z, τ) = − log . ∂z 2πi η(τ) Thus the elliptic-trilogarithm may be thought of as a classical function (or, at least, a neoclassical function) as it may be obtained from classical functions via nested integration and other standard procedures. It does, however, provide a systematic way to deal with the arbitrary functions that would appear this way. The notation F ≃ G will be used if the functions F and G diﬀer by a quadratic function in the variables {u, z, τ} (recall that any prepotential satisfying the WDVV equations is only deﬁned up to quadratic terms in the ﬂat-coordintes). Proposition 8. The function f has the following transformation properties: f(z + 1, τ) ≃ f(z, τ) ; f(z, τ + 1) ≃ f(z, τ) ; 1 1 1 1 3 2 2 3 f(z + τ, τ) ≃ f(z, τ) + z + z τ + zτ + τ ; 6 4 6 24 f(−z, τ) ≃ f(z, τ) . The function also has the alternative expansions: 1 1 2 2 f(z, τ) ≃ − z log z + z log η(τ) (2πi) 2 (6) 1 (−1) E (τ)B 2n 2n 2n+2 + (2πz) (2πi) (2n + 2)!(2n) n=1 and 1 1 1 2πiz 3 2 f(z, τ) ≃ Li e + z − z τ (2πi) 12 24 (7) 4 q sin (πrz) 3 r 3 (2πi) (1 − q ) r r=1 Furthermore, z 1 1 1 z f ,− ≃ f(z, τ) − . 2 3 τ τ τ τ 4! 10 IAN A. B. STRACHAN Proof The ﬁrst two relations follow from the deﬁnition. The third and fourth use the inversion formula for polylogarithms (3). The proof of (6) and (7) just involves some careful resumming. Consider the ﬁrst two terms in the deﬁnition of f : ∞ ∞ X X n 2πiz n −2πiz 2πiz Li (q e ) + Li (q e ) = Li (e ) + 3 3 3 n=0 n=1 ( ) ∞ ∞ X X (−1) nr 2s−3 2s 2 q r (2πz) . (2s)! s=0 n,r=1 From this series (7) follows immediately. To obtain (6) one rearranges the terms. The s = 0 term cancels in the ﬁnal expression and the remaining terms may be re-expressed in terms of Eisenstein series (for s > 1) or the Dedekind function (for s = 1). Finally, using the result 1 d 1 2πiz Li e = − [1 + coth(πiz)] , 3 3 (2πi) dz 2 " # 1 1 B 2n 2n−1 = − + + (2πiz) 2 (2πz) (2n)! n=1 2πiz one may obtain a series for Li e . Putting all these parts together gives the series (6). Theorem 9. The function h(z, τ) = f(2z, τ) − 4f(z, τ) satisﬁes the partial diﬀerential equation h i (3,0) (1,2) (2,1) (0,3) h (z, τ) h (z, τ) − h (z, τ) + 4h (z, τ) = 0 where n+m ∂ h (m,n) h (z, τ) = . m n ∂z ∂τ Proof Let h i (3,0) (1,2) (2,1) (0,3) Δ(z, τ) = h (z, τ) h (z, τ) − h (z, τ) + 4h (z, τ) . Using the transformation properties in Proposition 8 one may derive the transfor- mation properties of the derivatives and hence for the combination Δ . While the individual terms have quite complicated transformation properties, those for Δ are very simple: Δ(z + 1, τ) = Δ(z, τ) , Δ(z + τ, τ) = Δ(z, τ) , z 1 Δ ,− = τ Δ(z, τ) . τ τ The ﬁrst two of these equations imply that the function Δ is doubly periodic. From the series expansion in Proposition 8 it follows that Δ has no poles: the only term (3,0) (1,2) which has a pole is f and this cancels with the zero in f . Thus Δ is doubly WEYL GROUPS AND ELLIPTIC SOLUTIONS OF THE WDVV EQUATIONS 11 periodic with no poles and hence must be a function of τ-alone (i.e. a theta- constant). The remaining transformation property implies that Δ is a modular function of degree 4. The q-series representation of the function f in Proposition 8 implies that Δ is actually a cusp-form. But the space of cusp-forms of degree 4 is empty and hence Δ = 0 . Corollary 10. The pair 2 2 F (u, z, τ) = u τ − uz + h(z, τ) , 2 2 = u τ − uz + f(2z, τ) − 4f(z, τ) and g = 2du dτ − 2dz satisfy the WDVV equations. Proof The WDVV equations for the above prepotential reduce to the single equation Δ = 0 so the result follows immediately from the above Theorem. Using the same methods it is straightforward to show that the function 3 3 2πiz (8) h(z, τ) = Li (e , q) + Li (1, q) 3 3 4(2πi) 2 also satisﬁes the equation Δ = 0 . It is, however, the function h which deﬁnes the dual prepotential to the A -Jacobi group orbit space - see Theorem 6. 3. Transformation properties of the WDVV equations Recall that we seek a solution of the WDVV of the form 1 1 (9) F (u, z, τ) = u τ − u(z, z) + h f ( z , τ) α α 2 2 α∈U with f(z, τ) being given by Deﬁnition 7. Sometimes the notation z will be used to denote (z, α) , especially for terms involving the function f . Thus f((z, α), τ) will be written f(z , τ) or even f(z ) . The coordinates {t , α = 0 , 1 , . . .N , N +1} are α α deﬁned to be t = u , i i t = z , i = 1 , . . . N , N+1 t = τ . Latin indices will range from 1 to N and Greek from 0 to N + 1 so the dimension of the manifold is N + 2 , with N ≥ 1 . In addition u ∈ C , z ∈ h C , τ ∈ H , so (u, z, τ) ∈ Ω . Later, h will be the complex Cartan subalgebra of a simple Lie algebra g of rank N with Weyl group W , but for now it may be thought of a just C . Also, ( , ) denotes the standard Euclidean inner product on h . It follows from the functional dependence on t = u that ∂ is the unity vector ﬁeld and hence the metric on Ω is g = dτ du + du dτ − (dz, dz) . One of the main ideas of this paper is to extend Theorem 9 to higher dimension, using doubly-periodicity and modular arguments to prove that the WDVV equa- tions are satisﬁed. To begin we require a detailed analysis of the WDVV equations themselves. 12 IAN A. B. STRACHAN 3.1. Analysis of the WDVV equations. The WDVV equations are the condi- tions for a commutative algebra to be associative. Thus they may be written in terms of the vanishing of the associator Δ[X, Y, Z] = (X ◦ Y ) ◦ Z − X ◦ (Y ◦ Z) . Since in the case being considered we have a unity element these simplify further: if any of the vector ﬁeld is equal to the unity ﬁeld then Δ vanishes identically. Since the vector ﬁeld ∂ ∈ TH is special (for example, it behaves diﬀerently to the other variables under modularity transformation), we decompose these equation further, taking the inner product with arbitrary vector ﬁelds to obtain scalar-valued equations. Proposition 11. The WDVV equations for a multiplication with unity ﬁeld are equivalent to the vanishing of the following functions: (1) Δ (u, v) = g(∂ ◦ ∂ , u ◦ v) − g(∂ ◦ u, ∂ ◦ v) , τ τ τ τ (2) Δ (u, v, w) = g(∂ ◦ u, v ◦ w) − g(∂ ◦ w, u ◦ v) , τ τ (3) Δ (u, v, w, x) = g(u ◦ v, w ◦ x) − g(u ◦ x, v ◦ w) for all u , v , w , x ∈ T h . In terms of coordinate vector ﬁelds these conditions are: (1) pq Δ = g c + g {c c − c c } , ij τττ ττp ijq τip τjq ij (2) pq Δ = {g c − g c } + g {c c − c c } , jk ττi ij ττk τip jkq τkp ijq ijk (3) pq Δ = {g c + g c − g c − g c } + g {c c − c c } ij τrs rs τij is τrj rj τis ijp rsq isp rjq ijrs where g = −(∂ , ∂ ) . The function Δ in theorem (9) is, since dim h = 1, propor- ij i j C (1) tional to Δ (x, x) . 3.2. Modular transformations of the structure functions. Lemma 12. Let (z, z) uˆ = u − , 2τ (10) ˆz = , τˆ = − . Then 1 1 F (uˆ, ˆz, τˆ) = F (u, z, τ) − u (2uτ − (z, z)) τ 2 if and only if 4 2 (11) h (α, z) = 3(z, z) . α∈U Proof This follows immediately from Proposition 8. WEYL GROUPS AND ELLIPTIC SOLUTIONS OF THE WDVV EQUATIONS 13 The origin of the transformation (10) comes from the study of symmetries of the WDVV equations (see [9] Appendix B). A symmetry is a transformation α α t 7→ t , g 7→ gˆ , αβ αβ F 7→ F that acts on the solution space of the WDVV equations. In particular, (10) is just the transformation, denoted I in [9], 1 t t t = , N+1 2 t t = , i = 1 , . . . , N , N+1 N+1 t = − , N+1 gˆ = g , αβ αβ −2 N+1 0 σ ˆ ˆ F (t) = t F (t) − t (t t ) which induces a symmetry of the WDVV equations. Up to a simple equivalence, I = I . It follows from this and Lemma 12 that we are at the ﬁxed point of this involution and that, rather than telling one how to construct a new solution from a seed solution, it gives the transformation property of the various functions under the modular transformations. A simple modiﬁcation of Lemma B.1 [9] immediately gives: Proposition 13. Suppose F is given by equation (9) where condition (11) is as- sumed to hold. Let c = ∂ ∂ ∂ F (t) . Then αβγ α β γ c (z, τ + 1) = c (z, τ) αβγ αβγ and z 1 c ,− = τ c (z, τ) − g z − g z − g z , ijk ijk ij k jk i ki j τ τ z 1 1 α σ c ,− = τ c (z, τ) t − g (t t ) − z z , τij ijα ij σ i j τ τ 2 z 1 α β σ c ,− = τ c (z, τ)t t − z (t t ) , ττi iαβ i σ τ τ z 1 3 α β γ σ 2 c ,− = τ c (z, τ)t t t − (t t ) . τττ αβγ σ τ τ 4 (i) With these, the transformation properties of the functions Δ are (i) (i) Δ (z, τ + 1) = Δ (z, τ) , i = 1 , 2 , 3 14 IAN A. B. STRACHAN and z 1 (3) (3) Δ ,− = τ Δ (z, τ) , ijrs ijrs τ τ z 1 (2) (2) (3) 3 2 r Δ ,− = τ Δ (z, τ) + τ z Δ (z, τ) , ijk ijk irkj τ τ n o z 1 (1) (1) (2) (2) 4 3 r Δ ,− = τ Δ (z, τ) − τ z Δ (z, τ) + Δ (z, τ) ij ij ijr jir τ τ (3) 2 a b +τ z z Δ (z, τ) . abij Proof The proof is straightforward and uses the transformation properties of f derived in Proposition 8. (i) It is important to note that these Δ are powers series, not Laurent series, in the q-variable. Again, this follows from the q-expansion of f given in proposition 8. 3.3. Periodicity properties of the structure functions. We assume that there exists a vector p ∈ h such that (α, p) ∈ Z for all α ∈ U . Later we will require the existence of a full N-dimensional lattice (the ‘weight lattice’ associated to the ‘roots’ in U), but for now we just require a single such vector. From Proposition 8 it follows that f ((α, z + p), τ) ≃ f ((α, z), τ) and hence F (u, z + p, τ) ≃ F (u, z, τ) . Thus (i) (i) Δ (z + p, τ) = Δ (z, τ) , i = 1 , 2 , 3 . The calculation of the transformations under shifts z 7→ z + pτ requires more care. Proposition 14. Assume that the following conditions hold: 4 2 h (α, z) = 3(z, z) , α∈U and (α, p) ∈ Z for all α ∈ U . Then h(z + pτ, τ) ≃ h(z, τ) + 4(p, z)(z, z) + τ 4(p, z) + 2(p, p)(z, z) 8 2 3 2 +4τ (p, z)(p, p) + τ (p, p) where h(z, τ) = h f(z , τ) . α α α∈U Proof From Proposition 8 it follows by induction, for n ∈ Z , that 3 2 2 3 2 4 3 f(z + nτ, τ) ≃ f(z, τ) + 4nz + 6n τz + 4n τ z + n τ and since, by assumption, (α, p) ∈ Z , it follows immediately that f ((α, z) + (α, p)τ, τ) ≃ f ((α, z), τ) + 3 2 2 4(α, p)(α, z) + 6τ(α, p) (α, z) + 2 3 3 4 4τ (α, p) (α, z) + τ (α, p) WEYL GROUPS AND ELLIPTIC SOLUTIONS OF THE WDVV EQUATIONS 15 Hence, on summing over α , h(z + pτ, τ) ≃ h (z, τ) + P P 3 2 2 4 h (α, p)(α, z) + 6τ h (α, p) (α, z) + α α α α P P 24 2 3 3 4 4τ h (α, p) (α, z) + τ h (α, p) α α α α Hence, using the ﬁrst condition (and its polarized version), the result follows. With this the following Proposition may be proved: the ﬁrst part is immediate and the second part follows from routine but tedious calculations. Proposition 15. Under the conditions of the above proposition, the structure func- tions have the following transformation properties: c (z + pτ, τ) = c (z, τ) + p g + p g + p g , ijk ijk i jk j ki k ij c (z + pτ, τ) = c (z, τ) − p c (z, τ) − p p + (p, p)g , τij τij ija i j ij a a b c (z + pτ, τ) = c (z, τ) − 2p c (z, τ) + p p c (z, τ) + (p, p)p , ττi ττi τai abi i a a b a b c c (z + pτ, τ) = c (z, τ) − 3p c (z, τ) + 3p p c (z, τ) − p p p c (z, τ) τττ τττ ττa τab abc − (p, p) . (i) The Δ have the following transformation properties: (3) (3) Δ (z + pτ, τ) = Δ (z, τ) , ijrs ijrs (2) (2) (3) Δ (z + pτ, τ) = Δ (z, τ) + p Δ (z, τ) , ijk ijk ijka n o (1) (1) (2) (2) (3) a a b Δ (z + pτ, τ) = Δ (z, τ) + p Δ (z, τ) + Δ (z, τ) + p p Δ (z, τ) , ij ij ija jia ijab We are now in the position to rehearse the main theorem. If we have a full (3) N-dimensional weight lattice, then Δ is doubly periodic in all z variables and if we can show it has no poles then it must be a function of τ alone. The modu- (3) larity properties of Δ then imply that it must be zero. Repeating the argument (2) (1) sequentially for Δ and then Δ will give the desired result. To proceed further (i) requires the examination of the singularity properties of the Δ . 4. Singularity properties (i) To study the singularity properties of the Δ we require a more detailed analysis of these functions. Using equation (9) and Proposition 11 one obtains: 16 IAN A. B. STRACHAN (1) (1) Δ = Δ (u, v) (0,3) = −(u, v) h f (z , τ) α α α∈U (2,1) (2,1) +(β, u)f (z , τ) f (z , τ) β α + h h (α, β)(α, v) α β (1,2) (3,0) −(α, u)f (z , τ) f (z , τ) β α α,β∈U (2) (2) Δ = Δ (u, v, w) (1,2) = h [(u, v)(α, w) − (w, v)(α, u)] f (z , τ) α α α∈U (2,1) (3,0) + h h (α, β)(α, v) [(α ∧ β)(u, w)] f (z , τ) f (z , τ) α β β α α,β∈U (3) (3) Δ = Δ (u, v, w, x) +(α, v)(α, w)(u, x) − (α, x)(α, w)(u, v) (2,1) = h f (z , τ) α α +(α, u)(α, x)(v, w) − (α, u)(α, v)(w, x) α∈U (3,0) (3,0) − h h (α, β)[(α ∧ β)(u, w)][(α ∧ β)(v, x)]f (z , τ)f (z , τ) , α β α β α,β∈U where (α ∧ β)(u, v) = (α, u)(β, v) − (α, v)(β, u) . (3,0) The only derivative of f that gives rise to a pole is the f derivative; all other derivatives are analytic in z - this following from (6). Therefore the only parts of the (i) Δ that could contribute to a singularity are those which contain this derivative. Proposition 16. Let Π denote a plane through the origin containing the vector α and α a vector in Π perpendicular to α . Then, at (α, z) = 0: (1) • Δ (u, v) has no pole if the scalar equation ⊥ 2n+1 (12) h (α, β)(β, α ) = 0 , n = 1 , 2 , . . . , β∈Π ∩U holds. (2) • Δ (u, v, w) has no pole if the bilinear form equation ⊥ 2n (13) h (α, β)(α ∧ β)(β, α ) = 0 , n = 1 , 2 , . . . , β∈Π ∩U holds. (3) • Δ (u, v, w, x) has no pole if the 4-linear form equation ⊥ 2n+1 (14) h (α, β)(α ∧ β) ⊗ (α ∧ β)(β, α ) = 0 , n = 1 , 2 , . . . , β∈Π ∩U holds. WEYL GROUPS AND ELLIPTIC SOLUTIONS OF THE WDVV EQUATIONS 17 Here (α ∧ β)(u, v) = (α, u)(β, v) − (α, v)(β, u) and (α ∧ β) ⊗ (α ∧ β)(u, v, w, z) = [(α ∧ β)(u, v)] [(α ∧ β)(w, x)] . (3,0) Proof The only third derivative of f which contains a pole is the f -derivative (1) and hence the only part of Δ that could contain poles is the term (1,2) (3,0) h h (α, β)(α, v)(α, u)f (z )f (z ) . α β β α α,β∈U (3,0) Since f only has a simple pole the term involving the poles is, up to a non-zero constant, X X h (α, u)(α, v) (1,2) h (α, β)f (z ) . β β (z, α) α∈U β∈U (1,2) 2n+1 The function f (z ) is odd and hence may be written as A (τ)(z, β) β n n=0 (the explicit expressions for the non-zero functions A are not required - they may be derived from Proposition 8). Thus a suﬃcient condition for the absence of poles is, for arbitrary α ∈ U : 2n+1 (α, z) divides h (α, β)(β, z) , n = 0 , 1 , . . . . α ﬁxed, β∈U Note that this is automatically satisﬁed if n = 0 by the ﬁrst condition in Deﬁnition 5. This sum may be rewritten as sums over vectors in 2-planes Π containing α , and hence a suﬃcient condition for the absence of poles is, for arbitrary α ∈ U : 2n+1 (α, z) divides h (α, β)(β, z) , n = 1 , 2 , . . . . β∈Π ∩U ⊥ ⊥ ⊥ ⊥ On decomposing each β in the plane Π as β = µα +να (so ν = (β, α )/(α , α )) 2n+1 one ﬁnds that all terms in the binomial expansion of (β, z) contain a (α, z)- ⊥ 2n+1 term except the ﬁnal [ν(z, α )] -term. Thus a suﬃcient condition condition for (1) the absence of poles in Δ is ⊥ 2n+1 h (α, β)(β, α ) = 0 , n = 1 , 2 , . . . . β∈Π ∩U (2) (2,1) The proof of the Δ condition is identical: f is an even function, and the lowest term vanishes on using the ﬁrst condition in Deﬁnition 5. (3) The function Δ contains a term 1 1 h h (α, β) [(α ∧ β)(u, w)] [(α ∧ β)(v, x)] . α β (α, z) (β, z) α ,β∈U This vanishes by deﬁnition of a complex Euclidean ∨-system [15] . The proof of the (3) (3,0) remaining Δ condition is identical to the above: f is an odd function, and the lowest term vanishes on using a polarized version of condition (11) . 18 IAN A. B. STRACHAN 5. The Main Theorem We can now draw the various components together, but ﬁrst we deﬁne an elliptic ∨-system. Deﬁnition 17. Let U be a complex Euclidean ∨-system. An elliptic ∨-system is a complex Euclidean ∨-system with the following additional conditions: 4 2 • h (α, z) = 3(z, z) ; α∈U • The three conditions in Proposition 16 hold; • There exists a full N-dimensional weight lattice of vectors p such that (p, α) ∈ Z for all α ∈ U . Examples of elliptic ∨-systems will be constructed in the next section. With this deﬁnition in place one arrives at the main theorem. Theorem 18. Let U be an elliptic ∨-system. If h = 0 then the function 1 1 (15) F (u, z, τ) = u τ − u(z, z) + h f ( z , τ) α α 2 2 α∈U satisﬁes the WDVV equations. If h 6= 0 then the modiﬁed prepotential 10 (h ) (16) F −→ F + Li (1, q) 3(2πi) satisﬁes the WDVV equations. Proof From the conditions in the deﬁnition of an elliptic ∨-system and Propo- (3) sition 15 it follows that Δ is doubly periodic in all z-variables, and from the conditions in Proposition 16 it follows that it has no poles. It therefore must be a (3) function of τ alone. From Proposition 13 it follows that Δ is a modular function of degree 2 and from Proposition 13 it follows that it contains only positive powers in its q-expansion. Hence it is a modular form of degree 2 and hence must be zero. (2) This argument can now be repeated for Δ (a modular function of degree 3 with only positive powers in its q-expansion and hence a modular form of degree 3 and so must be zero). (1) Finally, the same arguments implies that Δ is a modular form of degree 4, and hence it must be a multiple of the modular form E (τ) . Thus (1) Δ (u, v) = m(u, v) E (τ) . (1) To ﬁnd m(u, v) one just requires the O(1)-terms in the q-expansion of Δ . On using equation (7) one ﬁnds that m(u, v) = h h (α, β)(α, v)(β, u) − , α β α,β∈U = (h ) (u, v). Hence (1) ∨ Δ = (h ) E (τ) (u, v). 36 WEYL GROUPS AND ELLIPTIC SOLUTIONS OF THE WDVV EQUATIONS 19 ∨ (i) Thus if h = 0 then Δ = 0 for i = 1 , 2 , 3 and hence (15) satisﬁes the WDVV equations. If h 6= 0 one has to modify the ansatz for F : F −→ F + µ Li (1, q) . (2πi) This change only eﬀects c and hence the above argument on the vanishing of τττ (3) (2) (1) Δ and Δ is unchanged. With this new ansatz Δ undergoes a slight change: (1) (1) Δ −→ Δ − µ E (τ) (u, v) , on using (4). Thus if µ = (h ) (1) then the modiﬁed Δ is zero and hence (16) satisﬁes the WDVV equations. 5.1. Rational and Trigonometric Limits. From the leading order behaviour, obtained from Proposition 8 , f = − z log z as z → 0 , (4πi) and 1 1 2πiz 3 f ≃ Li e + z as q → 0 (2πi) 12 one may obtain rational and trigonometric solutions, of lower dimension, of the WDVV equations. Proposition 19. Given an elliptic ∨-system U the following are solutions of the WDVV equations: Rational limit rational 2 F = h (α, z) log(α, z) . α∈U The metric in this case is the standard Euclidean inner product on h . Trigonometric limit I If h = 0 then trig 2πi(z,α) F = h Li e . α 3 α∈U The metric in this case is the standard Euclidean inner product on h . Trigonometric limit II If h 6= 0 then 2 X 1 1 1 3 trig 3 2πi(z,α) F = u − u(z, z) + h Li e . α 3 6 2 (2πi) h α∈U In this case one has a covariantly constant unity vector ﬁeld ∂ and hence the metric in this case g = du − (dz, dz) . (3) The proof just involves the examination of the associator Δ under the above mentioned limits. 20 IAN A. B. STRACHAN 6. Examples of elliptic ∨-systems In this section we construct examples of elliptic ∨-systems based on a Weyl group W . Recall that by assumption, if α ∈ U then −α ∈ U. We now also assume that the constants h are Weyl invariant, i.e. h = h for w ∈ W . We denote the α w(α) α number of vectors in U by |U| . The calculations for speciﬁc groups will be done using the standard notion for roots and weights, see for example [16]. Two classes of examples will be given, the ﬁrst where U = R (where R is the W W irreg irreg root system of W ) and the second where U = R ∪ R , where R contains W W a set of W -invariant vectors that form an irregular orbit under the action of W . We ﬁrst construct W -invariant sets of vectors (and constants h ) satisfying the two conditions 4 2 (17) h (α, z) = 3(z, z) , α∈U (18) h (α, u)(α, v) = 2h (u, v) α∈U and then check that the conditions in Proposition 16 are satisﬁed, which will be done with the help of the following lemma. Recall that these conditions involve summing over vectors in the plane Π ∩ U . In the cases to be discussed here these vectors occur in pairs, related by certain reﬂections, and the corresponding terms in the sum cancel. Let σ β denote the reﬂection of the vector β in the line with normal vector α . The pairs in the set of vectors Π ∩ U will occur in two types: σ β β α ❍❨ ✟✯ ✟✯ ❍ ✟ ✟ ❍ ✟ ✟ ❍✟ ✲ ✟ ✲ α β = α + σ ⊥α ❍❥ σ ⊥α Type A: α ∈ R Type B Type A pairs are very familiar: they occur in Weyl group (indeed, Coxeter group) root systems (with certain special angles). Type B pairs will occur when an extra set of Weyl invariant vectors is appended to the root system - see Section 6.2. Both these types of conﬁguration appear in ∨-systems and deformed root systems [7, 14, 15, 32]. Lemma 20. Let α ∈ U and suppose that the terms in the sums occur in β∈Π ∩U pairs of Type A or Type B. Then the conditions in Proposition 16 are satisﬁed: (a) for type A conﬁgurations if and only if h = h ; β σ β (b) for type B conﬁgurations if and only if (α, β)h = (α, α − β)h . β σ α Proof Consider the ﬁrst condition in Proposition 16, namely equation (12), and consider the partial sums: WEYL GROUPS AND ELLIPTIC SOLUTIONS OF THE WDVV EQUATIONS 21 Type A ⊥ n ⊥ n Ξ = h (α, β)(α , β) + h (α, σ β)(α , σ β) ; A β σ β α α Type B ⊥ n ⊥ n Ξ = h (α, β)(α , β) + h (α, σ ⊥α)(α , σ ⊥α) . B β σ α β β It is easy to show that Ξ = 0 if and only if h = h . Similarly one may show A β σ β (and here the condition that β = α + σ ⊥α is used) that Ξ = 0 if and only if β B (19) (α, β)h = (α, α − β)h β σ α The full sum is made up of sums of such paired-terms, and hence is zero. Repeating the argument for the terms that appear in equations (13) and (14) yields no further conditions. Note that we have assumed that the h are Weyl invariant and hence for type A conﬁgurations the conditions in Proposition 16 are automatically satisﬁed with no extra conditions. To illustrate this we begin with the simplest case, where W = A , which will reproduce the examples constructed earlier. Example 21. W = A • |U| = 2 Let U = R = {±α} (normalized so that (α, α) = 2). Then conditions (17) and (18) imply that 3 3 h = , h = 8 4 (note their ratio is 2, which is the (dual) Coxeter number of A ). The pole conditions are vacuous in this case. This gives solution (8). • |U| = 4 Let U = {±α,±α˜} with (α, α) = 2 , (α˜, α˜) = ν . Then conditions (17) and (18) imply that 8h + 2ν h = 3 , α α˜ 2h + νh = h . α α˜ Without loss of generality let h = . Then 1 1 h = − , h = 1 − . α˜ 2ν 2ν Again the pole conditions are vacuous. The choice ν = is special (h = 0) and leads to the solution obtained in Corollary 10. 6.1. The case U = R . In this case it follows from general theory that (18) is satisﬁed for all Weyl groups (if h = 1 for all roots then h is just the dual Coxeter number of W ). Since the quartic expression h (α, z) is Weyl invariant, by Chevellay’s Theorem (Theorem 4) it may be written in terms of fundamental invariant polynomials of degree 2 and degree 4, i.e. h (α, z) = A [s (z)] + Bs (z) α 2 4 22 IAN A. B. STRACHAN if such polynomials exist. The quadratic polynomial s exists for all groups W ; one may take s (z) = (z, z) . Invariant polynomials of degree 4 do not exist for W = A , E , F , G . Thus for these groups it follows immediately that (17) is 2 6,7,8 4 2 satisﬁed. By direct calculation one may show that for the remaining Weyl groups, W = A , B , D (where such an invariant polynomial does exist) condition N≥3 N N (long) (17) fails, except for B where it holds if a speciﬁc relationship between h and (short) h exists. Thus, in general, for the three inﬁnite families of groups, condition (17) fails and one has to append an extra set of Weyl-group invariant vectors in order to satisfy this condition: this will be done in the next section. Since the constants h are Weyl invariant the analysis decomposes into cases labeled by the number of independent Weyl orbits: • For W = A , E , E , E one has a single Weyl orbit, so the constants 2 6 7 8 h are all identical. The values of this constant, and the constant h are tabulated below: Weyl group A E E E 2 6 7 8 1 1 1 1 3 6 8 12 9 5 h 1 2 4 2 (note, h /h =(dual) Coxeter number, as required). • For W = B , G , F one has two Weyl orbits, labeled by short and long 2 2 4 roots. By direct computation one ﬁnds that conditions (17) and (18) are satisﬁed with the following data: Weyl group B G F 2 2 4 1 1 − h 3 − h (long) 4 18 6 3h − 1 2h − 3 (short) h 1 6 3 h h h It remains now to check the conditions appearing in Proposition 16. It is well known that for a root system R the conﬁgurations Π ∩ R are two dimensional root W α W systems, namely one of R ,R ,R or R , and all of these conﬁgurations A ×A A B G 1 1 2 2 2 are of type A. Hence by Lemma 20 these are elliptic ∨-systems and hence provide solutions of the WDVV equations. irreg 6.2. The case U = R ∪ R . We now turn our attention to the three inﬁnite families, where one has to append an extra set of vectors to the standard roots in order to satisfy condition (18). Note the the Weyl groups A , A and B appear 1 2 2 to be special in the sense that there are solutions with both U = R and U = irreg R ∪ R . For A and B condition (18) fails for U = R . W N≥3 N≥3 W 6.2.1. The case W = A . N≥2 WEYL GROUPS AND ELLIPTIC SOLUTIONS OF THE WDVV EQUATIONS 23 P P N+1 N+1 i i Let z = z e , with z = 0 . With the later condition the following i=1 i=1 identities immediately follow: X X 1 (N + 1) i j 2 i 2 i 2 (z − z ) − (z ) + (−z ) = 0 , 2 2 i6=j i X X X 1 (N + 1) i j 4 i 4 i 4 i 2 (z − z ) − (z ) + (−z ) = 3 (z ) . 2 2 i6=j i i From these one may obtain the α and h satisfying conditions (17) and (18) on using the standard Euclidean inner product. Let (ij) α = e − e , i j (i) β = Ne − e i j (N + 1) j6=i (ij) i j (i) i (so (α , z) = z − z and (β , z) = z ). Note both these vectors lie on the N+1 irreg hyperplane z = 0 . With these it follows that U = R ∪ R where: i=1 N A (ij) R = {α , i 6= j} , h = 1/2 if α ∈ R ; A α A N N irreg irreg (i) R = {±β , , i = 1 , . . . N + 1} , h = −(N + 1)/2 if α ∈ R . A A N N Note that R is just the root system for A . The geometry of this conﬁguration A N will now be discussed. Let σ β denote the reﬂection of β in the plane perpendicular to α . Then (ij) (i) 2(α , β ) (i) (i) (ij) σ (ij)β = β − α , (ij) (ij) (α , α ) (i) (ij) = β − α , (j) = β , (k) (k) σ (ij)β = β , i, j, k distinct . irreg Thus the set R is invariant under the action of W (which is generated by reﬂections deﬁned by the vectors in R ). Thus for N ≥ 3 the Weyl orbit of an irreg irreg element of R is smaller (since |R | = 2(N + 1)) than the size of the orbit A A N N irreg of a generic vector (which would be |A | = (N + 1)!). Thus R consists of the A ≥2 union of two irregular orbits irreg (i) (i) R {+β |i = 1 , . . . , N + 1} ∪ {−β |i = 1 , . . . , N + 1} . A ≥2 (1) (2) There are certain degeneracies if N = 1 or 2 : if N = 1 then β = −β and (i) hence the set {±β } double counts the vectors (this degeneracy was removed in the irreg earlier discussion of the A solution); if N = 2 then |R | = |R | = (N + 1)! . 1 A A N irreg In fact this case coincides with the G example above, i.e. R = R ∪R for 2 G A 2 2 a speciﬁc value of the constant h , namely h = 0 . irreg (i) (jk) (i) (ij) Note that since (β , α ) = 0 and (β , α ) = 1 the set R consists of vectors from the weight lattice of A . In terms of fundamental weights i N+1 X X Δ = e − e r r (i) (N + 1) r=1 r=1 24 IAN A. B. STRACHAN (j) (i) +β +β ❍❨ ✟✯ ❍ ✟ ❍ ✟ (ji) (j) (i) (ij) (i) (j) ✛ ❍✟ ✲ α = β − β α = β − β ✟❍ ✟ ❍ ✟ ❍ ✟✙ ❍❥ (i) (j) −β −β cos θ = − (i) (j) Figure 1. The conﬁguration U ∩ Span{β , β } AN one has irreg R = ±w(Δ ) : w ∈ W (N) (note that ±Δ also lie in these two orbits). The orbits of other fundamental (1) weights form other irregular orbits. Furthermore, if N ≥ 3 one obtains the conﬁgurations (ij) (rs) U ∩ Span{α , α } = R , {i, j} ∩ {r, s} 6= ∅ , A ×A 1 1 (ij) (ik) U ∩ Span{α , α } = R , i, j, k distinct together with the new conﬁguration (i) (j) (i) (j) (ij) U ∩ Span{β , β } = {±β ,±β ,±α } . The geometry of this new conﬁguration is shown in Figure 1. This is precisely a type (i) B conﬁguration, and the condition (19) is satisﬁed, since α = β , h = −(N +1)/2 (ij) and β = α , h = 1/2. Hence by Lemma 20 we have an elliptic ∨-system and hence a solution to the WDVV equations. 6.2.2. The case W = B . The dual prepotential for the Jacobi group orbit space Ω/J(B ) may be calculated in the same was as the Ω/J(A ) dual prepotential was derived in Theorem 6 (see also Example 27), and from this the set U and the constants h may be extracted. Given this origin of the set one might expect that it should be related to the root system R . It turns out that one may describe this set in two ways: either in terms of the root system R or in terms of the root system R (which is, BC C N N irreg of course, dual to the root system R ) together with an irregular orbit R . Consider the following identities : N N X X X i j 2 i j 2 i 2 i 2 (z − z ) + (z + z ) + (2z ) − 4N (2z ) = 0 , i6=j i=1 i=1 N N X X X X i j 4 i j 4 i 4 i 4 i 2 (z − z ) + (z + z ) + (2z ) − 4N (2z ) = 12 (z ) . i6=j i=1 i=1 i Note the condition z = 0 used in the last section is not used in this section. i WEYL GROUPS AND ELLIPTIC SOLUTIONS OF THE WDVV EQUATIONS 25 ❅■ ✻✒ ✛ ❅ ✲ ✠ ❄❅❘ Figure 2. The conﬁguration U ∩ Span{e , e } BN i j On deﬁning the inner product to be twice the standard Euclidean product (that i 2 is, (z, z) = 2 (z ) ) one may obtain the α and h satisfying conditions (17) and (18). In terms of the root system R , one has U = R where BC B BC N N N 1 1 R = (±e ± e ) , i 6= j ∪ {±e } ∪ ± e BC i j i i 2 2 and if α is a long root , h = 1 if α is a middle root , −2N if α is a short root . Alternatively (and this provides a description that is closer to the A conﬁguration above) irreg U = R ∪ R , N C ∨ irreg = R ∪ R N B where: 1 if α short R = { (±e ± e ) , i 6= j} ∪ {±e } , h = if α ∈ R ; CN i j i α CN 1/2 if α long irreg irreg R = {± e } , h = −2N if α ∈ R . i α C 2 C N N irreg As in the A case, R is an irregular orbit (a single orbit in this case): irreg R = {w(Δ )|w ∈ W} (N) for a certain fundamental weight Δ . (N) In either case, the only new two dimensional conﬁguration on vectors is U ∩ irreg Span{e , e }. This is shown in Figure 2, where the vectors of R have been i j displaced slightly for visual reasons (this is actually the BC system). The proof that this is an elliptic ∨ system follows the A case and will be omitted. It also follows from the Hurwitz space description that will be given in Section 8.2 . 26 IAN A. B. STRACHAN 6.2.3. The case W = D . The D conﬁgurations are combinatorially quite complicated, as, even at N = 5 several Weyl orbits of fundamental weights have to be appended to the basic root system R in order to satisfy (17) and (18). Some of the resulting conﬁgurations Π ∩ U are not of Type A and Type B. This does not mean that the conditions in Proposition 16 must be false - there may be other reasons why the various terms could vanish. irreg In the N = 4 case U = R ∪ R which coincides with the F example D 4 4 D considered above, with the long roots of F being the roots of D and the short 4 4 roots being interpreted as the irregular orbits of the fundamental weights of D . Clearly more work is required to construct an example of a D elliptic ∨-system. The results in this section have been obtained on a case-by-case basis. It would be nice if there was a more abstract derivation of the results. 7. Frobenius-Stickelberger Identities (i) Hidden within the vanishing of the Δ are a number of interesting functional identities satisﬁed by the various third derivatives of the elliptic trilogarithm, the th simplest of these reducing to 19 century ϑ-function identities. We build up to these by ﬁrst considering the rational and trigonometric versions. Given non-zero a , b , c ∈ C such that a + b + c = 0 then 1 1 1 1 1 1 . + . + . = 0 a b b c c a and cot(a) cot(b) + cot(b) cot(c) + cot(c) cot(a) = 1 . Such identities are used in the direct veriﬁcation that the rational (1) and trigono- metric (2) prepotentials satisfy the WDVV equations. The elliptic version (where the dependence on τ has been suppressed for notational convenience) is (3,0) (3,0) f (a)f (b) n o (3,0) (3,0) (2,1) (2,1) (2,1) +f (b)f (c) − f (a) + f (b) + f (c) = 0 (3,0) (3,0) +f (c)f (a) Using (5) this may be written in terms of ϑ-functions : ′ ′ ′ ′ ′ ′ ′′ ′′ ′′ ′′′ ϑ (a) ϑ (b) ϑ (b) ϑ (c) ϑ (c) ϑ (a) 1 ϑ (a) ϑ (b) ϑ (c) 1 ϑ (0) 1 1 1 1 1 1 1 1 1 1 + + + + + = ϑ (a) ϑ (b) ϑ (b) ϑ (c) ϑ (c) ϑ (a) 2 ϑ (a) ϑ (b) ϑ (c) 2 ϑ (0) 1 1 1 1 1 1 1 1 1 where a + b + c = 0 . With the identiﬁcation a = (α, z) , b = (β, z) , c = −(α + β, z) these identities may be seen as identities connected to the A Coxeter group, with α and β being the positive roots. This immediately motivates the following: This formula was found by the author during the researches that led to [27] and it has also appeared recently, with proof, in the work of Calaque, Enriques and Etingof [6]. However it is a classical formula; in terms of Weierstrass functions it is just the well known Frobenius-Stickelberger equation [34] (ζ(a) + ζ(b) + ζ(c)) = ℘(a) + ℘(b) + ℘(c) , (a + b + c = 0) re-written in terms of ϑ-functions, an observation due to Prof. H.W.Braden. WEYL GROUPS AND ELLIPTIC SOLUTIONS OF THE WDVV EQUATIONS 27 Lemma 22. Let R be the root system for the 2-dimensional Coxeter groups A , B 2 2 or G , with the standard normalization for α , β positive simple roots: A : (α, α) = (β, β) = 2 , (α, β) = −1 , B : (α, α) = 2 , (β, β) = 1 , (α, β) = −1 , G : (α, α) = 6 , (β, β) = 2 , (α, β) = −3 . Then X X (3,0) (3,0) (2,1) (α, β)f (z , τ) . f (z , τ) + k f (z , τ) = 0 , α β α α + + α6=β∈R α∈R where: • A : k = 1 for all roots; 2 α • B : k = 2 , k = 1; 2 short long • G : k = 10 , k = 6. 2 short long The proof is entirely standard and is omitted. Many other functional identities may be derived using the same ideas. Rather than give a full list we present two of the A identities: h i (3,0) (2,1) (2,1) f (x + y) f (x) − f (y) 1 1 (1,2) (1,2) (1,2) +f (x)− f (y)+ f (x+y) = 0 h i 2 2 (3,0) (2,1) (2,1) +f (y) f (x + y) − f (x) and h i (3,0) (1,2) (1,2) (2,1) (2,1) f (x) f (x + y) − f (y) f (x + y)f (x) h i (3,0) (1,2) (1,2) (2,1) (2,1) +f (y) f (x + y) − f (x) + f (x + y)f (y) h i (3,0) (1,2) (1,2) (2,1) (2,1) − f (x + y) f (x) + f (y) − f (x)f (y) 10 1 (0,3) + f (x + y) = − E (τ) . 9 108 Clearly there is much scope to investigate such neo-classical functional identities. More identities of these type may be found in [31] . 8. Jacobi Group Orbit Spaces Mention has been made a number of times to Jacobi groups and their orbit spaces, but so far these have not been deﬁned. In this section this is rectiﬁed and in addition the construction of the Frobenius manifold structure on such orbit spaces will be outlined. In particular, using an alternative description of such spaces as speciﬁc Hurwitz spaces we construct the dual prepotentials for the Weyl groups 28 IAN A. B. STRACHAN A and B , thus proving that the examples of elliptic ∨-systems constructed N N earlier correspond to Jacobi group orbit spaces. This then motivates a conjecture for arbitrary Weyl group. 8.1. Jacobi groups and Jacobi forms. The material in this section will closely follow [2], which in turn relies heavily on the fundamental papers of Wirthmu¨ller [33] and Eichler and Zagier [12]. We begin by the deﬁnition of a Jacobi form. These play the same role in the construction of the orbit space as the symmetric polynomials do in the original Saito construction - they provide coordinates on the orbit space. Deﬁnition 23. Let W be a ﬁnite Weyl group with root lattice Q and let g be the corresponding Lie algebra with Cartan subalgebra h . A Jacobi form of weight k ∈ Z and index m ∈ Z is a holomorphic function φ : h ⊕ H → C with the following properties: φ(z + q, τ) = φ(z, τ) , −2πim(q,z)−πim(q,q)τ φ(z + qτ, τ) = e . φ(z, τ) , for all q ∈ Q , z aτ + b k cπim(z,z)/(cτ+d) φ , = (cτ + d) . e . φ(z, τ) , cτ + d cτ + d φ(w.z, τ) = φ(z, τ) , for all w ∈ W and φ(z, τ) is a locally bounded function as ℑm(τ) → +∞ . Such forms are the elliptic analogues of the W -invariant polynomials and they too satisfy a Chevalley-type theorem. mu Following Bertola [2] , one can deﬁned a new function φ(u, z, τ) = e φ(z, τ) deﬁned on the Tits cone Ω = C ⊕ h ⊕ H . This is also referred to as a Jacobi form and the space of Jacobi forms will be denoted J . The Jacobi group J(g) itself k,m generates the above transformations. The full details are not required here: J(g) is the semi-direct product W ⋊ SL(2, Z) where W = W ⋊ H where W is a Weyl group and H the Heisenberg group obtained from the root space R of W . The precise deﬁnitions of the various actions may be found in [2, 33]. It is well known that the ring of modular forms is a free graded algebra over C generated by the Eisenstein series E and E , i.e. M = M , where the 4 6 • k subspace of modular forms of weight k is a b M = C[E E ,∀a , b ∈ N such that 4a + 6b = k] . 4 6 The ring of Jacobi forms is particularly nice; it satisﬁes an analogue of Chevalley’s Theorem (Theorem 4) : Theorem 24. [33] Given the Jacobi group associated to any ﬁnite dimensional simple Lie algebra g of rank N (except for possibly E ): W W • the bi-graded algebra of Jacobi forms J = J is freely generated •,• km k,m by N + 1 fundamental Jacobi forms {φ , . . . , φ } over the graded ring of 0 N modular forms M , J = M [φ , . . . , φ ] ; • 0 N •,• WEYL GROUPS AND ELLIPTIC SOLUTIONS OF THE WDVV EQUATIONS 29 • each φ ∈ J −k(j),m(j) where −k(j) ≤ 0 , m(j) > 0 are deﬁned as follows: – k(0) = 1 and k(j) , j > 0 are the degrees of the generators of the invariant polynomials in (4) ; – m(0) = 1 and m(j) , j > 0 are the coeﬃcients in the expansion of the highest coroot α˜ , ∨ ∨ α˜ = m(j)α j=1 ∨ ∨ where α˜ is the highest root and α a basis for R . Note that J M . It will also be useful to deﬁne φ = τ, even though • −1 •,0 it is not a Jacobi form. These Jacobi forms become the coordinates on the orbit space Ω/J(g) . Before turning to the explicit construction of such forms we prove the following simple result on the Jacobian of the transformation between the two coordinate systems {u, z, τ} and {φ , φ , . . . , φ } . −1 0 N Proposition 25. Let ∂{φ , φ , . . . , φ } −1 0 N Jac(u, z, τ) = . ∂{u, z, τ} Then Jac has the following transformation properties: 1 ∂ Jac(u, z, τ) = h Jac(u, z, τ) , 2πi ∂u Jac(u, z + q, τ) = Jac(u, z, τ) , ∨ ∨ −2πih (q,z)−πih (q,q) Jac(u, z + qτ, τ) = e . Jac(u, z, τ) , Jac(u, z, τ + 1) = Jac(u, z, τ) , z 1 + ∨ −|R | πih (z,z)/τ Jac u, ,− = τ e . Jac(u, z, τ) , τ τ Jac(u, w.z, τ) = det(w) . Jac(u, z, τ) , where h is the dual Coxeter number and |R | the number of positive roots. More- over, up to an overall constant, ϑ (z , τ) 1 α 2πih u (20) Jac(u, z, τ) = e . ϑ (0, τ) α∈R These transformation properties may be elevated to a deﬁnition of an anti-invariant Jacobi form. This result is the elliptic version of the well known result Jac(z) = + z for Coxeter groups. α∈R Proof By deﬁnition, the Jacobian is a determinant, so by using properties of the determinant, together with the transformation properties of the individual Jacobi forms given in Proposition 23 the result follows. Various Lie-theory results are used, such as N N X X ∨ + h = m(i) , |R | = (k(i) − 1) , i=0 i=1 proofs of which may be found in Kac [17]. 30 IAN A. B. STRACHAN To prove (20) one ﬁrst proves that the right-hand-side has the same transforma- tion properties as Jac . Therefore their ratio transformations like a J -Jacobi form 0,0 (the analytic properties following from those of the ϑ -function, such as its entire property). But J = M and there are no non-trivial degree 0 modular forms and 0,0 hence the ratio must be a constant. Further properties of the forms may be found in [2, 33]. For the A and B N N cases there is a very compact way to study the forms by combining them into a generating function. The invariant polynomials for the A -Coxeter group may be obtained via a generating function (a result due to Vi`ete) N N−1 Y X N+1 N+1−r r (v − z ) = v + (−1) s (z)v . i r+1 i=0 i r=0 z =0 Similarly, the A Jacobi forms may be obtained [2] from a similar expansion of ϑ (v − z , τ) 1 i A 2πiu i=0 (21) λ (v) = e N+1 ϑ (v, τ) 1 P z =0 as a sum of Weierstrass ℘ functions and their derivatives, their coeﬃcients being the A -Jacobi forms. Using the embedding B ⊂ A one may obtain a generating N N 2N−1 function for the B -Jacobi forms: ϑ (v − z , τ)ϑ (v + z , τ) 1 i 1 i BN 2πiu i=1 (22) λ (v) = e 2N ϑ (v, τ) These generating functions are not just formal objects, they are holomorphic maps from the complex torus to the Riemann sphere. This means one can use a Hurwitz space construction to calculate the dual prepotential. 8.2. Hurwitz spaces. Let H (k , . . . , k ) be the Hurwitz space of equivalence g,N 1 l 1 1 classes [λ : L → P ] of N-fold branched coverings λ : L → P , where L is a compact Riemann surface of genus g and the holomorphic map λ of degree N is subject to the following conditions: • it has M simple ramiﬁcation points P , . . . , P ∈ L with distinct ﬁnite 1 M images l , . . . , l ∈ C ⊂ P ; 1 M −1 −1 • the preimage λ (∞) consists of l points: λ (∞) = {∞ , . . . ,∞ }, and 1 l the ramiﬁcation index of the map λ at the point ∞ is k (1 ≤ k ≤ N). j j j (We deﬁne the ramiﬁcation index at a point as the number of sheets of the covering which are glued together at this point. A point ∞ is a ramiﬁcation point if and only if k > 1. A ramiﬁcation point is simple if the corresponding ramiﬁcation index equals 2.) The Riemann-Hurwitz formula implies that the dimension of this space is M = 2g + l + N − 2. One has also the equality k + ··· + k = N. Two 1 l 1 1 branched coverings λ : L → P and λ : L → P are said to be equivalent if 1 1 2 2 there exists a biholomorphic map f : L → L such that λ f = λ . 1 2 2 1 We also introduce the covering H (k , . . . , k ) of the space H (k , . . . , k ) g,N 1 l g,N 1 l consisting of pairs 1 g < [λ : L → P ] ∈ H (k , . . . , k ),{a , b } >, g,N 1 l α α α=1 Dubrovin [9] uses a slightly diﬀerent notation. In his notation the Hurwitz space is H . g;k −1 ,... ,k −1 1 l WEYL GROUPS AND ELLIPTIC SOLUTIONS OF THE WDVV EQUATIONS 31 where {a , b } is a canonical basis of cycles on the Riemann surface L. The α α α=1 spaces H (k , . . . , k ) and H (k , . . . , k ) are connected complex manifolds and g,N 1 l g,N 1 l the local coordinates on these manifolds are given by the ﬁnite critical values of the map λ . For g = 0 the spaces H (k , . . . , k ) and H (k , . . . , k ) coincide. g,N 1 l g,N 1 l The various metric and multiplication tensors are given in terms of this holo- morphic map λ : L → P (also known as the superpotential) by the following: Theorem 26. The intersection form and dual multiplication on the Hurwitz space H (k , . . . , k ) are given by the following residue formulae: g,N 1 l ′ ′′ ∂ (log λ(v)dv)∂ (log λ(v)dv) ′ ′′ g(∂ , ∂ ) = res , dλ=0 d log λ(v) ′ ′′ ′′′ 1 ∂ (log λ(v)dv)∂ (log λ(v)dv)∂ (log λ(v)dv) ⋆ ′ ′′ ′′′ c (∂ , ∂ , ∂ ) = res . 2πi dλ=0 d log λ(v) ′ ′′ Here ∂ , ∂ and ∂ are arbitrary vector ﬁelds on the Hurwitz space H (k , . . . , k ). g,N 1 l The formula for g appeared in [9] while the formula for c follows immediately from the results in [10]. Note that with the speciﬁc dependence of u in the superpotentials (21) and (22) we have normalized g and c so that ∂ is the unity vector ﬁeld (rather ⋆ ′ ′′ ′ ′′ than ∂ ). Thus c (∂ , ∂ , ∂ ) = g(∂ , ∂ ) . This also avoids a proliferation of u u 2πi (2πi)-factors in the ﬁnal result. Certain Hurwitz spaces are isomorphic to certain orbit spaces [9]. For example, C /A H (N + 1) , N 0,N+1 (k) N+1 ˜ ∼ C /A H (k, N − k) , 0,N+1 Ω/J(A ) H (N + 1) . N 1,N+1 Thus the tower of generalizations mentioned in the introduction has a uniﬁed de- scription, at least for the A -cases, in terms of the theory of Hurwitz spaces. This also leads to a way to expand the tower further via higher genus Hurwitz spaces, the most natural being the space H (N + 1) . The B examples come from g,N+1 N introducing a Z grading onto the Huwitz space (e.g. the superpotentials above have a z ↔ −z symmetry). Example 27. (a) Using the superpotential (21) one obtains the intersection form and (dual) prepotential for the A -Jacobi group orbit space in Theorem 6 above [27]: i 2 g = 2du dτ − (dz ) i=0 z =0 j=0 1 1 ⋆ 2 i 2 F (u , z , τ) = τu − u (z ) 2 2 i=0 j z =0 j=0 X X i j i + f(z − z , τ) − (N + 1) f(z , τ) i6=j i where this function is evaluated on the plane z = 0 . i=0 32 IAN A. B. STRACHAN (b) Using the superpotential (22) one obtains the intersection form and (dual) prepotential for the B -Jacobi group orbit space: i 2 g = 2du dτ − 2 (dz ) , i=1 ⋆ 2 i 2 F (u , z , τ) = τu − 2u (z ) i=0 i j i j + f(z + z , τ) + f(z − z , τ) i6=j X X + f(2z , τ) − 2N f(z , τ) . i i Combining this with the earlier results on elliptic ∨-systems gives: Theorem 28. The elliptic ∨-systems given in sections (6.2.1) and (6.2.2) deﬁne prepotentials that are the almost-dual prepotentials associated to the A and B N N Jacobi group orbit spaces. The form of this result, coupled with the examples of elliptic ∨-systems leads to the following conjecture: Conjecture 29. Let W be a Weyl group. For the Jacobi group orbit space Ω/J(W ) the dual prepotential takes the form (15) with h = 0 . Furthermore, U = R ∪ irreg R (or its dual) and where irreg irreg R = {w(Δ)|w ∈ W} or R = {±w(Δ)|w ∈ W} W W for some weight vector Δ . The conjecture seems plausible. It is true for the A examples and the B examples N N (if one uses the dual root system) and if all orbit spaces are to behave in the same generic way in the trigonometric limit then one must have h = 0 from the results of section 5.1. One possible approach to proving this conjecture would be to show that if a prepotential F lies at the ﬁxed point of the involutive symmetry then so does the corresponding almost dual prepotential. Since this is true for the Jacobi group examples this would then prove the ﬁrst part of the conjecture, but not the second part on the structure of the set U . The Saito construction of Jacobi groups has recently been studied in detail [29]. Perhaps a formulation of a dual version of the result would provide a proof of the conjecture. Within the class of elliptic ∨-systems there remains the problem of constructing examples with h = 0 . For W = G , F one may set h = 0 , but for E one would 2 4 6,7,8 irreg have to append an R set of vectors. These cases also remain problematical. If h = 0 in the G case one obtains a dual prepotential that is actually the dual prepotential for the A Jacobi group orbit space, leaving a problem as to what the correct G solution would be. This case lies in the so-called co-dimension one case and deserves closer study. The G Jacobi forms have also been constructed explicitly [2] so it may be possible to ﬁnd the dual prepotential in this case by direct calculation. It is also possible the the dual prepotential is the same in these two cases: the reconstruction of the Frobenius manifold from the dual picture requires additional data besides the almost dual prepotential. WEYL GROUPS AND ELLIPTIC SOLUTIONS OF THE WDVV EQUATIONS 33 9. Comments The idea of an elliptic ∨-system may clearly be studied further. As well as the obvious question on the relationship between the functional ansatz and Jacobi group orbit spaces summarized in Conjecture 29, there are many other questions and problems that could be addressed. Given a complex Euclidean ∨-system one may study their restriction to lower dimensions and the conditions required for the restricted system to also be a complex Euclidean ∨-system. Clearly the same ques- tion can be asked for elliptic ∨-systems. Examples along this line may be obtained from the restriction of the A and B Jacobi-group spaces to discriminants. This N N is achieved by introducing multiplicities into the A superpotential (21), m k ϑ (v − z , τ) 1 i 2πiu λ(p) = e , ϑ (v, τ) i=0 P P m m where k = N + 1 , k z = 0 , or on more general Hurwitz spaces i i i i=0 i=0 H (n , . . . , n ) and their discriminants. Partial results have been obtained in 1,N 1 m [26], and these provide further examples of elliptic ∨-systems. In fact, interest- ing examples of ∨-system can be found by looking on the induced structures on disciminants [14, 30] and clearly the same ideas could be applied here. Possible applications of these solutions should come from Seiberg-Witten theory and the perturbative limits of such theories. This link is well known for rational and trigonometric solutions, and the interpretation of the elliptic solutions found in [27] in terms of a 6-dimensional ﬁeld theory has been given in [3], and one would expect similar results for the more general solutions constructed here (though [3] does use the existence of a superpotential which is lacking for general solutions constructed here). The tower of generalizations mentioned in the introduction clearly does not have to stop at elliptic solutions. An arbitrary Hurwitz space H (k , . . . , k ) carries G,N 1 l the structure of a Frobenius manifold and hence an almost-dual structure. An interesting question is whether or not there is an orbit space construction for these more general spaces: H (N) −→ H (k, N − k) −→ H (N) −→ . . . −→ H (N) 0,N 0,N 1,N g,N l l l l orbit (k) N N+1 C /A −→ C /A −→ Ω/J(A ) −→ . . . −→ space N N structure? It seems sensible to conjecture that such an orbit space exists. One would expect Siegel modular forms to play a role instead of the modular forms used here. Higher genus Jacobi forms certain have been studied, but their use has yet to percolate into the theory of integrable systems. The development, and applications of, the neo- classical ϑ-function identities studied in Section 7 remains to be done systematically. Certain higher genus analogues of these identities certainly exist, since there exist almost-dual prepotentials on these Hurwitz spaces which, by construction, satisfy the WDVV equations. In the genus 0 and genus 1 cases, the prepotential is very closely related to the prime form on the Riemann surface. This may be the starting point for the development of a functional ansatz for the higher genus cases. Central 34 IAN A. B. STRACHAN to the results presented here are the quasi-periodicity and modularity properties of the elliptic polylogarithm, and these were obtained from the analytic properties of this function; the only role the analytic properties play were in the development of these transformation properties. It would be attractive if one could obtain these directly from the geometric properties of the prime form. This approach could then be used in the higher genus case where the analytic properties are likely to be considerably more complicated. Mention has been made already of the beautiful paper [6]. It would be interesting to see if the ideas developed here could be used in the study of KZ and Dunkl-type systems. The idea would be to study objects such as h i (3,0) (3,0) f (z )s , f (z )s α α β β α,β∈U where s and s are shift operators. Conjecturally this quadratic term would be α β (2,1) related to linear terms in the function f . The rational limit would then coincide with the classical work of Dunkl [5]. Such a development would be diﬀerent to the elliptic Dunkl operators in the pioneering work of Buchstaber et al. [4]. For a preliminary discussion of these ideas, see [31] . Finally, one thing that has been learnt from this work is that on going from rational and trigonometric structure related to a Weyl group W via the root system R to elliptic structures, generalizations based entirely on the use of the root system R alone may not suﬃce. Acknowledgments I would like to thank Harry Braden, Misha Feigin and Andrew Riley for their comments on this paper. I am also very grateful to the referee for pointing out cer- tain errors in the original version, and for his/her careful reading of the manuscript - this has resulted in much improved ﬁnal version. References [1] Beilinson, A. and Levin, A.,The Elliptic Polylogarithm , in Motives (ed. Jannsen, U., Kleiman, S,. Serre, J.-P.), Proc. Symp. Pure Math. vol 55, Amer. Math. Soc., (1994), Part 2, 123-190. [2] Bertola, M. Frobenius manifold structure on orbit space of Jacobi groups; Parts I and II, Diﬀ. Geom. Appl. 13, (2000), 19-41 and 13, (2000), 213-23. [3] Braden, H.W., Marshakov, A., Mironov, A. and Morozov, A., WDVV equations for 6d Seiberg-Witten theory and bi-elliptic curves, Acta Applicandae Mathematicae 99 (3) (2007) 223-244. [4] Buchstaber, V.M., Felder, G. and Veselov, A.P., Elliptic Dunkl operators, root systems, and functional equations Duke Math. J. 76:3 (1994), 885-911. [5] Dunkl, C. Diﬀerential-diﬀerence operators associated to reﬂection groups, Trans. Amer. Math. Soc. 311 (1989) 167-183. [6] Calaque, D., Enriques, B. and Etingof, P., Universal KZB equations I: The Elliptic Case arXiv:math.QA/0702670. [7] Chalykh, O. and Veselov, A.P., Locus conﬁgurations and ∨-systems, Phys. Lett. A285 339- 349, 2001. [8] Cherednik, I., Double Aﬃne Hecke Algebras, LMS Lecture Note Series vol. 319, Cambrdige University Press (2005). [9] Dubrovin, B., Geometry of 2D topological ﬁeld theories in Integrable Systems and Quantum Groups, ed. Francaviglia, M. and Greco, S.. Springer lecture notes in mathematics, 1620, 120-348. WEYL GROUPS AND ELLIPTIC SOLUTIONS OF THE WDVV EQUATIONS 35 [10] Dubrovin, B., On almost duality for Frobenius manifolds in Geometry, topology, and mathe- matical physics, 75–132, Amer. Math. Soc. Transl. Ser. 2, 212, Amer. Math. Soc., Providence, RI, 2004. [11] Dubrovin, B. and Zhang, Y., Extended aﬃne Weyl groups and Frobenius manifolds, Compo- sitio Math. 111 (1998), 167-219. [12] Eichler, M. and Zagier, D., The Theory of Jacobi Forms, Birkh¨auser, 1985 (Progress in Mathematics Vol. 55). [13] Feigin, M.V., Trigonometric solutions of WDVV equations and generalized Calogero-Moser- Sutherland systems, SIGMA 5 (2009), 088, 10 pages. [14] Feigin, M.V. and Veselov, A.P., Logarithmic Frobenius structures and Coxeter discriminants, Advances in Mathematics 212:1 (2007) 143-162. [15] Feigin, M.V. and Veselov, A.P., On the geometry of ∨-systems, in Geometry, Topology, and Mathematical Physics, Amer. Math. Soc. Transl. Ser. 2, Vol. 224, Amer. Math. Soc., Providence, RI, 2008, 111-123. [16] Humphreys, J.E., Introduction to Lie Algebras and Representation Theory, Graduate Texts in Mathematics vol 9, Springer-Verlag (1992), Reﬂection Groups and Coxeter Groups, Cam- bridge studies inadvanced mathematics vol 29, Cambridge University Press (1990). [17] Kac, V.G., Inﬁnite dimensional Lie algebras, Cambridge University Press (1990). [18] Kawai, T., String duality and enumeration of curves by Jacobi forms in Integrable systems and algebraic geometry (Kobe/Kyoto, 1997), 282–314, World Sci. Publishing, River Edge, NJ, 1998. [19] Levin, A., Elliptic polylogarithms: an analytic theory Compositio Math. 106 (1997), no. 3, 267–282. [20] Marshakov, A., Mironov, A., and Morozov, A., A WDVV-like equation in N = 2 SUSY Yang-Mills theory, Phys. Lett. B 389 (1996) 43-52. [21] Marshakov, A. and Mironov, A., 5d and 6d Supersymmetric Gauge Theories: Prepotentials from Integrable Systems, Nucl.Phys. B 518 (1998) 59-91. [22] Martini, R. and Gragert, P.K.H., Solutions of WDVV equations in Seiberg-Witten theory from root systems, J. Noninear. Math. Phys. 61(1) (1999) 1-4. [23] Martini, R., and Hoevenaars, L.K., Trigonometric Solutions of the WDVV Equations from Root Systems, Lett.Math.Phys. 65 (2003) 15-18. [24] Olshanetsky, M.A. and Perelomov, A.M., Quantum integrable systems related to Lie algebras, Phys. Rep. 98 (1989), 1-18. [25] Ramakrishnan, D., On the monodromy of higher logarithms, Proc. Amer. Math. Soc. 85 (1982), no. 4, 596–599. [26] Riley, A., Frobenius manifolds: caustic submanifolds and discriminant almost duality, Ph.D. thesis, Hull University, 2007. [27] Riley, A. and Strachan, I.A.B., Duality for Jacobi Group Orbit Spaces and Elliptic Solutions of the WDVV Equations, Lett. Math. Phys. 77:3 (2006) 221-234. [28] Saito, K., On a linear structure of a quotient variety by a ﬁnite reﬂection group , Preprint RIMS-288 (1979). [29] Satake, I., Frobenius manifolds for elliptic root systems, arXiv:math/0611553 [30] Strachan, I.A.B., Frobenius manifolds: natural submanifolds and induced bi-Hamiltonian structures, Diﬀerential Geometry and its Applications, 20 (2004), 67-99. [31] Strachan, I.A.B., Diﬀerential and functional identities for the elliptic trilogarithm, SIGMA 5, (2009), 031, 12 pages. [32] Veselov, A.P., Deformations of the root systems and new solutions to generalized WDVV equations, Phys. Lett A 261 (1999) 297-302. [33] Wirthmu¨ller, K., Root systems and Jacobi forms, Compositio Mathematica 82 (1992) 293- [34] Whittaker, E.T. and Watson, G.N., A course of Modern Analysis, Cambridge University Press (any edition). [35] Zagier, D. The Bloch-Wigner-Ramakrishnan polylogarithm function, Math. Ann. 286 (1990) 613-624. Department of Mathematics, University of Glasgow, Glasgow G12 8QQ, U.K. E-mail address: i.strachan@maths.gla.ac.uk
Mathematical Physics – arXiv (Cornell University)
Published: Feb 4, 2008
You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.