arXiv subjects
Publications and source records attributed to Michael Jablonski.
Using tools from the geometry of Einstein solvmanifolds, we give a geometric argument that a semi-simple Lie algebra (of non-compact type) is completely determined by its Iwasawa subalgebra. Furthermore, we produce an algebraic procedure for recovering the semi-simple (of non-compact type) from its Iwasawa subalgebra.
This work addresses the questions: (i) Among all left-invariant Riemannian metrics on a given Lie group, is there any whose isometry group or isometry algebra contain that of all others? (ii) Do expanding left-invariant Ricci solitons exhibit such maximal symmetry? Question (i) is addressed both for semisimple and for solvable Lie groups. Building on previous work of the authors on Einstein metrics, a complete answer is given to (ii): expanding homogeneous Ricci solitons have maximal isometry algebras although not always maximal isometry groups. As a consequence of the tools developed to address these questions, partial results of Boehm, Lafuente, and Lauret are extended to show that left-invariant Ricci solitons on solvable Lie groups are unique up to scaling and isometry.
This survey builds on the two surveys by Wang and Lauret written almost a decade ago to give the current state of affairs regarding homogeneous Einstein spaces.
Lying at the intersection of Ado's theorem and the Nash embedding theorem, we consider the problem of finding faithful representations of Lie groups which are simultaneously isometric embeddings. Such special maps are found for a certain class of solvable Lie groups which includes all Einstein and Ricci soliton solvmanifolds, as well as all Riemannian 2-step nilpotent Lie groups. As a consequence, we extend work of Tamaru by showing that all Einstein solvmanifolds can be realized as submanifolds (in the submanifold geometry) of a symmetric space.
We study the setting of 2-step nilpotent Lie groups in the particular case that its type (p,q) is not exceptional. We demonstrate that, generically, the orbits of $\mathbb R^{>0}\times Aut_0$ in $GL(n)/O(n)$ are congruent even when a Ricci soliton metric does exists. In doing so, we provide a counterexample to the local version of a conjecture of Taketomi-Tamaru.
Recently, it was shown that Einstein solvmanifolds have maximal symmetry in the sense that their isometry groups contain the isometry groups of any other left-invariant metric on the given Lie group. Such a solvable Lie group is necessarily non-unimodular. In this work we consider unimodular solvable Lie groups and prove that there is always some metric with maximal symmetry. Further, if the group at hand admits a Ricci soliton, then it is the isometry group of the Ricci soliton which is maximal.
We provide a reduction in the classification problem for non-compact, homogeneous, Einstein manifolds. Using this work, we verify the (Generalized) Alekseevskii Conjecture for a large class of homogeneous spaces.
In previous work, the authors studied the linear stability of algebraic Ricci solitons on simply connected solvable Lie groups (solvsolitons), which are stationary solutions of a certain normalization of Ricci flow. Many examples were shown to be linearly stable, leading to the conjecture that all solvsolitons are linearly stable. This paper makes progress towards that conjecture, showing that expanding Ricci solitons with bounded curvature (including solvsolitons) are linearly stable after extension by a Gaussian soliton. As in the previous work, the dynamical stability follows from a generalization of the techniques of Guenther, Isenberg, and Knopf.
We consider a modified Ricci flow equation whose stationary solutions include Einstein and Ricci soliton metrics, and we study the linear stability of those solutions relative to the flow. After deriving various criteria that imply linear stability, we turn our attention to left-invariant soliton metrics on (non-compact) simply connected solvable Lie groups and prove linear stability of many such metrics. These include an open set of two-step solvsolitons, all two-step nilsolitons, two infinite families of three-step solvable Einstein metrics, all nilsolitons of dimensions six or less, and all solvable Einstein metrics of dimension seven or less with codimension-one nilradical. For each linearly stable metric, dynamical stability follows a generalization of the techniques of Guenther, Isenberg, and Knopf.
This work builds on the foundation laid by Gordon and Wilson in the study of isometry groups of solvmanifolds, i.e. Riemannian manifolds admitting a transitive solvable group of isometries. We restrict ourselves to a natural class of solvable Lie groups called almost completely solvable; this class includes the completely solvable Lie groups. When the commutator subalgebra contains the center, we have a complete description of the isometry group of any left-invariant metric using only metric Lie algebra information. Using our work on the isometry group of such spaces, we study quotients of solvmanifolds. Our first application is to the classification of homogeneous Ricci soliton metrics. We show that the verification of the Generalized Alekseevsky Conjecture reduces to the simply-connected case. Our second application is a generalization of a result of Heintze on the rigidity of existence of compact quotients for certain homogeneous spaces. Heintze's result applies to spaces with negative curvature. We remove all the geometric requirements, replacing them with algebraic requirements on the homogeneous structure.
In this short note, we show that homogeneous Ricci solitons are algebraic. As an application, we see that the generalized Alekseevskii conjecture is equivalent to the Alekseevskii conjecture.
In this work, we study metrics which are both homogeneous and Ricci soliton. If there exists a transitive solvable group of isometries on a Ricci soliton, we show that it is isometric to a solvsoliton. Moreover, unless the manifold is flat, it is necessarily simply-connected and diffeomorphic to $\mathbb R^n$. In the general case, we prove that homogeneous Ricci solitons must be semi-algebraic Ricci solitons in the sense that they evolve under the Ricci flow by dilation and pullback by automorphisms of the isometry group. In the special case that there exists a transitive semi-simple group of isometries on a Ricci soliton, we show that such a space is in fact Einstein. In the compact case, we produce new proof that Ricci solitons are necessarily Einstein. Lastly, we characterize solvable Lie groups which admit Ricci soliton metrics.
In this work we investigate solvable and nilpotent Lie groups with special metrics. The metrics of interest are left-invariant Einstein and algebraic Ricci soliton metrics. Our main result shows that the existence of a such a metric is intrinsic to the underlying Lie algebra. More precisely, we show how one may determine the existence of such a metric by analyzing algebraic properties of the Lie algebra in question and infinitesimal deformations of any initial metric. Our second main result concerns the isometry groups of such distinguished metrics. Among the completely solvable unimodular Lie groups (this includes nilpotent groups), if the Lie group admits such a metric, we show that the isometry group of this special metric is maximal among all isometry groups of left-invariant metrics. We finish with a similar result for locally left-invariant metrics on compact nilmanifolds.
The purpose of this paper is to introduce the Ricci Yang-Mills soliton equations on nilpotent Lie groups. In the 2-step nilpotent setting, we show that these equations are strictly weaker than the Ricci soliton equations. Using techniques from Geometric Invariant Theory, we develop a procedure to build many different kinds of Ricci Yang-Mills solitons. We finish this note by producing examples of Lie groups that do not admit Ricci soliton metrics but that do admit Ricci Yang-Mills soliton metrics.
In this note we are concerned with the distribution of Einstein and non-Einstein nilradicals among all nilpotent Lie groups. A nilpotent Lie group is called an Einstein, resp. non-Einstein, nilradical if it is a nilpotent Lie group which does, resp. does not, admit a left-invariant Ricci soliton metric. Using techniques from Geometric Invariant Theory, we construct many new (continuous) families of both kinds of nilpotent Lie groups. Moreover, it is shown by example that there exist families of non-Einstein nilradicals of arbitrarily large dimension; the dimension of these families of Lie groups depends only on the dimension of the underlying Lie groups. In this work our attention is focused on the class of two-step nilpotent Lie groups.
Let G be a (real or complex) linear reductive algebraic group acting on an affine variety V. Let W be a subvariety. In this work we study how the G-orbits intersect W. We develop a criterion to determine when the intersection can be described as a finite union of orbits of a reductive subgroup. The conditions of the criterion are easily verified in practice and are used to construct continuous families of (non-isomorphic) nilpotent Lie groups which do not admit left-invariant Ricci soliton metrics. Other applications to the left-invariant geometry of Lie groups are also given. The note finishes by applying our techniques to the adjoint representation. The classical result of finiteness of nilpotent orbits is reproven and it is shown that each of these orbits contains a critical point of the norm squared of the moment map.
We prove a generalization of a theorem of Borel-Harish-Chandra on closed orbits of linear actions of reductive groups. Consider a real reductive algebraic group $G$ acting linearly and rationally on a real vector space $V$. $G$ can be viewed as the real points of a complex reductive group $G^\mathbb C$ which acts on $V^\mathbb C := V \otimes \mathbb C$. Borel-Harish-Chandra show that $G^\mathbb C \cdot v \cap V$ is a finite union of $G$-orbits; moreover, $G^\mathbb C \cdot v$ is closed if and only if $G\cdot v$ is closed. We show that the same result holds not just for closed orbits but for the so-called distinguished orbits. An orbit is called distinguished if it contains a critical point of the norm squared of the moment map on projective space. Our main result compares the complex and real settings to show $G\cdot v$ is distinguished if and only if $G^\mathbb C \cdot v$ is distinguished. In addition, we show that if an orbit is distinguished, then under the negative gradient flow of the norm squared of the moment map the entire $G$-orbit collapses to a single $K$-orbit. This result holds in both the complex and real settings. We finish with some applications to the study of the left-invariant geometry of Lie groups.