English
Related papers

Related papers: Compatibly Frobenius split subschemes are rigid

200 papers

Let $\V$ be a mixed characteristic complete discrete valuation ring, let $\X$ and $\Y$ be two smooth formal $\V$-schemes, let $f_0$ : $X \to Y$ be a projective morphism between their special fibers, let $T$ be a divisor of $Y$ such that…

Algebraic Geometry · Mathematics 2009-01-26 Daniel Caro

Let $R$ be a ring of prime characteristic $p$, and let $F^e_* R$ denote $R$ viewed as an $R$-module via the $e$th iterated Frobenius map. Given a surjective map $\phi : F^e_* R \to R$ (for example a Frobenius splitting), we exhibit an…

Commutative Algebra · Mathematics 2012-06-01 Mordechai Katzman , Karl Schwede

Let $X$ be a smooth projective algebraic variety over $Z/p$, which has a flat lift to a scheme $X'$ over $Z/p^2$. If the absolute Frobenius morphism $F$ on $X$ lifts to a morphism on $X'$, then an old trick by Mazur shows that push-down of…

alg-geom · Mathematics 2008-02-03 A. Buch , J. F. Thomsen , N. Lauritzen , V. B. Mehta

We introduce a dynamical Mordell-Lang-type conjecture for coherent sheaves. When the sheaves are structure sheaves of closed subschemes, our conjecture becomes a statement about unlikely intersections. We prove an analogue of this…

Algebraic Geometry · Mathematics 2017-06-07 Jason P. Bell , Matthew Satriano , Susan J. Sierra

Let $X$ be a monoid scheme. We will show that the stalk at any point of $X$ defines a point of the topos $\Qc(X)$ of quasi-coherent sheaves over $X$. As it turns out, every topos point of $\Qc(X)$ is of this form if $X$ satisfies some…

Category Theory · Mathematics 2020-07-08 Ilia Pirashvili

The Hilbert scheme $X^{[3]}$ of length-$3$ subschemes of a smooth projective variety $X$ is known to be smooth and projective. We investigate whether the property of having a multiplicative Chow-Kuenneth decomposition is stable under taking…

Algebraic Geometry · Mathematics 2016-10-06 Mingmin Shen , Charles Vial

Principal affine open subsets in affine schemes are an important tool in the foundations of algebraic geometry. Given a commutative ring $R$, $\,R$-modules built from the rings of functions on principal affine open subschemes in…

Commutative Algebra · Mathematics 2020-05-27 Leonid Positselski , Alexander Slavik

We prove that if X is any 2-regular projective scheme (in the sense of Castelnuovo-Mumford) then X is "small". This means that if L is a linear space and Y:= L\cap X is finite, then Y is "linearly independent" in the sense that the…

Algebraic Geometry · Mathematics 2007-05-23 David Eisenbud , Mark Green , Klaus Hulek , Sorin Popescu

We study the geometry of the smooth projective surfaces that are defined by Frobenius forms, a class of homogenous polynomials in prime characteristic recently shown to have minimal possible F-pure threshold among forms of the same degree.…

Algebraic Geometry · Mathematics 2021-11-01 Anna Brosowsky , Janet Page , Tim Ryan , Karen E. Smith

We establish a version of the complex Frobenius theorem in the context of a complex subbundle S of the complexified tangent bundle of a manifold, having minimal regularity. If the subbundle S defines the structure of a Levi-flat…

Differential Geometry · Mathematics 2007-11-08 C. Denson Hill , Michael Taylor

In this note we show that Frobenius split smooth, projective threefolds are Hodge-Witt (using a criterion for the degeneration of the slope spectral sequence of smooth projective threefolds which we prove), and that smooth, projective…

Algebraic Geometry · Mathematics 2013-06-14 Kirti Joshi

We study the structure of Jacobians of geometrically reduced curves over arbitrary (i. e., not necessarily perfect) fields. We show that, while such a group scheme cannot in general be decomposed into an affine and an Abelian part as over…

Algebraic Geometry · Mathematics 2023-10-30 Otto Overkamp

In 2001, de Oliveira, Katzarkov, and Ramachandran conjectured that the property of smooth projective varieties having big fundamental groups is stable under small deformations. This conjecture was proven by Beno\^it Claudon in 2010 for…

Algebraic Geometry · Mathematics 2024-12-12 Ya Deng , Chikako Mese , Botong Wang

To each complex composition algebra $\mathbb{A}$, there associates a projective symmetric manifold $X(\mathbb{A})$ of Picard number one, which is just a smooth hyperplane section of the following varieties ${\rm Lag}(3,6), {\rm Gr}(3,6),…

Algebraic Geometry · Mathematics 2026-05-27 Yifei Chen , Baohua Fu , Qifeng Li

Let S be a smooth projective surface, K be the canonical class of S and H be an ample divisor such that H.K<0 . In this paper we prove that for any rigid (Ext^1(F,F)=0) semistable sheaf F in the sense of Mumford--Takemoto stability w.r.t. H…

alg-geom · Mathematics 2008-02-03 Boris V. Karpov

Let K be the function field of a connected regular scheme S of dimension 1, and let f : X -> Y be a finite cover of projective smooth and geometrically connected curves over K with g(X) greater or equal to 2. Suppose that f can be extended…

Algebraic Geometry · Mathematics 2016-09-29 Qing Liu

This paper is about sheaf cohomology for varieties (schemes) in characteristic $p>0$. We assume the presence of a Frobenius splitting. (See V.B. Mehta and A. Ramanathan, Frobenius splitting and cohomology vanishing for Schubert varieties,…

alg-geom · Mathematics 2009-10-22 V. B. Mehta , Wilberd van der Kallen

In this article, we first prove a general result in topology which states that every quasi-component of a quasi-spectral space is connected. \\ As an application, the structure of the connected components of every quasi-compact…

Commutative Algebra · Mathematics 2026-04-17 Abolfazl Tarizadeh

In this paper we study Frobenius bimodules between noncommutative spaces (quasi-schemes), developing some of their basic properties. If X and Y are spaces, we study those Frobenius X,Y-bimodules M satisfying properties that are natural in…

Quantum Algebra · Mathematics 2007-05-23 Christopher J. Pappacena

We prove the following result: Let B be a smooth, irreducible, quasi-projective variety over the complex numbers and assume that B has a projective compactification \bar{B} such that \bar{B} - B is of codimension at least two in \bar{B}.…

Algebraic Geometry · Mathematics 2007-05-23 Najmuddin Fakhruddin