Source author record

Alexander Varchenko

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

27works
12topics
4close collaborators

Published work

27 publications

preprint2026arXiv

Finding All Solutions of qKZ Equations in Characteristic pp

In [J. Lond. Math. Soc. 109 (2024), e12884, 22 pages, arXiv:2208.09721], the difference qKZ equations were considered modulo a prime number pp and a family of polynomial solutions of the qKZ equations modulo pp was constructed by an elementary procedure as suitable pp-approximations of the hypergeometric integrals. In this paper, we study in detail the first family of nontrivial examples of the qKZ equations in characteristic pp. We describe all solutions of these qKZ equations in characteristic pp by demonstrating that they all stem from the pp-hypergeometric solutions. We also prove a Lagrangian property (called the orthogonality property) of the subbundle of the qKZ bundle spanned by the pp-hypergeometric sections. This paper extends the results of [arXiv:2405.05159] on the differential KZ equations to the difference qKZ equations.

preprint2022arXiv

Dwork-type congruences and pp-adic KZ connection

We show that the pp-adic KZ connection associated with the family of curves yq=(t−z1)…(t−zqg+1)y^q=(t-z_1)\dots (t-z_{qg+1}) has an invariant subbundle of rank gg, while the corresponding complex KZ connection has no nontrivial proper subbundles due to the irreducibility of its monodromy representation. The construction of the invariant subbundle is based on new Dwork--type congruences for associated Hasse--Witt matrices.

preprint2022arXiv

Dynamical and qKZ equations modulo psp^s, an example

We consider an example of the joint system of dynamical differential equations and qKZ difference equations with parameters corresponding to equations for elliptic integrals. We solve this system of equations modulo any power pnp^n of a prime integer pp. We show that the pp-adic limit of these solutions as n→∞n\to\infty determines a sequence of line bundles, each of which is invariant with respect to the corresponding dynamical connection, and that sequence of line bundles is invariant with respect to the corresponding qKZ difference connection.

preprint2022arXiv

On the number of pp-hypergeometric solutions of KZ equations

It is known that solutions of the KZ equations can be written in the form of multidimensional hypergeometric integrals. In 2017 in a joint paper of the author with V. Schechtman the construction of hypergeometric solutions was modified, and solutions of the KZ equations modulo a prime number pp were constructed. These solutions modulo pp, called the pp-hypergeometric solutions, are polynomials with integer coefficients. A general problem is to determine the number of independent pp-hypergeometric solutions and understand the meaning of that number. In this paper we consider the KZ equations associated with the space of singular vectors of weight n−2rn-2r in the tensor power W⊗nW^{\otimes n} of the vector representation of sl2\frak{sl}_2. In this case, the hypergeometric solutions of the KZ equations are given by rr-dimensional hypergeometric integrals. We consider the module of the corresponding pp-hypergeometric solutions, determine its rank, and show that the rank equals the dimension of the space of suitable square integrable differential rr-forms.

preprint2022arXiv

Solutions of the sl2sl_2 qKZ equations modulo an integer

We study the qKZ difference equations with values in the nn-th tensor power of the vector sl2sl_2 representation VV, variables z1,…,znz_1,\dots,z_n and integer step κκ. For any integer NN relatively prime to the step κκ, we construct a family of polynomials fr(z)f_r(z) in variables z1,…,znz_1,\dots,z_n with values in V⊗nV^{\otimes n} such that the coordinates of these polynomials with respect to the standard basis of V⊗nV^{\otimes n} are polynomials with integer coefficients. We show that the polynomials fr(z)f_r(z) satisfy the qKZ equations modulo NN. Polynomials fr(z)f_r(z) are modulo NN analogs of the hypergeometric solutions of the \qKZ/ equations given in the form of multidimensional Barnes integrals.

preprint2020arXiv

An invariant subbundle of the KZ connection mod pp and reducibility of sl^2\hat{sl}_2 Verma modules mod pp

We consider the KZ differential equations over C\mathbb C in the case, when its multidimensional hypergeometric solutions are one-dimensional integrals. We also consider the same differential equations over a finite field Fp\mathbb F_p. We study the space of polynomial solutions of these differential equations over Fp\mathbb F_p, constructed in a previous work by V. Schechtman and the author. The module of these polynomial solutions defines an invariant subbundle of the associated KZ connection modulo pp. We describe the algebraic equations for that subbundle and argue that the equations correspond to highest weight vectors of the associated sl^2\hat{sl}_2 Verma modules over the field Fp\mathbb F_p.

preprint2020arXiv

Equivariant quantum differential equation and qKZqKZ equations for a projective space: Stokes bases as exceptional collections, Stokes matrices as Gram matrices, and B-Theorem

