Construct a variety with fundamental group a lattice whose Lie algebra is L5,9
Construct a smooth complex algebraic variety M with basepoint x such that the fundamental group π1(M, x) is a lattice in a simply connected nilpotent Lie group whose Lie algebra is isomorphic to the five-dimensional complex nilpotent Lie algebra L5,9, defined by the nonzero brackets [X1, X2] = X3, [X2, X3] = X4, and [X1, X3] = X5.
References
Problem 5.2.5. It is well-known that C - {0}, (C - {0}) x (C - {0}) and (H3(R)/T) x R>o have structure of smooth complex algebraic varieties and Malcev completions of its fundamental groups are isomorphic to respectively L1,1, L2,1 and L3,2 where IT is a lattice in the Heisenberg group H3(R). Can we construct a smooth complex algebraic variety M such that the fundamental group T1 (M, x) is a lattice in a simply connected nilpotent Lie group whose Lie algebra is isomorphic to L5,9 ?