A solvmanifold with a left-invariant complex structure whose universal cover is not Stein

Shuho Kanda

REVIEW 2 major objections 4 minor 1 cited by

A solvmanifold with a left-invariant complex structure whose universal cover is not Stein

T0 review · 2 major / 4 minor · reviewed 2026-07-09 · glm-5.2

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read test

desk verdict The paper claims a counterexample to Hasegawa's conjecture, but the key domain identification is incorrect — the actual domain is Stein with Stein universal cover. read the letter →

arxiv 2607.07059 v1 pith:F6FLFM27 submitted 2026-07-08 math.DG math.CV

Shuho Kanda This is my paper · ORCID

classification math.DGmath.CV

keywords complexleft-invariantsteinconnectedsimplysolvablestructureadmitting

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

test

What carries the argument

test

What would settle it

test

Watch

Extended reading notes

Core claim

test

Load-bearing premise

test

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The paper constructs a left-invariant complex structure J on the Nakamura Lie group G = C ⋉ C² and claims (G,J) is not Stein, which would disprove Hasegawa's 2010 conjecture. The construction of J, the Snow map setup, and the quotient computation in Lemma 3.1 are all correct and cleanly done. But the paper has a load-bearing error in the next step, and the main theorem does not hold as written. Here is the problem. The Snow map gives Ψ(t,x,y) = (eᵗ − x, x, y), with image D = {(ξ₁,ξ₂,ξ₃) ∈ C³ | ξ₁+ξ₂ ≠ 0}. This computation is correct: ξ₁+ξ₂ = eᵗ is never zero. The paper then applies the linear change (ξ₁,ξ₂,ξ₃) ↦ (ξ₁−ξ₂, i(ξ₁+ξ₂), ξ₃) and claims D is identified with (C²∖R²)×C. It is not. The condition ξ₁+ξ₂ ≠ 0 becomes w₂ ≠ 0 (where w₂ = i(ξ₁+ξ₂)), so the image is {w₂ ≠ 0} = C × C* × C. This is the complement of a complex hyperplane in C³, not the complement of a totally real R² in C². These are genuinely different domains. C × C* × C is Stein (product of Stein manifolds), and its universal cover is C³ via exp on the C* factor — also Stein. The Bochner tube theorem argument in Lemma 3.2 is correct for (C²∖R²)×C, but that is not the domain at hand. So the non-Stein conclusion does not follow. Everything before the domain identification — the complex structure, integrability check, the quotient map Q and its inverse P — is correct and well-executed. The error is in one line of coordinate algebra, but it is the line the whole paper rests on. I should note that Remark 3.3 itself observes that Hasegawa concluded every left-invariant complex structure on this G gives C³, which is consistent with what the correct computation yields. The paper does not provide a counterexample to Hasegawa's conjecture in its current form. Whether the approach can be salvaged with a different complex structure on this or another solvable group is an interesting question, but it is not what this paper delivers. The paper deserves a serious referee — the topic is important and the error is subtle enough to miss on a casual read — but it should not be accepted as it stands.

Referee Report

2 major / 4 minor

Summary. The paper constructs a simply connected solvable Lie group $G = C ltimes_rho C^2$ (the Lie group underlying the Nakamura manifold) admitting lattices, together with a left-invariant complex structure $J$ such that $(G,J)$ is not Stein. This provides a counterexample to Hasegawa's Conjecture 1.1, which predicted that every simply connected unimodular solvable Lie group with a left-invariant complex structure should be Stein. The construction proceeds by defining $J$ via an explicit subalgebra $g^{1,0} subset g_C$ (Theorem 3.4), computing the image of the Snow map $Phi: (G,J) -> G_C/G_{0,1}$ to obtain the domain $D = {(xi_1, xi_2, xi_3) in C^3 mid xi_1 + xi_2 neq 0}$ (Lemma 3.1), and proving that the universal cover of $D$ is not Stein via Bochner's tube theorem and failure of holomorphic separation (Lemma 3.2).

Significance. This is a significant result that resolves Hasegawa's conjecture in the negative for the solvable (non-nilpotent) case. The nilpotent case was recently settled affirmatively in [HRSTW26], so the solvable case was the natural remaining question. The counterexample is clean and explicit: the Lie group is the well-known Nakamura manifold group, and the complex structure is given by a concrete formula. The non-Stein property is verified by a standard and correct application of Bochner's tube theorem. The construction is parameter-free and entirely self-contained, with all computations explicit and verifiable. The result is surprising and will be of interest to researchers in non-Kahler complex geometry and the geometry of solvmanifolds.

