A dynamical system related to GIT Nolan R. Wallach June 4,2015 N. - - PowerPoint PPT Presentation

a dynamical system related to git
SMART_READER_LITE
LIVE PREVIEW

A dynamical system related to GIT Nolan R. Wallach June 4,2015 N. - - PowerPoint PPT Presentation

A dynamical system related to GIT Nolan R. Wallach June 4,2015 N. Wallach () A dynamical system 6/4 1 / 18 A gradient system Let R [ x 1 , ..., x n ] be a polynomial that is homogeneous of degree m such that ( x ) 0 for all x


slide-1
SLIDE 1

A dynamical system related to GIT

Nolan R. Wallach June 4,2015

  • N. Wallach ()

A dynamical system 6/4 1 / 18

slide-2
SLIDE 2

A gradient system

Let φ ∈ R[x1, ..., xn] be a polynomial that is homogeneous of degree m such that φ(x) ≥ 0 for all x ∈ Rn. We consider the gradient system dx dt = −∇φ(x)

  • N. Wallach ()

A dynamical system 6/4 2 / 18

slide-3
SLIDE 3

A gradient system

Let φ ∈ R[x1, ..., xn] be a polynomial that is homogeneous of degree m such that φ(x) ≥ 0 for all x ∈ Rn. We consider the gradient system dx dt = −∇φ(x) Note that ∇φ(x), x = mφ(x) Denoting by F(t, x) the solution to the system near t = 0 with F(0, x) = x. Then d dt F(t, x), F(t, x) = −2 ∇φ(F(t, x)), F(t, x) = −2mφ(F(t, x)) ≤ 0.

  • N. Wallach ()

A dynamical system 6/4 2 / 18

slide-4
SLIDE 4

This implies F(t, x) ≤ x where defined for t ≥ 0 and hence F(t, x) is defined for all t ≥ 0.

  • N. Wallach ()

A dynamical system 6/4 3 / 18

slide-5
SLIDE 5

This implies F(t, x) ≤ x where defined for t ≥ 0 and hence F(t, x) is defined for all t ≥ 0. The formula ∇φ(x), x = mφ(x) combined with the Schwarz inequality implies that ∇φ(x) x ≥ mφ(x).

  • N. Wallach ()

A dynamical system 6/4 3 / 18

slide-6
SLIDE 6

This implies F(t, x) ≤ x where defined for t ≥ 0 and hence F(t, x) is defined for all t ≥ 0. The formula ∇φ(x), x = mφ(x) combined with the Schwarz inequality implies that ∇φ(x) x ≥ mφ(x). The Lojasiewicz gradient inequality implies the following

  • improvement. There exists 0 < ε ≤

1 m−1 and C > 0 both depending

  • nly on φ such that

∇φ(x)1+ε x1−(m−1)ε ≥ Cφ(x).

  • N. Wallach ()

A dynamical system 6/4 3 / 18

slide-7
SLIDE 7

We take ε and C as above (but allow ε = 0 which is easy). If we write F for F(t, X) and H(t) = φ(F(t, x)) then we have H(t) = −dφ(F)∇φ(F) = − ∇φ(F)2 .

  • N. Wallach ()

A dynamical system 6/4 4 / 18

slide-8
SLIDE 8

We take ε and C as above (but allow ε = 0 which is easy). If we write F for F(t, X) and H(t) = φ(F(t, x)) then we have H(t) = −dφ(F)∇φ(F) = − ∇φ(F)2 . If t ≥ 0 and x ≤ r ∇φ(F)1+ε r1−(m−1)ε ≥ ∇φ(F)1+ε F1−(m−1)ε ≥ Cφ(x).

  • N. Wallach ()

A dynamical system 6/4 4 / 18

slide-9
SLIDE 9

We take ε and C as above (but allow ε = 0 which is easy). If we write F for F(t, X) and H(t) = φ(F(t, x)) then we have H(t) = −dφ(F)∇φ(F) = − ∇φ(F)2 . If t ≥ 0 and x ≤ r ∇φ(F)1+ε r1−(m−1)ε ≥ ∇φ(F)1+ε F1−(m−1)ε ≥ Cφ(x). We will now run through what has come to be called “the Lojasiewicz argument” which I learned from a beautiful exposition of Neeman’s theorem by Gerry Schwarz.

  • N. Wallach ()

