arXiv:1803.04018v1 [math.GR] 11 Mar 2018

THE CORANK OF A FLOW OVER THE CATEGORY OF
LINEARLY COMPACT VECTOR SPACES.

Ilaria Castellano
ilaria.castellano88@gmail.com
University of Southampton
Building 54, Salisbury Road - 50171BJ Southampton (UK)
Abstract. For a topological flow (V, φ) - i.e., V is a linearly compact
vector space over a discrete field and φ a continuous endomorphism of
V - we introduce a notion of corank which turns out to coincide with the
value of the topological entropy of (V, φ) (see Theorem C). The name
corank comes from the fact that this function can be regarded as dual
notion of the torsion-free rank of abstract K[t]-modules. In other words,
Theorem C can be considered to be the analogue - in the context of
linearly compact vector spaces - of [17, Corollary 4.8] where the algebraic
entropy of an algebraic flow (W, ψ) is related to the torsion-free rank of
the associated module Wψ . Finally, we provide an alternative proof of
the so-colled Bridge Theorem for locally linearly compact vector spaces
connecting the topological entropy to the algebraic entropy by means of
Lefschetz duality.

Key words and phrases: linearly compact vector space, algebraic entropy,
topological entropy, algebraic dynamical system, dual goldie dimension, corank.
1. Introduction
Adler, Konheim and McAndrew [1] introduced the notion of topological
entropy htop for continuous self-maps of compact spaces, and they sketched a
definition of the algebraic entropy halg for endomorphisms of abelian groups.
Later on these entropy functions have been pushed forward by many different
authors, e.g., [3, 19, 28, 25] (see also [11] for a complete survey).
Generally an entropy function over a category C is an invariant
h : Flow(C) → R≥0 ∪ {∞},
of the category Flow(C) of flows of C. Recall that a flow in C is a pair (X, f )
consisting of an object X of C and a morphism f : X → X. A morphism
between two flows, say (X, f ) and (Y, g), is given by a morphism u : X → Y
in C making the diagram
X

f

/X

u

(1.1)

u



Y


g

/Y

This work was supported by EPSRC Grant N007328/1 Soluble Groups and Cohomology
and partially supported also by Programma SIR 2014 by MIUR (Project GADYGR,
Number RBSI14V2LI, cup G22I15000160008).
1

2

THE CORANK OF A TOPOLOGICAL FLOW

commute.
In this paper we are mainly interested in the entropy functions of a flow
(V, φ) over K LLC, where K LLC denotes the category of locally compact Kvector spaces. From now on let K LC and K Vect denote respectively the
categories of linearly compact K-vector spaces and discrete K-vector spaces
over the discrete field K. In particular, K Vect and K LC are full subcategories
of K LLC that turns out to be one the dual of the other by means of Lefschetz
duality (see § 2.1 and § 2.2).
In [4, 5] the notions of topological entropy and algebraic entropy have
been introduced for the category Flow(K LLC) as follows (with a slightly
different notation). Let V be a locally linearly compact vector space and
B(V ) the neighbourhood basis at 0 consisting of all linearly compact open
subspaces of V . Inspired by the notion of topological entropy of a continuous
endomorphism of a totally disconnected locally compact group (see [13, 16]),
for every (V, φ) ∈ ob(Flow(K LLC)), the topological entropy is defined to be
ent∗ (V, φ) = sup H ∗ (φ, U ),

(1.2)

U ∈B(V )

where H ∗ (φ, U ) = limn→∞ n1 dim(U/(U ∩ φ−1 U ∩ . . . ∩ φ−n+1 U )). On the
other hand, the algebraic entropy of (V, φ) is defined by
ent(V, φ) = sup H(φ, U ),

(1.3)

U ∈B(V )

where H(φ, U ) = limn→∞ n1 dim((U + φU + · · · + φn−1 U )/U ).
It is worth remarking that the main ingredient in both the definitions
(1.2) and (1.3) is the fact that U ∩ φ(U ) has finite codimension in φ(U )
(or, equivalently, U ∩ φ−1 (U ) has finite codimension in U ), and this is a
phenomenon - giving the name φ-inert to U - inspired by a series of papers
of U. Dardano and coauthors (see the survey [7]).
Both ent∗ and ent are invariants of the category Flow(K LLC) satisfying all
the properties an entropy function is supposed to satisfy (see §2.3). Among
all of those properties, one should notice that
ent∗ ↾Flow(K Vect) = 0 and

ent ↾Flow(K LC) = 0,

(1.4)

which justifies the adjectives topological and algebraic. Consequently, we
shall call an object of Flow(K LC) topological flow, and one of Flow(K Vect)
algebraic flow. For further details Section 2 collects all necessary properties
concerning both linearly compact spaces and ent/ent∗ .
In order to define our notion of corank, we firstly focus on those torsion
theories that arise naturally by the entropy functions ent∗ and ent (see Section 3). Since both Flow(K LC) and Flow(K Vect) can be regarded as functor
categories of K LC and K Vect, respectively, they turn out to be complete
abelian categories, and so we can treat the notion of torsion axiomatically.
This approach allows us to prove easily the existence of Pinsker-like constructions in our setup (see [2, 10]).
t
Namely any topological flow (V, φ) admits the largest factor (Ptop (V, φ), φ )
of zero topological entropy, called Pinsker factor, and any algebraic flow
(W, ψ) admits the Pinsker subflow, denoted by (Palg (W, ψ), ψ ↾a ), which is

THE CORANK OF A TOPOLOGICAL FLOW

3

