相关论文: Note on the semi-continuity of the algebraic dimen…
Using some relative codimension 1 cycle-space method, we give, following the ideas of D. Popovici [P.13], semicontinuity results for the algebraic dimension in a family a compact complex manifolds parametrized by a disc.
In this paper, we investigate the properties of $A$-coherent and $A$-quasi-coherent sheaves within the framework of algebraic geometry over non-algebraically closed fields. We define an $\mathcal{O}_X$-module to be $A$-coherent (resp.…
Let $X$ and $S$ be complex spaces with $X$ countable at infinity and $S$ reduced locally pure dimensional. Let $\pi:X\to S$ be an universally-$n$-equidimensional morphism (i.e open with constant pure $n$-dimensional fibers). If there is a…
The higher direct image complex of a coherent sheaf (or finite complex of coherent sheaves) under a projective morphism is a fundamental construction that can be defined via a Cech complex or an injective resolution, both inherently…
Given a projective morphism $f:X\to Y$ from a complex space to a complex manifold, we prove the Griffiths semi-positivity and minimal extension property of the direct image sheaf $f_\ast(\mathscr{F})$. Here, $\mathscr{F}$ is a coherent…
We extend Langton's valuative criterion for families of coherent algebraic sheaves to a complex analytic set-up. As a consequence we derive a set of sufficient conditions for the compactness of a moduli space of semistable sheaves over a…
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…
Let $\Omega$ be a smooth real analytic submanifold of a complex manifold $X$. We establish and study the link between the following 3 subjects: 1) topological properties of smooth families of attached analytic discs, the manifold $\Omega$…
Given a real analytic (or, more generally, semianalytic) set R in the n-dimensional complex space, there is, for every point p in the closure of R, a unique smallest complex analytic germ X_p that contains the germ R_p. We call the complex…
We show that for algebraic groups over local fields of characteristic zero, the following are equivalent: Every homomorphism has a closed image, every unitary representation decomposes into a direct sum of finite-dimensional and mixing…
Let $X$ be a smooth proper scheme over an algebraically closed field $k$ in characteristic $p$. In this short note, by interpreting $\mathcal{D}_{X}$-modules as $F$-divided sheaves and establishing a cohomological boundedness property for…
We prove that any geometrically connected curve $X$ over a field $k$ is an algebraic $K(\pi,1)$, as soon as its geometric irreducible components have nonzero genus. This means that the cohomology of any locally constant constructible…
In this note, we are working within the category $\rmod$ of (unitary, left) $R$-modules, where $R$ is a {\bf countable} ring. It is well known (see e.g. Kie{\l}pi\'nski & Simson [5], Theorem 2.2) that the latter condition implies that the…
We decompose each moduli space of semistable sheaves on the complex projective plane with support of dimension one and degree four into locally closed subvarieties, each subvariety being the good or geometric quotient of a set of morphisms…
We continue the explorations of derived \canal geometry started in [DAG-IX] and in http://arxiv.org/abs/1506.09042. We describe the category of $\mathcal O_X$-modules over a derived complex analytic space $X$ as the stabilization of a…
We give an alternate formulation of pseudo-coherence over an arbitrary derived stack X. The full subcategory of pseudo-coherent objects forms a stable sub-infinity-category of the derived category associated to X. Using relative…
Let X be a normal connected complex algebraic variety equipped with a semisimple complex representation of its fundamental group. Then, under a maximality assumption, we prove that the covering space of X associated to the kernel of the…
Given a family $(F,h) \to X \times S$ of Hermite-Einstein bundles on a compact K\"ahler manifold $(X,g)$ we consider the higher direct image sheaves $R^q p_* \mathcal{O}(F)$ on $S$, where $p: X \times S \to S$ is the projection. On the…
Let $X$ be a projective smooth surface over $\mathbb{C}$ with $H^2(\mathcal{O}_X)=0$. Let $M=M(L,\chi)$ be the moduli space of 1-dimensional semistable sheaves with determinant $\mathcal{O}_X(L)$ and Euler characteristic $\chi$. We have the…
An important part of the classical theory of real or complex manifolds is the theory of (smooth, real analytic or complex analytic) vector bundles. With any vector bundle over a manifold (M,F) the sheaf of its (smooth, real analytic or…