major comments (2)

The transition from the abstract complex structure definition in Theorem 1.2/Theorem 3.4 (where $g^{1,0}$ is given in terms of the $R$-basis $T, X, Y, T', X', Y'$ of $g$) to the computational framework of Section 3 (where $g^{1,0}$ and $g^{0,1}$ are defined in equation (3.1) under the identification $g_C simeq g oplus g$) is not sufficiently explained for the reader to verify the connection without performing a nontrivial computation. The paper states in the paragraph before equation (3.1) that 'By the isomorphism (2.2), from now on we write $G_C$ for $G times G$,' but equation (3.1) defines $g^{1,0} = text{Span}_C(T_1, T_2+X_2, Y_1)$ and $g^{0,1} = text{Span}_C(T_1+X_1, T_2, Y_2)$, which is a different-looking description than what appears in Theorem 3.4. The translation between these two descriptions is carried out only in the paragraph after Remark 3.3, but in the reverse direction. A
The reader of Section 3 first encounters equation (3.1) and must take on faith that it corresponds to the complex structure of Theorem 1.2. Adding a sentence after equation (3.1) such as 'Under the isomorphism (2.1), this corresponds to the complex structure given in Theorem 1.2; see the computation at the end of Section 3' would bridge this gap. This is an exposition issue, not a mathematical error, but it affects verifiability of the central construction.

minor comments (4)

Remark 3.3 states that the example 'appears to provide a counterexample' to a conclusion in [Has10] and 'seems to correspond to a case which is not covered in the analysis.' The language is vague. The author should either verify precisely which case in [Has10] is missed and state it, or soften the remark to note that a detailed comparison would be needed.
In Lemma 3.2, the claim that the two lifts $tilde{Q}_+$ and $tilde{Q}_-$ of $Q$ are distinct is central to the non-separation argument. The justification is implicit in the geometry of the covering. A brief sentence explaining why the monodromy around the removed $R^2$ produces distinct sheets at $Q = (0,-i,0)$ would strengthen the proof.
In the proof of Lemma 3.2, the sets $Omega_pm = R^3 setminus {(x,0,z) in R^3 mid pm x leq 0}$ are defined. It would help the reader to note explicitly that $Omega = Omega_+ cup Omega_-$ and that $T_{Omega_+} cap T_{Omega_-}$ is nonempty (containing $P$), so that the identity theorem applies.
The reference [HRSTW26] is cited as a 2026 preprint (arXiv:2606.31448). The citation [AT26] is also dated 2026. These appear to be forward-dated; the author should verify these are correct and update if necessary.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the construction is parameter-free and self-contained

full rationale

The paper constructs an explicit left-invariant complex structure J on the solvable Lie group G = C ⋉ C^2 by specifying the subalgebras g_{1,0} and g_{0,1} in equation (3.1). The Snow map is then used to identify (G,J) with the universal cover of the domain D = {(ξ1,ξ2,ξ3) ∈ C^3 | ξ1+ξ2 ≠ 0}, and the non-Stein property of this universal cover is proved via a direct application of Bochner's tube theorem (Lemma 3.2). No parameter is fitted to data and then 'predicted.' No self-citation is load-bearing: the cited works (Snow [Sno86], Huckleberry-Oeljeklaus [HO81], Hasegawa [Has10], HRSTW26) are used for background, context, or standard theorems, not to import an unverified uniqueness claim that forces the conclusion. The complex structure J is defined explicitly, the quotient map Q in Lemma 3.1 is verified to be a biholomorphism by constructing an explicit inverse P, and the non-Stein argument is a self-contained geometric proof. The derivation chain is: define J → compute Snow map image D → prove universal cover of D is non-Stein. Each step follows from the previous by explicit computation or standard theorems, with no circular dependency. The paper is self-contained against external mathematical benchmarks (Bochner's theorem, Malcev's theorem).

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

The paper introduces no free parameters or invented entities. The complex structure J is explicitly defined by specifying the (1,0)-eigenspace in terms of a fixed basis. The proof relies on standard mathematical theorems.

assumptions (3)

standard math Bochner's tube theorem
Invoked in Lemma 3.2 to extend holomorphic functions from tube domains T_{Ω±} to their convex hull C^3.
standard math Malcev's theorem on closed subgroups
Invoked in Section 2.2 to ensure the Lie group G_{0,1} corresponding to the Lie subalgebra g_{0,1} is closed in G_C.
standard math Snow map properties (Sno86)
Theorem 2.1 establishes that the Snow map is a covering map onto its image, making (G,J) the universal cover of D.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A solvmanifold with a left-invariant complex structure whose universal cover is not Stein." pith.science (2026). https://pith.science/paper/F6FLFM27

@misc{pith2026260707059,
  author       = {Pith},
  title        = {Pith review of: A solvmanifold with a left-invariant complex structure whose universal cover is not Stein},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/F6FLFM27}},
  note         = {Machine review of arXiv:2607.07059}
}

