Computing the Lie algebra of the differential Galois group ... · Differential Galois group...
Transcript of Computing the Lie algebra of the differential Galois group ... · Differential Galois group...
![Page 1: Computing the Lie algebra of the differential Galois group ... · Differential Galois group Definition The differential Galois groupGof (1) is the group of field automorphisms of](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8b6058158cb81c6d36ab0e/html5/thumbnails/1.jpg)
Computing the Lie algebra of the differentialGalois group of a linear differential system
(2/2)
Thomas Dreyfus 1
Joint work with A. Aparicio-Monforte 2
and J.-A. Weil 3
1University of Lyon, France
2Dawson College, Montreal, Canada
3University of Limoges, France
1/20
![Page 2: Computing the Lie algebra of the differential Galois group ... · Differential Galois group Definition The differential Galois groupGof (1) is the group of field automorphisms of](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8b6058158cb81c6d36ab0e/html5/thumbnails/2.jpg)
Abstract
I In this talk we explain how to compute the Lie algebra ofthe differential Galois group of some convenient ∂Y = AY ,using reduced forms.
I Then, we obtain an effective way to check theMorales-Ramis-Simó criterion.
2/20
![Page 3: Computing the Lie algebra of the differential Galois group ... · Differential Galois group Definition The differential Galois groupGof (1) is the group of field automorphisms of](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8b6058158cb81c6d36ab0e/html5/thumbnails/3.jpg)
Differential Galois theory
How to compute a reduced form?
Application: effective Morales-Ramis-Simó theorem
3/20
![Page 4: Computing the Lie algebra of the differential Galois group ... · Differential Galois group Definition The differential Galois groupGof (1) is the group of field automorphisms of](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8b6058158cb81c6d36ab0e/html5/thumbnails/4.jpg)
I Let (k, ∂) be a field equipped with a derivation.→ Take for example k := C(z) with classical derivation.
I Let C := {α ∈ k|∂α = 0} and assume that C isalgebraically closed.
I We consider
∂Y = AY , with A ∈ Mat(k). (1)
4/20
![Page 5: Computing the Lie algebra of the differential Galois group ... · Differential Galois group Definition The differential Galois groupGof (1) is the group of field automorphisms of](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8b6058158cb81c6d36ab0e/html5/thumbnails/5.jpg)
Picard-Vessiot extension
∂Y = AY with A ∈ Mat(k). (1)
A Picard-Vessiot extension for (1) is a diff. field extension K |ksuch that
I There exists U ∈ GL(K ) such that ∂U = AU.I K |k is generated by the entries of U.I {α ∈ K |∂α = 0} = {α ∈ k|∂α = 0} = C.
PropositionThere exists an unique Picard-Vessiot extension for (1).
5/20
![Page 6: Computing the Lie algebra of the differential Galois group ... · Differential Galois group Definition The differential Galois groupGof (1) is the group of field automorphisms of](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8b6058158cb81c6d36ab0e/html5/thumbnails/6.jpg)
Differential Galois group
DefinitionThe differential Galois group G of (1) is the group of fieldautomorphisms of K , commuting with the derivation andleaving all elements of k invariant.
ρU : G −→ GL(C)ϕ 7−→ U−1ϕ(U),
TheoremThe image ρU(G) is a linear algebraic group.
6/20
![Page 7: Computing the Lie algebra of the differential Galois group ... · Differential Galois group Definition The differential Galois groupGof (1) is the group of field automorphisms of](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8b6058158cb81c6d36ab0e/html5/thumbnails/7.jpg)
Gauge transformation
Let A ∈ Mat(k), P ∈ GL(k). We have
∂Y = AY ⇐⇒ ∂ [PY ] = P [A] PY ,
withP [A] := PAP−1 + ∂(P)P−1.
7/20
![Page 8: Computing the Lie algebra of the differential Galois group ... · Differential Galois group Definition The differential Galois groupGof (1) is the group of field automorphisms of](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8b6058158cb81c6d36ab0e/html5/thumbnails/8.jpg)
Lie algebra of a matrix
I A Wei-Norman decomposition of A is a finite sum of theform
A =∑
aiMi ,
where Mi has coefficients in C and the ai ∈ k form a basisof the C-vector space spanned by the entries of A.
I Let Lie(A) be the Lie algebra generated by the Mi .→ Independent of the choice of the ai .
8/20
![Page 9: Computing the Lie algebra of the differential Galois group ... · Differential Galois group Definition The differential Galois groupGof (1) is the group of field automorphisms of](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8b6058158cb81c6d36ab0e/html5/thumbnails/9.jpg)
Kolchin-Kovacic reduction theorem
Theorem (Kolchin-Kovacic reduction theorem)Assume that k is a C1-field 1 and G is connected. Let g be theLie algebra of G. Let H ⊃ G be a connected linear algebraicgroup with Lie algebra h such that Lie(A) ⊂ h. Then, thereexists a gauge transformation P ∈ H(k) such that Lie(P[A]) ∈ g.
DefinitionIf Lie(A) ∈ g we will say that (1) is in reduced form.
1Remind that C(x) is a C1-field and any algebraic extension of a C1-field isa C1-field. 9/20
![Page 10: Computing the Lie algebra of the differential Galois group ... · Differential Galois group Definition The differential Galois groupGof (1) is the group of field automorphisms of](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8b6058158cb81c6d36ab0e/html5/thumbnails/10.jpg)
Algorithm for reducing ∂Y = AY
1. Factorize (1). We may then write
A =
Ak 0
. . .A2
Sk S2 A1
.
2. Compute the reduced form of ∂Y = Diag(Ak , . . . ,A1)Y .→ See previous talk.
3. For ` from 2 to k compute the reduced form of
∂Y = A`Y ,
where A` is the triangular bloc matrices with blocsA1, . . . ,Ak ,S2, . . . ,S` as in A and with zeros elsewhere.
→ See what follows.
At the end, we have computed the reduced form of ∂Y = AY !10/20
![Page 11: Computing the Lie algebra of the differential Galois group ... · Differential Galois group Definition The differential Galois groupGof (1) is the group of field automorphisms of](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8b6058158cb81c6d36ab0e/html5/thumbnails/11.jpg)
Our goal
Let us consider
∂Y =
(A1 0S A2
)Y = AY ,A ∈ Mat(k). (2)
Assume that ∂Y =
(A1 00 A2
)Y = AdiagY is in reduced form
with an abelian Lie algebra. We want to put (2) in reduced form.→ In a work in progress with Weil, we treat the case of non abelian Lie algebra.
11/20
![Page 12: Computing the Lie algebra of the differential Galois group ... · Differential Galois group Definition The differential Galois groupGof (1) is the group of field automorphisms of](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8b6058158cb81c6d36ab0e/html5/thumbnails/12.jpg)
Shape of the gauge transformation
Let Asub :=
(0 0S 0
).
Proposition (A-M,D,W)There exists a gauge transformation
P ∈{
Id + B,B ∈ Lie (Asub)⊗ k},
such that ∂Y = P[A]Y is in reduced form.
CorollaryLet P ∈
{Id + B,B ∈ Lie (Asub)⊗ k
}, and assume that for all
Q ∈{
Id + B,B ∈ Lie (Asub)⊗ k}
, Lie(Q[P[A]]) = Lie(P[A]).Then, ∂Y = P[A]Y is in reduced form.
12/20
![Page 13: Computing the Lie algebra of the differential Galois group ... · Differential Galois group Definition The differential Galois groupGof (1) is the group of field automorphisms of](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8b6058158cb81c6d36ab0e/html5/thumbnails/13.jpg)
The adjoin action
Proposition (A-M,D,W)If P := Id +
∑fiBi , with fi ∈ k, Bi ∈ Lie (Asub). Then
P[A] = A +∑
fi [Bi ,Adiag]−∑
∂(fi)Bi .
RemarkThe fact that ∂Y = AdiagY has an abelian Lie algebra impliesthat we may easily compute a Jordan normal form ofΨ : X 7→ [X ,Adiag]. Furthermore the eigenvalues of Ψ belongsto k.
13/20
![Page 14: Computing the Lie algebra of the differential Galois group ... · Differential Galois group Definition The differential Galois groupGof (1) is the group of field automorphisms of](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8b6058158cb81c6d36ab0e/html5/thumbnails/14.jpg)
Let λj be the eigenvalues of Ψ. We have the decomposition:
Lie (Asub)⊗ k =⊕i,j
E (i)λj
⋂Lie (Asub)⊗ k,
where
E (i)λj
:= ker((
Ψ− λj Id)i)
/ ker((
Ψ− λj Id)i−1
).
We are going to perform the reduction on the E (i)λj
separately.
14/20
![Page 15: Computing the Lie algebra of the differential Galois group ... · Differential Galois group Definition The differential Galois groupGof (1) is the group of field automorphisms of](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8b6058158cb81c6d36ab0e/html5/thumbnails/15.jpg)
Reduction in a very particular case
Assume that Asub = bB, b ∈ k, B constant, and Ψ = λId, λ ∈ k.Then
g = {0}m
∃f ∈ k, s.t. Lie ((Id + fB)[A]) = {0}m
∂f = λf + b.
15/20
![Page 16: Computing the Lie algebra of the differential Galois group ... · Differential Galois group Definition The differential Galois groupGof (1) is the group of field automorphisms of](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8b6058158cb81c6d36ab0e/html5/thumbnails/16.jpg)
Reduction on one level of a characteristic space
I Fix m ∈ N. Write Asub = A +∑
i
biBi , where bi ∈ k, Bi form
a constant basis of E (m)λ
⋂Lie (Asub)⊗ k.
I Compute a basis(
(gj , c(•,j)))
of elements in k× C such
that ∂gj = λgj +∑
i
ci,jbi .
I Construct a constant invertible matrix Q ∈ GL (C) whosefirst columns are the c(•,j). Let (γi,j) = Q
−1.
I Let fi :=∑
j
γi,jgj . Perform P(m)λ := Id +
∑i
fiBi .
16/20
![Page 17: Computing the Lie algebra of the differential Galois group ... · Differential Galois group Definition The differential Galois groupGof (1) is the group of field automorphisms of](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8b6058158cb81c6d36ab0e/html5/thumbnails/17.jpg)
Reduction in general
Theorem (A-M,D,W)Let P :=
∏i,j P(i)
λj. Then, ∂Y = P[A]Y is in reduced form.
17/20
![Page 18: Computing the Lie algebra of the differential Galois group ... · Differential Galois group Definition The differential Galois groupGof (1) is the group of field automorphisms of](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8b6058158cb81c6d36ab0e/html5/thumbnails/18.jpg)
General principle of the Morales-Ramis-Simó theorem
Hamiltonian complex system↓ Linearization
Variational equations↓
Differential Galois groups
18/20
![Page 19: Computing the Lie algebra of the differential Galois group ... · Differential Galois group Definition The differential Galois groupGof (1) is the group of field automorphisms of](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8b6058158cb81c6d36ab0e/html5/thumbnails/19.jpg)
General principle of the Morales-Ramis-Simó theorem
Integrable Hamiltonian complex system↓ Linearization
Variational equations↓
Differential Galois groups with abelian Lie algebra
Theorem (Morales-Ramis-Simó)Let us consider an Hamiltonian system and let Gp be thedifferential Galois group of the variational equation of order p. Ifthe Hamiltonian system is integrable, then for all p, the Liealgebra of Gp is abelian.
18/20
![Page 20: Computing the Lie algebra of the differential Galois group ... · Differential Galois group Definition The differential Galois groupGof (1) is the group of field automorphisms of](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8b6058158cb81c6d36ab0e/html5/thumbnails/20.jpg)
Shape of the variational equations
Let ∂Y = ApY be the variational equation of order p. We have
Ap :=
(symp (A1) 0
Sp Ap−1
)∈ Mat(C(x)).
19/20
![Page 21: Computing the Lie algebra of the differential Galois group ... · Differential Galois group Definition The differential Galois groupGof (1) is the group of field automorphisms of](https://reader034.fdocuments.net/reader034/viewer/2022042712/5f8b6058158cb81c6d36ab0e/html5/thumbnails/21.jpg)
Reduction of ∂Y = Ap+1Y
I Let p ∈ N. Assume that ∂Y = ApY is in reduced form andGp has an abelian Lie algebra.
I We use our previous work to put ∂Y = Ap+1Y in reducedform.
I If Gp+1 has an abelian Lie algebra, we may put∂Y = Ap+2Y in reduced form.
20/20