Related papers: On log canonical rational singularities

In this paper, we prove that if a $3$-dimensional quasi-projective variety $X$ over an algebraically closed field of characteristic $p>3$ has only log canonical singularities, then so does a general hyperplane section $H$ of $X$. We also…

The log canonical thresholds of irreducible quasi-ordinary hypersurface singularities are computed, using an explicit list of pole candidates for the motivic zeta function found by the last two authors.

We construct a surface with log terminal singularities and ample canonical class that has $K_X^2=1/48 983$ and a log canonical pair $(X,B)$ with a nonempty reduced divisor $B$ and ample $K_X+B$ that has $(K_X+B)^2 = 1/462$. Both examples…

We show that if $f$ is a nonzero, noninvertible function on a smooth complex variety $X$ and $J_f$ is the Jacobian ideal of $f$, then ${\rm lct}(f,J_f^2)>1$ if and only if the hypersurface defined by $f$ has rational singularities.…

Termination of logic programs with negated body atoms (here called general logic programs) is an important topic. One reason is that many computational mechanisms used to process negated atoms, like Clark's negation as failure and Chan's…

We prove the normality of minimal log canonical centers on threefold pairs which residue fields are perfect of residue characteristics $p\neq 2,3 $ and $5$. We also show that the union of all log canonical centers on threefold pairs with…

In this paper we apply Shokurov's inductive method to study terminal and canonical singularities. As an easy consequence of the Minimal Model Program we show that for any three-dimensional log terminal singularity there exists some special,…

In this paper we collect some results on the obstruction spaces for rational surface singularities and minimally elliptic surface singularities. Based on the known results we calculate higher obstruction spaces for such surface…

We show that a minimal surface of general type has a canonical symplectic structure (unique up to symplectomorphism) which is invariant for smooth deformation. We show that the symplectomorphism type is also invariant for deformations which…

We show that the family of semi log canonical pairs with ample log canonical class and with fixed volume is bounded.

We prove that every minimal symplectic filling of the link of a quotient surface singularity can be obtained from its minimal resolution by applying a sequence of rational blow-downs and symplectic antiflips. We present an explicit…

This paper is devoted to construct a minimal toric embedded resolution of a rational singularity via jet schemes. The minimality is reached by extending the concept of the profile of a simplicial cone given in 6.

It is discussed how a limiting procedure of (super)conformal field theories may result in logarithmic (super)conformal field theories. The construction is illustrated by logarithmic limits of (unitary) minimal models in conformal field…

In this paper we give an elementary proof of the Zariski-Lipman conjecture for log canonical spaces.

The nonvanishing conjecture for projective log canonical pairs plays a key role in the minimal model program of higher dimensional algebraic geometry. The numerical nonvanishing conjecture considered in this paper is a weaker version of the…

We present an extension to the $\mathtt{mathlib}$ library of the Lean theorem prover formalizing the foundations of computability theory. We use primitive recursive functions and partial recursive functions as the main objects of study, and…

The continuous modal mu-calculus is a fragment of the modal mu-calculus, where the application of fixpoint operators is restricted to formulas whose functional interpretation is Scott-continuous, rather than merely monotone. By…

Fix a smooth projective curve over a field of characteristic zero and a finite set of punctures. Let G be a connected linear algebraic group. We prove that the moduli of G-bundles with logarithmic connections having fixed residue classes at…

We classify del Pezzo non-commutative surfaces that are finite over their centres and have no worse than canonical singularities. Using the minimal model program, we introduce the minimal model of such surfaces. We first classify the…

We generalize the formula for the log canonical threshold(LCT) of plane curves over the complex numbers to arbitrary characteristics. Our proof relies purely on valuation theory, instead of on the theory of $D$-modules.