Related papers: Log canonical singularities are Du Bois

We give sufficient conditions for cohomological flatness (in dimension 0) over discrete valuation rings, generalizing classical results of Raynaud in two different ways. The first is a higher dimensional generalization of Raynaud's…

The univalence axiom expresses the principle of extensionality for dependent type theory. However, if we simply add the univalence axiom to type theory, then we lose the property of canonicity - that every closed term computes to a…

For every $d \geq 4$, we construct a $d$-dimensional, log canonical, $K$-trivial variety with the property that two general fibers of its Albanese morphism are not birational. This provides a strong counterexample to the…

We study a class of hyperbolic Cauchy problems, associated with linear operators and systems with polynomially bounded coefficients, variable multiplicities and involutive characteristics, globally defined on R^n. We prove well-posedness in…

We show that the compatibility of the relative canonical sheaf with base change fails generally in families of normal varieties. Furthermore, it always fails if the general fiber of a family of pure dimension n is Cohen-Macaulay and the…

In this paper, we completely work out the log minimal model program for the moduli space of stable curves of genus three. We employ a rational multiple $\alpha\delta$ of the divisor $\delta$ of singular curves as the boundary divisor,…

We develop a theory of motives with compact support for logarithmic schemes over a field. Starting from the notion of finite logarithmic correspondences with compact support, we define the logarithmic motive with compact support analogous…

We show that there exists a natural number $p_0$ such that any three-dimensional Kawamata log terminal singularity defined over an algebraically closed field of characteristic $p>p_0$ is rational and in particular Cohen-Macaulay.

We construct explicitly regular sequences in the semigroup ring $R=\CC[K]$ of lattice points of the graded cone $K$. We conjecture that the quotients of $R$ by these sequences describe locally string-theoretic cohomology of a toroidal…

There has been a significant interest in extending various modal logics with intersection, the most prominent examples being epistemic and doxastic logics with distributed knowledge. Completeness proofs for such logics tend to be…

We show that flat families of stable 3-folds do not lead to proper moduli spaces in any characteristic $p>0$. As a byproduct, we obtain log canonical 4-fold pairs, whose log canonical centers are not weakly normal.

In this article we consider log canonical pairs which are log-smooth. If the corresponding canonical bundle is pseudo-effective, then we show that any quotient of the orbifold cotangent bundle of the pair has a pseudo-effective determinant.…

Let (X,D) be a dlt pair, where X is a normal projective variety. Let S denote the support of the rounddown of D, and K the canonical divisor of X. We show that any smooth family of canonically polarized varieties over X\S is isotrivial if…

We construct a denotational model of linear logic, whose objects are all the locally convex and separated topological vector spaces endowed with their weak topology. The negation is interpreted as the dual, linear proofs are interpreted as…

Let $X$ be a smooth proper scheme over an algebraically closed field $k$ in characteristic $p$. In this short note, by interpreting $\mathcal{D}_{X}$-modules as $F$-divided sheaves and establishing a cohomological boundedness property for…

We shall investigate index 1 covers of 2-dimensional log terminal singularities. The main result is that the index 1 cover is canonical if the characteristic of the base field is different from 2 or 3. We also give some counterexamples in…

In this thesis, the class of modules whose Cousin complexes have finitely generated cohomologies are studied as a subclass of modules which have uniform local cohomological annihilators and it is shown that these two classes coincide over…

We show that the minimal log discrepancy of any isolated Fano cone singularity is at most the dimension of the variety. This is based on its relation with dimensions of moduli spaces of orbifold rational curves. We also propose a…

For a one-parameter degeneration of reduced compact complex analytic spaces of dimension $n$, we prove the invariance of the frontier Hodge numbers $h^{p,q}$ (that is, with $pq(n{-}p)(n{-}q)=0$) for the intersection cohomology of the fibers…

We establish the minimal model theory for normal pairs along log canonical locus in the complex analytic setting. This is the complex analytic analog of the previous result by the author.