Related papers: Abundance for uniruled pairs which are not rationa…
We prove some results on effective very ampleness and projective normality for some varieties with trivial canonical bundle. In the first part we prove an effective projective normality result for an ample line bundle on regular smooth…
Let $X$ be a smooth complex projective rationally connected threefold with $-K_X$ nef and not semi-ample. In our previous work, we classified all such threefolds when $|{-}K_X|$ has no fixed divisor. In this paper, we continue our…
We describe a general program for studying the dynamics of surjective endomorphisms of algebraic varieties that are amenable to techniques from the minimal model program. We obtain density results on the pre-periodic points of surjective…
In this article we prove the topological minimality of unions of several almost orthogonal planes of arbitrary dimensions. A particular case was proved in arXiv:1103.1468, where we proved the Almgren minimality (which is a weaker property…
In this article, we study the index of log Calabi--Yau pairs $(X,B)$ of coregularity 0. We show that $2\lambda(K_X+B)\sim 0$, where $\lambda$ is the Weil index of $(X,B)$. This is in contrast to the case of klt Calabi--Yau varieties, where…
Consider a rational map from a projective space to a product of projective spaces, induced by a collection of linear projections. Motivated by the the theory of limit linear series and Abel-Jacobi maps, we study the basic properties of the…
The Kahler moduli space of a particular non-simply-connected Calabi-Yau manifold is mapped out using mirror symmetry. It is found that, for the model considered, the chiral ring may be identical for different associated conformal field…
A double cover $Y$ of $\mathbb{P}^1 \times \mathbb{P}^2$ ramified over a general $(2,2)$-divisor will have the structure of a geometrically standard conic bundle ramified over a smooth plane quartic $\Delta \subset \mathbb{P}^2$ via the…
This paper is devoted to studying the deformation behavior of pseudo-effective canonical divisors and volumes of adjoint classes in K\"ahler families. Based on recent developments in the K\"ahler minimal model program, for flat families…
Let $X$ be a smooth projective rationally connected threefold with nef anticanonical divisor. We give a classification for the case when $-K_X$ is not semi-ample.
In this article we show that if $(X, \Delta)$ is a log canonical compact K\"ahler $3$-fold such that $K_X+\Delta$ is nef and the numerical dimension $\nu(K_X+\Delta)\neq 2$, then $K_X+\Delta$ is semi-ample.
A variety is unirational if it is dominated by a rational variety. A variety is rationally connected if two general points can be joined by a rational curve. This paper aims to show that the two notions can cooperate and, building on…
After establishing suitable notions of stability and Chern classes for singular pairs, we use K\"ahler-Einstein metrics with conical and cuspidal singularities to prove the slope semistability of orbifold tangent sheaves of minimal…
In the famous paper of Deligne and Mumford, they proved that a proper hyperbolic curve over a discrete valuation field has stable reduction if and only if the Jacobian variety of the curve has stable reduction in the case where the residue…
Let R be a left Artinian ring, and M a faithful left R-module which is minimal, in the sense that no proper submodule or proper homomorphic image of M is faithful. If R is local, and socle(R) is central in R, we show that…
Let $X$ be a normal, connected and projective variety over an algebraically closed field $k$. It is known that a vector bundle $V$ on $X$ is essentially finite if and only if it is trivialized by a proper surjective morphism $f:Y\to X$. In…
The existence of a maximal ideal in a general nontrivial commutative ring is tied together with the axiom of choice. Following Berardi, Valentini and thus Krivine but using the relative interpretation of negation (that is, as "implies 0 =…
A super-minimally $k$-connected matroid is a $k$-connected matroid having no proper $k$-connected restriction of size at least $2k-2$. This extends the corresponding concept for graphs. For $k=2$ and $k=3$, we determine the maximum size of…
A longstanding open problem in lambda calculus is whether there exist continuous models of the untyped lambda calculus whose theory is exactly the least lambda-theory lambda-beta or the least sensible lambda-theory H (generated by equating…
Minimal sentence pairs are frequently used to analyze the behavior of language models. It is often assumed that model behavior on contrastive pairs is predictive of model behavior at large. We argue that two conditions are necessary for…