A dynamical system 6/4 4 / 18

slide-10
SLIDE 10

∇φ(F)1+ε ≥ C r1−3ε φ(F).

  • N. Wallach ()

A dynamical system 6/4 5 / 18

slide-11
SLIDE 11

∇φ(F)1+ε ≥ C r1−3ε φ(F). ∇φ(F)2 ≥

  • C

r1−3ε

  • 2

1+ε

φ(F)

2 1+ε .

  • N. Wallach ()

A dynamical system 6/4 5 / 18

slide-12
SLIDE 12

∇φ(F)1+ε ≥ C r1−3ε φ(F). ∇φ(F)2 ≥

  • C

r1−3ε

  • 2

1+ε

φ(F)

2 1+ε .

|H(t)| ≥ 1 2

  • C

r1−3ε

  • 2

1+ε

φ(F)

2 1+ε = C1(r)H(t) 2 1+ε .

  • N. Wallach ()

A dynamical system 6/4 5 / 18

slide-13
SLIDE 13

∇φ(F)1+ε ≥ C r1−3ε φ(F). ∇φ(F)2 ≥

  • C

r1−3ε

  • 2

1+ε

φ(F)

2 1+ε .

|H(t)| ≥ 1 2

  • C

r1−3ε

  • 2

1+ε

φ(F)

2 1+ε = C1(r)H(t) 2 1+ε .

Since H(t) ≤ 0 for t ≥ 0 we have −H(t) ≥ C1(r)H(t)

2 1+ε .

Assuming H(t) > 0 we have

  • N. Wallach ()

A dynamical system 6/4 5 / 18

slide-14
SLIDE 14

∇φ(F)1+ε ≥ C r1−3ε φ(F). ∇φ(F)2 ≥

  • C

r1−3ε

  • 2

1+ε

φ(F)

2 1+ε .

|H(t)| ≥ 1 2

  • C

r1−3ε

  • 2

1+ε

φ(F)

2 1+ε = C1(r)H(t) 2 1+ε .

Since H(t) ≤ 0 for t ≥ 0 we have −H(t) ≥ C1(r)H(t)

2 1+ε .

Assuming H(t) > 0 we have d dt H(t)− 1−ε

1+ε = −1 − ε

1 + ε H(t) H(t)

2 1+ε ≥ C1(r)

  • N. Wallach ()

A dynamical system 6/4 5 / 18

slide-15
SLIDE 15

H(t)− 1−ε

1+ε ≥ C1(r)t.

  • N. Wallach ()

A dynamical system 6/4 6 / 18

slide-16
SLIDE 16

H(t)− 1−ε

1+ε ≥ C1(r)t.

H(t) ≤ C2(r)t− (1+ε)

1−ε ≤ C2(r)t−(1+ε),

  • N. Wallach ()

A dynamical system 6/4 6 / 18

slide-17
SLIDE 17

H(t)− 1−ε

1+ε ≥ C1(r)t.

H(t) ≤ C2(r)t− (1+ε)

1−ε ≤ C2(r)t−(1+ε),

This is true if H(t) = 0 so the formula is valid for all t > 0.

  • N. Wallach ()

A dynamical system 6/4 6 / 18

slide-18
SLIDE 18

H(t)− 1−ε

1+ε ≥ C1(r)t.

H(t) ≤ C2(r)t− (1+ε)

1−ε ≤ C2(r)t−(1+ε),

This is true if H(t) = 0 so the formula is valid for all t > 0. This is the first half of the calculus part of the Lojasiewicz argument. The first implication needs only the easy case ε = 0. If x ≤ r then φ(F(t, x)) ≤ C(r) t so limt→+∞ φ(F(t, x)) = 0 uniformly for x in compacta. We now do the rest of the Lojasiewicz argument which uses the existence of ε > 0.

  • N. Wallach ()

