# A characterization of 3D steady Euler flows using commuting zero-flux homologies

Daniel Peralta-Salas, Ana Rechtman, Francisco Torres de Lizaur

<figure><img src="image_1.png" /></figure>

## To cite this version:

Daniel Peralta-Salas, Ana Rechtman, Francisco Torres de Lizaur. A characterization of 3D steady Euler flows using commuting zero-flux homologies. Ergodic Theory and Dynamical Systems, 2021, 41 (7), pp.2166-2181. 10.1017/etds.2020.25. hal-02554492

HAL Id: hal-02554492

https://hal.science/hal-02554492v1

Submitted on 24 Sep 2024

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d'enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

<figure><img src="image_2.png" /></figure>

Distributed under a Creative Commons Attribution 4.0 International License
This is an Open Access article, distributed under the terms of the Creative Commons
Attribution licence (http://creativecommons.org/licenses/by/4.0/), which permits
unrestricted re-use, distribution, and reproduction in any medium, provided the original
work is properly cited.

doi:10.1017/etds.2020.25

A characterization of 3D steady Euler flows
using commuting zero-flux homologies

DANIEL PERALTA-SALAS ⋆†, ANA RECHTMAN‡ and
FRANCISCO TORRES DE LIZAUR§

† Instituto de Ciencias Matemáticas, Consejo Superior de Investigaciones Científicas,
28049 Madrid, Spain

(e-mail: dperalta@icmat.es)

‡ IRMA, Université de Strasbourg, 7 rue René Descartes, 67084 Strasbourg, France

(e-mail: rechtman@math.unistra.fr)

§ Max Planck Institute for Mathematics, Vivatsgasse 7, 53111 Bonn, Germany

(e-mail: ftorresdelizaur@mpim-bonn.mpg.de)

(Received 10 April 2019 and accepted in revised form 10 February 2020)

*Abstract.* We characterize, using commuting zero-flux homologies, those volume-
preserving vector fields on a 3-manifold that are steady solutions of the Euler equations
for some Riemannian metric. This result extends Sullivan’s homological characterization
of geodesible flows in the volume-preserving case. As an application, we show that
steady Euler flows cannot be constructed using plugs (as in Wilson’s or Kuperberg’s
constructions). Analogous results in higher dimensions are also proved.

Key words: smooth dynamics, symplectic dynamics, Euler equations, volume-preserving
flows

2010 Mathematics Subject Classification: 57R30, 35Q31, 76B99 (Primary)

1. *Introduction and main theorem*

The dynamics of an inviscid and incompressible fluid flow on a Riemannian 3-manifold
M is described by the Euler equations

$$
\partial_t X + \nabla_X X = -\nabla P, \quad \text{div } X = 0,
$$

where *X* is the velocity field of the fluid (which is a non-autonomous vector field on *M*)
and *P* is the pressure function, which is uniquely defined by the equations up to a constant.
The operator ∇<sub>*X*</sub> denotes the covariant derivative of a vector field along *X* and div is the
divergence operator computed with respect to the Riemannian volume form.

When the vector field *X* does not depend on time, we say that it is a stationary solution
of the Euler equations, which models a fluid flow in equilibrium. It is well known [1, 11]
that the stationary Euler equations can be equivalently written as

$$X \times \mathrm{curl} X = \nabla B, \quad \mathrm{div} X = 0,$$

where $B := P + \frac{1}{2}|X|^2$ is the Bernoulli function of the fluid. We recall that, given a metric $g$ and a volume form $\mu$, the curl operator and the vector product $\times$ are defined as

$$i_{\mathrm{curl} X} \mu = d(i_X g), \quad i_{X \times Y} g = i_Y i_X \mu,$$

where $i_Z g$ denotes the 1-form dual to the vector field $Z$ using the metric.

An important milestone in the study of the stationary Euler flows, which marked the birth of modern topological hydrodynamics, is Arnold's structure theorem [1]. Roughly speaking, it shows that, when $X$ and curl $X$ are not collinear, they behave as integrable Hamiltonian systems with two degrees of freedom. For extensions of this theorem to higher dimensions, see [7]. The 'degenerate' case corresponds to the so-called *Beltrami flows*, which are defined as those divergence-free vector fields such that curl $X$ is proportional to $X$ (via a not necessarily constant proportionality factor).

The geometric wealth of steady Euler flows has been revealed in recent years and its study has attracted the attention of many people. Etnyre and Ghrist, developing an idea suggested by Sullivan, showed the equivalence between Reeb flows of a contact form and non-vanishing Beltrami fields with constant proportionality factor [5, 6] (see also [2] for an extension of this result to $b$-contact structures); the case of general Beltrami fields corresponds to volume-preserving geodesible flows (or Reeb flows of stable Hamiltonian structures), as noticed by Rechtman [12, 13]. More recently, Cieliebak and Volkov [4] constructed steady Euler flows that are not geodesible, and Izosimov and Khesin [8] characterized the vorticity functions of two-dimensional steady Euler flows using Reeb graphs. Nevertheless, we are still far from having a deep understanding of the space of stationary solutions to the Euler equations.

Our goal in this paper is to give a complete characterization of steady Euler flows *à la Sullivan* using zero-flux 2-chains for a vector field that commutes with $X$. This contains, as a particular case, Sullivan's characterization of geodesible flows in terms of tangent homologies [16] (for volume-preserving fields). To this end, we introduce the definition of an *Eulerizable flow*.

**Definition 1.1.** (Eulerizable flow) Let $M$ be a three-dimensional manifold endowed with a volume form $\mu$. We say that a volume-preserving vector field $X$ is *Eulerizable* if there is a Riemannian metric $g$ on $M$ (not necessarily inducing the volume form $\mu$) for which $X$ is a stationary solution to the Euler equations

$$X \times \mathrm{curl} X = \nabla B, \quad L_X \mu = 0,$$

for some (Bernoulli) function $B: M \to \mathbb{R}$. Here, $L_X$ denotes the Lie derivative. Equivalently, a volume-preserving vector field $X$ is *Eulerizable* if there is a Riemannian metric $g$ such that

$$i_X d\alpha = -dB,$$

where $\alpha := i_X g$ is the 1-form dual to $X$.

**Remark 1.2.** When the Riemannian volume form $\mu_g$ does not coincide with the volume form $\mu$, the Euler equations presented above describe the behavior of an ideal
barotropic fluid, that is, a fluid whose density is a function of the pressure. Indeed, writing $\mu = \rho \mu_g$, $\rho > 0$ is a function which plays the role of the density. Then the vector field $X$ solves the equation $\rho \nabla_X X = -\rho \nabla p =: -\nabla \hat{p}$ provided that $\rho$ is a function of $p := B - \frac{1}{2}\alpha(X)$, and $L_{\rho X}\mu_g = 0$. In fact, if $X$ is a non-vanishing Eulerizable flow, the proof of the implication (ii) ⇒ (i) of Theorem 1.3 below shows that the metric $g$ can be taken to be compatible with $\mu$, that is, the Riemannian volume form $\mu_g$ coincides with $\mu$.

To state our main theorem, let us first introduce some notation. For a vector field $X$, we denote by $\mathcal{F}_X$ the set of the boundaries of zero-flux 2-chains:

$$ \mathcal{F}_X = \{ \partial c : c \text{ is a 2-chain with } \int_C i_X \mu = 0 \}. $$

Let $\mathcal{Z}_X$ and $\mathcal{C}_X$ be the cone of foliation currents and of foliation cycles of the vector field $X$, respectively (see Appendix A for a short review on the theory of currents). We recall that a foliation current of a vector field $X$ is a 1-current that can be approximated arbitrarily well (in the weak topology) by tangent 1-chains. Equivalently, a foliation current can be approximated by 1-currents of the form

$$ \sum_{i=1}^{N} c_i \delta_X^{p_i}, $$

with $N \in \mathbb{N}$, $c_i \in [0, \infty)$ and $p_i \in M$. Recall that, for any $p \in M$, the 1-current $\delta_X^{p_i}$ is defined as

$$ \delta_X^{p_i}(\alpha) = \alpha_p(X) \quad \text{for any 1-form } \alpha. $$

A foliation cycle is a closed foliation current, that is, a foliation current whose kernel contains the linear subspace of exact 1-forms.

Throughout this paper we say that a manifold is closed if it is compact and without boundary. The following theorem is our main result.

**THEOREM 1.3.** Let $X$ be a non-vanishing volume-preserving vector field on a closed 3-manifold $M$ with trivial first cohomology group, $H^1(M) = 0$. The following properties are equivalent.

(i) $X$ is Eulerizable.

(ii) There exists a 1-form $\alpha$ such that $\alpha(X) > 0$ and $\iota_X d\alpha$ is closed.

(iii) There exists a (not identically zero) vector field $Y$ that commutes with $X$ (i.e. $[X, Y] = 0$), such that no sequence of elements in $\mathcal{F}_Y$ can approximate a non-trivial foliation cycle of $X$, that is, $\overline{\mathcal{F}_Y} \cap \mathcal{C}_X = \{0\}$.

The proof of Theorem 1.3 yields the following characterization (new to the best of our knowledge) of Reeb fields in contact geometry, which is of independent interest. Notice that in its statement we do not need to assume that $X$ is volume-preserving.

**THEOREM 1.4.** Let $M$ be a closed 3-manifold which is not a fibration over the circle. Then a vector field $X$ is the Reeb field of a contact structure (possibly after rescaling) if and only if there is a smooth volume form $\mu$ such that no sequence of elements in $\mathcal{F}_X$ can approximate a non-trivial foliation cycle of $X$, that is, $\overline{\mathcal{F}_X} \cap \mathcal{C}_X = \{0\}$.
We prove Theorems 1.3 and 1.4 in §§2 and 3, respectively. Following Sullivan [16], the key to the proofs is the Hahn-Banach theorem, which allows us to produce functionals that separate certain subsets of 1-currents. The main application of Theorem 1.3, which is presented in §4, is to show that Eulerizable flows cannot be constructed using plugs. This proves, in particular, that an Eulerizable flow cannot contain plugs exhibiting Reeb components, as in Wilson's construction [9, 19]. The fact that steady Euler flows cannot contain Reeb components (not necessarily associated to a plug) was first observed in [4]. Finally, in §5 we prove a higher-dimensional analog of Theorem 1.3 and its application showing that the steady Euler flows cannot exhibit plugs in arbitrary dimensions. For the reader's convenience, we have included in Appendix A a short introduction to the aspects of the theory of currents that are used in the proofs.

## 2. *Proof of the main theorem*

We will first establish the equivalence between items (i) and (ii) and then between items (ii) and (iii). In the proof, the volume form preserved by $X$ is denoted by $\mu$.

(i) ⇒ (ii). This is straightforward. Let $g$ be a metric for which $X$ is a stationary solution of the Euler equations and define the dual 1-form $\alpha := i_X g$. Then $\alpha(X) > 0$ and, since $X$ is an Euler flow, $i_X d\alpha$ is exact.

(ii) ⇒ (i). Let $\xi$ be the 2-plane distribution defined by the kernel of $\alpha$. It is standard that we can endow $\xi$ with a smooth Riemannian metric $g_\xi$, which can be extended trivially to a smooth degenerate quadratic form on $TM$, satisfying $g_\xi(X, \cdot) = 0$. Then

$$g := \frac{1}{\alpha(X)} \alpha \otimes \alpha + g_\xi$$

is a metric on $M$ and it clearly verifies that $i_X g = \alpha$. Since $i_X d\alpha$ is closed (and hence exact because $H^1(M) = 0$), $X$ is a solution to the Euler equations with the metric $g$ and the volume form $\mu$. Notice that the freedom on the quadratic form $g_\xi$ allows one to multiply it by an appropriate (non-constant) factor so that the Riemannian volume form induced by $g$ is the same as $\mu$.

(ii) ⇒ (iii). Let $Y$ be the vector field defined as $i_Y \mu := d\alpha$. It is easy to check that, since $X$ is volume-preserving,

$$i_{[X,Y]}\mu = L_X i_Y \mu.$$

Since $di_Y \mu = 0$, we have that $Y$ preserves the volume $\mu$ as well, and also

$$L_X i_Y \mu = di_X i_Y \mu = di_X d\alpha = 0,$$

thus implying that $X$ and $Y$ commute. It just remains to prove that $\overline{F_Y} \cap C_X = \{0\}$. Suppose this is not the case, that is, that there is a sequence of 2-chains $c_n$, with $c_n(i_Y \mu) = 0$ and a non-zero foliation cycle $b$ satisfying

$$\lim_{n \to \infty} \partial c_n(\beta) = b(\beta)$$

for any 1-form $\beta$. Now, for the 1-form $\alpha$ we have on the one hand that

$$\partial c_n(\alpha) = c_n(d\alpha) = c_n(i_Y \mu) = 0,$$
and on the other hand that

$$b(\alpha) = \int_{b} \alpha > 0$$

because $\alpha(X) > 0$ and $b$ is a foliation cycle of $X$. We arrive at a contradiction. Accordingly, $\overline{\mathcal{F}}_{Y} \cap \mathcal{C}_{X} = \{0\}$.

(iii) ⇒ (ii). Let $\mathcal{Z}^1$ denote the vector space of 1-currents on $M$, that is, the continuous dual of the space $\Omega^1$ of smooth 1-forms on $M$ (see Appendix A).

It is well known [15] that the set of foliation 1-currents $\mathcal{Z}_X \subset \mathcal{Z}^1$ is a closed convex cone with compact convex base, that is, there is a compact convex set $K \subset \mathcal{Z}_X \setminus \{0\}$ such that

$$\mathcal{Z}_X = \{\lambda K, \lambda \in [0, \infty)\}.$$

By item (iii), since $\mathcal{Z}_X \cap \overline{\mathcal{F}}_Y = \mathcal{C}_X \cap \overline{\mathcal{F}}_Y$, we conclude that $K$ cannot intersect $\overline{\mathcal{F}}_Y$. Since $\overline{\mathcal{F}}_Y$ is a closed vector subspace of $\mathcal{Z}^1$, a standard application of the Hahn-Banach theorem (see, for example, [14, Ch. 4, Theorem 4.5]) ensures the existence of a continuous linear functional $\mathcal{F}: \mathcal{Z}^1 \to \mathbb{R}$ that is strictly positive in $K$ (thus strictly positive in $\mathcal{Z}_X \setminus \{0\}$ as well) and vanishes in $\overline{\mathcal{F}}_Y$.

The continuous dual of $\mathcal{Z}^1$ being $\Omega^1$, we can identify the continuous linear functional $\mathcal{F}$ with a 1-form $\alpha$; this form verifies, on the one hand, that

$$\alpha(X) > 0, \qquad (1)$$

because $b(\alpha) > 0$ for any $b \in \mathcal{Z}_X \setminus \{0\}$, and, on the other hand, that

$$\partial c(\alpha) = c(d\alpha) = 0 \qquad (2)$$

for any 2-current $c$ such that $\partial c \in \overline{\mathcal{F}}_Y$. In particular, $i_Y d\alpha = 0$ because any 2-current $c'$ tangent to $Y$ can be approximated by a sequence of 2-chains tangent to $Y$ (and hence of zero flux), thus implying that $\partial c' \in \overline{\mathcal{F}}_Y$ and so $c'(d\alpha) = 0$.

Finally, let us show that $i_X d\alpha$ is closed and hence exact because $M$ is assumed to have trivial first cohomology group. Consider the linear subspace of 2-forms that are proportional to $i_Y \mu$:

$$\mathcal{Y} := \{\omega \in \Omega^2, \omega = t i_Y \mu, t \in \mathbb{R}\}.$$

We claim that $d\alpha = T i_Y \mu$ for some constant $T \neq 0$. This implies that $Y$ is volume-preserving and, since $X$ and $Y$ commute, it readily follows that $d(i_X d\alpha) = 0$.

Indeed, first notice that $d\alpha$ cannot be identically zero; otherwise, since $H^1(M) = 0$, the 1-form $\alpha$ would be non-degenerate and exact, which is not possible on a closed manifold. Now let $\mathcal{Z}^2$ be the vector space of 2-currents on $M$. Suppose there is no such $T$, thus $d\alpha \notin \mathcal{Y}$. Again, by a standard application of the Hahn-Banach theorem, there exists a 2-current $c \in \mathcal{Z}^2$ that is positive on $d\alpha$ and whose kernel contains $\mathcal{Y}$. Accordingly, we have that $c(i_Y \mu) = 0$. We claim that $\partial c \in \overline{\mathcal{F}}_Y$. Indeed, let $\{c_k\}$ be a sequence of 2-chains that converge (in the weak topology) to the 2-current $c$. By continuity, it follows that $\int_{c_k} i_Y \mu =: \epsilon_k$ with $\epsilon_k \to 0$ as $k \to \infty$. Take a 2-chain $b$ such that $\int_b i_Y \mu \neq 0$ (this obviously exists because $Y$ is not identically zero). Then the sequence of 2-chains defined as

$$\tilde{c}_k := c_k - \frac{\epsilon_k}{\int_b i_Y \mu} b$$
has zero flux (i.e. $\int_{\tilde{c}_k} i_Y \mu = 0$) and converges in the weak topology to $c$. The continuity of the boundary operator implies that $\partial \tilde{c}_k$ converges to $\partial c$, thus proving the claim. Finally, by equation (2) we have that $\partial c(\alpha) = c(d\alpha) = 0$, which contradicts the fact that $c$ is positive on $d\alpha$. So $d\alpha \in \mathcal{Y}$, as we wanted to show. This completes the proof of the theorem.

**Remark 2.1.** The implication (i) $\Rightarrow$ (iii) holds on any closed 3-manifold (there is no need to assume that $H^1(M) = 0$).

**Remark 2.2.** From the proof of (ii) $\Leftrightarrow$ (iii) we also obtain a characterization of the set of vorticities of a given vector field $X$. More precisely, let $X$ be a non-vanishing vector field on a closed 3-manifold $M$ with volume form $\mu$ and assume that $M$ is not a fibration over the circle (so that, by Tischler's theorem [18], there do not exist non-degenerate closed 1-forms). Then a vector field $Y$ can be written as $Y = T \operatorname{curl} X$ for some metric $g$ and non-zero constant $T$ if and only if $\overline{F_Y} \cap C_X = \{0\}$.

**Remark 2.3.** It follows from the proof of the implication (iii) $\Rightarrow$ (ii) that if $c$ is a zero-flux 2-current for a vector field $Y$ (i.e. $c(i_Y \mu) = 0$) then $\partial c \in \overline{F_Y}$.

**Remark 2.4.** In the particular case where $Y = X$, it is enough to assume that $\overline{B_X} \cap C_X = \{0\}$, where $B_X$ is the set of boundaries of tangent 2-chains:

$$B_X = \{\partial c \mid c \text{ is a 2-chain tangent to } X\}.$$

Indeed, the Hahn-Banach theorem implies that there exists a 1-form $\alpha$ such that $\alpha(X) > 0$ and $i_X d\alpha = 0$. Since $X$ is non-vanishing, it then follows that $d\alpha = Fi_X \mu$ for some function $F: M \to \mathbb{R}$. It is easy to check that $F$ is a first integral of $X$ because $L_X \mu = 0$. We can then define a vector field $Y := FX$ that commutes with $X$ (i.e. $[X, Y] = 0$) and satisfies the zero-flux condition in item (iii). Applying Theorem 1.3, we then conclude that $X$ is an Eulerizable flow with constant Bernoulli function (because $i_X d\alpha = 0$), so it is geodesible. This is consistent with Sullivan's characterization [16] of geodesible volume-preserving fields.

**Remark 2.5.** According to Remark 2.2, if $M$ is not a fibration over the circle, the assumption $\overline{F_Y} \cap C_X = \{0\}$ implies that the 1-form $\alpha$ constructed in the proof of the implication (iii) $\Rightarrow$ (ii) satisfies $d\alpha = Ti_Y \mu$ for some non-zero constant $T$; in particular, $\operatorname{div} Y = 0$ and $\overline{B_Y} \cap C_X = \{0\}$ (see Remark 2.4 for a definition of $B_Y$). We believe that, in general, the existence of a commuting vector field $Y$ such that $\operatorname{div} Y = 0$ and $\overline{B_Y} \cap C_X = \{0\}$ does not imply the existence of another commuting field $Y'$ with $\overline{F_{Y'}} \cap C_X = \{0\}$; this would show that, contrary to Sullivan's characterization of geodesible flows, there is no hope of characterizing the Eulerizable flows using only commuting tangent homologies (instead of commuting zero-flux homologies). This is supported by the fact that $\operatorname{div} Y = 0$ and $\overline{B_Y} \cap C_X = \{0\}$ imply that $d\alpha = Fi_Y \mu$ for some function $F$ (provided that $Y$ is non-vanishing); in the particular case where $Y = X$, this is a characterization of geodesible volume-preserving or stable Hamiltonian flows, which are not Reeb flows of a contact structure in general, that is, the function $F$ is genuinely not constant [3, §3.9].

