Skip to main content
deleted 8 characters in body
Source Link
Will Sawin
  • 148.4k
  • 9
  • 324
  • 563

(1.) The part of the Stokes data we can see compare is the restriction of the differential equation to the field of formal Laurent series at each point. There is a classification of differential equations over this field, and a classification of Galois representations of a field of formal Laurent series over a finite field, and the two classifications are pretty similar.

When we compare these classifications, the Airy sheaf and Airy differential equation match up at each point. The most important aspect of this is the slopes - the Airy differential equation has slopes $3/2$ at $\infty$, and so does the Airy sheaf, for the suitable definition of slope in each context. Furthermore, both objects have no singularities away from infinity.

(2.) Doesn't this work, by a similar argument, for every differential equation with regular singularities?

Deformations of sheaves are a bit more restricted then deformations of differential equations. In fact, we have two different notions of deformations of sheaves. In one, the deformation space has coordinates in the coefficient field of the sheaf ($\ell$-adic, in this case), while in the other, the deformation space has coordinates in the base field of the variety the sheaf lives on (a field of characteristic $p$, in this case). Only by combining the two can we obtain as much power as deformations of a differential equation, where both relevant fields are $\mathbb C$ and there's a single complex variety parameterizing both types of deformations.

(3.) Here are some additional properties:

a. The Airy differential equation is preserved by the change of variables $x \mapsto \omega x$ where $\omega^3=1$. The Airy sheaf is preserved under the same change of variables.

b. The Fourier transform of the Airy differential equation (i.e. the differential equation satisfied by the Fourier transform of the Airy function) is a differential equation of rank $1$, with no singularities except $\infty$, with slope $3$ at $\infty$. The Fourier-Deligne transform of the Ary sheaf is a sheaf of rank $1$, with no singularities except $\infty$, with slope $3$ at $\infty$.

In fact, properties a and b characterize the Airy differential equation up to scaling $x$ (and changes of variables in $y$), and they also characterize the Airy sheaf up to scaling $x$.

c. The image of the action of the differential Galois group on solutions of the Airy differential equation is $SL_2$, and the monodromy group of the Airy sheaf (i.e. the Zariski closure of the image of the Galois group on sections of the Airy sheaf) is also $SL_2$.

(1.) The part of the Stokes data we can see compare is the restriction of the differential equation to the field of formal Laurent series at each point. There is a classification of differential equations over this field, and a classification of Galois representations of a field of formal Laurent series over a finite field, and the two classifications are pretty similar.

When we compare these classifications, the Airy sheaf and Airy differential equation match up at each point. The most important aspect of this is the slopes - the Airy differential equation has slopes $3/2$ at $\infty$, and so does the Airy sheaf, for the suitable definition of slope in each context. Furthermore, both objects have no singularities away from infinity.

(2.) Doesn't this work, by a similar argument, for every differential equation with regular singularities?

Deformations of sheaves are a bit more restricted then deformations of differential equations. In fact, we have two different notions of deformations of sheaves. In one, the deformation space has coordinates in the coefficient field of the sheaf ($\ell$-adic, in this case), while in the other, the deformation space has coordinates in the base field of the variety the sheaf lives on (a field of characteristic $p$, in this case). Only by combining the two can we obtain as much power as deformations of a differential equation, where both relevant fields are $\mathbb C$ and there's a single complex variety parameterizing both types of deformations.

(3.) Here are some additional properties:

a. The Airy differential equation is preserved by the change of variables $x \mapsto \omega x$ where $\omega^3=1$. The Airy sheaf is preserved under the same change of variables.

b. The Fourier transform of the Airy differential equation (i.e. the differential equation satisfied by the Fourier transform of the Airy function) is a differential equation of rank $1$, with no singularities except $\infty$, with slope $3$ at $\infty$. The Fourier-Deligne transform of the Ary sheaf is a sheaf of rank $1$, with no singularities except $\infty$, with slope $3$ at $\infty$.

In fact, properties a and b characterize the Airy differential equation up to scaling $x$ (and changes of variables in $y$), and they also characterize the Airy sheaf up to scaling $x$.

c. The image of the action of the differential Galois group on solutions of the Airy differential equation is $SL_2$, and the monodromy group of the Airy sheaf (i.e. the Zariski closure of the image of the Galois group on sections of the Airy sheaf) is also $SL_2$.

