Related papers: Positive characteristic Poincar\'e Lemma

This is a paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In two previous papers, we develop the basic theory of formal manifolds,…

The Poincar\'{e} lemma (or Volterra theorem) is of utmost importance both in theory and in practice. It tells us every differential form which is closed, is locally exact. In other words, on a contractible manifold all closed forms are…

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.

We compare modular forms of characteristic $p>0$ (i.e. Drinfeld's modular forms) and automorphic forms. We prove that spaces of these modular forms (which are of characteristic $p$) can be described by function spaces of characteristic…

In this paper we study the cohomology of the de Rham complex of sheaves of reflexive differential forms on a normal complex space. First, we prove that the complex is exact in degree one under suitable conditions on the underlying…

We consider the problem of defining polynomials over function fields of positive characteristic. Among other results, we show that the following assertions are true. 1. Let $\G_p$ be an algebraic extension of a field of $p$ elements and…

We prove a Poincare lemma for a set of r smooth functions on a 2n-dimensional smooth manifold satisfying a commutation relation determined by r singular vector fields associated to a Cartan subalgebra of $\frak{sp}(2r,\mathbb R)$. This…

For pseudoconvex abstract CR manifolds, the validity of the Poincare Lemma for (0,1) forms implies local embeddability in C^N. The two properties are equivalent for hypersurfaces of real dimension > or = 5. As a corollary we obtain a…

In this paper we revisit a Poincare lemma for foliated forms, with respect to a regular foliation, and compute the foliated cohomology for local models of integrable systems with singularities of nondegenerate type. A key point in this…

Le Stum and Quir\'os proved the formal Poincar\'e lemma in crystalline cohomology of higher level using the jet complex, and applied it to give a de Rham interpretation of this cohomology. In this article, we prove the logarithmic version…

Let $K$ be a field of characteristic zero. We deal with the algebraic closure of the field of fractions of the ring of formal power series $K[[x_1,\ldots,x_r]]$, $r\geq 2$. More precisely, we view the latter as a subfield of an iterated…

Real-valued differential forms on Berkovich analytic spaces were introduced by Chambert-Loir and Ducros in 'Formes diff\'erentielles r\'eelles et courants sur les espaces de Berkovich' using superforms on polyhedral complexes. We prove a…

A geometric version of the Poincar\'e Lemma is established for the topological vector space of differential chains. In particular, every differential k-cycle with compact support in a contractible open subset U of a smooth n-manifold M is…

Let G be a semisimple group over an algebraically closed field of characteristic p>0. We give a (partly conjectural) simple, closed formula for the character of many indecomposable tilting rational G-modules, assuming that p is large.

We show that the Poincar\'e lemma we proved elsewhere in the context of crystalline cohomology of higher level behaves well with regard to the Hodge filtration. This allows us to prove the Poincar\'e lemma for transversal crystals of level…

For a field $E$ of characteristic different from $2$ and cohomological $2$-dimension one, quadratic forms over the rational function field $E(X)$ are studied. A characterisation in terms of polynomials in $E[X]$ is obtained for having that…

Let $R=k[x_1,..., x_n]$ be a polynomial ring over a field $k$ of characteristic $p>0,$ and let $I=(f_1,...,f_s)$ be an ideal of $R.$ We prove that every associated prime $P$ of $H^i_I(R)$ satisfies $\text{dim}R/P\geqslant…

Let E be a cyclic extension of pth-power degree of a field F of characteristic p. For all m, s in N, we determine K_mE/p^sK_mE as a (Z/p^sZ)[Gal(E/F)]-module. We also provide examples of extensions for which all of the possible nonzero…

Using a mathematical framework which provides a generalization of the de Rham complex (well-designed for p-form gauge fields), we study the gauge structure and duality properties of theories for free gauge fields transforming in arbitrary…

For an algebraically closed field $K$ of characteristic zero and a non-singular matrix $A\in \mbox{GL}_n(K)$, a semi-invariant polynomial of $A$ is defined to be a polynomial $p(x)=p(x_1,\dots,x_n)$ with coefficients in $K$ such that…