相关论文: Non-rational divisors over non-degenerate cDV-poin…

Let $S$ be a compact complex surface in class VII$_0^+$ containing a cycle of rational curves $C=\sum D_j$. Let $D=C+A$ be the maximal connected divisor containing $C$. If there is another connected component of curves $C'$ then $C'$ is a…

We find 101,052 new extreme divisors on $\bar{M}_{0,7}$ (in 31 $S_7$-orbits) and millions of extreme nef curves over characteristic 0. Over characteristic 2, we identify two more $S_7$-orbits of extreme divisors, and prove…

In this paper we will think of certain abelian categories with favorable properties as non-commutative surfaces. We show that under certain conditions a point on a non-commutative surface can be blown up. This yields a new non-commutative…

Let SU(r,d) be the moduli space of rank r, degree d vector bundles over a smooth projective curve of genus $g\ge 2$. If (r,d)=1 and d divides r+1, then SU is rational. Furthermore, if $0<\delta < r$ and all prime divisors of $\delta$ divide…

The works of Hassett and Kuznetsov identify countably many divisors $C_d$ in the open subset of $\mathbb{P}^{55}=\mathbb{P}(H^0(\mathcal{O}_{\mathbb{P}^5}(3)))$ parametrizing all cubic 4-folds and conjecture that the cubics corresponding to…

We prove the stability of $Symp(X,\omega)\cap Diff_0(X)$ for a one-point blow-up of irrational ruled surfaces and study their topological colimit. Non-trivial generators of $\pi_0[Symp(X,\omega)\cap Diff_0(X)]$ that differ from Lagrangian…

Consider the blow-up $X$ of $\mathbb{P}^3$ at 6 points in very general position and the 15 lines through the 6 points. We construct an infinite-order pseudo-automorphism $\phi_X$ on $X$, induced by the complete linear system of a divisor of…

Here is a square problem: in a unit square, is there a point with four rational distances to the vertices? A probability argument suggests a negative answer. This paper proves several special cases of the square problem: if the point sits…

Let $x$ be a periodic continued fraction with the initial block $0$ and the repeating block $c_1,\ldots,c_n$. So $x$ is a quadratic irrational of the form $x=a+\sqrt b$, where $a$, $b$ are rational numbers, $b>0$, $b$ not a square. The…

We study nonnegative (psd) real sextic forms $q(x_0,x_1,x_2)$ that are not sums of squares (sos). Such a form has at most ten real zeros. We give a complete and explicit characterization of all sets $S\subset\mathbb{P}^2(\mathbb{R})$ with…

We show that if $(X,B)$ is a log canonical pair with $\dim X\geq d+2$, whose non-klt centers have dimension $\geq d$, then $X$ is has depth $\ge d+2$ at every closed point.

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…

Given a smooth projective algebraic surface X, a point O in X and a big divisor D on X, we consider the set of all Newton-Okounkov bodies of D with respect to valuations of the field of rational functions of X centred at O, or,…

We study a double cover $\psi:X\to V\subset\mathbb{P}^{n}$ branched over a smooth divisor $R\subset V$ such that $R$ is cut on $V$ by a hypersurface of degree $2(n-\mathrm{deg}(V))$, where $n\geqslant 8$ and $V$ is a smooth hypersurface of…

It is an amazing and a bit counter-intuitive discovery by Micha Perles from the sixties that there are ``non-rational polytopes'': combinatorial types of convex polytopes that cannot be realized with rational vertex coordinates. We describe…

Let $C$ be a curve defined over a number field $k$. We say a closed point $x\in C$ of degree $d$ is isolated if it does not belong to an infinite family of degree $d$ points parametrized by the projective line or a positive rank abelian…

We study nonconstant rational solutions of \[ x'=A_3(t)x^{n_3}+A_2(t)x^{n_2}+A_1(t)x^{n_1}, \qquad 1<n_1<n_2<n_3, \] with $A_i\in\Bbbk[t]$, $\Bbbk\in\{\mathbb R,\mathbb C\}$. We prove that every such solution is of the form $x=1/p(t)$, and…

We give some explicit upper bounds on the effective birationality of the canonical or anti-canonical system for a singular surface. In particular, we show that for any surface $X$ with $\epsilon$-lc singularity and the canonical divisor…

We provide explicit descriptions of the generic members of Hassett's divisors $\mathcal C_d$ for relevant $18\leq d\leq 38$ and for $d=44$. In doing so, we prove that $\mathcal C_d$ is unirational for $18\leq d\leq 38,d=44$. As a corollary,…

We prove non-rationality and birational super-rigidity of a Q-factorial double cover X of P^3 ramified along a sextic surface with at most simple double points. We also show that the condition #|Sing(X)| < 15 implies Q-factoriality of X. In…