**Remark 2.6.** We observe that the condition $\overline{F_Y} \cap C_X = \{0\}$ in item (iii) is independent of the existence of a volume-preserving vector field $Y$ that commutes with $X$. Indeed,
using the $C^\infty$ volume-preserving plug introduced by Kuperberg [9], one can construct (in a flow-box) a volume-preserving vector field $X$ that is axisymmetric and contains a Reeb cylinder. The axisymmetry condition is equivalent to saying that there is a volume-preserving vector field $Y$ that commutes with $X$, $[X, Y] = 0$. Since Euler flows cannot exhibit plugs (see §4), we conclude that the zero-flux homology condition is independent of the existence of $Y$.

**Remark 2.7.** Following Tao [17], we say that a non-vanishing vector field $X$ admits a strongly adapted 1-form $\alpha$ if $\alpha(X) > 0$ and $i_X d\alpha$ is exact. If $X$ is volume-preserving, the proof of Theorem 1.3 shows that this is equivalent to being Eulerizable (there is no need to assume that $H^1(M) = 0$). If $X$ is not assumed to preserve a volume form, a simple variation of the proof of Theorem 1.3 allows one to prove the following result. Let $M$ be a closed 3-manifold with $H^1(M) = 0$ endowed with a volume form $\mu$. Then $X$ admits a strongly adapted 1-form $\alpha$ if and only if there exists a (not identically zero) vector field $Y$ satisfying $[X, Y] = -(\operatorname{div} X) Y$ (i.e. $L_X i_Y \mu = 0$) and such that no sequence of elements in $\mathcal{F}_Y$ can approximate a non-trivial foliation cycle of $X$, that is, $\overline{\mathcal{F}_Y} \cap C_X = \{0\}$. Given $X$ and a strongly adapted 1-form $\alpha$, the vector field $Y$ is simply defined as $i_Y \mu = d\alpha$. We refer to Remark 5.3 in §5 for a generalization of this result to arbitrary dimensions.

