Professional Documents
Culture Documents
Methods of Algebraic Geometry in Control Theory - Part I - Scalar Linear Systems and Affine Algebraic Geometry (PDFDrive)
Methods of Algebraic Geometry in Control Theory - Part I - Scalar Linear Systems and Affine Algebraic Geometry (PDFDrive)
Peter Falb
Methods of
Algebraic Geometry
in Control Theory:
Part I
Scalar Linear Systems and Affine
Algebraic Geometry
Modern Birkhäuser Classics
Peter Falb
This book is published under the imprint Birkhäuser, www.birkhauser-science.com by the registered
company Springer Nature Switzerland AG part of Springer Nature.
The registered company address is: Gewerbestrasse 11, 6330 Cham, Switzerland
Peter Falb
Methods of Algebraic
Geometry in
Control Theory: Part I
Scalar Linear Systems and
Affine Algebraic Geometry
1990 Birkhauser
Boston · Basel · Berlin
Peter Falb
Division of Applied Mathematics
Brown University
Providence, Rhode Island 02912
USA
ISBN 0-8176-3454-1
ISBN 3-7643-3454-1
9 8 7 6 5 4 3 2 1
Preface
vii
Vlll PREFACE
Laboratory for Information and Decision Systems at M.I.T. and its Director, Sanjoy K.
Mitter, for the use of a quiet office (without which this book would still not be finished.)
Thanks are also due to Ann Kostant for the excellent computer preparation of the
manuscript.
Finally, I dedicate this work to my daughters, Hilary and Alison.
'Iable of Contents
Preface vii
O. Introduction.................. . . 1
1. Scalar Linear Systems over the Complex Numbers . . 5
2. Scalar Linear Systems over a Field k . . 9
3. Factoring Polynomials 15
4. Affine Algebraic Geometry: Algebraic Sets 20
5. Affine Algebraic Geometry: The Hilbert Theorems 24
6. Affine Algebraic Geometry: Irreducibility . . . . . 29
7. Affine Algebraic Geometry: Regular Functions and Morphisms I 32
8. The Laurent Isomorphism Theorem . . . . . . . . . . . . . . 39
9. Affine Algebraic Geometry: Regular Functions and Morphisms II . 45
10. The State Space: Realizations . . . . . . . . . . . . . . 50
11. The State Space: Controllability, Observability, Equivalence 58
12. Affine Algebraic Geometry: Products, Graphs and Projections 65
13. Group Actions, Equivalence and Invariants 71
14. The Geometric Quotient Theorem: Introduction 76
15. The Geometric Quotient Theorem: Closed Orbits 83
16. Affine Algebraic Geometry: Dimension 87
17. The Geometric Quotient Theorem: Open on Invariant Sets . 103
18. Affine Algebraic Geometry: Fibers of Morphisms . . . . . . . 105
19. The Geometric Quotient Theorem: The Ring of Invariants . 113
20. Affine Algebraic Geometry: Simple Points . . 128
21. Feedback and the Pole Placement Theorem . 137
22. Affine Algebraic Geometry: Varieties . 145
23. Interlude . . 151
Appendix A: Tensor Products . . 168
Appendix B: Actions of Reductive Groups 175
Appendix C: Symmetric Functions and Symmetric Group Actions 179
Appendix D: Derivations and Separability . 185
Problems . . . . . . 190
References . . . . . . . . . . . . . . . 200
ix
0. Introduction
1
2 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
feedback group and its action on the space of linear systems. Then
we solve the pole placement problem (and variants). In particular we
show that the "coefficient assignment" map is surjective if and only if
the system is controllable.
We have, at this point, established the four major algebra•
geometric results of scalar linear system theory, namely: (i) that the
Laurent map is an isomorphism; (ii) that minimal state space realiza•
tions exist and that any two such minimal realizations are uniquely
isomorphic; (iii) that a "geometric quotient" for equivalence under co•
ordinate change exists; and, (iv) that the "poles" are assignable under
state feedback if and only if the system is controllable. In order to
develop a similar theory for multivariable systems, we require a more
general approach. With this in mind, we conclude Part I with an ex•
amination of "abstract affine varieties" (section 22) and an "interlude"
(section 23) which indicates some of the flavor of Part II.
Several additional comments are in order here. First, we do not
strive for the greatest generality nor always for the simplest proof of a
result. Frequently, we use constructive methods with a view towards
application and also give several proofs of a particular theorem. We
believe this is helpful in an introductory work. Second, the exercises
are an integral part of the treatment and are used in the main body of
the text. Finally, we have, of course, drawn on many sources and we
acknowledge their considerable contribution (e.g. [A-2], [D-1], [F-2],
[H-2], [H-8], [M-2], [S-2], [Z-3], etc.) even if explicit mention of them
is not made at a particular point in the text.
Conventions
All rings are assumed commutative with an identity element 1.
A ring homomorphism maps 1 into 1. Neither an integral domain or
a field is the zero ring (i.e. 0 f. 1) and consequently, a prime (or
maximal) ideal is necessarily a proper ideal (i.e. is not the ring itself).
The notation A C B means A is contained in B and A may equal B
while the notation A < B means A is contained in B but A is not
equal to B (in other words, A is strictly contained in B). For sets, the
notation A - B means the complement of B in A.
1. Scalar Linear Systems Over the Complex Numbers
(z- 1).
If (A, b, c) is a linear system, then the Hankel matrix H =
5
© Springer Nature Switzerland AG 2018
P. Falb, Methods of Algebraic Geometry in Control Theory: Part I,
Modern Birkhäuser Classics, https://doi.org/10.1007/978-3-319-98026-3_1
6 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
0 1 0 0
0 0 1 0
A=
1
-ao -a1 -an-1
for j = 1, .... Hence, all columns of H 1 are in the span of the first n
columns and rank H 1 ::; n is finite.
SCALAR LINEAR SYSTEMS OVER THE COMPLEX NUMBERS 7
0 1 0 0
0 0 1 0
A=
1
-ao -a1 -an-1
0
0
b= , c = [ b0 b1 · · · bn-1 ]
0
1
Then c(zi- A)- 1b = f(z) for if we let x = (zi- A)- 1b, then (zi•
A)x = b, x 1 = 1/det [zi- A], and ZXj = Xj+ 1 for j = 1, ... , n- 1.
But c(zi- A)- 1b = z- 1c(I- Ajz)- 1b = 2::::~ 1 (cAi- 1 b)z-J = f(z) =
2::::;:.. 1 hjz-j and so, hj = cAJ- 1 b. By the Cayley-Hamilton theorem,
ao I + a 1 A + · · · + An = 0 so that c( a0 A j + a 1 A J+ 1 + · ·· + A J+ n )b = 0,
j = 0, 1, ... , or, in other words, aohj + a 1 hj+ 1 + · · · + hj+n = 0 and
rank II f is finite.
0 1 0 0
0 0 1 0
A=
1
-ao -al -an-l
9
© Springer Nature Switzerland AG 2018
P. Falb, Methods of Algebraic Geometry in Control Theory: Part I,
Modern Birkhäuser Classics, https://doi.org/10.1007/978-3-319-98026-3_2
10 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
where Wr = l:i+j=r u;vj. With these definitions, the set of all for•
mal power series over R becomes a commutative ring with identity
( 1, 0, ... , 0, ... ). The ring of formal power series over R is denoted by
R[[x]]. If u = (u 0 ,u 1, ... ,) is an element of R[[x]] with u -:J 0, then the
first index r with Ur -:J 0 is called the order of u, v( u ), and Ur is called
the initial form of u. We note that v( u + v) ~ min { v( u ), v( v)} and
v(uv) ~ v(u) + v(v). We write u = 2:~ 0 uj for the formal power se•
ries u, or, since Uj = a1xi, u = 2:~ 0 ajxi. Note that R[x] is naturally
(identified with) a subring of R[[X]].
We observe that all that was done over C remains valid over the
field k and, in particular, we have:
(2.7)
(2.8)
is called the Laurent map. We shall eventually show that the Laurent
map is an isomorphism of algebraic structures.
We observe that Hank(n,k) = A~n - V(O) where V(O) =
{(h1, ... ,hzn) E k 2 n: O(h1, ... ,hzn-1) = det Hn = 0}. In other
words, Hank( n, k) is the complement of the "zero set" of a polyno•
mial. Such "zero sets" of polynomials are the basic building blocks
from which algebraic geometry is built. We shall show in the next
section that Rat( n, k) can also be described as the complement of the
"zero set" of a polynomial (called the resultant of p and q).
If Rat(n, k) and Hank(n, k) are viewed as subsets of A~n, then
we can ask for an explicit description of the Laurent map L. Suppose
that (bo, ... , bn-1, ao, ... , an-1) is an element of Rat( n, k) (i.e. f(z) =
(bo + b1z + · ··+ bn-1Zn- 1)/( ao + a1z +·· ·+ an-1 zn- 1 + zn) is rational
of degree n). Then, in view of the second proof of Hankel's Theorem,
we have L(f) = (h1(f), ... ,hzn(f)) where
and
(2.10)
and j = 1, ... , 2n.
Example 2.11. Let n 2. Then the explicit formula (2.9)
becomes
h1 = b1
hz = bo- a1b1
h3 = -a1bo- aob1 + aib1 = -aoh1 - a1hz
h4 = -aobo + aibo + 2aoa1b1- a~b1 = -aohz - a1h3
SCALAR LINEAR SYSTEMS OVER A FIELD k 13
b1
bo- a1 b1
] = O(A,c)
(2.12)
0 1 0 0
F(hl,···,h2n)=
(bo(hl, · · ·, h2n), · · ·, bn-l(hl, .. ·, h2n), ... , an-1 (h1, ... , h2n))
(2.14)
where the ai and bj are given by (2.12) and (2.13).
15
© Springer Nature Switzerland AG 2018
P. Falb, Methods of Algebraic Geometry in Control Theory: Part I,
Modern Birkhäuser Classics, https://doi.org/10.1007/978-3-319-98026-3_3
16 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
where r( x) has degree less then n and 1' is the leading coefficient of g( x ). *
Proof (of theorem): We shall prove property (i) first using induction
on the degree. If f( x) has degree 0, then f( x) factors into primes in R.
If f(x) has degree n (with n > 0), then f(x) = c(f)ft(x) with ft(x)
primitive. If ft (x) is not irreducible, then ft (x) = g( x )h( x) and neither
g(x) nor h(x) is constant. But then both g(x) and h(x) have degree less
than n and factor by induction. As for property (ii), it is enough to show
that if a prime p( x) divides f( x )g( x ), then p( x) is a divisor of either f( x)
or g( x ). If p( x) has degree 0, then p( x) is a divisor of either c(f) or
c(g) and hence, of either f( x) or g( x ). If p( x) has positive degree, then
Proof: Let f( x) = J{"' ... J;'!'r, g( x) = g~' ... g~' be prime fac•
torizations of f and g. If (say) j 1 is a common factor, then we simply
let F(x) = f(x)ffi(x) and G(x) = g(x)fh(x). On the other hand, if
there is no common factor and (say) am f; 0, then f( x )G( x) = g( x )F( x)
implies f;m; divides F for i = 1, ... , r. Therefore,
r
degree F 2: L m; degree J; = m.
i=l
F(x) = Am-lXm-l + · · · + Ao
(3.11)
G(x) = Bn-lXn-l +···+Eo
18 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
Then the polynomials J(x) and g(x) will have a non-constant common
factor if and only if there are Ao, ... ,Am-1,Bo, ... Bn-1 not all 0 such
that
amBn-1 = f3nAm-1
am-1Bn-1 + amBn-2 = f3n-1Am-1 + f3nAm-2
(3.13)
-ao 0 0
0 ··· f3n 0
and so, the system (3.13) will have a non-trivial solution if and only if the
determinant of the following matrix is not zero:
ao Ill elm
0 ao elm } n rows
0
p(f,g) = f3n
elm
(3.14)
f3o
0
f3t
f3o f3n }mmws
0 f3n
The determinant of 3.14 is called the resultant off and g and is denoted
by Res(!, g).
FACTORING POLYNOMIALS 19
bo b1 bn-1
0 bo bn-1
} n mw'
Res(p, q) = det (3.16)
ao a1 an-1 1
0 ao an-1 1 } n -1 cow'
Definition 4.1. V C Af
is an affine algebraic set if V = {a =
(ai,···aN): fcx(a) = 0, fcx(x) E k[xi,···,xN]}. In other words, Vis
an affine algebraic set if V is the set of common zeros of a family of
polynomials.
Example 4.2. Let n = 2 and 'lj;(bo, b1, ao, a!)= b6- a1bob1 + aobi.
Then V('lj;) = {(bo,bi,ao,ai) EAt,: 'lj;(bo,bi,ao,ai) = 0} and so, for
example, (1,1,0,1) E V('lj;). In system theory terms, this means that
since p(z) = 1 + z and q(z) = z + z 2 = z(z + 1) are not relatively
prime, the degree of the transfer function 1 + zj z + z 2 is one, not two.
Example 4.3. Let N = 2 and f(x 1,x 2 ) =xi- x~. Then V(f) =
{(a 1 ,a 2 ) : ai = aD is a semi-cubic parabola in A~. Note that the
mapping t-+ (t 2 , t 3 ) of A1 into A~ is a bijective map of A1 onto V(f).
20
© Springer Nature Switzerland AG 2018
P. Falb, Methods of Algebraic Geometry in Control Theory: Part I,
Modern Birkhäuser Classics, https://doi.org/10.1007/978-3-319-98026-3_4
AFFINE ALGEBRAIC GEOMETRY: ALGEBRAIC SETS 21
vector space over J( with basis v1, ... , Vm. Then L is a finite dimen•
sional vector space over k with basis u;vj, i = 1, ... , n, j = 1, ... , m.
It follows that if K1 is an algebraic extension of k and K2 is an alge•
braic extension of K1, then K2 is an algebraic extension of k. This is
called the transitivity of algebraic extensions.
Proof: Many are easy and we will only do (3), (5), and (7).
(3) V(Eai) c nV( ai) since ai c Eai. But if f E Eai, then
f = E/j (a finite sum) with fiE ai and so, f = 0 on nV(ai)·
(5) Since aa 1 C an a1 and an a1 is a subset of of both a and a1,
V(a) u V(a 1) c V(a n a 1) c V(aa 1). If c f/. V(a) U V(ai), then there
are f E a, g E a1 such that (fg)(c) = f(c)g(c) ::f 0. But fg E aa1 and
so, c fl. V(aa1). Thus, V(aai) C V(a) U V(a1).
(7) Obviously, V(I(W)) = W implies that W is an algebraic
set. If W is an algebraic set, then W = V(a) for some ideal a and
I(W) = I(V(a)):) a so that V(I(W)) c V(a) = W c V(I(W)).
is an ideal in R (as €;( a) C fi+ 1 (a)). Then e has a finite basis r1, ... , rn
24
© Springer Nature Switzerland AG 2018
P. Falb, Methods of Algebraic Geometry in Control Theory: Part I,
Modern Birkhäuser Classics, https://doi.org/10.1007/978-3-319-98026-3_5
AFFINE ALGEBRAIC GEOMETRY: THE HILBERT THEOREMS 25
Lemma 5.8. Let a be a proper ideal in k[x1, ... , XN]. Then V( a) -=J
¢ (note k is algebraically closed).
Let us assume, for the moment, that this lemma is true. We then have:
r
1= L hi(x,xN+t)fi(x) + hr+l(x,xN+t)(1- XN+d(x)) (5.10)
i=l
Proof: Let J( = k[x 1 , ... ,xN]/m and let ~i =Xi (the residue class
modulo m). Then J( is a field, (6, ... ~N) E J( and f E m implies
f( 6, ... , ~N) = 0. Thus, it will be enough to show that the ~i are algebraic
over k (as k is algebraically closed). This will follow from:
AFFINE ALGEBRAIC GEOMETRY: THE HILBERT THEOREMS 27
Lemma 5.13. ([Z-1]) If Lis afield and L[z1, ... ,zN] is afield, then
the z; are algebraic over L.
We saw in the last section that points and maximal ideals are
essentially the same object. Now a point is clearly the "smallest" non•
empty algebraic set and so cannot be broken-up into smaller algebraic
sets. This leads us to the following:
Proof:
(i) If v is irreducible and ul' u2 are nonempty open sets in v' then
ul n u2 = ¢would imply v = vl u v2 where vl = v- ul,
V2 = V -U2 are proper closed sets in V. Conversely, ifV = V1 UV2
with vl' v2 proper closed subsets, then ul = v- vl' u2 = v- v2
are nonempty open subsets of v with ul n u2 = ¢.
(ii) Let U1, Uz be nonempty open subsets of U. Then U1 n U, U2 n U
are nonempty open subsets of V and so, U1 n U2 = ( U1 n U) n
(U2 n U) =f ¢. If U were not dense, then (V- U) n U = ¢would
contradict the irreducibility uf V.
(iii) IfV = V1UV2 , then V = (V1nV)U(1/2nV). Since Vis irreducible,
we have (say) V c V1. But V1 is closed in V implies V1 = V so
that vl is not a proper subset.
29
© Springer Nature Switzerland AG 2018
P. Falb, Methods of Algebraic Geometry in Control Theory: Part I,
Modern Birkhäuser Classics, https://doi.org/10.1007/978-3-319-98026-3_6
30 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
We shall, for the time being, call an irreducible affine algebraic set an
affine variety and an open subset of an affine variety, a quasi-affine variety.
Thus, Rat( n, k) and Hank( n, k) are quasi-affine varieties.
~=[~6111 6z]EM(2,2;
62
k)
We now have:
v = uv; = uv;
are two decompositions in which no V; or VJ is superfluous. Then Vi =
V n V; = uVj n Vi implies Vi c Vj for some j as Vi is irreducible.
Similarly, Vj C Vs for some s and so, Vi C Vj C V5 • But then Vi = Vs
(since no Vi is superfluous) and Vi = Vj. In other words, the set {Vi} and
the set {Vj} are the same.
32
© Springer Nature Switzerland AG 2018
P. Falb, Methods of Algebraic Geometry in Control Theory: Part I,
Modern Birkhäuser Classics, https://doi.org/10.1007/978-3-319-98026-3_7
REGULAR FUNCTIONS AND MORPHISMS I 33
G defines the same element of k[VJ as F(X, Y). Note that k[VJ =
k[X, Y]j(Y - X 2 ) = k[X, YJ = k[XJ since Y = X 2 and so k[VJ ~
k[A1J.
One of the reasons that the ring k[VJ is important is that V can
be recovered from it. More precisely, if we denote the set {a : a is a
k-homomorphism of k[VJ into k} by Homk(k[V],k), then we have:
We also have :
We shall show that the notions in these two definitions are the same.
The key to doing so is the fact that the regular functions on an affine
algebraic set are the restrictions of polynomial functions.
So, now let V c A~. W c Ak' be affine algebraic sets and let g be
a polynomial function on W (i.e. g E k[W]). If ¢ : V -+ W is a regular
map, then go¢ is clearly a polynomial function on V. Thus, every regular
map is a morphism and we have a mapping ¢* : k[W] -+ k[V] given by
<P*(g) = g 0 ¢ (7.10)
¢* is called the "lifting of ¢".
k[W] -+ k[V] be the comorphism of '¢. Then: (i) '¢* is injective if and
only if '1/J(V) = W i.e.'lj;(V) is dense in W; and, (ii) if'¢* is surjective,
then '1/J(V) is closed in W.
Proof: Let h(xl, ... ,xN), ... ,Jr(xl, ... ,xN) be a basis of IkV)
and let h(x1, ... ,xN,XN+l) = 1- XN+tf(xt, ... ,xN)· Let W C Ak +1
be the zero set of the fi and h i.e. W = V ((!I, ... , fr, h)). We define the
map '1/J f by setting
Recalling that Rat(n,k) = (A~n)P where pis the resultant and that
Hank(n,k) = (A~n)9 where f)= detH, we may view Rat(n,k) as the
algebraic set V((l- x 2n+lP)) in A~n+l and Hank(n, k) as the algebraic
set V((l- x 2n+ldet H)) in A~n+l. We shall eventually extend the no•
tion of a morphism in such a way that the mappings 1/J P : Rat( n, k) -7
V((l- X2n+1P)) and ,P 9 : Hank(n,k) -7 V((l- X2n+ldetH)) are k•
isomorphisms. For the moment, however, we shall adopt the point of view
that Rat(n, k) = V((l- X2n+1P)) and Hank(n, k) = V((l- x2n+ 10)).
From this point of view, we can describe the Laurent map L as follows:
let (xt, ... ,x2n,X2n+l) and (y1, ... ,Y2n, Y]n+l) be coordinate functions
on A!n+l and define a polynomial map L : Ak n+l -7 A!n+l by setting
39
© Springer Nature Switzerland AG 2018
P. Falb, Methods of Algebraic Geometry in Control Theory: Part I,
Modern Birkhäuser Classics, https://doi.org/10.1007/978-3-319-98026-3_8
40 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
(cf. (2.9)). Then Lis simply the restriction of L to Rat (n,k) = V((1-
Xzn+ 1 p) ). Thus, L is a morphism and hence, is continuous. L is smjective
by Hankel's Theorem (2.5).
We can also study the map F : Hank( n, k) -+ Rat( n, k) from the
same point of view. Again, we let (YI, ... , Y2n, Y2n+l) and (x1, ... , X2n,
Xzn+l) be coordinate functions on Akn+l and we define a polynomial map
F : Akn+l -+ Akn+l by setting
n-s
Yn.:+ll
(xs 0 F')(Yl, · · ·, Y2n, Y2n+l) = Yn-s+l- L(Y+)s+j [ YjY2n+l
j=l
Y2n
(8.6)
for s = 1, ... , n - 1 and
( Xn o F)(Yl, · · ·, Yzn, Y2n+l) = Yl (8.7)
and
(8.8)
* For n = 1, y 3 o L= x3 .
THE LAURENT ISOMORPHISM THEOREM 41
l
for n ~ 2 *,(cf. (2.14)) where y+ is the formal adjoint of the matrix
Y= [~~ ~: Yn+l
Yn
(8.10)
~n Yn:+l Y2~-1
and yt is its t-th row. Then F is simply the restriction of F to Hank
( n, k) = V((1- Y2n+l detY)). Thus, F is also a morphism.
Y2 0 L = Xt - X2X4
-
Y4 o L = -x1x3 + XtX 42 + 2x2x3x4- x2x 43
Ys o L = -xs
- 2 3
x1 oF= (2YtY2Y3- YtY4- Y2)Ys
X2 0 F = Yl
- 2
X3 oF= (Y2Y4- Y3)Ys
X4 oF= ( -YlY4 + Y2Y3)Ys
xs oF= -ys
and L and F are their restrictions to Rat(2, k) and Hank(2, k) respectively.
We observe that (Yt oL )(y3oL)-(y2oL) 2 = -x1x2x4 -x~x3+x~x~ -xi+
2x1x2x4 -x~x~ = -xi +x1x2x4 -x~x3 so that {(y1 oL )(y3oL )-(yzoL ) 2 }
(Ys o L) = xs(xi - x1x2x4 + x~x3) = 1 i.e. L maps Rat(2, k) into
Hank(2, k). Similarly, F maps Hank(2, k) into Rat(2, k). Let us examine
1 0
0 1
-uz
Uz U3 Un 1
U3 u4 1 0
gu =
1
1 0 0
0 0
1 0 -uz
Au= 0 1
0 0
THE LAURENT ISOMORPHISM THEOREM 43
Lemma 8.14. Let L be the Laurent map and let F be the associated
map of Hank (n,k) into Rat (n,k). Then LoF is the identity on Hank ( n, k).
H [-Xn~loF] = [hn:+ll
(8.15)
-Xzn oF h2n
[xl oF··· Xn oF]= [h1 · · · hn]9F
where gp is of the form 9u of lemma 8.13 with u1 = +xn+l oF, ... , Un =
+x 2 n oF. What we must then show is that
(8.16)
for j = 1, ... , 2n where c( x oF), A( x oF), and bare given by (8.5). How•
ever, in view of the previous lemma and the fact that g F is a nonsingular
n x n-matrix, we have
(8.17)
Lemma 8.18. Let u1, ... , Un be variables and let Au. 9u be of the
form given in lemma 8.3. If En is the unit column vector with I in the n-th
row, then [En Aufn · · -A~-lfn] = g;; 1.
44 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
["'
0 0
~][~
U3 U4
1 0 1
u3
u4
u4
1 0 1 -u4 -u3
I
-u4
+
2
u4
l
1 0 0 -u4 -u3 + u~ -u2 +
2u3u4- u~
We observe that O~,v is indeed a local ring (i.e. a ring with exactly
one maximal ideal) since the set of functions fIg with (!I g)( 0 = 0
forms a ma..ximal ideal and if(! lg)(O =/= 0, then gl f is an element
of O~,v (i.e. every element of O~,v which does not vanish at ~ is
invertible). We also observe that O~,v is an integral domain with the
same quotient field as k[V], namely the function field k(V) of V.
Now, 1 (j. m~ and if /I,h (j. m~, then /Ih (j. m~ so that O~,v =
{! lg : g (j. md. We have:
45
© Springer Nature Switzerland AG 2018
P. Falb, Methods of Algebraic Geometry in Control Theory: Part I,
Modern Birkhäuser Classics, https://doi.org/10.1007/978-3-319-98026-3_9
46 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
where jJ = I(V). In other words, Ocv is the quotient ring of k[V] with
respect to the multiplicative set k[V] - m€ = {! : f ¢ md.
REGULAR FUNCTIONS AND MORPHISMS II 47
Proof: Let F(X1 , ... ,XN) E k[X1 , ... ,XN) such that F restricted
to V is f. If g is an element of k[W] and G(X1, ... ,XN,XN+l) =
2.".::~= 0 G;(X1, ... , XN )Xfv+ 1 is a polynomial whose restriction toW is g,
then 1/Jj(g) = go,P 1 = H(X1, ... ,XN)/Fn(Xl, ... ,XN) restricted to Vf
for some polynomial Hand so, ,Pj(g) E Ov(V1 ) = k[V] 1 . lnotherwords,
,P 1 is a morphism. But we have k[W] = k[Xt, ... , XN, XN+l]/(I(V),
1-XN+ 1 F) which is k-isomorphic toR= k[V)[XN+ 1)/(1- fXN+!)k[V]
[X N+ 1 ]. So, it will be enough to show that R is k-isomorphic to k[V]J.
We define first a k-homomorphism a : k[V][XN+l] --+ k[V] 1 by setting
a equal to the identity on k[V] and a(XN+l) = 1/ f. Clearly a(1 -
f X N +1) = 0 and so we can extend a to a k-homomorphism a : R --+
k[V] 1. Since every element of k[V] 1 is of the form gJr. a is surjective
and in fact, every element of k[V]J is of the form a(gXN+l) where
g E k[V). If a(gXN+ 1) = gf r = 0, then, in view of proposition 9.4,
g = 0 and SO, a is injective.
9= [911 912]
921 922
then
-912]
911 /(911922 - 921912)
(3 is
Then (3 is a k-isomorphism of GL(2, k) onto GL(2, k). Clearly
L(2,k) ) = k[Aib and that f3*(X 11 ) =
bijective. Observing that OA4(Gk
50
© Springer Nature Switzerland AG 2018
P. Falb, Methods of Algebraic Geometry in Control Theory: Part I,
Modern Birkhäuser Classics, https://doi.org/10.1007/978-3-319-98026-3_10
THE STATE SPACE: REALIZATIONS 51
A = [ -ao
0 1 ] , b = [0 ] , c
-a1 1 = [bo b1]
(10.4)
for j = 1, ... , 2n. We call IJth the Hankel matrix realization map.
so that
X 2 = (Xu+ X22)X + (X12X21 - XnX22) ·I
and hence that H 3 (X, Y, Z) = (ZX 2Y) = (X11 + X 22 )ZXY +
(X12X21-XnX22)ZY =(Xu +Xn)H2(X, Y, Z)+(X12X21-XnXn)
52 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
A= [ -~4 -~3 J , b = [n . c = [6 + 66 6]
Then X1(A) = 6, Xz(A) = ~4, U1(A,b,c) = 6, and Uz(A,b,c) = 6 so
that 9\x is surjective. As before 9\x is not injective since 9\x( A, b, c) =
9\x(gAg-I,gb,cg- 1 ) forgE GL(2,k).
Proposition 10.8. The realization maps 9\ f, 9\h and 9\x are mor•
phisms. Both 9\ f and 9\x are surjective but 9\h is not. None of the maps
is injective.
where c( x ), A( x) and bare given by (8.5). Note that 'lj;1 is a morphism and
that ,p1 : (A~n)p--+ (A~n)e is an isomorphism. The map ,Ph: A~n --+ A~n
is given by ,Ph(xt, ... , X2n) = (ht(x), ... , h2n(x)) where
i = 1, ... ,n
n
(10.10)
hn+j(x) =- LX2n+l-ihi+j-t(x) j = 1, ... ,n
i=l
Note that ,Ph is a morphism. Finally, the map 'lj;x : A~n --+ A~n is given
by ,Px(x) = y where
n-r
Yr = LX jX2n+l-j-r + Xn-r+l r = 1, ... ,n- 1
j=l
(10.11)
Yn = Xt
Y1 xs X4 1 0 0 0 Xt
Y2 X4 1 0 0 0 0 xz
Y3 1 0 0 0 0 0 X3
Y4
= 0 0 0 0 0 1 X4
Ys 0 0 0 0 1 0 xs
Y6 0 0 0 1 0 0 X6
X1 0 0 1 0 0 0 Y1
X2 0 1 -y6 0 0 0 Y2
X3 1 -y6 yg - Y5 0 0 0 Y3
X4 0 0 0 0 0 1 Y4
xs 0 0 0 0 1 0 Y5
X6 0 0 0 1 0 0 Y6
Proposition 10.14. The realization maps !Jl f• !Jlh, !Jlx and the as•
sociated morphisms 'I/J 1, '1/Jh. '1/Jx satisfy the following relations:
'1/Jx 0 9lx = 9l f
'1/Jjo!Jlf=!Jlh
'1/Jh o !Jlx = !Jlh
'1/Jh='I/Jjo'I/Jx
Proof: We first show that '1/Jx o !Jlx = !Jlf. Let ('1/Jx o !Jtx)(A,b,c) =
(Y1, ... , Y2n)· Then Yr = - I:j;:;( cAi- 1b)Xn+1-(j+r) + cAn-rb, for
r = l, ... ,n- 1, Yn = cb, and Yn+j = -Xn-j+l for j = 1, ... ,n.
If !JtJ(A,b,c) = (bo, ... ,bn-l,ao, ... ,an-!). then aj = -xn-j• j =
0 ' ... 'n - 1' bn-1 -- c b' and br -- "'n-r- L.Jj=1 ( c Ai- 1b) aj+r + c An-r- 1b'
1
for j = 1, ... , n. In other words, to show that '1/Jh = 'f/; 1 o '1/Jx it will be
enough to show that c('l/Jx(x)).Ai- 1 ('1/Jx(x))b = Xj for j = 1, ... ,n. But
c( '1/Jx(x )) = [x1 ... Xn]9u and A( '1/Jx(x )) = Au where u1 = X2n, ... 'Un =
Xn+I and gu. Au are of the fonn given in lemma 8.13. The result then
follows from lemma 8.18.
Example 10.17. Let n = 2. Then the maps 'f/;1, '1/Jh. '1/Jx are given
by:
56 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
l
Af+Zn ----+ Ak 2 be the map given by
58
© Springer Nature Switzerland AG 2018
P. Falb, Methods of Algebraic Geometry in Control Theory: Part I,
Modern Birkhäuser Classics, https://doi.org/10.1007/978-3-319-98026-3_11
THE STATE SPACE: CONTROLLABILITY, OBSERVABILITY, EQUIVALENCE 59
zy ZXY ]
H(X, Y, Z) = [ ZXY zx2y
Thus, we may characterize sr,l as the set of systems which are both
controllable and observable.
Now, let us ask the following question: when do two minimal triples
x = (A,b,c) and x 1 = (A 1,b1,ct) generate the same f(z) in Rat(n,k)
or H in Hank( n, k) or ~ in Char( n, k )? In order to answer this question,
we shall introduce an equivalence in A~ 2 + 2 n based on the "action" of a
group of transformations.
(11.10)
Proof: To show that !.R 1 (x) = !.R 1(x 1), we simply note that fx(z) =
c(zi- A)- 1b = (cg- 1)g[zg- 1g- g- 1gAg- 1gt 1g- 1(gb) = c1 (zl•
A1)- 1 b1 = fx 1 (z). As for showing that !.Rh(x) = !.Rh(x1). we have
for j = 1, 2, .... Finally, in view of what was just proved, we need only
observe that Xi( AI) = x;(gAg- 1 ) = Xi( A), i = 1, ... , n, in order to
establish that !.Rx(x) = !.Rx(xi).
THE STATE SPACE: CONTROLLABILITY, OBSERVABILITY, EQUIVALENCE 61
Y(g · x) =gY(x)
(11.14)
Z(g · x) =Z(x)g- 1
where Y(x) = Y(A, b, c), Z(x) = Z(A, b, c) and Y,Z are the controllability
and observability maps respectively.
We are now ready to state and prove a second major theorem, namely
the State Space Isomorphism theorem. This theorem essentially states that
minimal realizations of the same transfer function or Hankel matrix or
element of Char( n, k) are "equivalent" under the action of G L( n, k) with
a "unique equivalence". More precisely, we have:
(11.22)
(11.23)
64 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
and so, letting g = Z1IZ, we have gAg-I = AI, gb = bi, and cg-I = ci
in view of (11.22). In other words, g · x =XI.
AI =[ ~ n, ~]
bi = [ , ci = [0 0]
(11.25)
Since 1(11( a)) = ft, the affine coordinate ring k[\1 X W] is given
by k[X,Y]/ft = k[Xl,···,XN,Yt, ... ,YM]/ft. We now have, in
view of the properties of tensor products (appendix A), the following:
65
© Springer Nature Switzerland AG 2018
P. Falb, Methods of Algebraic Geometry in Control Theory: Part I,
Modern Birkhäuser Classics, https://doi.org/10.1007/978-3-319-98026-3_12
66 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
Clearly 7/J maps k[VJ ®k k[W] into k[V X WJ. 7/J is surjective since
7jJ(X;®1) =X;, 7/J(1®Yj) = Yj and these generate the ring k[Vx WJ.
To show that 7/J is injective it will be enough to show that if J;(X),
gj(Y) are independent over k, then 7/J(f; ® 9j) are independent over
k. But, if L.cijfi(v)gj(w) = 0, Cij E k, for all v,w, then, for fixed v,
"L.c;jfi(v)gj(-) = 0 on W. This implies that "L.;c;jf;(·) = 0 on V and
so, c;j = 0 for all i, j.
Proof 1 (Appendix A): Since k[V] and k[W] are integral domains,
so is k[V] ®k k[W].
(12.8)
i.e. the local ring of V x W at(~, ry) is the "localization" of the tensor
product of the local ring of V at ~ and the local ring of W at TJ with
+
respect to the maximal ideal m{OTJ,w mTJO{,V (see section 9).
Proof: By definition,
X
¢/! rt>x'I/J Vx W
11"V
~j 11"W
(12.11)
Proof: Let <jJ be the restriction of a polynomial map Fq, and let 'ljJ
be the restriction of a polynomial map F'I/J. Then Fq, : AJ: --+ A~, F11, :
PRODUCTS, GRAPHS AND PROJECTIONS 69
Corollary 12.15. Let <P : V --. W be a morphism and let gr( <P) =
{( ~, 1J) E V x W : 1J = ¢( ~)}. Then gr( <P) is closed and gr( <P) is isomor•
phic to V.
Gn -G12]
[
G21 Gu
[ GnYl + G12Y2]
G21 Y1 + Gz2 Yz
[Z1G22- Z2G21 - Z1G12 + Z2Gu]/(GuG22- G12G2t)
so that 7/Jc is a morphism. We observe that the comorphism 7/J'G
k[X,Y,Z] --+ k[G,X,Y,Z]detG is given by 7/J(;(p(X,Y,Z)) =
p(GXadjGjdetG,GY,Zad jGjdetG) where pis an element of
k[X, Y, Z]. Clearly 7/Jc is surjective and 7/Ja is injective. As we have
shown many times, 7/Jc is not injective. Of course, all these observa•
tions hold for arbitrary n.
71
© Springer Nature Switzerland AG 2018
P. Falb, Methods of Algebraic Geometry in Control Theory: Part I,
Modern Birkhäuser Classics, https://doi.org/10.1007/978-3-319-98026-3_13
72 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
for all x.
~\!'
y
is commutative.
Proof: Simply set f' (0 E ( x)) = f (x) and note that f' is well-defined
since f is an invariant.
Now let us return to the system theory context. Recall that the char•
acteristic function realization map fRx : Af+ 2 n --+ A~n given by
~ i~
Char(n, k)
is commutative. Moreover, since 91x and 1rc are both independent and
complete, the mapping <.pis bijective. Now S}, 1 and Char( n, k) are quasi•
affine varieties and the mapping 91x is a morphism. Since <.p identifies Ef, 1
and Char( n, k ), we can see that, at least, the possibility of giving the orbit
space an algebraic structure (e.g. that of a quasi-affine variety) exists and,
hopefully, in that case the mapping <.p will be an isomorphism. Of course,
similar remarks apply to 91 1 and Rat( n, k) and to 91h and Hank( n, k ).
In order to fully develop these ideas, we tum our attention to the study of
"quotients".
14. The Geometric Quotient Theorem:
Introduction
76
© Springer Nature Switzerland AG 2018
P. Falb, Methods of Algebraic Geometry in Control Theory: Part I,
Modern Birkhäuser Classics, https://doi.org/10.1007/978-3-319-98026-3_14
THE GEOMETRIC QUOTIENT THEOREM: INTRODUCTION 77
(See Theorem 7.5 and Corollary 7.6). It follows that 'ljJ is constant
on orbits for: if vEv1 and f E k[V]E, then f(v) = f(v 1) so that
mv n k[V]E = mvl n k[V]E. Condition (ii) of definition 14.5 can
then be interpreted geometrically as follows: if v; are closed invariant
subsets of V, then
(14.14)
THE GEOMETRIC QUOTIENT THEOREM: INTRODUCTION 79
commutative.
The full import of these ideas will only become clear as we pro•
gress through the sequel.
80 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
and
(i.e. a -:f 0)
We shall not prove this theorem immediately since the proof takes
place in stages and requires the introduction of considerable additional
algebra and algebraic geometry. Also, we shall give several proofs of
the various stages so that final completion of the result is a fair bit
away.
Before we begin, we observe that this theorem combined with
proposition 10.14 and corollary 10.15 shows that the diagram
sr.1
Hank(n, k)
82 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
where >.(UJ, ... ,U2n) = (0 o 7/Jh)(U~, ... ,U2n) (7/Jh is given by 10.10
and() is the Hankel determinant). If we letS= k[Char(n,k)], then it
follows that
(15.2)
where 6(X, Y, Z) = w(X, Y, Z)I(X, Y, Z) = detH(X, Y, Z) (cf. section
11, especially 11.3). We recall that G = GL(n,k) acts on R via
(15.3)
A1 ~ [ i i ~l b1 ~ ~ [ l, ~ c1 I 1 o oI
* Our treatment relies on [A-2], [D-1], [H-2], [H-8], [M-1] and [Z-3].
87
© Springer Nature Switzerland AG 2018
P. Falb, Methods of Algebraic Geometry in Control Theory: Part I,
Modern Birkhäuser Classics, https://doi.org/10.1007/978-3-319-98026-3_16
88 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
We note that
Lemma 16.7. Let R' = k[y~, ... , Ym] be a finitely generated integral
AFFINE ALGEBRAIC GEOMETRY: DIMENSION 89
where the fi are algebraic over k(x1, ... , Xn) and the gj are alge•
braic over k(y1, ... , Ym)· Now k[V X W] = k[V] ®k k[W] (theorem
12.4) contains k[xl,···,xn]®k[yl ,···,Ym] = k[xl,···,Xn,Yl,···, Ym]
and so, K(V X l¥) contains k(xl,···,xn,Yl,···, Ym) which has tran•
scendence degree n + m over k. But K(V X W) is an extension of
k(xl, ... ,xn,Yl,···,Ym) generated by fi ® 1, 1 ® gj which areal•
gebraic over this subfield. It follows that tr. degK(V x W)/k
tr. degk(xl,··· ,xn,Yl,··· ,Ym)/k = n + m and hence that
DimkV x W = DimkV + DimkW.
The key result which makes things work is a theorem which states
that, in a finitely generated integral domain R over k, if dimkP = s,
then d(p) =sand h(p) = v- s where v = tr. degRjk. This theorem
rests on a lemma which is a converse of corollary 16.13. In order to
prove the lemma we need the concept of integral dependence and some
of its properties.
(16.17)
with coefficients r; in R.
Proof: Clearly (i) implies (ii) since un+r = -(r1 un+r-l + ... +
rnur) for r ~ 0 means R[u] is generated over R by 1,u, ... ,un-l. As
for (ii) implying (iii), simply let S1 = R[u]. If (iii) holds, let M = S 1
and note that p(u)M = 0 implies p(u) ·1 = 0 where p(u) E R[u] (i.e.
S 1 is a faithful R[u]-module). Suppose that (iv) holds forM and let
c/Ju be the map of M into itself given by
c/Ju(m) = um (16.20)
(16.21)
so that
E(b·'J·u- r·'J·)m J· -- 0 (16.22)
Proof: Induction on n.
(16.32)
mr1 ) n
(--;:;- (mr1 )n-1 + ··· + Snm n- 1
+ 81 --;:;- =0 (16.33)
94 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
(16.41)
tegral domain with transcendence degree v over k. Then there are al•
gebraically independent elements z1, ... , zv of R such that R is integral
over R' = k[z1, ... , zv].
(16.44)
. (d+l) (d+l)N- 1 .
fort=2, ... ,N. Thenj(u1,v2+u 1 , ... ,vN+u1 )=OLe.
. (d+l)
Ut' v2, ... 'VN are roots of the polynonual J(Xl' y2 + xl ' ... 'YN
(d+l)N-1
+X1 ). Each term of f gives rise to a monomial of the form
aeXf where e = e 1 + e2(d + 1) + · · · + eN(d + 1)N-l. As the ei's range
from 0 to d, the resulting e's are all distinct and one of them will
be the term of highest order. In other words, for some e, f(Xt, Y2 +
(d+l) (d+l)N- 1
' ... 'YN + xl
e .
xl ) = aeXI + terms of degree < e With
lYe -=J 0. It follows that a; 1J(u1,v2 + uid+l), ... ,) = 0 is an equa-
tion of integral dependence for u1 over k[v2, ... , vN] and hence, R is
integral over k[v 2 , ••• , vN]· The lemma follows by induction and the
transitivity of integral dependence.
(16.49)
i.e. the topological and algebraic dimensions of V over k are the same.
and so dimk V :S dimk V. Let v = dimk V and let Vo < · · · < V11 be
a maximal chain in V so that V0 = { v0 } is a point. Then, again by
proposition 6.3, {v0 } < V 1 < · · · < Vv is a maximal chain in V. Since
m 0 = I( {v0 }) n k[V] is a maximal ideal in k[V] and the V; correspond
to prime ideals in k[V], we have h(m 0 ) = v. Since m 0 is maximal,
d( mo) = 0. It follows from the theorem that h( mo) + d( mo) = v =
dimkV.
Proof: Let J:l = I(Z) in k[V] and let Zi, i = 1, ... ,s be the
other irreducible components of V(f) with J:li = I(Zi)· Then .j(fj =
p n p1 n · · · n J:ls (by the Nullstellensatz). Since the decomposition into
irreducible components contains no superfluous elements, there is a
g E nf= 1 J:li, g (/. j:l. Let us replace V by V9 and k[V] by k[V9 ] = k[V] 9 •
Then Vg(f) = {v E V9 : f(v) = 0} = Z n V9 is irreducible and
I( Z n V9 ) in k[V] 9 is simply pk[V] 9 • In other words, we may assume
that Z = V(f) and that jJ = I(Z) = .j(fj. Let S = k[V]. Then
by the Noether Normalization Lemma (16.43), there are algebraically
independent elements z1, ... , Zv of S, v = dim V = tr. deg S/ k, such
that Sis integral over R = k[z 1 , ... , zv]· Since R is integrally closed
(corollary 16.29) and K(S) = k(V) is a finite algebraic extension of
K(R) (as R is finitely generated over k), we deduce immediately from
corollary 16.39 that jJ n R = vf(K;) where fo = NI<(S)/I<(R)(f). Since
R is a unique factorization domain, fo = af~t where a is a unit and
f!J is a prime in R. In other words, jJ n R = (!~). It follows from
corollary 16.52 that tr. degk Rj R n J:l = v - 1. Since S/J:l is integral
over Rj R n jJ (proposition 16.36), we have dimZ = tr. degk Sjp =
tr. degk R/R n p = v- 1 = dimV -1.
Note that this corollary also shows that the topological and alge•
braic notions of dimension are the same.
Proof: Simply note that 'lj;- 1 (~) = oa(x) for some X in sr1 and
that oa(x) and G = GL(n,k) are k-isomorphic by the State 'space
Isomorphism theorem (11.19).
Let us, for the moment, call an affine (or quasi-affine) variety V
normal if its coordinate ring k[V] is integrally closed. Then Char( n, k)
is normal by virtue of corollary 16.35. Now, summarizing, we observe
that 'If; : Sf,1 -+ Char( n, k) is a dominant morphism into a normal variety
such that each fiber 'lj;- 1 (~) has all irreducible components of dimension
n 2 = dimkSf, 1 - dimkChar(n,k). It follows from proposition 18.22 of
the next section that 'If; is an open map. We now have:
103
© Springer Nature Switzerland AG 2018
P. Falb, Methods of Algebraic Geometry in Control Theory: Part I,
Modern Birkhäuser Classics, https://doi.org/10.1007/978-3-319-98026-3_17
104 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
105
© Springer Nature Switzerland AG 2018
P. Falb, Methods of Algebraic Geometry in Control Theory: Part I,
Modern Birkhäuser Classics, https://doi.org/10.1007/978-3-319-98026-3_18
106 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
Now, theorem 18.5 says that the dimension of the fi hers is not
"too small". Example 18.2 indicates that the dimension of the fibers
of a morphism may not be "just right" (i.e. equal to dimX- dimY)
FIBERS OF MORPIDSMS 109
everywhere. We shall soon show that things work out "almost every•
where".
We now prove the proposition which is the key to the first proof
of Theorem 17.1 (the second property of a geometric quotient).
Tk E R[X] (18.26)
If m >nand the degrees of the r;, then -!I = xm- f is monic and
or, equivalently,
+ g1 Jn-1
f 1n 1 + ··· + gn = 0 (18.27)
where gn = (Xm)n + r1(Xmt- 1 + ·· · + rn. In other words,- fi and
g- 1 + giff- 2 + ··· + gn-1 are monic polynomials in K[X] whose
product is in R'[X]. Then (exercise 50.) fiE R'[X] and f E R'[X].
19. The Geometric Quotient Theorem:
The Ring of Invariants
where the x~s are the characteristic polynomials and we let 'ljl : A~ 2 + 2 n
--+ Ak be the regular map ('ljl1, ... , 'ljlzn)· If Ro = k[Char(n, k)], then
(19.2)
(19.3)
113
© Springer Nature Switzerland AG 2018
P. Falb, Methods of Algebraic Geometry in Control Theory: Part I,
Modern Birkhäuser Classics, https://doi.org/10.1007/978-3-319-98026-3_19
114 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
Now, what we have shown so far is that k[1,61 , ... ,1,62n] is con•
tained in R 0 and hence, that 1,6*(Ro) ~ k[Char(n,k)] ~ k[1,61 , ... ,
1P2n]f) is contained in ( R 0 )(} = k[ Sf, 1 ] 0 . In other words, to establish
the third property of a geometric quotient, namely that k[Sf 1 f"="
k[Char( n, k )], it will be enough to prove the following. '
by
0 1 0 0
0 0 1 0
Xc= (19.10)
0 1
-xn(X) -xn-l(X) -xi( X)
then
Z(X, Y, Z)X =XcZ(X, Y, Z)
Z(X, Y, Z)Y =(ZXi- 1Y)j= 1 (19.11)
[I 0 ··· O]Z(X,Y,Z)=Z
l
[xr-t X 1 • •• xr-l Xn]· It follows that
zx1
zxx1 ZXn
ZXXn
[
=
l
Z(X,Y,Z)X
zxn~lxl zxn~ 1 Xn
zx1
··· ZXn
= [ Z(~ 2 )t •· · Z(~ 2 )n
(19.12)
z(Xn)t Z(Xn)n
Z(A,b,c)AZ(A,b,c)- 1 = Ac,
cZ(A,b,c)- 1 =[1 0 ··· 0],
and
Z(A,b,c)b = (cAi- 1 b)j= 1 •
0
0 0 1 -x1(X)
THE GEOMETRIC QUOTIENT THEOREM: THE RING OF INVARIANTS 117
then
Y(X,Y,Z)Xc =XY(X,Y,Z)
[zxi- 1 Y]j= 1 =ZY(X,Y,Z)
Y(A,b,c)
-1
Y = [b1] ,
0
and
cY(A, b,c) = [cAi- 1 b]j= 1 .
S = R 0 , then f = !,.
Corollary 19.22. Iff E S, then f = !, E So.
where
[jJ
0 0 0
0 0 1 0
Ac(X) =
' h=
1
-xn ... . .. . .. -xt
(note that at= 9'tx)· Then it is easy to see that a1,a2 are morphisms
and that f E S = R 0 = k[X, Y, Z] 0 if and only if (a 1 o a 2 )*(f) = f
(i.e. f o a2 o a1 = f). But (at o a2)*(f) is an element of So and so,
S =So.
[!J;
}(u1,···,un,X1,···,xn) = f(Ax,E1,[u1,···,un]) where Ax= Ac(x)
Example 19.28. Let n = 2 and let p(X11 ,X12 ,X21 ,X22 ,Y1,Y2 ,
Z 1,Z2 ) = Z 1 Y 1 Z 2 Y2 • Then pis an element of Rlfy but pis not the
restriction of an element of S. Let
120 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
so that
Y{ = (gY)t Z{ = (Zg-1 )1
Y{ = (gY)2 z~ = (Zg-1)2
(19.31)
0 0 al
1 0
A*= 0 b* = EI c* =En= (0 ... 0 1)
' '
0 1 an
(A,b,c) is in S} 1 .
'
Corollary 19.38. cp(Sf, 1 ) C M(n + 1, n)a x M(n, n + 1) 13 .
and
n
hn+j = L at_hf.+j-1,
t'=1
Proof: Since <pis bijective, we need only show that <p- 1 is a mor•
phism. If (Z 1(x), Y1(x)) = <p(x) E Sf 1, then <p- 1(Z 1 (x), Y1(x)) =
X= (A,b,c) and b = (Yl(x)h, c = (Z 1 (x)) 1 . Clearly, band care reg•
ular and so, we need only show that A(Z 1 (x), Y 1 (x)) is regular. Let
(say) Y1(x) = [Y1 · · · Yn Yn+1] with Yn+I = a1Y1 + · · · + anYn
and let g E G be ([Y1 · · · Yn])- 1 • Then, g,g- 1 are regular functions of
Y1, ... , Yn on Sf, 1 and A = g- 1 A *g where
Then:
follows:
(20.3)
(20.4)
128
© Springer Nature Switzerland AG 2018
P. Falb, Methods of Algebraic Geometry in Control Theory: Part I,
Modern Birkhäuser Classics, https://doi.org/10.1007/978-3-319-98026-3_20
AFFINE ALGEBRAIC GEOMETRY: SIMPLE POINTS 129
Definition 20.5. Let £1, ... ,lm be independent linear forms (ho•
mogeneous polynomials of degree 1) in k{Xt, ... , XN)and let a1, ... , am
be elements of k. Then the affine algebraic set V( £1 - a1, ... , lm- am)
is called a linear variety.
of
LN
i=l
[)X
t
(~)(X;- ~i) =0 (20.8)
where J(ft' ... 'fr; xl' ... XN )(~) = ( %1~ (~)) is the Jacobian matrix
of ft, ... , fr with respect to X1, ... , XN at ~· We then have:
r · n = </>(r)n (20.15)
Proof: Since the principal affine open sets form a base for the
Zariski topology, we may, in view of the lemma, assume that V = WI
for f E k[W] and that 1/; : WI --+ W is the natural injection. Then
k[WI] = k[W][Y]/(1 - fY) and a derivation D in Derk(k[W], k€)
extends to a derivation D' in Derk(k[WI],kd by setting D'(Y)
-(Df)(~)/ /(~) 2 • The result follows easily.
it will be enough to show that rank J(fi, ... ,fr;Xl, ... ,XN) in]( is
the same as rank J(fi, ... , fr; X1, ... , XN )(0 for all~ in an open sub•
set U of V. If pis the rank of J(fi, ... ,fr;Xl,·· ·,XN) inK, then
there are P E GL(r, k) and Q E GL(N, K) such that
h.n hn.+l
AFFINE ALGEBRAIC GEOMETRY: SIMPLE POINTS 135
(20.38)
(21.4)
137
© Springer Nature Switzerland AG 2018
P. Falb, Methods of Algebraic Geometry in Control Theory: Part I,
Modern Birkhäuser Classics, https://doi.org/10.1007/978-3-319-98026-3_21
138 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
and
!
r([g, K, a][g1, K1, a1]) = [ Kg 19 1aJ(1 a~J
- [i( ~] [ill ~J
for g E G, J( E Ak, and a E k*, r is a group homomorphism. More•
over, Tis obviously injective. Iff J(n, 1) = r(f J(n, 1)), then f J(n, 1)
is the linear subvariety of G L( n + 1, k) defined by the equations
(21.6)
r
and so, J( n, 1) is nonsingular (corollary 20.23) and has dimension
( n + 1)2 - n = n 2 + n + 1. If
g - = [g]( 0] E fJ(n,1)
a -
then r- 1 (9) = [g,K,a] and so, r- 1 is also a morphism. In other
words, (iii) and (iv) hold and r is an isomorphism of algebraic groups.
= [~ ~] [g~ ~] [ ~ ~]
0 ] [
-1
Ql -Q
!!.1-1Ag -1
J>'
FEEDBACK AND THE POLE PLACEMENT THEOREM 139
Proof: Let I= [g, K, a] E r f and let X= (A, b,c), Xt =(At' bt, C1)
= 1 · x so that A1 = g(A- ba- 1 K)g- 1 , b1 = gba- 1 and Ct = cg- 1 .
Then
= [ ~ ~], b = [ ~],
n, u
Example 21.9. Let A c = [1 1 ]. Then
and Z( At, b1, Ct) = [~ ~] so that (At, b1, c1) is not observable. In
other words, observabili ty (a fortiori minimality) is not invariant under
state feedback.
and
[g, 0, o:][I, Kt, 1][g- 1 , 0, a- 1 ] = [I, o:- 1 Ktg- 1 , 1],
N 1 is a normal subgroup on which G f acts via inner automorphisms.
(21.12)
FEEDBACK AND THE POLE PLACEMENT THEOREM 141
where the xi(-) are the characteristic coefficients, and, in particular, de•
termine conditions for the surjectivity of ~x-
However,
and hence that the range of ~x(K) is determined by the range of the
linear map lx(K) : Ai: ----+ Ai: given by
1 X1 X2
··· Xn-1]
0 1 X1 ... Xn-2
L X-- [
. . • (21.23)
0 0 0
0 0 0
0 0 0 1
Proof: (i) follows from the linearity of the trace and the fact that
tr(XY) = tr(Y X). (ii) follows by induction and the easy fact that
(bK) 2 = (bK) · tr(bK). (iii) follows from (ii) and the linearity of the
trace. (iv) is also an immediate result of (ii).
(21.27)
[H
0 (t!Y
Nx(K) = ~] + 0 0 (3t!,)
0 0 n 0 0
(21.28)
i.e. Nx(K) is the sum of a constant diagonal matrix and a matrix
which depends only on t~( K) and has zero entries on and below the
main diagonal.
The theorems 2.14 and 21.30 provide the solution to the so-called
"pole-placement problem".
145
only if '¢(n) E V(a) if and only if 'lj)- 1 (n) :J a if and only if n :J 'IJ)(a).
To demonstrate iii , we need only show that 'lj)- 1 (b) = I('¢(V(b)) as
'lj)- 1 (Vb) = 'lj)- 1 (b). But g E J('¢(V(b)) implies (go '¢)(n) = 0 for
n E V(b). In other words, 'IJ)(g)(n) = 0 and hence, 'IJ)(g) E J(V(b)) = b
or g E 'lj)- 1 (b).
Proof: For the first part, simply take V = Xh. For the second
part, simply note that hf = g on V which is dense in X so that hf = g
on X and J = g I h E Rx.
Proof: (i) has been established in corollary 22.13, and (ii) is ob•
vious. As for (iii), we may suppose that pu,u1 (!1) = pu,u1 (h) for all
f. If h -:j: h, then g = h - h E Ox(U) and there is an x E U9
(as X 9 n U -:j: ¢). But PU,Ug(!J) =PU,Ug(h) implies !J(x) =h(x),
which is a contradiction. To prove (iv), we may assume that the Ua
are principal open sets and so reduce to the following: let Ufi cover
U and lets; E Ou(UJ;) with s; = Sj on U1; n U1;, then there is an s
in Ox(U) with Pu,u1 (s) = s;. Since X is quasi-compact, we actually
j
If (X, 0 x) and (Y, Oy) are ringed spaces and 1/J : X - Y, then
we say that 1/J is a morphism of ringed spaces if (i) 1/J is continuous,
and (ii) for all open sets V in Y, f E Oy(V) implies 1/J*{f) = f o 1/J E
0 x( 1/J- 1 (V) ). Thus, in this context, a morphism of affine algebraic
varieties is simply a morphism of ringed spaces. We leave it to the
reader to verify the consistency of these ideas with what we have done
previously. This approach will turn out to be most fundamental.
23. Interlude
151
© Springer Nature Switzerland AG 2018
P. Falb, Methods of Algebraic Geometry in Control Theory: Part I,
Modern Birkhäuser Classics, https://doi.org/10.1007/978-3-319-98026-3_23
152 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
(23.1)
tP~oo(~oo) = (0,0,1)
'lj; ((€ l)) = ( 2r cos (J 2r sin (J r 2 - 1)
~"" ' r2 +1 ' r2 +1 ' r 2 +1
2a 2b a2 + b2 - 1
= ( a2 + b2 + 1' a2 + b2 + 1' a 2 + b2 + 1) ( 23 ·2)
(23.11)
and coprimeness means that the 4x2 matrix '¢F(z) has rank 2for all z
i.e. that the columns of '¢F(z) define a 2-dimensional subspace of C 4 .
INTERLUDE 155
so that po = [vo, v1],p1 = [vo, vz], ... ,ps = [vz, v3]. Since the matrices
are of rank 2, at least one Pi =j:. 0. Let G = GL(2, C). Then G acts
on M*(4,2) by multiplication on the right and defines an equivalence
relation on M*( 4, 2) by
(23.13)
V={MEM.(4,2):M= [f]}
and that there is an action of GonG xV given by g(g1, M) = (gg1, M)
(cf. (19.49)). Moreover, C[G x V] 0 = C[V] and so, as in section 19.,
we want P*(C[Gr(2,4)0 ]) "=" C[V]. But if,
(23.17)
suitably "homogenized". The roots of det Q(z) are the "poles" ofF
and we wish to examine the effects of output feedback on the "poles".
In other words, given ]( E M(2, 2), what happens when Q is shifted
to Q- ]( P i.e. what are the roots of det(Q- J( P)? We observe that
z~ =span [Q(O
P(O]
* For much more detail, see the survey article: "Pole Assignment
by Output Feedback" by C. I. Byrnes.
INTERLUDE 159
l
Y(A,B,C) = [B AB···An-IB] (23.19)
Z(A,B,C) = [ ~ (23.20)
CAn-I
H(A,B,C) = Z(A,B,C)Y(A,B,C) (23.21)
P([vo, VI, v2, v3]) = ([ vo vi], [Vo v2], [vo v3], [vi v3], [v2 v3]) (23.22)
and we have a natural map 'Py from the set of controllable sys•
tems into Gr(2,4) given by Py = 1' o Y. Similarly, there is a map
'Pz from the set of observable systems into Gr(2,4) given by 1' oZ.
Viewing the systems (A, B, C) as elements of A~2 , we can see that
(A~2 )c = {(A,B,C): (A,B,C) is controllable} is an open set (hence,
a quasi-affine variety) since (A~2 )c = uf= 0 (A~2 )p; wherepi(A,B,C) =
Pi(A,B) with Po(A,B) = det(bi b2],PI(A,B) = det[bi Abi],p2(A,B) =
det[bi Ab2],p3(A,B) = det[b2 Abi],P4(A,B) = det[b2 Ab2] (note that
Ps(A, B) = det[Abi Ab2] = det A· Po(A, B)). The map Y is a "mor•
phism" of the quasi-projective (no mistake as every affine or quasi•
affine variety is quasi-projective- Part II) variety (A~2 )c into the pro•
jective variety Gr(2, 4). In fact, Y((A~2 )c) ~ Uf= 0 Gr(2, 4)p; and does
not contain the point (0, 0, ... , 0, 1) which corresponds to the subspace
[00 I] (in fact, no point of the form (0,6, ... ,~4, 1)). Of course, things
are similar for observable systems.
Calling a system minimal if it is both controllable and observable
and letting Si, 2 (= s;,m) be the set of minimal systems, we have a
map 'Py,z: Si, 2 -+ Gr(2,4) X Gr(2,4) C P~ X P~ given by
(23.26)
(23.27)
Let 1-lcq, tla 2 ( a 1 < a 2 ) denote the first two independent rows of
1-l. Note that 1 ::; a1 ::; 2 (otherwise 1{ = 0). Then there is a 2 X 2 C
with
(23.33)
or,
(23.34)
(23.35)
(23.36)
together imply that W(A, B) C W < Ac which gives rank Z(A, B)<
n.
and so,
AM - M A = 0, MB =0 (23.49)
or,
MZ(A,B) =0 (23.50)
INTERLUDE 167
Proposition A.2. Let (T, f3) and (T', f3') be tensor products of U and
V. Then there is a unique isomorphism r: T-+ T' such that r o f3 = (3'.
168
© Springer Nature Switzerland AG 2018
P. Falb, Methods of Algebraic Geometry in Control Theory: Part I,
Modern Birkhäuser Classics, https://doi.org/10.1007/978-3-319-98026-3
APPENDIX A. TENSOR PRODUCTS 169
is linear. If rp and 'lj; are surjective, then so is rp 0 'lj;. If rp and 'lj; are
injective, then rp 0 'lj; is also injective (for if {ui} is a basis of U and
{vj} is a basis of V, then(¢ 0 ?j;)(u; 0 vj) = rp(u;)@ ?j;(vj) is linearly
170 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
(A.7)
and in general by
'lj;s: S-+ R0S given by 'lj;R(r) = r01 and 'lj;s(s) = 10s are injective
k-homomorphisms so that R and S may be viewed as subrings of
R 0k S. We shall adopt this point of view here. Finally we note that
the mapping a -+ a( 1 0 1) = a 0 1 = 1 0 a is a natural imbedding of
k into R 0k S. Thus, R 0k Sis in fact a k-algebra which we call the
tensor product of the k-algebras R and S.
Example A.10. Let R = k[X1 , ... , XN] and S = k[Y1 , ... , YM] be
polynomial rings. Then R0k S ~ k[Xb···,XN,Yt,···,YM], for the
mapping X; 01 -+ X;, 10 Yj -+ Yj clearly generates a k-isomorphism.
a(ri) =
0 fori= 1, ... ,n. It follows from the Nullstellensatz (cf.
problem 20) that Ti = 0 for i = 1, ... , n.
then we let T be the quotient R-module RMxN j P and for each basis
element (m, n) in RMxN, we let m@n be its residue class in T. Then T
is generated by the elements m 0 n and the mapping f3T : M x N -+ T
174 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
(B.2)
where a(m) is given by (B.l). We say that a defines an action of
G on M if a(7 is an action (i.e. a(7(g1g2,m) = a(7(g 1 ,a(7(g 2 ,m)) and
a(7(c:,m) = m), and, in that case, we say that G acts on M. If a
defines an action, then m E M implies m is contained in a finite
dimensional invariant subspace (Ekm;). Clearly, m is invariant if
and only if a(m) = l(·)m and M 1 C M is invariant if and only if
a(M1 ) C k[GJ ® M 1 . We usually suppress the linear map a.
175
© Springer Nature Switzerland AG 2018
P. Falb, Methods of Algebraic Geometry in Control Theory: Part I,
Modern Birkhäuser Classics, https://doi.org/10.1007/978-3-319-98026-3
176 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
(B.8)
if x E Re and y E R.
APPENDIX B ACTIONS OF REDUCTIVE GROUPS 177
(R 0RG 5) 0 = 5 (B.15)
i.e. the ring of invariants in (R 0Ra 5) is 5.
Example B.18. Let R = k[X1 , .•• ,XN] and let Rn be the set of
all homogeneous polynomials of degree n.
(C.l)
and leaves the rest of {1, ... , n} fixed is called a cycle and we write
a = ( i1 i2 · · · ir ). Every a E Sn can be written as a product of dis•
joint cycles. A cycle of the form ( i1 i2) is called a transposition. Since
( i1 · · · ir) = (i1 i2 )( i1 i3) · · · ( i1 ir ), every a E Sn is a product of trans•
positions.
Let R = k[x 1, ... , xn]· Then we may define an action of Sn on R
via automorphisms as follows:
(C.4)
179
© Springer Nature Switzerland AG 2018
P. Falb, Methods of Algebraic Geometry in Control Theory: Part I,
Modern Birkhäuser Classics, https://doi.org/10.1007/978-3-319-98026-3
180 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
Proposition C.10. Let 8r( x1, ... , xn) = 2:~= 1 xi, r = 1, ... , n.
Then the 8r are symmetric and, for k of characteristic 0, satisfy New•
ton's identities
(C.ll)
for r = 1, ... , n.
Proof: Clearly the 8r are symmetric. As for the rest, simply use
induction and (C.9).
for r = 1, ... , n.
Proof: If AI, ... , An are the eigenvalues of A, then tr(Ar) = ~Ai
and apply proposition C.lO.
Proof: Simply observe that the set is the principal affine open set
(Ak2)A·
1
O"(i i+l) =z 0 1 (C.21)
i+1 1 0
1
1
APPENDIX C SYMMETRIC FUNCTIONS AND SYMMETRIC GROUP ACTIONS 183
Note that a(i\+ 1) = a(i i+1) and that a(i i+l)diag[dt, ... , dn]
a(i\+1) = diag[d1, ... , di-1, di+t, d;, di+2, ... , dn]· It follows that
for any a in Sn. It is, in fact, not hard to show that N = Sn X Do( n, k)
where D0 (n,k) = D(n,k) n GL(n,k).
Now let R = k[X1, ... , XN] where the X; are vectors of indepen-
dent variables, X;= (xil, ... ,Xim)· The symmetric group Sn acts on
R by permuting the vectors X;. In other words,
(a· J)(X1, ... ,Xn) = r(Xt, ... ,Xn) = f(Xa(t), ... ,Xa(n)) (C.23)
Proof: If 't/J 1, ... , 1/Js are monomials in X1, ... , Xs, respectively,
then the length of 0( 't/J 1 · · · 1/Js) is s. Clearly any element of length 1
can be obtained from monomials in X 1 . We now use induction on s.
Supposing the result for all elements of length s or less, we have f0r
any monomials 't/J1, ... , 't/Js+1 in Xt, ... , X s+l, respectively,
(C.25)
where cis a positive integer and 6 consists of elements of length :=::; s*.
The lemma follows by the induction hypothesis.
185
© Springer Nature Switzerland AG 2018
P. Falb, Methods of Algebraic Geometry in Control Theory: Part I,
Modern Birkhäuser Classics, https://doi.org/10.1007/978-3-319-98026-3
186 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
Proof: Let J{ = k(6, ... ,~n) and let x,xt, ... ,xn be indeter-
minates. Set k = k(xt, ... ,xn) and K = K(x 1 , •.. ,xn)· Then
K = k( 6, ... , ~n) and K is a. finite separable extension of k. Let
[ = 6x1 + ·· · + ~nXn (D.6)
for i = 1, ... , n. _!'fote that ~D.8) is a.n identity in Xt, ... , Xn· Since [
is separable, P' ( ~) =f 0 and M(
~, x 1 , •.. , x n) is a. non-zero polynomial
* If k is finite, then the theorem is still true since in that case a finite
separable extension J{ is also a finite field and](* is a cyclic group ([Z-3]).
APPENDIX D DERIVATIONS AND SEPARABILITY 187
in K[xt, ... ,xn]· Since k is infinite, there are ct, ... ,en ink such that
(D.9)
Proof: Let u1, ..• , Un, v1, ... , Vm be bases of J( I k and L I]( re-
spectively. Then u;vi> i = 1, ... , n, j = 1, ... , m clearly form a basis
of Llk.
Now let J( = k(x 1 , •.• , Xn) be a finitely generated extension of k
and suppose that tr. deg K I k = v.
We now have:
separably generated.
3. Let
0 1 0 0
m
0 0 1 0
A=
b=
1
-ao -al -an-l
190
© Springer Nature Switzerland AG 2018
P. Falb, Methods of Algebraic Geometry in Control Theory: Part I,
Modern Birkhäuser Classics, https://doi.org/10.1007/978-3-319-98026-3
PROBLEMS 191
... ,h2n;bo, ... ,bn-1,ao, ... ,an-1) is not zero if and only if det
[c' A'c' ··· A'n- 1c'] :f. 0 and that detJ(hb···,h2n;bo, ... ,bn-1,
a 0 , ••. , an- 1 ) is not zero if and only if the determinant of the matrix
bo b1 bn-1
0 bo bn-1 } n rows
ao a1 an-1 1
0 ao an-1 1 }n-lrows
is not zero.
20. Let a be an ideal in k[X 1 , •.. ,XN] and let V(a) = {M<:
i\1< :J a}. Show that Ja = nM< where M< E V( a). If R is an affine
PROBLEMS 193
29. Show that the controllability and observability maps are not
194 METHODS OF ALGEBRAIC GEOMETRY IN CONTROL THEORY: PART I
Ao = [ ~ ~] , bo = [ ~] , co = [1 0]
42. Give an example which shows that V1 < V2 does not imply
dimk V1 < dimk V2.
48. Let R be a ring. Let p1, ... , Pn be prime ideals in R and let
a be an ideal contained in U!P;. Show that a C Pi for some i. [Hint: use
induction on n in the form a ct. Pi. i = 1, ... , n implies that a ct. Uf= 1 p;.]
53. Show that the maps a 1 , a 2 of (19.23) are regular and that
f E S if and only if ( a1 o a2 )*(!) = f.
54. Let D C A~ 2 + 2 n be V(Xij : i =f j, i,j = 1, ... n) so
that I(D) = (Xij). i =f j. Show that RD = k[D] is isomorphic with
k[Xn, ... , Xnn, Y, Z]. Is D irreducible? What is the dimension of D?
200
© Springer Nature Switzerland AG 2018
P. Falb, Methods of Algebraic Geometry in Control Theory: Part I,
Modern Birkhäuser Classics, https://doi.org/10.1007/978-3-319-98026-3
REFERENCES 201