Saved in:
Bibliographic Details
Main Authors: Aguilar, Rodolfo, Garay, Cristhian
Format: Preprint
Published: 2026
Subjects:
Online Access:https://arxiv.org/abs/2603.17939
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866911526572523520
author Aguilar, Rodolfo
Garay, Cristhian
author_facet Aguilar, Rodolfo
Garay, Cristhian
contents The classical Shafarevich conjecture predicts that the universal cover of a complex smooth projective variety $X$ is holomorphically convex. In this paper, we propose a refinement of this conjecture for varieties defined over the reals. In order to do this, we introduce the notions of real holomorphic convexity and transverse holomorphic convexity to capture the geometric differences dictated by the real locus $X(\mathbb{R})$ of $X$. Specifically, we conjecture that the universal cover is real holomorphically convex when $X(\mathbb{R}) \neq \emptyset$, and dianalytic holomorphically convex when $X(\mathbb{R}) = \emptyset$. We prove this refined conjecture in two main cases: when $X$ is a curve, and when the fundamental group of $X$ is nilpotent.
format Preprint
id arxiv_https___arxiv_org_abs_2603_17939
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle A Real Shafarevich Conjecture for Universal Covers
Aguilar, Rodolfo
Garay, Cristhian
Algebraic Geometry
The classical Shafarevich conjecture predicts that the universal cover of a complex smooth projective variety $X$ is holomorphically convex. In this paper, we propose a refinement of this conjecture for varieties defined over the reals. In order to do this, we introduce the notions of real holomorphic convexity and transverse holomorphic convexity to capture the geometric differences dictated by the real locus $X(\mathbb{R})$ of $X$. Specifically, we conjecture that the universal cover is real holomorphically convex when $X(\mathbb{R}) \neq \emptyset$, and dianalytic holomorphically convex when $X(\mathbb{R}) = \emptyset$. We prove this refined conjecture in two main cases: when $X$ is a curve, and when the fundamental group of $X$ is nilpotent.
title A Real Shafarevich Conjecture for Universal Covers
topic Algebraic Geometry
url https://arxiv.org/abs/2603.17939