Showing 1–17 of 17 results for author: Chalykh, O

Classical and quantum curves of 5d Seiberg's theories and their 4d limit

Authors: Oleg Chalykh, Yongchao Lü

Abstract: In this work, we examine the classical and quantum Seiberg-Witten curves of 5d N = 1 SCFTs and their 4d limits. The 5d theories we consider are Seiberg's theories of type $E_{6,7,8}$, which serve as the UV completions of 5d SU(2) gauge theories with 5, 6, or 7 flavors. Their classical curves can be constructed using the five-brane web construction [1]. We also use it to re-derive their quantum cur… ▽ More In this work, we examine the classical and quantum Seiberg-Witten curves of 5d N = 1 SCFTs and their 4d limits. The 5d theories we consider are Seiberg's theories of type $E_{6,7,8}$, which serve as the UV completions of 5d SU(2) gauge theories with 5, 6, or 7 flavors. Their classical curves can be constructed using the five-brane web construction [1]. We also use it to re-derive their quantum curves [2], by employing a q-analogue of the Frobenius method in the style of [3]. This allows us to compare the reduction of these 5d curves with the 4d curves, i.e. Seiberg-Witten curves of the Minahan-Nemeschansky theories and their quantization, which have been identified in [4] with the spectral curves of rank-1 complex crystallographic elliptic Calogero-Moser systems. △ Less

Submitted 4 November, 2024; originally announced November 2024.

Comments: 22 pages

Dunkl and Cherednik operators

Authors: Oleg Chalykh

Abstract: This survey article, written for the Encyclopedia of Mathematical Physics, 2nd edition, is devoted to the remarkable family of operators introduced by Charles Dunkl and to their $q$-analogues discovered by Ivan Cherednik. The main focus is on the rôle of these operators in studying integrable many-body systems such as the Calogero-Moser and the Ruijsenaars systems. To put these constructions into… ▽ More This survey article, written for the Encyclopedia of Mathematical Physics, 2nd edition, is devoted to the remarkable family of operators introduced by Charles Dunkl and to their $q$-analogues discovered by Ivan Cherednik. The main focus is on the rôle of these operators in studying integrable many-body systems such as the Calogero-Moser and the Ruijsenaars systems. To put these constructions into a wider context, we indicate their relationship with the theory of the rational Cherednik algebras and double affine Hecke algebras. While we do not include proofs, references to the original research articles are provided, accompanied by brief historical comments. △ Less

Submitted 13 September, 2024; originally announced September 2024.

Comments: 25 pages

Journal ref: Encyclopedia of Mathematical Physics (Second Edition), Academic Press, 2025, Pages 309-327

Integrability of the Inozemtsev spin chain

Authors: Oleg Chalykh

Abstract: We show that the Inozemtsev spin chain is integrable. The conserved quantities (commuting Hamiltonians) are constructed using elliptic Dunkl operators. We also suggest a generalisation. We show that the Inozemtsev spin chain is integrable. The conserved quantities (commuting Hamiltonians) are constructed using elliptic Dunkl operators. We also suggest a generalisation. △ Less

Submitted 3 July, 2024; originally announced July 2024.

Comments: 16 pages

Complex crystallographic reflection groups and Seiberg-Witten integrable systems: rank 1 case

Authors: Philip C. Argyres, Oleg Chalykh, Yongchao Lü

