Pith. sign in

REVIEW 2 cited by

Real algebraic surfaces biholomorphically equivalent but not algebraically equivalent

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2503.08957 v4 pith:ZEAQDDYY submitted 2025-03-11 math.CV math.AGmath.CO

Real algebraic surfaces biholomorphically equivalent but not algebraically equivalent

classification math.CV math.AGmath.CO
keywords algebraicrealbiholomorphicequivalenceequivalentgermsmathbbsurfaces
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

We answer in the negative the long-standing open question of whether biholomorphic equivalence implies algebraic equivalence for germs of real algebraic manifolds in $\mathbb C^n$. More precisely we give an example of two germs of real algebraic surfaces in $\mathbb C^2$ that are biholomorphic, but not by means of an algebraic biholomorphism.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

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

  1. Pseudo-Formalization for Automatic Proof Verification

    cs.LO 2026-05 unverdicted novelty 7.0

    Pseudo-Formalization decomposes proofs into self-contained natural language modules for independent LLM-based Block Verification, outperforming LLM-as-judge baselines on olympiad and research math benchmarks while rel...

  2. Pseudo-Formalization for Automatic Proof Verification

    cs.LO 2026-05 unverdicted novelty 5.0

    Pseudo-Formalization decomposes natural language proofs into modular blocks for independent LLM verification via Block Verification, outperforming LLM-as-judge baselines on error detection in olympiad and research mat...