Related papers: An optimal extension theorem for 1-forms and the L…

Let D be a divisor in a complex analytic manifold X. A natural problem is to determine when the de Rham complex of meromorphic forms on X with poles along D is quasi-isomorphic to its subcomplex of logarithmic forms. In this mostly…

We study the \L ojasiewicz exponent and the log canonical threshold of ideals of $\mathcal O_n$ when restricted to generic subspaces of $\mathbb C^n$ of different dimensions. We obtain effective formulas of the resulting numbers for ideals…

Let X be an irreducible symplectic manifold and L a divisor on X. Assume that L is isotropic with respect to the Beauville-Bogomolov quadratic form. We define the rational Lagrangian locus and the movable locus on the universal deformation…

In this paper, we prove an $L^2$ extension theorem with optimal estimate in a precise way, which implies optimal estimate versions of various well-known $L^2$ extension theorems. As applications, we give proofs of a conjecture of Suita on…

We extend Polyak's theorem on the convexity of joint numerical range from three to any number of quadratic forms on condition that they can be generated by three quadratic forms with a positive definite linear combination. Our new result…

The main result is that every pseudo-differential operator of type 1,1 and order $d$ is continuous from the Triebel--Lizorkin space $F^d_{p,1}$ to $L_p$, $1\le p<\infty$, and that this is optimal within the Besov and Triebel--Lizorkin…

In this paper we revisit the exsistence theorem for $L^r$-optimal quantization, $r\ge 2$, with respect to a Bregman divergence: we establish the existence of optimal quantizaers under lighter assumptions onthe strictly convex function which…

Let $K$ be a field which is complete for a discrete valuation. We prove a logarithmic version of the N\'eron-Ogg-Shafarevich criterion: if $A$ is an abelian variety over $K$ which is cohomologically tame, then $A$ has good reduction in the…

For a compact space X we consider extending endomorphisms of the algebra C(X) to be endomorphisms of Arens-Hoffman and Cole extensions of C(X). Given a non-linear, monic polynomial p in C(X)[t], with C(X)[t]/pC(X)[t] semi-simple, we show…

We show that the Kuratowski imbedding of a Riemannian manifold in L^\infty, exploited in Gromov's proof of the systolic inequality for essential manifolds, admits an approximation by a (1+C)-bi-Lipschitz (onto its image), finite-dimensional…

Let $X$ be a $d$-partite $d$-dimensional simplicial complex with parts $T_1,\dots,T_d$ and let $\mu$ be a distribution on the facets of $X$. Informally, we say $(X,\mu)$ is a path complex if for any $i<j<k$ and $F \in T_i,G \in T_j, K\in…

We consider pairs (X,A), where X is a variety with klt singularities and A is a formal product of ideals on X with exponents in a fixed set that satisfies the Descending Chain Condition. We also assume that X has (formally) bounded…

We consider an $L^2$-Wasserstein type distance $\rho$ on the configuration space $\Gamma_X$ over a Riemannian manifold $X$, and we prove that $\rho$-Lipschitz functions are contained in a Dirichlet space associated with a measure on…

This paper gives a foundation of log smooth deformation theory. We study the infinitesimal liftings of log smooth morphisms and show that the log smooth deformation functor has a representable hull. This deformation theory gives, for…

Let $M$ be a smooth projective variety and $\mathbf{D}$ an ample normal crossings divisor. From topological data associated to the pair $(M, \mathbf{D})$, we construct, under assumptions on Gromov-Witten invariants, a series of…

Let $X$ be a normal projective variety with only klt singularities, and $L_X$ a strictly nef $\mathbb{Q}$-divisor on $X$. In this paper, we study the singular version of Serrano's conjecture, i.e., the ampleness of $K_X+t L_X$ for…

We extend \L ukasiewicz logic obtaining the infinitary logic $\mathcal{IR}\L$ whose models are algebras $C(X,[0,1])$, where $X$ is a basically disconnected compact Hausdorff space. Equivalently, our models are unit intervals in…

In this paper we study a notion of HL-extension (HL standing for Herwig--Lascar) for a structure in a finite relational language $\mathcal{L}$. We give a description of all finite minimal HL-extensions of a given finite…

We prove that the base space of a log smooth family of log canonical pairs of log general type is of log general type as well as algebraically degenerate, when the family admits a relative good minimal model over a Zariski open subset of…

Let $k$ be an $F$-finite field containing an infinite perfect field of positive characteristic. Let $(X, \Delta)$ be a projective log canonical pair over $k$. In this note we show that, for a semi-ample divisor $D$ on $X$, there exists an…