Related papers: Determinant morphism for singular varieties

We determine some classes of varieties X - that include the varieties with numerically effective tangent bundle - satisfying the following property: if E is a Higgs bundle such that f*E is semistable for any morphism f from a smooth…

We investigate how the \'etale fundamental group controls local systems in characteristic $p$, namely $F$-divided sheaves. In analogy with Grothendieck-Malcev's results for discrete groups, we show that if a morphism $f \colon Y \to X$ of…

I prove a local finite determinacy result of singular fibres in families. As an application, I generalize finite determinacy results on the fibres of log morphisms and nearby and vanishing cycles sheaves by Illusie and Kisin.

Given a family of varieties, the Euler discriminant locus distinguishes points where Euler characteristic differs from its generic value. We introduce a hypergeometric system associated with a flat family of very affine locally complete…

In this paper we give smoothness criterions for a good quotient Y of a smooth variety X by a reductive group G. Our results partially answer a question raised by J. Fogarty in the case where G is a finite group. They also give a converse to…

We give new definitions for the determinant over commutative ring $K$, noncommutative ring $\mathbf{K}$, noncommutative ring $\mathcal{K}$ with associative powers, over noncommutative nonassociative ring $\mathfrak{K}$, and study their…

We develop a holomorphic equivalence between on one hand the space of pairs (stable bundle, flat connection on the bundle) and the "sheaf of holomorphic connections" (the sheaf of splittings of the one-jet sequence) for the determinant…

Let \pi : X -> S be a morphism of algebraic stacks that is locally of finite presentation with affine stabilizers. We prove that there is an algebraic S-stack, the Hilbert stack, parameterizing proper algebraic stacks mapping quasi-finitely…

A reduced divisor on a nonsingular variety defines the sheaf of logarithmic 1-forms. We introduce a certain coherent sheaf whose double dual coincides with this sheaf. It has some nice properties, for example, the residue exact sequence…

Let $H$ and $K$ be groups. In this paper we introduce a concept of determinant for automorphisms of $H\times K$ and some concepts of incompatibility for group pairs as a measure of how much $H$ and $K$ are fare from being isomorphic. With…

What polynomial in the coefficients of a system of algebraic equations should be called its discriminant? We prove a package of facts that provide a possible answer. Let us call a system typical, if the homeomorphic type of its set of…

Let $X$ be a smooth projective variety over an algebraically field $k$ with ${\rm char}(k)=p>0$ and $F:X\to X_1$ be the relative Frobenius morphism. When ${\rm dim}(X)=1$, we prove that $F_*W$ is a stable bundle for any stable bundle $W$…

Let k be an algebraically closed field of characteristic zero. Let f:X-->S be a flat, projective morphism of k-schemes of finite type with integral geometric fibers. We prove existence of a projective relative moduli space for semistable…

A torsion free sheaf on a hyperk\"ahler variety $X$ is modular if the discriminant satisfies a certain condition, for example if it is a multiple of $c_2(X)$ the sheaf is modular. The definition is taylor made for torsion-free sheaves on a…

Let $X$ be a compact Riemann surface $X$ of genus at--least two. Fix a holomorphic line bundle $L$ over $X$. Let $\mathcal M$ be the moduli space of Hitchin pairs $(E ,\phi\in H^0(End(E)\otimes L))$ over $X$ of rank $r$ and fixed…

Let $X$ be a projective scheme over a noetherian base scheme $S$, and let $F$ be a coherent sheaf on $X$. For any coherent sheaf $E$ on $X$, consider the set-valued contravariant functor $Hom_{E,F}$ on $S$-schemes, defined by $Hom_{E,F}(T)…

We prove that a large class of natural transformations (consisting roughly of those constructed via composition from the "functorial" or "base change" transformations) between two functors of the form $\cdots f^* g_* \cdots$ actually has…

We study varieties of complexes of projective modules with fixed ranks, and relate these varieties to the varieties of their homologies. We show that for an algebra of global dimension at most two, these two varieties are related by a pair…

We introduce and study the maximal-variation locus in families and moduli spaces of projective curves, defined via conductor-level balancing of meromorphic differentials on the normalization. This notion captures precisely when the space of…

We present versal complex analytic families, over a smooth base and of fibre dimension zero, one, or two, where the discriminant constitutes a free divisor. These families include finite flat maps, versal deformations of reduced curve…