A dynamical system 6/4 6 / 18

slide-19
SLIDE 19

Let f (t) = t1+δ with 0 < δ < ε then for t > 0 0 < H(t)f (t) ≤ C2(r)(1 + δ)t−1−(ε−δ).

  • N. Wallach ()

A dynamical system 6/4 7 / 18

slide-20
SLIDE 20

Let f (t) = t1+δ with 0 < δ < ε then for t > 0 0 < H(t)f (t) ≤ C2(r)(1 + δ)t−1−(ε−δ). H(s)f (s) − H(t)f (t) =

s

t

d du (H(u)f (u))du =

s

t H(u)f (u)du +

s

t H(u)f (u)du.

  • N. Wallach ()

A dynamical system 6/4 7 / 18

slide-21
SLIDE 21

Let f (t) = t1+δ with 0 < δ < ε then for t > 0 0 < H(t)f (t) ≤ C2(r)(1 + δ)t−1−(ε−δ). H(s)f (s) − H(t)f (t) =

s

t

d du (H(u)f (u))du =

s

t H(u)f (u)du +

s

t H(u)f (u)du.

s

t H(u)f (u)du =

s

t H(u)f (u)du + H(t)f (t) − H(s)f (s).

0 ≤ H(s)f (s) ≤ C2(r)s−(1+ε)s1+δ = C2(r)s−(ε−δ).

  • N. Wallach ()

A dynamical system 6/4 7 / 18

slide-22
SLIDE 22

Let f (t) = t1+δ with 0 < δ < ε then for t > 0 0 < H(t)f (t) ≤ C2(r)(1 + δ)t−1−(ε−δ). H(s)f (s) − H(t)f (t) =

s

t

d du (H(u)f (u))du =

s

t H(u)f (u)du +

s

t H(u)f (u)du.

s

t H(u)f (u)du =

s

t H(u)f (u)du + H(t)f (t) − H(s)f (s).

0 ≤ H(s)f (s) ≤ C2(r)s−(1+ε)s1+δ = C2(r)s−(ε−δ). lim

s→+∞

s

t

  • H(u)
  • f (u)du =

t

H(u)f (u)du + H(t)f (t).

  • N. Wallach ()

A dynamical system 6/4 7 / 18

slide-23
SLIDE 23

Thus

  • |H(u)| f (u) is in L2([t, +∞)) for all t > 0 and so
  • |H(u)| =
  • |H(u)| f (u)u− (1+δ)

2

∈ L1([t, +∞)).

  • N. Wallach ()

A dynamical system 6/4 8 / 18

slide-24
SLIDE 24

Thus

  • |H(u)| f (u) is in L2([t, +∞)) for all t > 0 and so
  • |H(u)| =
  • |H(u)| f (u)u− (1+δ)

2

∈ L1([t, +∞)).

  • Theorem. If t > 0 then

+∞

t

  • d

du F(u, x)

  • du

converges uniformly for x ≤ r.

  • N. Wallach ()

A dynamical system 6/4 8 / 18

slide-25
SLIDE 25

Thus

  • |H(u)| f (u) is in L2([t, +∞)) for all t > 0 and so
  • |H(u)| =
  • |H(u)| f (u)u− (1+δ)

2

∈ L1([t, +∞)).

  • Theorem. If t > 0 then

+∞

t

  • d

du F(u, x)

  • du

converges uniformly for x ≤ r.

t

d du F(u, x)du converges absolutely and uniformly for x ≤ r.

  • N. Wallach ()

A dynamical system 6/4 8 / 18

slide-26
SLIDE 26

Thus

  • |H(u)| f (u) is in L2([t, +∞)) for all t > 0 and so
  • |H(u)| =
  • |H(u)| f (u)u− (1+δ)

2

∈ L1([t, +∞)).

  • Theorem. If t > 0 then

+∞

t

  • d

du F(u, x)

  • du

converges uniformly for x ≤ r.

t

d du F(u, x)du converges absolutely and uniformly for x ≤ r. Noting that if s > t then

s

t

d du F(u, x)du = F(s, x) − F(t, x) we have for t > 0 lim