### 3. Proof of Theorem 1.4

We recall that a contact form on a 3-manifold $M$ is a 1-form $\alpha$ whose associated 3-form $\alpha \wedge d\alpha$ is a volume form (the 2-plane distribution $\xi := \ker \alpha$ is then everywhere non-integrable, and is called a contact structure). The unique vector field $X$ satisfying $\alpha(X) = 1$ and $i_X d\alpha = 0$ is called the Reeb field of the contact form $\alpha$.

Let $X$ be the Reeb vector field of a contact form $\alpha$. In particular, $X$ preserves the volume form $\mu := \alpha \wedge d\alpha$, and we have that $i_X \mu = d\alpha$. Suppose there is a non-zero element $b \in \overline{\mathcal{F}_X} \cap C_X$, where we define $\mathcal{F}_X$ using the volume $\mu$. Then, on the one hand $b(\alpha) > 0$, because $b$ is a foliation cycle, but on the other hand $b$ is in $\overline{\mathcal{F}_X}$, so $b = \partial c$ where $c$ is a 2-current that satisfies

$$c(i_X \mu) = c(d\alpha) = b(\alpha) = 0,$$

and we get a contradiction. So if $X$ is Reeb, then $\overline{\mathcal{F}_X} \cap C_X = \{0\}$.