In arXiv:1901.02990v1 the equivariant quantum differential equation (qDEqDE) for a projective space was considered and a compatible system of difference qKZqKZ equations was introduced; the space of solutions to the joint system of the qDEqDE and qKZqKZ equations was identified with the space of the equivariant KK-theory algebra of the projective space; Stokes bases in the space of solutions were identified with exceptional bases in the equivariant KK-theory algebra. This paper is a continuation of arXiv:1901.02990v1. We describe the relation between solutions to the joint system of the qDEqDE and qKZqKZ equations and the topological-enumerative solution to the qDEqDE only, defined as a generating function of equivariant descendant Gromov-Witten invariants. The relation is in terms of the equivariant graded Chern character on the equivariant KK-theory algebra, the equivariant Gamma class of the projective space, and the equivariant first Chern class of the tangent bundle of the projective space. We consider a Stokes basis, the associated exceptional basis in the equivariant KK-theory algebra, and the associated Stokes matrix. We show that the Stokes matrix equals the Gram matrix of the equivariant Grothendieck-Euler-Poincaré pairing wrt to the basis, which is the left dual to the associated exceptional basis. We identify the Stokes bases in the space of solutions with explicit full exceptional collections in the equivariant derived category of coherent sheaves on the projective space, where the elements of those exceptional collections are just line bundles on the projective space and exterior powers of the tangent bundle of the projective space. These statements are equivariant analogs of results of G. Cotti, B. Dubrovin, D. Guzzetti, and S. Galkin, V. Golyshev, H. Iritani.

preprint2020arXiv

Hypergeometric Integrals Modulo pp and Hasse--Witt Matrices

We consider the KZ differential equations over C\mathbb C in the case, when the hypergeometric solutions are one-dimensional integrals. We also consider the same differential equations over a finite field Fp\mathbb F_p. We study the space of polynomial solutions of these differential equations over Fp\mathbb F_p, constructed in a previous work by V. Schechtman and the second author. Using Hasse-Witt matrices we identify the space of these polynomial solutions over Fp\mathbb F_p with the space dual to a certain subspace of regular differentials on an associated curve. We also relate these polynomial solutions over Fp\mathbb F_p and the hypergeometric solutions over C\mathbb C.

preprint2020arXiv

The Fp\mathbb F_p-Selberg integral of type AnA_n

We prove an Fp\mathbb F_p-Selberg integral formula of type AnA_n, in which the Fp\mathbb F_p-Selberg integral is an element of the finite field Fp\mathbb F_p with odd prime number pp of elements. The formula is motivated by analogy between multidimensional hypergeometric solutions of the KZ equations and polynomial solutions of the same equations reduced modulo pp. For the type A1A_1 the formula was proved in a previous paper by the authors.

preprint2016arXiv

Critical set of the master function and characteristic variety of the associated Gauss-Manin differential equations

We consider a weighted family of nn parallelly transported hyperplanes in a kk-dimensioinal affine space and describe the characteristic variety of the Gauss-Manin differential equations for associated hypergeometric integrals. The characteristic variety is given as the zero set of Laurent polynomials, whose coefficients are determined by weights and the associated point in the Grassmannian Gr(k,n)(k,n). The Laurent polynomials are in involution. An intermediate object between the differential equations and the characteristic variety is the algebra of functions on the critical set of the associated master function. We construct a linear isomorphism between the vector space of the Gauss-Manin differential equations and the algebra of functions. The isomorphism allows us to describe the characteristic variety. It also allowed us to define an integral structure on the vector space of the algebra and the associated (combinatorial) connection on the family of such algebras.

preprint2016arXiv

Cyclotomic discriminantal arrangements and diagram automorphisms of Lie algebras

Recently a new class of quantum integrable models, the cyclotomic Gaudin models, were described in arXiv:1409.6937, arXiv:1410.7664. Motivated by these, we identify a class of affine hyperplane arrangements that we call cyclotomic discriminantal arrangements. We establish correspondences between the flag and Aomoto complexes of such arrangements and chain complexes for nilpotent subalgebras of Kac-Moody type Lie algebras with diagram automorphisms. As a byproduct, we show that the Bethe vectors of cyclotomic Gaudin models associated to diagram automorphisms are nonzero.

preprint2016arXiv

On axioms of Frobenius like structure in the theory of arrangements

