More Like this

1. Determinant of F_p-hypergeometric solutions under ample reduction

   Alexander Varchenko ( January 2022 , Contemporary mathematics)

   We consider the KZ differential equations over C in the case, when the hypergeometric solutions are one-dimensional integrals. We also consider the same differential equations over a finite field F_p. We study the polynomial solutions of these differential equations over F_p, constructed in a previous work joint with V. Schechtman and called the F_p-hypergeometric solutions. The dimension of the space of F_p-hypergeometric solutions depends on the prime number p. We say that the KZ equations have ample reduction for a prime p, if the dimension of the space of F_p-hypergeometric solutions is maximal possible, that is, equal to the dimension of the space of solutions of the corresponding KZ equations over C. Under the assumption of ample reduction, we prove a determinant formula for the matrix of coordinates of basis F_p-hypergeometric solutions. The formula is analogous to the corresponding formula for the determinant of the matrix of coordinates of basis complex hypergeometric solutions, in which binomials (z_i−z_j)^{M_i+M_j} are replaced with (z_i−z_j)^{Mi+Mj−p} and the Euler gamma function Γ(x) is replaced with a suitable F_p-analog defined on F_p 

   more » « less
2. Hypergeometric Integrals Modulo p and Hasse–Witt Matrices

   https://doi.org/10.1007/s40598-020-00168-2  

   Slinkin, Alexey ; Varchenko, Alexander ( January 2020 , Arnold Mathematical Journal)

   null (Ed.)

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

   more » « less
3. The $$L^p$$-Fisher–Rao metric and Amari–C̆encov $$\alpha $$-Connections

   https://doi.org/10.1007/s00526-024-02660-5  

   Bauer, Martin ; Le Brigant, Alice ; Lu, Yuxiu ; Maor, Cy ( February 2024 , Calculus of Variations and Partial Differential Equations)

   We introduce a family of Finsler metrics, called the$$L^p$$$L^p$-Fisher–Rao metrics$$F_p$$$F_p$, for$$p\in (1,\infty )$$$p\in (1,\infty )$, which generalizes the classical Fisher–Rao metric$$F_2$$$F_2$, both on the space of densities$${\text {Dens}}_+(M)$$${\text{Dens}}_{+}\left(M\right)$and probability densities$${\text {Prob}}(M)$$$\text{Prob}\left(M\right)$. We then study their relations to the Amari–C̆encov$$\alpha $$$\alpha$-connections$$\nabla ^{(\alpha )}$$${\nabla }^{\left(\alpha \right)}$from information geometry: on$${\text {Dens}}_+(M)$$${\text{Dens}}_{+}\left(M\right)$, the geodesic equations of$$F_p$$$F_p$and$$\nabla ^{(\alpha )}$$${\nabla }^{\left(\alpha \right)}$coincide, for$$p = 2/(1-\alpha )$$$p=2/(1-\alpha )$. Both are pullbacks of canonical constructions on$$L^p(M)$$$L^p\left(M\right)$, in which geodesics are simply straight lines. In particular, this gives a new variational interpretation of$$\alpha $$$\alpha$-geodesics as being energy minimizing curves. On$${\text {Prob}}(M)$$$\text{Prob}\left(M\right)$, the$$F_p$$$F_p$and$$\nabla ^{(\alpha )}$$${\nabla }^{\left(\alpha \right)}$geodesics can still be thought as pullbacks of natural operations on the unit sphere in$$L^p(M)$$$L^p\left(M\right)$, but in this case they no longer coincide unless$$p=2$$$p=2$. Using this transformation, we solve the geodesic equation of the$$\alpha $$$\alpha$-connection by showing that the geodesic are pullbacks of projections of straight lines onto the unit sphere, and they always cease to exists after finite time when they leave the positive part of the sphere. This unveils the geometric structure of solutions to the generalized Proudman–Johnson equations, and generalizes them to higher dimensions. In addition, we calculate the associate tensors of$$F_p$$$F_p$, and study their relation to$$\nabla ^{(\alpha )}$$${\nabla }^{\left(\alpha \right)}$.

    

   more » « less