Now suppose that $\overline{\mathcal{F}_X} \cap C_X = \{0\}$. Arguing as in the proof of the implication (iii) ⇒ (ii) in Theorem 1.3, we construct a 1-form $\alpha$ satisfying $\alpha(X) > 0$ and $d\alpha = T i_X \mu$, for some constant $T$. If $M$ does not fiber over the circle, we must have that $T \neq 0$. But then $\alpha \wedge d\alpha = T \alpha(X) \mu$ is a volume form, so $\alpha$ is a contact form and the rescaled vector field

$$X' := \frac{1}{\alpha(X)} X$$

is its Reeb field.

### 4. An application: vector fields constructed with plugs are not Eulerizable

#### 4.1. Plugs and geodesible flows.
In this subsection we introduce the notion of a plug and we show that vector fields constructed with plugs are not geodesible. This implies, in particular, that vector fields with plugs cannot be Beltrami flows; the general case of
steady Euler flows will be considered in the next subsection. Plugs were introduced by Wilson [19] in the context of the Seifert conjecture. We start with the definition of a plug.

**Definition 4.1.** A plug is a 3-manifold $P$ with boundary of the form $D \times [-1, 1]$, where $D$ is a compact surface with boundary (usually a disk). $P$ is endowed with a non-vanishing vector field $X$, such that the following statements hold.

(1) $X$ is vertical in a neighborhood of $\partial P$, that is, $X = \partial/\partial z$, $z \in [-1, 1]$. Thus $X$ is inward transverse along $D \times \{-1\}$, outward transverse at $D \times \{1\}$ and tangent to the rest of $\partial P$.

(2) There is a point $p \in D \times \{-1\}$ whose positive orbit is trapped in $P$. The set $D_{-1} := D \times \{-1\}$ is called the entry region of the plug.

(3) If the orbit of $q = (x, -1) \in D \times \{-1\}$ is not trapped, then it intersects $D \times \{1\}$ at the point $\bar{q} = (x, 1)$. We say that $\bar{q}$ is the point facing $q$, and $D_1 := D \times \{1\}$ denotes the exit region of the plug.

(4) There is an embedding of $P$ into $\mathbb{R}^3$ preserving the vertical direction.

A plug allows one to change a vector field on a 3-manifold locally: given a flow-box, the interior can be replaced by the plug, thus changing the dynamics. For example, the trapped orbits will now be limited to an invariant set contained inside the plug.

Our main result in this subsection is the proof that a plug cannot be geodesible, and hence any vector field constructed using a plug is not geodesible. For this we use Sullivan's characterization of geodesible fields [16]. The following proof is taken from [12]. We remark that in this subsection, the vector field $X$ is not assumed to be volume-preserving.

**PROPOSITION 4.2.** *The vector field inside a plug (P, X) is not geodesible.*

*Proof.* Let $x \in D_{-1}$ be a point with trapped forward orbit, and assume there is a finite-length curve $\sigma \subset D_{-1}$ from $x$ to $\partial D_{-1}$ such that the orbits of the points $\sigma \setminus \{x\}$ are not trapped by the plug. Such a point always exists, since the points in $\partial D_{-1}$ are not trapped. Let $\sigma: [0, 1] \to D_{-1}$ be a parametrization such that $\sigma(1) = x$ and $\sigma(0) \in \partial D_{-1}$.

We want to show that $X$ is not geodesible. Using Sullivan's theorem [16] we know that it is enough to find a sequence of tangent 2-chains whose boundaries are arbitrarily close to a foliation cycle. Consider the curve $\sigma_t = \sigma([0, t])$, for $t \in [0, 1]$. For $t < 1$, the orbits of the points in $\sigma_t$ under the flow of $X$ hit $D_1$ after a finite time. Let $A_t$ be the tangent surface defined by the union of the flow-lines of the points in $\sigma_t$, which lie between $D_{-1}$ and $D_1$,

$$A_t := \bigcup_{s=0}^{t} \gamma(\sigma(s)),$$

where $\gamma(\sigma(s))$ is the $X$-orbit of $\sigma(s)$ inside the plug. Observe that $\tilde{\sigma}_t := A_t \cap D_1$ is the curve facing $\sigma_t$, by the exit–entry condition on plugs (item (3) in Definition 4.1). Hence we can define $\tilde{\sigma}_1 \subset D_1$ and for every $t \in [0, 1]$ we have that $|\sigma_t| = |\tilde{\sigma}_t|$, where by $| \cdot |$ we will denote the length of the curves and, more generally, the mass of currents (see, for example, [10]).

Consider now a sequence $\{t_n\}_{n \in \mathbb{N}}$ that converges to 1. Since the orbit of $\sigma(1) = x$ is trapped, and $X$ is non-vanishing, the length of the curve $\gamma(\sigma(t_n))$ goes to infinity
as $n \to \infty$, and we can assume without loss of generality that $|\gamma(\sigma(t_m))| \le |\gamma(\sigma(t_n))|$ for $m \le n$. Define the sequence of 2-currents

