In this paper, we study nilpotent Lie algebras that admit nilsoliton metric with simple pre-Einstein derivation. Given a Lie algebra , we would like to compute as much of its structure as possible. The structural components we consider in this study are the structure constants, the index, and the rank of the nilsoliton derivations. For this purpose, we prove necessary or sufficient conditions for an algebra to admit such metrics. Particularly, we prove theorems for the computation of the Jacobi identity for a given algebra so that we can solve the system of the equation(s) and find the structure constants of the nilsoliton.

1. Introduction

On any Lie group, it is possible to define several different Riemannian metrics. Considering any Riemannian metrics, Einstein metrics are the most preferable metrics, as the Ricci tensor complies the Einstein metric: , for some constant . But, it is not possible to define Einstein metrics on nonabelian nilpotent Lie algebras; therefore, we consider the following weaker condition on a left invariant metric on a nilpotent Lie group G:for some and , where denotes the Ricci operator of , is the Lie algebra of , and denotes the Lie algebra of derivations of . Equation (1) is called the nilsoliton condition, is called the nilsoliton derivation, and is called the nilsoliton constant.

Nilsoliton metric Lie algebras are unique up to isometry and scaling. This is one of the reasons that makes nilsolitons an important topic. On the other hand, there is a one to one correspondence between Einstein nilradicals with nilsolitons. In [1], Theorem 2.11 states that a nilpotent Lie algebra is an Einstein nilradical if and only if admits a nilsoliton metric. Therefore, it indicates that classification of nilsoliton metrics on a nilpotent Lie algebra is equivalent to the same of Einstein nilradicals. Additionally, if is Einstein solvmanifold, then the metric restricted to the submanifold can completely be determined by the nilsoliton metric Lie algebra . On the contrary, any nilsoliton can uniquely extend to an Einstein solvmanifold. Therefore, the study of solvmanifolds is actually the study of nilsolitons. See [1, 2], for a survey on nilsoliton metric Lie algebras.

There are three methods to represent a Lie algebra and its related structures: representing a Lie algebra as a linear Lie algebra, i.e., subalgebra of , using table of its structure constants or using generators and relations [3]. In this paper, we use the table of structure constants related to a Lie algebra. The main reason is that this representation helps one to create and classify Lie algebras by the computer software programs as in [46]. We vary the Lie algebra structure by finding structure constants. Namely, we determine a Lie algebra with a fixed basis explicitly by given multiplication table, consisting of structure constants which are defined by the relations

In this work, the nonzero structure constants are encoded by using the index set , ignoring repetitions due to skew-symmetry. While indexing the structure constants, we use triples such that , and if , then and , then . For this purpose, we fix a basis for a nilpotent Lie algebra with such that for every , and for every . Such basis is called nice and defined by Nikolayevsky in [7]. In our paper, we call this basis as “Nikolayevsky basis.” Using this special basis, we do not need to use sum symbol in equation (2).

In this paper, we prove theorems regarding to some structural components of nilsolitons for possible algorithmic approach in classifications. In particular, we present some new concepts and theorems regarding to create Jacobi identity equations for a given nilsoliton metric Lie algebra. We also present methods for the computations of the index and the rank of a nilsoliton. We provide several examples to illustrate the newly proposed concepts and methods.

This paper consists of four sections. In the second section, we present preliminary background. In the third section, we prove necessary theorems that help us to calculate structural elements of nilsolitons. In the last section, we present concluding statements.

2. Preliminaries

Let be a metric algebra, where . Let be a -orthonormal basis of (we always assume that basis is ordered). The nil-Ricci endomorphism is defined as , wherefor . When is a nilpotent Lie algebra, the nil-Ricci endomorphism is the Ricci endomorphism. If all elements of the basis are eigenvectors for the nil-Ricci endomorphism , we call the orthonormal basis a Ricci eigenvector basis.

Let denote the derivation algebra of . A maximal abelian subalgebra of comprised of semisimple elements which is called a maximal torus. The dimension of a maximal torus is called the rank of .

In the following, we define root vectors and root matrix, Gram matrix, Nikolayevsky basis.

Definition 1. Suppose that is a finite set which indexes the set of nonzero structure constants corresponding to a Lie algebra , ignoring repetitions due to skew-symmetry. For , we define row vector to be , where is the standard orthonormal basis for . We call the vectors in root vectors for . Let (where ) be an enumeration of the root vectors in dictionary order. We define root matrix for to be the matrix whose rows are the root vectors .
The Gram matrix for is the matrix defined by ; the entry of is the inner product of the i th and j th root vectors (unless otherwise stated, the matrix means the Gram matrix corresponding to the index set . Therefore, from now on, we do not use ). From Theorem 5, in [8], we know that is a symmetric matrix where its all diagonal entries are 3 and its off-diagonal entries are in the set .
Nikolayevsky showed that every Lie algebra admitting a derivation with all the eigenvalues of multiplicity one has a nice basis [7]. We use this type of basis in our study. This way our Gram matrices corresponding to metric nilpotent Lie algebras does not have a 2 and as an entree (Lemma 2 in [4]).
Now, suppose that and represents a column vector in .

