Related papers: On log canonical rational singularities

The notion of $p_g$-ideals for normal surface singularities has been proved to be very useful. On the other hand, the core of ideals has been proved to be very important concept and also very mysterious one. However, the computation of the…

We prove a conjecture due to V.V. Shokurov on the boundedness of $\epsilon$-log canonical complements on surfaces. As an application we give a new proof to the boundedness of weak log Fano surfaces.

In this paper we demonstrate that the class of basic feasible functionals has recursion theoretic properties which naturally generalize the corresponding properties of the class of feasible functions. We also improve the Kapron - Cook…

This research note provides algebraic characterizations of the least model, subsumption, and uniform equivalence of propositional Krom logic programs.

We describe the final log canonical model of the moduli space of stable curves of genus four. We prove that the rational map from $\bar{M}_4$ to this model contracts the Petri and the boundary divisors and flips the hyperelliptic locus. As…

We prove the existence of minimal models a la Sullivan for operads with non-trivial arity zero. So, up to homotopy algebras with strict units are just operad algebras over these minimal models. As an application we give another proof of the…

We study fundamental groups of projective varieties with normal crossing singularities and of germs of complex singularities. We prove that for every finitely-presented group G there is a complex projective surface S with simple normal…

A class of rational functions characterized by some wonderful properties is studied. The properties that identify this class include simple algebra (their inverses can be expressed in radicals), simple topology (the total space of the…

We show that any union of slc strata of a Fano log pair with semi-log canonical singularities is simply connected. In particular, Fano log pairs with semi-log canonical singularities are simply connected, which confirms a conjecture of the…

We study relative log canonical pairs with relatively trivial log canonical divisors. We fix such a pair $(X,\Delta)/Z$ and establish the minimal model theory for the pair $(X,\Delta)$ assuming the minimal model theory for all Kawamata log…

A singularity in characteristic zero is said to be of dense F-pure type if its modulo p reduction is locally F-split for infinitely many p. We prove that if $x \in X$ is an isolated log canonical singularity with $\mu(x \in X) \le 2$ (see…

We show that the log canonical threshold polytopes of varieties with log canonical singularities satisfy the ascending chain condition.

We show that all integrally closed ideals on log terminal surfaces are multiplier ideals by extending an existing proof for smooth surfaces.

On smooth threefolds, the ACC for minimal log discrepancies is equivalent to the boundedness of the log discrepancy of some divisor which computes the minimal log discrepancy. We reduce it to the case when the boundary is the product of a…

We study global log canonical thresholds of cubic surfaces with canonical singularities, and we prove the existence of a Kahler-Einstein metric on two singular cubic surfaces.

We prove that for $n \leq 4$ and $p > 5$, quasi--Gorenstein $F$--pure and $\mathbb{Q}_p$--rational $n$--fold singularities are canonical. This is analogous to the usual fact that rational Gorenstein singularities are canonical. The proof is…

The topological interpretation of modal logics provides descriptive languages and proof systems for reasoning about points of topological spaces. Recent work has been devoted to model checking of spatial logics on discrete spatial…

We prove some uniqueness results for conics of minimal area that enclose a compact, full-dimensional subset of the elliptic plane. The minimal enclosing conic is unique if its center or axes are prescribed. Moreover, we provide sufficient…

In this note we show how to find the stable model of a one-parameter family of elliptic surfaces with sections. More specifically, we perform the log Minimal Model Program in an explicit manner by means of toric geometry, in each such one…

We study zero cycles on rationally connected varieties defined over characteristic zero Laurent fields with algebraically closed residue fields. We show that the degree map induces an isomorphism for rationally connected threefolds defined…