A Frobenius manifold is a manifold with a flat metric and a Frobenius algebra structure on tangent spaces at points of the manifold such that the structure constants of multiplication are given by third derivatives of a potential function on the manifold with respect to flat coordinates. In this paper we present a modification of that notion coming from the theory of arrangements of hyperplanes. Namely, given natural numbers n>kn>k, we have a flat nn-dimensional manifold and a vector space VV with a nondegenerate symmetric bilinear form and an algebra structure on VV, depending on points of the manifold, such that the structure constants of multiplication are given by 2k+12k+1-st derivatives of a potential function on the manifold with respect to flat coordinates. We call such a structure a {\it Frobenius like structure}. Such a structure arises when one has a family of arrangements of nn affine hyperplanes in $\C^k$ depending on parameters so that the hyperplanes move parallely to themselves when the parameters change. In that case a Frobenius like structure arises on the base $\C^n$ of the family.

preprint2016arXiv

Potentials of a family of arrangements of hyperplanes and elementary subarrangements

We consider the Frobenius algebra of functions on the critical set of the master function of a weighted arrangement of hyperplanes in $\C^k$ with normal crossings. We construct two potential functions (of first and second kind) of variables labeled by hyperplanes of the arrangement and prove that the matrix coefficients of the Grothendieck residue bilinear form on the algebra are given by the 2k2k-th derivatives of the potential function of first kind and the matrix coefficients of the multiplication operators on the algebra are given by the (2k+1)(2k+1)-st derivatives of the potential function of second kind. Thus the two potentials completely determine the Frobenius algebra. The presence of these potentials is a manifestation of a Frobenius like structure similar to the Frobenius manifold structure. We introduce the notion of an elementary subarrangement of an arrangement with normal crossings. It turns out that our potential functions are local in the sense that the potential functions are sums of contributions from elementary subarrangements of the given arrangement. This is a new phenomenon of locality of the Grothendieck residue bilinear form and multiplication on the algebra. It is known that this Frobenius algebra of functions on the critical set is isomorphic to the Bethe algebra of this arrangement. (That Bethe algebra is an analog of the Bethe algebras in the theory of quantum integrable models.) Thus our potential functions describe that Bethe algebra too.

preprint2016arXiv

Potentials of a Frobenius like structure and mm bases of a vector space

This paper proves the existence of potentials of the first and second kind of a Frobenius like structure in a frame which encompasses families of arrangements. Surprisingly the proof is based on the study of finite sets of vectors in a finite-dimensional vector space VV. Given a natural number mm and a finite set (vi)(v_i) of vectors we give a necessary and sufficient condition to find in the set (vi)(v_i) mm bases of VV. If mm bases in (vi)(v_i) can be selected, we define elementary transformations of such a selection and show that any two selections are connected by a sequence of elementary transformations.

preprint2015arXiv

Populations of Solutions to Cyclotomic Bethe Equations

We study solutions of the Bethe Ansatz equations for the cyclotomic Gaudin model of [Vicedo B., Young C.A.S., arXiv:1409.6937]. We give two interpretations of such solutions: as critical points of a cyclotomic master function, and as critical points with cyclotomic symmetry of a certain "extended" master function. In finite types, this yields a correspondence between the Bethe eigenvectors and eigenvalues of the cyclotomic Gaudin model and those of an "extended" non-cyclotomic Gaudin model. We proceed to define populations of solutions to the cyclotomic Bethe equations, in the sense of [Mukhin E., Varchenko A., Commun. Contemp. Math. 6 (2004), 111-163, math.QA/0209017], for diagram automorphisms of Kac-Moody Lie algebras. In the case of type A with the diagram automorphism, we associate to each population a vector space of quasi-polynomials with specified ramification conditions. This vector space is equipped with a Z2{\mathbb Z}_2-gradation and a non-degenerate bilinear form which is (skew-)symmetric on the even (resp. odd) graded subspace. We show that the population of cyclotomic critical points is isomorphic to the variety of isotropic full flags in this space.

preprint2014arXiv

Arrangements and Frobenius like structures

We consider a family of generic weighted arrangements of nn hyperplanes in $\C^k$ and show that the Gauss-Manin connection for the associated hypergeometric integrals, the contravariant form on the space of singular vectors, and the algebra of functions on the critical set of the master function define a Frobenius like structure on the base of the family. As a result of this construction we show that the matrix elements of the linear operators of the Gauss-Manin connection are given by the 2k+1-st derivatives of a single function on the base of the family, the function called the potential of second kind, see formula (6.46).

preprint2014arXiv

Characteristic variety of the Gauss-Manin differential equations of a generic parallelly translated arrangement

We consider a weighted family of nn generic parallelly translated hyperplanes in $\C^k$ and describe the characteristic variety of the Gauss-Manin differential equations for associated hypergeometric integrals. The characteristic variety is given as the zero set of Laurent polynomials, whose coefficients are determined by weights and the Plucker coordinates of the associated point in the Grassmannian Gr(k,n). The Laurent polynomials are in involution.

preprint2013arXiv

Generating Operator of XXX or Gaudin Transfer Matrices Has Quasi-Exponential Kernel

