Metrisability of Painleve equations and Hamiltonian systems of hydrodynamic type
|
|
- Stephany Holmes
- 5 years ago
- Views:
Transcription
1 Metrisability of Painleve equations and Hamiltonian systems of hydrodynamic type Felipe Contatto Department of Applied Mathematics and Theoretical Physics University of Cambridge Joint work with Maciej Dunajski. arxiv: First integrals of affine connections and Hamiltonian systems of hydrodynamic type arxiv: Metrisability of Painlevé equations 28 July 2016 Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
2 Overview 1 Metrisability of projective structures 2 Deriving first integrals 3 Killing forms 4 Hydrodynamic-type systems Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
3 Overview 1 Metrisability of projective structures 2 Deriving first integrals 3 Killing forms 4 Hydrodynamic-type systems Problems: (i)consider the projective structures defined by the Painlevé equations, which of them are metrisable (if any)? Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
4 Overview 1 Metrisability of projective structures 2 Deriving first integrals 3 Killing forms 4 Hydrodynamic-type systems Problems: (i)consider the projective structures defined by the Painlevé equations, which of them are metrisable (if any)? (ii) How many first integrals linear in the momenta does a geodesic flow admit? Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
5 Overview 1 Metrisability of projective structures 2 Deriving first integrals 3 Killing forms 4 Hydrodynamic-type systems Problems: (i)consider the projective structures defined by the Painlevé equations, which of them are metrisable (if any)? (ii) How many first integrals linear in the momenta does a geodesic flow admit? (iii) Given a HT system, how many hamiltonian formulations (local sense) does it admit? Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
6 Metrisability problem (R. Liouville, 1889) Given a set of curves on R n, are they traces of geodesics of some metric? Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
7 Metrisability problem (R. Liouville, 1889) Given a set of curves on R n, are they traces of geodesics of some metric? On the (x, y)-plane, the necessary and sufficient condition for the curves to be the geodesics of an affine connection: to be the integral curves of an ODE y (x) = F(x, y, y ), where 4 y F(x, y, y ) = 0. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
8 Metrisability problem (R. Liouville, 1889) Given a set of curves on R n, are they traces of geodesics of some metric? On the (x, y)-plane, the necessary and sufficient condition for the curves to be the geodesics of an affine connection: to be the integral curves of an ODE y (x) = F(x, y, y ), where 4 y F(x, y, y ) = 0. Equivalence relation: two torsion-free connections are projectively equivalent (Γ ˆΓ) if they share the same unparametrised geodesics. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
9 Metrisability problem (R. Liouville, 1889) Given a set of curves on R n, are they traces of geodesics of some metric? On the (x, y)-plane, the necessary and sufficient condition for the curves to be the geodesics of an affine connection: to be the integral curves of an ODE y (x) = F(x, y, y ), where 4 y F(x, y, y ) = 0. Equivalence relation: two torsion-free connections are projectively equivalent (Γ ˆΓ) if they share the same unparametrised geodesics. Definition A projective structure [Γ] is the class of torsion-free connections that are projectively equivalent to Γ. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
10 Metrisability problem (R. Liouville, 1889) Given a set of curves on R n, are they traces of geodesics of some metric? On the (x, y)-plane, the necessary and sufficient condition for the curves to be the geodesics of an affine connection: to be the integral curves of an ODE y (x) = F(x, y, y ), where 4 y F(x, y, y ) = 0. Equivalence relation: two torsion-free connections are projectively equivalent (Γ ˆΓ) if they share the same unparametrised geodesics. Definition A projective structure [Γ] is the class of torsion-free connections that are projectively equivalent to Γ. Metrisability problem: given a projective structure, does it contain a metric connection? Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
11 The problem is (almost) solved in n = 2 dimensions: Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
12 The problem is (almost) solved in n = 2 dimensions: the necessary condition for the existence of a metric involves the vanishing of some invariants of differential order at least 5 in the connection [Bryant-Dunajski-Eastwood]. For the construction of a metric, the solution to the metrisability equations must satisfy the non-degeneracy condition. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
13 Hamiltonian description of geodesics Consider the metric g = g 11 dx 2 + 2g 12 dxdy + g 22 dy 2 and the geodesic Hamiltonian H = 1 2 g abp a p b. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
14 Hamiltonian description of geodesics Consider the metric g = g 11 dx 2 + 2g 12 dxdy + g 22 dy 2 and the geodesic Hamiltonian H = 1 2 g abp a p b. Hamilton s equations ẋ a (t) = H p a ṗ a (t) = H x a Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
15 Hamiltonian description of geodesics Consider the metric g = g 11 dx 2 + 2g 12 dxdy + g 22 dy 2 and the geodesic Hamiltonian H = 1 2 g abp a p b. Hamilton s equations ẋ a (t) = H p a Geodesic equations ṗ a (t) = H x a ẍ a + Γ a bcẋ b ẋ c = 0, a = 1, 2. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
16 Hamiltonian description of geodesics Consider the metric g = g 11 dx 2 + 2g 12 dxdy + g 22 dy 2 and the geodesic Hamiltonian H = 1 2 g abp a p b. Hamilton s equations ẋ a (t) = H p a Geodesic equations ṗ a (t) = H x a ẍ a + Γ a bcẋ b ẋ c = 0, a = 1, 2. Unparametrised geodesics (divide (a = 2)/(a = 1)) y = A 3 (x, y)y 3 + A 2 (x, y)y 2 + A 1 (x, y)y + A 0 (x, y) = F(x, y, y ), Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
17 Hamiltonian description of geodesics Consider the metric g = g 11 dx 2 + 2g 12 dxdy + g 22 dy 2 and the geodesic Hamiltonian H = 1 2 g abp a p b. Hamilton s equations ẋ a (t) = H p a Geodesic equations ṗ a (t) = H x a ẍ a + Γ a bcẋ b ẋ c = 0, a = 1, 2. Unparametrised geodesics (divide (a = 2)/(a = 1)) y = A 3 (x, y)y 3 + A 2 (x, y)y 2 + A 1 (x, y)y + A 0 (x, y) = F(x, y, y ), where A 0 = Γ 2 11, A 1 = Γ Γ2 12, A 2 = 2Γ 1 12 Γ2 22, A 3 = Γ Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
18 If K is a Killing vector conserved quantity: K a ẋ a = g ab K b ẋ a Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
19 If K is a Killing vector conserved quantity: K a ẋ a = g ab K b ẋ a Eliminate t using H = 1 2 (g 11ẋ 2 + 2g 12 ẋẏ + g 22 ẏ 2 ) and y (x) = ẏ/ẋ : I (x, y, y ) := 1 (K 1 + K 2 y ) 2 ( g11 + 2g 12 y + g 22 y 2) is a first integral of the unparametrised geodesic equation quadratic in y. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
20 If K is a Killing vector conserved quantity: K a ẋ a = g ab K b ẋ a Eliminate t using H = 1 2 (g 11ẋ 2 + 2g 12 ẋẏ + g 22 ẏ 2 ) and y (x) = ẏ/ẋ : I (x, y, y ) := 1 (K 1 + K 2 y ) 2 ( g11 + 2g 12 y + g 22 y 2) is a first integral of the unparametrised geodesic equation quadratic in y. The Painlevé equations define projective structures. (PI ) y = 6y 2 + x, (PII ) y = 2y 3 + xy + α,..., (PVI ). Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
21 If K is a Killing vector conserved quantity: K a ẋ a = g ab K b ẋ a Eliminate t using H = 1 2 (g 11ẋ 2 + 2g 12 ẋẏ + g 22 ẏ 2 ) and y (x) = ẏ/ẋ : I (x, y, y ) := 1 (K 1 + K 2 y ) 2 ( g11 + 2g 12 y + g 22 y 2) is a first integral of the unparametrised geodesic equation quadratic in y. The Painlevé equations define projective structures. (PI ) y = 6y 2 + x, (PII ) y = 2y 3 + xy + α,..., (PVI ). Satisfy the necessary conditions of [Bryant-Dunajski-Eastwood]. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
22 If K is a Killing vector conserved quantity: K a ẋ a = g ab K b ẋ a Eliminate t using H = 1 2 (g 11ẋ 2 + 2g 12 ẋẏ + g 22 ẏ 2 ) and y (x) = ẏ/ẋ : I (x, y, y ) := 1 (K 1 + K 2 y ) 2 ( g11 + 2g 12 y + g 22 y 2) is a first integral of the unparametrised geodesic equation quadratic in y. The Painlevé equations define projective structures. (PI ) y = 6y 2 + x, (PII ) y = 2y 3 + xy + α,..., (PVI ). Satisfy the necessary conditions of [Bryant-Dunajski-Eastwood]. Still need to check non-degeneracy. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
23 Metrisability of Painlevé equations Results: their projective structures are metrisable for (PIII), (PV) and (PVI) when they are projectively flat (equiv to Y (X ) = 0) or for PIII and PV when they admit an algebraic first integral. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
24 Metrisability of Painlevé equations Results: their projective structures are metrisable for (PIII), (PV) and (PVI) when they are projectively flat (equiv to Y (X ) = 0) or for PIII and PV when they admit an algebraic first integral. These first integrals are derivable from Killing vectors. E.g. (PV) ( 1 y = 2y + 1 ) y 2 1x ( y 1 y (y 1)2 + x 2 αy + β ) y First integral: I = 1 y ( xy y 1 ) 2 + 2β y 2αy. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
25 Killing 1-forms of affine connections Given an affine connection Γ on a surface Σ, its geodesics are the solutions to ẍ a + Γ a bcẋ b ẋ c = 0, a = 1, 2 Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
26 Killing 1-forms of affine connections Given an affine connection Γ on a surface Σ, its geodesics are the solutions to ẍ a + Γ a bcẋ b ẋ c = 0, a = 1, 2 I = K a ẋ a is a first integral (a K b) = 0 Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
27 Killing 1-forms of affine connections Given an affine connection Γ on a surface Σ, its geodesics are the solutions to ẍ a + Γ a bcẋ b ẋ c = 0, a = 1, 2 I = K a ẋ a is a first integral (a K b) = 0 First integrals linear in the momenta are equivalent to Killing 1-forms. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
28 Killing 1-forms of affine connections Given an affine connection Γ on a surface Σ, its geodesics are the solutions to ẍ a + Γ a bcẋ b ẋ c = 0, a = 1, 2 I = K a ẋ a is a first integral (a K b) = 0 First integrals linear in the momenta are equivalent to Killing 1-forms. Conditions for their existence will be established by prolongation. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
29 Killing 1-forms of affine connections Given an affine connection Γ on a surface Σ, its geodesics are the solutions to ẍ a + Γ a bcẋ b ẋ c = 0, a = 1, 2 I = K a ẋ a is a first integral (a K b) = 0 First integrals linear in the momenta are equivalent to Killing 1-forms. Conditions for their existence will be established by prolongation. Useful decomposition of the Riemann tensor: c R ab d = δ c a P bd δ c b P ad + B ab δ c d, where P ab = 2 3 R ab R ba and B ab = 2P [ab] = 2 3 R [ab]. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
30 Killing 1-forms of affine connections Given an affine connection Γ on a surface Σ, its geodesics are the solutions to ẍ a + Γ a bcẋ b ẋ c = 0, a = 1, 2 I = K a ẋ a is a first integral (a K b) = 0 First integrals linear in the momenta are equivalent to Killing 1-forms. Conditions for their existence will be established by prolongation. Useful decomposition of the Riemann tensor: c R ab d = δ c a P bd δ c b P ad + B ab δ c d, where P ab = 2 3 R ab R ba and B ab = 2P [ab] = 2 3 R [ab]. Introduce a volume form ɛ ab and its derivative c ɛ ab = θ c ɛ ab. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
31 Define the inverse volume form ɛ ab ɛ cb = δ a c. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
32 Define the inverse volume form ɛ ab ɛ cb = δ a c. Theorem There is a one to one correspondence between solutions to the Killing equations and parallel sections of the prolongation connection D on a rank three vector bundle E = Λ 1 (Σ) Λ 2 (Σ) Σ defined by D a ( Kb µ ) ( = ( a K b ɛ ab µ ) a µ P b a ɛef B ef δ b a K b + µθ a ). Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
33 Define the inverse volume form ɛ ab ɛ cb = δ a c. Theorem There is a one to one correspondence between solutions to the Killing equations and parallel sections of the prolongation connection D on a rank three vector bundle E = Λ 1 (Σ) Λ 2 (Σ) Σ defined by D a ( Kb µ ) ( = ( a K b ɛ ab µ ) a µ P b a ɛef B ef δ b a K b + µθ a ). The integrability conditions for the existence of parallel sections of this connection will lead to a set of invariants of the affine connection Γ. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
34 Theorem The necessary condition for a C 4 torsion free affine connection Γ on a surface Σ to admit a linear first integral is the vanishing, on Σ, of two scalars denoted by I N and I S of differential order 3 and 4 in Γ. Locally, I N = I S = 0 are necessary and sufficient for the existence of a Killing 1-form. there are precisely 2 Killing forms T a b = 0 and R [ab] 0, where T is a rank-2 tensor of differential order 3 in Γ. there are 3 independent Killing forms Γ is projectively flat and R [ab] = 0. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
35 Theorem The necessary condition for a C 4 torsion free affine connection Γ on a surface Σ to admit a linear first integral is the vanishing, on Σ, of two scalars denoted by I N and I S of differential order 3 and 4 in Γ. Locally, I N = I S = 0 are necessary and sufficient for the existence of a Killing 1-form. there are precisely 2 Killing forms T a b = 0 and R [ab] 0, where T is a rank-2 tensor of differential order 3 in Γ. there are 3 independent Killing forms Γ is projectively flat and R [ab] = 0. This does not hold globally. Counter example: the flat torus S 1 S 1 admits precisely 2 global Killing forms (or vectors). Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
36 Theorem The necessary condition for a C 4 torsion free affine connection Γ on a surface Σ to admit a linear first integral is the vanishing, on Σ, of two scalars denoted by I N and I S of differential order 3 and 4 in Γ. Locally, I N = I S = 0 are necessary and sufficient for the existence of a Killing 1-form. there are precisely 2 Killing forms T a b = 0 and R [ab] 0, where T is a rank-2 tensor of differential order 3 in Γ. there are 3 independent Killing forms Γ is projectively flat and R [ab] = 0. This does not hold globally. Counter example: the flat torus S 1 S 1 admits precisely 2 global Killing forms (or vectors). For special connections (R [ab] = 0), I N and I S become, essentially, Liouville s projective invariants ν 5 and w 1, respectively. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
37 Recall: R [ab] = [a Γ c b]c = 0 preserves a volume form. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
38 Recall: R [ab] = [a Γ c b]c = 0 preserves a volume form. [Γ] admits a traceless representative Π a bc, i.e., Πa ab = 0. It is given by Π a bc = Γa bc 1 3 δa b Γd dc 1 3 δa cγ d db. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
39 Recall: R [ab] = [a Γ c b]c = 0 preserves a volume form. [Γ] admits a traceless representative Π a bc, i.e., Πa ab = 0. It is given by Π a bc = Γa bc 1 3 δa b Γd dc 1 3 δa cγ d db. Π a bc are called Thomas symbols. It preserves ɛ 12 = 1. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
40 Recall: R [ab] = [a Γ c b]c = 0 preserves a volume form. [Γ] admits a traceless representative Π a bc, i.e., Πa ab = 0. It is given by Π a bc = Γa bc 1 3 δa b Γd dc 1 3 δa cγ d db. Π a bc are called Thomas symbols. It preserves ɛ 12 = 1. Question: what can we say about the unparametrised geodesics if its associated Thomas symbols admit a Killing form? Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
41 Recall: R [ab] = [a Γ c b]c = 0 preserves a volume form. [Γ] admits a traceless representative Π a bc, i.e., Πa ab = 0. It is given by Π a bc = Γa bc 1 3 δa b Γd dc 1 3 δa cγ d db. Π a bc are called Thomas symbols. It preserves ɛ 12 = 1. Question: what can we say about the unparametrised geodesics if its associated Thomas symbols admit a Killing form? The answer is given by the following theorem, which is partially due to [Liouville,1889]. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
42 Theorem The ODE y = A 0 (x, y) + A 1 (x, y)y + A 2 (x, y)(y ) 2 + A 3 (x, y)(y ) 3 defining a projective structure admits coordinates (X, Y ) such that Y XX = f (X, Y ) for some function f if and only if I N = I S = 0 for any special connection. Moreover, this is also equivalent to the fact that the connection with Thomas symbols admits a Killing 1-form given by dx. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
43 Theorem The ODE y = A 0 (x, y) + A 1 (x, y)y + A 2 (x, y)(y ) 2 + A 3 (x, y)(y ) 3 defining a projective structure admits coordinates (X, Y ) such that Y XX = f (X, Y ) for some function f if and only if I N = I S = 0 for any special connection. Moreover, this is also equivalent to the fact that the connection with Thomas symbols admits a Killing 1-form given by dx. Proof. Understand how Thomas symbols transform under coordinate transformations. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
44 Theorem The ODE y = A 0 (x, y) + A 1 (x, y)y + A 2 (x, y)(y ) 2 + A 3 (x, y)(y ) 3 defining a projective structure admits coordinates (X, Y ) such that Y XX = f (X, Y ) for some function f if and only if I N = I S = 0 for any special connection. Moreover, this is also equivalent to the fact that the connection with Thomas symbols admits a Killing 1-form given by dx. Proof. Understand how Thomas symbols transform under coordinate transformations. Understand how Killing tensors of Thomas symbols change under coordinate transformation. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
45 Theorem The ODE y = A 0 (x, y) + A 1 (x, y)y + A 2 (x, y)(y ) 2 + A 3 (x, y)(y ) 3 defining a projective structure admits coordinates (X, Y ) such that Y XX = f (X, Y ) for some function f if and only if I N = I S = 0 for any special connection. Moreover, this is also equivalent to the fact that the connection with Thomas symbols admits a Killing 1-form given by dx. Proof. Understand how Thomas symbols transform under coordinate transformations. Understand how Killing tensors of Thomas symbols change under coordinate transformation. Use these facts to show that one can choose coordinates (X, Y ) s.t. the Killing form is dx. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
46 Theorem The ODE y = A 0 (x, y) + A 1 (x, y)y + A 2 (x, y)(y ) 2 + A 3 (x, y)(y ) 3 defining a projective structure admits coordinates (X, Y ) such that Y XX = f (X, Y ) for some function f if and only if I N = I S = 0 for any special connection. Moreover, this is also equivalent to the fact that the connection with Thomas symbols admits a Killing 1-form given by dx. Proof. Understand how Thomas symbols transform under coordinate transformations. Understand how Killing tensors of Thomas symbols change under coordinate transformation. Use these facts to show that one can choose coordinates (X, Y ) s.t. the Killing form is dx. Check that this is equivalent to having Y XX = f (X, Y ). Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
47 Claim: Degenerate solutions to the metrisability equations correspond to Killing forms of special connections. Equivalently, I N = I S = 0 or ν 5 = w 1 = 0. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
48 Claim: Degenerate solutions to the metrisability equations correspond to Killing forms of special connections. Equivalently, I N = I S = 0 or ν 5 = w 1 = 0. Corollary (Babich,Bordag1999) The Painlevé equations can be put in the form y = f (x, y) under point transformation. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
49 Claim: Degenerate solutions to the metrisability equations correspond to Killing forms of special connections. Equivalently, I N = I S = 0 or ν 5 = w 1 = 0. Corollary (Babich,Bordag1999) The Painlevé equations can be put in the form y = f (x, y) under point transformation. Example: (PIII): y = αe x+y + βe x y + γe 2(x+y) + δe 2(x y) Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
50 Claim: Degenerate solutions to the metrisability equations correspond to Killing forms of special connections. Equivalently, I N = I S = 0 or ν 5 = w 1 = 0. Corollary (Babich,Bordag1999) The Painlevé equations can be put in the form y = f (x, y) under point transformation. Example: (PIII): y = αe x+y + βe x y + γe 2(x+y) + δe 2(x y) Remark: Scalars I N and I S, along with [B-D-E], answer the question about degeneracy in metrisability Metrisability problem itself is completely solved in 2D. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
51 Hydrodynamic-type (HT) systems Definition (HT system (our case)) A system of PDEs is of HT if it has the form t u a = v a b(u) x u b, a, b = 1, 2 where u a = u a (x, t) and v is a diagonalisable matrix with distinct real eigenvalues λ 1 (u) and λ 2 (u). Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
52 Hydrodynamic-type (HT) systems Definition (HT system (our case)) A system of PDEs is of HT if it has the form t u a = v a b(u) x u b, a, b = 1, 2 where u a = u a (x, t) and v is a diagonalisable matrix with distinct real eigenvalues λ 1 (u) and λ 2 (u). Theorem (Riemann invariants) A HT system admits coordinates R i (u) (called Riemann invariants) such that t R i = λ i (u(r)) x R i, i = 1, 2 (no summation). Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
53 Question: does my HT system admit a Hamiltonian formulation under a Poisson bracket of Dubrovin-Novikov type? δf ( {F, G} = δu a g ab (u) x + bab c (u) uc ) δg x δu b dx. R Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
54 Question: does my HT system admit a Hamiltonian formulation under a Poisson bracket of Dubrovin-Novikov type? δf ( {F, G} = δu a g ab (u) x + bab c (u) uc ) δg x δu b dx. Or u a t R ab δh = Ω δu b = g ab u c b c H }{{} x, v a c where is the Levi-Civita connection of g, H[u 1, u 2 ] = H(u 1, u 2 )dx and Ω ab = g ab x + u c bab c x Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
55 Answer [Ferapontov91]: It does iff there exists a flat diagonal metric k 1 d ( R 1) 2 + f 1 d ( R 2) 2 satisfying the following system of PDEs 2 k + 2Ak = 0, 1 f + 2Bf = 0, where A = 2λ 1 λ 2 λ 1, B = 1λ 2 λ 1 λ 2, and i = / R i Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
56 Answer [Ferapontov91]: It does iff there exists a flat diagonal metric k 1 d ( R 1) 2 + f 1 d ( R 2) 2 satisfying the following system of PDEs where And, by flatness, 2 k + 2Ak = 0, 1 f + 2Bf = 0, A = 2λ 1 λ 2 λ 1, B = 1λ 2 λ 1 λ 2, and i = / R i ( 2 A + A 2 )f + ( 1 B + B 2 )k A 2f B 1k = 0. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
57 Answer [Ferapontov91]: It does iff there exists a flat diagonal metric k 1 d ( R 1) 2 + f 1 d ( R 2) 2 satisfying the following system of PDEs where And, by flatness, 2 k + 2Ak = 0, 1 f + 2Bf = 0, A = 2λ 1 λ 2 λ 1, B = 1λ 2 λ 1 λ 2, and i = / R i ( 2 A + A 2 )f + ( 1 B + B 2 )k A 2f B 1k = 0. These are the compatibility conditions of the overdetermined system for H g ab b c H = v a c Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
58 Claim: The above overdetermined system of PDEs is equivalent to the Killing equations (a K b) = 0, where Γ 1 11 = 1 ln A 2B, Γ 2 22 = 2 ln B 2A, 1 ) 1 ) Γ 1 12 = ( 2 2 ln A + A, Γ 2 12 = ( 2 1 ln B + B, and K 1 = Af, K 2 = Bk. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
59 Claim: The above overdetermined system of PDEs is equivalent to the Killing equations (a K b) = 0, where Γ 1 11 = 1 ln A 2B, Γ 2 22 = 2 ln B 2A, 1 ) 1 ) Γ 1 12 = ( 2 2 ln A + A, Γ 2 12 = ( 2 1 ln B + B, and K 1 = Af, K 2 = Bk. Recall: A and B are determined by your HT system. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
60 Killing forms of the above connection are in 1 1 correspondence with Hamiltonians of the HT system. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
61 Killing forms of the above connection are in 1 1 correspondence with Hamiltonians of the HT system. Theorem A HT system admits 1, 2 or 3 Hamiltonian formulations iff its associated connection defined above admits 1, 2 or 3 independent linear first integrals respectively. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
62 Killing forms of the above connection are in 1 1 correspondence with Hamiltonians of the HT system. Theorem A HT system admits 1, 2 or 3 Hamiltonian formulations iff its associated connection defined above admits 1, 2 or 3 independent linear first integrals respectively. This connection defines the following projective structure Y = ( X ln (AB))Y ( Y ln (AB))(Y ) 2. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
63 Killing forms of the above connection are in 1 1 correspondence with Hamiltonians of the HT system. Theorem A HT system admits 1, 2 or 3 Hamiltonian formulations iff its associated connection defined above admits 1, 2 or 3 independent linear first integrals respectively. This connection defines the following projective structure Y = ( X ln (AB))Y ( Y ln (AB))(Y ) 2. Theorem This projective structure is metrisable by the Lorentzian metric A B d ( R 1) d ( R 2). Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
64 Corollary A HT sytem is trihamiltonian iff its associated connection has symmetric Ricci tensor and (AB) ln(ab) = const (metric of constant curvature). Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
65 Corollary A HT sytem is trihamiltonian iff its associated connection has symmetric Ricci tensor and (AB) ln(ab) = const (metric of constant curvature). A two-dimensional Frobenius manifold (M, η, e, E, ) (η=flat metric, e=identity, E=Euler vector field) with flat coordinates (t 1, t 2 ) defines a HT system t i t = ej cjl i t l x, where i j = c k ij k and e j = j. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
66 Corollary A HT sytem is trihamiltonian iff its associated connection has symmetric Ricci tensor and (AB) ln(ab) = const (metric of constant curvature). A two-dimensional Frobenius manifold (M, η, e, E, ) (η=flat metric, e=identity, E=Euler vector field) with flat coordinates (t 1, t 2 ) defines a HT system t i t = ej cjl i t l x, where i j = c k ij k and e j = j. Theorem HT systems arising from Frobenius manifolds are trihamiltonian. Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
67 Corollary A HT sytem is trihamiltonian iff its associated connection has symmetric Ricci tensor and (AB) ln(ab) = const (metric of constant curvature). A two-dimensional Frobenius manifold (M, η, e, E, ) (η=flat metric, e=identity, E=Euler vector field) with flat coordinates (t 1, t 2 ) defines a HT system t i t = ej cjl i t l x, where i j = c k ij k and e j = j. Theorem HT systems arising from Frobenius manifolds are trihamiltonian. The flat metrics determining the Poisson brackets are η ij (metric), h ij = E k η ik c j kl (intersection form) and h ik h jl η kl (whatever). Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
68 Outlook Statement of the problem of R. Liouville Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
69 Outlook Statement of the problem of R. Liouville Metrisability of the Painlevé equations and derivation of their first integrals Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
70 Outlook Statement of the problem of R. Liouville Metrisability of the Painlevé equations and derivation of their first integrals Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
71 Outlook Statement of the problem of R. Liouville Metrisability of the Painlevé equations and derivation of their first integrals Killing forms of affine connections Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
72 Outlook Statement of the problem of R. Liouville Metrisability of the Painlevé equations and derivation of their first integrals Killing forms of affine connections Hamiltonian structures of HT systems Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
73 Outlook Statement of the problem of R. Liouville Metrisability of the Painlevé equations and derivation of their first integrals Killing forms of affine connections Hamiltonian structures of HT systems Thank you! Felipe Contatto (DAMTP, Cambridge) LMS Durham Symposium July / 20
How to recognize a conformally Kähler metric
How to recognize a conformally Kähler metric Maciej Dunajski Department of Applied Mathematics and Theoretical Physics University of Cambridge MD, Paul Tod arxiv:0901.2261, Mathematical Proceedings of
More informationFirst integrals of affine connections and Hamiltonian systems of hydrodynamic type
Journal of Integrable Systems 2016) 00, 1 13 doi: 10.1093/integr/xyw009 First integrals of affine connections and Hamiltonian systems of hydrodynamic type Felipe Contatto and Maciej Dunajski Department
More informationHow to recognise the geodesics of a metric connection
Second CoE Talk at the University of Tokyo p. 1/19 How to recognise the geodesics of a metric connection Michael Eastwood Australian National University Second CoE Talk at the University of Tokyo p. 2/19
More informationSelf-dual conformal gravity
Self-dual conformal gravity Maciej Dunajski Department of Applied Mathematics and Theoretical Physics University of Cambridge MD, Paul Tod arxiv:1304.7772., Comm. Math. Phys. (2014). Dunajski (DAMTP, Cambridge)
More informationPaolo Lorenzoni Based on a joint work with Jenya Ferapontov and Andrea Savoldi
Hamiltonian operators of Dubrovin-Novikov type in 2D Paolo Lorenzoni Based on a joint work with Jenya Ferapontov and Andrea Savoldi June 14, 2015 Paolo Lorenzoni (Milano-Bicocca) Hamiltonian operators
More informationHow to recognise a conformally Einstein metric?
How to recognise a conformally Einstein metric? Maciej Dunajski Department of Applied Mathematics and Theoretical Physics University of Cambridge MD, Paul Tod arxiv:1304.7772., Comm. Math. Phys. (2014).
More informationGLASGOW Paolo Lorenzoni
GLASGOW 2018 Bi-flat F-manifolds, complex reflection groups and integrable systems of conservation laws. Paolo Lorenzoni Based on joint works with Alessandro Arsie Plan of the talk 1. Flat and bi-flat
More informationWeek 6: Differential geometry I
Week 6: Differential geometry I Tensor algebra Covariant and contravariant tensors Consider two n dimensional coordinate systems x and x and assume that we can express the x i as functions of the x i,
More informationClassical differential geometry of two-dimensional surfaces
Classical differential geometry of two-dimensional surfaces 1 Basic definitions This section gives an overview of the basic notions of differential geometry for twodimensional surfaces. It follows mainly
More informationWeek 9: Einstein s field equations
Week 9: Einstein s field equations Riemann tensor and curvature We are looking for an invariant characterisation of an manifold curved by gravity. As the discussion of normal coordinates showed, the first
More informationUNIVERSITY OF DUBLIN
UNIVERSITY OF DUBLIN TRINITY COLLEGE JS & SS Mathematics SS Theoretical Physics SS TSM Mathematics Faculty of Engineering, Mathematics and Science school of mathematics Trinity Term 2015 Module MA3429
More informationH-projective structures and their applications
1 H-projective structures and their applications David M. J. Calderbank University of Bath Based largely on: Marburg, July 2012 hamiltonian 2-forms papers with Vestislav Apostolov (UQAM), Paul Gauduchon
More informationPerelman s Dilaton. Annibale Magni (TU-Dortmund) April 26, joint work with M. Caldarelli, G. Catino, Z. Djadly and C.
Annibale Magni (TU-Dortmund) April 26, 2010 joint work with M. Caldarelli, G. Catino, Z. Djadly and C. Mantegazza Topics. Topics. Fundamentals of the Ricci flow. Topics. Fundamentals of the Ricci flow.
More informationFaculty of Engineering, Mathematics and Science School of Mathematics
Faculty of Engineering, Mathematics and Science School of Mathematics JS & SS Mathematics SS Theoretical Physics SS TSM Mathematics Module MA3429: Differential Geometry I Trinity Term 2018???, May??? SPORTS
More informationDispersionless integrable systems in 3D and Einstein-Weyl geometry. Eugene Ferapontov
Dispersionless integrable systems in 3D and Einstein-Weyl geometry Eugene Ferapontov Department of Mathematical Sciences, Loughborough University, UK E.V.Ferapontov@lboro.ac.uk Based on joint work with
More informationModuli spaces of Type A geometries EGEO 2016 La Falda, Argentina. Peter B Gilkey
EGEO 2016 La Falda, Argentina Mathematics Department, University of Oregon, Eugene OR USA email: gilkey@uoregon.edu a Joint work with M. Brozos-Vázquez, E. García-Río, and J.H. Park a Partially supported
More information1. Geometry of the unit tangent bundle
1 1. Geometry of the unit tangent bundle The main reference for this section is [8]. In the following, we consider (M, g) an n-dimensional smooth manifold endowed with a Riemannian metric g. 1.1. Notations
More informationGeneralized Ricci Solitons. Paweł Nurowski & Matthew Randall
Generalized Ricci Solitons Paweł Nurowski & Matthew Randall The Journal of Geometric Analysis ISSN 1050-6926 J Geom Anal DOI 10.1007/s12220-015-9592-8 1 23 Your article is protected by copyright and all
More informationLorentzian elasticity arxiv:
Lorentzian elasticity arxiv:1805.01303 Matteo Capoferri and Dmitri Vassiliev University College London 14 July 2018 Abstract formulation of elasticity theory Consider a manifold M equipped with non-degenerate
More informationDifferential Geometry MTG 6257 Spring 2018 Problem Set 4 Due-date: Wednesday, 4/25/18
Differential Geometry MTG 6257 Spring 2018 Problem Set 4 Due-date: Wednesday, 4/25/18 Required problems (to be handed in): 2bc, 3, 5c, 5d(i). In doing any of these problems, you may assume the results
More informationFrom holonomy reductions of Cartan geometries to geometric compactifications
From holonomy reductions of Cartan geometries to geometric compactifications 1 University of Vienna Faculty of Mathematics Berlin, November 11, 2016 1 supported by project P27072 N25 of the Austrian Science
More informationarxiv: v3 [math.dg] 13 Mar 2011
GENERALIZED QUASI EINSTEIN MANIFOLDS WITH HARMONIC WEYL TENSOR GIOVANNI CATINO arxiv:02.5405v3 [math.dg] 3 Mar 20 Abstract. In this paper we introduce the notion of generalized quasi Einstein manifold,
More information7 Curvature of a connection
[under construction] 7 Curvature of a connection 7.1 Theorema Egregium Consider the derivation equations for a hypersurface in R n+1. We are mostly interested in the case n = 2, but shall start from the
More informationLECTURE 8: THE SECTIONAL AND RICCI CURVATURES
LECTURE 8: THE SECTIONAL AND RICCI CURVATURES 1. The Sectional Curvature We start with some simple linear algebra. As usual we denote by ( V ) the set of 4-tensors that is anti-symmetric with respect to
More informationInvariant Nonholonomic Riemannian Structures on Three-Dimensional Lie Groups
Invariant Nonholonomic Riemannian Structures on Three-Dimensional Lie Groups Dennis I. Barrett Geometry, Graphs and Control (GGC) Research Group Department of Mathematics, Rhodes University Grahamstown,
More informationDIFFERENTIAL GEOMETRY. LECTURE 12-13,
DIFFERENTIAL GEOMETRY. LECTURE 12-13, 3.07.08 5. Riemannian metrics. Examples. Connections 5.1. Length of a curve. Let γ : [a, b] R n be a parametried curve. Its length can be calculated as the limit of
More informationHolonomy groups. Thomas Leistner. Mathematics Colloquium School of Mathematics and Physics The University of Queensland. October 31, 2011 May 28, 2012
Holonomy groups Thomas Leistner Mathematics Colloquium School of Mathematics and Physics The University of Queensland October 31, 2011 May 28, 2012 1/17 The notion of holonomy groups is based on Parallel
More informationThe geometry of hydrodynamic integrability
1 The geometry of hydrodynamic integrability David M. J. Calderbank University of Bath October 2017 2 What is hydrodynamic integrability? A test for integrability of dispersionless systems of PDEs. Introduced
More informationBackground on c-projective geometry
Second Kioloa Workshop on C-projective Geometry p. 1/26 Background on c-projective geometry Michael Eastwood [ following the work of others ] Australian National University Second Kioloa Workshop on C-projective
More informationA dispersionless integrable system associated to Diff(S 1 ) gauge theory
DAMTP-2005-26 A dispersionless integrable system associated to Diff(S 1 gauge theory Maciej Dunajski Department of Applied Mathematics and Theoretical Physics University of Cambridge Wilberforce Road,
More informationarxiv: v1 [math-ph] 2 Aug 2010
arxiv:1008.0360v1 [math-ph] 2 Aug 2010 Fractional Exact Solutions and Solitons in Gravity Dumitru Baleanu Department of Mathematics and Computer Sciences, Çankaya University, 06530, Ankara, Turkey Sergiu
More informationMoment Maps and Toric Special Holonomy
Department of Mathematics, University of Aarhus PADGE, August 2017, Leuven DFF - 6108-00358 Delzant HyperKähler G 2 Outline The Delzant picture HyperKähler manifolds Hypertoric Construction G 2 manifolds
More information1 First and second variational formulas for area
1 First and second variational formulas for area In this chapter, we will derive the first and second variational formulas for the area of a submanifold. This will be useful in our later discussion on
More informationComplete integrability of geodesic motion in Sasaki-Einstein toric spaces
Complete integrability of geodesic motion in Sasaki-Einstein toric spaces Mihai Visinescu Department of Theoretical Physics National Institute for Physics and Nuclear Engineering Horia Hulubei Bucharest,
More informationHomogeneous para-kähler Einstein manifolds. Dmitri V. Alekseevsky
Homogeneous para-kähler Einstein manifolds Dmitri V. Alekseevsky Hamburg,14-18 July 2008 1 The talk is based on a joint work with C.Medori and A.Tomassini (Parma) See ArXiv 0806.2272, where also a survey
More informationTopological Solitons from Geometry
Topological Solitons from Geometry Maciej Dunajski Department of Applied Mathematics and Theoretical Physics University of Cambridge Atiyah, Manton, Schroers. Geometric models of matter. arxiv:1111.2934.
More information2-Form Gravity of the Lorentzian Signature
2-Form Gravity of the Lorentzian Signature Jerzy Lewandowski 1 and Andrzej Oko lów 2 Instytut Fizyki Teoretycznej, Uniwersytet Warszawski, ul. Hoża 69, 00-681 Warszawa, Poland arxiv:gr-qc/9911121v1 30
More informationA brief introduction to Semi-Riemannian geometry and general relativity. Hans Ringström
A brief introduction to Semi-Riemannian geometry and general relativity Hans Ringström May 5, 2015 2 Contents 1 Scalar product spaces 1 1.1 Scalar products...................................... 1 1.2 Orthonormal
More informationExact Solutions of the Einstein Equations
Notes from phz 6607, Special and General Relativity University of Florida, Fall 2004, Detweiler Exact Solutions of the Einstein Equations These notes are not a substitute in any manner for class lectures.
More informationHigher codimension CR structures, Levi-Kähler reduction and toric geometry
Higher codimension CR structures, Levi-Kähler reduction and toric geometry Vestislav Apostolov (Université du Québec à Montréal) May, 2015 joint work in progress with David Calderbank (University of Bath);
More informationA note on the principle of least action and Dirac matrices
AEI-2012-051 arxiv:1209.0332v1 [math-ph] 3 Sep 2012 A note on the principle of least action and Dirac matrices Maciej Trzetrzelewski Max-Planck-Institut für Gravitationsphysik, Albert-Einstein-Institut,
More information5 Constructions of connections
[under construction] 5 Constructions of connections 5.1 Connections on manifolds and the Levi-Civita theorem We start with a bit of terminology. A connection on the tangent bundle T M M of a manifold M
More informationElements of differential geometry
Elements of differential geometry R.Beig (Univ. Vienna) ESI-EMS-IAMP School on Mathematical GR, 28.7. - 1.8. 2014 1. tensor algebra 2. manifolds, vector and covector fields 3. actions under diffeos and
More informationSyllabus. May 3, Special relativity 1. 2 Differential geometry 3
Syllabus May 3, 2017 Contents 1 Special relativity 1 2 Differential geometry 3 3 General Relativity 13 3.1 Physical Principles.......................................... 13 3.2 Einstein s Equation..........................................
More informationMath 1060 Linear Algebra Homework Exercises 1 1. Find the complete solutions (if any!) to each of the following systems of simultaneous equations:
Homework Exercises 1 1 Find the complete solutions (if any!) to each of the following systems of simultaneous equations: (i) x 4y + 3z = 2 3x 11y + 13z = 3 2x 9y + 2z = 7 x 2y + 6z = 2 (ii) x 4y + 3z =
More informationRepresentation theory and the X-ray transform
AMSI Summer School on Integral Geometry and Imaging at the University of New England, Lecture 1 p. 1/18 Representation theory and the X-ray transform Differential geometry on real and complex projective
More informationVladimir S. Matveev (Jena) Canberra matveev
Vladimir S. Matveev (Jena) How to reconstruct a metric by its unparameterized geodesics. Canberra 16.09.21 www.minet.uni-jena.de/ matveev Suppose we would like to understand the structure of the space-time
More informationPHYS 4390: GENERAL RELATIVITY NON-COORDINATE BASIS APPROACH
PHYS 4390: GENERAL RELATIVITY NON-COORDINATE BASIS APPROACH 1. Differential Forms To start our discussion, we will define a special class of type (0,r) tensors: Definition 1.1. A differential form of order
More informationclass # MATH 7711, AUTUMN 2017 M-W-F 3:00 p.m., BE 128 A DAY-BY-DAY LIST OF TOPICS
class # 34477 MATH 7711, AUTUMN 2017 M-W-F 3:00 p.m., BE 128 A DAY-BY-DAY LIST OF TOPICS [DG] stands for Differential Geometry at https://people.math.osu.edu/derdzinski.1/courses/851-852-notes.pdf [DFT]
More informationarxiv: v2 [math.dg] 18 Jun 2014
EINSTEIN METRICS IN PROJECTIVE GEOMETRY A. ČAP, A. R. GOVER & H. R. MACBETH arxiv:1207.0128v2 [math.dg] 18 Jun 2014 Abstract. It is well known that pseudo Riemannian metrics in the projective class of
More informationChap. 3. Controlled Systems, Controllability
Chap. 3. Controlled Systems, Controllability 1. Controllability of Linear Systems 1.1. Kalman s Criterion Consider the linear system ẋ = Ax + Bu where x R n : state vector and u R m : input vector. A :
More informationClassification problems in conformal geometry
First pedagogical talk, Geometry and Physics in Cracow, the Jagiellonian University p. 1/13 Classification problems in conformal geometry Introduction to conformal differential geometry Michael Eastwood
More informationVladimir S. Matveev (Jena) Degrees of mobility of projective and h-projective structures:
Vladimir S. Matveev (Jena) Degrees of mobility of projective and h-projective structures: The projective part is joint with A. Fedorova. The h-projective part is joint with S. Rosemann. Vienna 11.9.; The
More informationGeneral relativity and the Einstein equations
April 23, 2013 Special relativity 1905 Let S and S be two observers moving with velocity v relative to each other along the x-axis and let (t, x) and (t, x ) be the coordinate systems used by these observers.
More information[#1] R 3 bracket for the spherical pendulum
.. Holm Tuesday 11 January 2011 Solutions to MSc Enhanced Coursework for MA16 1 M3/4A16 MSc Enhanced Coursework arryl Holm Solutions Tuesday 11 January 2011 [#1] R 3 bracket for the spherical pendulum
More informationPAPER 52 GENERAL RELATIVITY
MATHEMATICAL TRIPOS Part III Monday, 1 June, 2015 9:00 am to 12:00 pm PAPER 52 GENERAL RELATIVITY Attempt no more than THREE questions. There are FOUR questions in total. The questions carry equal weight.
More informationCENTROAFFINE HYPEROVALOIDS WITH EINSTEIN METRIC
CENTROAFFINE HYPEROVALOIDS WITH EINSTEIN METRIC Udo Simon November 2015, Granada We study centroaffine hyperovaloids with centroaffine Einstein metric. We prove: the hyperovaloid must be a hyperellipsoid..
More informationTensors, and differential forms - Lecture 2
Tensors, and differential forms - Lecture 2 1 Introduction The concept of a tensor is derived from considering the properties of a function under a transformation of the coordinate system. A description
More informationTwo dimensional manifolds
Two dimensional manifolds We are given a real two-dimensional manifold, M. A point of M is denoted X and local coordinates are X (x, y) R 2. If we use different local coordinates, (x, y ), we have x f(x,
More informationA connection between Lorentzian distance and mechanical least action
A connection between Lorentzian distance and mechanical least action Ettore Minguzzi Università Degli Studi Di Firenze Non-commutative structures and non-relativistic (super)symmetries, LMPT Tours, June
More informationBrief course of lectures at 18th APCTP Winter School on Fundamental Physics
Brief course of lectures at 18th APCTP Winter School on Fundamental Physics Pohang, January 20 -- January 28, 2014 Motivations : (1) Extra-dimensions and string theory (2) Brane-world models (3) Black
More informationLecture II: Hamiltonian formulation of general relativity
Lecture II: Hamiltonian formulation of general relativity (Courses in canonical gravity) Yaser Tavakoli December 16, 2014 1 Space-time foliation The Hamiltonian formulation of ordinary mechanics is given
More informationInequivalence of First and Second Order Formulations in D=2 Gravity Models 1
BRX TH-386 Inequivalence of First and Second Order Formulations in D=2 Gravity Models 1 S. Deser Department of Physics Brandeis University, Waltham, MA 02254, USA The usual equivalence between the Palatini
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationHolonomy groups. Thomas Leistner. School of Mathematical Sciences Colloquium University of Adelaide, May 7, /15
Holonomy groups Thomas Leistner School of Mathematical Sciences Colloquium University of Adelaide, May 7, 2010 1/15 The notion of holonomy groups is based on Parallel translation Let γ : [0, 1] R 2 be
More informationUnimodularity and preservation of measures in nonholonomic mechanics
Unimodularity and preservation of measures in nonholonomic mechanics Luis García-Naranjo (joint with Y. Fedorov and J.C. Marrero) Mathematics Department ITAM, Mexico City, MEXICO ẋ = f (x), x M n, f smooth
More informationRiemannian Curvature Functionals: Lecture I
Riemannian Curvature Functionals: Lecture I Jeff Viaclovsky Park City athematics Institute July 16, 2013 Overview of lectures The goal of these lectures is to gain an understanding of critical points of
More informationGaps, Symmetry, Integrability
Gaps, Symmetry, Integrability Boris Kruglikov University of Tromsø based on the joint work with Dennis The The gap problem Gaps and Symmetreis: Old and New Que: If a geometry is not flat, how much symmetry
More informationQuantization of scalar fields
Quantization of scalar fields March 8, 06 We have introduced several distinct types of fields, with actions that give their field equations. These include scalar fields, S α ϕ α ϕ m ϕ d 4 x and complex
More informationVariable separation and second order superintegrability
Variable separation and second order superintegrability Willard Miller (Joint with E.G.Kalnins) miller@ima.umn.edu University of Minnesota IMA Talk p.1/59 Abstract In this talk we shall first describe
More informationIntroduction to Numerical Relativity
Introduction to Numerical Relativity Given a manifold M describing a spacetime with 4-metric we want to foliate it via space-like, threedimensional hypersurfaces: {Σ i }. We label such hypersurfaces with
More informationProper curvature collineations in Bianchi type-ii space-times( )
IL NUOVO CIMENTO Vol. 121 B, N. 3 Marzo 2006 DOI 10.1393/ncb/i2006-10044-7 Proper curvature collineations in Bianchi type-ii space-times( G. Shabbir( Faculty of Engineering Sciences, GIK Institute of Engineering
More informationChap. 1. Some Differential Geometric Tools
Chap. 1. Some Differential Geometric Tools 1. Manifold, Diffeomorphism 1.1. The Implicit Function Theorem ϕ : U R n R n p (0 p < n), of class C k (k 1) x 0 U such that ϕ(x 0 ) = 0 rank Dϕ(x) = n p x U
More informationHigher dimensional Kerr-Schild spacetimes 1
Higher dimensional Kerr-Schild spacetimes 1 Marcello Ortaggio Institute of Mathematics Academy of Sciences of the Czech Republic Bremen August 2008 1 Joint work with V. Pravda and A. Pravdová, arxiv:0808.2165
More informationON SOME GEOMETRIC PROPERTIES OF QUASI-SUM PRODUCTION MODELS. 1. Introduction
ON SOME GEOMETRIC PROPERTIES OF QUASI-SUM PRODUCTION MODELS BANG-YEN CHEN Abstract. A production function f is called quasi-sum if there are continuous strict monotone functions F, h 1,..., h n with F
More informationDIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17
DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17 6. Geodesics A parametrized line γ : [a, b] R n in R n is straight (and the parametrization is uniform) if the vector γ (t) does not depend on t. Thus,
More informationarxiv: v1 [math-ph] 5 May 2015
FERMIONIC NOVIKOV ALGEBRAS ADMITTING INVARIANT NON-DEGENERATE SYMMETRIC BILINEAR FORMS ARE NOVIKOV ALGEBRAS ZHIQI CHEN AND MING DING arxiv:155967v1 [math-ph] 5 May 215 Abstract This paper is to prove that
More informationGlobal Lie-Tresse theorem
Global Lie-Tresse theorem Boris Kruglikov University of Tromsø, Norway (in part joint with: V.Lychagin, O. Morozov, E. Ferapontov) Group actions and classical Invariants The classical problem in invariant
More informationExercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1
Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines
More informationTutorial General Relativity
Tutorial General Relativity Winter term 016/017 Sheet No. 3 Solutions will be discussed on Nov/9/16 Lecturer: Prof. Dr. C. Greiner Tutor: Hendrik van Hees 1. Tensor gymnastics (a) Let Q ab = Q ba be a
More informationGEOMETRIC QUANTIZATION
GEOMETRIC QUANTIZATION 1. The basic idea The setting of the Hamiltonian version of classical (Newtonian) mechanics is the phase space (position and momentum), which is a symplectic manifold. The typical
More informationSymmetry Preserving Numerical Methods via Moving Frames
Symmetry Preserving Numerical Methods via Moving Frames Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver = Pilwon Kim, Martin Welk Cambridge, June, 2007 Symmetry Preserving Numerical
More informationMetrics and Holonomy
Metrics and Holonomy Jonathan Herman The goal of this paper is to understand the following definitions of Kähler and Calabi-Yau manifolds: Definition. A Riemannian manifold is Kähler if and only if it
More informationProblem 1, Lorentz transformations of electric and magnetic
Problem 1, Lorentz transformations of electric and magnetic fields We have that where, F µν = F µ ν = L µ µ Lν ν F µν, 0 B 3 B 2 ie 1 B 3 0 B 1 ie 2 B 2 B 1 0 ie 3 ie 2 ie 2 ie 3 0. Note that we use the
More informationGravitation: Tensor Calculus
An Introduction to General Relativity Center for Relativistic Astrophysics School of Physics Georgia Institute of Technology Notes based on textbook: Spacetime and Geometry by S.M. Carroll Spring 2013
More informationarxiv: v2 [math.dg] 7 Aug 2007
arxiv:0705.3592v2 [math.dg] 7 Aug 2007 A solution of a problem of Sophus Lie: Normal forms of 2-dim metrics admitting two projective vector fields. Robert L. Bryant, Gianni Manno, Vladimir S. Matveev Abstract
More informationLiouville integrability of Hamiltonian systems and spacetime symmetry
Seminar, Kobe U., April 22, 2015 Liouville integrability of Hamiltonian systems and spacetime symmetry Tsuyoshi Houri with D. Kubiznak (Perimeter Inst.), C. Warnick (Warwick U.) Y. Yasui (OCU Setsunan
More informationGeneral Relativity (225A) Fall 2013 Assignment 6 Solutions
University of California at San Diego Department of Physics Prof. John McGreevy General Relativity (225A) Fall 2013 Assignment 6 Solutions Posted November 4, 2013 Due Wednesday, November 13, 2013 Note
More informationAbelian vortices from Sinh Gordon and Tzitzeica equations
DAMTP-01-1 Abelian vortices from Sinh Gordon and Tzitzeica equations Maciej Dunajski Department of Applied Mathematics and Theoretical Physics, University of Cambridge, Wilberforce Road, Cambridge CB3
More informationCausality, hyperbolicity, and shock formation in Lovelock theories
Causality, hyperbolicity, and shock formation in Lovelock theories Harvey Reall DAMTP, Cambridge University HSR, N. Tanahashi and B. Way, arxiv:1406.3379, 1409.3874 G. Papallo, HSR arxiv:1508.05303 Lovelock
More informationPAPER 309 GENERAL RELATIVITY
MATHEMATICAL TRIPOS Part III Monday, 30 May, 2016 9:00 am to 12:00 pm PAPER 309 GENERAL RELATIVITY Attempt no more than THREE questions. There are FOUR questions in total. The questions carry equal weight.
More information1 Normal (geodesic) coordinates
Riemannian Geometry The Bochner- Weitzenbock formula If we need to verify some tensor identity (or inequality) on Riemannina manifolds, we only need to choose, at every point, a suitable local coordinate,
More informationNotes on torsion. Arkadiusz Jadczyk. October 11, 2010
Notes on torsion Arkadiusz Jadczyk October 11, 2010 A torsion is a torsion of a linear connection. What is a linear connection? For this we need an n-dimensional manifold M (assumed here to be smooth).
More informationTwo simple ideas from calculus applied to Riemannian geometry
Calibrated Geometries and Special Holonomy p. 1/29 Two simple ideas from calculus applied to Riemannian geometry Spiro Karigiannis karigiannis@math.uwaterloo.ca Department of Pure Mathematics, University
More informationNon-Commutative Worlds
Non-Commutative Worlds Louis H. Kauffman*(kauffman@uic.edu) We explore how a discrete viewpoint about physics is related to non-commutativity, gauge theory and differential geometry.
More informationGlobal aspects of Lorentzian manifolds with special holonomy
1/13 Global aspects of Lorentzian manifolds with special holonomy Thomas Leistner International Fall Workshop on Geometry and Physics Évora, September 2 5, 2013 Outline 2/13 1 Lorentzian holonomy Holonomy
More informationProjective parabolic geometries
Projective parabolic geometries David M. J. Calderbank University of Bath ESI Wien, September 2012 Based partly on: Hamiltonian 2-forms in Kähler geometry, with Vestislav Apostolov (UQAM), Paul Gauduchon
More informationAll symmetric AdS n>2 solutions of type II supergravity
All symmetric AdS n>2 solutions of type II supergravity arxiv:1706.02118v3 [hep-th] 28 Nov 2017 Linus Wulff Department of Theoretical Physics and Astrophysics, Masaryk University, 611 37 Brno, Czech Republic
More informationOn divergence representations of the Gaussian and the mean curvature of surfaces and applications
Bull. Nov. Comp. Center, Math. Model. in Geoph., 17 (014), 35 45 c 014 NCC Publisher On divergence representations of the Gaussian and the mean curvature of surfaces and applications A.G. Megrabov Abstract.
More informationNEW LIFTS OF SASAKI TYPE OF THE RIEMANNIAN METRICS
NEW LIFTS OF SASAKI TYPE OF THE RIEMANNIAN METRICS Radu Miron Abstract One defines new elliptic and hyperbolic lifts to tangent bundle T M of a Riemann metric g given on the base manifold M. They are homogeneous
More information