Searcharxiv⌕ Search

arXiv subjects

V. Tarasov

Publications and source records attributed to V. Tarasov.

At least 37 records · Page 2Linked to original sources

Equivariant quantization of Poisson homogeneous spaces and Kostant's problem

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 $λ$.

math.QA↗

Bethe Algebra of Homogeneous XXX Heisenberg Model Has Simple Spectrum

We show that the algebra of commuting Hamiltonians of the homogeneous XXX Heisenberg model has simple spectrum on the subspace of singular vectors of the tensor product of two-dimensional $gl_2$-modules. As a byproduct we show that there exist exactly $\binom {n}{l}-\binom{n}{l-1}$ two-dimensional vector subspaces $V \subset \C[u]$ with a basis $f,g\in V$ such that $°f = l, °g = n-l+1$ and $f(u)g(u-1) - f(u-1)g(u) = (u+1)^n$.

math.QA↗

Reality property of discrete Wronski map with imaginary step

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.

math.QA↗

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

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.

math.QA↗

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

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.

math.QA↗

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

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.

math.QA↗

On reality property of Wronski maps

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.

math.QA↗

Spaces of quasi-exponentials and representations of gl_N

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.

math.QA↗

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

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.

math.QA↗

Schubert calculus and representations of general linear group

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.

math.QA↗

Bethe algebra and algebra of functions on the space of differential operators of order two with polynomial solutions

We show that the following two algebras are isomorphic. The first is the algebra $A_P$ of functions on the scheme of monic linear second-order differential operators on $\C$ with prescribed regular singular points at $z_1,..., z_n, \infty$, prescribed exponents $\La^{(1)}, ..., \La^{(n)}, \La^{(\infty)}$ at the singular points, and having the kernel consisting of polynomials only. The second is the Bethe algebra of commuting linear operators, acting on the vector space $\Sing L_{\La^{(1)}} \otimes ... \otimes L_{\La^{(n)}}[\La^{(\infty)}]$ of singular vectors of weight $\La^{(\infty)}$ in the tensor product of finite dimensional polynomial $gl_2$-modules with highest weights $\La^{(1)},..., \La^{(n)}$.

math.QA↗

Bethe eigenvectors of higher transfer matrices

We consider the XXX-type and Gaudin quantum integrable models associated with the Lie algebra $gl_N$. The models are defined on a tensor product irreducible $gl_N$-modules. For each model, there exist $N$ one-parameter families of commuting operators on the tensor product, called the transfer matrices. We show that the Bethe vectors for these models, given by the algebraic nested Bethe ansatz are eigenvectors of higher transfer matrices and compute the corresponding eigenvalues.

math.QA↗

A generalization of the Capelli identity

We prove a generalization of the Capelli identity. As an application we obtain an isomorphism of the Bethe subalgebras actions under the (gl(N),gl(M)) duality.

math.QA↗