Top-Degree Global Solvability for Tube Complexes in Gevrey Ultradistributions

Technical Summary: Top-Degree Global Solvability for Tube Complexes in Gevrey Ultradistributions

Problem Statement
The paper investigates the global solvability of the top-degree operator in a differential complex associated with a tube structure on a product manifold $X = M \times \mathbb{T}^m$. Here, $M$ is a connected, non-compact, oriented real-analytic manifold of dimension $n$, and $\mathbb{T}^m$ is the $m$-dimensional torus. The structure is defined by a family of real-valued, closed 1-forms $\omega_1, \dots, \omega_m$ of Gevrey order $s > 1$ on $M$.

The differential complex is given by operators $L_q: \Lambda^{0,q} \to \Lambda^{0,q+1}$ defined as:
$$L_q u = dt u + \sum_{k=1}^m \omega_k \wedge \partial_{x_k} u$$
where $dt$ is the exterior derivative in the $M$-variable and $\partial_{x_k}$ acts on the torus variables. The authors focus on the top-degree operator $L_{n-1}$ acting on spaces of Gevrey ultradistributions $\mathcal{D}'_s$.

The central problem is to determine whether $L_{n-1}$ is globally surjective (globally solvable) on the non-compact manifold $X$. This is contrasted with the well-studied compact case, where global solvability is obstructed by topological constraints (compatibility conditions) and arithmetic properties of the periods of the defining forms (small-denominator conditions).

Methodology
The proof strategy avoids the traditional partial Fourier series approach in the torus variables, which typically leads to arithmetic conditions on the frequencies. Instead, the authors employ a "physical-space" approach combining geometric arguments with an abstract functional-analytic criterion.

1. Functional-Analytic Framework: The authors utilize a solvability criterion established by Araújo (2016). To prove that an operator $P$ is globally solvable in Gevrey ultradistributions, it suffices to verify three properties for its formal transpose $^tP$:

   • Injectivity on compactly supported Gevrey sections.
   • Non-confinement of Gevrey singularities (if $^tP u$ is Gevrey regular and $u$ is smooth with compact support, then $u$ is Gevrey regular).
   • $P$-convexity with respect to supports (control of the support of solutions to the adjoint equation).

2. Geometric Tools:

   • Fiber Translations: The authors use local Gevrey potentials for the closed forms $\omega_k$ to construct fiber translations. These translations conjugate the tube complex locally to the de Rham differential in the base variable, establishing a local normal form.
   • Transport Formula: A key component is a transport identity along paths in the base manifold $M$. For a path $\gamma$ in $M$, the value of a solution $u$ at a point $(\gamma(b), x)$ is related to its value at $(\gamma(a), x - A_\gamma(b))$ plus an integral of the source term along the path, where $A_\gamma$ represents the accumulation of the forms $\omega_k$ along the path.

3. Propagation Arguments:

   • Regularity Propagation: The transport formula demonstrates that Gevrey regularity on a single torus fiber propagates throughout the connected base manifold $M$.
   • Non-Confinement: The non-compactness of $M$ ensures that for any compactly supported function, there exists a fiber where the function vanishes. Combined with the transport formula, this implies that if the transpose operator maps a smooth compactly supported function to a Gevrey function, the original function must be Gevrey.
   • Support Control: By constructing a specific compact neighborhood $K^\sharp$ in $M$ such that all components of its complement are non-compact, the authors show that the support of a solution to the adjoint equation is controlled by the support of the data.

Key Contributions and Results

• Main Theorem (Theorem 4.11): The top-degree operator
  $$L_{n-1}: \Lambda^{0,n-1}\mathcal{D}'_s(M \times \mathbb{T}^m) \to \Lambda^{0,n}\mathcal{D}'_s(M \times \mathbb{T}^m)$$
  is globally solvable in Gevrey ultradistributions. Equivalently, the top-degree cohomology of the Gevrey ultradistribution complex vanishes.
• Absence of Arithmetic Conditions: Unlike the compact setting, this result requires no global hypoellipticity assumption on $L_0$ and no Diophantine or exponential-Liouville conditions on the periods of the forms $\omega_k$. The solvability holds for any connected, non-compact, oriented real-analytic base $M$.
• Mechanism of Solvability: The non-compactness of $M$ provides the necessary support properties (specifically, the existence of fibers where compactly supported functions vanish) that allow for unrestricted surjectivity. This contrasts sharply with the compact case, where solvability is restricted to data orthogonal to the kernel of the transpose and often fails due to exponentially small denominators.
• Regularity vs. Solvability: The paper highlights a distinction between global regularity (hypoellipticity) and global solvability. While global hypoellipticity of $L_0$ on non-compact manifolds may still depend on arithmetic properties of $\omega$, the global solvability of the top-degree operator $L_{n-1}$ does not.

Significance
The paper establishes a sharp contrast between the compact and non-compact settings for tube complexes. In the compact case, solvability is fragile, depending on the arithmetic nature of the defining forms and requiring compatibility conditions. In the non-compact case, the top-degree operator is robustly globally solvable in the Gevrey ultradistribution setting.

The authors claim that their proof, which relies on physical-space transport and fiber translations rather than Fourier analysis, explains why arithmetic obstructions do not appear in the statement of the main result. This provides a new perspective on global solvability for involutive structures, demonstrating that the topological property of non-compactness is sufficient to overcome the analytic difficulties usually associated with small denominators in the top degree.