Related papers: The p-adic approximations of vertex functions via …

Following the idea of Aganagic--Okounkov \cite{AOelliptic}, we study vertex functions for hypertoric varieties, defined by $K$-theoretic counting of quasimaps from $\mathbb{P}^1$. We prove the 3d mirror symmetry statement that the two sets…

We consider a system of polynomials $T_{s}(z,q)\in\mathbb{Z}[z,q]$ which appear as truncations of the K-theoretic vertex function for the cotangent bundles over Grassmannians $T^{*}Gr(k,n)$. We prove that these polynomials satisfy a natural…

We introduce a new version of 3d mirror symmetry for toric stacks, inspired by a 3d $\mathcal{N} = 2$ abelian mirror symmetry construction in physics. Given some toric data, we introduce the $K$-theoretic $I$-function with effective level…

In the genus 1 case, mirror symmetry reduces to the statement that a certain family of generating functions, relating to an elliptic curve, are quasimodular. In their proof of this fact, Kaneko and Zagier used a related family of generating…

We use a relative Fourier-Mukai transform on elliptic K3 surfaces $X$ to describe mirror symmetry. The action of this Fourier-Mukai transform on the cohomology ring of $X$ reproduces relative T-duality and provides an infinitesimal isometry…

We prove general Dwork-type congruences for Hasse--Witt matrices attached to tuples of Laurent polynomials. We apply this result to establishing arithmetic and $p$-adic analytic properties of functions originating from polynomial solutions…

We prove general Dwork-type congruences for constant terms attached to tuples of Laurent polynomials. We apply this result to establishing arithmetic and $p$-adic analytic properties of functions originating from polynomial solutions modulo…

In this paper, we explore a consequence of symplectic duality (also known as 3d mirror symmetry) in the setting of enumerative geometry. The theory of quasimaps allows one to associate hypergeometric functions called vertex functions to…

Using Dwork's theory, we prove a broad generalisation of his famous p-adic formal congruences theorem. This enables us to prove certain p-adic congruences for the generalized hypergeometric series with rational parameters; in particular,…

Aganagic and Okounkov proved that the elliptic stable envelope provides the pole cancellation matrix for the enumerative invariants of quiver varieties known as vertex functions. This transforms a basis of a system of $q$-difference…

In this paper, we study the vertex functions of finite type A bow varieties. Vertex functions are K-theoretic analogs of I-functions, and 3d mirror symmetry predicts that the q-difference equations satisfied by the vertex functions of a…

We prove a generalized mirror conjecture for non-negative complete intersections in symplectic toric manifolds. Namely, we express solutions of the PDE system describing quantum cohomology of such a manifold in terms of suitable…

We consider the KZ equations over $\mathbb C$ in the case, when the hypergeometric solutions are hyperelliptic integrals of genus $g$. Then the space of solutions is a $2g$-dimensional complex vector space. We also consider the same…

In this note we discuss an integral representation for the vertex function of the cotangent bundle over the Grassmannian, $X=T^{*} Gr(k,n)$. This integral representation can be used to compute the $\hbar\to \infty$ limit of the vertex…

We give a direct approach to recover some of the results of Wiles and Tayor on modularity of certain 2-dimensional p-adic representations of the absolute Galois group of Q.

We present here the K-theoretic version of mirror models of toric manifold. First, we recall the construction of cohomological mirrors for toric manifolds, i.e. representations of the toric hypergeometric functions from quantum cohomology…

We study congruences relating Fourier coefficients of meromorphic modular forms and Frobenius eigenvalues of elliptic curves corresponding to their poles. We develop a $p$-adic cohomological framework that interprets these congruences via…

We study Homological Mirror Symmetry (HMS) for $A_n$-resolutions from the SYZ viewpoint. Let $X\to\bC^2/\bZ_{n+1}$ be the crepant resolution of the $A_n$-singularity. The mirror of $X$ is given by a smoothing $\check{X}$ of…

We consider a new 3d superconformal index defined as the path integral over $\mathbb{RP}^2 \times \mathbb{S}^1$, and get the generic formula for this index with arbitrary number of U$(1)$ gauge symmetries via the localization technique. We…

We generalise Dwork's theory of $p$-adic formal congruences from the univariate to a multi-variate setting. We apply our results to prove integrality assertions on the Taylor coefficients of (multi-variable) mirror maps. More precisely,…