$$ \frac{1}{|\gamma(\sigma(t_n))|} A_{t_n}(\lambda) := \frac{1}{|\gamma(\sigma(t_n))|} \int_{A_{t_n}} \lambda, $$

where $\lambda$ is any 2-form. We first observe that this sequence of 2-currents has finite mass. Indeed,

$$ \frac{1}{|\gamma(\sigma(t_n))|} \left| \int_{A_{t_n}} \lambda \right| \le \frac{|A_{t_n}|}{|\gamma(\sigma(t_n))|} \|\lambda\|_{L^\infty} \le C \|\lambda\|_{L^\infty}, $$

where we have used that $|A_{t_n}| \le |\gamma(\sigma(t_n))| \cdot |\sigma_{t_n}| \le C|\gamma(\sigma(t_n))|$, for some constant that does not depend on $n$. This last inequality comes from the assumption that the curve $\sigma$ has finite length.

Moreover, it is clear that the 2-currents $(1/|\gamma(\sigma(t_n))|)A_{t_n}$ form a sequence of tangent 2-chains. In Lemma 4.3 we prove that the boundaries of these 2-chains approach a foliation cycle, thus implying that $X$ cannot be geodesible. The proposition then follows. □

We need to introduce some notation for Lemma 4.3. First, observe that the 2-currents we are considering are normal currents, that is, compactly supported currents which have finite mass and boundaries of finite mass as well. In the set of normal currents we consider the flat norm

$$ F(S) := \inf\{|A| + |B| : S = A + \partial B\}, $$

where $S$, $A$ and $B$ are normal currents (for more details, see [10]) and $|\cdot|$ denotes the mass (as defined at the end of Appendix A). The set of normal currents is not closed under this norm; however, it is easy to check that the flat convergence of normal currents implies the usual weak convergence of currents.

**LEMMA 4.3.** $\lim_{n \to \infty} (1/|\gamma(\sigma(t_n))|) \partial A_{t_n}$ is a non-trivial foliation cycle.

*Proof.* Consider the sequence of foliation 1-currents $(1/|\gamma(\sigma(t_n))|)\gamma(\sigma(t_n))$. Then

$$ \left| \frac{1}{|\gamma(\sigma(t_n))|} \partial A_{t_n} - \frac{1}{|\gamma(\sigma(t_n))|} \gamma(\sigma(t_n)) \right| \le \frac{1}{|\gamma(\sigma(t_n))|} [|\sigma_1| + |\tilde{\sigma}_1| + |\gamma(\sigma(0))|], $$

so the difference converges in the flat norm (and in the weak topology) to zero as $n \to \infty$. Additionally, the flat norm of the 1-currents $(1/|\gamma(\sigma(t_n))|)\gamma(\sigma(t_n))$ is less than or equal to one, because they have mass one. Since the space of 1-currents is Montel, there is a convergent subsequence $(1/|\gamma(\sigma(t_{n_k}))|)\gamma(\sigma(t_{n_k}))$. Hence, the limit defines the 1-current with mass one (and hence non-trivial):

$$ S := \lim_{k \to \infty} \frac{1}{|\gamma(\sigma(t_{n_k}))|} \partial A_{t_{n_k}} = \lim_{k \to \infty} \frac{1}{|\gamma(\sigma(t_{n_k}))|} \gamma(\sigma(t_{n_k})). $$

Since the boundary operator $\partial$ is continuous, it follows that $S$ is a cycle. Moreover, since the space of foliation currents is a closed convex cone $C_X$ containing the sequence $(1/|\gamma(\sigma(t_{n_k}))|)\gamma(\sigma(t_{n_k}))$, it contains its limit. Thus $S$ is a foliation cycle, as we wanted to prove. □

**Remark 4.4.** The two important properties of a plug that are used in the proof above is that there are trapped orbits and that the map from the entry to the exit is absolutely continuous, thus mapping curves of bounded length onto curves of bounded length.
4.2. Plugs are not Eulerizable. In this subsection we show that vector fields that are constructed using plugs are not Eulerizable. This implies, in particular, that Euler flows cannot contain Wilson-type plugs (i.e. with Reeb cylinders). We first recall that Eulerizable fields with constant Bernoulli function (i.e. Beltrami flows) are geodesible (because $\alpha(X) > 0$ and $i_X d\alpha = 0$), and hence by Proposition 4.2 they cannot be constructed using plugs. Accordingly, the key to proving that plugs are not Eulerizable is to analyze the Euler flows with non-constant Bernoulli function. In this case, Sullivan’s theorem [16] implies that $\overline{B_X} \cap C_X$ contains non-trivial elements (see Remark 2.4 for the definition of $B_X$). The following lemma is instrumental in proving the main theorem of this subsection. In the statement we denote by $G$ the set of critical points of the Bernoulli function $B$ of the Euler flow:

$$G := \{x \in M : dB(x) = 0\}.$$

LEMMA 4.5. Let $X$ be a non-vanishing Euler flow that is not geodesible. Let $z \neq 0$ be a foliation cycle in $\overline{B_X} \cap C_X$, and let $c_n$ be a sequence of 2-chains tangent to $X$ that converge to a tangent 2-current $A$ such that $\partial A = z$. Then the support of $A$ satisfies $\text{supp}(A) \cap G^c \neq \emptyset$.

*Proof.* Since $X$ is not geodesible, its Bernoulli function is not constant, so the complement $G^c$ is not empty. Suppose that the support of $A$ is contained in $G$. Since $X \times \text{curl } X = 0$ in $G$, and $X$ is non-vanishing, it follows that $\text{curl } X$ is either zero or collinear with $X$ on $G$. Recall that $\text{curl } X$ is defined as $i_{\text{curl } X} \mu = d\alpha$, where $\alpha$ is the 1-form dual to $X$. Accordingly, $0 = A(d\alpha) = \partial A(\alpha) = z(\alpha) > 0$, which is a contradiction. $\square$

We are now ready to prove that the insertion of a plug $(P, X)$ is not Eulerizable. Observe that to have any hope that plug insertions can be done in the Eulerizable category, the vector field $X$ has to preserve volume. Thus we assume that $(P, X)$ is a volume-preserving plug. In this case the trapped set of $P$ has empty interior. In the proof of the following theorem, we shall use the notation introduced in §4.1 without further mention.

THEOREM 4.6. The vector field inside a plug $(P, X)$ is not Eulerizable.

*Proof.* As explained in the proof of Proposition 4.2, the mass of the currents $(1/|\gamma(\sigma(t))|)A_t$ is bounded by the length of $\sigma_t$; then, as the space of 2-currents is Montel, we can subtract a convergent subsequence $(1/|\gamma(\sigma(t_n))|)A_{t_n}$ (in the weak topology). Let $A$ be the limit 2-current. First observe that it is non-trivial because $(1/|\gamma(\sigma(t_n))|)\partial A_{t_n}$ converges to a non-zero foliation cycle $\partial A$ of mass one (cf. Lemma 4.3). Now observe that, for any 2-form $\omega$ whose kernel contains $X$, we have that $A_{t_n}(\omega) = 0$, thus implying that $A(\omega) = 0$ by continuity, so $A$ is a 2-current tangent to $X$. Finally, since $A$ has compact support, and both the mass of $A$ and the mass of its boundary are bounded, $A$ is a normal 2-current.

