Galois Groups of Differential Equations and Representing ...
Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications...
Transcript of Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications...
![Page 1: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/1.jpg)
Tutorialon
Differential Galois Theory III
T. Dyckerhoff
Department of MathematicsUniversity of Pennsylvania
02/14/08 / Oberflockenbach
![Page 2: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/2.jpg)
Outline
Today’s planMonodromy and singularities
Riemann-Hilbert correspondence and applications
Irregular singularities: Stokes’ approach
Irregular singularities: Tannaka’s approach
Tannakian categories
![Page 3: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/3.jpg)
Monodromy IConsider the ∂-equation
ddz
(
y1
y2
)
=
(
0 1z
0 0
)(
y1
y2
)
with Y =
(
1 ln(z)0 1
)
as fundamental solution matrix.
ln(z) is not defined globally on C∗
Analytic continuation: ln(z) 7→ ln(z) + 2πi
![Page 4: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/4.jpg)
Monodromy IConsider the ∂-equation
ddz
(
y1
y2
)
=
(
0 1z
0 0
)(
y1
y2
)
with Y =
(
1 ln(z)0 1
)
as fundamental solution matrix.
ln(z) is not defined globally on C∗
Analytic continuation: ln(z) 7→ ln(z) + 2πi
In our example
Y =
(
1 ln(z)0 1
)
7→
(
1 ln(z)0 1
)(
1 2πi0 1
)
![Page 5: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/5.jpg)
Monodromy IConsider the ∂-equation
ddz
(
y1
y2
)
=
(
0 1z
0 0
)(
y1
y2
)
with Y =
(
1 ln(z)0 1
)
as fundamental solution matrix.
ln(z) is not defined globally on C∗
Analytic continuation: ln(z) 7→ ln(z) + 2πi
In our example
Y =
(
1 ln(z)0 1
)
7→
(
1 ln(z)0 1
)(
1 2πi0 1
)
We obtain a representation
π1(C∗) −→ GL2(C), n 7→
(
1 2πi n0 1
)
![Page 6: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/6.jpg)
Monodromy II
Given
Equation ddz y = Ay with A ∈ C(z)n×n
The poles of A lie in a finite subset S ⊂ P1
![Page 7: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/7.jpg)
Monodromy II
Given
Equation ddz y = Ay with A ∈ C(z)n×n
The poles of A lie in a finite subset S ⊂ P1
Then1 Solve [A] at a regular point p ∈ P
1 Yp ∈ GLn(Op)
![Page 8: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/8.jpg)
Monodromy II
Given
Equation ddz y = Ay with A ∈ C(z)n×n
The poles of A lie in a finite subset S ⊂ P1
Then1 Solve [A] at a regular point p ∈ P
1 Yp ∈ GLn(Op)
2 Continue Yp along a loop γ in P1\S based at p.
![Page 9: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/9.jpg)
Monodromy II
Given
Equation ddz y = Ay with A ∈ C(z)n×n
The poles of A lie in a finite subset S ⊂ P1
Then1 Solve [A] at a regular point p ∈ P
1 Yp ∈ GLn(Op)
2 Continue Yp along a loop γ in P1\S based at p.
3 CompareγYp = YpCγ
![Page 10: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/10.jpg)
Monodromy II
Given
Equation ddz y = Ay with A ∈ C(z)n×n
The poles of A lie in a finite subset S ⊂ P1
Then1 Solve [A] at a regular point p ∈ P
1 Yp ∈ GLn(Op)
2 Continue Yp along a loop γ in P1\S based at p.
3 CompareγYp = YpCγ
DefinitionThe map
M : π1(P1\S, p) −→ GLn(C), γ 7→ Cγ
is called the monodromy representation.
![Page 11: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/11.jpg)
Riemann-Hilbert problem
We obtain
linear ∂-equationswith singularities
in S ⊂ P1
M //
complex linearrepresentations
of π1(P1\S)
![Page 12: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/12.jpg)
Riemann-Hilbert problem
We obtain
linear ∂-equationswith singularities
in S ⊂ P1
M //
complex linearrepresentations
of π1(P1\S)
Riemann-Hilbert problem
?gg
![Page 13: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/13.jpg)
Riemann-Hilbert problem
We obtain
linear ∂-equationswith singularities
in S ⊂ P1
M //
complex linearrepresentations
of π1(P1\S)
Riemann-Hilbert problem
?gg
This can’t work:We considered the error function as a solution to the equationy ′′ + 2zy ′ = 0.
The equation is non-trivial (its solutions arenon-elementary)
Only one potential singularity at ∞ ⇒ trivial monodromy
![Page 14: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/14.jpg)
Analyzing the problemLook at y ′′ + 2zy ′ = 0 around z = ∞
1 put w = z−1 then ddz = −w2 d
dw
![Page 15: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/15.jpg)
Analyzing the problemLook at y ′′ + 2zy ′ = 0 around z = ∞
1 put w = z−1 then ddz = −w2 d
dw
2 transformed equation: ddw
2(y) − ( 2
w3 − 2w ) d
dw (y) = 0 withequivalent system
ddw
(
y1
y2
)
=
(
0 10 ( 2
w3 − 2w )
)(
y1
y2
)
⇒ The matrix defining the system has poles of order 3.
![Page 16: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/16.jpg)
Analyzing the problemLook at y ′′ + 2zy ′ = 0 around z = ∞
1 put w = z−1 then ddz = −w2 d
dw
2 transformed equation: ddw
2(y) − ( 2
w3 − 2w ) d
dw (y) = 0 withequivalent system
ddw
(
y1
y2
)
=
(
0 10 ( 2
w3 − 2w )
)(
y1
y2
)
⇒ The matrix defining the system has poles of order 3.
DefinitionTwo systems [A] and [B] are called gauge-equivalent over F
⇔ ∃C ∈ GLn(F ) : C−1AC − C−1∂(C)
![Page 17: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/17.jpg)
Analyzing the problemLook at y ′′ + 2zy ′ = 0 around z = ∞
1 put w = z−1 then ddz = −w2 d
dw
2 transformed equation: ddw
2(y) − ( 2
w3 − 2w ) d
dw (y) = 0 withequivalent system
ddw
(
y1
y2
)
=
(
0 10 ( 2
w3 − 2w )
)(
y1
y2
)
⇒ The matrix defining the system has poles of order 3.
DefinitionTwo systems [A] and [B] are called gauge-equivalent over F
⇔ ∃C ∈ GLn(F ) : C−1AC − C−1∂(C)
A system [A] is called regular singular at x ∈ P1 if it is
gauge-equivalent over C({z − x}) to a system with at mostsimple poles.
Otherwise we say [A] is irregular singular at x .
![Page 18: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/18.jpg)
Riemann-Hilbert correspondence (2nd attempt)
TheoremThe functor
linear ∂-equationswith regular singularities
in S ⊂ P1
M //
complex linearrepresentations
of π1(P1\S)
is an equivalence of categories.
![Page 19: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/19.jpg)
Implications for differential Galois theory
Given a A ∈ C(z)n×n, the group M(π1(P1\S)) ⊂ GLn is called
the monodromy group.
Theorem
Assume A ∈ C(z)n×n has only regular singularities. Then thedifferential Galois group of [A] is isomorphic to the Zariskiclosure of the monodromy group.
![Page 20: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/20.jpg)
Implications for differential Galois theory
Given a A ∈ C(z)n×n, the group M(π1(P1\S)) ⊂ GLn is called
the monodromy group.
Theorem
Assume A ∈ C(z)n×n has only regular singularities. Then thedifferential Galois group of [A] is isomorphic to the Zariskiclosure of the monodromy group.
Proof. Let p ∈ P1 be a regular (non-singular) point of A.
1 There exists a fundamental solution matrix Yp ∈ GLn(Op).
![Page 21: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/21.jpg)
Implications for differential Galois theory
Given a A ∈ C(z)n×n, the group M(π1(P1\S)) ⊂ GLn is called
the monodromy group.
Theorem
Assume A ∈ C(z)n×n has only regular singularities. Then thedifferential Galois group of [A] is isomorphic to the Zariskiclosure of the monodromy group.
Proof. Let p ∈ P1 be a regular (non-singular) point of A.
1 There exists a fundamental solution matrix Yp ∈ GLn(Op).2 E = C(z)(Yp) ⊂ Op is a Picard-Vessiot field over C(z).
![Page 22: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/22.jpg)
Implications for differential Galois theory
Given a A ∈ C(z)n×n, the group M(π1(P1\S)) ⊂ GLn is called
the monodromy group.
Theorem
Assume A ∈ C(z)n×n has only regular singularities. Then thedifferential Galois group of [A] is isomorphic to the Zariskiclosure of the monodromy group.
Proof. Let p ∈ P1 be a regular (non-singular) point of A.
1 There exists a fundamental solution matrix Yp ∈ GLn(Op).2 E = C(z)(Yp) ⊂ Op is a Picard-Vessiot field over C(z).3 If f ∈ E is invariant under monodromy then it extends to a
holomorphic function on P1\S.
![Page 23: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/23.jpg)
Implications for differential Galois theory
Given a A ∈ C(z)n×n, the group M(π1(P1\S)) ⊂ GLn is called
the monodromy group.
Theorem
Assume A ∈ C(z)n×n has only regular singularities. Then thedifferential Galois group of [A] is isomorphic to the Zariskiclosure of the monodromy group.
Proof. Let p ∈ P1 be a regular (non-singular) point of A.
1 There exists a fundamental solution matrix Yp ∈ GLn(Op).2 E = C(z)(Yp) ⊂ Op is a Picard-Vessiot field over C(z).3 If f ∈ E is invariant under monodromy then it extends to a
holomorphic function on P1\S.
4 Use the fact that all solutions near a regular singular pointhave moderate growth O(|z|−N ) to conclude that f ismeromorphic.
![Page 24: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/24.jpg)
Inverse problem over C(z)Given a linear algebraic group G over C, does there exist a∂-equation over C(z) which realizes G as its ∂-Galois group?
![Page 25: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/25.jpg)
Inverse problem over C(z)Given a linear algebraic group G over C, does there exist a∂-equation over C(z) which realizes G as its ∂-Galois group?
TheoremYes.
![Page 26: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/26.jpg)
Inverse problem over C(z)Given a linear algebraic group G over C, does there exist a∂-equation over C(z) which realizes G as its ∂-Galois group?
TheoremYes.
LemmaEvery linear algebraic group G contains finitely many elementswhich generate G in the Zariski topology.
Proof. By induction on dim(G).
![Page 27: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/27.jpg)
Inverse problem over C(z)Given a linear algebraic group G over C, does there exist a∂-equation over C(z) which realizes G as its ∂-Galois group?
TheoremYes.
Proof.1 Assume G is generated by C1, . . . , Cr ∈ GLn(C).
![Page 28: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/28.jpg)
Inverse problem over C(z)Given a linear algebraic group G over C, does there exist a∂-equation over C(z) which realizes G as its ∂-Galois group?
TheoremYes.
Proof.1 Assume G is generated by C1, . . . , Cr ∈ GLn(C).2 Pick S = {s1, . . . , sr ,∞} ⊂ P
1.
![Page 29: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/29.jpg)
Inverse problem over C(z)Given a linear algebraic group G over C, does there exist a∂-equation over C(z) which realizes G as its ∂-Galois group?
TheoremYes.
Proof.1 Assume G is generated by C1, . . . , Cr ∈ GLn(C).2 Pick S = {s1, . . . , sr ,∞} ⊂ P
1.3 The group π1(P
1\S) is freely generated by loops γi aroundthe points si .
![Page 30: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/30.jpg)
Inverse problem over C(z)Given a linear algebraic group G over C, does there exist a∂-equation over C(z) which realizes G as its ∂-Galois group?
TheoremYes.
Proof.1 Assume G is generated by C1, . . . , Cr ∈ GLn(C).2 Pick S = {s1, . . . , sr ,∞} ⊂ P
1.3 The group π1(P
1\S) is freely generated by loops γi aroundthe points si .
4 Choose the unique representation of π1(P1\S) which maps
γi to Ci .
![Page 31: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/31.jpg)
Inverse problem over C(z)Given a linear algebraic group G over C, does there exist a∂-equation over C(z) which realizes G as its ∂-Galois group?
TheoremYes.
Proof.1 Assume G is generated by C1, . . . , Cr ∈ GLn(C).2 Pick S = {s1, . . . , sr ,∞} ⊂ P
1.3 The group π1(P
1\S) is freely generated by loops γi aroundthe points si .
4 Choose the unique representation of π1(P1\S) which maps
γi to Ci .5 Apply Riemann-Hilbert.
![Page 32: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/32.jpg)
Irregular singularities? - Stokes’ approach
Riemann-Hilbert classifies regular singular equations bymonodromy data.
Classification of irregular singularitiesRecall: regularity of a singularity ⇔ moderate growth ofsolutions
![Page 33: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/33.jpg)
Irregular singularities? - Stokes’ approach
Riemann-Hilbert classifies regular singular equations bymonodromy data.
Classification of irregular singularitiesRecall: regularity of a singularity ⇔ moderate growth ofsolutions
A solution near an irregular singularity can have a wildgrowth behaviour which depends on the direction θ fromwhich we approach the singular point (e.g. exp(− 1
z2 ))
![Page 34: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/34.jpg)
Irregular singularities? - Stokes’ approach
Riemann-Hilbert classifies regular singular equations bymonodromy data.
Classification of irregular singularitiesRecall: regularity of a singularity ⇔ moderate growth ofsolutions
A solution near an irregular singularity can have a wildgrowth behaviour which depends on the direction θ fromwhich we approach the singular point (e.g. exp(− 1
z2 ))
Let Vθ be the space of solutions on a small sector around θ
![Page 35: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/35.jpg)
Irregular singularities? - Stokes’ approach
Riemann-Hilbert classifies regular singular equations bymonodromy data.
Classification of irregular singularitiesRecall: regularity of a singularity ⇔ moderate growth ofsolutions
A solution near an irregular singularity can have a wildgrowth behaviour which depends on the direction θ fromwhich we approach the singular point (e.g. exp(− 1
z2 ))
Let Vθ be the space of solutions on a small sector around θ
We can decompose Vθ into a direct sum of subspacesdefined by the various growth rates
![Page 36: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/36.jpg)
Irregular singularities? - Stokes’ approach
Riemann-Hilbert classifies regular singular equations bymonodromy data.
Classification of irregular singularitiesRecall: regularity of a singularity ⇔ moderate growth ofsolutions
A solution near an irregular singularity can have a wildgrowth behaviour which depends on the direction θ fromwhich we approach the singular point (e.g. exp(− 1
z2 ))
Let Vθ be the space of solutions on a small sector around θ
We can decompose Vθ into a direct sum of subspacesdefined by the various growth rates
The obstruction for the existence of a global growthdecomposition around the singularity is called the Stokesphenomenon
![Page 37: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/37.jpg)
Irregular singularities? - Stokes’ approach
Theorem (Deligne,Turittin,Hukuhara,Malgrange)There is a functor
linear ∂-equationswith arbitrary singularities
in S ⊂ P1
∼= //
representationsof π1(P
1\S)+ Stokes data for S
which is an equivalence.
![Page 38: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/38.jpg)
Irregular singularities? - Stokes’ approach
Theorem (Deligne,Turittin,Hukuhara,Malgrange)There is a functor
linear ∂-equationswith arbitrary singularities
in S ⊂ P1
∼= //
representationsof π1(P
1\S)+ Stokes data for S
which is an equivalence.
Again we can use the classification data to compute thedifferential Galois group, at least locally.
Theorem (Ramis)The differential Galois group of an equation over the field ofconvergent Laurent series C({z}) is topologically generated bythe monodromy, the Stokes matrices and the so-called Ramistorus.
![Page 39: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/39.jpg)
Irregular singularities? - Tannaka’s approach
The failure of Riemann-Hilbert for irregular singularities can beregarded as a motivation for the Tannakian approach.
linear ∂-equationswith regular singularities
in S ⊂ P1
∼= //
��
complex linearrepresentationsof πtop
1 (P1\S)
��
linear ∂-equationswith arbitrary singularities
in S ⊂ P1
∼= //
?
![Page 40: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/40.jpg)
Irregular singularities? - Tannaka’s approach
The failure of Riemann-Hilbert for irregular singularities can beregarded as a motivation for the Tannakian approach.
linear ∂-equationswith regular singularities
in S ⊂ P1
∼= //
��
complex linearrepresentationsof πtop
1 (P1\S)
��
linear ∂-equationswith arbitrary singularities
in S ⊂ P1
∼= //
representationsof a suitable
group πdiff1 (P1\S)
In this sense, the group πdiff1 can be understood as an enhance-
ment of the topological fundamental group πtop1 . It is called the
Tannakian fundamental group.
![Page 41: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/41.jpg)
Tannakian categories
DefinitionA Tannakian category over K is a rigid abelian tensor categoryC over K with an exact faithful K -linear functor
ω : C −→ (Vect/K )
called the fiber functor.
![Page 42: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/42.jpg)
Tannakian categories
DefinitionA Tannakian category over K is a rigid abelian tensor categoryC over K with an exact faithful K -linear functor
ω : C −→ (Vect/K )
called the fiber functor.
Theorem (Deligne, Grothendieck, Milne, Saavedra)Let C be a Tannakian category over K . Then
Aut⊗(ω) is isomorphic to an affine group scheme G over K .
there is an equivalence of abelian tensor categories
Cω∼=
// (Rep(G)/K )
![Page 43: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/43.jpg)
Examples of Tannakian categories (I)
Z-graded vector spacesLet V complex representation of the group Gm, C
V admits a weight space decomposition
V =⊕
χ∈char(Gm)
Vχ
char(Gm) = Z
![Page 44: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/44.jpg)
Examples of Tannakian categories (I)
Z-graded vector spacesLet V complex representation of the group Gm, C
V admits a weight space decomposition
V =⊕
χ∈char(Gm)
Vχ
char(Gm) = Z
⇒ The category of Z-graded complex vector spaces isTannakian over C with fundamental group Gm.
![Page 45: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/45.jpg)
Examples of Tannakian categories (II)
Real Hodge structures
Consider the group G = C∗/R as a real algebraic group
![Page 46: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/46.jpg)
Examples of Tannakian categories (II)
Real Hodge structures
Consider the group G = C∗/R as a real algebraic group
C ⊗R G ∼= Gm ×Gm
char(C ⊗R G) ∼= Z ⊕ Z
![Page 47: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/47.jpg)
Examples of Tannakian categories (II)
Real Hodge structures
Consider the group G = C∗/R as a real algebraic group
C ⊗R G ∼= Gm ×Gm
char(C ⊗R G) ∼= Z ⊕ Z
Let V be a real representation of G
V ⊗R C ∼=⊕
(p,q)∈Z⊕ZV p,q
V p,q = V q,p
![Page 48: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/48.jpg)
Examples of Tannakian categories (II)
Real Hodge structures
Consider the group G = C∗/R as a real algebraic group
C ⊗R G ∼= Gm ×Gm
char(C ⊗R G) ∼= Z ⊕ Z
Let V be a real representation of G
V ⊗R C ∼=⊕
(p,q)∈Z⊕ZV p,q
V p,q = V q,p
⇒ The category of real Hodge structures is Tannakian over R
with fundamental group C∗/R.
![Page 49: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/49.jpg)
D-modules
DefinitionLet F be a ∂-field.
Define the non-commutative ring
D = F [∂] subject to ∂f = f∂ + ∂(f )
of differential operators over F .
A D-module is module over D, finite dimensional over F .
![Page 50: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/50.jpg)
D-modules vs. ∂-equationsLet M be a D-module.
Let e = (e1, . . . , en) be an F -basis.
There exists A ∈ F n×n such ∂(e) = eA
![Page 51: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/51.jpg)
D-modules vs. ∂-equationsLet M be a D-module.
Let e = (e1, . . . , en) be an F -basis.
There exists A ∈ F n×n such ∂(e) = eA
Assume f = (f1, . . . , fn) is another basis with ∂(f ) = f B
then there exists C ∈ GLn(F ) such that e = f C
![Page 52: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/52.jpg)
D-modules vs. ∂-equationsLet M be a D-module.
Let e = (e1, . . . , en) be an F -basis.
There exists A ∈ F n×n such ∂(e) = eA
Assume f = (f1, . . . , fn) is another basis with ∂(f ) = f B
then there exists C ∈ GLn(F ) such that e = f C
SoeA = ∂(e) = ∂(f C)
= ∂(f )C + f∂(C)
= e(C−1BC + C−1∂(C))
![Page 53: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/53.jpg)
D-modules vs. ∂-equationsLet M be a D-module.
Let e = (e1, . . . , en) be an F -basis.
There exists A ∈ F n×n such ∂(e) = eA
Assume f = (f1, . . . , fn) is another basis with ∂(f ) = f B
then there exists C ∈ GLn(F ) such that e = f C
SoeA = ∂(e) = ∂(f C)
= ∂(f )C + f∂(C)
= e(C−1BC + C−1∂(C))
⇒ A = C−1BC + C−1∂(C)
ConclusionA D-module is an intrinsic description of a gauge-equivalenceclass of ∂-equations.
![Page 54: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/54.jpg)
The ultimate example of a Tannakian category
TheoremLet F ∂-field with algebraically closed field of constants. Thenthe category of D-modules is a Tannakian category.
![Page 55: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/55.jpg)
The ultimate example of a Tannakian category
TheoremLet F ∂-field with algebraically closed field of constants. Thenthe category of D-modules is a Tannakian category.
ExampleLet M be a D-module. The full tensor subcategory〈M〉⊗ ⊂ (D-mod) generated by M is a Tannakian category.
![Page 56: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/56.jpg)
The ultimate example of a Tannakian category
TheoremLet F ∂-field with algebraically closed field of constants. Thenthe category of D-modules is a Tannakian category.
ExampleLet M be a D-module. The full tensor subcategory〈M〉⊗ ⊂ (D-mod) generated by M is a Tannakian category.
Theorem
The Tannakian fundamental group of 〈M〉⊗ is isomorphic to thedifferential Galois group of any equation in the gaugeequivalence class given by M.
![Page 57: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/57.jpg)
A reality check with Tannaka
Theorem
Assume A ∈ C(z)n×n with trace(A) = 0. Then the ∂-Galoisgroup G of A is isomorphic to a subgroup of SLn(C).
Proof. Let M be the D-module associated to A.1 Applying the fiber functor to M yields an n-dimensional
representation V of the Galois group G (the usual standardrepresentation on the solution space of [A])
![Page 58: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/58.jpg)
A reality check with Tannaka
Theorem
Assume A ∈ C(z)n×n with trace(A) = 0. Then the ∂-Galoisgroup G of A is isomorphic to a subgroup of SLn(C).
Proof. Let M be the D-module associated to A.1 Applying the fiber functor to M yields an n-dimensional
representation V of the Galois group G (the usual standardrepresentation on the solution space of [A])
2 Tannakian duality: all constructions involving M must becompatible with constructions involving V
![Page 59: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/59.jpg)
A reality check with Tannaka
Theorem
Assume A ∈ C(z)n×n with trace(A) = 0. Then the ∂-Galoisgroup G of A is isomorphic to a subgroup of SLn(C).
Proof. Let M be the D-module associated to A.1 Applying the fiber functor to M yields an n-dimensional
representation V of the Galois group G (the usual standardrepresentation on the solution space of [A])
2 Tannakian duality: all constructions involving M must becompatible with constructions involving V
3 check: the D-module associated to the 1 × 1-matrixtrace(A) is exactly
∧n M
![Page 60: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/60.jpg)
A reality check with Tannaka
Theorem
Assume A ∈ C(z)n×n with trace(A) = 0. Then the ∂-Galoisgroup G of A is isomorphic to a subgroup of SLn(C).
Proof. Let M be the D-module associated to A.1 Applying the fiber functor to M yields an n-dimensional
representation V of the Galois group G (the usual standardrepresentation on the solution space of [A])
2 Tannakian duality: all constructions involving M must becompatible with constructions involving V
3 check: the D-module associated to the 1 × 1-matrixtrace(A) is exactly
∧n M4 trace(A) = 0 implies
∧n M is trivial
![Page 61: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/61.jpg)
A reality check with Tannaka
Theorem
Assume A ∈ C(z)n×n with trace(A) = 0. Then the ∂-Galoisgroup G of A is isomorphic to a subgroup of SLn(C).
Proof. Let M be the D-module associated to A.1 Applying the fiber functor to M yields an n-dimensional
representation V of the Galois group G (the usual standardrepresentation on the solution space of [A])
2 Tannakian duality: all constructions involving M must becompatible with constructions involving V
3 check: the D-module associated to the 1 × 1-matrixtrace(A) is exactly
∧n M4 trace(A) = 0 implies
∧n M is trivial5 Tannaka:
∧n V is trivial
![Page 62: Tutorial on Differential Galois Theory IIIusers.math.yale.edu/~td276/lecture3.pdf · Implications for differential Galois theory Given a A ∈ C(z)n×n, the group M(π 1(P1\S)) ⊂](https://reader035.fdocuments.in/reader035/viewer/2022062415/5fcbfd46186cde2e496bce1a/html5/thumbnails/62.jpg)
A reality check with Tannaka
Theorem
Assume A ∈ C(z)n×n with trace(A) = 0. Then the ∂-Galoisgroup G of A is isomorphic to a subgroup of SLn(C).
Proof. Let M be the D-module associated to A.1 Applying the fiber functor to M yields an n-dimensional
representation V of the Galois group G (the usual standardrepresentation on the solution space of [A])
2 Tannakian duality: all constructions involving M must becompatible with constructions involving V
3 check: the D-module associated to the 1 × 1-matrixtrace(A) is exactly
∧n M4 trace(A) = 0 implies
∧n M is trivial5 Tannaka:
∧n V is trivial6 know:
∧n V is the determinant representation of V