Showing 1–50 of 107 results for author: Tarasov, V

Positivity and universal Plücker coordinates for spaces of quasi-exponentials

Authors: Steven N. Karp, Evgeny Mukhin, Vitaly Tarasov

Abstract: A quasi-exponential is an entire function of the form $e^{cu}p(u)$, where $p(u)$ is a polynomial and $c \in \mathbb{C}$. Let $V = \langle e^{h_1u}p_1(u), \dots, e^{h_Nu}p_N(u) \rangle$ be a vector space with a basis of quasi-exponentials. We show that if $h_1, \dots, h_N$ are nonnegative and all of the complex zeros of the Wronskian $\operatorname{Wr}(V)$ are real, then $V$ is totally nonnegative… ▽ More A quasi-exponential is an entire function of the form $e^{cu}p(u)$, where $p(u)$ is a polynomial and $c \in \mathbb{C}$. Let $V = \langle e^{h_1u}p_1(u), \dots, e^{h_Nu}p_N(u) \rangle$ be a vector space with a basis of quasi-exponentials. We show that if $h_1, \dots, h_N$ are nonnegative and all of the complex zeros of the Wronskian $\operatorname{Wr}(V)$ are real, then $V$ is totally nonnegative in the sense that all of its Grassmann-Plücker coordinates defined by the Taylor expansion about $u=t$ are nonnegative, for any real $t$ greater than all of the zeros of $\operatorname{Wr}(V)$. Our proof proceeds by showing that the higher Gaudin Hamiltonians $T_λ^G(t)$ introduced in [ALTZ14] are universal Plücker coordinates about $u=t$ for the Wronski map on spaces of quasi-exponentials. The result that $V$ is totally nonnegative follows from the fact that $T_λ^G(t)$ is positive semidefinite, which we establish using partial traces. We also show that if $h_1 = \cdots = h_N = 0$ then $T_λ^G(t)$ equals $β^λ(t)$, which is the universal Plücker coordinate for the Wronski map on spaces of polynomials introduced in [KP23]. △ Less

Submitted 24 May, 2024; originally announced May 2024.

Comments: 24 pages

MSC Class: 82B23; 15B48; 05E05; 14M15; 30C15

New combinatorial formulae for nested Bethe vectors II

Authors: M. Kosmakov, V. Tarasov

Abstract: We give new combinatorial formulae for vector-valued weight functions (off-shell nested Bethe vectors) for the evaluation modules over the Yangian Y(gl_n). This paper extends the result for the Yangian Y(gl_4) established earlier in arXiv:2312.00980. We give new combinatorial formulae for vector-valued weight functions (off-shell nested Bethe vectors) for the evaluation modules over the Yangian Y(gl_n). This paper extends the result for the Yangian Y(gl_4) established earlier in arXiv:2312.00980. △ Less

Submitted 6 January, 2025; v1 submitted 23 February, 2024; originally announced February 2024.

Comments: LaTeX, 16 pages

New combinatorial formulae for nested Bethe vectors

Authors: M. Kosmakov, V. Tarasov

Abstract: We give new combinatorial formulae for vector-valued weight functions (off-shell nested Bethe vectors) for the evaluation modules over the Yangian Y (gl_4). The case of Y (gl_n) for an arbitrary n is considered in the forthcoming paper [KT]. We give new combinatorial formulae for vector-valued weight functions (off-shell nested Bethe vectors) for the evaluation modules over the Yangian Y (gl_4). The case of Y (gl_n) for an arbitrary n is considered in the forthcoming paper [KT]. △ Less

Submitted 6 January, 2025; v1 submitted 1 December, 2023; originally announced December 2023.

Comments: LaTeX, 27 pages

Hypergeometric integrals, hook formulas and Whittaker vectors

Authors: G. Felder, A. Smirnov, V. Tarasov, A. Varchenko

Abstract: We determine the coefficient of proportionality between two multidimensional hypergeometric integrals. One of them is a solution of the dynamical difference equations associated with a Young diagram and the other is the vertex integral associated with the Young diagram. The coefficient of proportionality is the inverse of the product of weighted hooks of the Young diagram. It turns out that this p… ▽ More We determine the coefficient of proportionality between two multidimensional hypergeometric integrals. One of them is a solution of the dynamical difference equations associated with a Young diagram and the other is the vertex integral associated with the Young diagram. The coefficient of proportionality is the inverse of the product of weighted hooks of the Young diagram. It turns out that this problem is closely related to the question of describing the action of the center of the universal enveloping algebra of $\mathfrak{gl}_n$ on the space of Whittaker vectors in the tensor product of dual Verma modules with fundamental modules, for which we give an explicit basis of simultaneous eigenvectors. △ Less

Submitted 9 August, 2023; originally announced August 2023.

Comments: Latex, 15 pages

Monodromy of the equivariant quantum differential equation of the cotangent bundle of a Grassmannian

Authors: Vitaly Tarasov, Alexander Varchenko

Abstract: We describe the monodromy of the equivariant quantum differential equation of the cotangent bundle of a Grassmannian in terms of the equivariant K-theory algebra of the cotangent bundle. This description is based on the hypergeometric integral representations for solutions of the equivariant quantum differential equation. We identify the space of solutions with the space of the equivariant K-theor… ▽ More We describe the monodromy of the equivariant quantum differential equation of the cotangent bundle of a Grassmannian in terms of the equivariant K-theory algebra of the cotangent bundle. This description is based on the hypergeometric integral representations for solutions of the equivariant quantum differential equation. We identify the space of solutions with the space of the equivariant K-theory algebra of the cotangent bundle. In particular, we show that for any element of the monodromy group, all entries of its matrix in the standard basis of the equivariant K-theory algebra of the cotangent bundle are Laurent polynomials with integer coefficients in the exponentiated equivariant parameters. △ Less

Submitted 17 December, 2022; originally announced December 2022.

Comments: Latex 29 pages

MSC Class: 14N35; 53D45; 14D05; 33C70

Landau-Ginzburg mirror, quantum differential equations and qKZ difference equations for a partial flag variety

Authors: Vitaly Tarasov, Alexander Varchenko

Abstract: We consider the system of quantum differential equations for a partial flag variety and construct a basis of solutions in the form of multidimensional hypergeometric functions, that is, we construct a Landau-Ginzburg mirror for that partial flag variety. In our construction, the solutions are labeled by elements of the $K$-theory algebra of the partial flag variety. To establish these facts we c… ▽ More We consider the system of quantum differential equations for a partial flag variety and construct a basis of solutions in the form of multidimensional hypergeometric functions, that is, we construct a Landau-Ginzburg mirror for that partial flag variety. In our construction, the solutions are labeled by elements of the $K$-theory algebra of the partial flag variety. To establish these facts we consider the equivariant quantum differential equations for a partial flag variety and introduce a compatible system of difference equations, which we call the qKZ equations. We construct a basis of solutions of the joint system of the equivariant quantum differential equations and qKZ difference equations in the form of multidimensional hypergeometric functions. Then the facts about the non-equivariant quantum differential equations are obtained from the facts about the equivariant quantum differential equations by a suitable limit. Analyzing these constructions we obtain a formula for the fundamental Levelt solution of the quantum differential equations for a partial flag variety. △ Less

Submitted 4 March, 2023; v1 submitted 6 March, 2022; originally announced March 2022.

Comments: Latex, 78 pages; v.2: added Appendix E on polynomiality of solutions, v.3: a misprint in the formula for R^\circ(u) in Section 3.1 is corrected

MSC Class: 14N35; 53D45; 14D05; 33C70

General fractional calculus: Multi-kernel approach

Authors: Vasily E. Tarasov

