A NOTE ON RANK TWO STABLE BUNDLES OVER SURFACES

Let π : X → C be a fibration with integral fibers over a curve C and consider a polarization H on the surface X. Let E be a stable vector bundle of rank 2 on C. We prove that the pullback π*(E) is a H-stable bundle over X. This result allows us to relate the corresponding moduli spaces of stable bundles $${{\mathcal M}_C}(2,d)$$ and $${{\mathcal M}_{X,H}}(2,df,0)$$ through an injective morphism. We study the induced morphism at the level of Brill–Noether loci to construct examples of Brill–Noether loci on fibered surfaces. Results concerning the emptiness of Brill–Noether loci follow as a consequence of a generalization of Clifford’s Theorem for rank two bundles on surfaces.

Fourier–Mukai Transform on a Compactified Jacobian

We use Fourier–Mukai transform to compute the cohomology of the Picard bundles on the compactified Jacobian of an integral nodal curve $Y$. We prove that the transform gives an injective morphism from the moduli space of vector bundles of rank $r \ge 2$ and degree $d$ ($d$ sufficiently large) on $Y$ to the moduli space of vector bundles of a fixed rank and fixed Chern classes on the compactified Jacobian of $Y$. We show that this morphism induces a morphism from the moduli space of vector bundles of rank $r \ge 2$ and a fixed determinant of degree $d$ on $Y$ to the moduli space of vector bundles of a fixed rank with a fixed determinant and fixed Chern classes on the compactified Jacobian of $Y$.

Positivity properties of the bundle of logarithmic tensors on compact Kähler manifolds

Let $X$ be a compact Kähler manifold, endowed with an effective reduced divisor $B=\sum Y_{k}$ having simple normal crossing support. We consider a closed form of $(1,1)$-type $\unicode[STIX]{x1D6FC}$ on $X$ whose corresponding class $\{\unicode[STIX]{x1D6FC}\}$ is nef, such that the class $c_{1}(K_{X}+B)+\{\unicode[STIX]{x1D6FC}\}\in H^{1,1}(X,\mathbb{R})$ is pseudo-effective. A particular case of the first result we establish in this short note states the following. Let $m$ be a positive integer, and let $L$ be a line bundle on $X$, such that there exists a generically injective morphism $L\rightarrow \bigotimes ^{m}T_{X}^{\star }\langle B\rangle$, where we denote by $T_{X}^{\star }\langle B\rangle$ the logarithmic cotangent bundle associated to the pair $(X,B)$. Then for any Kähler class $\{\unicode[STIX]{x1D714}\}$ on $X$, we have the inequality $$\begin{eqnarray}\displaystyle \int _{X}c_{1}(L)\wedge \{\unicode[STIX]{x1D714}\}^{n-1}\leqslant m\int _{X}(c_{1}(K_{X}+B)+\{\unicode[STIX]{x1D6FC}\})\wedge \{\unicode[STIX]{x1D714}\}^{n-1}.\end{eqnarray}$$ If $X$ is projective, then this result gives a generalization of a criterion due to Y. Miyaoka, concerning the generic semi-positivity: under the hypothesis above, let $Q$ be the quotient of $\bigotimes ^{m}T_{X}^{\star }\langle B\rangle$ by $L$. Then its degree on a generic complete intersection curve $C\subset X$ is bounded from below by $$\begin{eqnarray}\displaystyle \biggl(\frac{n^{m}-1}{n-1}-m\biggr)\int _{C}(c_{1}(K_{X}+B)+\{\unicode[STIX]{x1D6FC}\})-\frac{n^{m}-1}{n-1}\int _{C}\unicode[STIX]{x1D6FC}.\end{eqnarray}$$ As a consequence, we obtain a new proof of one of the main results of our previous work [F. Campana and M. Păun, Orbifold generic semi-positivity: an application to families of canonically polarized manifolds, Ann. Inst. Fourier (Grenoble) 65 (2015), 835–861].

UNAMBIGUOUS MORPHIC IMAGES OF STRINGS

We study a fundamental combinatorial problem on morphisms in free semigroups: With regard to any string α over some alphabet we ask for the existence of a morphism σ such that σ(α) is unambiguous, i.e. there is no morphism τ with τ(i) ≠ σ(i) for some symbol i in α and, nevertheless, τ(α) = σ(α). As a consequence of its elementary nature, this question shows a variety of connections to those topics in discrete mathematics which are based on finite strings and morphisms such as pattern languages, equality sets and, thus, the Post Correspondence Problem. Our studies demonstrate that the existence of unambiguous morphic images essentially depends on the structure of α: We introduce a partition of the set of all finite strings into those that are decomposable (referred to as prolix) in a particular manner and those that are indecomposable (called succinct). This partition, that is also known to be of major importance for the research on pattern languages and on finite fixed points of morphisms, allows to formulate our main result according to which a string α can be mapped by an injective morphism onto an unambiguous image if and only if α is succinct.