4. A unipotent circle action on 𝑝-adic modular forms

   https://doi.org/10.1090/btran/52  

   Howe, Sean ( November 2020 , Transactions of the American Mathematical Society, Series B)

   null (Ed.)

   Following a suggestion of Peter Scholze, we construct an action of G m ^ \widehat {\mathbb {G}_m} on the Katz moduli problem, a profinite-étale cover of the ordinary locus of the p p -adic modular curve whose ring of functions is Serre’s space of p p -adic modular functions. This action is a local, p p -adic analog of a global, archimedean action of the circle group S 1 S^1 on the lattice-unstable locus of the modular curve over C \mathbb {C} . To construct the G m ^ \widehat {\mathbb {G}_m} -action, we descend a moduli-theoretic action of a larger group on the (big) ordinary Igusa variety of Caraiani-Scholze. We compute the action explicitly on local expansions and find it is given by a simple multiplication of the cuspidal and Serre-Tate coordinates q q ; along the way we also prove a natural generalization of Dwork’s equation τ = log ⁡ q \tau =\log q for extensions of Q p / Z p \mathbb {Q}_p/\mathbb {Z}_p by μ p ∞ \mu _{p^\infty } valid over a non-Artinian base. Finally, we give a direct argument (without appealing to local expansions) to show that the action of G m ^ \widehat {\mathbb {G}_m} integrates the differential operator θ \theta coming from the Gauss-Manin connection and unit root splitting, and explain an application to Eisenstein measures and p p -adic L L -functions. 

   more » « less
5. Square function and non-tangential maximal function estimates for elliptic operators in 1-sided NTA domains satisfying the capacity density condition

   https://doi.org/10.1515/acv-2021-0053  

   Akman, Murat ; Hofmann, Steve ; Martell, José María ; Toro, Tatiana ( May 2022 , Advances in Calculus of Variations)

   Abstract Let Ω ⊂ ℝ n + 1 {\Omega\subset\mathbb{R}^{n+1}} , n ≥ 2 {n\geq 2} , be a 1-sided non-tangentially accessible domain (also known as uniform domain), that is, Ω satisfies the interior Corkscrew and Harnack chain conditions, which are respectively scale-invariant/quantitative versions of openness and path-connectedness. Let us assume also that Ω satisfies the so-called capacity density condition, a quantitative version of the fact that all boundary points are Wiener regular. Consider two real-valued (non-necessarily symmetric) uniformly elliptic operators L 0 ⁢ u = - div ⁡ ( A 0 ⁢ ∇ ⁡ u )   and   L ⁢ u = - div ⁡ ( A ⁢ ∇ ⁡ u ) L_{0}u=-\operatorname{div}(A_{0}\nabla u)\quad\text{and}\quad Lu=-%\operatorname{div}(A\nabla u) in Ω, and write ω L 0 {\omega_{L_{0}}} and ω L {\omega_{L}} for the respective associated elliptic measures. The goal of this article and its companion[M. Akman, S. Hofmann, J. M. Martell and T. Toro,Perturbation of elliptic operators in 1-sided NTA domains satisfying the capacity density condition,preprint 2021, https://arxiv.org/abs/1901.08261v3 ]is to find sufficient conditions guaranteeing that ω L {\omega_{L}} satisfies an A ∞ {A_{\infty}} -condition or a RH q {\operatorname{RH}_{q}} -condition with respect to ω L 0 {\omega_{L_{0}}} . In this paper, we are interested in obtaininga square function and non-tangential estimates for solutions of operators as before. We establish that bounded weak null-solutions satisfy Carleson measure estimates, with respect to the associated elliptic measure. We also show that for every weak null-solution, the associated square function can be controlled by the non-tangential maximal function in any Lebesgue space with respect to the associated elliptic measure. These results extend previous work ofDahlberg, Jerison and Kenig and are fundamental for the proof of the perturbation results in the paper cited above. 

   more » « less