the largest subflow of zero algebraic entropy. In particular Ptop (V, φ) is a factor of V by a closed φ-invariant subspace, Palg (W, ψ) is a ψ-invariant linear
t
subspace of W and both φ and ψ ↾a are induced by φ and ψ respectively.
Often we will refer to Palg (W, ψ) as the Pinsker subspace of (W, ψ) and to
Ptop (V, φ) as the Pinsker factor with abuse of notation.
Since the torsion theories over K LC and K Vect turns out to be one the
dual of the other, one deduces the following relation between Pinsker factor
and Pinsker subflow (see § 2.2 for an introduction to Lefschetz duality).
Theorem A. Let (V, φ) be a topological flow. Then
t
b ⊥ , φa ),
(Ptop (V, φ), φ ) ∼
= (V /Palg (Vb , φ)

t
a
b ⊥ → V /Palg (Vb , φ)
b⊥
where φ : Ptop (V, φ) → Ptop (V, φ) and φ : V /Palg (Vb , φ)
are both induced by φ. In particular,

b⊥
D+ (V, φ) ∼
=top Palg (Vb , φ)

and

∼
b b
D\
+ (V, φ) = F+ (V , φ).

b denote respectively the doThe K-vector spaces D+ (V, φ) and F+ (Vb , φ)
main of completely positive topological entropy of (V, φ) and the factor of
b defined in Section 3.
completely positive algebraic entropy of (Vb , φ)
The analogue of Theorem A in the context of Pontryagin duality [9,
Thm. A] is well-known and there it is deduced by the so-called Bridge Theorem. Throughout this paper we avoid any possible application of the Bridge
Theorem stated in [5] since we will provide an alternative proof of that result
in the end of the last section.
Once a torsion theory τ is available, one can try to define a τ -rank, which
is the attempt to measure the torsion-free quotient of an object. Indeed in the setting of discrete vector spaces - [17, Corollary 4.8] shows that the
algebraic entropy of an algebraic flow can be regarded as the size of the factor
of completely positive algebraic entropy and moreover it is equivalent to the
notion of torsion-free rank of modules over PID. What is the topological
counterpart? By duality one should first look for a “τ -torsion” rank (or
τ -corank) that has the purpose to measure the torsion of a topological flow,
i.e., (D+ (V, φ), φ ↾D+ (V,φ) ) (see Proposition 3.4). Therefore we introduce the
corank function
cork : Flow(K LC) → N ∪ {∞}
(1.5)
in Section 4. Indeed the corank of (V, φ) is defined as a “dimension” of
(D+ (V, φ), φ ↾D+ (V,φ) ) regarded as a lattice: the corank is the dual Goldie
dimension of the modular lattice formed by all closed φ-invariant linear subspaces of D+ (V, φ) (see § 4.1). The idea to use this dimension to measure
D+ (V, φ) comes from the observation that the rank of a torsion-free module
over a PID coincides with its Goldie dimension.
Since D+ (V, φ) is the smallest closed φ-invariant subspace of V such that
ent∗ (D+ (V, φ), φ ↾D+ (V,φ) ) = ent∗ (V, φ),

(1.6)

one can foresee a relation between the corank of a topological flow and its
topological entropy. This relation is actually expressed by an equality in the
following theorem whose proof needs to wait until the end of Section 5.

4

THE CORANK OF A TOPOLOGICAL FLOW

Theorem C. For a topological flow (V, φ), one has
ent∗ (V, φ) = cork(V, φ).
Section 5 is devoted to prove Theorem B which characterises the topological entropy of a topological flow with respect to left Bernoulli shifts in the
same spirit of how [17] characterises entdim with respect to right Bernoulli
shifts. More precisely, let (V, φ) be a topological flow. For every linearly
compact open subspace U of V , the linearly compact space
\
φ−n U.
(1.7)
C(φ, U ) =
n∈N>0

is defined to be the φ-cotrajectory of U in V . A φ-cotrajectory C(φ, U ) in
V is said to be cocyclic if U has codimension 1 in V ; C(φ, U ) is said to be
non-stationary if C(φ, U ) is not open in V or equivalently if C(φ, U ) has
infinite codimension in V . Proposition 5.4 shows that the topological flow
(V /C(φ, U ), φ) is actually a left Bernoulli shift (see Example 2.6) whenever
C(φ, U ) is a non-stationary cocyclic φ-cotrajectory of V . Consequently one
obtains the following important result which is also the main ingredient in
the proof of Theorem C.
Theorem B. For a topological flow (V, φ) the following are equivalent:
a) the topological entropy ent∗ (V, φ) = k ∈ N,
b) there exist k ∈ N coindependent non-stationary cocyclic φ-cotrajectories
{C(φ, Ui ) | i = 1, . . . , k} such that
∗

ent (C, φ ↾C ) = 0,

where

C=

k
\

C(φ, Ui ).

i=1

Moreover, ent∗ (V, φ) = ∞ if, and only if, there exists an infinite (countable)
coindependent family of non-stationary cocyclic φ-cotrajectories.
Finally Section 6 deals with the duality between topological and algebraic flows that actually dominates the whole paper. We point out that
both Flow(K Vect) and Flow(K LC) can be regarded as categories of modules. More generally indeed every object (V, φ) of Flow(K LLC) corresponds
univocally to a topological K[t]-module φ V , where K[t] denotes the (discrete) polynomial ring in the variable t. For an algebraic flow (V, φ), the
K[t]-module φ V is actually discrete and we recover the well-known equivalence Flow(K Vect) ∼
= K[t] Mod of categories.
As a consequence of Theorems A and B, the corank introduced in Section 4
can be here seen as a corank of topological modules and so considered to be
dual notion of the torsion-free rank over a PID in the context of topological
K[t]-modules (whose underlying K-vector space is linearly compact). This
interpretation leads to the proof of the so-called Bridge Theorem (see §6.2)
for linearly compact vector spaces, which also implies the general version
holding in K LLC. This important result finds some analogues in many other
contexts (see, e.g., [28, 24, 9, 12, 26]).

THE CORANK OF A TOPOLOGICAL FLOW

5

2. Preliminaries
2.1. Linearly compact vector spaces. Let K be a field carrying the discrete topology. A Hausdorff topological K-vector space V is said to be
linearly topologized if it admits a neighborhood basis at 0 consisting of linear subspaces of V . Clearly, the class of linearly topologized K-vector spaces
is closed under taking linear subspaces and quotients by a closed linear subspace (endowed with the induced topologies).
From now on V will be a linearly topologized space. A linear variety M of
V is a coset v +W of a linear subspace W of V . The variety M is closed if W
is closed in V . Following Lefschetz [21], a linearly topologized vector space
V is said to be linearly compact if any collection of closed linear varieties
of V with the finite intersection property has non-empty intersection. E.g.,
discrete K-vector spaces are linearly compact as well as compact linearly
topologized spaces. In the following we collect some known properties that
we frequently use further on.
Proposition 2.1 ([21, p. 78], [22, Propositions 2 and 9],[27, Theorem 28.5]).
For linearly topologized vector spaces V and W such that W ≤ V , the following hold.
(a) If W is linearly compact, then W is closed in V .
(b) If V is linearly compact and W is closed, then W is linearly compact;
(c) linear compactness is preserved by continuous homomorphisms;
(d) If V is discrete, then V is linearly compact if and only if V has finite
dimension;
(e) If W is closed, then V is linearly compact if and only if W and V /W
are linearly compact.
(f) The direct product of linearly compact vector spaces is linearly compact.
(g) An inverse limit of linearly compact vector spaces is linearly compact.
(h) If V is linearly compact, then V is complete.
Therefore most of the main properties of compact sets carry over to linearly compact spaces even if linearly compactness is a weaker notion compared to compactness. The important result below is another example (see
[6, Proposition 1.1(v)]).
Proposition 2.2 (Open mapping theorem). Let V be a linearly compact
space and W a linearly topologized space. Every continuous homomorphism
f : V → W is open onto its image. In particular, any continuous bijective
homomorphism f : V → W is a topological isomorphism.
Corollary 2.3. The topological version of the isomorphism theorems holds
in K LC.
A topological K-vector space V admitting a neighborhood basis at 0 consisting of linearly compact open linear subspaces of V is called locally linearly
compact (briefly, l.l.c.) (see [21]).
Theorem 2.4 ([21, (27.10), page 79]). A linearly topologized vector space
V is l.l.c. if and only if V ∼
=top Vc ⊕ Vd , where Vc is a linearly compact linear
subspace and Vd is a discrete linear subspace of V . In particular, Vc ∈ B(V ).

6

THE CORANK OF A TOPOLOGICAL FLOW

Thus, every l.l.c. vector space is complete. Moreover, the class of all l.l.c.
vector spaces is closed under taking closed linear subspaces, quotient vector
spaces modulo closed linear subspaces and extensions.
2.2. Lefschetz Duality. For an l.l.c. space V , the Lefschetz dual Vb is
CHom(V, K) endowed with the (linearly compact)-open topology. Namely,
the topology on Vb has the family
{A⊥ | A ≤ V, A linearly compact}

(2.1)

as neighbourhood basis at 0, where A⊥ = {χ ∈ CHom(V, K) : χ(A) = 0} is
the annihilator of A in Vb .
It can be proven that the Lefschetz dual of a discrete K-vector space is
linearly compact, and vice-versa. Moreover, if V has finite dimension, then
V is discrete and Vb is the algebraic dual of V , so Vb is isomorphic to V .
Proposition 2.5 ( [20, §10.12.(6), §12.1.(1)]). Let V be an l.l.c. vector space
and U a closed linear subspace of V , then
Vd
/U ∼
=top U ⊥

By Lefschetz Duality,

and

b∼
U
=top Vb /U ⊥ .

ωV : V → Vb such that ωV (v)(χ) = χ(v) ∀v ∈ V, ∀χ ∈ Vb ,

(2.2)

is a canonical topological isomorphism. More precisely, let
b :K LLC →K LLC
−

