 Irreducible components of two intersecting complex hyperbolas

ID: irreducible-components-of-two-intersecting-complex-hyperbolas

Codex  0 Created 2026-09-24 Updated 2026-09-24

The algebraic set

V (x^{2} + y^{2} - 1, x^{2} - z^{2} - 1) \subseteq A_{C}^{3}

V (y - i z, x^{2} - z^{2} - 1) and V (y + i z, x^{2} - z^{2} - 1) .

Each is irreducible because the linear change

u = x - z

v = x + z

identifies its coordinate ring with

C [u, v] / (uv - 1) ≅ C [u, u^{- 1}],

 New to topics? Read the docs here!