abstract

We construct a simply connected solvable Lie group $G$ admitting lattices and a left-invariant complex structure $J$ such that $(G,J)$ is not Stein. This provides a counterexample to Hasegawa's conjecture on the Stein property of simply connected unimodular solvable Lie groups with left-invariant complex structures.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Invariant forms compute the Dolbeault cohomology of complex nilmanifolds
math.DG 2026-07 accept novelty 8.0 of 10

On every compact nilmanifold with left-invariant complex structure, invariant forms induce an isomorphism on Dolbeault cohomology in all bidegrees.

Reference graph

Works this paper leans on

28 extracted references · 28 canonical work pages · cited by 1 Pith paper

[1]

Cordero, L. A. and Fern\'. Rend. Circ. Mat. Palermo (2) Suppl. , title =. 1997 , issn =

work page 1997
[2]

Cordero, L. A. and Fern\'. Fr\"olicher spectral sequence of compact nilmanifolds with nilpotent complex structure , year =. New developments in differential geometry,

work page
[3]

Cordero, L. A. and Fern\'. Trans. Amer. Math. Soc. , title =. 2000 , issn =. doi:10.1090/S0002-9947-00-02486-7 , fjournal =

work page doi:10.1090/s0002-9947-00-02486-7 2000
[4]

and Otal, A

Ceballos, M. and Otal, A. and Ugarte, L. and Villacampa, R. , journal =. Invariant complex structures on 6-nilmanifolds: classification,. 2016 , issn =. doi:10.1007/s12220-014-9548-4 , fjournal =

work page doi:10.1007/s12220-014-9548-4 2016
[5]

, journal =

Milnor, J. , journal =. On fundamental groups of complete affinely flat manifolds , year =. doi:10.1016/0001-8708(77)90004-4 , fjournal =

work page doi:10.1016/0001-8708(77)90004-4
[6]

and Goldman, W

Fried, D. and Goldman, W. M. , journal =. Three-dimensional affine crystallographic groups , year =. doi:10.1016/0001-8708(83)90053-1 , fjournal =

work page doi:10.1016/0001-8708(83)90053-1
[7]

and Segal, D

Grunewald, F. and Segal, D. , journal =. On affine crystallographic groups , year =

work page
[8]

, journal =

Benoist, Y. , journal =. Une nilvari\'et\'e. 1992 , issn =

work page 1992

Show all 28 references

[9]

, journal =

Benoist, Y. , journal =. Une nilvari\'et\'e. 1995 , issn =

1995
[10]

, journal =

Burde, D. , journal =. Affine structures on nilmanifolds , year =. doi:10.1142/S0129167X96000323 , fjournal =

doi
[11]

and Grunewald, F

Burde, D. and Grunewald, F. , journal =. Modules for certain. 1995 , issn =. doi:10.1016/0022-4049(94)00002-Z , fjournal =

1995 doi
[12]

, journal =

Hasegawa, K. , journal =. Small deformations and non-left-invariant complex structures on six-dimensional compact solvmanifolds , year =. doi:10.1016/j.difgeo.2009.10.003 , fjournal =

2009 doi
[13]

and Dekimpe, K

Benoist, Y. and Dekimpe, K. , journal =. The uniqueness of polynomial crystallographic actions , year =. doi:10.1007/s002080200005 , fjournal =

doi
[14]

, journal =

Dekimpe, K. , journal =. Polynomial crystallographic actions on the plane , year =. doi:10.1023/A:1020337728898 , fjournal =