Assume now that the vector field $X$ of the plug is Eulerizable. This Euler vector field has a Bernoulli function $B$, which we assume to be non-constant. Otherwise, the field $X$ is geodesible and the result follows from Proposition 4.2. The following Lemma 4.7 shows that the vector field $\text{curl } X$ has zero flux through $A$, that is, $A(i_{\text{curl } X} \mu) = 0$. By Remark 2.3 we have that $\partial A \in \overline{\mathcal{F}_{\text{curl } X}}$, but $\partial A$ is a non-trivial foliation cycle and $[X, \text{curl } X] = 0$,
which is a contradiction according to Theorem 1.3 (and Remark 2.1). We conclude that $X$ cannot be a steady Euler flow. □

LEMMA 4.7. The 2-current $A$ satisfies $A(i_{\text{curl}} \times \mu) = 0$.

*Proof.* We claim that the quantity

$$ \frac{1}{|\gamma(\sigma(t_n))|} |A_{t_n}(i_{\text{curl}} \times \mu)| $$

tends to zero as $t_n \to 1$, which implies that $A(i_{\text{curl}} \times \mu) = 0$ by continuity.

To see this, first observe that the Euler equation implies that

$$ i_{\text{curl}} \times \mu = \frac{1}{\alpha(X)} (X \cdot \text{curl } X) i_X \mu - \frac{1}{\alpha(X)} \alpha \wedge dB, $$

where we recall that $\alpha = i_X g$. This identity is proved using the fact that $\alpha \wedge d\alpha = (X \cdot \text{curl } X)\mu$, and

$$ i_X(\alpha \wedge i_{\text{curl}} \times \mu) = \alpha(X)i_{\text{curl}} \times \mu + \alpha \wedge dB. $$

Therefore, since the 2-chains $A_{t_n}$ are tangent to $X$, we have that

$$ \frac{1}{|\gamma(\sigma(t_n))|} \int_{A_{t_n}} i_{\text{curl}} \times \mu = \frac{-1}{|\gamma(\sigma(t_n))|} \int_{A_{t_n}} \frac{1}{\alpha(X)} \alpha \wedge dB. $$

To compute this integral, we introduce appropriate coordinates $(s, \tau)$ on the surface $A_{t_n}$. Using the flow $\phi_X^s$ of the vector field $X$, any point on $A_{t_n}$ can be described as $\phi_X^s(\sigma(\tau))$, with $\tau \in (0, t_n)$ and $s \in (0, s_0(\tau))$, where $s_0(\tau)$ is the time taken for the orbit $\gamma(\sigma(\tau))$ of $X$ to go from the entry $D_{-1}$ to the exit $D_1$. Accordingly, using the holonomic basis of fields $\{\partial_s, \partial_\tau\}$, noticing that any 1-form $\beta$ can be written as $\beta = \beta(\partial_s) ds + \beta(\partial_\tau) d\tau$, and that $X = \partial_s$ in these coordinates, the integral above can be written as

$$ \frac{1}{|\gamma(\sigma(t_n))|} \int_0^{t_n} \int_{\gamma(\sigma(\tau))} \frac{1}{\alpha(X)} (dB(X)\alpha(\partial_\tau) - dB(\partial_\tau)\alpha(X)) ds d\tau. $$

Now, since $B$ is a first integral of $X$, we have that $dB(X) = 0$ and $dB(\partial_\tau)$ does not depend on $s$, so we readily get

$$ \frac{1}{|\gamma(\sigma(t_n))|} \int_{A_{t_n}} i_{\text{curl}} \times \mu = \frac{-1}{|\gamma(\sigma(t_n))|} \int_0^{t_n} dB(\partial_\tau) \left( \int_{\gamma(\sigma(\tau))} ds \right) d\tau. $$

For any point $t_l \in [0, 1)$, there is a point $t_l^* \in [0, t_l]$ such that

$$ |\gamma(\sigma(t_l^*))| := \sup_{\tau \in [0, t_l]} |\gamma(\sigma(\tau))|. $$

Taking $n$ large enough, we can safely assume that $t_n > t_l$ and $|\gamma(\sigma(t_n))| > |\gamma(\sigma(t_l))|$. This can be used to write

$$ \begin{aligned} & \frac{1}{|\gamma(\sigma(t_n))|} \left| \int_{A_{t_n}} i_{\text{curl}} \times \mu \right| \\ & = \frac{1}{|\gamma(\sigma(t_n))|} \left| \int_0^{t_l} dB(\partial_\tau) \left( \int_{\gamma(\sigma(\tau))} ds \right) d\tau + \int_{t_l}^{t_n} dB(\partial_\tau) \left( \int_{\gamma(\sigma(\tau))} ds \right) d\tau \right| \\ & \le \frac{1}{\min_M |X|} \left( \frac{|\gamma(\sigma(t_l^*))|}{|\gamma(\sigma(t_n))|} |B(\sigma(t_l)) - B(\sigma(0))| + |B(\sigma(t_n) - B(\sigma(t_l)))| \right), \end{aligned} $$

where the minimum value of $|X|$ on $M$ is positive because $X$ is non-vanishing.
We claim that we can make the quantity on the right-hand side of the previous bound as small as we wish for $n$ large enough. Indeed, for any $\epsilon > 0$, there is $t_l \in (0, 1)$ close enough to 1 such that $|B(\sigma(t_l)) - B(\sigma(1))| \le \epsilon$, and there are infinitely many $t_n \in (t_l, 1)$ such that, on the one hand, $|B(\sigma(t_n)) - B(\sigma(1))| \le \epsilon$, and, on the other hand,

$$ \frac{|\gamma(\sigma(t_l^*))|}{|\gamma(\sigma(t_n))|} \le \epsilon $$

because $|\gamma(\sigma(t_n))| \to \infty$ as $n \to \infty$. Hence, for $n$ large enough,

$$ \frac{1}{|\gamma(\sigma(t_n))|} \left| \int_{A_{t_n}} i_{\text{curl}} \chi \mu \right| \le C\epsilon|B(\sigma(t_l)) - B(\sigma(0))| + 2\epsilon \le C\epsilon, $$

where $C$ is a constant that depends on $X$ and $B$, but not on $\epsilon$. Taking the limit $n \to \infty$, we infer that $|A(i_{\text{curl}} \chi \mu)| \le C\epsilon$ for any $\epsilon > 0$, thus proving the lemma. $\square$

**Remark 4.8.** A simple variation of the proof of Theorem 4.6 shows that a non-vanishing vector field $X$ (not necessarily volume-preserving) with a strongly adapted 1-form $\alpha$ (see Remark 2.7 and Theorem 5.6) cannot be constructed inserting plugs.

**Remark 4.9.** Theorem 4.6 implies that an Eulerizable flow cannot contain plugs with Reeb components. In fact it is easy to prove that, in general, a steady Euler flow cannot exhibit Reeb cylinders. A straightforward proof using Stokes's theorem is presented in [4, Lemma 2.3]; it can also be derived from Theorem 1.3 by constructing a sequence of 2-chains tangent to curl $X$ (on the Reeb cylinder) such that their boundaries converge to a foliated cycle of $X$.

## 5. Higher-dimensional Eulerizable flows

A steady Euler flow on an $n$-dimensional Riemannian manifold $(M, g)$ with volume form $\mu$ is a solution to the stationary Euler equations

$$ i_X d\alpha = -dB, \quad L_X \mu = 0, $$