Abstract: For the first time, a general fractional calculus of arbitrary order was proposed by Yuri Luchko in the works Mathematics 9(6) (2021) 594 and Symmetry 13(5) (2021) 755. In these works, the proposed approaches to formulate this calculus are based either on the power of one Sonine kernel, or the convolution of one Sonine kernel with the kernels of the integer-order integrals. To apply general fracti… ▽ More For the first time, a general fractional calculus of arbitrary order was proposed by Yuri Luchko in the works Mathematics 9(6) (2021) 594 and Symmetry 13(5) (2021) 755. In these works, the proposed approaches to formulate this calculus are based either on the power of one Sonine kernel, or the convolution of one Sonine kernel with the kernels of the integer-order integrals. To apply general fractional calculus, it is useful to have a wider range of operators, for example, by using the Laplace convolution of different types of kernels. In this paper, an extended formulation of the general fractional calculus of arbitrary order is proposed. Extension is achieved by using different types (subsets) of pairs of operator kernels in definitions general fractional integrals and derivatives. For this, the definition of the Luchko pair of kernels is somewhat broadened, which leads to the symmetry of the definition of the Luchko pair. The proposed set of kernel pairs are subsets of the Luchko set of kernel pairs. The fundamental theorems for the proposed general fractional derivatives and integrals are proved. △ Less

Submitted 26 October, 2021; originally announced November 2021.

Comments: 12 pages, pdf

MSC Class: 26A33; 26B30; 44A10; 45E10

Journal ref: Mathematics. 2021. Vol.9. No.13. Article ID: 1501

General Fractional Vector Calculus

Authors: Vasily E. Tarasov

Abstract: A generalization of fractional vector calculus as a self-consistent mathematical theory is proposed to take into account a general form of non-locality in kernels of fractional vector differential and integral operators. Self-consistency involves proving generalizations of all fundamental theorems of vector calculus for generalized kernels of operators. In the generalization of FVC from power-law… ▽ More A generalization of fractional vector calculus as a self-consistent mathematical theory is proposed to take into account a general form of non-locality in kernels of fractional vector differential and integral operators. Self-consistency involves proving generalizations of all fundamental theorems of vector calculus for generalized kernels of operators. In the generalization of FVC from power-law nonlocality to the general form of nonlocality in space, we use the general fractional calculus in the Luchko approach. This paper proposed the following: (1) Self-consistent definitions of general fractional differential vector operators: the regional and line general fractional gradients, the regional and surface general fractional curl operators, the general fractional divergence are proposed. (2) Self-consistent definitions of general fractional integral vector operators: the general fractional circulation, general fractional flux and general fractional volume integral are proposed. (3) The general fractional gradient, Green, Stokes and Gauss theorems as fundamental theorems of general fractional vector calculus are proved for simple and complex regions. The fundamental theorems (Gradient, Green, Stokes, Gauss theorems) of the proposed general FVC are proved for a wider class of domains, surfaces and curves. Therefore we can state that we proposed a calculus, which is a general fractional vector calculus. The difficulties and problems of defining general fractional integral and differential vector operators are discussed to the nonlocal case, caused by the violation of standard product (Leibniz) rule, chain rule, and semigroup property. General FVC for orthogonal curvilinear coordinates, which includes general fractional vector operators for the spherical and cylindrical coordinates, is also proposed. △ Less

Submitted 4 November, 2021; originally announced November 2021.

Comments: 94 pages

MSC Class: 26A33

Journal ref: Mathematics. 2021. Vol.9. No.21/ Article number: 2816

Trends, Directions for Further Research, and Some Open Problems of Fractional Calculus

Authors: Kai Diethelm, Virginia Kiryakova, Yuri Luchko, J. A. Tenreiro Machado, Vasily E. Tarasov

Abstract: The area of fractional calculus (FC) has been fast developing and is presently being applied in all scientific fields. Therefore, it is of key relevance to assess the present state of development and to foresee, if possible, the future evolution, or, at least, the challenges identified in the scope of advanced research works. This paper gives a vision about the directions for further research as w… ▽ More The area of fractional calculus (FC) has been fast developing and is presently being applied in all scientific fields. Therefore, it is of key relevance to assess the present state of development and to foresee, if possible, the future evolution, or, at least, the challenges identified in the scope of advanced research works. This paper gives a vision about the directions for further research as well as some open problems of FC. A number of topics in mathematics, numerical algorithms and physics are analyzed, giving a systematic perspective for future research. △ Less

Submitted 9 August, 2021; originally announced August 2021.

Comments: 3 figures

MSC Class: 26A33; 34A08; 82C41; 91B55

Journal ref: Nonlinear Dynamics (2022)

Duality for Bethe algebras acting on polynomials in anticommuting variables

Authors: V. Tarasov, F. Uvarov

Abstract: We consider actions of the current Lie algebras $\mathfrak{gl}_{n}[t]$ and $\mathfrak{gl}_{k}[t]$ on the space of polynomials in $kn$ anticommuting variables. The actions depend on parameters $\bar{z}=(z_{1}\dots z_{k})$ and $\barα=(α_{1}\dots α_{n})$, respectively. We show that the images of the Bethe algebras $\mathcal{B}_{\barα}^{\langle n \rangle}\subset U(\mathfrak{gl}_{n}[t])$ and… ▽ More We consider actions of the current Lie algebras $\mathfrak{gl}_{n}[t]$ and $\mathfrak{gl}_{k}[t]$ on the space of polynomials in $kn$ anticommuting variables. The actions depend on parameters $\bar{z}=(z_{1}\dots z_{k})$ and $\barα=(α_{1}\dots α_{n})$, respectively. We show that the images of the Bethe algebras $\mathcal{B}_{\barα}^{\langle n \rangle}\subset U(\mathfrak{gl}_{n}[t])$ and $\mathcal{B}_{\bar{z}}^{\langle k \rangle}\subset U(\mathfrak{gl}_{k}[t])$ under these actions coincide. To prove the statement, we use the Bethe ansatz description of eigenvalues of the actions of the Bethe algebras via spaces of quasi-exponentials and establish an explicit correspondence between these spaces for the actions of $\mathcal{B}_{\barα}^{\langle n \rangle}$ and $\mathcal{B}_{\bar{z}}^{\langle k \rangle}$. △ Less

Submitted 21 February, 2020; v1 submitted 3 July, 2019; originally announced July 2019.

Comments: 21 page, 1 figure

Duality for Knizhnik-Zamolodchikov and Dynamical Operators

Authors: Vitaly Tarasov, Filipp Uvarov

Abstract: We consider the Knizhnik-Zamolodchikov and dynamical operators, both differential and difference, in the context of the $(\mathfrak{gl}_{k}, \mathfrak{gl}_{n})$-duality for the space of polynomials in $kn$ anticommuting variables. We show that the Knizhnik-Zamolodchikov and dynamical operators naturally exchange under the duality. We consider the Knizhnik-Zamolodchikov and dynamical operators, both differential and difference, in the context of the $(\mathfrak{gl}_{k}, \mathfrak{gl}_{n})$-duality for the space of polynomials in $kn$ anticommuting variables. We show that the Knizhnik-Zamolodchikov and dynamical operators naturally exchange under the duality. △ Less

Submitted 25 April, 2020; v1 submitted 15 April, 2019; originally announced April 2019.

Journal ref: SIGMA 16 (2020), 035, 10 pages

Equivariant quantum differential equation, Stokes bases, and K-theory for a projective space

Authors: Vitaly Tarasov, Alexander Varchenko

Abstract: We consider the equivariant quantum differential equation for the projective space $P^{n-1}$. We prove an equivariant gamma theorem for $P^{n-1}$, which describes the asymptotics of the differential equation at its regular singular point in terms of the equivariant characteristic gamma class of the tangent bundle of $P^{n-1}$. We describe the Stokes bases of the differential equation at its irregu… ▽ More We consider the equivariant quantum differential equation for the projective space $P^{n-1}$. We prove an equivariant gamma theorem for $P^{n-1}$, which describes the asymptotics of the differential equation at its regular singular point in terms of the equivariant characteristic gamma class of the tangent bundle of $P^{n-1}$. We describe the Stokes bases of the differential equation at its irregular singular point in terms of the exceptional bases of the equivariant K-theory algebra of $P^{n-1}$ and a suitable braid group action on the set of exceptional bases. Our results are an equivariant version of the well-know results of B. Dubrovin and D. Guzzetti. △ Less

