Related papers: On log canonical rational singularities

Generalizing the well-known Shafarevich hyperbolicity conjecture, it has been conjectured by Viehweg that a quasi-projective manifold that admits a generically finite morphism to the moduli stack of canonically polarized varieties is…

In this paper, we show that for any rational surface singularity $A$, the canonical trace ideal $\mathrm{Tr}_A(K_A)$ is integrally closed ideal which is represented by the minimal anti-nef cycle $F$ on the minimal resolution of…

It is well known that the exceptional set in a resolution of a rational surface singularity is a tree of rational curves. We generalize the combinatoric part of this statement to higher dimensions and show that the highest cohomologies of…

In this paper, we give a complete description of the deformation classes of real structures on minimal ruled surfaces. In particular, we show that these classes are determined by the topology of the real structure, which means that real…

We prove that the finite generation of adjoint rings proved in [Cascini and Lazi\'c] implies all the foundational results of the Minimal Model Program: the Rationality, Cone and Contraction theorems, the existence of flips, and termination…

We study logarithmic jet schemes of a log scheme and generalize a theorem of M. Mustata from the case of ordinary jet schemes to the logarithmic case. If X is a normal local complete intersection log variety, then X has canonical…

In this paper we consider del Pezzo surfaces with only log terminal singularities admitting an action of a finite simple group.

Let $X$ be a smooth hypersurface of degree $n\geq 3$ in $\mathbb{P}^n$. We prove that the log canonical threshold of $H\in|-K_X|$ is at least $\frac{n-1}{n}$. Under the assumption of the Log minimal model program, we also prove that a…

We show quantifier elimination theorems for real closed valued fields with separated analytic structure and overconvergent analytic structure in their natural one-sorted languages and deduce that such structures are weakly o-minimal. We…

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…

Tabled logic programming is receiving increasing attention in the Logic Programming community. It avoids many of the shortcomings of SLD execution and provides a more flexible and often extremely efficient execution mechanism for logic…

We study relations between the property of being log abundant for lc pairs and the termination of log MMP with scaling. We prove that any log MMP with scaling of an ample divisor starting with a projective dlt pair contains only finitely…

We prove using jet schemes that the zero loci of the moment maps for the quivers with one vertex and at least two loops have rational singularities. This implies that the spaces of representations of the fundamental group of a compact…

We show that the finiteness of the fundamental groups of the smooth locus of lower dimensional log Fano pairs would imply the finiteness of the local fundamental group of klt singularities. As an application, we verify that the local…

After quick survey of some key results and open questions about the structure of singularities of minimal surfaces, we discuss recent work~\cite{Sim23} on singularities of stable minimal hypersurfaces, including some simplifications of the…

Just as conventional functional programs may be understood as proofs in an intuitionistic logic, so quantum processes can also be viewed as proofs in a suitable logic. We describe such a logic, the logic of compact closed categories and…

We prove that the link of a complex normal surface singularity is an L--space if and only if the singularity is rational. This via a recent result of Hanselman, J. Rasmussen, S. D. Rasmussen and Watson (proving the conjecture of Boyer,…

Disjunctive finitary programs are a class of logic programs admitting function symbols and hence infinite domains. They have very good computational properties, for example ground queries are decidable while in the general case the stable…

We prove a stronger version of a termination theorem appeared in the paper "On existence of log minimal models II". We essentially just get rid of the redundant assumptions so the proof is almost the same as in there. However, we give a…

We show that the existence of a birational weak Zariski decomposition for a pseudo-effective generalized polarized lc pair is equivalent to the existence of a generalized polarized log terminal model.