be the duality functor, which is defined on the objects by V 7→ Vb and on
c → Vb such that φ(χ) = χ ◦ φ
the morphisms sending φ : V → W to φb : W
b : K LLC → K LLC and the
c
for every χ ∈ W . Thus the biduality functor −
identity functor id : K LLC → K LLC are naturally isomorphic.
In particular, the duality functor defines a duality between the subcategory K LC of linearly compact vector spaces over K and the subcategory
K Vect of discrete K-vector spaces. In other words Flow(K LC) is equivalent
to Flow(K Vect)op . As a consequence, every linearly compact vector space
is a Tychonoff product of one-dimensional vector spaces (see [21, Theorem
32.1]). Moreover, one can deduce that an l.l.c. vector space over a discrete
finite field is a totally disconnected locally compact abelian group.
2.3. Basic properties of both entropy functions. Let (V, φ) be a flow
of K LLC. The topological and algebraic entropy functions ent∗ and ent
satisfies the following properties (see [4, 5]).
P1. (Invariance under conjugation) For every topological isomorphism
α : V → W of l.l.c. vector spaces, one has
ent∗ (W, αφα−1 ) = ent∗ (V, φ)

and ent(W, αφα−1 ) = ent(V, φ).

P2. (Monotonicity) For a closed φ-invariant linear subspace W of V ,
ent∗ (V, φ) ≥ max{ent∗ (W, φ ↾W ), ent∗ (V /W, φ)} and
ent(V, φ) ≥ max{ent(W, φ ↾W ), ent(V /W, φ)},
where φ : V /W → V /W is induced by φ,

THE CORANK OF A TOPOLOGICAL FLOW

7

P3. (Logarithmic law) If k ∈ N, then
ent∗ (V, φk ) = k · ent∗ (V, φ)

and ent(V, φk ) = k · ent(V, φ).

P4. (Continuity on inverse limits) Let {Wi | i ∈ I} be a directed system
(under inverse inclusion) of closed φ-invariant linear subspaces of
V . If V = lim V /Wi , then ent∗ (φ) = supi∈I ent∗ (φWi ), where any
←−
φWi : V /Wi → V /Wi is the continuous endomorphism induced by φ.
P5. (Continuity on direct limits) Let V be an l.l.c. vector space and
φ : V → V a continuous endomorphism. Assume that V is the direct
limit of a family {Vi | i ∈ I} of closed φ-invariant linear subspaces
of V , and let φi = φ ↾Vi for all i ∈ I. Then ent(φ) = supi∈I ent(φi ).
Moreover, since it has been pointed out in [4] that ent ↾Flow(K Vect) coincides
with the dimension entropy entdim studied in [17], throughout this paper all
the well-known results concerning entdim will be automatically considered
to be properties of the algebraic entropy ent ↾Flow(K Vect) of algebraic flows.
Example 2.6 (Bernoulli shifts). For the purposes of this paper, we consider
here only a specific type of the so-called Bernoulli shifts. For the general
one the reader is referred to [5, ExampleQ3.13].
Let Vc be the linearly compact space ∞
n=0 K (endowed with the product
topology). The left (1-dimensional) Bernoulli shift is defined by
Kβ :

Vc → Vc ,

(xn )n∈N 7→ (xn+1 )n∈N .

Moreover (Vc , K β) is a topological flow and ent∗ (Vc , K β) = 1.
L∞
On the other hand, we may consider the K-vector space Vd =
n=0 K
equipped with the discrete topology. Thus one defines the right (1-dimensional)
Bernoulli shift as
βK : Vd → Vd ,

(x0 , x1 , . . .) 7→ (0, x0 , x1 , . . . ).

The algebraic flow (Vd , βK ) turns out to have algebraic entropy 1. Moreover,
it is not difficult to prove that
(Vbc , Kc
β) ∼
=top (Vd , βK ).

We conclude this section by stating one of the most important properties
concerning the topological and algebraic entropy for l.l.c. spaces.
Addition Theorem ([4, Thm. 6.3],[5, Thm. 1.2]). Let (V, φ) be a flow of
K LLC. For every closed φ-invariant linear subspace W of V one has that
ent∗ (V, φ) = ent∗ (W, φ ↾W ) + ent∗ (V /W, φ),

ent(V, φ) = ent(W, φ ↾W ) + ent(V /W, φ),
where φ : V /W → V /W is induced by φ.
3. Torsion theories and Pinsker-like constructions
3.1. Torsion theory for abelian categories. Following [8], a torsion theory for a subcomplete abelian category C consists of a couple τ = (T , F) of
classes of objects of C satisfying
(I) T ∩ F = {0}.
(II) If T → A → 0 is exact with T ∈ T , then A ∈ T .
(III) If 0 → A → F is exact with F ∈ F, then A ∈ F.

8

THE CORANK OF A TOPOLOGICAL FLOW

(IV) For each object X of C there is an exact sequence
0 → T → X → F → 0,
with T ∈ T and F ∈ F.
Thus T is a torsion class and F is a torsion-free class of C. A torsion theory
of C is called hereditary if the class T is closed under taking subobjects. If
both the classes T and F satisfy (IV) and contain with any object all its
isomorphic images, then axioms (I) through (III) can be replaced by the
ortogonality axiom
(V) Hom(T, F ) = 0, ∀T ∈ T , F ∈ F.
As a consequence any torsion theory over C is uniquely determined by its
torsion class, since F = {M ∈ ob(C) | Mt = 0}. Moreover, one has the
following useful characterisation.
Theorem 3.1 ([8, Thm. 2.1]). Let T and F be complete with respect to the
orthogonality axiom1. Thus τ = (T , F) is a torsion theory.
For further applications we are mainly interested in the following result.
Proposition 3.2 ([8, Proposition 2.4]). Let τ = (T , F) be a torsion theory
of C, and let M ∈ ob(C). Then there is a unique largest subobject Mt of
M which is a member of T . Moreover, M/Mt ∈ F. The object Mt can be
calculated by either of the equalities
S
(1) Mt = T{T ⊆ M | T ∈ T }, or
(2) Mt = {S ⊆ M | M/S ∈ F}.
3.2. The Pinsker factor of a topological flow. Firstly, notice that the
category Flow(K LC) of topological flows can be regarded as a functor category over K LC. Thus Flow(K LC) is a complete abelian category since K LC
is. Let us construct a torsion theory for the category of topological flows.
Let
Ftop = {(F, ϕ) ∈ ob(Flow(K LC)) | ent∗ (F, ϕ) = 0}.
(3.1)
By means of all the properties stated in §2.3, Ftop satisfies the closure properties of [8, Thm. 3.2], i.e., it is closed under kernels, infinite products and
extensions. Thus Ftop is a well-defined torsion-free class on Flow(K LC), and
the corresponding torsion class Ttop can be obtained by the orthogonality
axiom (see Theorem 3.1). Namely, (T, τ ) ∈ Ttop if, and only if,
HomFlow(K LC) ((T, τ ), (F, ϕ)) = 0, ∀(F, ϕ) ∈ Ftop .

(3.2)

A topological flow (V, φ) is said to have completely positive topological entropy, denoted by ent∗ (V, φ) >> 0, if ent∗ (V /Z, φ) 6= 0 for every closed
φ-invariant proper linear subspace Z of V . Equivalently, ent∗ (V, φ) >> 0
whenever (V, φ) does not admit non-trivial factors of zero topological entropy.
Proposition 3.3. Ttop = {(V, φ) ∈ ob(Flow(K LC)) | ent∗ (V, φ) >> 0}∪{0}.
1i.e., if an object T of C is such that Hom(T, F ) = 0 for all F ∈ F, then T ∈ T ; and
the other way round.

THE CORANK OF A TOPOLOGICAL FLOW

9