Submitted 9 January, 2019; originally announced January 2019.

Comments: Latex, 19 pages

No Nonlocality. No Fractional Derivative

Authors: Vasily E. Tarasov

Abstract: The paper discusses the characteristic properties of fractional derivatives of non-integer order. It is known that derivatives of integer orders are determined by properties of differentiable functions only in an infinitely small neighborhood of the considered point. Therefore differential equation, which is considered for this point and contains a finite number of integer-order derivatives, canno… ▽ More The paper discusses the characteristic properties of fractional derivatives of non-integer order. It is known that derivatives of integer orders are determined by properties of differentiable functions only in an infinitely small neighborhood of the considered point. Therefore differential equation, which is considered for this point and contains a finite number of integer-order derivatives, cannot describe nonlocality in space and time. This allows us to propose a principle of nonlocality for fractional derivatives. We state that if the differential equation with fractional derivative can be presented as a differential equation with a finite number of integer-order derivatives, then this fractional derivative cannot be considered as a derivative of non-integer order. This means that all results obtained for this type of fractional derivatives can be derived by using differential operators with integer orders. To illustrate the application of the nonlocality principle, we prove that the conformable fractional derivative, the M-fractional derivative, the alternative fractional derivative, the local fractional derivative and the Caputo-Fabrizio fractional derivatives with exponential kernels cannot be considered as fractional derivatives of non-integer orders. △ Less

Submitted 2 March, 2018; originally announced March 2018.

Comments: 10 pages

MSC Class: 26A33; 34A08

Journal ref: Communications in Nonlinear Science and Numerical Simulation. 2018. Vol.62. P.157-163

Fuchsian Equations with Three Non-Apparent Singularities

Authors: Alexandre Eremenko, Vitaly Tarasov

