Source author record

Jonas Deré

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

12works
7topics
4close collaborators

Published work

12 publications

preprint2024arXiv

On post-Lie algebras structures coming from simply transitive NIL-affine actions

Given a simply connected solvable Lie group GG, there always exists NIL-affine action ρ:G→Aff⁡(H)ρ: G \to \operatorname{Aff}(H) on a nilpotent Lie group HH such that GG acts simply transitively. The question whether this is always possible for H=RnH = \mathbb{R}^n abelian was known as Milnor's question, with a negative answer due to a counterexample of Benoist. This counterexample is based on a correspondence between certain affine actions ρ:G→Aff⁡(Rn)ρ: G \to \operatorname{Aff}(\mathbb R^n) and left-symmetric structures on the corresponding Lie algebra g\mathfrak g of GG, where simply transitive actions correspond exactly to the so-called complete left-symmetric structures. In general however, the question remains open which solvable Lie groups GG can act on which nilpotent Lie groups HH. A natural candidate for a correspondence on the Lie algebra level is the notion of post-Lie algebra structures, which form the natural generalization of left-symmetric structures. In this paper, we show that every simply transitive NIL-affine action of GG on a nilpotent Lie group HH indeed induces a post-Lie algebra structure on the pair of Lie algebras (g,h)(\mathfrak g,\mathfrak h). Moreover, we discuss a new notion of completeness for these structures in the case that h\mathfrak h is 22-step nilpotent, equivalent but different from the known definition for H=RnH = \mathbb R^n. We then show that simply transitive actions exactly correspond to complete post-Lie algebra structures in the 22-step nilpotent case. However, the questions how to define completeness in higher nilpotency classes remains open, as we illustrate with an example in the 33-step nilpotent case.

preprint2022arXiv

Classification of KK-forms in nilpotent Lie algebras associated to graphs

Given a simple undirected graph, one can construct from it a cc-step nilpotent Lie algebra for every c≥2c \geq 2 and over any field KK, in particular also over the real and complex numbers. These Lie algebras form an important class of examples in geometry and algebra, and it is interesting to link their properties to the defining graph. In this paper, we classify the isomorphism classes of KK-forms in these real and complex Lie algebras for any subfield K⊂CK \subset \mathbb{C} from the structure of the graph. As an application, we show that the number of rational forms up to isomorphism is always one or infinite, with the former being true if and only if the group of graph automorphisms is generated by transpositions.

preprint2022arXiv

Survey on effective separability

Separability for groups refers to the question which subsets of a group can be detected in its finite quotients. Classically, separability is studied in terms of which classes have a certain separability property, and this question is related to algorithmic problems in groups such as the word problem. A more recent perspective tries to study the order of the smallest finite quotient in which one detects the subset under consideration depending on its complexity, measured using the word norm on a finitely generated group. In this survey, we present what is currently known in the field of effective separability and give an overview of the open questions for several classes of groups.

preprint2021arXiv

On closed manifolds admitting an Anosov diffeomorphism but no expanding map

A few years ago, the first example of a closed manifold admitting an Anosov diffeomorphism but no expanding map was given. Unfortunately, this example is not explicit and is high-dimensional, although its exact dimension is unknown due to the type of construction. In this paper, we present a family of concrete 12-dimensional nilmanifolds with an Anosov diffeomorphism but no expanding map, where nilmanifolds are defined as the quotient of a 1-connected nilpotent Lie group by a cocompact lattice. We show that this family has the smallest possible dimension in the class of infra-nilmanifolds, which is conjectured to be the only type of manifolds admitting Anosov diffeomorphisms up to homeomorphism. The proof shows how to construct positive gradings from the eigenvalues of the Anosov diffeomorphism under some additional assumptions related to the rank, using the action of the Galois group on these algebraic units.

preprint2020arXiv

Anosov diffeomorphisms on infra-nilmanifolds associated to graphs

Anosov diffeomorphisms on closed Riemannian manifolds are a type of dynamical systems exhibiting uniform hyperbolic behavior. Therefore their properties are intensively studied, including which spaces allow such a diffeomorphism. It is conjectured that any closed manifold admitting an Anosov diffeomorphism is homeomorphic to an infra-nilmanifold, i.e. a compact quotient of a 1-connected nilpotent Lie group by a discrete group of isometries. This conjecture motivates the problem of describing which infra-nilmanifolds admit an Anosov diffeomorphism. So far, most research was focused on the restricted class of nilmanifolds, which are quotients of 1-connected nilpotent Lie groups by uniform lattices. For example, Dani and Mainkar studied this question for the nilmanifolds associated to graphs, which form the natural generalization of nilmanifolds modeled on free nilpotent Lie groups. This paper further generalizes their work to the full class of infra-nilmanifolds associated to graphs, leading to a necessary and sufficient condition depending only on the induced action of the holonomy group on the defining graph. As an application, we construct families of infra-nilmanifolds with cyclic holonomy groups admitting an Anosov diffeomorphism, starting from faithful actions of the holonomy group on simple graphs.

preprint2020arXiv

Orthogonal bi-invariant complex structures on metric Lie algebras

