Related papers: Boundedness and $K^2$ for log surfaces
We define a geometrically meaningful compactification of the moduli space of smooth plane curves, which can be calculated explicitly. The basic idea is to regard a plane curve D in P^2 as a pair (P^2,D) of a surface together with a divisor,…
Let B be a nef and big line bundle on a smooth complex threefold X with canonical bundle K. Let x be a point on X and suppose that BC\ge3 for any curve C passing x, B^2S\ge7 for any surface S containing x, and B^3\ge51. Then K+B is spanned…
We consider $K_X$-negative extremal contractions $f\colon X\to (Z,o)$, where $X$ is an algebraic threefold with only $\epsilon$-log terminal Q-factorial singularities and $(Z,o)$ is a two (resp., one)-dimensional germ. The main result is…
Given a smooth complex projective surface $S$ and an ample divisor $H$ on $S$, consider the blow up of $S$ along $k$ points in general position. Let $H'$ be the pullback of $H$ and $E_1,..., E_k$ be the exceptional divisors. We show that $L…
All varieties, extremal contractions, singularities are divided on exceptional and non-exceptional ones. Roughly speaking, there are the infinite families of non-exceptional varieties, extremal contractions or singularities and only the…
Let $S$ be a minimal surface of general type with $p_g(S)=2$ and $K^2_S=1$, so called by a minimal $(1,2)$-surface. Then we obtain that the global log canonical threshold of the surface $S$ via $K_S$ is greater than equal to $\frac{1}{2}$.…
We prove that if two subsets ${A}$ and ${B}$ of the plane are connected, ${A}$ is bounded, and the Euclidean distance $\rho({A},{B})$ between ${A}$ and ${B}$ is greater than zero, then for every positive $\varepsilon<\rho({A},{B})$, the…
Surfaces of general type with positive second Segre number are known to have big cotangent bundle. We give a new criterion ensuring that a surface of general type with canonical singularities has a minimal resolution with big cotangent…
The canonical ring $S_D = \bigoplus_{d \geq 0} H^0(X, \lfloor dD \rfloor)$ of a divisor D on a curve X is a natural object of study; when D is a Q-divisor, it has connections to projective embeddings of stacky curves and rings of modular…
We consider a class of discontinuous piecewise linear differential systems in $\mathbb{R}^3$ with two pieces separated by a plane. In this class we show that there exist differential systems having: a unique limit cycle, a unique…
We call a log variety (X, D) algebraically hyperbolic if there exists a positive number e such that 2g(C) - 2 + i(C, D) >= e deg(C) for all curves C on X, where i(C, D) is the number of the intersections between D and the normalization of…
We study minimal surfaces X of general type with $K^2_X=6p_g-14$ and $q(X)>0$ such that $K_X$ is ample, the image of the canonical map is a canonically embedded surface of general type and the canonical map is not birational. The main…
Let $k$ be an $F$-finite field containing an infinite perfect field of positive characteristic. Let $(X, \Delta)$ be a projective log canonical pair over $k$. In this note we show that, for a semi-ample divisor $D$ on $X$, there exists an…
We prove that if Y is a hypersurface of degree d in P^n with isolated singularities, then the log canonical threshold of (P^n,Y) is at least min{n/d,1}. Moreover, if d is at least n+1, then we have equality if and only if Y is the…
Let $\R$ be a real closed field, $\mathcal{P},\mathcal{Q} \subset \R[X_1,...,X_k]$ finite subsets of polynomials, with the degrees of the polynomials in $\mathcal{P}$ (resp. $\mathcal{Q}$) bounded by $d$ (resp. $d_0$). Let $V \subset \R^k$…
We give a classification of the dual graphs of the exceptional divisors on the minimal resolutions of log canonical foliation singularities on surfaces. For an application, we show the set of foliated minimal log discrepancies for foliated…
Let $S$ be a rational surface with $\dim|-K_S|\ge 1$ and let $\pi: X\rightarrow S$ be a ramified cyclic covering from a nonruled smooth surface $X$. We show that for any integer $k\ge 3$ and ample divisor $A$ on $S$, the adjoint divisor…
1) Assuming log Minimal Model Conjecture, we give a construction of a complete moduli space of stable log pairs of arbitrary dimension generalizing directly the space M_{g,n} of pointed stable curves. Each stable pair has semi log canonical…
In this paper we prove that if S is a smooth, irreducible, projective, rational, complex surface and D an effective, connected, reduced divisor on S, then the pair (S,D) is contractible if the log-Kodaira dimension of the pair is $-\infty$.…
Near a singular point of a surface or a curve, geometric invariants diverge in general, and the orders of diverge, in particular the boundedness about these invariants represent geometry of the surface and the curve. In this paper, we study…