Related papers: A virtually ample field that is not ample

We give two criteria for a divisor on complex smooth projective variety to be ample using the multiplier ideal sheaf and the model category.

Iosevich and Senger (2008) showed that if a subset of the d-dimensional vector space over a finite field is large enough, then it contains many k-tuples of mutually orthogonal vectors. In this note, we provide a graph theoretic proof of…

Let $f:X\rightarrow Y$ be a generically smooth morphism between irreducible smooth projective curves over an algebraically closed field of arbitrary characteristic. We prove that the vector bundle $((f_*{\mathcal O}_X)/{\mathcal O}_Y)^*$ is…

If $C$ is a curve over $\mathbb{Q}$ with genus at least $2$ and $C(\mathbb{Q})$ is empty, then the class of fields $K$ of characteristic 0 such that $C(K) = \varnothing$ has a model companion, which we call $C\mathrm{XF}$. The theory…

For any integer $k\ge 1$, we show that there are infinitely many complex quadratic fields whose 2-class groups are cyclic of order $2^k$. The proof combines the circle method with an algebraic criterion for a complex quadratic ideal class…

Let K be a discretly henselian field whose residue field is separably closed. Answering a question raised by G. Prasad, we show that a semisimple K-- group G is quasi-split if and only if it quasi--splits after a finite tamely ramified…

Let ${\mathcal O}$ be the ring of $S$-integers in a number field $K$. For $A\in\rm{SL}_{2}(\mathcal{O})$ and $k\geq 1$, we define matrix-factorization varieties $V_k(A)$ over ${\mathcal O}$ which parametrize factoring $A$ into a product of…

Let $(X, \Delta)$ be a projective klt three dimensional pair defined over an algebraically closed field characteristic larger than 5. Let $L$ be a nef and big line bundle on $X$ such that $L-K_X-\Delta$ is big and nef. We show that $L$ is…

Let $S$ be a finitely generated abelian semigroup of invertible linear operators on a finite dimensional real or complex vector space $V$. We show that every coarsely dense orbit of $S$ is actually dense in $V$. More generally, if the orbit…

We say that a (countably dimensional) topological vector space $X$ is orbital if there is $T\in L(X)$ and a vector $x\in X$ such that $X$ is the linear span of the orbit ${T^nx:n=0,1,...}$. We say that $X$ is strongly orbital if,…

An integral quadratic lattice is called indefinite $k$-universal if it represents all integral quadratic lattices of rank $k$ for a given positive integer $k$. For $k\geq 3$, we prove that the indefinite $k$-universal property satisfies the…

We prove that for any compact quasi-smooth strictly $k$-analytic space $X$ there exist a finite extension $l/k$ and a quasi-\'etale covering $X'\to X\otimes_kl$ such that $X'$ possesses a strictly semistable formal model. This extends a…

Let $K=k(C)$ be the function field of a smooth projective curve $C$ over an infinite field $k$, let $X$ be a projective variety over $k$. We prove two results. First, we show with some conditions that a $K$-morphism $\phi: X_K \to X_K$ of…

If the $\ell$-adic cohomology of a projective smooth variety, defined over a $\frak{p}$-adic field $K$ with finite residue field $k$, is supported in codimension $\ge 1$, then any model over the ring of integers of $K$ has a $k$-rational…

Let R be a regular semi-local domain containing a field such that all the residue fields are infinite. Let K be the fraction field of R. Let q be a quadratic space over R on a free rank n R-module P such that the projective quadric q=0 is…

The ample hierarchy of geometries of stables theories is strict. We generalise the construction of the free pseudospace to higher dimensions and show that the n-dimensional free pseudospace is \omega-stable n-ample yet not (n+1)-ample. In…

We show that every orbispace satisfying certain mild hypotheses has 'enough' vector bundles. It follows that the K-theory of finite rank vector bundles on such orbispaces is a cohomology theory. Global presentation results for smooth…

For a number field $K$, we extend the notion of the ring class field of an order in $K$ [C. Lv and Y. Deng, SciChina. Math., 2015] to that of an arbitrary number ring in $K$. We give both ideal-theoretic and idele-theoretic description of…

Let $D$ be an integral domain and $L$ be a field containing $D$. We study the isolated points of the Zariski space $\mathrm{Zar}(L|D)$, with respect to the constructible topology. In particular, we completely characterize when $L$ (as a…

We prove that a finitely generated group $G$ is virtually free if and only if there exists a generating set for $G$ and $k > 0$ such that all $k$-locally geodesic words with respect to that generating set are geodesic.