Related papers: Base point free theorems--saturation, b-divisors, …

We introduce various new operations for quasi-log structures. Then we prove the basepoint-free theorem of Reid--Fukuda type for quasi-log schemes as an application.

We show that the anti-canonical bundle of any $\mathbb Q$-factorial surface is numerically effective if and only if it is pseudo-effective. To prove this, we establish a numerical non-vanishing theorem for surfaces polarized with…

This paper revisits the well-studied fixed point problem from a unified viewpoint of mathematical modeling and canonical duality theory, i.e. the original problem is first reformulated as a nonconvex optimization problem, its well-posedness…

We show that a weak version of the canonical bundle formula holds for fibrations of relative dimension one. We provide various applications thereof, for instance, using the recent result of Xu and Zhang, we prove the log non-vanishing…

In this paper, we use canonical bundle formulas to prove some generalizations of an old theorem of Kawamata on the semiampleness of nef and abundant log canonical divisors. In particular, we show that for klt pairs $(X,B)$ with $K_X+B$…

One of the central open questions in bounded arithmetic is whether Buss' hierarchy of theories of bounded arithmetic collapses or not. In this paper, we reformulate Buss' theories using free logic and conjecture that such theories are…

Let $(X,D)$ be log canonical pair such $\dim X = 3$ and the divisor $-(K_X + D)$ is nef and big. For a special class of such $(X,D)$'s we prove that the linear system $|-n(K_{X}+D)|$ is free for $n \gg 0$.

We prove the abundance theorem for log canonical $n$-folds such that the boundary divisor is big assuming the abundance conjecture for log canonical $(n-1)$-folds. We also discuss the log minimal model program for log canonical $4$-folds.

Projective spaces for finite-dimensional vector spaces over general fields are considered. The geometry of these spaces and the theory of line bundles over these spaces is presented. Particularly, the space of global regular sections of…

We study base-point-freeness for big and nef line bundles on hyperk\"ahler manifolds of generalized Kummer type: For $n\in \{2,3,4\}$, we show that, generically in all but a finite number of irreducible components of the moduli space of…

We give a quick survey of the various fixed point theorems in computability theory, partial combinatory algebra, and the theory of numberings, as well as generalizations based on those. We also point out several open problems connected to…

I give a necessary and sufficient condition for a nef and big line bundle in positive characteristic to be semi-ample, and then give two applications: I show that the relative dualizing sheaf of the universal curve is semi-ample, in…

We prove the abundance theorem for numerically trivial log canonical divisors of log canonical pairs and semi-log canonical pairs.

Motivated by the classical theory of spin structures, we develop a theory for lifting free C$^*$-dynamical systems, a.k.a. noncommutative principal bundles, along central extensions. This theory extends the bundle-theoretic notion of spin…

In this note we establish a new Fujita-type effective bound for the base point freeness of adjoint line bundles on a compact complex projective manifold of complex dimension $n$. The bound we obtain (approximately) differs from the linear…

Let X be a projective 3-fold with at most Q-factorial terminal singularities on which K_X is nef and big. Suppose the canonical index r(X)>1. For any positive integer m, it is interesting to consider the base point freeness and…

In this article we present a refinement of the base point free theorem for threefolds in positive characteristic. If $L$ is a nef Cartier divisor of numerical dimension at least one on a projective Kawamata log terminal threefold…

We prove Fujita-type basepoint-freeness for projective quasi-log canonical curves and surfaces.

A determination of the fixed components, base points and irregularity is made for arbitrary numerically effective divisors on any smooth projective rational surface having an effective anticanonical divisor. All of the results are proven…

We study the structure of Frobenius splittings (and generalizations thereof) induced on compatible subvarieties $W \subseteq X$. In particular, if the compatible splitting comes from a compatible splitting of a divisor on some birational…