Related papers: Engel theorem through singularities

In this paper, we discuss a generalization of log canonical singularities in the non-$\mathbb{Q}$-Gorenstein setting. We prove that if a normal complex projective variety has a non-invertible polarized endomorphism, then it has log…

We generalize Siegel's theorem on integral points on affine curves to integral points of bounded degree, giving a complete characterization of affine curves with infinitely many integral points of degree d or less over some number field.…

In this paper, we prove a similar result to the fundamental theorem of regular surfaces in classical differential geometry, which extends the classical theorem to the entire class of singular surfaces in Euclidean 3-space known as frontals.…

We classify complex surfaces $(M,\,J)$ admitting Engel structures $\mathcal{D}$ which are complex line bundles. Namely we prove that this happens if and only if $(M,\,J)$ has trivial Chern classes. We construct examples of such Engel…

Using the theory of exterior differential systems, we study the existence of germ of pseudo-holomorphic disk in a real analytic hypersurface locally defined in a complex manifold equipped with J a real analytic almost complex structure. The…

In a recent study of Engel Lie rings, Serena Cicalo` and Willem de Graaf have given a practical set of conditions for an additively finitely generated Lie ring L to satisfy an Engel condition. We present a simpler and more direct proof of…

We prove Cuntz-Krieger and graded uniqueness theorems for Steinberg algebras. We also show that a Steinberg algebra is basically simple if and only if its associated groupoid is both effective and minimal. Finally we use results of…

We discuss the theory of Lie algebras in Lean's Mathlib library. Using nilpotency as the theme, we outline a computer formalisation of Engel's theorem and an application to root space theory. We emphasise that all arguments work with…

We prove a converse theorem for split even special orthogonal groups over finite fields. This is the only case left on converse theorems of split classical groups and the difficulty is the existence of the outer automorphism. In this paper,…

We enumerate the singular algebraic curves in a complete linear system on a smooth projective surface. The system must be suitably ample in a rather precise sense. The curves may have up to eight nodes, or a triple point of a given type and…

We construct normal forms for Lorentzian metrics on Engel distributions under the assumption that abnormal curves are timelike future directed Hamiltonian geodesics. Then we indicate some cases in which the abnormal timelike future directed…

A differential form vanishing on the tangent space at smooth points of a reduced embedded analytic germ is called conormal. For proving that a conormal one--form of a hypersurface vanishes at its singularities we state a Bertini--type…

We introduce the jet schemes of a holomorphic foliation, and thereby prove an alternate characterisation of simple singularities of codimension-$1$ foliations, independent of any normal form. This leads to an equivalent condition for the…

The classic Schneider-Lang theorem in transcendence theory asserts that there are only finitely many points at which algebraically independent complex meromorphic functions of finite order of growth can simultaneously take values in a…

The paper studies nilpotent $n$-Lie superalgebras. More specifically speaking, we first prove Engel's theorem for $n$-Lie superalgebras. Second, we research some properties of nilpotent $n$-Lie superalgebras, Finally, we give several…

In his groundbreaking work on classification of singularities with regard to right and stable equivalence of germs, Arnold has listed normal forms for all isolated hypersurface singularities over the complex numbers with either modality…

The aim of this paper is to extend basic understanding of Engel structures through developing geometric constructions which are canonical to a certain degree and the dynamics of Cauchy characteristics in the transverse spaces which may…

We consider some variations on the classical method of Runge for effectively determining integral points on certain curves. We first prove a version of Runge's theorem valid for higher-dimensional varieties, generalizing a uniform version…

We prove a general divisibility theorem that implies, e.g., that, in any group, the number of generating pairs (as well as triples, etc.) is a multiple of the order of the commutator subgroup. Another corollary says that, in any associative…

A question of B. Teissier, inspired by a previous problem of R. Thom, asks whether for any germ of complex analytic hypersurface there exists a germ of complex algebraic hypersurface with the same topological type. Up to now only the case…