Related papers: Crepant semi-divisorial log terminal model

We establish the optimal regularity for the distortion of inverses of mappings of finite distortion with logarithm-iterated style subexponentially integrable distortion, which generalizes the Theorem 1. of [J. Gill, Ann. Acad. Sci. Fenn.…

A system of semi-discrete coupled nonlinear Schr\"{o}dinger equations is studied. To show the complete integrability of the model with multiple components, we extend the discrete version of the inverse scattering method for the…

Motivated by the study of resolvent estimates in the presence of trapping, we prove a semiclassical propagation theorem in a neighborhood of a compact invariant subset of the bicharacteristic flow which is isolated in a suitable sense.…

We prove the termination of 4-fold log flips for klt pairs of Kodaira dimension $\kappa\ge 2$.

We establish that for the type I Lie superalgebras $sl(m/n)$ and $osp(2/2n)$, each Kac module admits a 1 parameter family of indecomposable double extensions. The result follows from the explicit evaluation of the $H^1$ Lie superalgebra…

We prove the ideal-adic semi-continuity of minimal log discrepancies on surfaces.

We prove that one can run the log minimal model program for log canonical $3$-fold pairs in characteristic $p>5$. In particular we prove the Cone Theorem, Contraction Theorem, the existence of flips and the existence of log minimal models…

Let $(S,L)$ be a general polarized Enriques surface, with $L$ not numerically 2-divisible. We prove the existence of regular components of all Severi varieties of irreducible $\delta$-nodal curves in the linear system $|L|$, with $0\leq…

We prove the precise inversion of adjunction formula for quotient singularities and klt Cartier divisors. As an application, we prove the semi-continuity of minimal log discrepancies for klt hyperquotient singularities.

We study graded rings associated to big divisors on LC pairs whose difference with the log-canonical divisor is nef. For divisors that are positive enough at the LC centers of the pair, we prove the finite generation of such rings if the…

HyperLTL model-checking enables the automated verification of information-flow properties for security-critical systems. However, it only provides a binary answer. Here, we introduce two paradigms to compute counterexamples and explanations…

We show the existence of prime divisors computing minimal log discrepancies in positive characteristic except for a special case. Moreover we prove the lower semicontinuity of minimal log discrepancies for smooth varieties in positive…

We introduce linearly decomposable (LD) generalized pairs, which serve as a workable substitute for rational decompositions in the non-NQC setting. Using LD generalized pairs, together with a refinement of special termination and…

We introduce a setting based on the one-dimensional (1D) nonlinear Schroedinger equation (NLSE) with the self-focusing (SF) cubic term modulated by a singular function of the coordinate, |x|^{-a}. It may be additionally combined with the…

Equations over linearly ordered semilattices are studied. For any equation $t(X)=s(X)$ we find irreducible components of its solution set and compute the average number of irreducible components of all equations in $n$ variables.

In this article we show how one can use the local models of integrable Hamiltonian systems near critical points to prove a localization theorem for certain singular loci of integrables semi-toric systems for dimension greater than 4.

Let $k$ be a perfect field of positive characteristic and let $X$ be a smooth irreducible quasi-compact scheme over $k$. The Drinfeld-Kedlaya theorem states that for an irreducible $F$-isocrystal on $X$, the gap between consecutive generic…

Let $f:X\to U$ be a projective morphism of normal varieties and $(X,\Delta)$ a dlt pair. We prove that if there is an open set $U^0\subset U$, such that $(X,\Delta)\times_U U^0$ has a good minimal model over $U^0$ and the images of all the…

In this paper consisting of two parts, we study the integral of a logarithmic differential form on a compact semi-algebraic set in R^n or C^n. In Part I, we prove the convergence of the integral when the semi-algebraic set satisfies…

We consider the question of global existence of small, smooth, and localized solutions of a certain fractional semilinear cubic NLS in one dimension, $$i\partial_t u - \Lambda u = c_0{|u|}^2 u + c_1 u^3 + c_2 u \bar{u}^2 + c_3 \bar{u}^3,…