In this paper, we prove contact Poincaré and Sobolev inequalities in Heisenberg groups $\mathbb{H}^{n}$, where the word ‘contact’ is meant to stress that de Rham’s exterior differential is replaced by the exterior differential of the so-called Rumin complex $(E_{0}^{\bullet },d_{c})$, which recovers the scale invariance under the group dilations associated with the stratification of the Lie algebra of $\mathbb{H}^{n}$. In addition, we construct smoothing operators for differential forms on sub-Riemannian contact manifolds with bounded geometry, which act trivially on cohomology. For instance, this allows us to replace a closed form, up to adding a controlled exact form, with a much more regular differential form.

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.

We show that higher order invariants of smooth functions can be written as linear combinations of full invariants times iterated integrals. The non-uniqueness of such a presentation is captured in the kernel of the ensuing map from the tensor product. This kernel is computed explicitly. As a consequence, higher order invariants form a free module of the algebra of full invariants.

We study the local symplectic algebra of curves. We use the method of algebraic restrictions to classify symplectic T7, T8 singularities. We define discrete symplectic invariants (the Lagrangian tangency orders) and compare them with the index of isotropy. We use these invariants to distinguish symplectic singularities of classical T7 singularity. We also give the geometric description of symplectic classes of the singularity.

This paper deals with 3-forms on six-dimensional manifolds, the first dimension where the classification of 3-forms is not trivial. It includes three classes of multisymplectic 3-forms. We study the class which is closely related to almost complex structures.

We give a formula for the character of the representation of the symmetric group Sn on each isotypic component of the cohomology of the set of regular elements of a maximal torus of SLn, with respect to the action of the centre.