Let $\eta $ be [-11pc] [-7pc]a closed real 1-form on a closed Riemannian n-manifold $(M,g)$. Let $d_z$, $\delta _z$ and $\Delta _z$ be the induced Witten’s type perturbations of the de Rham derivative and coderivative and the Laplacian, parametrized by $z=\mu +i\nu \in \mathbb C$ ($\mu ,\nu \in \mathbb {R}$, $i=\sqrt {-1}$). Let $\zeta (s,z)$ be the zeta function of $s\in \mathbb {C}$, defined as the meromorphic extension of the function $\zeta (s,z)=\operatorname {Str}({\eta \wedge }\,\delta _z\Delta _z^{-s})$ for $\Re s\gg 0$. We prove that $\zeta (s,z)$ is smooth at $s=1$ and establish a formula for $\zeta (1,z)$ in terms of the associated heat semigroup. For a class of Morse forms, $\zeta (1,z)$ converges to some $\mathbf {z}\in \mathbb {R}$ as $\mu \to +\infty $, uniformly on $\nu $. We describe $\mathbf {z}$ in terms of the instantons of an auxiliary Smale gradient-like vector field X and the Mathai–Quillen current on $TM$ defined by g. Any real 1-cohomology class has a representative $\eta $ satisfying the hypothesis. If n is even, we can prescribe any real value for $\mathbf {z}$ by perturbing g, $\eta $ and X and achieve the same limit as $\mu \to -\infty $. This is used to define and describe certain tempered distributions induced by g and $\eta $. These distributions appear in another publication as contributions from the preserved leaves in a trace formula for simple foliated flows, giving a solution to a problem stated by C. Deninger.

Aromatic B-series were introduced as an extension of standard Butcher-series for the study of volume-preserving integrators. It was proven with their help that the only volume-preserving B-series method is the exact flow of the differential equation. The question was raised whether there exists a volume-preserving integrator that can be expanded as an aromatic B-series. In this work, we introduce a new algebraic tool, called the aromatic bicomplex, similar to the variational bicomplex in variational calculus. We prove the exactness of this bicomplex and use it to describe explicitly the key object in the study of volume-preserving integrators: the aromatic forms of vanishing divergence. The analysis provides us with a handful of new tools to study aromatic B-series, gives insights on the process of integration by parts of trees, and allows to describe explicitly the aromatic B-series of a volume-preserving integrator. In particular, we conclude that an aromatic Runge–Kutta method cannot preserve volume.

O-minimal geometry generalizes both semialgebraic and subanalytic geometries, and has been very successful in solving special cases of some problems in arithmetic geometry, such as André–Oort conjecture. Among the many tools developed in an o-minimal setting are cohomology theories for abstract-definable continuous manifolds such as singular cohomology, sheaf cohomology and Čech cohomology, which have been used for instance to prove Pillay’s conjecture concerning definably compact groups. In the present thesis we elaborate an o-minimal de Rham cohomology theory for abstract-definable $C^{\infty }$ manifolds in an o-minimal expansion of the real field which admits smooth cell decomposition and defines the exponential function. We can specify the o-minimal cohomology groups and attain some properties such as the existence of Mayer–Vietoris sequence and the invariance under abstract-definable $C^{\infty }$ diffeomorphisms. However, in order to obtain the invariance of our o-minimal cohomology under abstract-definable homotopy we must work in a tame context that defines sufficiently many primitives and assume the validity of a statement related to Bröcker’s question.

Abstract prepared by Rodrigo Figueiredo.

E-mail: rodrigo@ime.usp.br

URL: https://doi.org/10.11606/T.45.2019.tde-28042019-181150

We establish a formula for the variation of integrals of differential forms on cubic chains in the context of diffeological spaces. Then we establish the diffeological version of Stokes’ theorem, and we apply that to get the diffeological variant of the Cartan–Lie formula. Still in the context of Cartan–De Rham calculus in diffeology, we construct a chain-homotopy operator $K$, and we apply it here to get the homotopic invariance of De Rham cohomology for diffeological spaces. This is the chain-homotopy operator that is used in symplectic diffeology to construct the moment map.