OpenAI reports a complex affine-space cancellation counterexample

There is an explicit integral complex affine fourfold X such that X × A¹ is isomorphic to A⁵ but X is not isomorphic to A⁴.

Curated contributions 1

Understand the problem ↓

Understanding the problem

Read the background

There is an explicit integral complex affine fourfold X such that X × A¹ is isomorphic to A⁵ but X is not isomorphic to A⁴.

Why it matters

If correct, gives a negative answer to complex affine-space cancellation in dimension four.

What counts as progress

Can a complex affine fourfold have affine five-space as its cylinder without itself being affine four-space?

Website timeline

Publication dates and editorial changes.