English
Related papers

Related papers: Bertini's theorem for $F$-rational $F$-pure singul…

200 papers

A singular curve over a non-perfect field K may not have a smooth model over K. Those are said to "change genus". If K is a global field of positive characteristic and C/K a curve that change genus, then C(K) is known to be finite. The…

alg-geom · Mathematics 2008-02-03 Jose' Felipe Voloch

One version of the classical Lefschetz hyperplane theorem states that for $U \subset \mathbb P^n$ a smooth quasi-projective variety of dimension at least $2$, and $H \cap U$ a general hyperplane section, the resulting map on \'etale…

Algebraic Geometry · Mathematics 2020-05-22 Aaron Landesman

We study singularities f in K[[x_1,...,x_n]] over an algebraically closed field K of arbitrary characteristic with respect to right respectively contact equivalence, and we establish that the finiteness of the Milnor respectively the…

Algebraic Geometry · Mathematics 2012-03-27 Yousra Boubakri , Gert-Martin Greuel , Thomas Markwig

Let $X$ be a regular tame stack. If $X$ is locally of finite type over a field, we prove that the essential dimension of $X$ is equal to its generic essential dimension, this generalizes a previous result of P. Brosnan, Z. Reichstein and…

Algebraic Geometry · Mathematics 2023-11-29 Giulio Bresciani , Angelo Vistoli

In this paper we study $F$-divided bundles on irreducible Noetherian normal $F$-finite $\mathbb{F}_p$-schemes and we show that their Tannakian category is governed by the behaviour at the generic point. In particular, if $U\subset X$ is an…

Algebraic Geometry · Mathematics 2025-10-14 Adrian Langer , Lei Zhang

Let $X$ be a smooth compact complex surface subject to the following conditions: (i) the canonical line bundle $\mathcal{O}_X(K_X) $ is very ample, (ii) the irregularity $q(X): = h^1(\mathcal{O}_X) =0$, (iii) $X$ contains no rational normal…

Algebraic Geometry · Mathematics 2018-03-06 Igor Reider

We establish axiomatic characterizations of $K$-theory and $KK$-theory for real C*-algebras. In particular, let $F$ be an abelian group-valued functor on separable real C*-algebras. We prove that if $F$ is homotopy invariant, stable, and…

Operator Algebras · Mathematics 2012-10-15 Jeffrey L. Boersema , Efren Ruiz

Let R be a commutative noetherian local ring and consider the set of isomorphism classes of indecomposable totally reflexive R-modules. We prove that if this set is finite, then either it has exactly one element, represented by the rank 1…

Commutative Algebra · Mathematics 2008-02-22 Lars Winther Christensen , Greg Piepmeyer , Janet Striuli , Ryo Takahashi

Let $X$ be a normal, connected and projective variety over an algebraically closed field $k$. It is known that a vector bundle $V$ on $X$ is essentially finite if and only if it is trivialized by a proper surjective morphism $f:Y\to X$. In…

Algebraic Geometry · Mathematics 2017-02-14 Fabio Tonini , Lei Zhang

Suppose that $R$ is a ring essentially of finite type over a perfect field of characteristic $p > 0$ and that $a \subseteq R$ is an ideal. We prove that the set of $F$-jumping numbers of $\tau_b(R; a^t)$ has no limit points under the…

Commutative Algebra · Mathematics 2011-08-16 Karl Schwede

Let $k$ be a noetherian commutative ring and let $G$ be a finite flat group scheme over $k$. Let $G$ act rationally on a finitely generated commutative $k$-algebra $A$. We show that the cohomology algebra $H^*(G,A)$ is a finitely generated…

Representation Theory · Mathematics 2023-07-31 Wilberd van der Kallen

We show that any complete local (normal) domain admits a module-finite quasi-Gorenstein normal (complete local) domain extension. In the geometric vein, we show that any normal projective variety $X$ over a field admits a finite surjective…

Commutative Algebra · Mathematics 2025-03-28 Ehsan Tavanfar

We consider the question of simplicity of a ring $R$ under the action of its ring of differential operators $D_R$. We give examples to show that even when $R$ is Gorenstein and has rational singularities $R$ need not be a simple…

Algebraic Geometry · Mathematics 2021-11-10 Devlin Mallory

Let $K$ be a field of characteristic zero over which every diagonal form in sufficiently many variables admits a nontrivial solution. For example, $K$ may be a totally imaginary number field or a finite extension of a $p$-adic field.…

Number Theory · Mathematics 2025-09-01 Amichai Lampert

We introduce a notion of tame ramification for general finite covers. When specialized to the separable case, it extends to higher dimensions the classical notion of tame ramification for Dedekind domains and curves and sits nicely in…

Algebraic Geometry · Mathematics 2025-03-31 Javier Carvajal-Rojas , Anne Fayolle

We show the existence of a hypersurface that contains a given closed subscheme of a projective space over a finite field and intersects a smooth quasi-projective scheme smoothly, under some condition on the dimension. This generalizes a…

Number Theory · Mathematics 2016-11-29 Franziska Wutz

Let $k$ be an algebraically closed field of characteristic zero, and let $X/k$ be a projective variety. The conjectures of Demailly--Green--Griffiths--Lang posit that every integral subvariety of $X$ is of general type if and only if $X$ is…

Algebraic Geometry · Mathematics 2023-06-26 Jackson S. Morrow

Let $k$ be a finitely generated field of characteristic $p > 0$ and $\ell$ a prime. Let $X$ be a smooth, separated, geometrically connected curve of finite type over $k$ and $\rho: \pi_1(X)\rightarrow GL_r(\mathbb Z_{\ell})$ a continuous…

Number Theory · Mathematics 2019-04-10 Emiliano Ambrosi

We prove that hypersurfaces defined by irreducible square-free polynomials have rational singularities. As an easy consequence, we deduce that certain (possibly non-square-free) polynomials associated to pairs of square-free polynomials…

Algebraic Geometry · Mathematics 2025-05-13 Daniel Bath , Mircea Mustaţă , Uli Walther

If $S$ is a scheme of characteristic $p$, we define an $F$-zip over $S$ to be a vector bundle with two filtrations plus a collection of semi-linear isomorphisms between the graded pieces of the filtrations. For every smooth proper morphism…

Algebraic Geometry · Mathematics 2007-05-23 B. Moonen , T. Wedhorn