Abstract: We show that for every second order Fuchsian linear differential equation $E$ with $n$ singularities of which $n-3$ are apparent there exists a hypergeometric equation $H$ and a linear differential operator with polynomial coefficients which maps the space of solutions of $H$ into the space of solutions of $E$. This map is surjective for generic parameters. This justifies one statement of Klein (1… ▽ More We show that for every second order Fuchsian linear differential equation $E$ with $n$ singularities of which $n-3$ are apparent there exists a hypergeometric equation $H$ and a linear differential operator with polynomial coefficients which maps the space of solutions of $H$ into the space of solutions of $E$. This map is surjective for generic parameters. This justifies one statement of Klein (1905). We also count the number of such equations $E$ with prescribed singularities and exponents. We apply these results to the description of conformal metrics of curvature $1$ on the punctured sphere with conic singularities, all but three of them having integer angles. △ Less

Submitted 15 June, 2018; v1 submitted 25 January, 2018; originally announced January 2018.

MSC Class: 34M03; 34M35; 57M50

Journal ref: SIGMA 14 (2018), 058, 12 pages

Economic interpretation of fractional derivatives

Authors: Valentina V. Tarasova, Vasily E. Tarasov

Abstract: An economic interpretation of the Caputo derivatives of non-integer orders is proposed. The suggested economic interpretation of the fractional derivatives is based on a generalization of average and marginal values of economic indicators. We formulate an economic interpretation by using the concept of the T-indicator that allows us to describe economic processes with memory. The standard average… ▽ More An economic interpretation of the Caputo derivatives of non-integer orders is proposed. The suggested economic interpretation of the fractional derivatives is based on a generalization of average and marginal values of economic indicators. We formulate an economic interpretation by using the concept of the T-indicator that allows us to describe economic processes with memory. The standard average and marginal values of indicator are special cases of the proposed T-indicator, when the order is equal to zero and one, respectively. The fractional derivatives are interpreted as economic characteristics (indicators) that are intermediate between the standard average and marginal values of indicators. △ Less

Submitted 27 December, 2017; originally announced December 2017.

Comments: 10 pages, 2 figures, LaTeX

MSC Class: 26A33; 91B02

Journal ref: Progress in Fractional Differentiation and Applications. 2017. Vol.3. No.1. P.1-7

$q$-Hypergeometric solutions of quantum differential equations, quantum Pieri rules, and Gamma theorem

Authors: Vitaly Tarasov, Alexander Varchenko

Abstract: We describe \,$q$-hypergeometric solutions of the equivariant quantum differential equations and associated qKZ difference equations for the cotangent bundle $T^*F_λ$ of a partial flag variety \,$F_λ$\,. These \,$q$-hypergeometric solutions manifest a Landau-Ginzburg mirror symmetry for the cotangent bundle. We formulate and prove Pieri rules for quantum equivariant cohomology of the cotangent bun… ▽ More We describe \,$q$-hypergeometric solutions of the equivariant quantum differential equations and associated qKZ difference equations for the cotangent bundle $T^*F_λ$ of a partial flag variety \,$F_λ$\,. These \,$q$-hypergeometric solutions manifest a Landau-Ginzburg mirror symmetry for the cotangent bundle. We formulate and prove Pieri rules for quantum equivariant cohomology of the cotangent bundle. Our Gamma theorem for \,$T^*F_λ$ \,says that the leading term of the asymptotics of the \,$q$-hypergeometric solutions can be written as the equivariant Gamma class of the tangent bundle of $T^*F_λ$ multiplied by the exponentials of the equivariant first Chern classes of the associated vector bundles. That statement is analogous to the statement of the gamma conjecture by B.\,Dubrovin and by S.\,Galkin, V.\,Golyshev, and H.\,Iritani, see also the Gamma theorem for \,$F_λ$ \,in Appendix B. △ Less

Submitted 16 August, 2018; v1 submitted 9 October, 2017; originally announced October 2017.

Comments: Latex, 47 pages; v3: title extended, appendix on the gamma theorem for $T^*F_λ$ added; v4: new Section 11 and new Appendix A added, equivariant Gamma theorem for $F_\bla$ added

Elliptic and K-theoretic stable envelopes and Newton polytopes

Authors: R. Rimányi, V. Tarasov, A. Varchenko

Abstract: In this paper we consider the cotangent bundles of partial flag varieties. We construct the $K$-theoretic stable envelopes for them and also define a version of the elliptic stable envelopes. We expect that our elliptic stable envelopes coincide with the elliptic stable envelopes defined by M. Aganagic and A. Okounkov. We give formulas for the $K$-theoretic stable envelopes and our elliptic stable… ▽ More In this paper we consider the cotangent bundles of partial flag varieties. We construct the $K$-theoretic stable envelopes for them and also define a version of the elliptic stable envelopes. We expect that our elliptic stable envelopes coincide with the elliptic stable envelopes defined by M. Aganagic and A. Okounkov. We give formulas for the $K$-theoretic stable envelopes and our elliptic stable envelopes. We show that the $K$-theoretic stable envelopes are suitable limits of our elliptic stable envelopes. That phenomenon was predicted by M. Aganagic and A. Okounkov. Our stable envelopes are constructed in terms of the elliptic and trigonometric weight functions which originally appeared in the theory of integral representations of solutions of qKZ equations twenty years ago. (More precisely, the elliptic weight functions had appeared earlier only for the $\frak{gl}_2$ case.) We prove new properties of the trigonometric weight functions. Namely, we consider certain evaluations of the trigonometric weight functions, which are multivariable Laurent polynomials, and show that the Newton polytopes of the evaluations are embedded in the Newton polytopes of the corresponding diagonal evaluations. That property implies the fact that the trigonometric weight functions project to the $K$-theoretic stable envelopes. △ Less

Submitted 28 June, 2018; v1 submitted 25 May, 2017; originally announced May 2017.

Comments: Latex, 37 pages; v.2: Appendix and Figure 1 added; v.3: missing shift in Theorem 2.9 added and a proof of Theorem 2.9 added

Local Fractional Derivatives of Differentiable Functions are Integer-order Derivatives or Zero

Authors: Vasily E. Tarasov

Abstract: In this paper we prove that local fractional derivatives of differentiable functions are integer-order derivative or zero operator. We demonstrate that the local fractional derivatives are limits of the left-sided Caputo fractional derivatives. The Caputo derivative of fractional order alpha of function f(x) is defined as a fractional integration of order (n-alpha) of the derivative f^(n)(x) of in… ▽ More In this paper we prove that local fractional derivatives of differentiable functions are integer-order derivative or zero operator. We demonstrate that the local fractional derivatives are limits of the left-sided Caputo fractional derivatives. The Caputo derivative of fractional order alpha of function f(x) is defined as a fractional integration of order (n-alpha) of the derivative f^(n)(x) of integer order n. The requirement of the existence of integer-order derivatives allows us to conclude that the local fractional derivative cannot be considered as the best method to describe nowhere differentiable functions and fractal objects. We also prove that unviolated Leibniz rule cannot hold for derivatives of orders alpha, which are not equal to one. △ Less

Submitted 24 January, 2018; v1 submitted 23 January, 2017; originally announced January 2017.

Comments: LaTeX, 9 pages

MSC Class: 26A33

Journal ref: International Journal of Applied and Computational Mathematics. 2016. Vol.2. No.2. P.195-201

Bethe subalgebras in affine Birman--Murakami--Wenzl algebras and flat connections for q-KZ equations

Authors: A. P. Isaev, A. N. Kirillov, V. O. Tarasov

Abstract: Commutative sets of Jucys-Murphyelements for affine braid groups of $A^{(1)},B^{(1)},C^{(1)},D^{(1)}$ types were defined. Construction of $R$-matrix representations of the affine braid group of type $C^{(1)}$ and its distinguish commutative subgroup generated by the $C^{(1)}$-type Jucys--Murphy elements are given. We describe a general method to produce flat connections for the two-boundary quantu… ▽ More Commutative sets of Jucys-Murphyelements for affine braid groups of $A^{(1)},B^{(1)},C^{(1)},D^{(1)}$ types were defined. Construction of $R$-matrix representations of the affine braid group of type $C^{(1)}$ and its distinguish commutative subgroup generated by the $C^{(1)}$-type Jucys--Murphy elements are given. We describe a general method to produce flat connections for the two-boundary quantum Knizhnik-Zamolodchikov equations as necessary conditions for Sklyanin's type transfer matrix associated with the two-boundary multicomponent Zamolodchikov algebra to be invariant under the action of the $C^{(1)}$-type Jucys--Murphy elements. We specify our general construction to the case of the Birman--Murakami--Wenzl algebras. As an application we suggest a baxterization of the Dunkl--Cherednik elements $Y's$ in the double affine Hecke algebra of type $A$. △ Less

Submitted 17 February, 2016; v1 submitted 19 October, 2015; originally announced October 2015.

Report number: Preprint RIMS-1836

Spherical quadrilaterals with three non-integer angles

Authors: Alexandre Eremenko, Andrei Gabrielov, Vitaly Tarasov

Abstract: We classify spherical quadrilaterals up to isometry in the case when one inner angle is a multiple of pi while the other three are not. This is equivalent to classification of Heun's equations with real parameters and one apparent singularity such that the monodromy consists of unitary transformations. We classify spherical quadrilaterals up to isometry in the case when one inner angle is a multiple of pi while the other three are not. This is equivalent to classification of Heun's equations with real parameters and one apparent singularity such that the monodromy consists of unitary transformations. △ Less

Submitted 11 April, 2015; originally announced April 2015.

Comments: 38 pages, 16 figures. arXiv admin note: text overlap with arXiv:1409.1529

MSC Class: 30C20; 34M03

Journal ref: Journal of Math. Phys. Analysis and Geometry, 12 (2016) 2, 134-167

Fractional-order Variational Derivative

Authors: Vasily E. Tarasov

Abstract: We consider some possible approaches to the fractional-order generalization of definition of variation (functional) derivative. Some problems of formulation of a fractional-order variational derivative are discussed. To give a consistent definition of the fractional-order variations, we use a fractional generalization of Gateaux differential. We consider some possible approaches to the fractional-order generalization of definition of variation (functional) derivative. Some problems of formulation of a fractional-order variational derivative are discussed. To give a consistent definition of the fractional-order variations, we use a fractional generalization of Gateaux differential. △ Less

Submitted 22 February, 2015; originally announced February 2015.

Comments: 23 pages, LaTeX

MSC Class: 26A33; 49S05

Journal ref: International Journal of Applied Mathematics. Vol.27. No.5. (2014) 491-518

Trigonometric weight functions as K-theoretic stable envelope maps for the cotangent bundle of a flag variety

Authors: R. Rimanyi, V. Tarasov, A. Varchenko

Abstract: We consider the cotangent bundle $T^*F_λ$ of a $GL_n$ partial flag variety, $λ=(λ_1,...,λ_N)$, $|λ|=\sum_iλ_i=n$, and the torus $T=(\C^\times)^{n+1}$ equivariant K-theory algebra $K_T(T^*F_λ)$. We introduce K-theoretic stable envelope maps $\Stab_σ: \oplus_{|λ|=n} K_T((T^*F_λ)^T)\to\oplus_{|λ|=n}K_T(T^*F_λ)$, where $σ\in S_n$. Using these maps we define a quantum loop algebra action on… ▽ More We consider the cotangent bundle $T^*F_λ$ of a $GL_n$ partial flag variety, $λ=(λ_1,...,λ_N)$, $|λ|=\sum_iλ_i=n$, and the torus $T=(\C^\times)^{n+1}$ equivariant K-theory algebra $K_T(T^*F_λ)$. We introduce K-theoretic stable envelope maps $\Stab_σ: \oplus_{|λ|=n} K_T((T^*F_λ)^T)\to\oplus_{|λ|=n}K_T(T^*F_λ)$, where $σ\in S_n$. Using these maps we define a quantum loop algebra action on $\oplus_{|λ|=n}K_T(T^*F_λ)$. We describe the associated Bethe algebra $B^q(K_T(T^*F_λ))$ by generators and relations in terms of a discrete Wronski map. We prove that the limiting Bethe algebra $B^q(K_T(T^*F_λ))$, called the Gelfand-Zetlin algebra, coincides with the algebra of multiplication operators of the algebra $K_T(T^*F_λ)$. We conjecture that the Bethe algebra $B^q(K_T(T^*F_λ))$ coincides with the algebra of quantum multiplication on $K_T(T^*F_λ)$ introduced by Givental and Lee. The stable envelope maps are defined with the help of Newton polygons of Laurent polynomials representing elements of $K_T(T^*F_λ)$ and with the help of the trigonometric weight functions introduced in [TV1, TV3] to construct q-hypergeometric solutions of trigonometric qKZ equations. The paper has five appendices. In particular, in Appendix 5 we describe the Bethe algebra of the XXZ model by generators and relations. △ Less

Submitted 25 November, 2014; v1 submitted 3 November, 2014; originally announced November 2014.

Comments: Latex, 56 pages, in the new Appendix 5 the Bethe algebra of the XXZ model is described by generators and relations

Metrics with four conic singularities and spherical quadrilaterals

Authors: Alexandre Eremenko, Andrei Gabrielov, Vitaly Tarasov

Abstract: A spherical quadrilateral is a bordered surface homeomorphic to a closed disk, with four distinguished boundary points called corners, equipped with a Riemannian metric of constant curvature 1, except at the corners, and such that the boundary arcs between the corners are geodesic. We discuss the problem of classification of these quadrilaterals and perform the classification up to isometry in the… ▽ More A spherical quadrilateral is a bordered surface homeomorphic to a closed disk, with four distinguished boundary points called corners, equipped with a Riemannian metric of constant curvature 1, except at the corners, and such that the boundary arcs between the corners are geodesic. We discuss the problem of classification of these quadrilaterals and perform the classification up to isometry in the case that two angles at the corners are multiples of pi. The problem is equivalent to classification of Heun's equations with real parameters and unitary monodromy. △ Less

Submitted 4 September, 2014; originally announced September 2014.

Comments: 68 pges, 25 figures

MSC Class: 34M20; 30C20

Journal ref: Conformal geometry and Dynamics, 20 (2016) 128--175

Metrics with conic singularities and spherical polygons

Authors: Alexandre Eremenko, Andrei Gabrielov, Vitaly Tarasov

Abstract: A spherical n-gon is a bordered surface homeomorphic to a closed disk, with n distinguished boundary points called corners, equipped with a Riemannian metric of constant curvature 1, except at the corners, and such that the boundary arcs between the corners are geodesic. We discuss the problem of classification of these polygons and enumerate them in the case that two angles at the corners are not… ▽ More A spherical n-gon is a bordered surface homeomorphic to a closed disk, with n distinguished boundary points called corners, equipped with a Riemannian metric of constant curvature 1, except at the corners, and such that the boundary arcs between the corners are geodesic. We discuss the problem of classification of these polygons and enumerate them in the case that two angles at the corners are not multiples of pi. The problem is equivalent to classification of some second order linear differential equations with regular singularities, with real parameters and unitary monodromy. △ Less

Submitted 7 May, 2014; originally announced May 2014.

Comments: 21 pages

MSC Class: 2010: 30C20; 34M03

Journal ref: Illinois J. Math, 58, 3 (2014) 739-755

Lower bounds for numbers of real solutions in problems of Schubert calculus

Authors: E. Mukhin, V. Tarasov

Abstract: We give lower bounds for the numbers of real solutions in problems appearing in Schubert calculus in the Grassmannian Gr(n,d) related to osculating flags. It is known that such solutions are related to Bethe vectors in the Gaudin model associated to gl(n). The Gaudin Hamiltonians are selfadjoint with respect to a nondegenerate indefinite Hermitian form. Our bound comes from the computation of the… ▽ More We give lower bounds for the numbers of real solutions in problems appearing in Schubert calculus in the Grassmannian Gr(n,d) related to osculating flags. It is known that such solutions are related to Bethe vectors in the Gaudin model associated to gl(n). The Gaudin Hamiltonians are selfadjoint with respect to a nondegenerate indefinite Hermitian form. Our bound comes from the computation of the signature of that form. △ Less

Submitted 28 April, 2014; originally announced April 2014.

Comments: Latex, 13 pages

No Violation of the Leibniz Rule. No Fractional Derivative

Authors: Vasily E. Tarasov

Abstract: We demonstrate that a violation of the Leibniz rule is a characteristic property of derivatives of non-integer orders. We prove that all fractional derivatives D^a, which satisfy the Leibniz rule D^(fg)=(D^a f) g + f (D^a g), should have the integer order a=1, i.e. fractional derivatives of non-integer orders cannot satisfy the Leibniz rule. We demonstrate that a violation of the Leibniz rule is a characteristic property of derivatives of non-integer orders. We prove that all fractional derivatives D^a, which satisfy the Leibniz rule D^(fg)=(D^a f) g + f (D^a g), should have the integer order a=1, i.e. fractional derivatives of non-integer orders cannot satisfy the Leibniz rule. △ Less

Submitted 28 February, 2014; originally announced February 2014.

Comments: 6 pages

Journal ref: Communications in Nonlinear Science and Numerical Simulation. Vol.18. No.11. (2013) 2945-2948

Spaces of quasi-exponentials and representations of the Yangian Y(gl_N)

Authors: E. Mukhin, V. Tarasov, A. Varchenko

Abstract: We consider a tensor product $V(b)= \otimes_{i=1}^n\C^N(b_i)$ of the Yangian $Y(gl_N)$ evaluation vector representations. We consider the action of the commutative Bethe subalgebra $B^q \subset Y(gl_N)$ on a $gl_N$-weight subspace $V(b)_λ\subset V(b)$ of weight $λ$. Here the Bethe algebra depends on the parameters $q=(q_1,...,q_N)$. We identify the $B^q$-module $V(b)_λ$ with the regular representa… ▽ More We consider a tensor product $V(b)= \otimes_{i=1}^n\C^N(b_i)$ of the Yangian $Y(gl_N)$ evaluation vector representations. We consider the action of the commutative Bethe subalgebra $B^q \subset Y(gl_N)$ on a $gl_N$-weight subspace $V(b)_λ\subset V(b)$ of weight $λ$. Here the Bethe algebra depends on the parameters $q=(q_1,...,q_N)$. We identify the $B^q$-module $V(b)_λ$ with the regular representation of the algebra of functions on a fiber of a suitable discrete Wronski map. If $q=(1,...,1)$, we study the action of $B^{q=1}$ on a space $V(b)^{sing}_λ$ of singular vectors of a certain weight. Again, we identify the $B^{q=1}$-module $V(b)^{sing}_λ$ with the regular representation of the algebra of functions on a fiber of another suitable discrete Wronski map. These results we announced earlier in relation with a description of the quantum equivariant cohomology of the cotangent bundle of a partial flag variety and a description of commutative subalgebras of the group algebra of a symmetric group. △ Less

Submitted 16 March, 2013; v1 submitted 6 March, 2013; originally announced March 2013.

Comments: Latex, 23 pages, misprints corrected

Hypergeometric solutions of the quantum differential equation of the cotangent bundle of a partial flag variety

Authors: V. Tarasov, A. Varchenko

Abstract: We describe hypergeometric solutions of the quantum differential equation of the cotangent bundle of a gl_n partial flag variety. These hypergeometric solutions manifest the Landau-Ginzburg mirror symmetry for the cotangent bundle of a partial flag variety. We describe hypergeometric solutions of the quantum differential equation of the cotangent bundle of a gl_n partial flag variety. These hypergeometric solutions manifest the Landau-Ginzburg mirror symmetry for the cotangent bundle of a partial flag variety. △ Less

Submitted 12 January, 2013; originally announced January 2013.

Comments: Latex, 19 pages. arXiv admin note: text overlap with arXiv:1212.6240

Partial flag varieties, stable envelopes and weight functions

Authors: R. Rimanyi, V. Tarasov, A. Varchenko

Abstract: We consider the cotangent bundle T^*F_λof a GL_n partial flag variety, λ= (λ_1,...,λ_N), |λ|=\sum_iλ_i=n, and the torus T=(C^*)^{n+1} equivariant cohomology H^*_T(T^*F_λ). In [MO], a Yangian module structure was introduced on \oplus_{|λ|=n} H^*_T(T^*F_λ). We identify this Yangian module structure with the Yangian module structure introduced in [GRTV]. This identifies the operators of quantum multi… ▽ More We consider the cotangent bundle T^*F_λof a GL_n partial flag variety, λ= (λ_1,...,λ_N), |λ|=\sum_iλ_i=n, and the torus T=(C^*)^{n+1} equivariant cohomology H^*_T(T^*F_λ). In [MO], a Yangian module structure was introduced on \oplus_{|λ|=n} H^*_T(T^*F_λ). We identify this Yangian module structure with the Yangian module structure introduced in [GRTV]. This identifies the operators of quantum multiplication by divisors on H^*_T(T^*F_λ), described in [MO], with the action of the dynamical Hamiltonians from [TV2, MTV1, GRTV]. To construct these identifications we provide a formula for the stable envelope maps, associated with the partial flag varieties and introduced in [MO]. The formula is in terms of the Yangian weight functions introduced in [TV1], c.f. [TV3, TV4], in order to construct q-hypergeometric solutions of qKZ equations. △ Less

Submitted 12 January, 2013; v1 submitted 26 December, 2012; originally announced December 2012.

Comments: Latex, 22 pages, misprints corrected, Section 7.4 edited

XXZ-type Bethe ansatz equations and quasi-polynomials

Authors: J. R. Li, V. Tarasov

Abstract: We study solutions of the Bethe ansatz equation for the XXZ-type integrable model associated with the Lie algebra sl_N. We give a correspondence between solutions of the Bethe ansatz equations and collections of quasi-polynomials. This extends the results of E.Mukhin and A.Varchenko for the XXX-type model and the trigonometric Gaudin model. We study solutions of the Bethe ansatz equation for the XXZ-type integrable model associated with the Lie algebra sl_N. We give a correspondence between solutions of the Bethe ansatz equations and collections of quasi-polynomials. This extends the results of E.Mukhin and A.Varchenko for the XXX-type model and the trigonometric Gaudin model. △ Less

Submitted 8 October, 2012; originally announced October 2012.

Quantum cohomology of the cotangent bundle of a flag variety as a Yangian Bethe algebra

Authors: V. Gorbounov, R. Rimanyi, V. Tarasov, A. Varchenko

Abstract: We interpret the equivariant cohomology algebra H^*_{GL_n\times\C^*}(T^*F_λ;\C) of the cotangent bundle of a partial flag variety F_λparametrizing chains of subspaces 0=F_0\subset F_1\subset\dots\subset F_N =\C^n, \dim F_i/F_{i-1}=λ_i, as the Yangian Bethe algebra of the gl_N-weight subspace of a gl_N Yangian module. Under this identification the dynamical connection of [TV1] turns into the quantu… ▽ More We interpret the equivariant cohomology algebra H^*_{GL_n\times\C^*}(T^*F_λ;\C) of the cotangent bundle of a partial flag variety F_λparametrizing chains of subspaces 0=F_0\subset F_1\subset\dots\subset F_N =\C^n, \dim F_i/F_{i-1}=λ_i, as the Yangian Bethe algebra of the gl_N-weight subspace of a gl_N Yangian module. Under this identification the dynamical connection of [TV1] turns into the quantum connection of [BMO] and [MO]. As a result of this identification we describe the algebra of quantum multiplication on H^*_{GL_n\times\C^*}(T^*F_λ;\C) as the algebra of functions on fibers of a discrete Wronski map. In particular this gives generators and relations of that algebra. This identification also gives us hypergeometric solutions of the associated quantum differential equation. That fact manifests the Landau-Ginzburg mirror symmetry for the cotangent bundle of the flag variety. △ Less

Submitted 17 July, 2013; v1 submitted 23 April, 2012; originally announced April 2012.

Comments: Latex, 45 pages, references added, Conjecture 7.10 is now Theorem 7.10, Theorem 7.13 added

Cohomology classes of conormal bundles of Schubert varieties and Yangian weight functions

Authors: R. Rimanyi, V. Tarasov, A. Varchenko

Abstract: We consider the conormal bundle of a Schubert variety $S_I$ in the cotangent bundle $T^* Gr$ of the Grassmannian $Gr$ of $k$-planes in $C^n$. This conormal bundle has a fundamental class ${κ_I}$ in the equivariant cohomology $H^*_{T}(T^* Gr)$. Here $T=(C^*)^n\times C^*$. The torus $(C^*)^n$ acts on $T^* Gr$ in the standard way and the last factor $C^*$ acts by multiplication on fibers of the bundl… ▽ More We consider the conormal bundle of a Schubert variety $S_I$ in the cotangent bundle $T^* Gr$ of the Grassmannian $Gr$ of $k$-planes in $C^n$. This conormal bundle has a fundamental class ${κ_I}$ in the equivariant cohomology $H^*_{T}(T^* Gr)$. Here $T=(C^*)^n\times C^*$. The torus $(C^*)^n$ acts on $T^* Gr$ in the standard way and the last factor $C^*$ acts by multiplication on fibers of the bundle. We express this fundamental class as a sum $Y_I$ of the Yangian $Y(gl_2)$ weight functions $(W_J)_J$. We describe a relation of $Y_I$ with the double Schur polynomial $[S_I]$. A modified version of the $κ_I$ classes, named $κ'_I$, satisfy an orthogonality relation with respect to an inner product induced by integration on the non-compact manifold $T^* Gr$. This orthogonality is analogous to the well known orthogonality satisfied by the classes of Schubert varieties with respect to integration on $Gr$. The classes $(κ'_I)_I$ form a basis in the suitably localized equivariant cohomology $H^*_{T}(T^* Gr)$. This basis depends on the choice of the coordinate flag in $C^n$. We show that the bases corresponding to different coordinate flags are related by the Yangian R-matrix. △ Less

