Related papers: Abundance theorem for surfaces over imperfect fiel…
This paper builds fundamental perfect fields of positive characteristic and shows the structure of perfect fields that a field of positive characteristic is a perfect field if and only if it is an algebraic extension of a fundamental…
We prove the base point free theorem for log canonical foliated pairs of rank one on a Q-factorial projective klt threefold. Moreover, we show abundance in the case of numerically trivial log canonical foliated pairs of rank one in any…
In this paper we prove a result on the effective generation of pluri-canonical linear systems on foliated surfaces of general type. Fix a function $P: \mathbb Z_{\geq 0}\to \mathbb Z $, then there exists an integer $N_1>0$ such that if…
The present work deals with the canonical map of smooth, compact complex surfaces of general type in a polarization of type $(1,2,2)$ on an abelian threefold. A natural and classical question is whether the canonical system of such surfaces…
We prove that a log surface has only finitely many weakly log canonical projective models with klt singularities up to log isomorphism, by reducing the problem to the boundedness of their polarization.
We develop a gluing theory in the sense of Koll\'{a}r for slc surfaces and threefolds in positive characteristic. For surfaces we are able to deal with every positive characteristic $p$, while for threefolds we assume that $p>5$. Along the…
We prove a prime geodesic theorem for compact quotients of affine buildings and apply it to get class number asymptotics for global fields of positive characteristic.
We establish the minimal model program for log canonical and Q-factorial surfaces over excellent base schemes.
In the first section of this paper we prove a theorem for the number of columns of a rectangular area that are identical to the given one. In the next section we apply this theorem to derive several combinatorial identities by counting…
We show that a proof in multiplicative linear logic can be represented as a decorated surface, such that two proofs are logically equivalent just when their surfaces are geometrically equivalent. This is an extended abstract for…
We prove the ascending chain condition for log canonical thresholds of bounded coregularity.
We show that the log canonical threshold polytopes of varieties with log canonical singularities satisfy the ascending chain condition.
We present a new structure theorem for finite fields of odd order that relates multiplicative and additive structure in an interesting way. This theorem has several applications, including an improved understanding of Dickson and Chebyshev…
The purpose of this note is to give an (esentially optimal) effective version of Matsusaka's Big theorem for smooth projective surfaces.
We prove an upper bound on the log canonical threshold of a hypersurface that satisfies a certain power condition and use it to prove several generalizations of Igusa's conjecture on exponential sums, with the log-canonical threshold in the…
We extend fundamental inequalities related to the canonical map of surfaces of general type to positive characteristic. Next, we classify surfaces on the Noether lines, i.e., even and odd Horikawa surfaces, in positive characteristic. We…
We give a mathematical structure on an arithmetic surface, that has algebraic meanings over finite places and can estimate the canonical norm for a relative differential form on the arithmetic surface. This will give a lower bound for the…
We propose a subconjecture that implies the semiampleness conjecture for quasi-numerically positive log canonical divisors and prove the semiampleness in some elementary cases.
We present an extension of several results on pairs and varieties to foliated surface pairs. We prove the boundedness of local complements, the local index theorem, and the uniform boundedness of minimal log discrepancies (mlds), as well as…
We prove an explicit upper bound on the number of real quadratic fields that admit a universal quadratic form of a given rank, thus establishing a density zero statement. More generally, we obtain such a result for totally positive definite…