We prove that actions of complex reductive Lie groups on a holomorphic vector bundle over a complex compact manifold are locally extendable to its local moduli space.

We provide a complete classification of the singularities of cluster algebras of finite type with trivial coefficients. Alongside, we develop a constructive desingularization of these singularities via blowups in regular centers over fields of arbitrary characteristic. Furthermore, from the same perspective, we study a family of cluster algebras which are not of finite type and which arise from a star shaped quiver.

Let $\Gamma $ be a finite set, and $X\ni x$ a fixed kawamata log terminal germ. For any lc germ $(X\ni x,B:=\sum _{i} b_iB_i)$, such that $b_i\in \Gamma $, Nakamura’s conjecture, which is equivalent to the ascending chain condition conjecture for minimal log discrepancies for fixed germs, predicts that there always exists a prime divisor E over $X\ni x$, such that $a(E,X,B)=\mathrm {mld}(X\ni x,B)$, and $a(E,X,0)$ is bounded from above. We extend Nakamura’s conjecture to the setting that $X\ni x$ is not necessarily fixed and $\Gamma $ satisfies the descending chain condition, and show it holds for surfaces. We also find some sufficient conditions for the boundedness of $a(E,X,0)$ for any such E.

In this paper, we prove the Fukui–Kurdyka–Paunescu conjecture, which says that sub-analytic arc-analytic bi-Lipschitz homeomorphisms preserve the multiplicities of real analytic sets. We also prove several other results on the invariance of the multiplicity (respectively, degree) of real and complex analytic (respectively, algebraic) sets. For instance, still in the real case, we prove a global version of the Fukui–Kurdyka–Paunescu conjecture. In the complex case, one of the results that we prove is the following: if $(X,0)\subset (\mathbb {C}^{n},0)$, $(Y,0)\subset (\mathbb {C}^{m},0)$ are germs of analytic sets and $h\colon (X,0)\to (Y,0)$ is a semi-bi-Lipschitz homeomorphism whose graph is a complex analytic set, then the germs $(X,0)$ and $(Y,0)$ have the same multiplicity. One of the results that we prove in the global case is the following: if $X\subset \mathbb {C}^{n}$, $Y\subset \mathbb {C}^{m}$ are algebraic sets and $\phi \colon X\to Y$ is a semi-algebraic semi-bi-Lipschitz homeomorphism such that the closure of its graph in $\mathbb {P}^{n+m}(\mathbb {C})$ is an orientable homological cycle, then ${\rm deg}(X)={\rm deg}(Y)$.

Let $ {\mathbb {C}}^{n+1}_o$ denote the germ of $ {\mathbb {C}}^{n+1}$ at the origin. Let $V$ be a hypersurface germ in $ {\mathbb {C}}^{n+1}_o$ and $W$ a deformation of $V$ over $ {\mathbb {C}}_{o}^{m}$. Under the hypothesis that $W$ is a Newton non-degenerate deformation, in this article we prove that $W$ is a $\mu$-constant deformation if and only if $W$ admits a simultaneous embedded resolution. This result gives a lot of information about $W$, for example, the topological triviality of the family $W$ and the fact that the natural morphism $(\operatorname {W( {\mathbb {C}}_{o})}_{m})_{{\rm red}}\rightarrow {\mathbb {C}}_{o}$ is flat, where $\operatorname {W( {\mathbb {C}}_{o})}_{m}$ is the relative space of $m$-jets. On the way to the proof of our main result, we give a complete answer to a question of Arnold on the monotonicity of Newton numbers in the case of convenient Newton polyhedra.

We undertake a systematic study of Lipschitz normally embedded normal complex surface germs. We prove, in particular, that the topological type of such a germ determines the combinatorics of its minimal resolution which factors through the blowup of its maximal ideal and through its Nash transform, as well as the polar curve and the discriminant curve of a generic plane projection, thus generalizing results of Spivakovsky and Bondil that were known for minimal surface singularities. In an appendix, we give a new example of a Lipschitz normally embedded surface singularity.