Proof. To prove the first inclusion, let (T, τ ) ∈ Ttop and suppose it admits
a non-trivial factor (T ′ , τ ′ ) of zero topological entropy, i.e., (T, τ ) does not
have completely positive topological entropy. Thus 0 6= (T ′ , τ ′ ) ∈ Ftop and
HomFlow(K LC) ((T, τ ), (T ′ , τ ′ )) 6= 0 contradicting (3.2).
Conversely, let ent∗ (V, φ) >> 0. Suppose there exists (F, ϕ) ∈ Ftop such
that HomFlow(K LC) ((V, φ), (F, ϕ)) 6= 0. Thus (V, φ) admits a non-trivial factor (V ′ , φ′ ) isomorphic to a subflow of (F, ϕ) (see Corollary 2.3). By the invariance under conjugation and the monotonicity of the topological entropy,
0 ≤ ent∗ (V ′ , φ′ ) ≤ ent∗ (F, ϕ) = 0. But the hypothesis ent∗ (V, φ) >> 0
yields the contradiction.

Proposition 3.4. Let (V, φ) be a topological flow. Thus V admits the largest
closed φ-invariant linear subspace D+ (V, φ) such that (D+ (V, φ), φ ↾D+ (V,φ) )
has completely positive topological entropy. Moreover,
ent∗ (D+ (V, φ), φ ↾D+ (V,φ) ) = ent∗ (V, φ).
The subspace D+ (V, φ) can be calculated by either of the equalities
S
(1) D+ (V, φ) = T{Z ≤ V closed | φZ ≤ Z, ent∗ ((Z, φ ↾Z ) >> 0}, or
(2) D+ (V, φ) = {Z ≤ V closed | φZ ≤ Z, ent∗ (V /Z, φ) = 0}.
Proof. It follows by Proposition 3.2 and the Addition Theorem.



We shall call D+ (V, φ) the domain of completely positive topological entropy of (V, φ). Clearly, D+ (V, φ) = V if, and only if, (V, φ) has completely
positive topological entropy; and D+ (V, φ) = 0 if, and only if, ent∗ (V, φ)=0.
Moreover the Addition Theorem together with Proposition 3.4(2) yields the
following.
Corollary 3.5. Given a topological flow (V, φ), the domain D+ (V, φ) is the
smallest closed φ-invariant linear subspace of V such that
ent∗ (D+ (V, φ), φ ↾D+ (V,φ) ) = ent∗ (V, φ).
t

Thus (V, φ) admits the Pinsker factor, i.e., the largest factor (Ptop (V, φ), φ )
of (V, φ) having zero topological entropy. Namely, Ptop (V, φ) = V /D+ (V, φ)
t
and φ is induced by φ.
Fact 3.6. Let (V, φ) be a topological flow. If V = D+ (V, φ), then
(a) V has no open φ-invariant proper linear subspaces;
(b) every finite coindependent2 set of closed φ-invariant linear subspaces
of V has cardinality bounded by ent∗ (V, φ).
Proof. (a) follows by [5, Proposition 3.11(b)] and (b) is a consequence of
Fact 5.1.

3.3. The Pinsker subspace of an algebraic flow. By analogy with the
topological case, Flow(K Vect) is a complete abelian category that can be
equipped with the following torsion theory:
Talg = {(W, ψ) | ent(W, ψ) = 0},

and

Falg = {(W, ψ) | ent(W, ψ) >> 0} ∪ {0},
2see §4.1 for the definition of coindependent sets.

(3.3)

10

THE CORANK OF A TOPOLOGICAL FLOW

where ent(W, ψ) >> 0 denote an algebraic flow (W, ψ) of completely positive
algebraic entropy, i.e., ent(Z, ψ ↾Z ) 6= 0 whenever Z is a non-trivial ψinvariant linear subspace of W .
Remark 3.7. Recall that Flow(K Vect) can be easly seen to be equivalent to
K[t] Mod, which denotes the category of (abstract) modules over the polynomial ring in one variable (see Section 6 for further details). In [17] it has
been pointed out that the torsion theory defined by (3.3) goes over into the
usual torsion theory of K[t]-modules (see [17, Theorem 4.3]). In Section 6.2
we take advantage of this property.
By Proposition 3.2 and the Addition Theorem one deduces
Proposition 3.8. Let (W, ψ) be an algebraic flow. Then W admits the
largest φ-invariant linear subspace Palg (W, ψ) of zero algebraic entropy. Moreover the linear subspace Palg (W, ψ) is given by either of the equalities
S
(1) Palg (W, ψ) = {Z ≤ W closed | φZ ≤ Z, ent((Z, φ ↾Z ) = 0}, or
T
(2) Palg (W, ψ) = {Z ≤ W closed | φZ ≤ Z, ent(W/Z, φ) >> 0}.
Consequently every algebraic flow (W, ψ) admits the factor of completely
positive algebraic entropy F+ (W, ψ) = W/Palg (W, ψ), i.e., the smallest factor of W such that
ent(F+ (W, ψ), ψ) = ent(W, ψ),
where ψ is induced by ψ.
The linear sabspace Palg (W, ψ) is called the Pinsker subspace of (W, ψ)
and the corresponding flow (Palg (W, ψ), ψ ↾a ) is named Pinsker subflow.
Clearly, an algebraic flow (W, ψ) has completely positive algebraic entropy
if, and only if, Palg (W, ψ) = 0.
Remark 3.9. An alternative proof of the existence of the Pinsker subspace
can be provided by adapting the proof of [10, Proposition 3.1].
3.4. Duality of Pinsker-constructions. We conclude this section by relating the Pinsker factor to the Pinsker subspace by Lefschetz duality. Firstly
observe that (Ttop , Ftop ) goes over into the torsion theory (Ftop , Ttop ) of the
opposite category Flow(K LC)op . Since the opposite category Flow(K LC)op
is equivalent to Flow(K Vect) by Lefschetz duality, one obtains a new torsion
theory on Flow(K Vect) determined by
b = 0}.
T ∗ = {(V, φ) ∈ ob(Flow(K Vect)) | ent∗ (Vb , φ)
(3.4)
alg

b = 0 if, and only if, ent(V, φ) = 0 (see Corollary 5.6), one has
Since ent∗ (Vb , φ)
∗
Talg = Talg . In other words, the torsion theories (Ttop , Ftop ) and (Talg , Falg )
are one the dual of the other by Lefschetz duality. Therefore one deduces
the following analogue of [9, Theorem A] by Proposition 2.5.
Theorem A. Let (V, φ) be a topological flow. Then
t
b ⊥ , φa ),
(Ptop (V, φ), φ ) ∼
=top (V /Palg (Vb , φ)

t
a
b ⊥ → V /Palg (Vb , φ)
b⊥
where φ : Ptop (V, φ) → Ptop (V, φ) and φ : V /Palg (Vb , φ)
are both induced by φ. In particular,

b⊥
D+ (V, φ) ∼
=top Palg (Vb , φ)

and

∼
b b
D\
+ (V, φ) =top F+ (V , φ).

THE CORANK OF A TOPOLOGICAL FLOW

11

In particular, (V, φ) has completely positive topological entropy if, and
b has completely positive algebraic entropy.
only if, (Vb , φ)

Example 3.10. In the notations of Example 2.6, the right (1-dimensional)
Bernoulli shift has completely positive algebraic entropy. This follows by the
fact that every non-trivial βK -invariant linear subspace of Vd is isomorphic
to Vd . Indeed such a linear subspace has countable dimension but it cannot
be finite-dimensional since it is βK -invariant.
Consequently, the left (1-dimensional) Bernoulli shift has completely positive topological entropy.
4. The corank of a topological flow
4.1. The (dual) Goldie dimension. Here we recall both the definition of
Goldie dimension and of dual Goldie dimension placing greater emphasis on
the dual Goldie dimension. These notions were firstly introduced in module
theory, but modular lattices seem to be the proper setting for their definition.
Following [14], let (L, ∨, ∧) denote a modular lattice - i.e., x ∨ (a ∧ b) =
(x ∨ a) ∧ b whenever x ≤ b - with a smallest element 0 and a greatest
element 1. We start from a bit of terminology. A finite subset {ai | i ∈ I}
of L \ {0} is said to be coindependent if
^
ai ∨ ( aj ) = 1 ∀i ∈ I.
(4.1)
j6=i

Every element x of L \ {0} (considered as a singleton {x}) is coindependent.
An arbitrary subset A of L \ {0} is coindependent if all its finite subsets are
coindependent. In a lattice L with 1 an element a ∈ L is called superfluos
if a ∨ b 6= 1 for all b 6= 1. A lattice L 6= {0} is said to be couniform if every
element a 6= 1 is superfluous. An element a 6= 1 of L is called couniform if
the sublattice [a, 1] = {x ∈ L | a ≤ x} is couniform. One has the following
well-known result (see [14]).
Proposition 4.1. The following conditions are equivalent for a modular
lattice L with 0 and 1.
(1) L does not contain infinite coindependent subsets.
(2) L contains a finite coindependent set {a1 , . . . , an } with ai couniform
for every i and a1 ∧ a2 ∧ . . . ∧ an superfluous in L.
(3) The cardinality of a coindependent subset of L is ≤ m for an m ∈ N.
Moreover, if these conditions hold and {a1 , . . . , an } is a finite coindependent
subset of L with ai couniform for every i and a1 ∧ a2 ∧ . . . ∧ an superfluous
in L, then any other coindependent subset of L has cardinality ≤ n.
Thus if the modular lattice L contains infinite coindependent subsets,
then L is said to have infinite dual Goldie dimension; otherwise the (finite)
dual Goldie dimension of L is defined to be the maximal cardinality codim L
of a finite coindependent subset of L \ {0}. Since the dual lattice (L, ∧, ∨)
of a modular lattice (L, ∨, ∧) is also a modular lattice, one may define the
Goldie dimension of (L, ∨, ∧) to be the dual Goldie dimension of the dual
lattice (L, ∧, ∨).
Fact 4.2 ([14, Propositions 2.37 and 2.42]). For a modular lattice L,

12

THE CORANK OF A TOPOLOGICAL FLOW

(1) codim L = 0 if, and only if, L has exactly one element;
(2) codim L = 1 if, and only if, L is couniform.
Moreover, the dual version of (1) and (2) holds for the Goldie dimension.
Let M be a module over an associative ring with unit. Now we apply the
(dual) Goldie dimension of modular lattices just introduced to the lattice
(L(M ), +, ∩) of all submodules of M . Thus the dual Goldie dimension
codim M of M is defined to be the dual Goldie dimension of L(M ). Notice
that a finite family {Ni | i ∈ I} of proper submodules of M is coindependent
if
\
Ni +
Nj = M ∀i ∈ I.
j6=i

In particular, codim M turns out to be the maximal cardinality of a finite
coindependent family of proper submodules of M ( or ∞).
Analogously, the Goldie dimension dim(M ) of M is the Goldie dimension
of (L(M ), +, ∩) andL
it coincides with the maximal n (or ∞) such that there
exists a direct sum ni=1 Mi ⊆ M of non-zero submodules of M .
Proposition 4.3 ([14, §2.7]). Let E(M ) be the injective hull of M . Then
the following hold:
(a) dim(M ) = dim(E(M ));
(b) dim(M ) = n < ∞ if, and only if, E(M ) is the direct sum of n
indecomposable modules.
The notion of projective cover is dual to that of injective hull. Although
each abstract module has an injective hull, projective covers seldom exist,
therefore the latter result cannot be dualised to the dual Goldie dimension
of abstract modules. In Section 6 we move the attention on a category of
topological modules where projective covers always exist.
4.2. The corank function. Let τ ∗ = (Ttop , Ftop ) be the torsion theory over
Flow(K LC) defined by the topological entropy. Let us consider first torsion
elements: let (V, φ) be a topological flow of completely positive topological
entropy. By Proposition 2.1 a)-c), the lattice (Lφ (V ), +, ∩) of all closed
φ-invariant linear subspaces of V turns out to be modular. Therefore we
are allowed to compute the dual Goldie dimension of (Lφ (V ), +, ∩), i.e.,
the maximal cardinality of a set of coindependent closed φ-invariant linear
subspaces of V (see §4.1).
Compatibly, for an arbitrary topological flow (V, φ) one may consider the
domain of completely positive topological entropy D+ (V, φ) - the torsion
subflow of (V, φ) - , and give the following definition.
Definition 4.1. The corank cork(V, φ) of a topological flow (V, φ) is defined
to be the dual Goldie dimension of (D+ (V, φ), φ ↾D+ (V,φ) ). Thus one obtains
a corank function
cork : Flow(K LC) → N ∪ {∞}.
In other words, the corank of a topological flow is meant to give us a measure of the corresponding domain of completely positive topological entropy.
By Fact 4.2, one has the following properties:
(C1) cork(V, φ) = 0 if, and only if, D+ (V, φ) = 0.