s→∞ F(s, x) =

t

d du F(u, x)du + F(t, x).

  • N. Wallach ()

A dynamical system 6/4 8 / 18

slide-27
SLIDE 27

Finally, set L(t, x) = F(

t 1−t , x) and define L(1, x) by the limit above

then L : [0, 1] × Rn → Rn is continuous and since ∇φ(x) = 0 ⇐ ⇒ φ(x) = 0 we have

  • N. Wallach ()

A dynamical system 6/4 9 / 18

slide-28
SLIDE 28

Finally, set L(t, x) = F(

t 1−t , x) and define L(1, x) by the limit above

then L : [0, 1] × Rn → Rn is continuous and since ∇φ(x) = 0 ⇐ ⇒ φ(x) = 0 we have

  • Theorem. L : [0, 1] × Rn → Rn defines a strong deformation

retraction of Rn onto Y = {x ∈ Rn|φ(x) = 0}.

  • N. Wallach ()

A dynamical system 6/4 9 / 18

slide-29
SLIDE 29

Finally, set L(t, x) = F(

t 1−t , x) and define L(1, x) by the limit above

then L : [0, 1] × Rn → Rn is continuous and since ∇φ(x) = 0 ⇐ ⇒ φ(x) = 0 we have

  • Theorem. L : [0, 1] × Rn → Rn defines a strong deformation

retraction of Rn onto Y = {x ∈ Rn|φ(x) = 0}.

  • Corollary. If Z ⊂ Rn is closed and such that F(t, z) ∈ Z for t ≥ 0

and z ∈ Z then H : [0, 1] × Z → Z defines a strong deformation retraction of Z onto Z ∩ Y .

  • N. Wallach ()

A dynamical system 6/4 9 / 18

slide-30
SLIDE 30

Kempf-Ness over the reals

Let G be an open subgroup of a Zariski closed subgroup of GL(n, R) that is closed under real adjoint relative to the standard inner product,..., ..., g → g ∗. Let K = G ∩ O(n). Then K is a maximal compact subgroup of G. On g = Lie(G) we put the inner product X, Y = tr(XY ∗), Set p =Lie(K)⊥ relative to this inner product.

  • N. Wallach ()

A dynamical system 6/4 10 / 18

slide-31
SLIDE 31

Kempf-Ness over the reals

Let G be an open subgroup of a Zariski closed subgroup of GL(n, R) that is closed under real adjoint relative to the standard inner product,..., ..., g → g ∗. Let K = G ∩ O(n). Then K is a maximal compact subgroup of G. On g = Lie(G) we put the inner product X, Y = tr(XY ∗), Set p =Lie(K)⊥ relative to this inner product. We say that an element v ∈ Rn is G-critical if for any X ∈ Lie(G), Xv, v = 0. The following is an extension of the Kempf-Ness Theorem first observed by Richardson and Slodoway.

  • N. Wallach ()

A dynamical system 6/4 10 / 18

slide-32
SLIDE 32

Kempf-Ness over the reals

Let G be an open subgroup of a Zariski closed subgroup of GL(n, R) that is closed under real adjoint relative to the standard inner product,..., ..., g → g ∗. Let K = G ∩ O(n). Then K is a maximal compact subgroup of G. On g = Lie(G) we put the inner product X, Y = tr(XY ∗), Set p =Lie(K)⊥ relative to this inner product. We say that an element v ∈ Rn is G-critical if for any X ∈ Lie(G), Xv, v = 0. The following is an extension of the Kempf-Ness Theorem first observed by Richardson and Slodoway.

  • Theorem. Let G, K be as above. Let v ∈ Rn.
  • N. Wallach ()

A dynamical system 6/4 10 / 18

slide-33
SLIDE 33

Kempf-Ness over the reals

Let G be an open subgroup of a Zariski closed subgroup of GL(n, R) that is closed under real adjoint relative to the standard inner product,..., ..., g → g ∗. Let K = G ∩ O(n). Then K is a maximal compact subgroup of G. On g = Lie(G) we put the inner product X, Y = tr(XY ∗), Set p =Lie(K)⊥ relative to this inner product. We say that an element v ∈ Rn is G-critical if for any X ∈ Lie(G), Xv, v = 0. The following is an extension of the Kempf-Ness Theorem first observed by Richardson and Slodoway.

  • Theorem. Let G, K be as above. Let v ∈ Rn.