where $\alpha := i_X g$ is the 1-form dual to $X$. Analogously to Definition 1.1, an *Eulerizable flow* in an $n$-dimensional manifold is a volume-preserving vector field that solves the stationary Euler equations for some Riemannian metric.

The 3-dimensional case is special in the sense that the vorticity can be defined as the vector field curl $X$ (i.e. $i_{\text{curl}} \chi \mu = d\alpha$). In higher dimensions $n > 3$, the vorticity is just the 2-form $d\alpha$, whose kernel has dimension $n - 2 > 1$. Keeping this is mind, all the results in previous sections can be readily generalized to closed manifolds of arbitrary dimension.

First, we have the following characterization of Eulerizable flows in terms of differential forms (see also Remark 2.7).

**LEMMA 5.1.** A non-vanishing volume-preserving vector field $X$ on a closed manifold $M$ of dimension $n \ge 2$ is Eulerizable if and only if there exists a 1-form $\alpha$ such that $\alpha(X) > 0$ and $i_X d\alpha$ is exact.

*Proof.* The proof is identical to that of the equivalence between items (i) and (ii) in Theorem 1.3. $\square$
For the $n$-dimensional homological characterization (cf. Theorem 1.3), the role of the vorticity vector field $Y$ is played by a 2-form. Accordingly, for a 2-form $\omega$, we introduce the following linear subspace of the space of 1-currents:

$$ \mathcal{F}_{\omega} := \{ \partial c : c \text{ is a 2-chain with } \int_{c} \omega = 0 \}. $$

**THEOREM 5.2.** A non-vanishing volume-preserving vector field $X$ on a closed $n$-dimensional manifold $M$ ($n \ge 3$) with trivial first cohomology group is Eulerizable if and only if there exists a (not identically zero) 2-form $\omega$ that is preserved by $X$ (i.e. $L_X \omega = 0$) and such that no sequence of elements in $\mathcal{F}_{\omega}$ can approximate a non-trivial foliation cycle of $X$ (i.e. $\overline{\mathcal{F}_{\omega}} \cap C_X = \{0\}$).

*Proof.* We argue exactly as in the proof of Theorem 1.3, replacing $\mathcal{F}_Y$ by $\mathcal{F}_{\omega}$. The ‘only if’ part follows by taking $\omega := di_X g$ (the assumption $H^1(M) = 0$ is not needed). As for the reverse implication, the condition $\overline{\mathcal{F}_{\omega}} \cap C_X = \{0\}$ allows us to find, by means of the Hahn-Banach theorem, a 1-form $\alpha$ satisfying $\alpha(X) > 0$ and $d\alpha = T\omega$ for some constant $T$. Since $L_X \omega = 0$ by hypothesis, we have that $L_X d\alpha = i_X d\alpha = T L_X \omega = 0$. Since $H^1(M) = 0$, we deduce that $T \ne 0$ and $i_X d\alpha$ is exact, and then we apply Lemma 5.1 to conclude that $X$ is Eulerizable. Observe that we do not need to assume that the form $\omega$ is closed; it follows a *posteriori* from the proof. $\square$

**Remark 5.3.** In Theorem 5.2, the assumption that $X$ is volume-preserving is only needed to apply Lemma 5.1. In particular, it is not used when showing the existence of the 1-form $\alpha$ such that $\alpha(X) > 0$ and $i_X d\alpha$ is exact. Accordingly, the proof of Theorem 5.2 also provides a characterization of the $n$-dimensional non-vanishing vector fields $X$ admitting a strongly adapted 1-form $\alpha$ in the sense of Tao (see Remark 2.7): such a 1-form exists if and only if there is a (non-trivial) 2-form $\omega$ such that $L_X \omega = 0$ and $\overline{\mathcal{F}_{\omega}} \cap C_X = \{0\}$ (actually, the assumption $H^1(M) = 0$ is needed only to prove the ‘if’ part).

Finally, plugs can also be defined in arbitrary dimension, by taking $D$ in Definition 4.1 to be a compact manifold with boundary of dimension $n-1$ (usually a ball) instead of a surface. We then have the following theorem.

**THEOREM 5.4.** *The vector field inside an $n$-dimensional plug* $(P, X)$, $n \ge 3$, is not Eulerizable.

*Proof.* Following the proof and notation of Theorem 4.6, we construct a sequence of 2-chains

$$ \frac{1}{|\gamma(\sigma(t))|} A_t, $$

which are tangent to $X$ and, moreover, converge to a 2-current $A$ whose boundary $\partial A$ is a foliation cycle of $X$. We now proceed by contradiction: we claim that if $X$ is a steady Euler flow, then $A(d\alpha) = 0$, where $\alpha := i_X g$ (i.e. $\partial A \in \mathcal{F}_{d\alpha}$). Since the Euler equations imply that $L_X d\alpha = 0$, this yields a contradiction with Theorem 5.2, so $X$ cannot be Eulerizable.

To show that $A(d\alpha) = 0$, we generalize the proof of Lemma 4.7 by using the following identity, satisfied by steady Euler flows in arbitrary dimensions:

$$ d\alpha = \frac{1}{\alpha(X)} i_X(\alpha \wedge d\alpha) - \frac{1}{\alpha(X)} \alpha \wedge dB. $$
Since $A_{t_n}$ are surfaces tangent to $X$, we have $A_{t_n}((1/\alpha(X))i_X(\alpha \wedge d\alpha)) = 0$ and

$$ \frac{1}{|\gamma(\sigma(t_n))|} \int_{A_{t_n}} d\alpha = \frac{-1}{|\gamma(\sigma(t_n))|} \int_{A_{t_n}} \frac{1}{\alpha(X)} \alpha \wedge dB. $$

Now the argument is the same, mutatis mutandis, as in the proof of Lemma 4.7, thus proving the claim.

Instead of arguing by contradiction, there is an alternative proof that involves showing that, for any 2-form $\omega$ such that $L_X\omega = 0$, we have $\partial A \in \mathcal{F}_\omega$. Indeed, as in the proof of Lemma 4.7, we introduce coordinates $(s, \tau)$ on the surface $A_{t_n}$, with $\tau \in (0, t_n)$ and $s \in (0, s_0(\tau))$, where $s_0(\tau)$ is the exit time of the orbit $\gamma(\sigma(\tau))$. For any 2-form $\omega$ we can write, in the holonomic basis $\{\partial_s, \partial_\tau\}$ of vector fields in $A_{t_n}$,

$$ \frac{1}{|\gamma(\sigma(t_n))|} \int_{A_{t_n}} \omega = \frac{1}{|\gamma(\sigma(t_n))|} \int_{A_{t_n}} \omega_{(s, \tau)}(\partial_s, \partial_\tau) ds d\tau. $$

Define the function $g(s, \tau) := \omega_{(s, \tau)}(\partial_s, \partial_\tau)$. Now the fact that $L_X\omega = 0$ and $[\partial_s, \partial_\tau] = 0$ imply that $(\partial/\partial s)g(s, \tau) = 0$, hence

$$ \frac{1}{|\gamma(\sigma(t_n))|} \int_{A_{t_n}} \omega = \frac{1}{|\gamma(\sigma(t_n))|} \int_0^{t_n} g(\tau) \left( \int_{\gamma(\sigma(\tau))} ds \right) d\tau. $$