Abstract: We consider generalisations of the elliptic Calogero--Moser systems associated to complex crystallographic groups in accordance to [1]. In our previous work [2], we proposed these systems as candidates for Seiberg--Witten integrable systems of certain SCFTs. Here we examine that proposal for complex crystallographic groups of rank one. Geometrically, this means considering elliptic curves $T^2$ wi… ▽ More We consider generalisations of the elliptic Calogero--Moser systems associated to complex crystallographic groups in accordance to [1]. In our previous work [2], we proposed these systems as candidates for Seiberg--Witten integrable systems of certain SCFTs. Here we examine that proposal for complex crystallographic groups of rank one. Geometrically, this means considering elliptic curves $T^2$ with $\mathbb{Z}_m$-symmetries, $m=2,3,4,6$, and Poisson deformations of the orbifolds $(T^2\times\mathbb{C})/\mathbb{Z}_m$. The $m=2$ case was studied in [2], while $m=3,4,6$ correspond to Seiberg--Witten integrable systems for the rank 1 Minahan--Nemeshansky SCFTs of type $E_{6,7,8}$. This allows us to describe the corresponding elliptic fibrations and the Seiberg--Witten differential in a compact elegant form. This approach also produces quantum spectral curves for these SCFTs, which are given by Fuchsian ODEs with special properties. △ Less

Submitted 5 June, 2025; v1 submitted 22 September, 2023; originally announced September 2023.

Inozemtsev System as Seiberg-Witten Integrable system

Authors: Philip Argyres, Oleg Chalykh, Yongchao Lü

Abstract: In this work we establish that the Inozemtsev system is the Seiberg-Witten integrable system encoding the Coulomb branch physics of 4d $\mathcal{N}=2$ USp(2N) gauge theory with four fundamental and (for $N \geq 2$) one antisymmetric tensor hypermultiplets. We describe the transformation from the spectral curves and canonical one-form of the Inozemtsev system in the $N=1$ and $N=2$ cases to the Sei… ▽ More In this work we establish that the Inozemtsev system is the Seiberg-Witten integrable system encoding the Coulomb branch physics of 4d $\mathcal{N}=2$ USp(2N) gauge theory with four fundamental and (for $N \geq 2$) one antisymmetric tensor hypermultiplets. We describe the transformation from the spectral curves and canonical one-form of the Inozemtsev system in the $N=1$ and $N=2$ cases to the Seiberg-Witten curves and differentials explicitly, along with the explicit matching of the modulus of the elliptic curve of spectral parameters to the gauge coupling of the field theory, and of the couplings of the Inozemtsev system to the field theory mass parameters. This result is a particular instance of a more general correspondence between crystallographic elliptic Calogero-Moser systems with Seiberg-Witten integrable systems, which will be explored in future work. △ Less

Submitted 12 January, 2021; originally announced January 2021.

Comments: 33 pages; comments are welcome

Report number: UUITP-01/21

Deformed Calogero--Moser operators and ideals of rational Cherednik algebras

Authors: Yuri Berest, Oleg Chalykh