THE CORANK OF A TOPOLOGICAL FLOW

13

(C2) cork(V, φ) = 1 if, and only if, Lψ (D+ (V, φ)) is couniform, i.e., every
proper closed ψ-invariant linear subspace of D+ (V, φ) is superfluous
in (Lψ (D+ (V, φ)), +, ∩).
Remark 4.4. By analogy with the topological case, one could the rank of an
algebraic flow by using the Goldie dimension. This rank does value the size of
the factor of completely positive algebraic entropy. This domain is actually
the torsion-free quotient of the algebraic flow with respect to (Talg , Falg ).
Thus this notion simply coincides with the torsion-free rank of the algebraic
flow regarded as a module over K[t] (see Remark 3.7 and Section 6) and so
it does not yield new information.
5. Counting left Bernoulli shifts
5.1. Coindependent families of linearly compact spaces. Let M be
a module over an associative ring with unit. Given a coindependent finite
family {N0 , . . . , Nk } of proper submodules of M , one has a canonical isomorphism of modules
k

ξk :

YM
M
−→
,
N0 ∩ . . . ∩ Nk
Ni

(5.1)

i=0

where m + N0 ∩ . . . ∩ Nk 7→ (m + N1 , . . . , m + Nk ), for all m ∈ M.
If M is a linearly compact vector space and each Ni is closed in M , then
(5.1) is a topological isomorphism because the open mapping theorem holds
for linearly compact spaces (see §2.3).
Fact 5.1. Let V be a linearly compact space, φ : V → V a continuous endomorphism and {W0 , . . . , Wn } a coindependent family of closed φ-invariant
linear subspaces of V . For W = W0 ∩ . . . ∩ Wn one has
n + 1 ≤ ent∗ (V /W, φ) ≤ ent∗ (V, φ)
i

i

whenever ent∗ (φ ) > 0 for all i = 1, . . . , n, where each φ : V /Wi → V /Wi is
induced by φ.
Proof. By (5.1), the following diagram
V
W

φ

/

V
W
ξn

ξn

Qn 

V
i=0 Wi

Q

φ

i

/

Qn 

V
i=0 Wi

i

commute, where φ : V /W → V /W and φ : V /Wi → V /Wi (for all i) are
induced by φ. Since ent∗ takes values in N ∪ {∞}, the Addition Theorem
together with the invariance under conjugation yields
n + 1 ≤ ent∗ (V /W, φ) ≤ ent∗ (V, φ).


14

THE CORANK OF A TOPOLOGICAL FLOW

5.2. Non-stationary cocyclic φ-cotrajectory. Let (V, φ) be a topological flow. For U ∈ B(V ) and n ∈ N>0 , set
Cn (φ, U ) = U ∩ φ−1 U ∩ . . . ∩ φ−n+1 U ∈ B(V ).
Then one defines the φ-cotrajectory of U to be
\
C(φ, U ) =
Cn (φ, U ).

