6
$\begingroup$

Let $\mathbb{F}$ be a field and $V$ an $\mathbb{F}$-vector space. Let $\operatorname{T}\in\mathrm{End}(V)$ be an $\mathbb{F}$-linear operator. It is well known that if $\dim V<\infty$ then $\operatorname{T}$ has a Jordan canonical form, i.e., it is similar to the direct sum of a number of Jordan blocks. If a certain eigenvalue (i.e., root of a polynomial) is not inside $\mathbb{F}$ then in the corresponding Jordan block it is represented by its $\mathbb{F}$-matrix representation (that is, the Jordan block is a block matrix).

In infinite dimensions the existence of Jordan canonical form is not guaranteed. I consider only those operators for which it exists.

Question:

Let $V$ have arbitrary dimensions, and assume that $\operatorname{T}$ does have a Jordan canonical form, i.e., it is similar to the direct sum of (an arbitrary set of) Jordan blocks. Let now $W\subset V$ be an $\mathbb{F}$-vector subspace which is $\operatorname{T}$-invariant, $\operatorname{T}W\subset W$. Is it true that the restriction $\operatorname{T}|_W\in\mathrm{End}(W)$ also has a Jordan canonical form?

Thank you.

$\endgroup$
3
  • 1
    $\begingroup$ Everything is quite simple. No restrictions on $I$. An operator has a Jordan canonical form if it is similar to the direct sum of an arbitrary set of Jordan blocks. Every single term in this sentence is well defined. $\endgroup$
    – Bedovlat
    Commented Jun 16, 2018 at 17:03
  • 1
    $\begingroup$ So you mean that Jordan blocks are finite-dimensional? $\endgroup$
    – YCor
    Commented Jun 16, 2018 at 17:12
  • $\begingroup$ Oh, yes, of course. The usual, conventional Jordan blocks. $\endgroup$
    – Bedovlat
    Commented Jun 17, 2018 at 12:30

1 Answer 1

8
$\begingroup$

The question can be restated as follows: let $F$ be a field $T$ be an endomorphism of a vector space over $F$. Suppose that it decomposes as a direct sum of finite-dimensional $T$-stable subspaces. Does the same property hold for every $T$-stable subspace?

In turn, it can be formalized as follows, in a pure language of commutative algebra: let $V$ be a $F[t]$-module. Suppose that $V$ is a direct sum of finite length submodules. Does every submodule share the same property?

It's true and follows as a particular case of the following

Theorem Let $R$ be a PID. Let $\mathcal{C}_R$ be the class of $R$-modules that decompose as a (possibly infinite) direct sum of finite length submodules (and hence of finite length cyclic submodules). Then $\mathcal{C}_R$ is stable under taking submodules.

This is a theorem of Kulikov (1941) when $R=\mathbf{Z}$, in which case the proof can be found in L. Fuchs' book "Infinite abelian groups, Vol 1", §17-18.

When $R=k[t]$, polynomial ring in one indeterminate over a field $k$, this exactly yields your claim.

I don't know if anybody wrote the result for arbitrary PID (even for such polynomial rings, for which it should not be easier), but the proof in Fuchs' book extends with essentially no change to arbitrary modules over PIDs.

The main lemma in Fuchs' book (Theorem 17.1) is the following (in the case of $\mathbf{Z}$). For an irreducible element $r$ in $R$, an $R$-module is called a $p$-module $M$ if for every $x\in M$ there exists $n$ such that $p^nx=0$. Also, the (possibly infinite) number $h(x)=\sup\{n:x\in p^nM\}$ is called the height of $x$.

Lemma Let $R$ be a PID and $p$ an irreducible element. A $p$-module $M$ is a direct sum of cyclic modules if and only if one can write $M$ as union of an ascending chain of submodules $M_1\le M_2\le\dots$, $\bigcup_nM_n=M$, such for every $n$, we have $\sup_{x\in M\smallsetminus\{0\}}h(x)<\infty$.

It clearly implies, for a given PID $R$, the above theorem.

So, for completeness, let me write the proof of the lemma; it essentially consists in a copy of the proof in Fuchs' book.

Up to reindexing (adding redundancies if necessary), we can first suppose that $M_n\cap p^n M=\{0\}$ for all $n$. Second, we can suppose that $(M_n)$ is maximal for this property (namely, among sequences $(N_n)_{n\ge 1}$ satisfying $N_n\cap p^n M=\{0\}$ for all $n$ with the ordering $(N_n)\le(M_n)$ if $N_n\le M_n$ for all $n$).