1

If v is critical if and only if gv ≥ vfor all g ∈ G.

  • N. Wallach ()

A dynamical system 6/4 10 / 18

slide-34
SLIDE 34

Kempf-Ness over the reals

Let G be an open subgroup of a Zariski closed subgroup of GL(n, R) that is closed under real adjoint relative to the standard inner product,..., ..., g → g ∗. Let K = G ∩ O(n). Then K is a maximal compact subgroup of G. On g = Lie(G) we put the inner product X, Y = tr(XY ∗), Set p =Lie(K)⊥ relative to this inner product. We say that an element v ∈ Rn is G-critical if for any X ∈ Lie(G), Xv, v = 0. The following is an extension of the Kempf-Ness Theorem first observed by Richardson and Slodoway.

  • Theorem. Let G, K be as above. Let v ∈ Rn.

1

If v is critical if and only if gv ≥ vfor all g ∈ G.

2

If v is critical and if w ∈ Gv is such that v = wthen w ∈ Kv.

  • N. Wallach ()

A dynamical system 6/4 10 / 18

slide-35
SLIDE 35

Kempf-Ness over the reals

Let G be an open subgroup of a Zariski closed subgroup of GL(n, R) that is closed under real adjoint relative to the standard inner product,..., ..., g → g ∗. Let K = G ∩ O(n). Then K is a maximal compact subgroup of G. On g = Lie(G) we put the inner product X, Y = tr(XY ∗), Set p =Lie(K)⊥ relative to this inner product. We say that an element v ∈ Rn is G-critical if for any X ∈ Lie(G), Xv, v = 0. The following is an extension of the Kempf-Ness Theorem first observed by Richardson and Slodoway.

  • Theorem. Let G, K be as above. Let v ∈ Rn.

1

If v is critical if and only if gv ≥ vfor all g ∈ G.

2

If v is critical and if w ∈ Gv is such that v = wthen w ∈ Kv.

3

If Gv is closed then there exists a critical element in Gv.

  • N. Wallach ()

A dynamical system 6/4 10 / 18

slide-36
SLIDE 36

Kempf-Ness over the reals

Let G be an open subgroup of a Zariski closed subgroup of GL(n, R) that is closed under real adjoint relative to the standard inner product,..., ..., g → g ∗. Let K = G ∩ O(n). Then K is a maximal compact subgroup of G. On g = Lie(G) we put the inner product X, Y = tr(XY ∗), Set p =Lie(K)⊥ relative to this inner product. We say that an element v ∈ Rn is G-critical if for any X ∈ Lie(G), Xv, v = 0. The following is an extension of the Kempf-Ness Theorem first observed by Richardson and Slodoway.

  • Theorem. Let G, K be as above. Let v ∈ Rn.

1

If v is critical if and only if gv ≥ vfor all g ∈ G.

2

If v is critical and if w ∈ Gv is such that v = wthen w ∈ Kv.

3

If Gv is closed then there exists a critical element in Gv.

4

If v is critical then Gv is closed.

  • N. Wallach ()

A dynamical system 6/4 10 / 18

slide-37
SLIDE 37

We set V = Rn as a G—module and CritG (V ) equal to the set of all critical vectors. If X1, ..., Xr is an orthonormal basis of p then φ(v) = ∑ Xjv, v2 is non-negative homogeneous polynomial of degree 4 defining CritG (V ).

  • N. Wallach ()

A dynamical system 6/4 11 / 18

slide-38
SLIDE 38

We set V = Rn as a G—module and CritG (V ) equal to the set of all critical vectors. If X1, ..., Xr is an orthonormal basis of p then φ(v) = ∑ Xjv, v2 is non-negative homogeneous polynomial of degree 4 defining CritG (V ). We consider Rn as n × 1 columns and thus if v ∈ V then v ∗ is v as a row vector. So for v, w ∈ V , vw ∗ is an n × n matrix and Xv, w = trXvw ∗.

  • N. Wallach ()