Submitted 15 December, 2013; v1 submitted 22 April, 2012; originally announced April 2012.

Comments: New sections and references are added, introduction is extended. Typo corrected on page 5

KZ Characteristic Variety as the Zero Set of Classical Calogero-Moser Hamiltonians

Authors: Evgeny Mukhin, Vitaly Tarasov, Alexander Varchenko

Abstract: We discuss a relation between the characteristic variety of the KZ equations and the zero set of the classical Calogero-Moser Hamiltonians. We discuss a relation between the characteristic variety of the KZ equations and the zero set of the classical Calogero-Moser Hamiltonians. △ Less

Submitted 16 October, 2012; v1 submitted 19 January, 2012; originally announced January 2012.

Journal ref: SIGMA 8 (2012), 072, 11 pages

On Conjectures of A. Eremenko and A. Gabrielov

Authors: E. Mukhin, V. Tarasov

Abstract: We study polynomials p(x) satisfying a differential equation of the form p"(x)-h'(x)p'(x)+H(x)p(x)=0, where h(x)=x^3/3+ax. We prove a conjecture of A. Eremenko and A. Gabrielov. We study polynomials p(x) satisfying a differential equation of the form p"(x)-h'(x)p'(x)+H(x)p(x)=0, where h(x)=x^3/3+ax. We prove a conjecture of A. Eremenko and A. Gabrielov. △ Less