Denote by $M[p]$ the kernel of $m\mapsto pm$. For every $n\ge 1$, we choose a maximal independent subset $J_n$ in the subgroup $M_n[p]\cap p^{n-1}M$, and define $J=\bigsqcup_{n\ge 1} J_n$. For every $c\in J$, choose $a_c\in M$ with $p^{h(c)}a_c=c$.

We claim that $M=\bigoplus_{c\in J}Ra_c$.

The first part is that this is indeed a direct sum. First, since all nonzero elements of the $R$-module $\langle J_n\rangle$ generated by $J_n$ have height $n-1$, we see that the $\langle J_n\rangle$ generate their direct sum, so $J$ is a $R/pR$-free family in $M[p]$.

Next suppose that we have a nontrivial combination, namely $\sum_{i\in I} r_ca_c=0$, with $I$ a nonempty finite subset of $J$ and $r_c\notin p^{h(c)+1}R$ for all $i$. If $r_c\notin p^{h(c)}R$ for some $c\in I$, we multiply everything by $p$. So we can suppose that $r_c=p^{h(c)}R$ for all $i$, namely $r_c=p^{h(c)}s_c$ with $s_c\notin pR$. Hence $\sum_{c\in I}s_cc=0$, contradicting that $J$ is a $R/pR$-free family in $M[p]$.

Now let us show that $M=\sum_{c\in J}Ra_c$. The first step is to show that $\langle J\rangle=M[p]$. Clearly $\langle J_n\rangle=M_n[p]\cap p^{n-1}M$. Suppose by induction that every element in $M_r[p]$ belongs to $\langle J\rangle$ (which is clear for $r=1$), and consider $b\in M_{r+1}[p]\smallsetminus M_r$. The maximality of $(M_n)$ and $b\in M_r$ implies that $(M_r+Rb)\cap p^rM\neq\{0\}$. So we can find $0\neq c=g+kb\in p^rM$, with $g\in M_r$ and $k\in R$. Then $kb\neq 0$; hence $k\notin pR$. Multiplying by $k'$ with $kk'-1 \mod pR$, we can suppose that $k=1$, so we now assume that $c=g+b$. We have $c\in M_{r+1}$ and $h(c)\ge r$, and thus $h(c)=r$ since $M_{r+1}\cap p^{r+1}M=\{0\}$. Also $h(pc)\ge r+1$, and $pc=pg\in M_r$; if nonzero it would be a contradictio to $M_r\cap p^rM=\{0\}$, so $pc=0$. So $pg=0$ as well. By induction, $g\in\langle J\rangle$, and hence $b=c-g$ as well. Thus $\langle J\rangle=M[p]$.

By another induction, we prove that every $m\in M$ with $p^nm=0$ belongs to $M'=\sum_{c\in J}Ra_c$; this holds for $n=1$ and we can now consider the case of $b$ with $p^{n+1}b=0$, with $n\ge 1$; we have to show that $b'\in M'$. By the previous paragraph, we have $p^nb\in\langle J\rangle$. We write $$p^nb=m_1c_1+\dots +m_jc_j+n_1d_1+\dots +n_kd_k,$$ with $c_1,\dots,d_k\in J$, $h(c_i)\ge n$, $h(d_i)\le n-1$. We can write $m_ic_i=p^nm'_ia_{c_i}$, and hence we have $$p^n(b-m'_1a_{c_1}-\dots -m'_ja_{c_j})=n_1d_1+\dots +n_kd_k\in M_{n}.$$ Since $M_{n}\cap p^nM=\{0\}$, we deduce that $p^nb'=0$, with $b'=b-m'_1a_{c_1}-\dots -m'_ja_{c_j}$. By induction, we have $b'\in M'$, and $b\in M'$ follows.

$\endgroup$
1
  • $\begingroup$ Additional comments, assuming that $R$ is a PID and not a field: (0) the class $\mathcal{C}_R$ is a proper subclass of the class of modules locally of finite length (1) the class $\mathcal{C}_R$ is not stable under taking extensions, non-direct sums, quotients (2) it contains the class of bounded modules (that is, those with nonzero annihilator), (3) it is stable under extensions with bounded quotient (again, this is proved in Fuchs for abelian groups) $\endgroup$
    – YCor
    Commented Jun 18, 2018 at 9:44

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .