Related papers: On isolated log canonical singularities with index…

We provide several applications of the minimal model program to the local and global study of co-rank one foliations on threefolds. Locally, we prove a singular variant of Malgrange's theorem, a classification of terminal foliation…

We present a number of second order maps, which pass the singularity confinement test commonly used to identify integrable discrete systems, but which nevertheless are non-integrable. As a more sensitive integrability test, we propose the…

We make two improvements upon Joyce's gluing theorems of for compact special Lagrangian submanifolds with isolated conical singularities. Firstly, we get rid of a few technical hypotheses of them. Secondly, we replace another hypothesis by…

We develop an algorithm to test whether a non-CM elliptic curve $E/\mathbb{Q}$ gives rise to an isolated point of any degree on any modular curve of the form $X_1(N)$. This builds on prior work of Zywina which gives a method for computing…

This paper explores goal-directed proof search in first-order multi-modal logic. The key issue is to design a proof system that respects the modularity and locality of assumptions of many modal logics. By forcing ambiguities to be…

We study the relationship between singularities of finite-dimensional integrable systems and singularities of the corresponding spectral curves. For the large class of integrable systems on matrix polynomials, which is a general framework…

These lecture notes provide a unified overview of most known canonical desingularization methods in characteristic zero. It starts with discussing the classical method, and then proceeds with the recently discovered ones: logarithmic…

We show that if a divisor centered over a point on a smooth surface computes a minimal log discrepancy, then the divisor also computes a log canonical threshold. To prove the result, we study the asymptotic log canonical threshold of the…

It is shown that the log-canonical threshold of a curve with an isolated singularity is computed by the term ideal of the curve in a suitable system of local parameters at the singularity. The proof uses the Enriques diagram of the…

Given a logarithmic $1$-form on the snc locus of a log canonical surface pair $(X, D)$ over a perfect field of characteristic $p \ge 7$, we show that it extends with at worst logarithmic poles to any resolution of singularities. We also…

We define a notion of Hodge modules with rational singularities. A variety has rational singularities in the usual sense, if it is normal and the Hodge module related to intersection cohomology has rational singularities in the present…

We define local residues of holomorphic 1-forms on an isolated surface singularity that have isolated zeros and prove that a certain residue equals the index of the 1-forms.

We compare a couple of notions of differential form on singular complex algebraic varieties, and relate them to the outermost associated graded spaces of the Hodge filtration of ordinary and intersection cohomology. In particular, we…

In this paper we prove the existence of purely log terminal blow-up for Kawamata log terminal singularity and obtain the criterion for a singularity to be weakly exceptional in terms of the exceptional divisor of plt blow-up.

Given a three-dimensional projective log canonical pair over a perfect field of characteristic larger than five, there exists a minimal model program that terminates after finitely many steps.

Given a Nori motivic local system over a smooth, connected complex algebraic variety, we define its exceptional locus as a way to measure the variation in the motivic complexity of its stalks. The definition is given explicitly in terms of…

An isolated point of degree $d$ is a closed point on an algebraic curve which does not belong to an infinite family of degree $d$ points that can be parameterized by some geometric object. We provide an algorithm to test whether a rational,…

Let $X$ be a Gorenstein minimal projective 3-fold with at worst locally factorial terminal singularities. Suppose the canonical map is of fiber type. Denote by $F$ a smooth model of a generic irreducible component in fibers of the canonical…

We develop a Hamilton-Jacobi theory for singular lagrangian systems using the Gotay-Nester-Hinds constraint algorithm. The procedure works even if the system has secondary constraints.

For indefinite (Pontryagin space) canonical systems that contain an inner singularity we prove the existence of generalised boundary values at the singularity, which are used to formulate interface conditions. With the help of such…