Abstract: We consider a class of hyperplane arrangements $\mathcal A$ in ${\mathbb C}^n$ that generalise the locus configurations of \cite{CFV}. To such an arrangement we associate a second order partial differential operator of Calogero-Moser type, and prove that this operator is completely integrable (in the sense that its centraliser in $\mathcal{D}({\mathbb C}^n\setminus\mathcal A)$ contains a maximal c… ▽ More We consider a class of hyperplane arrangements $\mathcal A$ in ${\mathbb C}^n$ that generalise the locus configurations of \cite{CFV}. To such an arrangement we associate a second order partial differential operator of Calogero-Moser type, and prove that this operator is completely integrable (in the sense that its centraliser in $\mathcal{D}({\mathbb C}^n\setminus\mathcal A)$ contains a maximal commutative subalgebra of Krull dimension $n$). Our approach is based on the study of shift operators and associated ideals in the spherical Cherednik algebra that may be of independent interest. The examples include all known families of deformed (rational) Calogero-Moser systems that appeared in the literature; we also construct some new examples, including a BC-type analogues of completely integrable operators recently found by D. Gaiotto and M. Rapčák in \cite{GR}. We describe these examples in a general framework of rational Cherednik algebras close in spirit to \cite{BEG} and \cite{BC}. △ Less

Submitted 10 January, 2022; v1 submitted 20 February, 2020; originally announced February 2020.

Comments: v2: 41 pages, substantially rewritten, new material and results added. Section 4 is entirely new. New examples added in subsections 6.4, 6.5

Journal ref: Commun. Math. Phys. 400(1), pp. 133-178 (2023)

On the Hamiltonian formulation of the trigonometric spin Ruijsenaars-Schneider system

Authors: Oleg Chalykh, Maxime Fairon

Abstract: We suggest a Hamiltonian formulation for the spin Ruijsenaars-Schneider system in the trigonometric case. Within this interpretation, the phase space is obtained by a quasi-Hamiltonian reduction performed on (the cotangent bundle to) a representation space of a framed Jordan quiver. For arbitrary quivers, analogous varieties were introduced by Crawley-Boevey and Shaw, and their interpretation as q… ▽ More We suggest a Hamiltonian formulation for the spin Ruijsenaars-Schneider system in the trigonometric case. Within this interpretation, the phase space is obtained by a quasi-Hamiltonian reduction performed on (the cotangent bundle to) a representation space of a framed Jordan quiver. For arbitrary quivers, analogous varieties were introduced by Crawley-Boevey and Shaw, and their interpretation as quasi-Hamiltonian quotients was given by Van den Bergh. Using Van den Bergh's formalism, we construct commuting Hamiltonian functions on the phase space and identify one of the flows with the spin Ruijsenaars-Schneider system. We then calculate all the Poisson brackets between local coordinates, thus answering an old question of Arutyunov and Frolov. We also construct a complete set of commuting Hamiltonians and integrate all the flows explicitly. △ Less

Submitted 22 August, 2020; v1 submitted 21 November, 2018; originally announced November 2018.

Comments: 30 pages. v2: improved exposition in Section 3.1, added Remarks 5.6 and 5.7. v3: References added, accepted version

MSC Class: 70H06; 53D20; 16G20

Journal ref: Lett. Math. Phys. 110 (2020), no. 11, 2893-2940

Quantum Lax pairs via Dunkl and Cherednik operators

Authors: Oleg Chalykh

Abstract: We establish a direct link between Dunkl operators and quantum Lax matrices $\mathcal L$ for the Calogero--Moser systems associated to an arbitrary Weyl group $W$ (or an arbitrary finite reflection group in the rational case). This interpretation also provides a companion matrix $\mathcal A$ so that $\mathcal L, \mathcal A$ form a quantum Lax pair. Moreover, such an $\mathcal A$ can be associated… ▽ More We establish a direct link between Dunkl operators and quantum Lax matrices $\mathcal L$ for the Calogero--Moser systems associated to an arbitrary Weyl group $W$ (or an arbitrary finite reflection group in the rational case). This interpretation also provides a companion matrix $\mathcal A$ so that $\mathcal L, \mathcal A$ form a quantum Lax pair. Moreover, such an $\mathcal A$ can be associated to any of the higher commuting quantum Hamiltonians of the system, so we obtain a family of quantum Lax pairs. These Lax pairs can be of various sizes, matching the sizes of orbits in the reflection representation of $W$, and in the elliptic case they contain a spectral parameter. This way we reproduce universal classical Lax pairs by D'Hoker-Phong and Bordner-Corrigan-Sasaki, and complement them with quantum Lax pairs in all cases (including the elliptic case, where they were not previously known). The same method, with the Dunkl operators replaced by the Cherednik operators, produces quantum Lax pairs for the generalised Ruijsenaars systems for arbitrary root systems. As one of the main applications, we calculate a Lax matrix for the elliptic $BC_n$ case with nine coupling constants (van Diejen system), thus providing an answer to a long-standing open problem. △ Less

Submitted 10 June, 2019; v1 submitted 5 April, 2018; originally announced April 2018.

Comments: Minor editorial changes to the introduction. Final version

Journal ref: Commun. Math. Phys. 369(1), 261-316 (2019)

Multiplicative quiver varieties and generalised Ruijsenaars-Schneider models

Authors: Oleg Chalykh, Maxime Fairon

Abstract: We study some classical integrable systems naturally associated with multiplicative quiver varieties for the (extended) cyclic quiver with $m$ vertices. The phase space of our integrable systems is obtained by quasi-Hamiltonian reduction from the space of representations of the quiver. Three families of Poisson-commuting functions are constructed and written explicitly in suitable Darboux coordina… ▽ More We study some classical integrable systems naturally associated with multiplicative quiver varieties for the (extended) cyclic quiver with $m$ vertices. The phase space of our integrable systems is obtained by quasi-Hamiltonian reduction from the space of representations of the quiver. Three families of Poisson-commuting functions are constructed and written explicitly in suitable Darboux coordinates. The case $m=1$ corresponds to the tadpole quiver and the Ruijsenaars-Schneider system and its variants, while for $m>1$ we obtain new integrable systems that generalise the Ruijsenaars-Schneider system. These systems and their quantum versions also appeared recently in the context of supersymmetric gauge theory and cyclotomic DAHAs, as well as in the context of the Macdonald theory. △ Less

Submitted 19 April, 2017; originally announced April 2017.

Comments: 27 pages

Journal ref: J. Geom. Phys. 121 (2017), 413-437

KP hierarchy for the cyclic quiver

Authors: Oleg Chalykh, Alexey Silantyev

Abstract: We introduce a generalisation of the KP hierarchy, closely related to the cyclic quiver and the Cherednik algebra $H_k(\mathbb Z_m)$. This hierarchy depends on $m$ parameters (one of which can be eliminated), with the usual KP hierarchy corresponding to the $m=1$ case. Generalising the result of G. Wilson, we show that our hierarchy admits solutions parameterised by suitable quiver varieties. The… ▽ More We introduce a generalisation of the KP hierarchy, closely related to the cyclic quiver and the Cherednik algebra $H_k(\mathbb Z_m)$. This hierarchy depends on $m$ parameters (one of which can be eliminated), with the usual KP hierarchy corresponding to the $m=1$ case. Generalising the result of G. Wilson, we show that our hierarchy admits solutions parameterised by suitable quiver varieties. The pole dynamics for these solutions is shown to be governed by the classical Calogero-Moser system for the wreath-product $\mathbb Z_m\wr S_n$ and its new spin version. These results are further extended to the case of the multi-component hierarchy. △ Less

Submitted 28 December, 2015; originally announced December 2015.

Comments: 40 pages

Journal ref: J. Math. Phys. 58 (2017), no. 7, 071702

Orthogonality relations and Cherednik identities for multivariable Baker-Akhiezer functions

Authors: Oleg Chalykh, Pavel Etingof

Abstract: We establish orthogonality relations for the Baker-Akhiezer (BA) eigenfunctions of the Macdonald difference operators. We also obtain a version of Cherednik-Macdonald-Mehta integral for these functions. As a corollary, we give a simple derivation of the norm identity and Cherednik-Macdonald-Mehta integral for Macdonald polynomials. In the appendix written by the first author, we prove a summation… ▽ More We establish orthogonality relations for the Baker-Akhiezer (BA) eigenfunctions of the Macdonald difference operators. We also obtain a version of Cherednik-Macdonald-Mehta integral for these functions. As a corollary, we give a simple derivation of the norm identity and Cherednik-Macdonald-Mehta integral for Macdonald polynomials. In the appendix written by the first author, we prove a summation formula for BA functions. We also consider more general identities of Cherednik type, which we use to introduce and construct more general, twisted BA functions. This leads to a construction of new quantum integrable models of Macdonald-Ruijsenaars type. △ Less

Submitted 26 February, 2013; v1 submitted 2 November, 2011; originally announced November 2011.

Comments: 49 pages, with an appendix. Changes compared to v.1: section 3 expanded with more details; deformed A_n(m) case (formerly section 7) delegated to a separate publication. Final version to appear in Advances in Math

Quasi-Invariants of Complex Reflection Groups

Authors: Yuri Berest, Oleg Chalykh

Abstract: We introduce quasi-invariant polynomials for an arbitrary finite complex reflection group W. Unlike in the Coxeter case, the space Q_k of quasi-invariants of a given multiplicity is not, in general, an algebra but a module over the coordinate ring of some (singular) affine variety X_k. We extend the main results of Etingof, Ginzburg and the first author (see [BEG]) to this setting: in particular,… ▽ More We introduce quasi-invariant polynomials for an arbitrary finite complex reflection group W. Unlike in the Coxeter case, the space Q_k of quasi-invariants of a given multiplicity is not, in general, an algebra but a module over the coordinate ring of some (singular) affine variety X_k. We extend the main results of Etingof, Ginzburg and the first author (see [BEG]) to this setting: in particular, we show that the variety X_k and the module Q_k are Cohen-Macaulay, and the rings of differential operators on X_k and Q_k are simple rings, Morita equivalent to the Weyl algebra A_n(C), where n = dim X_k . Our approach relies on representation theory of complex Cherednik algebras and is parallel to that of [BEG]. As a by-product, we prove the existence of shift operators for an arbitrary complex reflection group, confirming a conjecture of Dunkl and Opdam. Another result is a proof of a conjecture of Opdam, concerning certain operations (KZ twists) on the set of irreducible representations of W. △ Less

Submitted 12 October, 2010; v1 submitted 23 December, 2009; originally announced December 2009.

Comments: 38 pages, final version, to appear in Compositio Math

MSC Class: 16S38; 14A22; 17B45

Ideals of Rings of Differential Operators on Algebraic Curves (With an Appendix by George Wilson)

Authors: Yuri Berest, Oleg Chalykh

Abstract: Let X be a complex smooth affine irreducible curve, and let D = D(X) be the ring of global differential operators on X. In this paper, we give a geometric classification of left ideals in $ D $ and study the natural action of the Picard group of D on the space J(D) of isomorphism classes of such ideals. We recall that, up to isomorphism in the Grothendieck group K_0(D), the ideals of D are classif… ▽ More Let X be a complex smooth affine irreducible curve, and let D = D(X) be the ring of global differential operators on X. In this paper, we give a geometric classification of left ideals in $ D $ and study the natural action of the Picard group of D on the space J(D) of isomorphism classes of such ideals. We recall that, up to isomorphism in the Grothendieck group K_0(D), the ideals of D are classified by the Picard group of X: there is a natural fibration γ: J(D) \to Pic(X), whose fibres are the stable isomorphism classes of ideals of D (see \cite{BW}). In this paper, we refine this classification by describing the fibres of γin terms of finite-dimensional algebraic varieties C_n(X, I), which we call the (generalized) Calogero-Moser spaces. We define these varieties as representation varieties of deformed preprojective algebras over a certain extension of the ring of regular functions on $ X $. As in the classical case (see \cite{Wi}), we prove that C_n(X, I) are smooth affine irreducible varieties of dimension 2n. Our results generalize the description of left ideals of the first Weyl algebra A_1(C) in \cite{BW1, BW2}; however, our methods are quite different. △ Less

Submitted 12 October, 2010; v1 submitted 18 September, 2008; originally announced September 2008.

Comments: 40 pages, substantially revised version: proofs are shortened, exposition is improved, new references are added

MSC Class: 16S32; 16S38; 16G20; 14H60; 18E30

Bethe Ansatz for the Ruijsenaars Model of BC_1-Type

Authors: Oleg Chalykh

Abstract: We consider one-dimensional elliptic Ruijsenaars model of type $BC_1$. It is given by a three-term difference Schrödinger operator $L$ containing 8 coupling constants. We show that when all coupling constants are integers, $L$ has meromorphic eigenfunctions expressed by a variant of Bethe ansatz. This result generalizes the Bethe ansatz formulas known in the $A_1$-case. We consider one-dimensional elliptic Ruijsenaars model of type $BC_1$. It is given by a three-term difference Schrödinger operator $L$ containing 8 coupling constants. We show that when all coupling constants are integers, $L$ has meromorphic eigenfunctions expressed by a variant of Bethe ansatz. This result generalizes the Bethe ansatz formulas known in the $A_1$-case. △ Less

Submitted 22 February, 2007; originally announced February 2007.

Comments: This is a contribution to the Vadim Kuznetsov Memorial Issue on Integrable Systems and Related Topics, published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA/

Journal ref: SIGMA 3 (2007), 028, 9 pages

A remark on rational isochronous potentials

Authors: O. A. Chalykh, A. P. Veselov

Abstract: We consider the rational potentials of the one-dimensional mechanical systems, which have a family of periodic solutions with the same period (isochronous potentials). We prove that up to a shift and adding a constant all such potentials have the form $U(x) = 1/2 ω^2 x^2$ or $U(x) = 1/8 ω^2 x ^2 + c^2 x^{-2}.$ We consider the rational potentials of the one-dimensional mechanical systems, which have a family of periodic solutions with the same period (isochronous potentials). We prove that up to a shift and adding a constant all such potentials have the form $U(x) = 1/2 ω^2 x^2$ or $U(x) = 1/8 ω^2 x ^2 + c^2 x^{-2}.$ △ Less

Submitted 13 October, 2004; v1 submitted 23 September, 2004; originally announced September 2004.

Comments: 5 pages, contribution to a special issue of JNMP dedicated to F. Calogero, slightly revised version

MSC Class: 70H12

Locus configurations and $\vee$-systems

Authors: O. A. Chalykh, A. P. Veselov

Abstract: We present a new family of the locus configurations which is not related to $\vee$-systems thus giving the answer to one of the questions raised in \cite{V1} about the relation between the generalised quantum Calogero-Moser systems and special solutions of the generalised WDVV equations. As a by-product we have new examples of the hyperbolic equations satisfying the Huygens' principle in the nar… ▽ More We present a new family of the locus configurations which is not related to $\vee$-systems thus giving the answer to one of the questions raised in \cite{V1} about the relation between the generalised quantum Calogero-Moser systems and special solutions of the generalised WDVV equations. As a by-product we have new examples of the hyperbolic equations satisfying the Huygens' principle in the narrow Hadamard's sense. Another result is new multiparameter families of $\vee$-systems which gives new solutions of the generalised WDVV equation. △ Less

Submitted 2 May, 2001; originally announced May 2001.

Comments: 12 pages

Multidimensional Baker-Akhiezer functions and Huygens' Principle

Authors: O. A. Chalykh, M. V. Feigin, A. P. Veselov

Abstract: A notion of rational Baker-Akhiezer (BA) function related to a configuration of hyperplanes in C^n is introduced. It is proved that BA function exists only for very special configurations (locus configurations), which satisfy certain overdetermined algebraic system. The BA functions satisfy some algebraically integrable Schrodinger equations, so any locus configuration determines such an equatio… ▽ More A notion of rational Baker-Akhiezer (BA) function related to a configuration of hyperplanes in C^n is introduced. It is proved that BA function exists only for very special configurations (locus configurations), which satisfy certain overdetermined algebraic system. The BA functions satisfy some algebraically integrable Schrodinger equations, so any locus configuration determines such an equation. Some results towards the classification of all locus configurations are presented. This theory is applied to the famous Hadamard's problem of description of all hyperbolic equations satisfying Huygens' Principle. We show that in a certain class all such equations are related to locus configurations and the corresponding fundamental solutions can be constructed explicitly from the BA functions. △ Less

Submitted 9 March, 1999; originally announced March 1999.

Comments: 35 pages, LATEX, 2 figures included in graphicx. Submitted to Comm.Math.Phys. (Dec. 1998)