Related papers: A smoothness criterion for complex spaces in terms…
The paper is devoted to metric properties of singularities. We investigate the relations among topology, metric properties and smoothness. In particular, we present some higher dimensional analogous of Mumford's theorem on smoothness of…
A framed symplectic sheaf on a smooth projective surface $X$ is a torsion-free sheaf $E$ together with a trivialization on a divisor $D\subseteq X$ and a morphism $\Lambda^{2}E\rightarrow\mathcal{O}_{X}$ satisfying some additional…
Let $u:A\to B$ be a morphism of noetherian local rings. We obtain smoothness criteria for algebras with differential bases, in the case of rings containing a field of characteristic $p>0.$ We also give smoothness criteria for reduced…
For an abelian or a projective K3 surface $X$ over an algebraically closed field $k$, consider the moduli space $\splcpx_{X/k}\uet$ of the objects $E$ in $D^b(\mathrm{Coh}(X))$ satisfying $\Ext^{-1}_X(E,E)=0$ and $\Hom(E,E)\cong k$. Then we…
To a smooth and proper morphism $\mathcal{X}\to U$ with quasicompact semiseparated target we associate a sheaf in the \'etale topology, which takes an affine $U$-scheme $V$ to the set of $V$-linear semiorthogonal decompositions (of fixed…
We apply the techniques developed in our previous work with Leung to study smoothings of a pair $(X,\mathfrak{C}^*)$, where $\mathfrak{C}^*$ is a bounded perfect complex of locally free sheaves over a degenerate Calabi-Yau variety $X$. In…
In this paper, we give a new and efficient algebraic criterion for the pure as well as non-pure shellability of simplicial complex $\Delta$ over [n]. We also give an algebraic characterization of a leaf in a simplicial complex (defined in…
Imposing a strong condition on the linear order of shellable complexes, we introduce strong shellability. Basic properties, including the existence of dimension-decreasing strong shelling orders, are developed with respect to nonpure…
Let $X$ be a complex space of pure dimension. We introduce fine sheaves $\A^X_q$ of $(0,q)$-currents, which coincides with the sheaves of smooth forms on the regular part of $X$, so that the associated Dolbeault complex yields a resolution…
We give a simple necessary and sufficient condition for a Schubert variety $X_w$ to be smooth when $w$ is a freely braided element of a simply laced Weyl group; such elements were introduced by the authors in a previous work…
To any homogeneous polynomial $h$ we naturally associate a variety $\Omega_h$ which maps birationally onto the graph $\Gamma_h$ of the gradient map $\nabla h$ and which agrees with the space of complete quadrics when $h$ is the determinant…
We suggest a combinatorial criterion for the smoothness of an arbitrary spherical variety using the classification of multiplicity-free spaces, generalizing an earlier result of Camus for spherical varieties of type $A$.
An algebraic variety $X$ is called a homogeneous variety if the automorphism group $\mathrm{Aut}(X)$ acts on $X$ transitively, and a homogeneous space if there exists a transitive action of an algebraic group on $X$. We prove a criterion of…
We analyse infinitesimal deformations of morphisms of locally free sheaves on a smooth projective variety $X$ over an algebraically closed field of characteristic zero. In particular, we describe a differential graded Lie algebra…
Let $X$ be a projective variety (possibly singular) over an algebraically closed field of any characteristic and $\mathcal{F}$ be a coherent sheaf. In this article, we define the determinant of $\mathcal{F}$ such that it agrees with the…
We classify the smooth projective symmetric G-varieties with Picard number one (and G semisimple). Moreover we prove a criterion for the smoothness of the simple (normal) symmetric varieties whose closed orbit is complete. In particular we…
On a smooth discretely ringed adic space $\mathcal{X}$ over a field $k$ we define a subsheaf $\Omega_{\mathcal{X}}^+$ of the sheaf of differentials $\Omega_{\mathcal{X}}$. It is defined in a similar way as the subsheaf…
Given an essentially finite type morphism of schemes f: X --> Y and a positive integer d, let f^{d}: X^{d} --> Y denote the natural map from the d-fold fiber product, X^{d}, of X over Y and \pi_i: X^{d} --> X the i'th canonical projection.…
We give a generalization of Gabriel's Theorem on coherent sheaves to the case of coherent twisted sheaves on a smooth variety X over a field k. We show that the category Coh(X,\alpha) determines the scheme structure of X for \alpha in the…
Let $X$ be a compact normal K\"ahler space whose canonical sheaf is a rank-one free $\mathcal O_X$ module and whose singularities are isolated, rational and quasi-homogeneous. We prove then that under a topological hypothesis the…