Élise Janvresse

Emmanuel Roy
email: roy@math.univ-paris13.fr

Thierry De

L A Rue

DYNAMICAL SYSTEMS OF PROBABILISTIC ORIGIN: GAUSSIAN AND POISSON SYSTEMS

Centralizer. The centralizer of an invertible measure-preserving transformation T is the set C(T ) of all invertible measure-preserving transformations on the same measure space which commute with T .

(Simple) Counting measure. A counting measure on a measurable space (X, A ) is a measure of the form i∈I δ xi where (x i ) i∈I is a countable family of elements of X. The counting measure is said to be simple if x i = x j whenever i = j.

Gaussian process, Gaussian space. A Gaussian process is a family of real-valued random variables defined on a probability space (Ω, È), such that any linear combination of finitely many of these random variables is either 0 or normally distributed.

A real linear subspace of L 2 (È) is a Gaussian space if any nonzero random variable it contains is normally distributed. The closure of the linear real subspace spanned by a Gaussian process is a Gaussian space.

Infinite divisibility. Let (G, G, +) be a measurable Abelian semigroup, i.e. the addition

(G × G, G ⊗ G) → (G, G) (g 1 , g 2 ) → g 1 + g 2
is commutative and measurable. The convolution ν * ρ of probability measures ν and ρ on (G, G) is well defined as the image of ν ⊗ ρ by the addition.

A probability measure ν on (G, G) is infinitely divisible if for any k ≥ 1, there exists a probability measure ν k on (G, G) such that

ν = (ν k ) * k .
Kronecker subset of the unidimendional torus. A subset K of the unidimendional torus Ì = Ê/ is a Kronecker set if any continuous function f : K → S 1 is a uniform limit of characters: there exists a sequence (k n ) ⊂ such that max t∈K f (t) -e i2πknt ----→ n→∞ 0.

Any finite set of rationally independent elements of Ì is a Kronecker set, but there exist also perfect Kronecker subsets of Ì (see for example [START_REF] Cornfeld | Ergodic theory[END_REF]Appendix 4]).

Point process. A point process N on (X, A ) is a random variable taking values in the space X * of counting measures on (X, A ). It is said to be simple if N is almost surely a simple counting measure.

The measure A → E [N (A)] on (X, A) is called the intensity of N . A point process of intensity µ is said to have moment of order k ≥ 1 if, for all A ∈ A with 0 < µ(A) < ∞,

E N (A) k < ∞.
Poisson point process. Let (X, A , µ) be a sigma-finite measure space. A Poisson point process of intensity µ on X is a point process N on X, such that

• For any set A ∈ A with 0 < µ(A) < ∞, N (A) is a Poisson random variable of parameter µ (A). • For any k ≥ 1, for any collection (A 1 , . . . , A k ) in A , the random variables N (A i ), 1 ≤ i ≤ k, are independent.

A Poisson process is simple if and only if its intensity is a continuous measure.

Self-joining and associated Markov operator. A self-joining of the probability-preserving dynamical system (X, A , µ, T ) is a probability measure ν on the Cartesian square (X × X, A ⊗ A ) such that

• both marginals of ν are equal to µ,

• ν is T × T -invariant.
When ν is such a self-joining, it gives rise to a bigger probability-preserving dynamical system (X × X, A ⊗ A , ν, T × T ) in which we see two copies of the original system as factors (via the projections on the two coordinates).

To a self-joining ν there corresponds a unique Markov operator Φ ν (i.e. Φ ν is a positive operator on L 2 (µ) with Φ ν 1 = 1) that commutes with the Koopman operator U T (i.e. the unitary operator defined on L 2 (µ) by U T h := h • T ), and which is characterized by the following relation: for any A and B in A :

ν (A × B) = 1 A , Φ ν 1 B L 2 (µ) .
Stationary process. A stationary process is a sequence (ξ n ) n∈ of random variables taking values in a set V , such that for each k ∈ and any i 1 < • • • < i d ∈ , the distribution of (ξ i1+k , . . . , ξ i d +k ) is the same as the distribution of (ξ i1 , . . . , ξ i d ). In other words, the process is stationary if its distribution is shift-invariant on V . Spectral measure. Let U be a unitary operator on a Hilbert space H. For any h ∈ H, there exists a finite positive measure σ h on the unidimendional torus, called the spectral measure of h, satisfying for all k ∈ (1)

σ h (k) := Ì e -i2πkt dσ h (t) = h, U k h .
When T is an invertible measure-preserving transformation on a measure space (X, A , µ), this applies in particular to the associated Koopman operator U T . In the case of a square integrable stationary process (ξ n ) n∈ (see definition below), its distribution being shift-invariant, the covariances [ξ 0 ξ k ] of the process can be interpreted as scalar products h, U k h , where h is the projection on the 0coordinate of the process, and U is the Koopman operator associated to the shift. Thus the spectral measure σ of the process satisfies, for all k ∈ , ( 2)

σ(k) = [ξ 0 ξ k ].
In the case of a real-valued stationary process, the covariances are real and this measure σ must be symmetric (invariant by t → -t).

Definition of the subject

Measure-theoretic dynamical systems are systems of the form (X, A , µ, T ) where (X, A ) is a standard Borel space, µ is a sigma-finite measure on (X, A ) and T : X → X is an invertible measurable transformation preserving µ. In many cases, µ is a probability measure, and the theory of probability-preserving dynamical systems has considerably developped since the mid 20-th century. In the immense zoo of examples that have caught the interest of mathematicians, very interesting and fundamental families are directly issued from probability theory. The purpose of this article is to present two of them: systems arising from Gaussian processes, and systems constructed from Poisson point processes. Although these two families are of different nature, and each one has to be addressed with specific techniques, a good reason to present them in parallel is that they share striking common features.

Introduction

As we all know, Gaussian distribution plays a prominent role in probability theory and in mathematics in general. It comes with a very rich structure, interesting objects and results, that fueled intensive studies by countless mathematicians. Therefore, it comes as no surprise that Gaussian distribution had its declination in ergodic theory, in the form of stationary Gaussian processes, and received much attention over the years. Their basic ergodic properties started to be studied in the middle of the 20-th century, especially by Ito [START_REF] Ito | On the ergodicity of a certain stationary process[END_REF], Maruyama [START_REF] Maruyama | The harmonic analysis of stationary stochastic processes[END_REF] and Fomin [START_REF] Fomin | On dynamical systems in a space of functions[END_REF]. As we can completely control their spectral structure with a relatively simple object which is the spectral measure of the generating process, Gaussian systems have proved to be a very rich source of examples of measure-theoretic dynamical systems with specific properties (see e.g. the examples given by Girsanov [START_REF] Girsanov | Spectra of dynamical systems generated by stationary Gaussian processes[END_REF], Totoki [START_REF] Totoki | The mixing property of Gaussian flows[END_REF] and Newton [START_REF] Newton | On Gaussian processes with simple spectrum[END_REF]).