(5.2)

(5.3)

n∈N>0

A φ-cotrajectory C(φ, U ) is said to be cocyclic if U has codimension 1 in V ,
and C(φ, U ) is said to be non-stationary if C(φ, U ) is not open in V , i.e.,
the decreasing chain of linearly compact open spaces
U ≥ · · · ≥ Cn (φ, U ) ≥ Cn+1 (φ, U ) ≥ · · · ,
is not stationary (see [5, Proposition 3.6]). Notice that a φ-cotrajectory is
stationary whenever there exists some n such that Cn (φ, U ) = Cn+1 (φ, U )
by [5, Proposition 3.2].
Lemma 5.2. Let (V, φ) be a topological flow and C(φ, U ) a non-stationary
cocyclic φ-cotrajectory. Then
(1) the closed subspace φ−n U has codimension 1 in V for every n ∈ N ;
(2) F = {φ−n U }n∈N is a coindependent family in V ;
(3) the topological entropy of φ with respect to U is equal to 1, i.e.,
H ∗ (φ, U ) = 1.
Proof. Let π : V → V /U be the canonical projection. For all n ∈ N, the
rank of the linear map π ◦ φn : V → V /U is less or equal to dim(V /U ).
Hence dim(V /φ−n U ) ≤ 1 since C(φ, U ) is cocyclic. Moreover, for C(φ, U ) is
non-stationary, Cn (φ, U ) 6= Cn+1 (φ, U ) for all n ∈ N. Thus φ−n U 6= V for
all n ∈ N, and (1) holds.
In order to prove (2), by [18, Lemma 1.1], it suffices to show that φ−n U +
Cn (φ, U ) = V for each n ∈ N>0 . This follows easily by (1) and the fact that
C(φ, U ) is non-stationary.
Let n ∈ N>0 . Thus (1) and (2) implies
 C (φ, U ) + φ−n U 
 V 
 C (φ, U ) 
n
n
= dim
=
dim
= 1,
dim
Cn+1 (φ, U )
φ−n U
φ−n U
and [5, Proposition 3.2] yields (3).



Corollary 5.3. Let (V, φ) be a topological flow. Thus ent∗ (φ) > 0 if, and
only if, there exists a non-stationary cocyclic φ-cotrajectory.
Proof. Suppose ent∗ (φ) > 0. Thus there exists U ∈ B(V ) such that C(φ, U )
is not open (see [5, Proposition 3.6]). For U ∈ B(V ), dim(V /U ) = n < ∞.
Let V = U ⊕ hv1 , . . . , vn i and Ui T
= U ⊕ hv1 , . . . , v̂i , . . . , vn i ∈ B(V ). Thus
U = U1 ∩ . . . ∩ Un and C(φ, U ) = ni=1 C(φ, Ui ). Since C(φ, U ) is not open,
there exists i ∈ {1, . . . , n} such that C(φ, Ui ) is not open, i.e., C(φ, Ui ) is a
non-stationary cocyclic φ-cotrajectory.
Conversely, if there exists a non-stationary cocyclic cotrajectory C(φ, U ),
then 1 = H ∗ (φ, U ) ≤ ent∗ (V, φ) by Lemma 5.2(3).


THE CORANK OF A TOPOLOGICAL FLOW

15

Proposition 5.4. Let (V, φ) be a topological flow. If C(φ, U ) is a nonstationary cocyclic φ-cotrajectory of V , then one has a topological isomorphism
Y V
V
θ:
−→
.
C(φ, U )
φ−n U
n≥0

Moreover the induced map φ : V /C(φ, U ) → V /C(φ, U ) is conjugated to a
left Bernoulli shift and ent∗ (φ) = 1.
Proof. By the Lemma above, F = {φ−n U }n∈N is a coindependent set of
closed proper linear subspaces of V . By (5.1), there are continuous surjective
maps
n
Y
V
ξ n ◦ πn : V →
,
(5.4)
−n
φ U
i=0

where πn : V → V /Cn+1 (φ, U ) is the canonical projection. By the universal
property of inverse limit, one obtains the continuous surjective map
Y V
,
(5.5)
lim(ξn ◦ πn ) : V −→
←−
φ−n U
n∈N

(see [23, Lemma 1.1.7]). By the open mapping theorem for linearly compact
spaces, the continuous surjection (5.5) gives rise to the following topological
isomorphism
Y V
V
θ:
−→
, v + C(φ, U ) 7→ (v + φ−n U )n∈N .
(5.6)
C(φ, U )
φ−n U
n≥0

Let e0 be a non-zero vector of V /U . Since C(φ, U ) is non-stationary and
cocyclic, φ induces an isomorphism ϕn from V /φ−n U to V /φ−n+1 U for all
−n U such that ϕ (e ) = e
n ∈ N. Thus, for n ∈ N, let eQ
n ∈ V /φ
n n
n−1 . Let β
be the left Bernoulli shift of n∈N Ken . As the diagram
∼
θ / Q
= / Q
V
V
(5.7)
n∈N φ−n U
n∈N Ken
C(φ,U )
β

φ


V
C(φ,U )

θ

/

Q

V
n∈N φ−n U

∼
=

/

Q


n∈N Ken

commutes, φ is topologically conjugated to a left Bernoulli shift. By [5,
Prop. 3.11(a), Ex. 3.13(a)], ent∗ (V /C(φ, U ), φ) = 1, and this concludes the
proof.

Remark 5.5. For an arbitrary module M is not true that if M has an infinite coindependent set of proper submodules, then M has an homomorphic
image given by a direct product of infinitely many non-zero modules. E.g.,
let Z be the abelian group of integers. Then {pZ | p prime} is an infinite
coindependent set of proper Z-submodules, but there is no homomorphic image of Z onto a direct product of infinitely many non-zero abelian groups.
Therefore, the linear compactness is an essential ingredient in the proof of
Proposition 5.4.
Corollary 5.6. Let (V, φ) be a topological flow. Thus ent∗ (V, φ) = 0 if, and
b = 0.
only if, ent(Vb , φ)

16

THE CORANK OF A TOPOLOGICAL FLOW

Proof. Suppose ent∗ (V, φ) > 0. By the latter proposition, there exists a
factor of V acted on by φ as left Bernoulli shift. By Lefschetz duality, Vb
b
admits a φ-invariant
linear subspace acted on by the restriction of φb as right
Bernoulli shift (see Example 2.6). By the monotonicity of ent, one concludes
that 1 ≤ ent(V, φ).
b > 0. By [17, Theorem 4.3], Vb admits a φb
Vice-versa, suppose ent(Vb , φ)
b
invariant linear subspace acted on by φ as right Bernoulli shift (namely an
infinite-dimensional φ-trajectory). A similar reasoning as above concludes
the proof.

Corollary 5.7. Let (V, φ) be a topological flow. Thus ent∗ (φ) = 1 if, and
only if, there exists a non-stationary cocyclic φ-cotrajectory C(φ, U ) such
that ent∗ (φ ↾C(φ,U ) ) = 0.
5.3. Proof of Theorems B and C. Now we are in position to prove
Theorem B that can be considered to be dual of [17, Theorem 4.7], we just
need one more lemma.
Lemma 5.8. Let (V, φ) be a topological flow and W a closed φ-invariant linear subspace of V . If ent∗ (W, φ ↾W ) > 0, then there exists a non-stationary
cocyclic φ-cotrajectory C(φ, U ) such that C(φ, U ) + W = V .
Proof. Since 0 < ent∗ (W, φ ↾W ) ≤ ent∗ (V, φ), there exists a non-stationary
cocyclic φ-cotrajectory C(φ, U ) of (V, φ) by Corollary 5.3. For φ acts on
V /C(φ, U ) as left Bernoulli shift, one has that (V /C(φ, U ), φ) has completely
positive topological entropy (see Fact 3.10) and ent∗ (V /C(φ, U ), φ) = 1. As
B(W ) = {X ∩ W | X ∈ B(V )}, U can be chosen such that C(φ ↾W , U ∩ W )
is cocylic and non-stationary in W , i.e., (W/C(φ ↾W , U ∩ W ), φ ↾W ) is a left
Bernoulli shift. Now let Z = (C(φ, U ) + W )/C(φ, U ) that is topologically
isomorphic to W/C(φ ↾W , U ∩ W ) by Proposition 2.2. Then the induced
endomorphism (φ) ↾Z : Z → Z is topologically conjugated to φ ↾W , namely
Z=