This paper studies how many orthogonal bi-invariant complex structures exist on a metric Lie algebra over the real numbers. Recently, it was shown that irreducible Lie algebras which are additionally 22-step nilpotent admit at most one orthogonal bi-invariant complex structure up to sign. The main result generalizes this statement to metric Lie algebras with any number of irreducible factors and which are not necessarily 22-step nilpotent. It states that there are either 00 or 2k2^k such complex structures, with kk the number of irreducible factors of the metric Lie algebra. The motivation for this problem comes from differential geometry, for instance to construct non-parallel Killing-Yano 22-forms on nilmanifolds or to describe the compact Chern-flat quasi-Kähler manifolds. The main tool we develop is the unique orthogonal decomposition into irreducible factors for metric Lie algebras with no non-trivial abelian factor. This is a generalization of a recent result which only deals with nilpotent Lie algebras over the real numbers. Not only do we apply this fact to describe the orthogonal bi-invariant complex structures on a given metric Lie algebra, but it also gives us a method to study different inner products on a given Lie algebra, computing the number of irreducible factors and orthogonal bi-invariant complex structures for varying inner products.

preprint2020arXiv

Simply transitive NIL-affine actions of solvable Lie groups

Every simply connected and connected solvable Lie group GG admits a simply transitive action on a nilpotent Lie group HH via affine transformations. Although the existence is guaranteed, not much is known about which Lie groups GG can act simply transitive on which Lie groups HH. So far the focus was mainly on the case where GG is also nilpotent, leading to a characterization depending only on the corresponding Lie algebras and related to the notion of post-Lie algebra structures. This paper studies two different aspects of this problem. First, we give a method to check whether a given action ρ:G→Aff⁡(H)ρ: G \to \operatorname{Aff}(H) is simply transitive by looking only at the induced morphism φ:g→aff⁡(h)φ: \mathfrak{g} \to \operatorname{aff}(\mathfrak{h}) between the corresponding Lie algebras. Secondly, we show how to check whether a given solvable Lie group GG acts simply transitive on a given nilpotent Lie group HH, again by studying properties of the corresponding Lie algebras. The main tool for both methods is the semisimple splitting of a solvable Lie algebra and its relation to the algebraic hull, which we also define on the level of Lie algebras. As an application, we give a full description of the possibilities for simply transitive actions up to dimension 44.

preprint2016arXiv

Gradings on Lie algebras with applications to infra-nilmanifolds

In this paper, we study positive as well as non-negative and non-trivial gradings on finite dimensional Lie algebras. We give a different proof that the existence of such a grading on a Lie algebra is invariant under taking field extensions, a result very recently obtained by Y. Cornulier. Similarly, we prove that given a grading of one these types and a finite group of automorphisms, there always exist a positive grading which is preserved by this group. From these results we conclude that the existence of an expanding map or a non-trivial self-cover on an infra-nilmanifold depends only on the covering Lie group. Another application is the construction of a nilmanifold admitting an Anosov diffeomorphism but no non-trivial self-covers and in particular no expanding maps, which is the first known example of this type.

preprint2015arXiv

A new method for constructing Anosov Lie algebras

It is conjectured that every manifold admitting an Anosov diffeomorphism is, up to homeomorphism, finitely covered by a nilmanifold. Motivated by this conjecture, an important problem is to determine which nilmanifolds admit an Anosov diffeomorphism. The main theorem of this article gives a general method for constructing Anosov diffeomorphisms on nilmanifolds. As a consequence, we give counterexamples to a corollary of the classification of low-dimensional nilmanifolds with Anosov diffeomorphisms and a correction to this statement is proven. This method also answers some open questions about the existence of Anosov diffeomorphisms which are minimal in some sense.

preprint2015arXiv

Periodic and eventually periodic points of affine infra-nilmanifold endomorphisms

In this paper, we study the periodic and eventually periodic points of affine infra-nilmanifold endomorphisms. On the one hand, we give a sufficient condition for a point of the infra-nilmanifold to be (eventually) periodic. In this way we show that if an affine infra-nilmanifold endomorphism has a periodic point, then its set of periodic points forms a dense subset of the manifold. On the other hand, we deduce a necessary condition for eventually periodic points from which a full description of the set of eventually periodic points follows for an arbitrary affine infra-nilmanifold endomorphism.

preprint2014arXiv

Existence of Anosov diffeomorphisms on infra-nilmanifolds modeled on free nilpotent Lie groups

An infra-nilmanifold is a manifold which is constructed as a quotient space Γ\GΓ\backslash G of a simply connected nilpotent Lie group GG, where ΓΓ is a discrete group acting properly discontinuously and cocompactly on GG via so called affine maps. The manifold Γ\GΓ\backslash G is said to be modeled on the Lie group GG. This class of manifolds is conjectured to be the only class of closed manifolds allowing an Anosov diffeomorphism. However, it is far from obvious which of these infra--nilmanifolds actually do admit an Anosov diffeomorphism. In this paper we completely solve this question for infra-nilmanifolds modeled on a free cc--step nilpotent Lie group.

preprint2014arXiv

Expanding maps and non-trivial self-covers on infra-nilmanifolds

Every expanding map on a closed manifold is topologically conjugate to an expanding map on an infra-nilmanifold, but not every infra-nilmanifold admits an expanding map. In this article we give a complete algebraic characterization of the infra-nilmanifolds admitting an expanding map. We show that, just as in the case of Anosov diffeomorphisms, the existence of an expanding map depends only on the rational holonomy representation of the infra-nilmanifold. A similar characterization is also given for the infra-nilmanifolds with a non-trivial self-cover, which corresponds to determining which almost-Bieberbach groups are co-Hopfian. These results provide many new examples of infra-nilmanifolds without non-trivial self-covers or expanding maps.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.