Let MM be the tensor product of finite-dimensional polynomial evaluation Yangian Y(glN)Y(gl_N)-modules. Consider the universal difference operator D=∑k=0N(−1)kTk(u)e−k∂uD = \sum_{k=0}^N (-1)^k T_k(u) e^{-k\partial_u} whose coefficients Tk(u):M→MT_k(u): M \to M are the XXX transfer matrices associated with MM. We show that the difference equation Df=0Df = 0 for an MM-valued function ff has a basis of solutions consisting of quasi-exponentials. We prove the same for the universal differential operator D=∑k=0N(−1)kSk(u)∂uN−kD = \sum_{k=0}^N (-1)^k S_k(u) \partial_u^{N-k} whose coefficients Sk(u):M→MS_k(u) : M \to M are the Gaudin transfer matrices associated with the tensor product MM of finite-dimensional polynomial evaluation glN[x]gl_N[x]-modules.

preprint2013arXiv

On the number of populations of critical points of master functions

We consider the master functions associated with one irreducible integrable highest weight representation of a Kac-Moody algebra. We study the generation procedure of new critical points from a given critical point of one of these master functions. We show that all critical points of all these master functions can be generated from the critical point of the master function with no variables. In particular this means that the set of all critical points of all these master functions form a single population of critical points. We formulate a conjecture that the number of populations of critical points of master functions associated with a tensor product of irreducible integrable highest weight representations of a Kac-Moody algebra are labeled by homomorphisms to $\C$ of the Bethe algebra of the Gaudin model associated with this tensor product.

preprint2012arXiv

Vanishing products of one-forms and critical points of master functions

Let \A be an affine hyperplane arrangement in $\C^\ell$ with complement UU. Let f1,.˙.,fnf_1, \..., f_n be linear polynomials defining the hyperplanes of \A, and A⋅A^\cdot the algebra of differential forms generated by the 1-forms dlog⁡f1,.˙.,dlog⁡fnd \log f_1, \..., d \log f_n. To each $l \in \C^n$ we associate the master function Φ=Φl=∏i=1nfiliΦ=Φ_l = \prod_{i=1}^n f_i^{l_i} on UU and the closed logarithmic 1-form ω=dlog⁡Φω= d \log Φ. We assume ωω is an element of a rational linear subspace DD of A1A^1 of dimension q>1q>1 such that the multiplication map ⋀k(D)→Ak\bigwedge^k(D) \to A^k is zero for p<k≤qp<k\leq q. With this assumption, we prove every component of the critical locus $\crit(Φ)$ of ΦΦ has codimension at most pp, and $\crit(Φ)$ is a union of intersections of level sets of rational master functions. We give conditions that guarantee $\crit(Φ)$ is nonempty and every component has codimension equal to pp, in terms of syzygies among polynomial master functions. If \A is pp-generic, then DD is contained in the degree pp resonance variety $\R^p(\A)$ -- in this sense the present work complements previous work on resonance and critical loci of master functions. Any arrangement is 1-generic; in case p=1p=1 we give a precise description of $\crit(Φ_l)$ in case ll lies in an isotropic subspace DD of A1A^1, using the multinet structure on \A corresponding to $D\subseteq \R^1(\A)$. This is carried out in detail for the Hessian arrangement. Finally, for arbitrary pp and \A, we establish necessary and sufficient conditions for a set of integral one-forms to span such a subspace, in terms of nested sets of \A, using tropical implicitization.

preprint2011arXiv

Quantum Integrable Model of an Arrangement of Hyperplanes

The goal of this paper is to give a geometric construction of the Bethe algebra (of Hamiltonians) of a Gaudin model associated to a simple Lie algebra. More precisely, in this paper a quantum integrable model is assigned to a weighted arrangement of affine hyperplanes. We show (under certain assumptions) that the algebra of Hamiltonians of the model is isomorphic to the algebra of functions on the critical set of the corresponding master function. For a discriminantal arrangement we show (under certain assumptions) that the symmetric part of the algebra of Hamiltonians is isomorphic to the Bethe algebra of the corresponding Gaudin model. It is expected that this correspondence holds in general (without the assumptions). As a byproduct of constructions we show that in a Gaudin model (associated to an arbitrary simple Lie algebra), the Bethe vector, corresponding to an isolated critical point of the master function, is nonzero.

preprint2005arXiv

Multiplicity of critical points of master functions and Schubert calculus

In [MV], some correspondences were defined between critical points of master functions associated to sl_{N+1} and subspaces of C[x] with given ramification properties. In this paper we show that these correspondences are in fact scheme theoretic isomorphisms of appropriate schemes. This gives relations between multiplicities of critical point loci of the relevant master functions and multiplicities in Schubert calculus.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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