18
$\begingroup$

Peter Scholze formulated several conjectures about $q$-de Rham complex in the paper

Canonical $q$-deformations in arithmetic geometry, Ann. Fac. Sci. Toulouse Math. (6) 26 (2017), no. 5, pp 1163–1192, doi:10.5802/afst.1563, arXiv:1606.01796

Especially intriguing to me is Conjecture 3.3: Betti-de Rham comparison isomorphism.

In the paper the author emphasized the lack of nontrivial examples and suggests to do a computation for the universal family of elliptic curves.

Question 1: Has anyone done this computation (or any other interesting computations)? I will be especially interested in those involving basic hypergeometric functions.

Question 2: What does Conjecture 3.3 mean in practice? Naively one might hope that it leads to some $q$-deformation of periods.

$\endgroup$
2
  • 1
    $\begingroup$ Do you mean Conjecture 3.3? There isn't a Conjecture 3.2 in the paper. $\endgroup$
    – David Roberts
    Commented Jun 14, 2019 at 3:04
  • 2
    $\begingroup$ Thank you! It is a typo. $\endgroup$ Commented Jun 14, 2019 at 3:06

1 Answer 1

15
$\begingroup$

Good question! I wished I understood what this conjecture really means, concretely. First, I should say that in my paper with Bhatt on prismatic cohomology, much of the content of these conjectures has been proved, although the connection is not made very clear, and we only work after $p$-adic completion for some prime $p$; it would be possible to go back and get full integral statements by pasting together the rational information and the $p$-adic information.

The main problem in getting something very concrete out of this formalism --- like explicit $q$-periods, or explicit $q$-difference equations deforming the Picard--Fuchs differential equation --- is that it seems very hard to construct explicit vectors in $q$-de Rham cohomology. For getting say the Picard--Fuchs equation, one uses that de Rham cohomology has a Hodge filtration, and one can write down the differential equation satisfied by a vector in the $1$-dimensional subspace. This subspace does not deform to $q$-de Rham cohomology, so one gets no canonical $q$-difference equation. On the other hand, weight filtrations should still be defined, and maybe one can use those in some cases to get interesting explicit $q$-difference equations.

Still, Question 1 seems to be largely answered in this paper by Ryotaro Shirai. If I understand it right, he restricts to the ordinary part of the moduli space of elliptic curves, in which case there is a canonical "ordinary part" of the $q$-de Rham cohomology, giving a canonical $1$-dimensional subspace, for which one can write down the $q$-difference equation. Shirai then shows that this is indeed a hypergeometric $q$-difference equation.

For Question 2: This isomorphism is only canonical after going to one of Fontaine's period rings like $A_{\mathrm{inf}}$. Doing this, one essentially ends up with the usual $p$-adic periods, living in Fontaine's field $B_{\mathrm{dR}}$ (or subrings thereof).

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .