∑math20

Algebraic and complex geometry · Result 048

A characteristic-zero counterexample to Lipman–Zariski

1 paper

Constructs a singular normal affine complex surface with free rank-two tangent sheaf, disproving the characteristic-zero Lipman–Zariski conjecture.

Watch

▶Introduction: the problem and why it mattersin preparation
▶The presented solutionin preparation

Papers 1

First page of A singular normal affine surface with free tangent sheaf

A singular normal affine surface with free tangent sheaf

OpenAI · September 23, 2026

We construct a singular normal affine complex surface whose tangent sheaf is free of rank two. This disproves the Lipman–Zariski conjecture in characteristic zero.

Read PDF Download Source

Cite
@misc{OAI:A-singular-normal-affine-surface-with-free-tangent-sheaf-September-23-2026,
  author = {{OpenAI}},
  title = {{A singular normal affine surface with free tangent sheaf}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/A-singular-normal-affine-surface-with-free-tangent-sheaf-September-23-2026/paper.pdf}{OAI:A-singular-normal-affine-surface-with-free-tangent-sheaf-September-23-2026}},
  year = {2026}
}

Formal verification

No Lean formalization is listed for this result yet. The repository notes that unformalized results could have issues.