Related papers: Lemma Poincar\'e for L_infty,loc - forms
A theorem of Lurie and Pridham establishes a correspondence between formal moduli problems and differential graded Lie algebras in characteristic zero, thereby formalising a well-known principle in deformation theory. We introduce a variant…
It is shown that the $p$-Poincar\'e inequality holds on an open set $\Omega$ in $\mathbb{R}^n$ if and only if the strict $p$-capacitary inradius of $\Omega$ is finite. To that end, new upper and lower bounds for the infimum for the…
We define extension $\infty$-categories for exact $\infty$-categories in terms of bifibrations. Extension $\infty$-categories are invariant when passing to the stable hull, and consequently we show that they form an $\Omega$-spectrum,…
We prove that every continuous map acting on the four-dimensional Minkowski space and preserving light cones in one direction only is either a Poincar\'e similarity, that is, a product of a Lorentz transformation and a dilation, or it is of…
Our first purpose is to study the stability of linear flows on real, connected, compact, semisimple Lie groups. After, we study and classify periodic orbits of linear and invariant flows. In particular, we obtain a version of…
Poincar\'e's Polyhedron Theorem is a widely known valuable tool in constructing manifolds endowed with a prescribed geometric structure. It is one of the few criteria providing discreteness of groups of isometries. This work contains a…
We give a complete classification of all simple current modular invariants, extending previous results for $(\Zbf_p)^k$ to arbitrary centers. We obtain a simple explicit formula for the most general case. Using orbifold techniques to this…
We consider $\kappa$-deformed relativistic quantum phase space and possible implementations of the Lorentz algebra. There are two ways of performing such implementations. One is a simple extension where the Poincar\'e algebra is unaltered,…
In this paper we prove that the space $\cM(n,\rv,D,\Lambda):=\{(M^n,g) \text{ closed }: ~~\Ric\ge -(n-1),~\Vol(M)\ge \rv>0, \diam(M)\le D \text{ and } \int_{M}|\Rm|^{n/2}\le \Lambda\}$ has at most $C(n,\rv,D,\Lambda)$ many diffeomorphism…
In this article, $X$ will denote a ${\cal C}^{\infty}$ manifold. In a very famous article, Kontsevich showed that the differential graded Lie algebra (DGLA) of polydifferential operators on $X$ is formal. Calaque extended this theorem to…
We show that any second order linear ordinary diffrential equation with constant coefficients (including the damped and undumped harmonic oscillator equation) admits an exact discretization, i.e., there exists a difference equation whose…
It is shown that the Poincar\'e-Birkhoff fixed point theorem may be proven by extending the geometric approach originally devised by Henri Poincar\'e himself, along with several results from elementary differential topology. Beginning with…
Using linear forms in logarithms we prove an explicit result of Andr\'e-Oort type for $\mathbb{P}^1(\mathbb{C}) \times \mathbb{G}_m(\mathbb{C})$. In this variation the special points of $\mathbb{P}^1(\mathbb{C}) \times…
In this paper we present a new approach to Morse theory based on the de Rham-Federer theory of currents. The full classical theory is derived in a transparent way. The methods carry over uniformly to the equivariant and the holomorphic…
We show that any functor between $\infty$-categories can be straightened. More precisely, we show that for any $\infty$-category $\mathcal{C}$, there is an equivalence between the $\infty$-category $(\mathrm{Cat}_{\infty})_{/\mathcal{C}}$…
Following the techniques of [4], we formulate a Normal Form Lemma suited to close to be integrable Hamiltonian systems where not all the coordinates are action angles. The Lemma turns to be useful in the theory of KAM tori of…
In this paper consisting of two parts, we study the integral of a logarithmic differential form on a compact semi-algebraic set in R^n or C^n. In Part I, we prove the convergence of the integral when the semi-algebraic set satisfies…
Morrill and Valentin in the paper "Computational coverage of TLG: Nonlinearity" considered an extension of the Lambek calculus enriched by a so-called "exponential" modality. This modality behaves in the "relevant" style, that is, it allows…
Using the general theory of [10] ( hep-th 9412058 ), quantum Poincar\'e groups (without dilatations) are described and investigated. The description contains a set of numerical parameters which satisfy certain polynomial equations. For most…
We single out a class of Lagrangians on a group manifold, for which one can introduce non-canonical coordinates in the phase space, which simplify the construction of the Poisson structure without explicitly calculating the Dirac bracket.…