C(φ,U )+W
C(φ,U )

∼
=

W
C(φ↾W ,U ∩W )

/

(φ)↾Z

φ↾W



Z=

(5.8)

C(φ,U )+W
C(φ,U )

∼
=

/


W
C(φ↾W ,U ∩W )

commutes and so ent∗ (Z, (φ) ↾Z ) >> 0. In particular, since (V /C(φ, U ), φ)
has completely positive topological entropy, one deduces
V /C(φ, U ) = D+ (V /C(φ, U ), φ) ≤ Z ≤ V /C(φ, U ),
i.e., C(φ, U ) + W = V .



Theorem B. Let (V, φ) be a topological flow. Then the following are equivalent:
a) the topological entropy ent∗ (φ) = k ∈ N,
b) there exist k ∈ N coindependent non-stationary cocyclic φ-cotrajectories
{C(φ, Ui ) | i = 1, . . . , k} such that ent∗ (φ ↾C ) = 0 where C =
C(φ, U1 ) ∩ . . . ∩ C(φ, Uk )

THE CORANK OF A TOPOLOGICAL FLOW

17

Moreover, ent∗ (V, φ) = ∞ if, and only if, there exists an infinite (countable)
coindependent family of non-stationary cocyclic φ-cotrajectories.
Proof of Theorem B. By Corollary 5.3, we can assume k > 0. By the Addition Theorem, Fact 5.1 and Proposition 5.4, b) implies a).
Now, since k > 0, there is at least one non-stationary cocyclic φ-cotrajectory.
By Fact 5.1 and Proposition 5.4, every finite set of coindependent nonstationary cocyclic φ-cotrajectories has cardinality less or equal to k. Let
m be the maximal number of coindependent non-stationary cocyclic φcotrajectories, thus 1 ≤ m ≤ k.
Now suppose m < k and let {Ci | 1 ≤ i ≤ m} be a maximal family
of coindependent non-stationary cocyclic φ-cotrajectories. By the Addition
Theorem, ent∗ (φ ↾C ) > 0, where C = C1 ∩ . . . ∩ Cm . Applying Lemma 5.8
yields a non-stationary cocyclic φ-trajectory Cm+1 such that Cm+1 +C = V ,
and this contradicts the maximality of m, i.e., a) implies b).
Finally, let ent∗ (V, φ) = ∞. Let C1 be a non-stationary cocyclic φcotrajectory (see Corollary 5.3). Since ent∗ (V /C1 , φ) = 1, the Addition
Theorem yields ent∗ (C1 , φ ↾C1 ) = ∞. By Lemma 5.8, there exists a nonstationary cocyclic φ-cotrajectory C2 such that {C1 , C2 } is coindependent.
Repeating the procedure at each step yields the claim. Conversely, since
every finite subfamily of a countable coindependent family is coindependent
as well, Fact 5.1 concludes the proof.

Finally we are ready to prove the main result of the paper: the topological
entropy coincides with the dimension of the domain of completely positive
topological entropy.
Theorem C. For a topological flow (V, φ), one has
ent∗ (V, φ) = cork(V, φ).
Proof of Theorem C. By Corollary 3.5, V can be replaced by its domain of
completely positive topological entropy without loss of generality.
So let assume (V, φ) to have completely positive topological entropy.
When ent∗ (V, φ) = 0 there is nothing to prove.
Thus firstly suppose ent∗ (V, φ) = k ∈ N>0 . By Theorem B and Fact 5.1,
one obtains k ≤ cork(V, φ) ≤ k, i.e., k = cork(V, φ).
Now assume ent∗ (V, φ) = ∞. By Theorem B, ent∗ (V, φ) ≤ cork(V, φ) i.e.,
cork(V, φ) = ∞. Viceversa, let cork(V, φ) = ∞. Suppose ad absurdum that
ent∗ (V, φ) = k is finite. Then there exist k coindependent non-stationary cocyclic φ-cotrajectories {Ci | i = 1, . . . , k} by Theorem B. By Proposition 5.4,
i
i
ent∗ (V /Ci , φ ) = 1 for all i = 1, . . . , k, where φ : V /Ci → V /Ci is induced
by φ. Since the topological entropy and the corank coincide in the finite
i
case, one has corank(V /Ci , φ ) = 1 for all i = 1, . . . , k by Proposition 5.4.
Therefore Lφi (V /Ci ) is couniform for every i = 1, . . . , k (see (C2 ) in § 4.2),
i.e., Ci is a couniform element of the lattice Lφ (V ). Finally, we claim that
C = C1 ∩ . . . ∩ Ck is a superfluos element of (Lc (V, φ), +, ∩), i.e., C + W 6= V
for every proper closed φ-invariant linear subspace of V . Thus Proposition 4.1(2) yields the contradiction: corank(V, φ) = codim (V, φ) < ∞.

18

THE CORANK OF A TOPOLOGICAL FLOW

Let us prove the claim. Let W be a closed φ-invariant linear subspace
of V such that C + W = V . Then {C1 , . . . , Ck , W } is a coindependent set
of closed φ-invariant linear subspaces of V of cardinality > ent∗ (V, φ). By
Fact 5.1 and ent∗ (V, φ) >> 0, one has W = Cj for some j ∈ {1, . . . , k}, and
so W = C + W = V .

6. Lefschetz duality for topological modules
Let K[t] be the polynomial ring in one variable t. It is well-known that
the category Flow(K Vect) is equivalent to the category K[t] Mod of (abstract)
K[t]-modules. Indeed to any (W, ψ) it can be univocally associated the
module W where the action is given by
p(t) · w = p(ψ)(w),

∀p(t) ∈ K[t], w ∈ W.

(6.1)

