Related papers: Log canonical thresholds in positive characteristi…

We consider the quotient variety associated to a linear representation of the cyclic group of order p in characteristic p>0. We estimate the minimal discrepancy of exceptional divisors over the singular locus. In particular, we give…

In this paper, we show the log canonical threshold values of the surfaces which has du Val type singularities.These surfaces can be interpreted as statistical or machine learning models. The results of $A_n, D_n, E_6, E_7$ and $E_8$ are…

In this paper, we discuss a generalization of log canonical singularities in the non-$\mathbb{Q}$-Gorenstein setting. We prove that if a normal complex projective variety has a non-invertible polarized endomorphism, then it has log…

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.…

Given an ambient variety $X$ and a fixed subvariety $Z$ we give sufficient conditions for the existence of a boundary $\Delta$ such that $Z$ is a log canonical center for the pair $(X, \Delta)$. We also show that under some additional…

Categorical resolutions of singularities are a replacement of resolution of singularities within the realm of triangulated categories. They allow the study of the derived category of a singular variety $X$ via a triangulated category that…

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 prove the existence of resolution of singularities for arbitrary (not necessarily reduced or irreducible) excellent two-dimensional schemes, via permissible blow-ups. The resolution is canonical, and functorial with respect to…

We show Fujita's spectrum conjecture for $\epsilon$-log canonical pairs and Fujita's log spectrum conjecture for log canonical pairs. Then, we generalize the pseudo-effective threshold of a single divisor to multiple divisors and establish…

We characterize the ideals $I$ of $\mathcal O_n$ of finite colength whose integral closure is equal to the integral closure of an ideal generated by pure monomials. This characterization, which is motivated by an inequality proven by…

For a fixed pair and fixed exponents, we prove the discreteness of log discrepancies over all log canonical triples formed by attaching a product of ideals with given exponents.

We study the equivalence of approaching zero for two invariants of a singularity: the minimal log discrepancy and the log canonical threshold of the general hyperplane section.

We prove a relative Kawamata Viehweg vanishing type theorem for birational morphisms. We use this to prove a Grauert Riemenschneider theorem over log canonical threefolds without zero dimensional log canonical centers, in residue…

We prove a logarithmic base change theorem for pushforwards of pluri-canonical bundles and use it to deduce that positivity properties of log canonical divisors descend via smooth projective morphisms. As an application, for a surjective…

We show various properties of numerical data of an embedded resolution of singularities for plane curves, which are inspired by a conjecture of Igusa on exponential sums.

Let $(X/Z,B+A)$ be a $\Q$-factorial dlt pair where $B,A\ge 0$ are $\Q$-divisors and $K_X+B+A\sim_\Q 0/Z$. We prove that any LMMP$/Z$ on $K_X+B$ with scaling of an ample$/Z$ divisor terminates with a good log minimal model or a Mori fibre…

Building on results of Koll\'ar, we prove Shokurov's ACC Conjecture for log canonical thresholds on smooth varieties, and more generally, on varieties with quotient singularities.

In this article we give two independent proofs of the positive characteristic analog of the log terminal inversion of adjunction. We show that for a pair $(X, S+B)$ in characteristic $p>0$, if $(S^n, B_{S^n})$ is strongly $F$-regular, then…

We introduce a sound and complete coinductive proof system for reachability properties in transition systems generated by logically constrained term rewriting rules over an order-sorted signature modulo builtins. A key feature of the…

As is well known, the "usual discrepancy" is defined for a normal Q-Gorenstein variety. By using this discrepancy we can define a canonical singularity and a log canonical singularity. In the same way, by using a new notion, Mather-Jacobian…