Submitted 17 January, 2012; originally announced January 2012.

Comments: Latex, 9 pages

Extended Joseph polynomials, quantized conformal blocks, and a q-Selberg type integral

Authors: R. Rimányi, V. Tarasov, A. Varchenko, P. Zinn-Justin

Abstract: We consider the tensor power $V=(C^N)^{\otimes n}$ of the vector representation of $gl_N$ and its weight decomposition $V=\oplus_{λ=(λ_1,...,λ_N)}V[λ]$. For $λ= (λ_1 \geq ... \geq λ_N)$, the trivial bundle $V[λ]\times \C^n\to\C^n$ has a subbundle of q-conformal blocks at level l, where $l = λ_1-λ_N$ if $λ_1-λ_N> 0$ and l=1 if $λ_1-λ_N=0$. We construct a polynomial section $I_λ(z_1,...,z_n,h)$ of t… ▽ More We consider the tensor power $V=(C^N)^{\otimes n}$ of the vector representation of $gl_N$ and its weight decomposition $V=\oplus_{λ=(λ_1,...,λ_N)}V[λ]$. For $λ= (λ_1 \geq ... \geq λ_N)$, the trivial bundle $V[λ]\times \C^n\to\C^n$ has a subbundle of q-conformal blocks at level l, where $l = λ_1-λ_N$ if $λ_1-λ_N> 0$ and l=1 if $λ_1-λ_N=0$. We construct a polynomial section $I_λ(z_1,...,z_n,h)$ of the subbundle. The section is the main object of the paper. We identify the section with the generating function $J_λ(z_1,...,z_n,h)$ of the extended Joseph polynomials of orbital varieties, defined in [DFZJ05,KZJ09]. For l=1, we show that the subbundle of q-conformal blocks has rank 1 and $I_λ(z_1,...,z_n,h)$ is flat with respect to the quantum Knizhnik-Zamolodchikov discrete connection. For N=2 and l=1, we represent our polynomial as a multidimensional q-hypergeometric integral and obtain a q-Selberg type identity, which says that the integral is an explicit polynomial. △ Less

Submitted 28 June, 2012; v1 submitted 10 October, 2011; originally announced October 2011.

Reality property of discrete Wronski map with imaginary step

