On standard projective plane bundles
type: Item
instance of: scholarly article
title: On standard projective plane bundles
zbMATH Open document ID: 0909.14009
author: Takashi Maeda
published in: Journal of Algebra
publication date: 1999-04-08T00:00:00Z
review text: The purpose of this paper is to generalize a result about conic bundles to the case of \(\mathbb{P}^2\)-bundles. Let \(K\) be a field containing a primitive cubic root of unity \(\omega\), and \(A=(f,g)_{3,K}\) \((f,g\in K-\{0\})\) be a cyclic algebra of rank 9 over \(K\), i.e., \(A\) is generated by two elements \(x,y\) with relations \(x^3=f\), \(y^3=g\), \(yx= \omega xy\). Suppose there is an irreducible regular scheme \(X_0\) with the function field isomorphic to \(K\) satisfying the following condition (1). Denote the principal divisors of \(f\) and \(g\) by \((f)_{X_0} \equiv A\), \((g)_{X_0} \equiv B \text{mod} 3 \text{Div} (X_0)\), where \(A\) and \(B\) are sums of prime divisors of \(X_0\) with coefficients equal to one or two. Then \[ (A+B)_{\text{red}} \text{ is a simple normal crossing divisor of } X_0. \tag{1} \] The main theorem of this paper is stated as follows. Theorem. Under the above assumption (1), there exists a proper flat surjective morphism \(\tau: V\to X\) with \(V\) and \(X\) irreducible regular schemes such that (i) \(X\) is obtained by blowing up \(X_0\), (ii) the generic fibre of \(\tau\) is isomorphic to the \(K\)-form \(V_K\) of \(\mathbb{P}^2\) associated to the cyclic algebra \(A\), (iii) the relative Picard group \(\text{Pic} (V/X)\) is isomorphic to \(\text{Pic} (V_K)\) by restriction. If \(K\) is the function field of an algebraic variety over an algebraically closed field \(k\) of \(\text{char} (k)=0\), then there exists a smooth projective variety \(X_0\) over \(k\) satisfying (1) due to the theorem of resolution of singularities. Moreover, a central simple algebra of rank 9 over a field is always represented by a cyclic algebra by a theorem of Wedderburn. Hence we obtain as a corollary of our theorem above: Corollary. Let \(K\) be the function field of an algebraic variety over an algebraically closed field \(k\) of \(\text{char} (k)=0\) and \(V_K\) be a \(K\)-form of \(\mathbb{P}^2\) (i.e., \(V_K \times_K \overline K\cong \mat…
Mathematics Subject Classification ID: 14F05
Mathematics Subject Classification ID: 14C20
Mathematics Subject Classification ID: 14N05
zbMATH DE Number: 1097699
zbMATH Keywords: projective plane bundles
zbMATH Keywords: principal divisors
zbMATH Keywords: normal crossing divisor
zbMATH Keywords: Picard group
MaRDI profile type: MaRDI publication profile
full work available at URL: jabr.1997.7120
OpenAlex ID: W2049285794
cites work: Q4745938
cites work: Q4742905
cites work: Some Elementary Examples of Unirational Varieties Which are Not Rational
cites work: Q4698646
cites work: Q3961610
cites work: Norm polynomials and algebras
cites work: ON CONIC BUNDLE STRUCTURES
DOI: 10.1006/JABR.1997.7120
Recommended article: Q4029326
Recommended article: Q4432487
Recommended article: STABLE VECTOR BUNDLES ON PROJECTIVE SURFACES
Recommended article: Projective bundles
Recommended article: Q3840851
Recommended article: Projective bundles over toric surfaces
Recommended article: Projective bundles and projective connections
Recommended article: Projectivities between bundles of plane higher order curves
Recommended article: Projective Plane Bundles Over an Elliptic Curve
Recommended article: On the normal bundle of curves on smooth projective surfaces
description: scientific article; zbMATH DE number 1097699