We introduce a notion of embedding codimension of an arbitrary local ring, establish some general properties and study in detail the case of arc spaces of schemes of finite type over a field. Viewing the embedding codimension as a measure of singularities, our main result can be interpreted as saying that the singularities of the arc space are maximal at the arcs that are fully embedded in the singular locus of the underlying scheme, and progressively improve as we move away from said locus. As an application, we complement a theorem of Drinfeld, Grinberg and Kazhdan on formal neighbourhoods in arc spaces by providing a converse to their theorem, an optimal bound for the embedding codimension of the formal model appearing in the statement, a precise formula for the embedding dimension of the model constructed in Drinfeld’s proof and a geometric meaningful way of realising the decomposition stated in the theorem.

Let $f\colon Y \to X$ be a proper flat morphism of locally noetherian schemes. Then the locus in $X$ over which $f$ is smooth is stable under generization. We prove that, under suitable assumptions on the formal fibers of $X$, the same property holds for other local properties of morphisms, even if $f$ is only closed and flat. Our proof of this statement reduces to a purely local question known as Grothendieck's localization problem. To answer Grothendieck's problem, we provide a general framework that gives a uniform treatment of previously known cases of this problem, and also solves this problem in new cases, namely for weak normality, seminormality, $F$-rationality, and the ‘Cohen–Macaulay and $F$-injective’ property. For the weak normality statement, we prove that weak normality always lifts from Cartier divisors. We also solve Grothendieck's localization problem for terminal, canonical, and rational singularities in equal characteristic zero.

In this article, we prove a local implication of boundedness of Fano varieties. More precisely, we prove that $d$-dimensional $a$-log canonical singularities with standard coefficients, which admit an $\epsilon$-plt blow-up, have minimal log discrepancies belonging to a finite set which only depends on $d,\,a$ and $\epsilon$. This result gives a natural geometric stratification of the possible mld's in a fixed dimension by finite sets. As an application, we prove the ascending chain condition for minimal log discrepancies of exceptional singularities. We also introduce an invariant for klt singularities related to the total discrepancy of Kollár components.

Let K be a field of arbitrary characteristic, $${\cal A}$$ be a commutative K-algebra which is a domain of essentially finite type (e.g., the algebra of functions on an irreducible affine algebraic variety), $${a_r}$$ be its Jacobian ideal, and $${\cal D}\left( {\cal A} \right)$$ be the algebra of differential operators on the algebra $${\cal A}$$. The aim of the paper is to give a simplicity criterion for the algebra $${\cal D}\left( {\cal A} \right)$$: the algebra $${\cal D}\left( {\cal A} \right)$$ is simple iff $${\cal D}\left( {\cal A} \right)a_r^i{\cal D}\left( {\cal A} \right) = {\cal D}\left( {\cal A} \right)$$ for all i ≥ 1 provided the field K is a perfect field. Furthermore, a simplicity criterion is given for the algebra $${\cal D}\left( R \right)$$ of differential operators on an arbitrary commutative algebra R over an arbitrary field. This gives an answer to an old question to find a simplicity criterion for algebras of differential operators.

The purpose of this note is to correct a mistake in the article “A curve selection lemma in spaces of arcs and the image of the Nash map” Compositio Math. 142 (2006), 119–130. It is due to an overlooked hypothesis in the definition of generically stable subset of the space of arcs X∞ of a variety X defined over a perfect field k.

Vanishing cycles, introduced over half a century ago, are a fundamental tool for studying the topology of complex hypersurface singularity germs, as well as the change in topology of a degenerating family of projective manifolds. More recently, vanishing cycles have found deep applications in enumerative geometry, representation theory, applied algebraic geometry, birational geometry, etc. In this survey, we introduce vanishing cycles from a topological perspective and discuss some of their applications.

Unfortunately, there is a mistake in [PS, Lemma 3.10] which invalidates [PS, Theorem 3.12]. We show that the theorem still holds if the ring is assumed to be Gorenstein.

We prove the Lipman–Zariski conjecture for complex surface singularities with $p_{g}-g-b\leqslant 2$. Here $p_{g}$ is the geometric genus, $g$ is the sum of the genera of exceptional curves and $b$ is the first Betti number of the dual graph. This improves on a previous result of the second author. As an application, we show that a compact complex surface with a locally free tangent sheaf is smooth as soon as it admits two generically linearly independent twisted vector fields and its canonical sheaf has at most two global sections.