Authors: E. Mukhin, V. Tarasov, A. Varchenko

Abstract: For a set of quasi-exponentials with real exponents, we consider the discrete Wronskian (also known as Casorati determinant) with pure imaginary step 2h. We prove that if the coefficients of the discrete Wronskian are real and for every its roots the imaginary part is at most |h|, then the complex span of this set of quasi-exponentials has a basis consisting of quasi-exponentials with real coeffic… ▽ More For a set of quasi-exponentials with real exponents, we consider the discrete Wronskian (also known as Casorati determinant) with pure imaginary step 2h. We prove that if the coefficients of the discrete Wronskian are real and for every its roots the imaginary part is at most |h|, then the complex span of this set of quasi-exponentials has a basis consisting of quasi-exponentials with real coefficients. This result is a generalization of the statement of the B. and M. Shapiro conjecture on spaces of polynomials. The proof is based on the Bethe ansatz for the XXX model. △ Less

Submitted 25 February, 2011; originally announced February 2011.

Comments: Latex, 9 pages

Cohomology of a flag variety as a Bethe algebra

Authors: R. Rimanyi, V. Schechtman, V. Tarasov, A. Varchenko

Abstract: We interpret the GL_n equivariant cohomology of a partial flag variety of flags of length N in \C^n as the Bethe algebra of a suitable gl_N[t] module associated with the tensor power (\C^N)^{\otimes n}. We interpret the GL_n equivariant cohomology of a partial flag variety of flags of length N in \C^n as the Bethe algebra of a suitable gl_N[t] module associated with the tensor power (\C^N)^{\otimes n}. △ Less

Submitted 2 March, 2013; v1 submitted 3 February, 2011; originally announced February 2011.

Comments: Latex, 16 pages, misprints corrected

Bethe subalgebras of the group algebra of the symmetric group

Authors: E. Mukhin, V. Tarasov, A. Varchenko

Abstract: We introduce families of maximal commutative subalgebras, called Bethe subalgebras, of the group algebra of the symmetric group. Bethe subalgebras are deformations of the Gelfand-Zetlin subalgebra. We describe various properties of Bethe subalgebras. We introduce families of maximal commutative subalgebras, called Bethe subalgebras, of the group algebra of the symmetric group. Bethe subalgebras are deformations of the Gelfand-Zetlin subalgebra. We describe various properties of Bethe subalgebras. △ Less

Submitted 16 March, 2013; v1 submitted 23 April, 2010; originally announced April 2010.

Comments: AmsLaTeX, 32 pages; references updated

Bethe algebra of the gl_{N+1} Gaudin model and algebra of functions on the critical set of the master function

Authors: E. Mukhin, V. Tarasov, A. Varchenko

Abstract: Consider a tensor product of finite-dimensional irreducible gl_{N+1}-modules and its decomposition into irreducible modules. The gl_{N+1} Gaudin model assigns to each multiplicity space of that decomposition a commutative (Bethe) algebra of linear operators acting on the multiplicity space. The Bethe ansatz method is a method to find eigenvectors and eigenvalues of the Bethe algebra. One starts… ▽ More Consider a tensor product of finite-dimensional irreducible gl_{N+1}-modules and its decomposition into irreducible modules. The gl_{N+1} Gaudin model assigns to each multiplicity space of that decomposition a commutative (Bethe) algebra of linear operators acting on the multiplicity space. The Bethe ansatz method is a method to find eigenvectors and eigenvalues of the Bethe algebra. One starts with a critical point of a suitable (master) function and constructs an eigenvector of the Bethe algebra. In this paper we consider the algebra of functions on the critical set of the associated master function and show that the action of this algebra on itself is isomorphic to the action of the Bethe algebra on a suitable subspace of the multiplicity space. As a byproduct we prove that the Bethe vectors corresponding to different critical points of the master function are linearly independent and, in particular, nonzero. △ Less

Submitted 24 October, 2009; originally announced October 2009.

Comments: Latex, 14 pages

Equivariant quantization of Poisson homogeneous spaces and Kostant's problem

Authors: E. Karolinsky, A. Stolin, V. Tarasov