Theorem 1. (Theorem 1 in [8]). Let be a nonabelian metric algebra with Ricci eigenvector basis . Let and be the Gram matrix and the structure vector for with respect to . Then, satisfies the nilsoliton condition with nilsoliton constant if and only if .
The above theorem indicates a Lie algebra which admits a nilsoliton metric iff there exists a solution of the linear system where all entries are positive real numbers.

3. The Structural Elements

In this section, we introduce notions and prove theorems for the computation structural elements of the nilsoliton metric Lie algebras.

3.1. The Jacobi Identity(s)

Now, we present the theorems which help to create possible Jacobi identity equations.

Theorem 2. (see [8]). Let be an -dimensional vector space; be a basis for . Suppose that a set of nonzero structure constants relative to , indexed by , defines a skew symmetric product on . Assume that if , then . Then, is a Lie algebra if and only if whenever there exists so that the inner product of root vectors for triples and or in , the equationholds. Furthermore, a term of form is nonzero if and only if .

Lemma 1. (Lemma 2.8 in [4]). Let be an n-dimensional nonabelian nilpotent Lie algebra. Suppose that admits a derivation having distinct real positive eigenvalues. Let be a basis consisting of eigenvectors for the derivation , and let index the nonzero structure constants with respect to . Let be the root matrix for . If , then the following hold:(1).(2)If and , then .

Remark 1. The reverse of Lemma 1 is not true.

Proof. Suppose that is an algebra which is indexed by the following index set:Its corresponding Gram matrix is as follows:It is a singular matrix with . Also, it does not have entry. From Theorem 2, it is a Lie algebra. Also, since the solution space of isfrom [8] that it is a nilsoliton metric Lie algebra with the magnitudes of the structure constantswith simple derivation of type with singular Gram matrix and .

The counter example provided in Remark 1 illustrates none of the inner products of root vectors being does not imply that the Gram matrix of the nilsoliton is nonsingular. Additionally, if the cardinality of the index set , does not imply that the Gram matrix is nonsingular.

3.1.1. Constructing the System of Jacobi Identities

In order an algebra to be a Lie algebra, one needs to satisfy the Jacobi identity. Using our index set , the corresponding Jacobi identity turns into equation (4). Also, there has to be at least two product couples in the Jacobi identity. Otherwise, if there is one product couple in Jacobi identity, it leads to ; therefore, it contradicts to the fact that . On the other hand, the Jacobi identity is created by each vector triples from the given fixed Nikolayevsky basis. For example, the Jacobi identity for is

Since we use the Nikolayevsky basis, there is a unique which appears in equation (9). Therefore, each Jacobi identity is created with fixed , and . Also, because there has to be at least one product couple in the Jacobi identity, then there exist 2 or three product couples in the Jacobi identity. In equation (9), the product couple corresponds to the index triples in such that , or . In the following definition, we define the set of all product couples related to the Jacobi identity for a given subset of the fixed basis. As one can see, there exist at most 3 product couples in the same Jacobi identity.

Definition 2. If there are product couples in the Jacobi identity for the same such that , or , then the Jacobi identity which was created by the basis vectors. Now, we define the set of all nonzero product couples for a given index triple basis vectors as follows:It is called set of product couples for and for in equation (4):Here, AoM is the matrix of that appears in equation (4).

Remark 2. Let be an algebra that is indexed by , then the Jacobi identity for a given with each is given byThe proof of Remark 2 follows from the definition of Jacobi identity for a given algebra.

Theorem 3. Let be an algebra that is indexed by , and be the Gram matrix related to . Let belong to the solution space to the linear system , then the Jacobi identity for each is given bywhere .

Proof. Let be an algebra that is indexed by . By Remark 3, the Jacobi identity for each and each basis vector triple is given byHere, . By Theorem 1, the solution vectors of the linear system are the squares of the structure vectors for all . Therefore, for any that satisfies is of form . Thus, for each ,where , and and . Solving the equations for the structure constants, we havefor all . Therefore, equation (12) turns intowhich finishes the proof.

In some cases, there can be more than two square root product couples in equation (13), i.e., there is more than one . In that case, we need to consider all the cases of the signs between the product couples , , and . The following lemma deals with this matter.

