Related papers: A remark on the Rost Nilpotence Principle

This paper is concerned with algebraic geometry over complete discretely valued fields $K$ of equicharacteristic zero. Several results are given including: the canonical projection $K^{n} \times K\mathbb{P}^{m} \longrightarrow K^{n}$ and…

We give a geometric proof that Hasse principle holds for the following varieties defined over global function fields: smooth quadric hypersurfaces in odd characteristic, smooth cubic hypersurfaces of dimension at least $4$ in characteristic…

I give a proof of Zel'manov's theorem that if $L$ is an $n$-Engel Lie algebra over a field $F$ of characteristic zero then $L$ is (globally) nilpotent. This is a very important result which extends Kostrikin's theorem that $L$ is locally…

We consider the problem of smoothing algebraic cycles with rational coefficients on smooth projective complex varieties up to homological equivalence. We show that a solution to this problem would be incompatible with the validity of the…

In this article, we prove an extension property of semipositively metrized ample invertible sheaves on a projective scheme over a complete non-archimedean valued field. As an application, we establish a Nakai-Moishezon type criterion for…

We prove two results on the defining ideals of certain varieties of matrices. Let us fix two positive integers r, e. Let M(r) be the set of r x r matrices over a field K. We consider the closed subscheme of the nilpotent variety of M(r)…

We prove conservativity results for weak K\H{o}nig's lemma that extend the celebrated result of Harrington (for $\Pi^1_1$-statements) and are somewhat orthogonal to the extension by Simpson, Tanaka and Yamazaki (for statements of the form…

In this note we study sets of NIP formulas in some theories of fields and valued fields, with a special focus on the sets of quantifier-free and existential formulas. First, we give a new proof of the fact that Separably Closed Valued…

We present scheme theoretic methods that apply to the study of secant varieties. This mainly concerns finite schemes and their smoothability. The theory generalises to the base fields of any characteristic, and even to non-algebraically…

Let $k$ be a perfect field of characteristic $p>0$, $k(t)_{per}$ the perfect closure of $k(t)$ and $A$ a $k$-algebra. We characterize whether the ring $A\otimes_k k(t)_{per}$ is noetherian or not. As a consequence, we prove that the ring…

The goal of this paper is to present proofs of two results of Markus Rost: the Chain Lemma and the Norm Principle. These are the final steps needed to complete the publishable verification of the Bloch-Kato conjecture, that the norm residue…

We give a formula of the Donaldson-Futaki invariants for certain type of semi test configurations, which essentially generalizes Ross-Thomas' slope theory. The positivity (resp. non-negativity) of those "a priori special" Donaldson-Futaki…

The biduality and reflexivity theorems are known to hold for projective varieties defined over fields of characteristic zero, and to fail in positive characteristic. In this article, we construct a notion of reflexivity and biduality in…

We show in Bishop's constructive mathematics---in particular, using countable choice---that weak K\"{o}nig's lemma implies the uniform continuity theorem.

Let $G$ be a reductive group over a field $k$ of characteristic $\neq 2$, let ${\mathfrak g}=\Lie(G)$, let $\theta$ be an involutive automorphism of $G$ and let ${\mathfrak g}={\mathfrak k}\oplus{\mathfrak p}$ be the associated symmetric…

Corvaja and Zannier asked whether a smooth projective integral variety with a dense set of rational points over a number field satisfies the weak Hilbert property. We introduce an extension of the weak Hilbert property for schemes over…

We generalize the functorial quasi-isomorphism in \cite{Davis2011} from overconvergent Witt de-Rham cohomology to rigid cohomology on smooth varieties over a finite field $k$, dropping the quasi-projectiveness condition. We do so by…

In this paper, we study a refined L2 version of the semiclassical approximation of projectively invariant elliptic operators with invariant Morse type potentials on covering spaces of compact manifolds. We work on the level of spectral…

We show that a smooth Moishezon space $Y$ is non-projective if and only if it contains a rational curve such that $-[C] \in \overline{\mathrm{NE}}(Y)$. More generally, this holds if $Y$ has $\mathbb{Q}$-factorial, log terminal…

We show that Nori's fundamental group scheme \pi(X,x) does not base change correctly under extension of the base field for certain smooth projective ordinary curves X of genus 2 defined over a field of characteristic 2.