doi
[15]

Mal'cev, A. I. , journal =. On a class of homogeneous spaces , year =
[16]

and Igodt, P

Dekimpe, K. and Igodt, P. and Lee, K. B. , journal =. Polynomial structures for nilpotent groups , year =. doi:10.1090/S0002-9947-96-01513-9 , fjournal =

doi
[17]

and Igodt, P

Dekimpe, K. and Igodt, P. , journal =. Polycyclic-by-finite groups admit a bounded-degree polynomial structure , year =. doi:10.1007/s002220050160 , fjournal =

doi
[18]

and Igodt, P

Dekimpe, K. and Igodt, P. , journal =. Polynomial structures on polycyclic groups , year =. doi:10.1090/S0002-9947-97-01924-7 , fjournal =

doi
[19]

, publisher =

Dekimpe, K. , publisher =. Almost-. 1996 , isbn =. doi:10.1007/BFb0094472 , mrclass =

1996 doi
[20]

, booktitle =

Dekimpe, K. , booktitle =. Polynomial structures on polycyclic groups: recent developments , year =. doi:10.1090/conm/262/04169 , mrclass =

doi
[21]

and Rollenske, S

Hasegawa, K. and Rollenske, S. and Sillari, L. and Tomassini, A. and Wehler, K. , note =. Biholomorphism type of left-invariant complex structures on nilpotent
[22]

and Tolcachier, A

Andrada, A. and Tolcachier, A. , journal =. On the canonical bundle of complex solvmanifolds and applications to hypercomplex geometry , year =. doi:10.1007/s00031-024-09866-z , fjournal =

doi
[23]

, journal =

Nakamura, I. , journal =. Complex parallelisable manifolds and their small deformations , year =
[24]

Snow, D. M. , journal =. Invariant complex structures on reductive. 1986 , issn =. doi:10.1515/crll.1986.371.191 , fjournal =

1986 doi
[25]

, journal =

Bochner, S. , journal =. A theorem on analytic continuation of functions in several variables , year =. doi:10.2307/1968709 , fjournal =

doi
[26]

An introduction to complex analysis in several variables , year =

H\". An introduction to complex analysis in several variables , year =
[27]

Varadarajan, V. S. , publisher =. Lie groups,. 1984 , isbn =. doi:10.1007/978-1-4612-1126-6 , mrclass =

1984 doi
[28]

Huckleberry, A. T. and Oeljeklaus, E. , booktitle =. Homogeneous spaces from a complex analytic viewpoint , year =

Pith tools

Reviewed July 9, 2026 · model on record in the stance chip above.

[1] [1]

Cordero, L. A. and Fern\'. Rend. Circ. Mat. Palermo (2) Suppl. , title =. 1997 , issn =

work page 1997

[2] [2]

Cordero, L. A. and Fern\'. Fr\"olicher spectral sequence of compact nilmanifolds with nilpotent complex structure , year =. New developments in differential geometry,

work page

[3] [3]

Cordero, L. A. and Fern\'. Trans. Amer. Math. Soc. , title =. 2000 , issn =. doi:10.1090/S0002-9947-00-02486-7 , fjournal =

work page doi:10.1090/s0002-9947-00-02486-7 2000

[4] [4]

and Otal, A

Ceballos, M. and Otal, A. and Ugarte, L. and Villacampa, R. , journal =. Invariant complex structures on 6-nilmanifolds: classification,. 2016 , issn =. doi:10.1007/s12220-014-9548-4 , fjournal =

work page doi:10.1007/s12220-014-9548-4 2016

[5] [5]

, journal =

Milnor, J. , journal =. On fundamental groups of complete affinely flat manifolds , year =. doi:10.1016/0001-8708(77)90004-4 , fjournal =

work page doi:10.1016/0001-8708(77)90004-4

[6] [6]

and Goldman, W

Fried, D. and Goldman, W. M. , journal =. Three-dimensional affine crystallographic groups , year =. doi:10.1016/0001-8708(83)90053-1 , fjournal =

work page doi:10.1016/0001-8708(83)90053-1

[7] [7]

and Segal, D

Grunewald, F. and Segal, D. , journal =. On affine crystallographic groups , year =

work page

[8] [8]

, journal =

Benoist, Y. , journal =. Une nilvari\'et\'e. 1992 , issn =

work page 1992