Researcher profile

A. Varchenko

A. Varchenko contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
20works
0followers
8topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

20 published item(s)

preprint2020arXiv

Dynamical ${\frak{sl}}_2$ Bethe algebra and functions on pairs of quasi-polynomials

We consider the space $\text{Fun}_{\frak{sl}_2}V[0]$ of functions on the Cartan subalgebra of $\frak{sl}_2$ with values in the zero weight subspace $V[0]$ of a tensor product of irreducible finite-dimensional $\frak{sl}_2$-modules. We consider the algebra $\mathcal B$ of commuting differential operators on $\text{Fun}_{\frak{sl}_2}\,V[0]$, constructed by V.Rubtsov, A.Silantyev, D.Talalaev in 2009. We describe the relations between the action of $\mathcal B$ on $\text{Fun}_{\frak{sl}_2}V[0]$ and spaces of pairs of quasi-polynomials.

preprint2016arXiv

Dynamical Gelfand-Zetlin algebra and equivariant cohomology of Grassmannians

We consider the rational dynamical quantum group $E_y(gl_2)$ and introduce an $E_y(gl_2)$-module structure on $\oplus_{k=0}^n H^*_{GL_n\times\C^\times}(T^*Gr(k,n))'$, where $H^*_{GL_n\times\C^\times}(T^*Gr(k,n))'$ is the equivariant cohomology algebra $H^*_{GL_n\times\C^\times}(T^*Gr(k,n))$ of the cotangent bundle of the Grassmannian $\Gr(k,n)$ with coefficients extended by a suitable ring of rational functions in an additional variable $λ$. We consider the dynamical Gelfand-Zetlin algebra which is a commutative algebra of difference operators in $λ$. We show that the action of the Gelfand-Zetlin algebra on $H^*_{GL_n\times\C^\times}(T^*Gr(k,n))'$ is the natural action of the algebra $H^*_{GL_n\times\C^\times}(T^*Gr(k,n))\otimes \C[δ^{\pm1}]$ on $H^*_{GL_n\times\C^\times}(T^*Gr(k,n))'$, where $δ: ζ(λ)\toζ(λ+y)$ is the shift operator. The $E_y(gl_2)$-module structure on $\oplus_{k=0}^n H^*_{GL_n\times\C^\times}(T^*Gr(k,n))'$ is introduced with the help of dynamical stable envelope maps which are dynamical analogs of the stable envelope maps introduced by Maulik and Okounkov. The dynamical stable envelope maps are defined in terms of the rational dynamical weight functions introduced in [FTV] to construct q-hypergeometric solutions of rational qKZB equations. The cohomology classes in $H^*_{GL_n\times\C^\times}(T^*Gr(k,n))'$ induced by the weight functions are dynamical variants of Chern-Schwartz-MacPherson classes of Schubert cells.

preprint2015arXiv

Equivariant Chern-Schwartz-MacPherson classes in partial flag varieties: interpolation and formulae

Consider the natural torus action on a partial flag manifold $Fl$. Let $Ω_I\subset Fl$ be an open Schubert variety, and let $c^{sm}(Ω_I)\in H_T^*(Fl)$ be its torus equivariant Chern-Schwartz-MacPherson class. We show a set of interpolation properties that uniquely determine $c^{sm}(Ω_I)$, as well as a formula, of `localization type', for $c^{sm}(Ω_I)$. In fact, we proved similar results for a class $κ_I\in H_T^*(Fl)$ --- in the context of quantum group actions on the equivariant cohomology groups of partial flag varieties. In this note we show that $c^{SM}(Ω_I)=κ_I$.

preprint2014arXiv

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

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.

preprint2013arXiv

BGG resolutions via configuration spaces

We study the blow-ups of configuration spaces. These spaces have a structure of what we call an Orlik-Solomon manifold; it allows us to compute the intersection cohomology of certain flat connections with logarithmic singularities using some Aomoto type complexes of logarithmic forms. Using this construction we realize geometrically the sl_2 Bernstein - Gelfand - Gelfand resolution as an Aomoto complex.

preprint2013arXiv

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

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.

preprint2013arXiv

Partial flag varieties, stable envelopes and weight functions

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.

preprint2013arXiv

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

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.

preprint2013arXiv

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

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.

preprint2012arXiv

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

preprint2012arXiv

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

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.

preprint2011arXiv

Conformal blocks and equivariant cohomology

We show that the conformal blocks constructed in the previous article by the first and the third author may be described as certain integrals in equivariant cohomology. When the bundles of conformal blocks have rank one, this construction may be compared with the old integral formulas of the second and the third author. The proportionality coefficients are some Selberg type integrals which are computed. Finally, a geometric construction of the tensor products of vector representations of the Lie algebra $\frak{gl}(m)$ is proposed.

preprint2011arXiv

Norms of eigenfunctions to trigonometric KZB operators

Let $g$ be a simple Lie algebra and $V[0]=V_1\otimes...\otimes V_n[0]$ the zero weight subspace of a tensor product of $g$-modules. The trigonometric KZB operators are commuting differential operators acting on $V[0]$-valued functions on the Cartan subalgebra of $g$. Meromorphic eigenfunctions to the operators are constructed by the Bethe ansatz. We introduce a scalar product on a suitable space of functions such that the operators become symmetric, and the square of the norm of a Bethe eigenfunction equals the Hessian of the master function at the corresponding critical point.

preprint2011arXiv

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.