The Poisson point process has a long history. It was first considered on the line to represent the occurrences of independent events over time. The idea of letting the random points move to model the behaviour of a large number of particles [START_REF] Doob | Stochastic processes[END_REF][START_REF] Dobrushin | On the Poisson law for the distribution of particles in space[END_REF] led to study the Poisson point process on more general spaces. The first formalization of Poisson suspensions, due to Goldstein, Lebowitz and Aizenman in 1975 [START_REF] Goldstein | Ergodic properties of infinite systems[END_REF], was also motivated by questions of statistical physics. Simultaneously and independently, Vershik, Gel'fand and Graev [START_REF] Vershik | Representations of the group of diffeomorphisms[END_REF] considered the action of a group of transformations on configurations of random points. This initiated the systematic study of ergodic properties of these systems, in particular by Marchat [30], Grabinsky [START_REF] Grabinsky | Poisson process over σ-finite Markov chains[END_REF] and Kalikow [START_REF] Kalikow | A Poisson random walk is Bernoulli[END_REF].

It is worth mentionning Maruyama [START_REF]Infinitely divisible processes[END_REF] again who used both Poisson processes and Gaussian stationary processes as a tool to represent any infinitely divisible stationary processes and obtained results on ergodicity and mixing for those processes. Stationary Gaussian process. We only consider here Gaussian processes (ξ n ) n∈ which are centered : [ξ n ] = 0 for each n. A fundamental property of Gaussian processes is the fact that their distribution law is completely determined by the covariances [ξ i ξ j ]. In particular, such a process is stationary if and only if the covariances satisfy, for all i, j ∈ , [ξ i ξ j ] = [ξ i-j ξ 0 ].

In the stationary case, the law of the Gaussian process is therefore completely determined by its spectral measure, which is a symmetric positive finite measure σ on Ì whose Fourier coefficients are given by [START_REF] Cornfeld | Ergodic theory[END_REF].

Standard Gaussian systems. Conversely, given a symmetric positive finite measure σ on Ì, there exists a unique (up to equality in distribution) centered stationary Gaussian process whose covariances are given by (2) 1 . The distribution µ σ of this stationary Gaussian process is shift-invariant, thus we can consider the probabilitypreserving dynamical system

X σ := Ê , B(Ê ), µ σ , S
where S denotes the shift map: (x n ) n∈ → (x n+1 ) n∈ . 1 In some sense, this ability of realizing any spectral measure characterizes Gaussian processes (see Section 7.1).

A standard Gaussian system is a probability-preserving dynamical system (X, B, µ, T ) isomorphic to X σ for some symmetric positive finite measure σ on Ì. In other words, (X, B, µ, T ) is a standard Gaussian system if the sigma-algebra B is generated by some Gaussian process (ξ n ) n∈ with ξ n = ξ 0 • T n for each n ∈ . (Multiplying if necessary the process (ξ n ) by a constant, we can always assume that [ξ 2 0 ] = 1, and in this case the spectral measure σ is a probability measure.) The classical theory of Gaussian systems studies the above-mentioned standard Gaussian systems. But following [START_REF] Lemańczyk | Gaussian automorphisms whose ergodic self-joinings are Gaussian[END_REF], it is useful to introduce also the generalized Gaussian systems as probability-preserving dynamical systems (X, B, µ, T ) satisfying the following more general property: there exists a closed real subspace H of L 2 (µ) such that • H is a Gaussian space; • H is invariant by U T (in particular, the stationary process (ξ • T n ) n∈ is Gaussian); • the sigma-algebra generated by H is B.

Geometric interpretation.

A geometric model for a standard Gaussian dynamical system is proposed in [START_REF]Mouvement moyen et système dynamique gaussien[END_REF] as a transformation of a complex Brownian motion path. More precisely, let B = (B t ) 0≤t≤1 be a complex Brownian motion with B 0 = 0.