Since $g(\tau)$ is uniformly bounded, arguing as in Lemma 4.7, this integral can be shown to be as small as one wishes, which implies that $A(\omega) = 0$. The ‘only if’ part of Theorem 5.2, which holds on any closed manifold, then implies that $X$ cannot be Eulerizable. $\square$

**Remark 5.5.** Observe that in the proof of Theorem 5.4 the volume-preserving hypothesis is not used. This yields the following result (see also Remark 5.3).

**THEOREM 5.6.** *The vector field inside an $n$-dimensional plug $(P, X)$ cannot admit a strongly adapted 1-form.*

*Proof.* In view of Theorem 5.4 and Remark 5.5, the vector field $X$ in a plug (not necessarily volume-preserving) has $\mathcal{F}_\omega \cap C_X \neq \{0\}$ for any 2-form $\omega$ with $L_X\omega = 0$. Hence, by Remark 5.3, it cannot admit any strongly adapted 1-form. $\square$

**Acknowledgements.** D.P-S. was supported by the ERC Starting Grant 335079, and the grants MTM2016-76702-P (MINECO/FEDER) and Europa Excelencia EUR2019-103821 (MCIU), and partially supported by the ICMAT-Several Ochoa grant SEV-2015-0554. F.T.L. acknowledges the financial support and hospitality of the Max Planck Institute for Mathematics. A.R. thanks the IdEx Unistra Investments for the Future program of the French government.

## A. Appendix. Some background on currents

To keep the paper self-contained, in this appendix we recall some fundamental facts about currents that we use throughout. We assume that the ambient manifold $M$ is closed, otherwise we have to consider forms that have compact support.

Consider the linear space $\Omega^k(M)$ of smooth $k$-forms on an $n$-dimensional manifold $M$. We endow this space with the topology induced by the family of norms $\| \cdot \|_{C^r(K)}$, $r \in \mathbb{N}$,
K a compact subset of M. By definition, this makes $\Omega^k(M)$ a locally convex topological vector space.

A $k$-current is a continuous linear functional $c: \Omega^k(M) \to \mathbb{R}$. We denote the linear space of $k$-currents by $\mathcal{Z}^k(M)$, and endow it with the weak topology, that is, the topology generated by the family of semi-norms $\|c\|_\alpha := |c(\alpha)|$, $\alpha \in \Omega^k(M)$. With this topology the space of $k$-currents is clearly a locally convex topological vector space.

Let $\omega$ be any smooth $k$-form. The following are the most important examples of $k$-currents appearing in our arguments.

(1) Dirac $k$-currents. For any point $p \in M$ and any set of linearly independent $k$ vectors $v_1, \dots, v_k \in T_p M$, we have the $k$-current

$$ \delta_p^{v_1, \dots, v_k}(\omega) := \omega_p(v_1, \dots, v_k). $$

(2) Singular $k$-chains acting by integration. Let $\Sigma$ be a singular $k$-chain. Then we have the $k$-current

$$ \Sigma(\omega) := \int_{\Sigma} \omega. $$

(3) Smooth $(n-k)$-forms. Let $\alpha$ be an $(n-k)$-form. Then we have the $k$-current

$$ \alpha(\omega) := \int_M \alpha \wedge \omega. $$

It is well known that the linear subspaces spanned by the currents of each of the above types are dense in the space of currents. The following properties of the space of $k$-currents are easily verified, and key to our arguments.

(1) $\mathcal{Z}^k$ is a Montel space, that is, the weak closure of a bounded subset is compact (this is also known as the Heine-Borel property). We recall that a bounded subset is a subset that is bounded with respect to every semi-norm (not necessarily in a uniform way).

(2) Linear continuous functionals on $\mathcal{Z}^k$ can be identified with smooth $k$-forms (this can be easily seen by considering the action of linear functionals on Dirac $k$-currents and their derivatives).

(3) The boundary operator $\partial: \mathcal{Z}^{k+1}(M) \to \mathcal{Z}^k(M)$, defined as

$$ \partial c(\omega) = c(d\omega) $$

for any $\omega \in \Omega^k(M)$, is continuous.

We finish by introducing two important norms on the space of currents: the mass $|\cdot|$ and the flat norm $F$ (already defined in §4.1). For $c \in \mathcal{Z}^k(M)$, we set

$$ |c| := \sup\{|c(\alpha)| : \|\alpha\|_{C^0} \le 1\}, $$

$$ F(c) := \min\{|a| + |b| : c = a + \partial b\}. $$

A current $c$ is normal if both $c$ and $\partial c$ have finite mass. For sequences of normal currents with bounded mass and boundaries of bounded mass, weak convergence and convergence in the flat norm are equivalent. We refer to [10] for more details.

## REFERENCES

[1] V. I. Arnold and B. A. Khesin. *Topological Methods in Hydrodynamics*. Springer, New York, 1998.

[2] R. Cardona, E. Miranda and D. Peralta-Salas. Euler flows and singular geometric structures. *Phil. Trans. R. Soc. A* **377** (2019), 0034.
[3] K. Cieliebak and E. Volkov. First steps in stable Hamiltonian topology. *J. Eur. Math. Soc. (JEMS)* **17** (2015), 321–404.

[4] K. Cieliebak and E. Volkov. A note on the stationary Euler equations of hydrodynamics. *Ergod. Th. & Dynam. Sys.* **37** (2017), 454–480.

[5] J. Etyyre and R. Ghrist. Contact topology and hydrodynamics I. *Nonlinearity* **13** (2000), 441–458.

[6] J. Etyyre and R. Ghrist. Contact topology and hydrodynamics II. *Ergod. Th. & Dynam. Sys.* **22** (2002), 819–833.

[7] V. Ginzburg and B. Khesin. Steady fluid flows and symplectic geometry. *J. Geom. Phys.* **14** (1994), 195–210.

[8] A. Izosimov and B. Khesin. Characterization of steady solutions to the 2D Euler equation. *Int. Math. Res. Not. IMRN* **2017** (2017), 7459–7503.

[9] G. Kuperberg. A volume-preserving counterexample to the Seifert conjecture. *Comment. Math. Helv.* **71** (1996), 70–97.

[10] F. Morgan. *Geometric Measure Theory*. Academic Press, Boston, 1988.

[11] D. Peralta-Salas. Selected topics on the topology of ideal fluid flows. *Int. J. Geom. Methods Mod. Phys.* **13** (2016), 1630012 (1–23).

[12] A. Rechtman. Use and disuse of plugs in foliations. *PhD Thesis*, ENS Lyon, 2009.

[13] A. Rechtman. Existence of periodic orbits for geodesible vector fields on closed 3-manifolds. *Ergod. Th. & Dynam. Sys.* **30** (2010), 1817–1841.

[14] B. Simon. *Convexity: An Analytic Viewpoint*. Cambridge University Press, Cambridge, 2011.

[15] D. Sullivan. Cycles for the dynamical study of foliated manifolds and complex manifolds. *Invent. Math.* **36** (1976), 225–255.

[16] D. Sullivan. A foliation of geodesics is characterized by having no tangent homologies. *J. Pure Appl. Algebra* **13** (1978), 101–104.

[17] T. Tao. On the universality of potential well dynamics. *Dyn. PDE* **14** (2017), 219–238.

[18] D. Tischler. On fibering certain foliated manifolds over $S^1$. *Topology* **9** (1970), 153–154.

[19] F. W. Wilson. On the minimal sets of non-singular vector fields. *Ann. of Math.* **(2)** **84** (1966), 529–536.