Lemma 2. If there are product couples in the Jacobi identity, then there are possible sign choices.

Proof. Suppose that for in equation (4) where is the set of all product couples, as in Definition 2. Therefore, the Jacobi identity turns into . Without loss of generality, we assume that . For each , where , there are two possible sign choices . Therefore, we have possible sign choices. Since all the product couples are nonzero, then they can not all be . Therefore, we drop the case . Thus, there are possible sign choices for the set .
As we know that there is at most three, at least two product couples in the Jacobi identity, the there is at most three different sign choices for a Jacobi identity.

Definition 3. We define the matrix of all sign choices matrix where the entries are of the formfor . For example, if , then is a matrixThe equations are created byTherefore, we have , , and . If there is more than one array of number ’s in equation (4) in Theorem 2, then one needs to find common solutions of at least one Jacobi identity that was created by SC matrix for each . To illustrate the above procedure, we have the following example.

Example 1. Suppose thatThe solution of the equation is of the formwhere are parameters of the solution system. Then, there are two ’s in equation (4). Now, let us denote the set of as AoM. Therefore, . Each corresponds to a Jacobi identity. For , we have two product couples of the triples and or in . They are and . Therefore, the first Jacobi identity isFor , we have two product couples of the triples and or in . They are and . So, the corresponding Jacobi identity isIt can easily be seen that there is a unique sign choice for the above equations. The common solution is as follows:

3.2. The Rank and the Index of a Nilsoliton

The following proposition and its following corollary help us to compute rank of a nilsoliton metric Lie algebra.

Proposition 1. (see Proposition 4.7 in [9]). Let be a nonabelian Lie algebra that admits a simple derivation D. Let be an eigenvector basis with index set , and let be the root matrix associated to . Then, the rank of the nilsoliton metric Lie algebra equals to the nullity of the root matrix .

Corollary 1. Let be a nonabelian dimensional Lie algebra that admits a simple derivation. Let be an eigenvector basis with index set , and let be the root matrix associated to . Then,

Proof. Suppose that is an dimensional nonabelian Lie algebra, admitting a simple derivation. Let be an eigenvector basis with index set where , and let be the root matrix associated to . By Proposition 1, the root matrix is an matrix, whose nullity is . Therefore, from rank-nullity theorem, . We also know that ; therefore, we haveOn the other hand, is an matrix. Therefore, . Then, we have

Definition 4. Let , , denote the adjoint representation and denote the dual of the Lie algebra . Then, the skew symmetric bilinear form , where , is defined byThe index of a Lie algebra is the integer where defined by .

Proposition 2. (see Proposition 4 in [10]). The index of an -dimensional Lie algebra is the integer,where is the quotient field of symmetric algebra .

Remark 3. above proposition tells us that the index of a Lie algebra is the nullity of the matrix .
Now, we present an example regarding to this notion with the use of the index set .

Example 2. Suppose that is the index set of an algebra of dimension 6. Its corresponding Gram matrix isSince there is no entry, is a Lie algebra. The matrix is as follows:Its rank is 2; therefore, .

Proposition 3. For an dimensional nilsoliton represented by an index set with a Nikolayevsky basis, the matrix has the following properties:(1)The matrix is an matrix with zero diagonal entries(2)The rank of is even(3)The row and column of are zero matrices(4)If , then has nonzero entries

Proof. Suppose that the Nikolayevsky basis is represented by . By the definition of , , thenTherefore, is a skew symmetric matrix, which implies the first and second properties. On the other hand, since is nilpotent Lie algebra with Nikolayevsky basis, then consists of the elements of form such that . Therefore, cannot appear in the first or the second component of the triples in . Thus, for all , which implies that , i.e., the last row and the last column are zero matrices.
The entries of are defined by the index set . If , then there exists non-zero entries on the upper triangular part of . Since the matrix is skew symmetric, then there exists other nonzero entries in the lower triangular part of the matrix. So, in total, there exists nonzero entries in .

Corollary 2. Suppose that is an dimensional nilsoliton. Then, is even, if is even, and index is odd if is odd.

Proof. The index of the nilsoliton is . Since is a skew symmetric matrix, its rank is always even, which finishes the proof.

4. Conclusion

In this paper, we prove theorems for the computations of structural elements of an -dimensional nilsoliton . We prove theorems regarding to the Jacobi identity or identities that have to be satisfied, rank, and index of the nilsoliton. In the future, we plan to use these theorems to create a computer algorithm for the classifications of nilsolitons for a given dimension. The theorems appearing in this study will allow us to pare down the number of cases to consider in our procedure.

Data Availability

No data were used in this study.

Conflicts of Interest

The author declares no conflicts of interest.