For any given probability measure γ on Ì (identified here with [0, 1[), let us define,

for 0 ≤ s < 1 θ(s) := inf{x ∈ [0, 1[: γ([0, x]) ≥ s}.
Now we consider a new process B = ( B t ) 0≤t≤1 given by (3)

B t := t 0 e i2πθ(s) dB s .
Then B is also a complex Brownian motion with the same law as B, and this enables us to define a transformation T γ : B → B of the canonical space C 0 ([0, 1], ) of the Brownian motion, preserving the Wiener measure µ W . This transformation is invertible (its inverse being given by a similar formula, where we replace e i2πθ(s) by e -i2πθ(s) ). Then we define the real valued stationary process (ξ p ) p∈ by ξ p := ℜe(B 1 • T p γ ). It turns out that (ξ p ) p∈ is a stationary Gaussian process, whose spectral measure σ is the symmetrized of γ, defined for each measurable subset A of Ì by

σ(A) = γ(A) + γ(-A) 2 .
Moreover, if σ is continuous, (ξ p ) p∈ generates the same sigma-algebra as (B t ) 0≤t≤1 , and the measure-preserving system C 0 ([0, 1], ), µ W , T γ is a Gaussian dynamical system isomorphic to X σ .

Poisson suspensions.

Poisson point process. Let (X, A ) be a standard Borel space, and let (X * , A * ) be the canonical space of point processes on (X, A ), where

• X * is the set of counting measures on X,

• A * is the sigma-algebra generated by the maps (N A ) A∈A , where

N A : X * → AE ∪ {+∞} ω → ω (A) .
When µ is a sigma-finite measure on (X, A ), a Poisson point process of intensity µ on X always exists. We denote by µ * its distribution, which is a probability measure on (X * , A * ).

Poisson suspensions. The distribution µ * of a Poisson point process of intensity µ has many nice functorial features. One of the most important is the following.

Let µ and ν be two sigma-finite measures on the standard Borel spaces (X, A ) and (Y, B) respectively, and consider a measurable map ϕ :

X → Y such that µ • ϕ -1 = ν. Then the map ϕ * X * → Y * acting by ϕ * i∈I δ xi := i∈I δ ϕ(xi) satisfies µ * • ϕ -1 * = ν * . In particular, if T is a measure-preserving transformation on (X, A , µ), then T * is a probability-preserving transformation of (X * , A * , µ * ). The system (X * , A * , µ * , T * ) is called the Poisson suspension over the base (X, A , µ, T ).
Of course the properties of the Poisson suspensions depend on those of the base system, and this allows to make strong connections between infinite-measurepreserving systems and probability-preserving systems.

Spectral theory

4.1. Basics of spectral theory. Let us recall some basic notions of spectral theory (see e.g. [START_REF] Lemańczyk | Spectral theory of dynamical systems[END_REF]).

Let U be a unitary operator acting on a separable Hilbert space H, and let h ∈ H. We denote by σ h the spectral measure of h (see [START_REF] Rue | Lectures in Quantum noise Theory[END_REF]). Let C (h) be the cyclic space of h under U , that is, the closure of the linear span of the vectors U n h, n ∈ . The linear map between C (h) and L 2 (σ h ) that maps U n h to e i2πn• extends to an isometry and intertwins the operator U with the unitary operator (4)

V : f → e i2π• f, f ∈ L 2 (σ h ) .
The maximal spectral type of U is the equivalence class of σ hmax for some h max satisfying:

∀g ∈ H, σ g ≪ σ hmax .

(Such an h max always exists.)

We say that U has simple spectrum whenever H itself is a cyclic space C(h) for some vector h.

Whenever (X, A , µ, T ) is a measure-preserving dynamical system with a sigmafinite measure µ, we denote by U T : L 2 (µ) → L 2 (µ) the associated Koopman operator defined by U T h := h • T . It is a unitary operator on L 2 (µ). 4.2. Fock space. We describe here an algebraic construction that plays a crucial role in the study of our objects.

Let once again H be a Hilbert space and denote H ⊙n , the vector space of symmetric elements of the n-th tensor product H ⊗n . When H is L 2 (X, µ) for some sigma-finite measure µ on X, then H ⊙n can be identified with the subspace L 2 perm (X n , µ ⊗n ) of L 2 (X n , µ ⊗n ) consisting of functions which are invariant by coordinate permutations.

With the convention H ⊙0 := , we can consider the vector space n≥0 H ⊙n which is the formal direct sum whose elements are finite sums of vectors of H ⊙n , n ≥ 1. The space n≥0 H ⊙n can be equipped with a scalar product by considering the direct sum as orthogonal and by endowing each H ⊙n with the scalar product

•, • H ⊗n . The (Boson) Fock space F (H) of H is the Hilbert space obtained as the completion of n≥0 H ⊙n with respect to the norm of the scalar product we just set up.

4.3.

Operators on a Fock space. Whenever Φ is an operator on H of norm less than or equal to 1, it extends naturally to an operator Φ on the Fock space F (H) by acting on H ⊙n as Φ ⊙n , that is

∀v ∈ H, Φ (v ⊗ • • • ⊗ v) := Φv ⊗ • • • ⊗ Φv.
This operator Φ is called the second quantization of Φ (see [START_REF] Rue | Lectures in Quantum noise Theory[END_REF] (chap. 8, p. 16)).

The following proposition considers the second quantization U of a unitary operator U . Proposition 4.1. If U is unitary on H and σ max is in the equivalence class of its maximal spectral type, then

• the second quantization U of U is unitary on F (H).

• The maximal spectral type of U is the equivalence class of n≥0 σ * n max (where σ * 0 max := δ 0 ). • U has simple spectrum if and only if for all n, U ⊙n has simple spectrum and for all n = m, σ * n max ⊥ σ * m max . 4.4. Application to Gaussian and Poisson chaos.

4.4.1.

Fock space structure of L 2 for Gaussian dynamical systems and Poisson suspensions. In the case of the standard Gaussian dynamical system X σ , generated by the Gaussian process (ξ n ) n∈ , we denote by H r 1 the real Gaussian subspace of L 2 (µ σ ) spanned by the random variables ξ n , n ∈ , and H 1 := H r 1 + iH r 1 the complex subspace spanned by the process. Then H 1 is isometric to L 2 (Ì, σ), with an isometry extending the correspondence ξ n ←→ e i2πn• (n ∈ ).

In the case of the Poisson suspension (X * , A * , µ * , T * ), we denote by H 1 the subspace of L 2 (µ * ) spanned by the random variables of the form

N A -µ(A), A ∈ A , µ(A) < ∞. In this case H 1 is isometric to L 2 (X, µ), with an isometry extending the correspondence N A -µ(A) ←→ ½ A (A ∈ A , µ(A) < ∞).
In both cases, H 0 denotes the subspace of constant functions. Then for each n ≥ 2, we define inductively the subspace H n as the orthocomplement of 0≤j<n H j in the space of all polynomials of degree at most n in variables in H 1 (note that elements of H 1 always have moments of any order). In the classical probabilist terminology, the subspace H n is called the n-th chaos.

It turns out that H n is, in the Gaussian case, isometric to L 2 perm (Ì n , σ ⊗n ), whereas in the Poisson case it is isometric to L 2 perm (X n , µ ⊗n ). We therefore get the following description of L 2 as a Fock space, which in the Gaussian case takes the form

L 2 (µ σ ) = n≥0 H n ≃ F L 2 (Ì, σ) ,
and in the Poisson case

L 2 (µ * ) = n≥0 H n ≃ F L 2 (X, µ) .
We refer to [START_REF] Cornfeld | Ergodic theory[END_REF] for more details about the Fock space structure in the Gaussian case, and to [START_REF] Last | Lectures on the Poisson process[END_REF][START_REF] Yu | Categories of symmetries and infinite-dimensional groups[END_REF] in the Poisson case.

Second quantization operators.

Once the Fock space structure of L 2 (µ σ ) (in the Gaussian case) and L 2 (µ * ) (in the Poisson suspension case) is established, it is natural to look at the Koopman operator that is associated to the underlying transformation. In both cases, this Koopman operator leaves each chaos H n invariant, and is nothing but the second quantization of its restriction to H 1 . More precisely, we can state the following.

In the case of the standard Gaussian system X σ , the action of U S on the first chaos H 1 corresponds to the multiplication by e i2π• in L 2 (Ì, σ). In general, the action of U S on the n-th chaos H n corresponds to the multiplication by the function

(t 1 , . . . , t n ) → e i2π(t1+•••+tn) in L 2
perm (Ì n , σ ⊗n ). In the case of the Poisson suspension (X * , A * , µ * , T * ), the action of U T * on H 1 corresponds to the action of U T on L 2 (µ). In general, the action of U T * on the n-th chaos H n corresponds to the action of U T ×n on L 2 perm (X n , µ ⊗n ).

Basic ergodic properties

Ergodicity and mixing.

Ergodic properties as spectral properties. We list some classical ergodic properties that are spectral by nature. We start by the probability-preserving case where it is customary to consider U T : f → f • T acting on L 2 0 (µ) = L 2 (µ) ⊖ , the orthocomplement of the constant functions as U T acts trivially on the latter: U T (α½ X ) = α½ X . In that case, the reduced maximal spectral type denotes the maximal spectral type of U T acting on L 2 0 (µ).

Theorem 5.1. Let (X, A , µ, T ) be a dynamical system with µ (X) = 1, U T its Koopman operator acting on L 2 0 (µ) and ρ 0 max , a finite measure in the measure class of the reduced maximal spectral type.

• (X, A , µ, T ) is ergodic if and only if ρ 0 max ({0}) = 0. • (X, A , µ, T ) is weakly mixing if and only if ρ 0 max is continuous. • (X, A , µ, T ) is (strongly) mixing if and only if ρ 0 max is Rajchman, i.e. ρ 0 max (k) ----→ |k|→∞ 0.
When µ is not finite, nonzero constant functions are not in L 2 (µ) and that makes a radical difference: Theorem 5.2. Let (X, A , µ, T ) be a dynamical system with µ sigma-finite, U T its Koopman operator acting on L 2 (µ) and ρ max a finite measure in the measure class of the maximal spectral type.

• (X, A , µ, T ) has no T -invariant set of finite positive measure if and only if ρ max is continuous. • (X, A , µ, T ) is of zero type (i.e. µ (A ∩ T n B) → 0 as n tends to infinity for all finite µ-measure sets A and B in A ) if and only if ρ max is Rajchman.

In particular, these two properties can only happen if µ is infinite. Note also that ergodicity is no longer a spectral property in the infinite measure case.

Ergodicity and mixing of Gaussian systems and Poisson suspensions. Ergodic and mixing properties of Gaussian dynamical systems are easily characterized in terms of the spectral measure σ of the generating stationary Gaussian process. Using the spectral characterizations of ergodicity and mixing given in Theorem 5.1 and the expression of the maximal spectral type of the second quantization of a unitary operator in Proposition 4.1, we can obtain the following results which were first proved by Maruyama [START_REF] Maruyama | The harmonic analysis of stationary stochastic processes[END_REF] and Fomin [START_REF] Fomin | On dynamical systems in a space of functions[END_REF]. Details can also be found in [START_REF] Cornfeld | Ergodic theory[END_REF].

Theorem 5.3. The Gaussian dynamical system X σ is ergodic if and only if the spectral measure σ is continuous, that is σ({t}) = 0 for each t ∈ Ì. In this case it is also weakly mixing.

The system X σ is (strongly) mixing if and only if σ is Rajchman.

In particular, by the Riemann-Lebesgue Lemma, if σ is absolutely continuous then the associated Gaussian system is mixing, which was originately proved by Ito [START_REF] Ito | On the ergodicity of a certain stationary process[END_REF]. But there also exist singular spectral measures whose Fourier coefficients vanish at infinity [START_REF] Menchoff | Sur l'unicité du développement trigonométrique[END_REF].

The same kind of arguments apply to Poisson suspensions: together with Theorem 5.2, this yields to the following characterizations (proved by Marchat [30] and Grabinsky [START_REF] Grabinsky | Poisson process over σ-finite Markov chains[END_REF]).

Theorem 5.4. The Poisson suspension (X * , A * , µ * , T * ) is ergodic if and only if the base system (X, A , µ, T ) has no invariant set of finite positive measure. In this case it is also weakly mixing.

The Poisson suspension (X * , A * , µ * , T * ) is (strongly) mixing if and only if the base system (X, A , µ, T ) is of zero type.

Leonov [START_REF] Leonov | The use of the characteristic functional and semi-invariants in the ergodic theory of stationary processes[END_REF] proved that, if a Gaussian system is mixing, then it is mixing of all orders (see also [START_REF] Totoki | The mixing property of Gaussian flows[END_REF] for a simple proof by Totoki). The same result holds for a Poisson suspension (see [30,[START_REF] Grabinsky | Poisson process over σ-finite Markov chains[END_REF]). 5.2. Entropy, Bernoulli properties. The Kolmogorov-Sinai entropy of a Gaussian system is given by the following result, already stated by Pinsker in 1960 [START_REF] Pinsker | Dynamical systems with completely positive or zero entropy[END_REF] (see also [START_REF]Coalescence and spectrum of automorphisms of a Lebesgue space[END_REF][START_REF] Thierry De La Rue | Entropie d'un système dynamique gaussien: cas d'une action de Z d[END_REF][START_REF] Lemánczyk | Entropy of Gaussian actions for countable Abelian groups[END_REF] for various proofs).

Theorem 5.5 (Entropy of a standard Gaussian system). Let σ be a symmetric positive finite measure on Ì. If σ is singular with respect to the Lebesgue measure, then h(X σ ) = 0. Otherwise, h(X σ ) = ∞.

In the case where its spectral measure is the Lebesgue measure λ on Ì, the stationary Gaussian process (ξ n ) n∈ is composed of orthogonal, hence independent, random variables. Thus X λ is a Bernoulli shift of infinite entropy. Now if σ ≪ λ, we will see in Theorem 6.1 that X σ is a factor of a Bernoulli shift. By Ornstein theory [START_REF] Ornstein | Ergodic theory, randomness, and dynamical systems[END_REF], X σ is itself isomorphic to a Bernoulli shift, and since it also has infinite entropy by Theorem 5.5, it is in fact isomorphic to X λ .

In the general case, decomposing the spectral measure as the sum of its singular and absolutely continuous parts and assuming that both are nonzero, we get by Theorem 6.1 below that X σ is the direct product of a Bernoulli shift of infinite entropy with a zero-entropy Gaussian system (corresponding to the singular part of the spectral measure). In particular, any standard Gaussian system satisfies the Pinsker property (it is a product of a zero-entropy system with a Bernoulli shift).

As far as Poisson suspensions are concerned, anything can happen with the entropy which can be 0, positive finite or infinite. Together with the fact that, when the base (X, A , µ, T ) is a probability space, the entropy of the Poisson suspension T * is just the same as the entropy of T , this leads to view the entropy of the Poisson suspension T * as a possible way to define the entropy of T when T is an infinite measure-preserving transformation, as proposed in [START_REF] Roy | Mesures de poisson, infinie divisibilité et propriétés ergodiques[END_REF]. Other ways to define the entropy of an infinite measure-preserving transformation, also generalizing the finite-measure case, had been proposed by Krengel [START_REF] Krengel | Entropy of conservative transformations[END_REF] and Parry [START_REF] Parry | Entropy and generators in ergodic theory[END_REF], and it is proved in [START_REF] Janvresse | Poisson suspensions and entropy for infinite transformations[END_REF] that these three notions of entropy coincide in many cases. However an example of a transformation with zero Krengel entropy, but whose Poisson suspension has positive entropy, is presented in [START_REF] Janvresse | Zero Krengel entropy does not kill Poisson entropy[END_REF].

Assume that there exists in the base system (X, A , µ, T ) a wandering set A (i.e. whose images T n A, n ∈ , are pairwise disjoint), and such that X = n∈ T n A (the system is called dissipative in this case). Then, obviously, the base is of zero type and the Poisson suspension is mixing. But thanks to the independence property of the Poisson process, the Poisson suspension is in fact Bernoulli. However there also exist Bernoulli examples of Poisson suspensions where the base is conservative (i.e. there is no wandering set of positive measure). Such examples are provided by Poisson suspensions over null-recurrent Markov chains: we consider a countable set Σ, an irreducible null-recurrent stochastic matrix P = (p i,j ) i,j∈Σ , and let q = (q i ) i∈Σ be a nonzero measure which is stationary with respect to P . We can then form the associated Markov shift (X, A , µ, T ) where X = Σ , T is the shift transformation, and µ is the shift invariant infinite measure given on cylinder sets by the formula

µ([i 0 i 1 , . . . , i k ]) := q i0 p i0,i1 • • • p i k-1 ,i k .
It has been proved by Kalikow [22] and Grabinsky [START_REF] Grabinsky | Poisson process over σ-finite Markov chains[END_REF] that the associated Poisson suspension (X * , A * , µ * , T * ) is Bernoulli. Moreover, as shown in [START_REF] Janvresse | Poisson suspensions and entropy for infinite transformations[END_REF], its entropy is given by the following formula generalizing the entropy for positive-recurrent Markov chains:

h(T * ) = - i∈Σ q i j∈Σ p i,j log p i,j .
(Examples where the above entropy is finite are provided by Krengel [START_REF] Krengel | Entropy of conservative transformations[END_REF].)

The general structure of a Poisson suspension is, in general, not known. We can ask in particular whether there exists a Poisson suspension which is K but not Bernoulli.

Joinings, factors and centralizer

Gaussian factors and centralizer.

Gaussian factors of a Gaussian system. In the standard Gaussian system X σ generated by the Gaussian process (ξ n ) n∈ , let us take a nonzero element ζ ∈ H r 1 , and set for each n ∈ ,

ζ n := ζ • S n ∈ H r 1 .
Then (ζ n ) n∈ is a stationary Gaussian process, and generates a particular factor sigma-algebra of X σ which we call a Gaussian factor. This factor can be more precisely described by the following analysis.

Spectral theory provides an isometry between the closed real subspace H r 1 of L 2 (µ σ ) generated by the Gaussian process (ξ n ) and the following real subspace of L 2 (Ì, σ):

L 2 sym (Ì, σ) := {φ ∈ L 2 (Ì, σ) : φ(-t) = φ(t) for σ-almost every t}.
The element ζ of H r 1 corresponds to some function φ ∈ L 2 sym (Ì, σ), and the spectral measure σ 1 of the process (ζ n ) n∈ is absolutely continuous with respect to σ, with density dσ1 dσ = |φ| 2 . Observe conversely that any symmetric positive finite measure σ 1 ≪ σ can be realized in this way, for example by taking the real-valued function φ := dσ1 dσ ∈ L 2 sym (Ì, σ).

The Gaussian factor generated by (ζ n ) n∈ only depends on the equivalence class of σ 1 , so we can denote it by F σ1 . The action of S on F σ1 is isomorphic to X σ1 .

If σ 1 is equivalent to σ, then F σ1 coincides with the Borel sigma-algebra of X σ , and X σ1 is isomorphic to X σ . On the other hand, if σ 1 is not equivalent to σ, we can find another symmetric positive finite measure σ 2 on Ì such that

• σ 2 is singular with respect to σ 1 , • σ is equivalent to σ 1 + σ 2 .
Using the fact that orthogonal subspaces of H r 1 correspond to independent families of Gaussian random variables, we then get another Gaussian factor F σ2 which is independent of F σ1 , and such that F σ1 and F σ2 together generate the same sigma-algebra as the original Gaussian process (ξ n ). This shows that any strict Gaussian factor F σ1 of X σ admits an independent complement. In the case when X σ is ergodic, this independent complement is itself weakly mixing, therefore the corresponding extension X σ → X σ1 is relatively weakly mixing.

We can summarize some of the above results through the following theorem.

Theorem 6.1. Let σ, σ 1 , σ 2 be symmetric positive finite measures on Ì.

• If σ 1 and σ 2 are equivalent, then X σ1 and X σ2 are isomorphic.

• If σ 1 ≪ σ, then X σ1 is a factor of X σ and corresponds to a Gaussian factor F σ1 of X σ . • If σ is equivalent to σ 1 + σ 2 ,
where σ 1 and σ 2 are mutually singular, then X σ is isomorphic to the direct product X σ1 × X σ2 .

Gaussian centralizer. The geometric interpretation of a standard Gaussian dynamical system as a transformation of the Brownian motion path given in Section 3.1 allows to show that the centralizer of a Gaussian system is always rich. First, if in Formula (3) we replace e i2πθ(s) by e i2πuθ(s) for u ∈ Ê, we get a measure-preserving Ê-action (T u γ ) u∈Ê . Hence any standard Gaussian dynamical system can be embedded in an Ê-action. Moreover each T u γ gives rise to a generalized Gaussian system (as the Gaussian subspace H r 1 is stable by T u γ ).

Observe also that if we take two probability measures γ 1 and γ 2 on Ì, then T γ1 and T γ2 always commute. Hence the centralizer of a Gaussian dynamical system always contains transformations isomorphic to any other standard Gaussian dynamical system.

The above examples all belong to the so-called Gaussian centralizer, whose elements are constructed as follows. We start by defining the multiplicative group

G σ := {ψ ∈ L 2
sym (Ì, σ) : |ψ| = 1 (σ-a.e.)}. For each ψ in G σ , the multiplication by ψ in L 2 sym (Ì, σ) is a unitary operator, which corresponds in H r 1 to a unitary operator U ψ . Moreover, the process (U ψ (ξ n )) n∈ has the same distribution as the generating Gaussian process (ξ n ) n∈ , hence U ψ comes from a measure-preserving transformation, which we denote here by T ψ , commuting with S on X σ .

Note that U ψ can be naturally extended to a unitary operator on the complex space H 1 . The Koopman operator associated to T ψ is then nothing but the second quantization of U ψ .

The set of transformations

C g (S) := {T ψ : ψ ∈ G σ }
is a subgroup of the centralizer of S which is called the Gaussian centralizer.

Compact and classical factors of a Gaussian dynamical system. Newton and Parry [START_REF] Newton | On a factor automorphism of a normal dynamical system[END_REF] (see also Maruyama [START_REF]A singular flow with countable Lebesgue spectrum[END_REF]) introduced another type of factor of the Gaussian system X σ by considering the sigma-algebra of subsets of Ê which are invariant by the transformation (x n ) n∈ → (-x n ) n∈ (called the even factor ). We can see that this factor is not a Gaussian factor, as the corresponding extension is never relatively weakly mixing. This example belongs to another class of factors of X σ , which are obtained in the following way. Take any compact subgroup K of G σ , which corresponds to some compact subgroup C K of C g (S), and consider

F K := A ⊂ Ê : T A = A for each T ∈ C K .
Then F K is a factor sigma-algebra of X σ which is called a Gaussian-compact factor of X σ . Note that Newton-Parry's example corresponds to the subgroup K generated by the function identically equal to -1 on Ì.

Finally, these two types of factors can be combined, and we call a classical factor of X σ any Gaussian-compact factor of a Gaussian factor of X σ .

Poisson factors and centralizer.

There are two main ways to get natural factors of a Poisson suspension of base (X, A , µ, T ) which are themselves Poisson suspensions. The first one is to consider a non-trivial T -invariant set Y ⊂ X and the sigma-algebra generated by restriction of the Poisson process to Y :

A * |Y := σ {N A , A ∈ A , A ⊂ Y } . The associated factor map is ω -→ ω |Y and sends (X * , A * , µ * , T * ) to Y * , A |Y * , µ |Y * , T |Y * .
As an immediate consequence of the independence properties of a Poisson process, we get the following result. Proposition 6.2. Assume there exists a non trivial T -invariant set Y ⊂ X. Then the Poisson suspension (X * , A * , µ * , T * ) is isomorphic to the direct product

Y * × (X \ Y ) * , A |Y * ⊗ A |X\Y * , µ |Y * ⊗ µ |X\Y * , T |Y * × T |X\Y * .
The other way to get a Poisson suspension as a factor of (X * , A * , µ * , T * ) is to consider a sigma-finite factor of the base system C ⊂ A , that is, a T -invariant sigma-algebra where µ is still sigma-finite. We then define

C * := σ {N A , A ∈ C } .
We can check that the action of T * on C * can be viewed as a Poisson suspension. Indeed, we have the isomorphism

X /C * , A /C * , µ /C * , T /C * ≃ X * /C * , A * /C * , µ * /C * , T * /C * .
In general, we call Poisson factor of the suspension (X * , A * , µ * , T * ) any T *invariant sub-sigma-algebra of the form (C | Y ) * , where C is a sigma-finite factor of the base system and Y a C -measurable T -invariant subset of X.

The centralizer of T * always contains other Poisson suspensions, namely all transformations of the form S * when S ∈ C(T ). They form a subgroupg of C(T * ): the Poisson centralizer.

6.3.

Gaussian and Poisson self-joinings. This section is based on notions borrowed from [START_REF] Lemańczyk | Gaussian automorphisms whose ergodic self-joinings are Gaussian[END_REF] (for Gaussian) and [START_REF] Roy | Poisson suspensions and infinite ergodic theory[END_REF], [START_REF] Derriennic | Ergodic automorphisms whose weak closure of off-diagonal measures consists of ergodic self-joinings[END_REF] (for Poisson). The inherent probabilistic nature of Gaussian and Poisson systems allows to define remarkable families of selfjoinings.

In the Gaussian setting, the definition is pretty straightforward. Definition 6.3. Let ν be a self-joining of a standard Gaussian system X σ . In the probability-preserving dynamical system

R Z × R Z , B R Z ⊗ B R Z , ν, S × S ,
the two natural projections on Ê provide two copies

(ξ ′ n ) = (ξ ′ 0 • (S × S) n ) n∈ and (ξ ′′ n ) = (ξ ′′ 0 • (S × S) n
) n∈ of the original Gaussian process. The self-joining ν is said to be a Gaussian selfjoining if the real subspace of L 2 (ν) spanned by the ξ ′ n and the ξ ′′ n , n ∈ , is a Gaussian space.

Example 6.4. The product self-joining, and more generally the relatively independent product over a Gaussian factor, are Gaussian self-joinings. The graph selfjoining associated to a transformation in the Gaussian centralizer is also a Gaussian self-joining. The ergodic components of the relatively independent product over a compact factor are Gaussian self-joinings.

For the Poisson counterpart, the aforementioned family of self-joinings is easier to introduce by expliciting their structure.

Let (X * , A * , µ * , T * ) be a Poisson suspension. Start with a "sub-self-joining" of the base, namely a system (X × X, A ⊗ A , m, T × T ) where m is a T ×T -invariant measure whose projections satisfy

m 1 := m (• × X) ≤ µ and m 2 := m (X × •) ≤ µ.

GAGs and PAPs

7.1. From Foias-Stratila to GAGs. Lemańczyk, Parreau and Thouvenot introduced in [START_REF] Lemańczyk | Gaussian automorphisms whose ergodic self-joinings are Gaussian[END_REF] a class of Gaussian dynamical systems called GAGs (a French acronym meaning "Gaussian systems with Gaussian self-joinings"), on which they have developed a beautiful theory. The proof of the existence of GAGs relies on a striking rigidity result by Foias and Stratila [START_REF] Foias | Ensembles de Kronecker dans la Théorie ergodique[END_REF], according to which there are some spectral measures that, in ergodic systems, can only be realized by Gaussian processes (this result improved a previous work of Sinai [START_REF] Ya | On higher order spectral measures of ergodic stationary processes[END_REF]). Foias-Stratila result can be formulated in the following way (see also [2, p. 375]).

Theorem 7.1 (Foias-Stratila). Let (Ω, F , È, T ) be an ergodic probability-preserving dynamical sytem. Assume that for some nonzero real-valued ξ 0 ∈ L 2 (È), the spectral measure of the stationary process (ξ 0 • T n ) n∈ is continuous and concentrated on K ∪ (-K), where K is a Kronecker subset of Ì. Then the process

(ξ 0 • T n ) n∈ is Gaussian.
The above result is used in [START_REF] Lemańczyk | Gaussian automorphisms whose ergodic self-joinings are Gaussian[END_REF] through the following argument (which was already stated by Thouvenot [START_REF] Thouvenot | The metrical structure of some Gaussian processes[END_REF][START_REF] Thouvenot | Utilisation des processus gaussiens en théorie ergodique[END_REF]). Let us consider a Gaussian-Kronecker system X σ (which means that the spectral measure σ satisfies the same assumptions as in Theorem 7.1). Let ν be a self-joining of X σ , and denote by ξ ′ and ξ ′′ the two copies of the original Gaussian process with spectral measure σ in the probabilitypreserving dynamical system Ê × Ê , B(Ê × Ê ), ν, S × S , (as in Definition 6.3). In L 2 (ν), let H ′ and H ′′ be the real subspaces spanned respectively by ξ ′ and ξ ′′ , and H := H ′ + H ′′ . For any h ∈ H, the spectral measure of the stationary process (h • (S × S) n ) n∈ is absolutely continuous with respect to σ. Hence, if we further assume that ν is ergodic, Theorem 7.1 implies that H is a Gaussian subspace.

We formalize the above by the following definition and theorem.

Definition 7.2. The Gaussian system X σ is said to be a GAG when any ergodic self-joining of X σ is a Gaussian self-joining.

Note that in this case, the system given by any ergodic self-joining is a generalized Gaussian system. Theorem 7.3. Any Gaussian-Kronecker system is a GAG.

Even if Foias-Stratila result is the keystone for the construction of GAGs, it is shown in [START_REF] Lemańczyk | Gaussian automorphisms whose ergodic self-joinings are Gaussian[END_REF] that the class of GAGs extends far beyond the Gaussian-Kronecker systems. Indeed, it is proved that any simple-spectrum Gaussian system is GAG, and in particular there exist mixing GAGs.

Because of their special properties (see Section 7.3), GAGs can be used to produce very interesting examples of probability-preserving dynamical systems. But beside the theory of GAGs, Foias-Stratila property can lead to other surprising results. For example, it is used in [START_REF]L'induction ne donne pas toutes les mesures spectrales[END_REF] to show the existence of some spectral measures on the torus that can never be obtained in a transformation induced by an irrational rotation of the circle. This invariance requirement is encompassed in the following notion of T -point process.

Definition 7.4. Let (X, A , µ, T ) be a sigma-finite measure-preserving system, and let (Ω, , È, S) be a probability-preserving system. A point process

N : Ω → X * is said to be a T -point process if • for any A ∈ A : N (A) • S = N T -1 A • N (A) = 0 P-a.s. if µ (A) = 0. The T -point process N is T -free if
its distribution is concentrated on the set of simple counting measures of the form i∈I δ xi such that for each i = j, x i and x j are not in the same T -orbit.

We assume now that X is a complete and separable metric space, and that µ is an infinite and boundedly finite measure on (X, A ), that is a measure giving finite mass to any bounded measurable set. (This definition depends on the choice of the metric, and our assumption implies in particular that the metric is unbounded.)

We consider the family (FS) of µ-preserving invertible transformations T of X satisfying:

• for each n ≥ 1, (X n , A ⊗n , µ ⊗n , T ×n ) is ergodic (T is said to have infinite ergodic index ); • for each n ≥ 1, if ν is a boundedly finite T ×n -invariant measure on (X n , A n ) whose marginals are absolutely continuous with respect to µ, then (X n , A ⊗n , ν, T ×n ) is conservative and any of its ergodic component m is of the form

m (A 1 × • • • × A n ) = P ∈π µ i∈P T -ki A i ,
where π is a partition of {1, . . . , n} and {k i } are integers. Observe that such an ergodic component gives rise to a system isomorphic to

X #π , A ⊗#π , µ ⊗#π , T ×#π .
This above property is reminiscent to the concept of minimal self-joinings in the probability-preserving case. However we stress that, when the measure is infinite, greater care is required when dealing with invariant measures on Cartesian products (see [20] where this definition is discussed, and the construction of an example of transformation in the family (FS) is given).

We can now state the Poissonian version of Theorem 7.1, proved in [START_REF]Poisson suspensions and SuShis[END_REF]. By analogy with GAG, we can formulate the following definition.

Definition 7.6. The Poisson suspension (X * , A * , µ * * , T * ) is said to be a PAP when all its ergodic self-joinings are Poisson self-joinings.

The analog of Theorem 7.3 in the context of Poisson suspensions has been established in [START_REF]Poisson suspensions and SuShis[END_REF].

Theorem 7.7. If T is in the family (FS), then (X * , A * , µ * , T * ) is a PAP. 7.3. Properties of GAGs and PAPs. GAGs and PAPs have the great advantage that we can quite well describe the structure of their self-joinings. Since these self-joinings can tell a lot on the factors and centralizer of the corresponding transformation, it is no surprise that we are able to control the factors and centralizer of GAGs and PAPs.

We have seen in Section 6.1 that in the centralizer of any Gaussian system we can find transformations isomorphic to any other Gaussian system. It turns out that for GAGs, there is no other element in the centralizer.

Theorem 7.8 (Centralizer of a GAG [START_REF] Lemańczyk | Gaussian automorphisms whose ergodic self-joinings are Gaussian[END_REF]). Let X σ be a GAG, and let T ∈ C(S). Then for each ζ in the real Gaussian subspace H r 1 of L 2 (µ σ ) spanned by the generating Gaussian process, we have ζ • T ∈ H r 1 . In particular the system Ê , B(Ê ), µ σ , T is a generalized Gaussian system.

We also identified in Section 6.1 a family of factors appearing in any standard Gaussian system. Again, in the case of GAGs, there is no other possible factor. Theorem 7.9 (Factors of a GAG [START_REF] Lemańczyk | Gaussian automorphisms whose ergodic self-joinings are Gaussian[END_REF]). Let X σ be a GAG. Any factor of X σ is a classical factor. Any factor over which S is relatively weakly mixing is a Gaussian factor.

The above theorem is used in [START_REF] Iwanik | Quelques remarques sur les facteurs des systèmes dynamiques gaussiens[END_REF]: in the case of a GAG system, the factor generated by a function of finitely many coordinates of the Gaussian process can only be the whole system or the even factor (and the latter occurs only when the function is even).

Here are the corresponding results for Poisson suspensions.

Theorem 7.10 (Centralizer of a PAP [START_REF]Poisson suspensions and SuShis[END_REF]). Let (X * , A * , µ * , T * ) be a PAP, and let R ∈ C(T * ). Then there exists S ∈ C(T ) such that R = S * .

In particular, when T is in the family (FS), C(T ) is reduced to the powers of T [START_REF] Janvresse | Invariant measures for Cartesian powers of Chacon infinite transformation[END_REF], thus C(T * ) = {T n * : n ∈ }. Theorem 7.11 (Factors of a PAP [START_REF]Poisson suspensions and SuShis[END_REF]). Any non trivial factor of the PAP (X * , A * , µ * , T * ) contains a non trivial Poisson factor. Any factor over which T * is relatively weakly mixing is a Poisson factor.

In particular, when T is in the family (FS), T * has no non-trivial factor, as T itself has no non-trivial factor [START_REF] Janvresse | Invariant measures for Cartesian powers of Chacon infinite transformation[END_REF]. Note that the primeness and the triviality of the centralizer of T * in this case are striking differences compared to Gaussian systems, which always possess a lot of factors and a large centralizer. The dissemblance can be pushed even further as it is proved (see [START_REF]Poisson suspensions and SuShis[END_REF] and [START_REF] Janvresse | Nearly finite Chacon transformation[END_REF]) that if T is in the family (FS), T * is in fact disjoint from any standard Gaussian system.

Future Directions

A lot of questions remain open concerning the intersections of the classes of Gaussian systems or Poisson suspensions with other families of dynamical systems. In positive entropy, the situation is quite clear concerning the Gaussian case, but as already mentioned in Section 5.2 it is not known whether we can build a Poisson suspension which is K but not Bernoulli. In the zero-entropy setting, some results have been obtained for Gaussian systems: some are loosely Bernoulli, some are not [START_REF]Systèmes dynamiques gaussiens d'entropie nulle, lâchement et non lâchement Bernoulli[END_REF], and we know that they cannot be of finite rank [START_REF]Rang des systèmes dynamiques gaussiens[END_REF]. Similar issues for Poisson suspensions have not been studied yet. A general problem that arises is the question of disjointness of these systems of probabilistic origin with other classes such as finite-rank systems. One can hope for a unified answer taking advantage of the common features shared by Gaussian systems and Poisson suspensions, and inspired by ideas such as those developed in [START_REF] Derriennic | Ergodic automorphisms whose weak closure of off-diagonal measures consists of ergodic self-joinings[END_REF] or [START_REF] Lemańczyk | Joining primeness and disjointness from infinitely divisible systems[END_REF], where it is proved that both Gaussian systems and Poisson suspensions are disjoint from the class of distally simple systems.

For Poisson suspensions, the entropy theory is much richer and the situation where all three notions of entropy of a sigma-finite measure-preserving system do not coincide remains rather mysterious. For example, is it true that the Poisson entropy always dominates the Krengel entropy of the system?

It is noteworthy to mention that Poisson suspensions can also be defined over non-singular transformations, provided some integrability condition is satisfied. This is a potentially rich area to explore. (There is an ongoing work on this topic by A. Danilenko, Z. Kosloff and the second author of the present paper.)

Finally, we point out that this presentation focused on -actions, eventhough the notions of Gaussian systems and Poisson suspensions extend naturally to more general group actions. For flows (Ê-actions), Gaussian systems and Poisson suspensions provide interesting examples of flows for which the self-similarity set I(T ) := {s ∈ Ê : (T st ) t∈Ê is isomorphic to (T t ) t∈Ê } can be fully described (see [START_REF] Fraczek | On the self-similarity problem for ergodic flows[END_REF][START_REF] Danilenko | On self-similarities of ergodic flows[END_REF][START_REF] Fraczek | On the self-similarity problem for Gaussian-Kronecker flows[END_REF]). For other groups, the generalization of some topics presented in the present survey is not always obvious. The entropy of Gaussian actions of Abelian groups is proved to be 0 or ∞ in [START_REF] Lemánczyk | Entropy of Gaussian actions for countable Abelian groups[END_REF], however it is unknown if the same holds for countable amenable groups. We can also ask for which group actions we have a Foias-Stratila theory.

3 . 1 .

 31 From probabilistic objects to dynamical systems 3.Gaussian systems.

7. 2 .

 2 Poissonian analog of Foias-Stratila Theorem and PAPs. Roughly speaking, an analog of Foias-Stratila Theorem in the context of Poisson suspensions should identify a special class of infinite measure-preserving dynamical systems (X, A , µ, T )-playing a role similar to the Kronecker measures-, such that any point process invariant and ergodic under the dynamics of T would have a Poissonian character.

Theorem 7 . 5 (

 75 Poissonian analog of Foias-Stratila Theorem). Let N be a T -point process with moments of all orders defined on the ergodic probability-preserving dynamical sytem (Ω, F , È, S). If T is in the family (FS) and if N is T -free, thenN is a Poisson point process of intensity αµ for some α > 0.

We form the Poisson suspension (X × X) * , (A ⊗ A ) * , m * , (T × T ) * . Consider the map κ → (ω 1 , ω 2 ) := (κ (• × X) , κ (X × •)), and denote by m the pushforward measure of m * by this map. Then we get as a factor

which is nothing else than a joining between (X * , A * , m * 1 , T * ) and (X * , A * , m * 2 , T * ). The final step consists into "fixing the intensities" by considering the direct product

On X * ×X * , we define m as the pushforward measure of (µ -m 1 ) * ⊗m⊗(µ -m 2 ) * by the factor map Despite the different nature of their structure, it is possible to give a unified characterization of Poisson and Gaussian self-joinings (see [START_REF] Roy | Mesures de poisson, infinie divisibilité et propriétés ergodiques[END_REF]).

Proposition 6.7. A self-joining of a Gaussian system (resp. a Poisson suspension) is Gaussian (resp. Poisson) if and only if its distribution is infinitely divisible.

In the Gaussian case, this follows immediately from the fact that a process with Gaussian entries is Gaussian if and only if it is infinitely divisible. Theorem 6.8. [START_REF] Lemańczyk | Gaussian automorphisms whose ergodic self-joinings are Gaussian[END_REF][START_REF] Derriennic | Ergodic automorphisms whose weak closure of off-diagonal measures consists of ergodic self-joinings[END_REF] A self-joining of a Gaussian system X σ is Gaussian if and only if the associated Markov operator Φ acting on L 2 (µ σ ) is the second quantization of an operator ϕ on L 2 (σ) of norm less than or equal to one and which commutes with V (see [START_REF] Derriennic | Ergodic automorphisms whose weak closure of off-diagonal measures consists of ergodic self-joinings[END_REF]).

Similarly, a self-joining of a Poisson suspension (X * , A * , µ * , T * ) is Poisson if and only if the associated Markov operator Φ acting on L 2 (µ * ) is the second quantization of an operator ϕ on L 2 (µ) corresponding to a sub-self-joining of (X, A , µ, T ) (a sub-Markov operator commuting with T ).

The following property is central in this theory (see [START_REF] Lemańczyk | Gaussian automorphisms whose ergodic self-joinings are Gaussian[END_REF] for Gaussian, [START_REF] Roy | Mesures de poisson, infinie divisibilité et propriétés ergodiques[END_REF] and [START_REF] Derriennic | Ergodic automorphisms whose weak closure of off-diagonal measures consists of ergodic self-joinings[END_REF] for Poisson). Proposition 6.9. A Gaussian (resp. Poisson) self-joining of an ergodic Gaussian system (resp. Poisson suspension) is ergodic.