We extend results on asymptotic invariants of line bundles on complex projective varieties to projective varieties over arbitrary fields. To do so over imperfect fields, we prove a scheme-theoretic version of the gamma construction of Hochster and Huneke to reduce to the setting where the ground field is $F$-finite. Our main result uses the gamma construction to extend the ampleness criterion of de Fernex, Küronya, and Lazarsfeld using asymptotic cohomological functions to projective varieties over arbitrary fields, which was previously known only for complex projective varieties. We also extend Nakayama’s description of the restricted base locus to klt or strongly $F$-regular varieties over arbitrary fields.

In this paper, we prove that the set of all $F$-pure thresholds on a fixed germ of a strongly $F$-regular pair satisfies the ascending chain condition. As a corollary, we verify the ascending chain condition for the set of all $F$-pure thresholds on smooth varieties or, more generally, on varieties with tame quotient singularities, which is an affirmative answer to a conjecture given by Blickle, Mustaţǎ and Smith.

We study the singularity at the origin of $\mathbb{C}^{n+1}$ of an arbitrary homogeneous polynomial in $n+1$ variables with complex coefficients, by investigating the monodromy characteristic polynomials $\unicode[STIX]{x1D6E5}_{l}(t)$ as well as the relation between the monodromy zeta function and the Hodge spectrum of the singularity. In the case $n=2$, we give a description of $\unicode[STIX]{x1D6E5}_{C}(t)=\unicode[STIX]{x1D6E5}_{1}(t)$ in terms of the multiplier ideal.

Let X ⊂ ℂn be an equidimensional complex algebraic set and let f: X → ℂ be a polynomial function. For each c ∈ ℂ, we define the global Brasselet number of f at c, a global counterpart of the Brasselet number defined by the authors in a previous work, and the Brasselet number at infinity of f at c. Then we establish several formulas relating these numbers to the topology of X and the critical points of f.

Let $V$ be a hypersurface with an isolated singularity at the origin defined by the holomorphic function $f:(\mathbb{C}^{n},0)\rightarrow (\mathbb{C},0)$. The Yau algebra $L(V)$ is defined to be the Lie algebra of derivations of the moduli algebra $A(V):={\mathcal{O}}_{n}/(f,\unicode[STIX]{x2202}f/\unicode[STIX]{x2202}x_{1},\ldots ,\unicode[STIX]{x2202}f/\unicode[STIX]{x2202}x_{n})$, that is, $L(V)=\text{Der}(A(V),A(V))$. It is known that $L(V)$ is finite dimensional and its dimension $\unicode[STIX]{x1D706}(V)$ is called the Yau number. We introduce a new series of Lie algebras, that is, $k$th Yau algebras $L^{k}(V)$, $k\geq 0$, which are a generalization of the Yau algebra. The algebra $L^{k}(V)$ is defined to be the Lie algebra of derivations of the $k$th moduli algebra $A^{k}(V):={\mathcal{O}}_{n}/(f,m^{k}J(f)),k\geq 0$, that is, $L^{k}(V)=\text{Der}(A^{k}(V),A^{k}(V))$, where $m$ is the maximal ideal of ${\mathcal{O}}_{n}$. The $k$th Yau number is the dimension of $L^{k}(V)$, which we denote by $\unicode[STIX]{x1D706}^{k}(V)$. In particular, $L^{0}(V)$ is exactly the Yau algebra, that is, $L^{0}(V)=L(V),\unicode[STIX]{x1D706}^{0}(V)=\unicode[STIX]{x1D706}(V)$. These numbers $\unicode[STIX]{x1D706}^{k}(V)$ are new numerical analytic invariants of singularities. In this paper we formulate a conjecture that $\unicode[STIX]{x1D706}^{(k+1)}(V)>\unicode[STIX]{x1D706}^{k}(V),k\geq 0.$ We prove this conjecture for a large class of singularities.

We give a proof of the formality conjecture of Kaledin and Lehn: on a complex projective K3 surface, the differential graded (DG) algebra $\operatorname{RHom}^{\bullet }(F,F)$ is formal for any sheaf $F$ polystable with respect to an ample line bundle. Our main tool is the uniqueness of the DG enhancement of the bounded derived category of coherent sheaves. We also extend the formality result to derived objects that are polystable with respect to a generic Bridgeland stability condition.