Canonical Projectivization of Algebraic Varieties in Characteristic Zero

We construct a canonical projectivization of every smooth proper algebraic variety $X$ in characteristic zero. Once a principalization procedure is fixed, the construction gives a finite sequence of blowups in smooth centers with smooth projective endpoint, natural under semilinear isomorphisms and preserving the quasi-projective core, the intersection of all maximal quasi-projective open subsets. At each stage we select finitely many ideals near the generic points of the image in $X$ of the boundary of a maximal quasi-projective open. Principalizing their product strictly lowers the dimension of that image. The selection is defined intrinsically, without a polarization or a chosen projective modification; a Hilbert scheme argument proves its finiteness. Naturality embeds the automorphism group in that of a smooth projective variety of the same dimension. We then extend the construction to smooth proper integral algebraic spaces, obtaining canonical projectivizations of all compact connected Moishezon manifolds.

Authors

Publication Details

Journal
arXiv (Cornell University)
Published
2026-11-03
DOI
https://doi.org/10.48550/arxiv.2611.04314
Primary Topic
Algebraic Geometry and Number Theory
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

Canonical Projectivization of Algebraic Varieties in Characteristic Zero

Parsa Bakhtary
arXiv (Cornell University)
Algebraic Geometry and Number Theory
preprint

Canonical Projectivization of Algebraic Varieties in Characteristic Zero

Parsa Bakhtary
preprint en

Abstract

We construct a canonical projectivization of every smooth proper algebraic variety $X$ in characteristic zero. Once a principalization procedure is fixed, the construction gives a finite sequence of blowups in smooth centers with smooth projective endpoint, natural under semilinear isomorphisms and preserving the quasi-projective core, the intersection of all maximal quasi-projective open subsets. At each stage we select finitely many ideals near the generic points of the image in $X$ of the boundary of a maximal quasi-projective open. Principalizing their product strictly lowers the dimension of that image. The selection is defined intrinsically, without a polarization or a chosen projective modification; a Hilbert scheme argument proves its finiteness. Naturality embeds the automorphism group in that of a smooth projective variety of the same dimension. We then extend the construction to smooth proper integral algebraic spaces, obtaining canonical projectivizations of all compact connected Moishezon manifolds.

arXiv (Cornell University)
Algebraic Geometry and Number Theory
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Laika access coming soon