Related papers: On the finiteness of ample models

Given an ambient variety $X$ and a fixed subvariety $Z$ we give sufficient conditions for the existence of a boundary $\Delta$ such that $Z$ is a log canonical center for the pair $(X, \Delta)$. We also show that under some additional…

We give another alternative proof to the Kawamata semiampleness theorem for the log canonical divisors on klt varieties which are nef and abundant. After the first version of this article was posted to the e-print Arxiv, Prof. Fujino…

It is conjectured that there exist finitely many isomorphism classes of simple endomorphism algebras of abelian varieties of GL_2-type over \Q of bounded dimension. We explore this conjecture when particularized to quaternion endomorphism…

Let $\kappa$ be a regular cardinal. Consider the Baire numbers of the spaces $(2^{\theta})_\kappa$ (functions from $\theta$ to 2 and the less than $\kappa$ topology) for various $\theta \geq \kappa$. Let l be the number of such different…

Given a three-dimensional projective log canonical pair over a perfect field of characteristic larger than five, there exists a minimal model program that terminates after finitely many steps.

We formulate and analyze several finiteness conjectures for linear algebraic groups over higher-dimensional fields. In fact, we prove all of these conjectures for algebraic tori as well as in some other situations. This work relies in an…

Let $R$ be a commutative Noetherian ring of prime characteristic $p$. In this paper we give a short proof using filter regular sequences that the set of associated prime ideals of $H^t_I(R)$ is finite for any ideal $I$ and for any $t \ge 0$…

In this note we study properties of partially ample line bundles on simplicial projective toric varieties. We prove that the cone of q-ample line bundles is a union of rational polyhedral cones, and calculate these cones in examples. We…

We present a new relation between an invariant of singularities in characteristic zero (the log canonical threshold) and an invariant of singularities defined via the Frobenius morphism in positive characteristic (the F-pure threshold). We…

This paper is a gentle introduction to the theory of quasi-log varieties by Ambro. We explain the fundamental theorems for the log minimal model program for log canonical pairs. More precisely, we give a proof of the base point free theorem…

We sketch a proof of the abundance conjecture that the Kodaira dimension of a compact complex algebraic manifold equals its numerical Kodaira dimension. The proof consists of the following three parts: (i) the case of numerical Kodaira…

Based on the recently developed theory of random sequential compactness, we prove the random Kakutani fixed point theorem in random normed modules: if G is a random sequentially compact L0-convex subset of a random normed module, then every…

We prove the isogeny property for special fibres of integral canonical models of compact Shimura varieties of $A_n$, $B_n$, $C_n$, and $D_n^{\dbR}$ type. The approach used also shows that many crystalline cycles on abelian varieties over…

Given a logarithmic $1$-form on the snc locus of a log canonical surface pair $(X, D)$ over a perfect field of characteristic $p \ge 7$, we show that it extends with at worst logarithmic poles to any resolution of singularities. We also…

The continuous modal mu-calculus is a fragment of the modal mu-calculus, where the application of fixpoint operators is restricted to formulas whose functional interpretation is Scott-continuous, rather than merely monotone. By…

We define a notion of model for the $\lambda$$\Pi$-calculus modulo theory and prove a soundness theorem. We then define a notion of super-consistency and prove that proof reduction terminates in the $\lambda$$\Pi$-calculus modulo any…

Let $X$ be a projective Frobenius split variety over an algebraically closed field with splitting $\theta : F_* \O_X \to \O_X$. In this paper we give a sharp bound on the number of subvarieties of $X$ compatibly split by $\theta$. In…

The authors and D. Martinelli proved the base point free theorem for big line bundles on a three-dimensional log canonical projective pair defined over the algebraic closure of a finite field. In this paper, we drop the bigness condition…

By using the technique of supersymmetric quantum mechanics, we study a quasi exactly solvable extension of the N-particle rational Calogero model with harmonic confining interaction. Such quasi exactly solvable many particle system, whose…

We discuss the log minimal model theory for log surfaces. We show that the log minimal model program, the finite generation of log canonical rings, and the log abundance theorem for log surfaces hold true under assumptions weaker than the…