A dynamical system 6/4 11 / 18

slide-39
SLIDE 39

We set V = Rn as a G—module and CritG (V ) equal to the set of all critical vectors. If X1, ..., Xr is an orthonormal basis of p then φ(v) = ∑ Xjv, v2 is non-negative homogeneous polynomial of degree 4 defining CritG (V ). We consider Rn as n × 1 columns and thus if v ∈ V then v ∗ is v as a row vector. So for v, w ∈ V , vw ∗ is an n × n matrix and Xv, w = trXvw ∗. Let Pg be the orthogonal projection of Mn(R) onto g then ∇φ(v) = 4Pg(vv ∗)v ∈ Tv (Gv).

  • N. Wallach ()

A dynamical system 6/4 11 / 18

slide-40
SLIDE 40

We set V = Rn as a G—module and CritG (V ) equal to the set of all critical vectors. If X1, ..., Xr is an orthonormal basis of p then φ(v) = ∑ Xjv, v2 is non-negative homogeneous polynomial of degree 4 defining CritG (V ). We consider Rn as n × 1 columns and thus if v ∈ V then v ∗ is v as a row vector. So for v, w ∈ V , vw ∗ is an n × n matrix and Xv, w = trXvw ∗. Let Pg be the orthogonal projection of Mn(R) onto g then ∇φ(v) = 4Pg(vv ∗)v ∈ Tv (Gv). Also note that ∇φ(kv) = k∇φ(v) for k ∈ K.

  • N. Wallach ()

A dynamical system 6/4 11 / 18

slide-41
SLIDE 41

Let F(t, x) be the gradient flow corresponding to φ. Then we have shown using freshman calculus that for t > 0 and x ≤ r φ(F(t, x)) ≤ C(r) t .

  • N. Wallach ()

A dynamical system 6/4 12 / 18

slide-42
SLIDE 42

Let F(t, x) be the gradient flow corresponding to φ. Then we have shown using freshman calculus that for t > 0 and x ≤ r φ(F(t, x)) ≤ C(r) t . In addition if Z ⊂ V is closed and G—invariant then F(t, Z) ⊂ Z and 2 in the real Kempf-Ness theorem implies:

  • N. Wallach ()

A dynamical system 6/4 12 / 18

slide-43
SLIDE 43

Let F(t, x) be the gradient flow corresponding to φ. Then we have shown using freshman calculus that for t > 0 and x ≤ r φ(F(t, x)) ≤ C(r) t . In addition if Z ⊂ V is closed and G—invariant then F(t, Z) ⊂ Z and 2 in the real Kempf-Ness theorem implies:

  • Theorem. Setting L(t, Kv) = KF(

t 1−t , v) 0 ≤ t < 1 then

limt→1 L(t, Kv) converges uniformly on compacta and this yields a strict deformation retraction of Z/K to (CritG (V ) ∩ Z) /K for any G—invariant closed subset of V .

  • N. Wallach ()

A dynamical system 6/4 12 / 18

slide-44
SLIDE 44

Let F(t, x) be the gradient flow corresponding to φ. Then we have shown using freshman calculus that for t > 0 and x ≤ r φ(F(t, x)) ≤ C(r) t . In addition if Z ⊂ V is closed and G—invariant then F(t, Z) ⊂ Z and 2 in the real Kempf-Ness theorem implies:

  • Theorem. Setting L(t, Kv) = KF(

t 1−t , v) 0 ≤ t < 1 then

limt→1 L(t, Kv) converges uniformly on compacta and this yields a strict deformation retraction of Z/K to (CritG (V ) ∩ Z) /K for any G—invariant closed subset of V . The statement of the next result is simplified.

  • N. Wallach ()

A dynamical system 6/4 12 / 18

slide-45
SLIDE 45

