Search arXiv⌕ Search

arXiv · 2610.21497

Complete homogeneous varieties over a field

Abstract

The main objects of this paper are complete homogeneous varieties under the action of a semisimple group $G$ over field $k$ of characteristic $p>0$. When the isotropy groups of the geometric points are smooth parabolics, these are classically known as twisted flag varieties and are well studied in the literature. If the smoothness assumption is removed, we get a larger class of varieties which we call as \emph{twisted parabolic varieties}. The main goal of this paper is to study the structure, classification and properties of these varieties. We first understand their structure over a separable closure of $k$ by classifying non-smooth parabolics containing a Borel; this builds on the recently completed classification of such parabolics over an algebraically closed field. Then, via Galois descent we get a combinatorial criterion for such a variety to descend over $k$. We compute the Picard group of twisted parabolic varieties by embedding them into products of twisted flag varieties, study their local rigidity properties and show that they are rational if they have a $k$-rational point for $p \geq 3$. When $k$ is perfect, we show many interesting properties such as existence of a universal purely inseparable cover, transitivity of $k$-rational points under $G(k)$ as well as the existence of a smooth parabolic in the stabilizer of every such point. However, these properties fail if $k$ is imperfect and we demonstrate this with illuminating examples.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Michel Brion, Matilde Maccan, Srinivasan Srimathy. 2026-10-15. Complete homogeneous varieties over a field. https://arxiv.org/abs/2610.21497

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On the fundamental groups of subelliptic varieties

We show that the fundamental group of any smooth subelliptic variety is finite. Moreover, it is also proved that every finite group can be realized as the fundamental group of a smooth subelliptic variety. As a consequence, it follows that there exists a smooth subelliptic variety homotopy equivalent to the $n$-sphere if and only if $n>1$. This result can be considered as a negative answer to the algebraic version of Gromov's problem on the homotopy types of Oka manifolds.

math.AG↗

Minimal energy local systems on curves

Let $Σ_{g,n}$ be an orientable topological surface of genus $g$ with $n$ punctures. When $g = 0$, Deroin and Tholozan studied the class of supra-maximal representations $π_1(Σ_{0,n})\to \mathrm{PSL}_2(\mathbb{R})$, and they showed that the supra-maximal representations form a compact component of a real relative character variety. We study a collection of rank $r$ local systems on $Σ_{g,n}$ which we call of minimal energy. These are generalizations of supra-maximal representations, and underlie polarizable complex variations of Hodge structure for any choice of complex structure on $Σ_{g,n}$. Like the supra-maximal representations, the minimal energy local systems form compact components of relative character varieties of real forms of $\mathrm{GL}_r(\mathbb{C})$. We show that when the local monodromy data around the punctures is chosen to be unitary and generic, and the relative character variety is nonempty, these minimal energy local systems always exist. When $g > 0$, we show that the minimal energy local systems come from unitary representations of $π_1(Σ_{g,n})$. If $g = 0$ we show that they do not always come from unitary representations, and we study their structure in general.

math.AG↗

Hypergeometric local systems and parabolic bundles

Beukers and Heckman gave necessary and sufficient conditions for a hypergeometric function $_n F_{n-1}$ to be algebraic. We give a new proof of this theorem by passing through the Mehta-Seshadri correspondence. In particular, we explicitly write down the parabolic bundle corresponding to a unitary hypergeometric local system.

math.AG↗