(1.) The part of the Stokes data we can see is the restriction of the differential equation to the field of formal Laurent series at each point. There is a classification of differential equations over this field, and a classification of Galois representations of a field of formal Laurent series over a finite field, and the two classifications are pretty similar.

When we compare these classifications, the Airy sheaf and Airy differential equation match up at each point. The most important aspect of this is the slopes - the Airy differential equation has slopes $3/2$ at $\infty$, and so does the Airy sheaf, for the suitable definition of slope in each context. Furthermore, both objects have no singularities away from infinity.

(2.) Doesn't this work, by a similar argument, for every differential equation with regular singularities?

Deformations of sheaves are a bit more restricted then deformations of differential equations. In fact, we have two different notions of deformations of sheaves. In one, the deformation space has coordinates in the coefficient field of the sheaf ($\ell$-adic, in this case), while in the other, the deformation space has coordinates in the base field of the variety the sheaf lives on (a field of characteristic $p$, in this case). Only by combining the two can we obtain as much power as deformations of a differential equation, where both relevant fields are $\mathbb C$ and there's a single complex variety parameterizing both types of deformations.

(3.) Here are some additional properties:

a. The Airy differential equation is preserved by the change of variables $x \mapsto \omega x$ where $\omega^3=1$. The Airy sheaf is preserved under the same change of variables.

b. The Fourier transform of the Airy differential equation (i.e. the differential equation satisfied by the Fourier transform of the Airy function) is a differential equation of rank $1$, with no singularities except $\infty$, with slope $3$ at $\infty$. The Fourier-Deligne transform of the Ary sheaf is a sheaf of rank $1$, with no singularities except $\infty$, with slope $3$ at $\infty$.

In fact, properties a and b characterize the Airy differential equation up to scaling $x$ (and changes of variables in $y$), and they also characterize the Airy sheaf up to scaling $x$.

c. The image of the action of the differential Galois group on solutions of the Airy differential equation is $SL_2$, and the monodromy group of the Airy sheaf (i.e. the Zariski closure of the image of the Galois group on sections of the Airy sheaf) is also $SL_2$.

Source Link
Will Sawin
  • 148.4k
  • 9
  • 324
  • 563

(1.) The part of the Stokes data we can see compare is the restriction of the differential equation to the field of formal Laurent series at each point. There is a classification of differential equations over this field, and a classification of Galois representations of a field of formal Laurent series over a finite field, and the two classifications are pretty similar.

When we compare these classifications, the Airy sheaf and Airy differential equation match up at each point. The most important aspect of this is the slopes - the Airy differential equation has slopes $3/2$ at $\infty$, and so does the Airy sheaf, for the suitable definition of slope in each context. Furthermore, both objects have no singularities away from infinity.

(2.) Doesn't this work, by a similar argument, for every differential equation with regular singularities?

Deformations of sheaves are a bit more restricted then deformations of differential equations. In fact, we have two different notions of deformations of sheaves. In one, the deformation space has coordinates in the coefficient field of the sheaf ($\ell$-adic, in this case), while in the other, the deformation space has coordinates in the base field of the variety the sheaf lives on (a field of characteristic $p$, in this case). Only by combining the two can we obtain as much power as deformations of a differential equation, where both relevant fields are $\mathbb C$ and there's a single complex variety parameterizing both types of deformations.

(3.) Here are some additional properties:

a. The Airy differential equation is preserved by the change of variables $x \mapsto \omega x$ where $\omega^3=1$. The Airy sheaf is preserved under the same change of variables.

b. The Fourier transform of the Airy differential equation (i.e. the differential equation satisfied by the Fourier transform of the Airy function) is a differential equation of rank $1$, with no singularities except $\infty$, with slope $3$ at $\infty$. The Fourier-Deligne transform of the Ary sheaf is a sheaf of rank $1$, with no singularities except $\infty$, with slope $3$ at $\infty$.

In fact, properties a and b characterize the Airy differential equation up to scaling $x$ (and changes of variables in $y$), and they also characterize the Airy sheaf up to scaling $x$.

c. The image of the action of the differential Galois group on solutions of the Airy differential equation is $SL_2$, and the monodromy group of the Airy sheaf (i.e. the Zariski closure of the image of the Galois group on sections of the Airy sheaf) is also $SL_2$.