Related papers: Poincar\'e's lemma for formal manifolds

The definition of a non-trivial space of generalized functions of a complex variable allowing to consider derivatives of continuous functions is a non-obvious task, e.g. because of Morera theorem, because distributional Cauchy-Riemann…

The theory of intersection spaces assigns cell complexes to certain stratified topological pseudomanifolds depending on a perversity function in the sense of intersection homology. The main property of the intersection spaces is Poincar\'e…

Intersection cohomology is a way to enhance classical cohomology, allowing us to use a famous result called Poincar\'e duality on a large class of spaces known as stratified pseudomanifolds. There is a theoretically powerful way to arrive…

We show that every closed L_infty,loc - form on R^n is exact. Differential is understood in the sense of currents. The proof does not use any explicit geometric constructions. De Rham theorem follows.

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\'e-Oort conjecture. Among the many tools developed in…

We will introduce formal frames of manifolds, which are a generalization of ordinary frames. Their fundamental properties are discussed. In particular, canonical forms are introduced, and torsions are defined in terms of them as a…

Grothendieck has proved that each class in the de Rham cohomology of a smooth complex affine variety can be represented by a differential form with polynomial coefficients. After having proved a single exponential bound for the degrees of…

We produce examples of generalized complex structures on manifolds by generalizing results from symplectic and complex geometry. We produce generalized complex structures on symplectic fibrations over a generalized complex base. We study in…

We present a new multisymplectic framework for second-order classical field theories which is based on an extension of the unified Lagrangian-Hamiltonian formalism to these kinds of systems. This model provides a straightforward and simple…

An important combinatorial result in equivariant cohomology and $K$-theory Schubert calculus is represented by the formulas of Billey and Graham-Willems for the localization of Schubert classes at torus fixed points. These formulas work…

In this paper we generalise the notion of Drinfeld modular form for the group $\Gamma$ := GL2(Fq[$\theta$]) to a vector-valued setting, where the target spaces are certain modules over positive characteristic Banach algebras over which are…

We present a study on the integral forms and their Cech/de Rham cohomology. We analyze the problem from a general perspective of sheaf theory and we explore examples in superprojective manifolds. Integral forms are fundamental in the theory…

This is a preliminary version of a book on infinite-dimensional Lie groups. It covers the basics of calculus and manifolds in the context of locally convex spaces, based on Bastiani's notion of a smooth map. Starting from this concept, we…

In the present paper, we study harmonic mappings of complete Riemannian manifolds, as well as minimal and stable minimal submanifolds of complete Riemannian manifolds. We examine classical theorems in the theory of these manifolds from the…

We introduce the notion of a manifold admitting a simple compact Cartan 3-form $\om^3$. We study algebraic types of such manifolds specializing on those having skew-symmetric torsion, or those associated with a closed or coclosed 3-form…

The simplices and the complexes arsing form the grading of the fundamental (desymmetrized) domain of arithmetical groups and non-arithmetical groups, as well as their extended (symmetrized) ones are described also for oriented manifolds in…

This article is a contribution to the domain of (convergent) deformation quantization of symmetric spaces by use of Lie groups representation theory. We realize the regular representation of $SL(2,\R)$ on the space of smooth functions on…

We give complete geometric invariants of cobordisms of framed fold maps. These invariants consist of two types. We take the immersion of the fold singular set into the target manifold together with information about non-triviality of the…

We prove that algebraic de Rham cohomology as a functor defined on smooth $\mathbb{F}_p$-algebras is formally \'etale in a precise sense. This result shows that given de Rham cohomology, one automatically obtains the theory of crystalline…

Using the language and terminology of relative homological algebra, in particular that of derived functors, we introduce equivariant cohomology over a general Lie-Rinehart algebra and equivariant de Rham cohomology over a locally trivial…