Related papers: Mather-Jacobian singularities under generic linkag…

Linear logic has provided new perspectives on proof-theory, denotational semantics and the study of programming languages. One of its main successes are proof-nets, canonical representations of proofs that lie at the intersection between…

Inspired by several works on jet schemes and motivic integration, we consider an extension to singular varieties of the classical definition of discrepancy for morphisms of smooth varieties. The resulting invariant, which we call Jacobian…

We formulate a generalization of Vojta's conjecture in terms of log pairs and variants of multiplier ideals. In this generalization, a variety is allowed to have singularities. It turns out that the generalized conjecture for a log pair is…

A celebrated result in bifurcation theory is that global connected sets of non-trivial solutions bifurcate from trivial solutions at non-zero eigenvalues of odd algebraic multiplicity of the linearized problem when the operators involved…

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 prove that every biorthogonality preserving linear surjection from a weakly compact JB$^*$triple containing no infinite dimensional rank-one summands onto another JB$^*$-triple is automatically continuous. We also show that every…

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.

We establish a Koll\'ar-type gluing theory for NQC generalized log canonical pairs and use it to prove semi-ampleness results of NQC generalized pairs. As consequences, we prove the existence of flips for any NQC generalized log canonical…

A criterion of joint ergodicity of several sequences of transformations of a probability measure space $X$ of the form $T_{i}^{\phi_{i}(n)}$ is given for the case where $T_{i}$ are commuting measure preserving transformations of $X$ and…

We discuss how to resolve generic skew-symmetric and generic symmetric determinantal singularities. The key ingredients are (skew-) symmetry preserving matrix operations in order to deduce an inductive argument.

Logical relations and their generalizations are a fundamental tool in proving properties of lambda-calculi, e.g., yielding sound principles for observational equivalence. We propose a natural notion of logical relations able to deal with…

Let $X$ be a connected smooth complex projective variety of dimension $n \geq 1$. Let $D$ be a simple normal crossing divisor on $X$. Let $G$ be a connected complex Lie group, and $E_G$ a holomorphic principal $G$-bundle on $X$. In this…

Let $(X, \Delta)$ be a projective log canonical Calabi-Yau pair and $L$ an ample $\mathbb{Q}$-line bundle on $X$, we show that there is a correspondence between lc places of $(X, \Delta)$ and weakly special test configurations of $(X,…

We prove that a generic linear cocycle over a minimal base dynamics of finite dimension has the property that the Oseledets splitting with respect to any invariant probability coincides almost everywhere with the finest dominated splitting.…

A theorem by Mumford implies that every automorphic line bundle on a pure open Shimura variety, equipped with an invariant smooth metric, can be uniquely extended as a line bundle on a toroidal compactification of the variety, in such a way…

Let $(u_j)_j$ be a sequence of maps in $W^{1,2}(\Omega;\mathbb R^3)$, where $\Omega$ is a domain in $\mathbb R^3$. When can we conclude that its weak limit $u$ has non-negative Jacobian a.e.? Hencl and Onninen shows that it is sufficient…

We investigate the distribution of zeros of the little q-Jacobi polynomials and related q-hypergeometric families. We prove that the zeros of these orthogonal polynomials exhibit strong interlacing properties and obey natural monotonicity…

A theorem of Mumford states that, on complex surfaces, any normal isolated singularity whose link is diffeomorphic to a sphere is actually a smooth point. While this property fails in higher dimensions, McLean asks whether the contact…

We give a method to investigate isolated log canonical singularities with index one which are not log terminal. Our method depends on the minimal model program. One of the main purposes is to prove that our invariant coincides with Ishii's…

The singular set of a viscosity solution to a Hamilton-Jacobi equation is known to propagate, from any noncritical singular point, along singular characteristics which are curves satisfying certain differential inclusions. In the…