Let F(t, x) be the gradient flow corresponding to φ. Then we have shown using freshman calculus that for t > 0 and x ≤ r φ(F(t, x)) ≤ C(r) t . In addition if Z ⊂ V is closed and G—invariant then F(t, Z) ⊂ Z and 2 in the real Kempf-Ness theorem implies:

  • Theorem. Setting L(t, Kv) = KF(

t 1−t , v) 0 ≤ t < 1 then

limt→1 L(t, Kv) converges uniformly on compacta and this yields a strict deformation retraction of Z/K to (CritG (V ) ∩ Z) /K for any G—invariant closed subset of V . The statement of the next result is simplified.

  • Corollary. If Z is Zariski closed in V then the GIT quotient, Z//G,
  • f Z is a strict deformation retract of Z/K.
  • N. Wallach ()

A dynamical system 6/4 12 / 18

slide-46
SLIDE 46

Let F(t, x) be the gradient flow corresponding to φ. Then we have shown using freshman calculus that for t > 0 and x ≤ r φ(F(t, x)) ≤ C(r) t . In addition if Z ⊂ V is closed and G—invariant then F(t, Z) ⊂ Z and 2 in the real Kempf-Ness theorem implies:

  • Theorem. Setting L(t, Kv) = KF(

t 1−t , v) 0 ≤ t < 1 then

limt→1 L(t, Kv) converges uniformly on compacta and this yields a strict deformation retraction of Z/K to (CritG (V ) ∩ Z) /K for any G—invariant closed subset of V . The statement of the next result is simplified.

  • Corollary. If Z is Zariski closed in V then the GIT quotient, Z//G,
  • f Z is a strict deformation retract of Z/K.

This is a very useful result since if G is connected K is connected and this implies that Z//G has path lifting. In the complex case this is an important result of Kraft, Petrie and Randall.

  • N. Wallach ()

A dynamical system 6/4 12 / 18

slide-47
SLIDE 47

Let F(t, x) be the gradient flow corresponding to φ. Then we have shown using freshman calculus that for t > 0 and x ≤ r φ(F(t, x)) ≤ C(r) t . In addition if Z ⊂ V is closed and G—invariant then F(t, Z) ⊂ Z and 2 in the real Kempf-Ness theorem implies:

  • Theorem. Setting L(t, Kv) = KF(

t 1−t , v) 0 ≤ t < 1 then

limt→1 L(t, Kv) converges uniformly on compacta and this yields a strict deformation retraction of Z/K to (CritG (V ) ∩ Z) /K for any G—invariant closed subset of V . The statement of the next result is simplified.

  • Corollary. If Z is Zariski closed in V then the GIT quotient, Z//G,
  • f Z is a strict deformation retract of Z/K.

This is a very useful result since if G is connected K is connected and this implies that Z//G has path lifting. In the complex case this is an important result of Kraft, Petrie and Randall. We now consider the result implied by using the deep results of Lojasiewicz.

  • N. Wallach ()

A dynamical system 6/4 12 / 18

slide-48
SLIDE 48

The Lojasiewicz argument implies that if we set L(t, v) = F(

t 1−t , v)

then limt→1 H(t, v) converges uniformly on compacta.

  • N. Wallach ()

A dynamical system 6/4 13 / 18

slide-49
SLIDE 49

The Lojasiewicz argument implies that if we set L(t, v) = F(

t 1−t , v)

then limt→1 H(t, v) converges uniformly on compacta.

  • Theorem. Let Z ⊂ V be closed and G invariant then

L : [0, 1] × Z → Z defines a strong, K—equivariant deformation retraction of Z onto Z ∩ CritG (V ).

  • N. Wallach ()

A dynamical system 6/4 13 / 18

slide-50
SLIDE 50

The Lojasiewicz argument implies that if we set L(t, v) = F(

t 1−t , v)

then limt→1 H(t, v) converges uniformly on compacta.

  • Theorem. Let Z ⊂ V be closed and G invariant then

L : [0, 1] × Z → Z defines a strong, K—equivariant deformation retraction of Z onto Z ∩ CritG (V ). Over C this result is due to Neeman.

  • N. Wallach ()

A dynamical system 6/4 13 / 18

slide-51
SLIDE 51

