arXiv research

Classifies normal stable Horikawa surfaces with smoothable singularities.

Characterizes Q-Gorenstein singularities via K-stability.

We prove the existence of Kahler-Einstein metrics on Q-Gorenstein smoothable, K-polystable Q-Fano varieties, and we show how these metrics behave, in the Gromov-Hausdorff sense, under Q-Gorenstein smoothings.

Cylindrical contact homology linked to Ehrhart polynomials and Chen-Ruan cohomology.

In this article we prove that Fintushel-Stern's construction of Horikawa surface, which is obtained from an elliptic surface via a rational blow-down surgery in smooth category, can be performed in complex category. The main technique involved is Q-Gorenstein smoothings.

We present methods to construct interesting surfaces of general type via $\mathbb{Q}$-Gorenstein smoothing of a singular surface obtained from an elliptic surface. By applying our methods to special Enriques surfaces, we construct new examples of a minimal surface of general type with $p_g=0$, $π_1=\mathbb{Z}/2\mathbb{…

We show that in any $\mathbb{Q}$-Gorenstein flat family of klt singularities, normalized volumes are lower semicontinuous with respect to the Zariski topology. A quick consequence is that smooth points have the largest normalized volume among all klt singularities. Using an alternative characterization of K-semistabili…

We show that in any $\mathbb{Q}$-Gorenstein flat family of klt singularities, normalized volumes can only jump down at countably many subvarieties. A quick consequence is that smooth points have the largest normalized volume among all klt singularities. Using an alternative characterization of K-semistability developed…

We construct a new family of simply connected minimal complex surfaces with $p_g=1$, $q=0$, and $K^2=8$ using a $\mathbb{Q}$-Gorenstein smoothing theory.

As the sequel to [5, 7], we construct a simply connected minimal complex surface of general type with p_g = 0 and K^2 = 4 by using a rational blow-down surgery and Q-Gorenstein smoothing theory.

It has long been known that every quasi-homogeneous normal complex surface singularity with Q-homology sphere link has universal abelian cover a Brieskorn complete intersection singularity. We describe a broad generalization: First, one has a class of complete intersection normal complex surface singularities called "s…

We obtain a growth estimate for the number of lattice points inside any Q-Gorenstein cone. Our proof uses the result of Futaki-Ono-Wang on Sasaki-Einstein metric for the toric Sasakian manifold associated to the cone, a Yau's inequality, and the Kawasaki-Riemann-Roch formula for orbifolds.

For any $\mathbb{Q}$-Gorenstein klt singularity $(X,o)$, we introduce a normalized volume function $\widehat{\rm vol}$ that is defined on the space of real valuations centered at $o$ and consider the problem of minimizing $\widehat{\rm vol}$. We prove that the normalized volume has a uniform positive lower bound by pro…

We show that there is a complex structure on the symplectic 4-manifold $W_{4, k}$ obtained from the elliptic surface E(4) by rationally blowing down $k$ sections for $2\le k\le 9$. And we interpret it via ${\mathbb Q}$-Gorenstein smoothing. This answers affirmatively to a question raised by R. Gompf.

We show that the explicit ALE Ricci-flat Kahler metrics constructed by Eguchi-Hanson, Gibbons-Hawking, Hitchin and Kronheimer, and their free quotients are metrics obtained by Tian-Yau techniques. The proof relies on a construction of good compactifications of Q-Gorenstein deformations of quotient surface singularities…

The main result of this paper is a construction of fundamental domains for certain group actions on Lorentz manifolds of constant curvature. We consider the simply connected Lie group G~, the universal cover of the group SU(1,1) of orientation-preserving isometries of the hyperbolic plane. The Killing form on the Lie g…

In this paper we construct a new family of simply connected minimal complex surfaces of general type with $p_g=1$, $q=0$, and $K^2=3, 4, 5, 6, 8$ using a $\mathbb{Q}$-Gorenstein smoothing theory. We also reconstruct minimal complex surfaces of general type with $p_g=1$, $q=0$, and $K^2=1, 2$ using the same method.

As the sequel to [3], we construct a minimal complex surface of general type with p_g=0, K^2=2 and H_1=Z/2Z using a rational blow-down surgery and Q-Gorenstein smoothing theory. We also present an example of p_g = 0,K^2 = 2 and H_1 = Z/3Z.

We construct a minimal complex surface of general type with $p_g=0$, $K^2 =4$, and $π_1=\mathbb{Z}/2\mathbb{Z}$ using a rational blow-down surgery and a $\mathbb{Q}$-Gorenstein smoothing theory. In a similar fashion, we also construct a symplectic 4-manifold with $b_2^+=1$, $K^2=5$, and $π_1=\mathbb{Z}/2\mathbb{Z}$.

This paper is an addendum to [4], in which the authors constructed a simply connected minimal complex surface of general type with p_g=0 and K^2=3. In this paper we construct a new non-simply connected minimal surface of general type with p_g=0, K^2=3 and H_1=Z/2Z using a rational blow-down surgery and Q-Gorenstein smo…

We construct a new minimal complex surface of general type with $p_g=0$, $K^2=2$ and $H_1=\mathbb{Z}/4\mathbb{Z}$ (in fact $π_1^{\text{alg}}=\mathbb{Z}/4\mathbb{Z}$), which settles the existence question for numerical Campedelli surfaces with all possible algebraic fundamental groups. The main techniques involved in th…

Adapts PDE method to prove $L^\infty$ estimates for complex Hessian equations.

We show that uniform K-stability is a Zariski open condition in Q-Gorenstein families of Q-Fano varieties. To prove this result, we consider the behavior of the stability threshold in families. The stability threshold (also known as the delta-invariant) is a recently introduced invariant that is known to detect the K-s…

The paper proves the existence of singular cscK metrics on smoothable varieties.

Let N_0 = C^2/H be an isolated quotient singularity with H in U (2) a finite subgroup. We show that for any Q-Gorenstein smoothings of N_0 a nearby fiber admits ALE Ricci-flat Kahler metrics in any Kahler class. Moreover, we generalize Kronheimer's results on hyperkahler 4-manifolds, by giving an explicit classificatio…

The study finds families of surfaces with specific properties and connects them to rational curve configurations in K3 surfaces.

Let X be a minimal surface of general type with positive geometric genus ($b_+ > 1$) and let $K^2$ be the square of its canonical class. Building on work of Khodorovskiy and Rana, we prove that if X develops a Wahl singularity of length $\ell$ in a Q-Gorenstein degeneration, then $\ell \leq 4K^2 + 7$. This improves on …

New conical metrics found on toric varieties with convex cones.

The Milnor fibre of a $\mathbb{Q}$-Gorenstein smoothing of a Wahl singularity is a rational homology ball $B_{p,q}$. For a canonically polarised surface of general type $X$, it is known that there are bounds on the number $p$ for which $B_{p,q}$ admits a symplectic embedding into $X$. In this paper, we give a recipe to…

We study Lagrangian embeddings of a class of two-dimensional cell complexes $L_{p,q}$ into the complex projective plane. These cell complexes, which we call pinwheels, arise naturally in algebraic geometry as vanishing cycles for quotient singularities of type $\frac{1}{p^2}(pq-1,1)$ (Wahl singularities). We show that …

We construct proper good moduli spaces parametrizing K-polystable $\mathbb{Q}$-Gorenstein smoothable log Fano pairs $(X, cD)$, where $X$ is a Fano variety and $D$ is a rational multiple of the anti-canonical divisor. We then establish a wall-crossing framework of these K-moduli spaces as $c$ varies. The main applicatio…

This is a continuation to the paper [arXiv:1511.08164] in which a problem of minimizing normalized volumes over $\mathbb{Q}$-Gorenstein klt singularities was proposed. Here we consider its relation with K-semistability, which is an important concept in the study of Kähler-Einstein metrics on Fano varieties. In particul…

We construct a simply connected minimal complex surface of general type with $p_g=0$ and $K^2=2$ which has an involution such that the minimal resolution of the quotient by the involution is a simply connected minimal complex surface of general type with $p_g=0$ and $K^2=1$. In order to construct the example, we combin…

Study excess logarithmic residues for foliations to bound invariant hypersurfaces and test log canonicity.

The main aim of this paper is to give two infinite series of examples of Lorentz space forms that can be obtained from Lorentz polyhedra by identification of faces. These Lorentz space forms are bi-quotients of the form $Γ_1\backslash G/Γ_2$, where $G=\widetilde{\operatorname{SU}(1,1)}\cong\widetilde{\operatorname{SL}(…

The paper proves the existence and uniqueness of Calabi-Yau metrics on affine spherical varieties.

Thanks to the recent work of Bhupal, Stipsicz, Szabo, and the author, one has a complete list of resolution graphs of weighted homogeneous complex surface singularities admitting a rational homology disk ("QHD") smoothing, i.e., one with Milnor number 0. They fall into several classes, the most interesting of which are…

Recently L. Nicolaescu and the author formulated a conjecture which relates the geometric genus of a complex analytic normal surface singularity (whose link $M$ is a rational homology sphere) with the Seiberg-Witten invariant of $M$ associated with the ``canonical'' $spin^c$ structure of $M$. Since the Seiberg-Witten t…