In this paper we determine the moduli space, up to isometric automorphism, of left-invariant metrics on a $6$-dimensional Lie group $H$, such that its Lie algebra $\mathfrak{h}$ admits a complex structure and has first Betti number equal to four. We also investigate which of these metrics are Hermitian and classify the corresponding complex structures.
We determine the moduli space of metric 2-step nilpotent Lie algebras of dimension up to 6. This space is homeomorphic to a cone over a 4-dimensional contractible simplicial complex.
A Lie algebra is called nonsoliton if it does not admit a soliton inner product. We demonstrate that the subset of nonsoliton Lie algebras in the moduli space of indecomposable n-dimensional N-graded nilpotent Lie algebras is discrete if and only if n <= 7.
We study an algebraic inequality for nilpotent matrices and show some interesting geometric applications: (i) obtaining topological information for nilpotent polystable Higgs bundles over a compact Riemann surface; (ii) obtaining a sharp upper bound of the holomorphic sectional curvatures of the period domain and the Hodge metric on the Calabi-Yau moduli.
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 grou…
In this paper, we consider left-invariant para-complex structures on six-dimensional nilpotent Lie groups. A complete list of six-dimensional nilpotent Lie groups that admit para-Kähler structures is obtained, explicit expressions for para-complex structures are found, and curvature properties of associated para-Kähler metrics are investigated. It is shown that paracomplex structures are nilpotent and the corresponding para-Kähler metrics are Ricci-flat.
It is known that there are 34 classes of isomorphic connected simply connected six-dimensional nilpotent Lie groups. Of these, only 26 classes suppose left-invariant symplectic structures \cite{Goze-Khakim-Med}. In \cite{CFU2} it is shown that 14 classes of symplectic six-dimensional nilpotent Lie groups suppose compatible complex structures and, therefore, define pseudo-Kähler metrics. In this paper we show that on the remaining 12 classes of six-dimensional nilpotent symplectic Lie groups there are left-invariant almost pseudo-Kähler metrics, and we study their geometrical properties.
In this paper we consider left-invariant pseudo-Kähler structures on six-dimensional nilpotent Lie algebras. The explicit expressions of the canonical complex structures are calculated, and the curvature properties of the associated pseudo-Kähler metrics are investigated. It is proved that the associated pseudo-Kähler metric is Ricci-flat, that the curvature tensor has zero pseudo-Riemannian norm, and that the curvature tensor has some non-zero components that depend only on two or, at most, three parameters. The pseudo-Kähler structures obtained give basic models of pseudo-Kähler six-dimensio…
There are five six-dimensional nilpotent Lie groups G, which do not admit neither symplectic, nor complex structures and, therefore, can be neither almost pseudo-Kahler, nor almost Hermitian. In this work, these Lie groups are being studied. The aim of the paper is to define new left-invariant geometric structures on the Lie groups under consideration that compensate, in some sense, the absence of symplectic and complex structures. New examples of multiparametric families of metrics of signature (3,3) and almost para-complex pseudo-Riemannian half-flat structures on six-dimensional nilmanifold…
We study the question of the existence of left-invariant Sasaki contact structures on the seven-dimensional nilpotent Lie groups. It is shown that the only Lie group allowing Sasaki structure with a positive definite metric tensor is the Heisenberg group. We find a complete list of the 22 classes of seven-dimensional nilpotent Lie groups which admit pseudo-Sasaki structure. We also present a list of 25 classes of seven-dimensional nilpotent Lie groups admitting a $K$-contact structure, but not the pseudo-Sasaki structure. All the contact structures considered are central extensions of six-dime…
An equivariant minimal surface in $\mathbb{CH}^n$ is a minimal map of the Poincaré disc into $\mathbb{CH}^n$ which intertwines two actions of the fundamental group of a closed surface $Σ$: a Fuchsian representation on the disc and an irreducible action by isometries on $\mathbb{CH}^n$. The moduli space of these can been studied by relating it to the nilpotent cone in each moduli space of $PU(n,1)$-Higgs bundles over the conformal surface corresponding to the map. By providing a necessary condition for points on this nilpotent cone to be smooth this article shows that away from the points corre…
We classify real 6-dimensional nilpotent Lie algebras for which the corresponding Lie group has a left-invariant complex structure, and estimate the dimensions of moduli spaces of such structures.
We provide an alternative method for obtaining of compatible Poisson structures on Lie groups by means of the adjoint representations of Lie algebras. In this way, we calculate some compatible Poisson structures on four dimensional and nilpotent six dimensional symplectic real Lie groups. Then using Magri-Morosi's theorem we obtain new bi-Hamiltonian systems with four dimensional and nilpotent six dimensional symplectic real Lie groups as phase spaces.
In this paper we investigate the existence of invariant SKT, balanced and generalized Kähler structures on compact quotients $Γ\backslash G$, where $G$ is an almost nilpotent Lie group whose nilradical has one-dimensional commutator and $Γ$ is a lattice of $G$. We first obtain a characterization of Hermitian almost nilpotent Lie algebras $\mathfrak{g}$ whose nilradical $\mathfrak{n}$ has one-dimensional commutator and a classification result in real dimension six. Then, we study the ones admitting SKT and balanced structures and we examine the behaviour of such structures under flows. In parti…
The purpose of this note is to present a short elementary proof of a theorem due to Faltings and Laumon, saying that the global nilpotent cone is a Lagrangian substack in the cotangent bundle of the moduli space of G-bundles on a complex compact curve. This result plays a crucial role in the Geometric Langlands program, due to Beilinson-Drinfeld, since it insures that the D-modules on the moduli space of G-bundles whose characteristic variety is contained in the global nilpotent cone are automatically holonomic, hence, e.g. have finite length.
This article provides a complete description of the differential Gerstenhaber algebras of all nilpotent complex structures on any real six-dimensional nilpotent algebra. As an application, we classify all pseudo-Kählerian complex structures on six-dimensional nilpotent algebras such that the differential Gerstenhaber algebra of its complex structure is quasi-isomorphic to that of its symplectic structure. In a weak sense of mirror symmetry, it is a classification of pseudo-Kähler structures on six-dimensional nilpotent algebras whose mirror images are themselves.
The goal of this paper is the study of algebraic relations on the Lie algebra of first integrals of the geodesic flow on nilpotent Lie groups equipped with a left-invariant metric. It is proved that the isometry algebra of the $k$-step nilpotent Lie group, $k=2,3$, gives rise to a isomorphic family of first integrals for the geodesic flow. Also invariant first integrals are analyzed and new involution conditions are shown. Finally it is proved that in low dimensions complete families of first integrals can be constructed with Killing vector fields and symmetric Killing 2-tensor fields. This ho…
For the moduli space of Higgs bundles on a Riemann surface of positive genus, critical points of the natural Morse-Bott function lie along the nilpotent cone of the Hitchin fibration and are representations of $\mbox{A}$-type quivers in a twisted category of holomorphic bundles. The critical points that globally minimize the function are representations of $\mbox{A}_1$. For twisted Higgs bundles on the projective line, the quiver describing the bottom of the cone is more complicated. We determine it here. We show that the moduli space is topologically connected whenever the rank and degree are…
It has been known that there exist exactly three left-invariant Lorentzian metrics up to scaling and automorphisms on the three dimensional Heisenberg group. In this paper, we classify left-invariant Lorentzian metrics on the direct product of three dimensional Heisenberg group and the Euclidean space of dimension $n-3$ with $n \geq 4$, and prove that there exist exactly six such metrics on this Lie group up to scaling and automorphisms. Moreover we show that only one of them is flat, and the other five metrics are Ricci solitons but not Einstein. We also characterize this flat metric as the u…
In this paper we consider a canonical compactification of Hitchin's moduli space of stable Higgs bundles with fixed determinant of odd degree over a Riemann surface, producing a projective variety by gluing in a divisor at infinity. We give a detailed study of the compactified space, the divisor at infinity and the moduli space itself. In doing so we reprove some assertions of Laumon and Thaddeus on the nilpotent cone.
The aim of this work is the study of left-invariant magnetic fields on 2-step nilpotent Lie groups. While the existence of closed 2-forms for which the center is either nondegenerate or in the kernel of the 2-form, is always guaranteed, the existence of closed 2-forms for which the center is isotropic but not in the kernel of the 2-form, is a special situation. These 2-forms are called of type II. We obtain a strong obstruction for the existence on non-singular Lie algebras. Moreover, we prove that the only $H$-type Lie groups admitting closed 2-forms of type II are the real, complex and quate…
In this article, we show some domination results on the Hitchin fibration, mainly focusing on the $n$-Fuchsian fibers. More precisely, we show the energy density of associated harmonic map of an $n$-Fuchsian representation dominates the ones of all other representations in the same Hitchin fiber, which implies the domination of topological invariants: translation length spectrum and entropy. As applications of the energy density domination results, we obtain the existence and uniqueness of equivariant minimal (or maximal) surfaces in certain product Riemannian (or pseudo-Riemannian) manifold. …
We introduce obstructions to the existence of a calibrated G_2-structure on a Lie algebra g of dimension seven, not necessarily nilpotent. In particular, we prove that if there is a Lie algebra epimorphism from g to a six-dimensional Lie algebra h with kernel contained in the center of g, then h has a symplectic form. As a consequence, we obtain a classification of the nilpotent Lie algebras that admit a calibrated G_2-structure.
We analyze symplectic forms on six dimensional real solvable and non-nilpotent Lie algebras. More precisely, we obtain all those algebras endowed with a symplectic form that decompose as the direct sum of two ideals or are indecomposable solvable algebras with a four dimensional nilradical.
We construct explicit geometric models for moduli spaces of semi-stable strongly parabolic Higgs bundles over the Riemann sphere, in the case of rank two, four marked points, arbitrary degree, and arbitrary weights. The mechanism of construction relies on elementary geometric and combinatorial techniques, based on a detailed study of orbit stability of (in general non-reductive) bundle automorphism groups on certain carefully crafted spaces. The aforementioned techniques are not exclusive to the case we examine, and this work elucidates a general approach to construct arbitrary moduli spaces o…
Let N be a nilpotent Lie group and let S be an invariant geometric structure on N (cf. symplectic, complex or hypercomplex). We define a left invariant Riemannian metric on N compatible with S to be "minimal", if it minimizes the norm of the invariant part of the Ricci tensor among all compatible metrics with the same scalar curvature. We prove that minimal metrics (if any) are unique up to isometry and scaling, they develop soliton solutions for the invariant Ricci flow and are characterized as the critical points of a natural variational problem. The uniqueness allows us to distinguish geome…
Motivated by families of formal moduli problems, in this note we generalize the notion of L-infinity space by allowing sheaves of L-infinity algebras over any (reasonable) nilpotent dg manifold. We discuss various examples including those coming from Lie algebroids. Given a Lie algebroid, we show that there is an L-infinity space parametrized by (cochains of) the Lie algebroid; further, characteristic classes of this L-infinity space recover the primary invariants of the original algebroid.
We present an explicit construction of the moduli spaces of rank 2 stable parabolic bundles of parabolic degree 0 over the Riemann sphere, corresponding to "optimum" open weight chambers of parabolic weights in the weight polytope. The complexity of the different moduli space' weight chambers is understood in terms of the complexity of the actions of the corresponding groups of bundle automorphisms on stable parabolic structures. For the given choices of parabolic weights, $\mathscr{N}$ consists entirely of isomorphism classes of strictly stable parabolic bundles whose underlying Birkhoff-Grot…
Let $M$ be a simply connected spin manifold of dimension at least six which admits a metric of positive scalar curvature. We show that the observer moduli space of positive scalar curvature metrics on $M$ has non-trivial higher homotopy groups. Moreover, denote by $\mathcal{M}_0^+(M)$ the moduli space of positive scalar cuvature metrics on $M$ associated to the group of orientation-preserving diffeomorphisms of $M$. We show that if $M$ belongs to a certain class of manifolds which includes $(2n-2)$-connected $(4n-2)$-dimensional manifolds, then the fundamental group of $\mathcal{M}_0^+(M)$ is …