Cn = V ⊕ iV so as a real vector space we write it as V ⊕ V = R2n. The real part of the standard Hermitian inner product on Cn becomes the standard inner product on R2n. Mn(C) becomes the algebra of 2 × 2 block n × n matrices X −Y Y X

  • .

Adjoint in Mn(C) becomes transpose in M2n(R).

  • N. Wallach ()

A dynamical system 6/4 14 / 18

slide-52
SLIDE 52

Cn = V ⊕ iV so as a real vector space we write it as V ⊕ V = R2n. The real part of the standard Hermitian inner product on Cn becomes the standard inner product on R2n. Mn(C) becomes the algebra of 2 × 2 block n × n matrices X −Y Y X

  • .

Adjoint in Mn(C) becomes transpose in M2n(R). If X ⊂ Cn is Zariski closed and defined by f1, ..., fk in C[x1, ..., xn] then it is defined by φ(x, y) = ∑ |fj(x + iy)|2 as a real variety.

  • N. Wallach ()

A dynamical system 6/4 14 / 18

slide-53
SLIDE 53

Cn = V ⊕ iV so as a real vector space we write it as V ⊕ V = R2n. The real part of the standard Hermitian inner product on Cn becomes the standard inner product on R2n. Mn(C) becomes the algebra of 2 × 2 block n × n matrices X −Y Y X

  • .

Adjoint in Mn(C) becomes transpose in M2n(R). If X ⊂ Cn is Zariski closed and defined by f1, ..., fk in C[x1, ..., xn] then it is defined by φ(x, y) = ∑ |fj(x + iy)|2 as a real variety. If G ⊂ GL(n, C) is a Zariski closed subgroup invariant under adjoint then G as a subgroup of GL(2n, R) is invariant under transpose. Furthermore, if we define the critical set for the action of G on Cn to be {v ∈ Cn| Xv, v = 0, X ∈ Lie(G)} then this set is exactly CritG (R2n).

  • N. Wallach ()

A dynamical system 6/4 14 / 18

slide-54
SLIDE 54

Cn = V ⊕ iV so as a real vector space we write it as V ⊕ V = R2n. The real part of the standard Hermitian inner product on Cn becomes the standard inner product on R2n. Mn(C) becomes the algebra of 2 × 2 block n × n matrices X −Y Y X

  • .

Adjoint in Mn(C) becomes transpose in M2n(R). If X ⊂ Cn is Zariski closed and defined by f1, ..., fk in C[x1, ..., xn] then it is defined by φ(x, y) = ∑ |fj(x + iy)|2 as a real variety. If G ⊂ GL(n, C) is a Zariski closed subgroup invariant under adjoint then G as a subgroup of GL(2n, R) is invariant under transpose. Furthermore, if we define the critical set for the action of G on Cn to be {v ∈ Cn| Xv, v = 0, X ∈ Lie(G)} then this set is exactly CritG (R2n). The original Kempf-Ness theorem is now a special case of the real Kempf-Ness theorem since Zariski closure of complex orbits is the same as the closure in the metric topology of R2n.

  • N. Wallach ()

A dynamical system 6/4 14 / 18

slide-55
SLIDE 55

The system in the abstract for my talk is just the case of GL(n, C) acting on Mn(C) by conjugation. Yielding the gradient system ˙ X = −4[[X, X ∗], X].

  • N. Wallach ()

A dynamical system 6/4 15 / 18

slide-56
SLIDE 56

The system in the abstract for my talk is just the case of GL(n, C) acting on Mn(C) by conjugation. Yielding the gradient system ˙ X = −4[[X, X ∗], X]. Writing F∞(X) = limt→+∞ F(t, X) then F∞(X) is a normal operator with the same eigenvalues as X.

  • N. Wallach ()

A dynamical system 6/4 15 / 18

slide-57
SLIDE 57
  • N. Wallach ()

A dynamical system 6/4 16 / 18

slide-58
SLIDE 58
  • N. Wallach ()

A dynamical system 6/4 17 / 18

slide-59
SLIDE 59
  • N. Wallach ()

A dynamical system 6/4 18 / 18