BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Alexander Varchenko

Alexander Varchenko appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.AGmath-phmath.MPmath.QAmath.NTmath.COnlin.SImath.CAmath.DGmath.RThep-thmath.GR

Catalog footprint

What is connected

27works
12topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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.

Published work

27 published item(s)

preprint2026arXiv

Finding All Solutions of qKZ Equations in Characteristic $p$

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

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Dwork-type congruences and $p$-adic KZ connection

We show that the $p$-adic KZ connection associated with the family of curves $y^q=(t-z_1)\dots (t-z_{qg+1})$ has an invariant subbundle of rank $g$, 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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Dynamical and qKZ equations modulo $p^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 $p^n$ of a prime integer $p$. We show that the $p$-adic limit of these solutions as $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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On the number of $p$-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 $p$ were constructed. These solutions modulo $p$, called the $p$-hypergeometric solutions, are polynomials with integer coefficients. A general problem is to determine the number of independent $p$-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-2r$ in the tensor power $W^{\otimes n}$ of the vector representation of $\frak{sl}_2$. In this case, the hypergeometric solutions of the KZ equations are given by $r$-dimensional hypergeometric integrals. We consider the module of the corresponding $p$-hypergeometric solutions, determine its rank, and show that the rank equals the dimension of the space of suitable square integrable differential $r$-forms.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Solutions of the $sl_2$ qKZ equations modulo an integer

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

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

An invariant subbundle of the KZ connection mod $p$ and reducibility of $\hat{sl}_2$ Verma modules mod $p$

We consider the KZ differential equations over $\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 $\mathbb F_p$. We study the space of polynomial solutions of these differential equations over $\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 $p$. We describe the algebraic equations for that subbundle and argue that the equations correspond to highest weight vectors of the associated $\hat{sl}_2$ Verma modules over the field $\mathbb F_p$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Equivariant quantum differential equation and $qKZ$ 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 ($qDE$) for a projective space was considered and a compatible system of difference $qKZ$ equations was introduced; the space of solutions to the joint system of the $qDE$ and $qKZ$ equations was identified with the space of the equivariant $K$-theory algebra of the projective space; Stokes bases in the space of solutions were identified with exceptional bases in the equivariant $K$-theory algebra. This paper is a continuation of arXiv:1901.02990v1. We describe the relation between solutions to the joint system of the $qDE$ and $qKZ$ equations and the topological-enumerative solution to the $qDE$ 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 $K$-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 $K$-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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Hypergeometric Integrals Modulo $p$ and Hasse--Witt Matrices

We consider the KZ differential equations over $\mathbb C$ in the case, when the hypergeometric solutions are one-dimensional integrals. We also consider the same differential equations over a finite field $\mathbb F_p$. We study the space of polynomial solutions of these differential equations over $\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 $\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 $\mathbb F_p$ and the hypergeometric solutions over $\mathbb C$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The $\mathbb F_p$-Selberg integral of type $A_n$

We prove an $\mathbb F_p$-Selberg integral formula of type $A_n$, in which the $\mathbb F_p$-Selberg integral is an element of the finite field $\mathbb F_p$ with odd prime number $p$ 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 $p$. For the type $A_1$ the formula was proved in a previous paper by the authors.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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

We consider a weighted family of $n$ parallelly transported hyperplanes in a $k$-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)$. 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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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>k$, we have a flat $n$-dimensional manifold and a vector space $V$ with a nondegenerate symmetric bilinear form and an algebra structure on $V$, depending on points of the manifold, such that the structure constants of multiplication are given by $2k+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 $n$ 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.

0 citations0 reviewsNo code linkedOpen access
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 $2k$-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)$-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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Potentials of a Frobenius like structure and $m$ 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 $V$. Given a natural number $m$ and a finite set $(v_i)$ of vectors we give a necessary and sufficient condition to find in the set $(v_i)$ $m$ bases of $V$. If $m$ bases in $(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.

0 citations0 reviewsNo code linkedOpen access
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 ${\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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Arrangements and Frobenius like structures

We consider a family of generic weighted arrangements of $n$ 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).

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

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

We consider a weighted family of $n$ 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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

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

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

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

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

Let \A be an affine hyperplane arrangement in $\C^\ell$ with complement $U$. Let $f_1, \..., f_n$ be linear polynomials defining the hyperplanes of \A, and $A^\cdot$ the algebra of differential forms generated by the 1-forms $d \log f_1, \..., d \log f_n$. To each $l \in \C^n$ we associate the master function $Φ=Φ_l = \prod_{i=1}^n f_i^{l_i}$ on $U$ and the closed logarithmic 1-form $ω= d \log Φ$. We assume $ω$ is an element of a rational linear subspace $D$ of $A^1$ of dimension $q>1$ such that the multiplication map $\bigwedge^k(D) \to A^k$ is zero for $p<k\leq q$. With this assumption, we prove every component of the critical locus $\crit(Φ)$ of $Φ$ has codimension at most $p$, 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 $p$, in terms of syzygies among polynomial master functions. If \A is $p$-generic, then $D$ is contained in the degree $p$ 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=1$ we give a precise description of $\crit(Φ_l)$ in case $l$ lies in an isotropic subspace $D$ of $A^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 $p$ 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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access