Now let (V, φ) be a topological flow. If we consider the ring K[t] to be
endowed with the discrete topology, then we can mirror (6.1) to let the
topological ring K[t] act continuously on V . Therefore every topological
flow corresponds to exactly one topological module over the discrete ring
K[t] whose underlying K-vector space is topologically V . We shall denote
such a module by φ V .
On the other hand, given an algebraic flow (W, ψ), the action (6.1) induces
b as follows
c , ψ)
a continuous action of K[t] on its Lefschetz dual (W
(p(t) · f )(w) = f (p(t) · w),

c , v ∈ W.
p(t) ∈ K[t], f ∈ W

(6.2)

Clearly, this action coincides with the one defined above directly on the topob Therefore Lefschetz duality can be translated
c , ψ).
logical flow (V, φ) = (W
K[t]
in a duality of categories between K[t] Mod and K LC, where the objects
K[t]

of K LC are topological K[t]-modules whose underlying K-vector space is
linearly compact; namely φ V ⇄ φbVb is a duality of categories.
6.1. Projective covers. By duality, one has that the category
isfies some properties since K[t] Mod does satisfy the dual ones.

K[t]
K LC

sat-

Proposition 6.1. For every discrete field K the following hold:
(1)
(2)

K[t]
K LC
K[t]
K LC

is an abelian category with enough injectives and projectives.
admits projective covers.
K[t]

Given φ V ∈ ob(K LC), a projective module P together with a continuous
surjection p : P → φ V is said to be a projective cover of φ V if ker(p) is
superfluous in P , i.e., ker(p) + N 6= P for every proper submodule N of P .
In particular, the projective cover is unique up to topological isomorphism
and we shall denote it by P (φ V ).
In the setting of topological modules the dual Goldie dimension of φ V is
nothing but the dual Goldie dimension of the lattice (Lc (φ V ), +, ∩) formed
by all closed K[t]-submodules of φ V . By the definition of projective cover and
Proposition 4.1 (or just by dualising Proposition 4.3), one has the following.
Proposition 6.2. Let P (φ V ) be the projective cover of φ V in
the following hold:

K[t]
K LC.

Then

THE CORANK OF A TOPOLOGICAL FLOW

19

(a) codim (φ V ) = codim (P (φ V ));
(b) codim (φ V ) = n < ∞ if, and only if, P (φ V ) is the direct product of
n indecomposable modules;
Corollary 6.3. Let (V, φ) be a topological flow. Then
b
codim (V, φ) = codim (φ V ) = dim(φbVb ) = dim(Vb , φ).

Proof. Clearly, (Lc (φ V ), +, ∩) is actually the lattice (Lφ (V ), ∪, ∩). Thus
codim φ V = codim (V, φ).

6.2. The Bridge Theorem. In [17, Theorem 4.3] the algebraic flows (W, ψ)
of zero algebraic entropy has been characterised: ent(W, ψ) = 0 if, and only
if, ψ W is a torsion K[t]-module. Therefore, by identifying K[t] Mod with
Flow(K Vect), one easily obtain that the torsion theory (Talg , Falg ) defined
in §3.3 goes over into the standard torsion theory of modules over a PID.
Moreover, recall that the main result of [17] states that the algebraic
entropy of (W, ψ) coincides with the torsion-free rank of ψ W . From this
result we deduce an alternative proof of the Bridge Theorem.
Bridge Theorem. Let (V, φ) be an algebraic flow. Then
b
c , ψ).
ent(W, ψ) = ent∗ (W

Proof. Let (F+ , ϕ) denote the factor of completely positive algebraic entropy
of (W, φ), where ϕ denotes the continuous endomorphism of F+ induced by
φ. Thus ϕ F+ is the torsion-free factor of φ V and so
dim(F+ , ϕ) = dim(ϕ F+ ) = rkK[t] (ϕ F+ ) = rkK[t] (ψ W ) = ent(W, ψ),
since the torsion-free rank of ϕ F+ coincides with its Goldie dimension. By
Corollary 6.3 and Theorem C, one has
b = ent∗ (Vb , φ),
b
dim ϕ F+ = codim δ D+ = cork((Vb , φ)

where (D+ , δ) denotes for short the domain of completely positive topologb
ical entropy of (Vb , φ).

By using the reductions steps described in [4, 5], one obtains the Bridge
Theorem [5, Theorem 1.3] for locally linearly compact vector spaces as a
corollary of the one stated here.
Finally we end reporting the table of notions in this paper on which the
principle of (Lefschetz) duality relies:
K Vect

K LC

Flow(K Vect)

Flow(K LC)

K[t] Mod

K[t]
K LC

Goldie dimension dual Goldie dimension
torsion-free rank

corank

ent

ent∗

20

THE CORANK OF A TOPOLOGICAL FLOW

Acknowledgements
This work was supported by EPSRC Grant N007328/1 Soluble Groups
and Cohomology and partially supported by Programma SIR 2014 by MIUR
(Project GADYGR, Number RBSI14V2LI, cup G22I15000160008).
It is a pleasure to thank my friends Dikran Dikranjan, Anna Giordano
Bruno and Simone Virili for useful discussions on the topic of this paper.
References
[1] R. L. Adler, A. G. Konheim, and M. H. McAndrew, Topological entropy, Transactions
of the American Mathematical Society 114 (1965): 309–319.
[2] F. Blanchard and Y. Lacroix, Zero entropy factors of topological flows, Proc. Amer.
Math. Soc. 119 (1993) no. 3, 985?992.
[3] R. Bowen, Entropy for group endomorphisms and homogeneous spaces, Trans. Amer.
Math. Soc. 153 (1971): 401?414.
[4] I. Castellano, A. Giordano Bruono, Algebraic entropy for locally linearly compact
spaces, 2016.
[5] I. Castellano, A. Giordano Bruono, Topological entropy for locally linearly compact
spaces, 2016.
[6] J. F. Conn, Non-abelian Minimal Closed Ideals of Transitive Lie Algebras, Princeton
University Press, 2014.
[7] U. Dardano, D. Dikranjan, and S. Rinauro. Inertial Properties in Groups, International Journal of Group theory (2017), to appear, DOI: 10.22108/IJGT.2017.21611.
[8] S. E. Dickson, A torsion theory for abelian categories. Transactions of the American
Mathematical Society 121.1 (1966): 223-235.
[9] D. Dikranjan and A. Giordano Bruno. The connection between topological and algebraic entropy. Topology and its Applications 159.13 (2012): 2980-2989.
[10] D. Dikranjan and A. Giordano Bruno. The Pinsker subgroup of an algebraic flow.
Journal of Pure and Applied Algebra 216.2 (2012): 364-376.
[11] D. Dikranjan and Anna Giordano Bruno. Topological entropy and algebraic entropy
for group endomorphisms. arXiv preprint arXiv:1308.4019 (2013).
[12] D. Dikranjan, A. Giordano Bruno, The Bridge Theorem for totally disconnected LCA
groups, Topology Appl. 169 (2014): 21–32.
[13] D. Dikranjan, M. Sanchis, S. Virili, New and old facts about entropy on uniform
spaces and topological groups, Topology Appl. 159 (2012): 1916–1942.
[14] Facchini, A. Module theory: endomorphism rings and direct sum decompositions in
some classes of modules. Vol. 167. Birkhuser, 2013.
[15] Flood, J. Pontryagin duality for topological modules. Proceedings of the American
Mathematical Society (1979): 329-333.
[16] A. Giordano Bruno, S. Virili, Topological entropy in totally disconnected locally
compact groups, Ergodic Theory and Dynamical Systems (2016): to appear,
doi:10.1017/etds.2015.139.
[17] A. Giordano Bruno, L. Salce. A soft introduction to algebraic entropy. Arabian Journal of Mathematics 1.1 (2012): 69-87.
[18] Hanna, A. and A. Shamsuddin. Dual Goldie dimension. Rendiconti dell’ Istitutio di
Mathematica dell’ Università di Trieste, 24(1-2) (1992): 25-38.
[19] B. M. Hood, Topological entropy and uniform spaces, J. London Math. Soc. 8 (1974):
633?641.
[20] G. Köthe, Topological vector spaces, Springer Berlin Heidelberg, 1983.
[21] S. Lefschetz, Algebraic topology, Vol. 27. American Mathematical Soc., 1942.
[22] E. Matlis, Injective modules over Noetherian rings, Pacific J. Math. 8 (1958): 511–
528.
[23] L. Ribes, and P. Zalesskii. Profinite groups. Profinite Groups. Springer Berlin Heidelberg, (2000). 19-77.
[24] J. Peters, Entropy of automorphisms on LCA groups, Pacific J. Math. 96 (1981):
475–488.

THE CORANK OF A TOPOLOGICAL FLOW

21

[25] L. Salce, and P. Zanardo. A general notion of algebraic entropy and the rank-entropy.
Forum Mathematicum. Vol. 21. No. 4. 2009.
[26] S. Virili, Algebraic and topological entropy of group actions, preprint.
[27] S. Warner, Topological rings. Vol. 178. Elsevier, 1993.
[28] M. D. Weiss, Algebraic and other entropies of group endomorphisms, Theory of Computing Systems 8 (1974): 243–248.
[29] Advances in ring theory, Jain and Tariq

