We prove that a smooth and connected algebraic group $G$ is affine if and only if any invertible sheaf on any normal $G$-variety is $G$-invariant. For the proof, a key ingredient is the following result: if $G$ is a connected and smooth algebraic group and $\mathcal L$ is a $G$-invariant invertible sheaf on a $G$-variety $X$, then the action of $G$ on $X$ extends to a projective action on the complete linear ${\mathbb P}(H^0(X,{\mathcal L})$. As an application of the affineness criterion, we give a new and simple proof of Chevalley-Barsotti Theorem on the structure of algebraic groups.
We prove that an algebraic group over a field $k$is affine precisely when its Picard group is torsion, and show that in this case the Picard group is finite when $k$ is perfect, and the product of a finite group of order prime to $p$ and a $p$-primary group of finite exponent when $k$ is imperfect of characteristic $p$.
We prove that, under mild hypothesis, every normal algebraic space which satisfies the $1$-resolution property is quasi-affine. More generally, we show that for algebraic stacks satisfying similar hypotheses, the 1-resolution property guarantees the existence of a finite flat cover by a quasi-affine scheme.
Given an algebraic stack $X$, one may compare the derived category of quasi-coherent sheaves on $X$ with the category of dg-modules over the dg-ring of functions on $X$. We study the analogous question in stable homotopy theory, for derived stacks that arise via realizations of diagrams of Landweber-exact homology theories. We identify a condition (quasi-affineness of the map to the moduli stack of formal groups) under which the two categories are equivalent, and study applications to topological modular forms. In particular, we provide new examples of Galois extensions of ring spectra and van…
A criterion for the existence of a plane model with two non-smooth Galois points for algebraic curves is presented, which is a generalization of Fukasawa's criterion for two smooth Galois points. Owing to this generalized criterion, multiplicities and order sequences at Galois points can be described in detail.
We give an effective criterion for openness of a morphism of schemes of finite type over a field: Over a normal base of dimension n, failure of openness is detected by a vertical component in the n'th fibred power of the morphism. This is a topological analogue of a criterion for flatness that originates with Auslander.
This is the first in a series of two papers concerned with relative birational geometry of algebraic spaces. In this paper, we study Prüfer spaces and Prüfer pairs of algebraic spaces that generalize spectra of Prüfer rings. As a particular case of Prüfer spaces we introduce valuation algebraic spaces, and use them to establish valuative criterion of universal closedness that sharpens the standard criterion. In the sequel paper, we will introduce a version of Riemann-Zariski spaces, and will prove Nagata compactification theorem for algebraic spaces.
In this paper, we give a new and efficient algebraic criterion for the pure as well as non-pure shellability of simplicial complex $Δ$ over [n]. We also give an algebraic characterization of a leaf in a simplicial complex (defined in [8]). Moreover, we introduce the concept of Gallai-simplicial complex $Δ_Γ(G)$ of a finite simple graph G. As an application, we show that the face ring of the Gallai simplicial complex associated to tree is Cohen-Macaulay.
An algebraic proof of Deligne's regularity criterion
光滑复代数簇$X$上的可积联络$\nabla$的Deligne正则性准则表明,在$X$的某个固定正规紧化中,$\nabla$沿无穷远处的不可约因子是正则的当且仅当$\nabla$对$X$上的每一条平滑曲线的约束是正则的({ \it i. e.}在无穷远处只有正则奇点)。"如果”的部分是很难的暗示。德利涅的证明是先验的,并使用Hironaka的奇点的分解。我们在这里给一个小学和纯粹的代数证明这个含义:这是,据我们所知,第一次代数证明德利涅的正则性标准。
A criterion for the existence of a birational embedding into a projective plane with three collinear Galois points for algebraic curves is presented. The extendability of an automorphism induced by a Galois point to a linear transformation of the projective plane is also discussed, under the assumption that two Galois points exist.
A criterion for the existence of a birational embedding into a projective plane with non-collinear Galois points for algebraic curves is presented. A new example of a plane curve with non-collinear Galois points as an application is described. Furthermore, a new characterization of the Fermat curve in terms of non-collinear Galois points is presented.
A criterion for the existence of a birational embedding of an algebraic curve into a projective plane with two Galois points is presented. Several novel examples of plane curves with two inner Galois points as an application are described.
在过去的几十年里,已经引入了不同的概念的稳定性的投影簇。本文给出了复不可约光滑射影曲线$C\subset \mathbb P ^n$的Chow稳定性和Hilbert稳定性的一个自然的内在判据。也就是说,如果$\mathbb P ^n$的切丛对$C$的限制$T\mathbb P_{|C} ^n$是稳定的,则$C\subset \mathbb P ^n$是Chow稳定的,因此是Hilbert稳定的。我们应用这个准则来描述一个光滑的开集的不可约组件$Hilb^{P(t),s}_{Ch}$的Hilbert格式的$\mathbb{P} ^n$包含一般光滑Chow稳定曲线的亏格$g$和程度$d>g+n-\left\lfloor\frac{g}{n+1}\right\rfloor.$此外,我们描述了这样的曲线的商栈。对于Hilbert稳定曲线的轨迹也得到了类似的结果。
We prove that projectivity is an open condition for deformations of algebraic spaces with rational singularities. V.2: references updated and corrected.
The tilting correspondence is a fundamental property of perfectoid fields. In this note, we show that the tilting construction can also be used to detect perfectoid fields among nonarchimedean fields. In particular, for $K$ a complete subfield of $\mathbb{C}_p$ (a completed algebraic closure of $\mathbb{Q}_p$), $K$ is perfectoid if and only if its tilt is not algebraic over $\mathbb{F}_p$. We also include some conjectures on APF (arithmetically profinite) extensions, perfectoid fields, and their relations.
In this short note we try to generalize the Clemens-Griffiths criterion of non-rationality for smooth cubic threefolds to the case of smooth cubic fourfolds.
We present an effective criterion to determine if a normal analytic compactification of C^2 with one irreducible curve at infinity is algebraic or not. As a by product we establish a correspondence between normal algebraic compactifications of C^2 with one irreducible curve at infinity and algebraic curves contained in C^2 with one place at infinity. Using our criterion we construct pairs of homeomorphic normal analytic surfaces with minimally elliptic singularities such that one of the surfaces is algebraic and the other is not. Our main technical tool is the sequence of "key forms" - a 'glob…
We address the question of identifying non-smooth points in affine real algebraic varieties. A simple algebraic criterion will be formulated and proven. As an application we can answer several questions about the configuration spaces of some class of planar linkages.
Given a reflexive sheaf on a mildly singular projective variety, we prove a flatness criterion under certain stability conditions. This implies the algebraicity of leaves for sufficiently stable foliations with numerically trivial canonical bundle such that the second Chern class does not vanish. Combined with the recent work of Druel and Greb-Guenancia-Kebekus this establishes the Beauville-Bogomolov decomposition for minimal models with trivial canonical class.
We construct a semi-orthogonal decomposition on the category of perfect complexes on the blow-up of a derived Artin stack in a quasi-smooth centre. This gives a generalization of Thomason's blow-up formula in algebraic K-theory to derived stacks. We also provide a new criterion for descent in Voevodsky's cdh topology, which we use to give a direct proof of Cisinski's theorem that Weibel's homotopy invariant K-theory satisfies cdh descent.