Abstract
We show that bi-flat F-manifolds can be interpreted as natural geometrical structures encoding the almost duality for Frobenius manifolds without metric. Using this framework, we extend Dubrovin’s duality between orbit spaces of Coxeter groups and Veselov’s \(\vee \)-systems, to the orbit spaces of exceptional well-generated complex reflection groups of rank 2 and 3. On the Veselov’s \(\vee \)-systems side, we provide a generalization of the notion of \(\vee \)-systems that gives rise to a dual connection which coincides with a Dunkl–Kohno-type connection associated with such groups. In particular, this allows us to treat on the same ground several different examples including Coxeter and Shephard groups. Remarkably, as a by-product of our results, we prove that in some examples, basic flat invariants are not uniquely defined. As far as we know, such a phenomenon has never been pointed out before.
Similar content being viewed by others
References
Arsie, A., Lorenzoni, P.: \(F\)-manifolds with eventual identities, bidifferential calculus and twisted Lenard-Magri chains. IMRN 2013(17): 3931–3976 (2013)
Arsie, A., Lorenzoni, P.: From Darboux–Egorov system to bi-flat \(F\)-manifolds. J. Geom. Phys. 70, 98–116 (2013)
Arsie, A., Lorenzoni, P.: Purely non-local Hamiltonian formalism, Kohno connections and \(\vee \)-systems. J. Math. Phys. 55, 113510 (2014)
Arsie, A., Lorenzoni, P.: \(F\)-manifolds, multi-flat structures and and Painlevé transcendents. arXiv:1501.06435
Broué, M., Malle, G., Rouquier R.: Complex Reflection groups, braid groups, Hecke Algebras. Journal für die reine and angewandte Mathematik, 500, 127–190 (1998)
Burkhardt, H.: Untersuchungen auf dem Gebiete der hyper- elliptischen Modulfunctionen (Zweiter Teil). Math. Ann. 38, 161–224 (1891)
Couwenberg, W., Heckman, G., Looijenga, E.: Geometric structures on the complement of a projective arrangement. Publications Mathématiques de l’Institut des Hautes Études Scientifiques 101(1), 69–161 (2005)
Coxeter, H.S.M.: Regular Polytopes, 3rd edn. Dover, New York (1973)
Dubrovin, B.A.: On almost duality for Frobenius manifolds, Geometry, topology and mathematical physics, 75–132. Am. Math. Soc. Transl. Ser. 2, 212 (2004)
Dubrovin B.A. : Differential geometry of the space of orbits of a Coxeter group, Surv. Diff. Geom. 4, 181–211 (1999)
Dubrovin, B.: Flat Pencils of Metrics and Frobenius Manifolds, Integrable Systems and Algebraic Geometry (Kobe/Kyoto), (1997), 47–72. World Sci. Publishing, River Edge (1998)
Dunkl, C.F., Opdam, E.M.: Dunkl operators for complex reflection groups. Proc. Lond. Math. Soc. 86(1), 70–108 (2003)
Elkies, N.: The Klein quartic in number theory, In: Levi, S. (ed.) The Eightfold Way: The Beauty of Klein’s Quartic Curve, MSRI Publications, Cambridge, Cambridge University Press, pp 51–102 (1998)
Feigin, M., Silantyev, A.: Singular polynomials from orbit spaces. Compos. Math. 148(6), 1867–1879 (2012)
Feigin, M.V., Veselov, A.P.: \(\vee \)-systems, holonomy Lie algebras and logarithmic vector fields. arXiv:1409.2424
Hertling, C.: Frobenius Manifolds and Moduli Spaces for Singularities, Cambridge Tracts in Mathematics 151. Cambridge University Press, Cambridge (2002)
Hertling, C., Manin, Y.: Weak frobenius manifolds. IMRN 6, 277–286 (1999)
Iwasaki, K., Kenma, A., Matsumoto, K.: Polynomial invariants and harmonic functions related to exceptional regular polytopes. Experiment. Math. 11(2), 313–319 (2002)
Kato, M., Mano, T., Sekiguchi, J.: Flat structures without potentials. Rev. Roum. Math. Pures Appl. 60(4), 481–505 (2015)
Kato, M., Mano, T., Sekiguchi, J.: Flat structure on the space of isomonodromic deformations. arXiv:1511.01608v1
Klein, F.: Ueber die transformationen siebenter Ordnung der elliptischen Funktionen. Math. Ann. 14, 428–471 (1879)
Knizhnik, V.G., Zamolodchikov, A.B.: Current algebra and Wess-Zumino models in two dimensions. Nuclear Phys. B 247, 83–103 (1984)
Kohno T.: Holonomy Lie algebras, logarithmic connections and the lower central series of fundamental groups. Singularities (Iowa City, IA, 1986), 171–182, Contemp. Math., 90, Amer. Math. Soc., Providence, RI, (1989)
Kohno, T.: On the holonomy Lie algebra and the nilpotent completion of the fundamental group of the complement of hypersurfaces. Nagoya Math. J. 92, 21–37 (1983)
Lehrer, G.I., Taylor, D.E.: Unitary reflection groups, Australian Mathematical Society Lecture Series 20. Cambridge University Press, Cambridge (2009)
Looijenga, E.: Arrangements. KZ systems and Lie algebra homology, In: Singularity Theory, LMS Lecture Note Series 263, 109–130 (1999)
Lorenzoni, P., Pedroni, M., Raimondo, A.: \(F\)-manifolds and integrable systems of hydrodynamic type. Arch. Math. 47, 163–180 (2011)
Lorenzoni, P.: Darboux–Egorov system, bi-flat \(F\)-manifolds and Painlevé VI. IMRN 12, 3279–3302 (2014)
Losev, A., Manin Y.I.: Extended modular operads, In: Frobenius manifolds, quantum cohomology and singularities (C. Hertling and M. Marcolli, Eds.), Aspects of Math., E36, 181–211 (2004)
Manin, Y.I.: \(F\)-manifolds with flat structure and Dubrovin’s duality. Adv. Math. 198(1), 5–26 (2005)
Maschke, H.: Ueber die quaterniire, endliche, lineare Substitutionsgruppe der Borchadt’schen Moduln. Math. Ann. 30, 496–515 (1887)
Maschke, H.: Aufstellung des vollen Formensystems einer quaternären Gruppe von 51840 linearen Substitutionen. Math. Ann. 33, 496–515 (1888)
Metha, M.L.: Basic sets of invariant polynomials for finite reflection groups. Comm. Algebra 16, 1083–1098 (1988)
Orlik, P.: Basic derivations for unitary reflection groups. Contemp. Math. 90, 211–228 (1989)
Orlik, P., Solomon, L.: The hessian map in the invariant theory of reflection groups. Nagoya Math. J. 109, 1–21 (1988)
Orlik, P., Solomon, L.: Discriminants in the invariant theory of reflection groups. Nagoya Math. J. 109, 23–45 (1988)
Orlik, P., Terao, H.: Arrangements of Hyperplanes, Grundlehren der mathematischen Wissenschaften 300. Springer, Berlin (1992)
Reiner, V.: Reflection groups counting and \(q\)-counting, Summer School on Algebraic and Enumerative Combinatorics, S. Miguel de Seide 2012 (available at http://www.math.umn.edu/~reiner/Talks/Portugal2012/)
Sabbah, C.: Isomonodromic deformations and Frobenius manifolds. Universitext. Springer, Berlin (2008)
Saito, K., Yano, T., Sekiguchi, J.: On a certain generator system of the ring of invariants of a finite reflection group. Comm. Algebra 8(4), 373–408 (1980)
Saito, K. : On a linear structure of a quotient variety by a finite reflexion group, RIMS Kyoto preprint 288, (1979)
Saito, K.: Period mapping associated to a primitive form. PubL RIMS, Kyoto Univ. 19, 1231–1264 (1983)
Shephard, G.C.: Regular complex polytopes. PLMS 3(2), 82–97 (1952)
Shephard, G.C., Todd, J.A.: Finite unitary reflection groups. Canad. J. Math. 6, 274–304 (1954)
Veselov, A.P.: Deformations of the root systems and new solutions to generalised WDVV equations. Phys. Lett. A 261, 297–302 (1999)
A. P. Veselov, On geometry of a special class of solutions to generalized WDVV equations, Integrability: the Seiberg-Witten and Whitham equations (Edinburgh), 125–135, Gordon and Breach (1998)
Wiman, A.: Ueber eine einfache Gruppe von 360 ebenen Collineationen. Math. Ann. 47, 531–556 (1896)
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix 1: Saito coordinates in the cases of the groups \(G_{29},G_{32},G_{33}\)
For higher-rank complex reflection groups, the computations become cumbersome.
In the case of \(G_{29}\) (rank four), \(G_{32}\) (rank four), \(G_{33}\) (rank five) not all conditions have been checked. However, imposing the flatness conditions at some special points, it is sufficient to fix uniquely the parameters in the choice of the basic invariants. For this reason we conjecture that the basic invariants obtained in this way coincide with the generalized Saito flat coordinates of a bi-flat structure. We expect also that the vector potentials of the natural product of this structure coincide with the vector potentials obtained in [20] with a different approach.
1.1 The case of \(G_{29}\)
The basic invariants are (see [31])
We conjecture that Saito flat coordinates are
with
1.2 The case of \(G_{32}\)
Basic invariants are (see [32])
with
We conjecture that Saito flat coordinates are
with \(c_1 = -\frac{21}{25},\quad c_2 = -\frac{11}{25}\). Up to an inessential constant factor, they coincide with the choice of basic invariants of Orlik and Terao.
1.3 The case of \(G_{33}\)
The basic invariants are (see [6] with corrections of [34])
with
We conjecture that Saito flat coordinates are
with
Appendix 2: The non-well-generated cases
The procedure we have introduced works only partially for non-well- generated complex reflection groups in the sense that it allows us to reconstruct flat connections, but it fails to provide a compatible product \(\circ \). Let us present what happens if one tries to implement the algorithm in the case of \(G_7\), a non-well- generated complex reflection group of rank 2, whose ring of invariants is generated by the following polynomials (see [25]):
Since \(u_1\) and \(u_2\) have the same degree, the connection \(\nabla ^{(1)}\) is uniquely determined. It turns out that it is almost hydrodynamically equivalent to the dual connection. Unfortunately, defining the unit of the product as a flat vector field and defining the product \(\circ \) in the standard way, we obtain that the compatibility is no longer satisfied. Similar results hold true in the case of the groups \(G_{11}\), \(G_{12}\), \(G_{13}\), \(G_{19}\) and \(G_{22}\). In the case of \(G_{15}\), there is one parameter in the basic invariants. It turns out that the connection \(\nabla ^{(1)}\) is almost hydrodynamically equivalent to the dual connection for each value of this parameter and that the compatibility with the product \(\circ \) is never satisfied.
Appendix 3: Dual connections for Shephard groups
In all the cases we dealt with in this section, the dual connection has the general form
where \( C^{i}_{jk}\) are the Christoffel symbol of a Dunkl–Kohno-type connection
where the projectors \(\pi _H\) and the weights \(\sigma _{H}\) satisfy the condition
Again we denoted the weights \(\sigma _H\) since they are not the weights appearing in the standard procedure (in particular they do not coincide with the order of reflection). We have treated in detail the case \(G_{26}\), G(3, 1, 2) and G(3, 1, 3). Let us briefly summarize the remaining cases. The value of c such that \(\lambda =0\) corresponds to the standard choice of the dual connection.
1.1 The case of \(G_{5}\)
In this case \(\lambda =-\frac{1}{4}+\frac{i}{72}\sqrt{3}c\) and
where \(\alpha _1= \left[ 2,-\sqrt{3}+1+i-i\sqrt{3}\right] \), \(\alpha _2= \left[ 2,\sqrt{3}+1-i-i \sqrt{3}\right] \), \(\alpha _3= \left[ 2,\sqrt{3}-1-i+i \sqrt{3}\right] \), \(\alpha _4= \left[ 2,-\sqrt{3}-1+i+i \sqrt{3}\right] \), \(\alpha _5= \left[ 2,\sqrt{3}+1+i+i \sqrt{3}\right] \), \(\alpha _6= \left[ 2,-\sqrt{3}+1-i+i \sqrt{3}\right] \), \(\alpha _7= \left[ 2,\sqrt{3}-1+i-i \sqrt{3}\right] \), \(\alpha _8= \left[ 1,-\sqrt{3}-1-i-i\sqrt{3}\right] \) . The vector potential is given by:
Finally, for \(c=-6i\sqrt{3}\) one recovers the Frobenius structure listed in Table 1. Among the analyzed Shephard groups (which are not Coxeter groups) whose bi-flat F-manifold structure depends on a parameter, this is the only case for which the Frobenius structure appears directly with the standard approach we followed in Sect. 5.
1.2 The case of \(G_{6}\)
The generalized Saito flat coordinates are \(u_1=U_1,\, u_2=U_2+c U_1^3\) where (see [25]):
In this case \(\lambda =-8ic\sqrt{3}-\frac{5}{12},\) and
where \(\alpha _1,\ldots ,\alpha _6\) define the mirrors of the reflections of order 2 and \(\alpha _7,\ldots ,\alpha _{10}\) define the mirrors of the reflections of order 3. The vector potential is given by:
Finally, for \(c=\frac{1}{72}i\sqrt{3}\) one recovers the Frobenius structure listed in Table 1.
1.3 The case of \(G_{9}\)
The generalized Saito flat coordinates are \(u_1=U_1,\, u_2=U_2+c U_1^3\) where (see [25]):
In this case \(\lambda =-\frac{4}{3}c-\frac{11}{12},\) and
where \(\alpha _1,\ldots ,\alpha _{12}\) define the mirrors of the reflections of order 2 and \(\alpha _{13},\ldots ,\alpha _{18}\) define the mirrors of the reflections of order 4. The vector potential is given by:
Finally, for \(c=-\frac{1}{2}\) one recovers the Frobenius structure listed in Table 1.
1.4 The case of \(G_{10}\)
The Saito flat coordinates are \(u_1=U_1,\, u_2=U_2+c U_1^2\) where (see [25]):
In this case \(\lambda =-\frac{1}{2}c-\frac{7}{24},\) and
where \(\alpha _1,\ldots ,\alpha _{8}\) define the mirrors of the reflections of order 3 and \(\alpha _{9},\ldots ,\alpha _{14}\) define the mirrors of the reflections of order 2. The vector potential is given by:
Finally, for \(c=-\frac{1}{2}\) one recovers the Frobenius structure listed in Table 1.
1.5 The case of \(G_{14}\)
The generalized Saito flat coordinates of the form \(u_1=U_1,\, u_2=U_2+c U_1^4\) where (see [25]):
In this case \(\lambda =\frac{1}{144}c-\frac{11}{24},\) and
where \(\alpha _1,\ldots ,\alpha _{12}\) define the mirrors of the reflections of order 2 and \(\alpha _{13},\ldots ,\alpha _{20}\) define the mirrors of the reflections of order 3. The vector potential is given by:
Finally, for \(c=54\) one recovers the Frobenius structure listed in Table 1.
1.6 The case of \(G_{17}\)
The Saito flat coordinates of the form \(u_1=U_1,\, u_2=U_2+c U_1^3\) where (see [25]):
In this case \(\lambda =-\frac{29}{60}+40\sqrt{5}c,\) and
where \(\alpha _1,\ldots ,\alpha _{30}\) define the mirrors of the reflections of order 2 and \(\alpha _{31},\ldots ,\alpha _{42}\) define the mirrors of the reflections of order 5. The vector potential is given by:
Finally, for \(c=\frac{1}{600}\sqrt{5}\) one recovers the Frobenius structure listed in Table 1.
1.7 The case of \(G_{18}\)
The generalized Saito flat coordinates are \(u_1=U_1,\, u_2=U_2+c U_1^2\) where (see [25]):
In this case \(\lambda =-\frac{19}{60}+\frac{1}{600}\sqrt{5}c,\) and
where \(\alpha _1,\ldots ,\alpha _{20}\) define the mirrors of the reflections of order 3 and \(\alpha _{21},\ldots ,\alpha _{32}\) define the mirrors of the reflections of order 5. The vector potential is given by:
Finally, for \(c=30\sqrt{5}\) one recovers the Frobenius structure listed in Table 1.
1.8 The case of \(G_{21}\)
The generalized Saito flat coordinates are \(u_1=U_1,\, u_2=U_2+c U_1^5\) where (see [25]):
In this case \(\lambda =-\frac{1}{300}\left( 29\sqrt{5}+14400c\right) \sqrt{5},\) and
where \(\alpha _1,\ldots ,\alpha _{30}\) define the mirrors of the reflections of order 2 and \(\alpha _{31},\ldots ,\alpha _{50}\) define the mirrors of the reflections of order 3. The vector potential is given by:
Finally, for \(c=-\frac{1}{600}\sqrt{5}\) one recovers the Frobenius structure listed in Table 1.
Rights and permissions
About this article
Cite this article
Arsie, A., Lorenzoni, P. Complex reflection groups, logarithmic connections and bi-flat F-manifolds. Lett Math Phys 107, 1919–1961 (2017). https://doi.org/10.1007/s11005-017-0963-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11005-017-0963-x