Abstract: Let $\mathfrak g$ be a finite dimensional split semisimple Lie algebra and $λ$ a weight of $\mathfrak g$. Let $F$ be the algebra of quantized regular functions on the connected simply connected group $G$ corresponding to $\mathfrak g$. In the present paper we introduce a certain subspace $F'$ of $F$ (which is not necessary a subalgebra of $F$) and endow it with an associative $\star$-product using… ▽ More Let $\mathfrak g$ be a finite dimensional split semisimple Lie algebra and $λ$ a weight of $\mathfrak g$. Let $F$ be the algebra of quantized regular functions on the connected simply connected group $G$ corresponding to $\mathfrak g$. In the present paper we introduce a certain subspace $F'$ of $F$ (which is not necessary a subalgebra of $F$) and endow it with an associative $\star$-product using the so-called reduced fusion element. We prove that the algebra $(F',\star)$ is isomorphic to $(L(λ))_{fin}$, where $L(λ)$ is the irreducible highest weight $\check{U}_q\mathfrak g$-module and "$fin$" stands for the subalgebra of the locally finite elements with respect to the adjoint action of $\check{U}_q\mathfrak g$. The introduced $\star$-product has some limiting properties what enables us to prove Kostant's problem for $\check{U}_q\mathfrak g$ in certain cases. We remind the reader that this means that $(L(λ))_{fin}$ coincides with the image of $\check{U}_q\g$ in $L(λ)$. We also note that if $λ$ is such that $<λ,α_i^\vee>=0$ for some simple roots $α_i$ and generic otherwise, then $(F,\star)$ is a $\check{U}_q\mathfrak g$-invariant quantization of the Poisson homogeneous space $G/K$, where $K$ is the stabilizer of $λ$. △ Less

Submitted 1 June, 2012; v1 submitted 3 August, 2009; originally announced August 2009.

Comments: 20 pages; introduction revised in v6

Three sides of the geometric Langlands correspondence for gl_N Gaudin model and Bethe vector averaging maps

Authors: E. Mukhin, V. Tarasov, A. Varchenko

Abstract: We consider the gl_N Gaudin model of a tensor power of the standard vector representation. The geometric Langlands correspondence in the Gaudin model relates the Bethe algebra of the commuting Gaudin Hamiltonians and the algebra of functions on a suitable space of N-th order differential operators. In this paper we introduce a third side of the correspondence: the algebra of functions on the cri… ▽ More We consider the gl_N Gaudin model of a tensor power of the standard vector representation. The geometric Langlands correspondence in the Gaudin model relates the Bethe algebra of the commuting Gaudin Hamiltonians and the algebra of functions on a suitable space of N-th order differential operators. In this paper we introduce a third side of the correspondence: the algebra of functions on the critical set of a master function. We construct isomorphisms of the third algebra and the first two. A new object is the Bethe vector averaging maps. △ Less

Submitted 19 July, 2009; originally announced July 2009.

Comments: Latex, 26 pages

Bethe algebra of Gaudin model, Calogero-Moser space and Cherednik algebra

Authors: E. Mukhin, V. Tarasov, A. Varchenko

Abstract: We identify the Bethe algebra of the Gaudin model associated to gl(N) acting on a suitable representation with the center of the rational Cherednik algebra and with the algebra of regular functions on the Calogero-Moser space. We identify the Bethe algebra of the Gaudin model associated to gl(N) acting on a suitable representation with the center of the rational Cherednik algebra and with the algebra of regular functions on the Calogero-Moser space. △ Less

Submitted 28 June, 2009; originally announced June 2009.

Comments: Latex, 24 pages

Gaudin Hamiltonians generate the Bethe algebra of a tensor power of vector representation of gl_N

Authors: E. Mukhin, V. Tarasov, A. Varchenko

Abstract: We show that the Gaudin Hamiltonians H_1,...,H_n generate the Bethe algebra of the n-fold tensor power of the vector representation of gl_N. Surprisingly the formula for the generators of the Bethe algebra in terms of the Gaudin Hamiltonians does not depend on N. Moreover, this formula coincides with Wilson's formula for the stationary Baker-Akhiezer function on the adelic Grassmannian. We show that the Gaudin Hamiltonians H_1,...,H_n generate the Bethe algebra of the n-fold tensor power of the vector representation of gl_N. Surprisingly the formula for the generators of the Bethe algebra in terms of the Gaudin Hamiltonians does not depend on N. Moreover, this formula coincides with Wilson's formula for the stationary Baker-Akhiezer function on the adelic Grassmannian. △ Less

Submitted 14 April, 2009; originally announced April 2009.

Comments: Latex, 11 pages

The gl_2 Bethe algebra associated with a nilpotent element

Authors: E. Mukhin, V. Tarasov, A. Varchenko

Abstract: To any 2x2-matrix K one assigns a commutative subalgebra B^{K}\subset U(gl_2[t]) called a Bethe algebra. We describe relations between the Bethe algebras, associated with the zero matrix and a nilpotent matrix. To any 2x2-matrix K one assigns a commutative subalgebra B^{K}\subset U(gl_2[t]) called a Bethe algebra. We describe relations between the Bethe algebras, associated with the zero matrix and a nilpotent matrix. △ Less

Submitted 12 November, 2008; v1 submitted 13 October, 2008; originally announced October 2008.

Comments: New references added

The concrete theory of numbers : New Mersenne conjectures. Simplicity and other wonderful properties of numbers $L(n) = 2^{2n}\pm2^n\pm1$

Authors: Boris V. Tarasov

Abstract: New Mersenne conjectures. The problems of simplicity, common prime divisors and free from squares of numbers $L(n) = 2^{2n}\pm2^n\pm1$ are investigated. Wonderful formulas $gcd $ for numbers $L (n) $ and numbers repunit are proved. New Mersenne conjectures. The problems of simplicity, common prime divisors and free from squares of numbers $L(n) = 2^{2n}\pm2^n\pm1$ are investigated. Wonderful formulas $gcd $ for numbers $L (n) $ and numbers repunit are proved. △ Less

Submitted 23 April, 2008; originally announced April 2008.

Comments: 14 pages

MSC Class: 11A51; 11B83

Spaces of quasi-exponentials and representations of gl_N

Authors: E. Mukhin, V. Tarasov, A. Varchenko

Abstract: We consider the action of the Bethe algebra B_K on (\otimes_{s=1}^k L_{λ^{(s)}})_λ, the weight subspace of weight $λ$ of the tensor product of k polynomial irreducible gl_N-modules with highest weights λ^{(1)},...,λ^{(k)}, respectively. The Bethe algebra depends on N complex numbers K=(K_1,...,K_N). Under the assumption that K_1,...,K_N are distinct, we prove that the image of B_K in the endomor… ▽ More We consider the action of the Bethe algebra B_K on (\otimes_{s=1}^k L_{λ^{(s)}})_λ, the weight subspace of weight $λ$ of the tensor product of k polynomial irreducible gl_N-modules with highest weights λ^{(1)},...,λ^{(k)}, respectively. The Bethe algebra depends on N complex numbers K=(K_1,...,K_N). Under the assumption that K_1,...,K_N are distinct, we prove that the image of B_K in the endomorphisms of (\otimes_{s=1}^k L_{λ^{(s)}})_λis isomorphic to the algebra of functions on the intersection of k suitable Schubert cycles in the Grassmannian of N-dimensional spaces of quasi-exponentials with exponents K. We also prove that the B_K-module (\otimes_{s=1}^k L_{λ^{(s)}})_λis isomorphic to the coregular representation of that algebra of functions. We present a Bethe ansatz construction identifying the eigenvectors of the Bethe algebra with points of that intersection of Schubert cycles. △ Less

Submitted 20 January, 2008; originally announced January 2008.

Comments: Latex, 29 pages

On separation of variables and completeness of the Bethe ansatz for quantum gl_N Gaudin model

Authors: E. Mukhin, V. Tarasov, A. Varchenko

Abstract: In this note, we discuss implications of the results obtained in [MTV4]. It was shown there that eigenvectors of the Bethe algebra of the quantum gl_N Gaudin model are in a one-to-one correspondence with Fuchsian differential operators with polynomial kernel. Here, we interpret this fact as a separation of variables in the gl_N Gaudin model. Having a Fuchsian differential operator with polynomia… ▽ More In this note, we discuss implications of the results obtained in [MTV4]. It was shown there that eigenvectors of the Bethe algebra of the quantum gl_N Gaudin model are in a one-to-one correspondence with Fuchsian differential operators with polynomial kernel. Here, we interpret this fact as a separation of variables in the gl_N Gaudin model. Having a Fuchsian differential operator with polynomial kernel, we construct the corresponding eigenvector of the Bethe algebra. It was shown in [MTV4] that the Bethe algebra has simple spectrum if the evaluation parameters of the Gaudin model are generic. In that case, our Bethe ansatz construction produces an eigenbasis of the Bethe algebra. △ Less

Submitted 6 December, 2007; originally announced December 2007.

Comments: Latex, 9 pages

Schubert calculus and representations of general linear group

Authors: E. Mukhin, V. Tarasov, A. Varchenko

Abstract: We construct a canonical isomorphism between the Bethe algebra acting on a multiplicity space of a tensor product of evaluation gl_N[t]-modules and the scheme-theoretic intersection of suitable Schubert varieties. Moreover, we prove that the multiplicity space as a module over the Bethe algebra is isomorphic to the coregular representation of the scheme-theoretic intersection. In particular, t… ▽ More We construct a canonical isomorphism between the Bethe algebra acting on a multiplicity space of a tensor product of evaluation gl_N[t]-modules and the scheme-theoretic intersection of suitable Schubert varieties. Moreover, we prove that the multiplicity space as a module over the Bethe algebra is isomorphic to the coregular representation of the scheme-theoretic intersection. In particular, this result implies the simplicity of the spectrum of the Bethe algebra for real values of evaluation parameters and the transversality of the intersection of the corresponding Schubert varieties. △ Less

Submitted 26 November, 2007; originally announced November 2007.

Comments: Latex, 32 pages

On reality property of Wronski maps

Authors: E. Mukhin, V. Tarasov, A. Varchenko

Abstract: We prove that if all roots of the discrete Wronskian with step 1 of a set of quasi-exponentials with real bases are real, simple and differ by at least 1, then the complex span of this set of quasi-exponentials has a basis consisting of quasi-exponentials with real coefficients. This result generalizes the B. and M.Shapiro conjecture about spaces of polynomials. The proof is based on the Bethe… ▽ More We prove that if all roots of the discrete Wronskian with step 1 of a set of quasi-exponentials with real bases are real, simple and differ by at least 1, then the complex span of this set of quasi-exponentials has a basis consisting of quasi-exponentials with real coefficients. This result generalizes the B. and M.Shapiro conjecture about spaces of polynomials. The proof is based on the Bethe ansatz method for the XXX model. △ Less

Submitted 25 March, 2008; v1 submitted 31 October, 2007; originally announced October 2007.

Comments: Latex, 20 pages

The concrete theory of numbers : Problem of simplicity of Fermat number-twins

Authors: Boris V. Tarasov

Abstract: The problem of simplicity of Fermat number-twins $f_{n}^{\pm}=2^{2^n}\pm3$ is studied. The question for what $n$ numbers $f_{n}^{\pm}$ are composite is investigated. The factor-identities for numbers of a kind $x^2 \pm k $ are found. The problem of simplicity of Fermat number-twins $f_{n}^{\pm}=2^{2^n}\pm3$ is studied. The question for what $n$ numbers $f_{n}^{\pm}$ are composite is investigated. The factor-identities for numbers of a kind $x^2 \pm k $ are found. △ Less

Submitted 6 July, 2007; originally announced July 2007.

Comments: 6 pages

MSC Class: 11A51