Bounding Selmer Groups for the Rankin–Selberg Convolution of Coleman Families

Let f and g be two cuspidal modular forms and let ${\mathcal {F}}$ be a Coleman family passing through f, defined over an open affinoid subdomain V of weight space $\mathcal {W}$ . Using ideas of Pottharst, under certain hypotheses on f and g, we construct a coherent sheaf over $V \times \mathcal {W}$ that interpolates the Bloch–Kato Selmer group of the Rankin–Selberg convolution of two modular forms in the critical range (i.e, the range where the p-adic L-function $L_p$ interpolates critical values of the global L-function). We show that the support of this sheaf is contained in the vanishing locus of $L_p$ .

On Deformations of Pairs (Manifold, Coherent Sheaf)

We analyse infinitesimal deformations of pairs $(X,{\mathcal{F}})$ with ${\mathcal{F}}$ a coherent sheaf on a smooth projective variety $X$ over an algebraically closed field of characteristic 0. We describe a differential graded Lie algebra controlling the deformation problem, and we prove an analog of a Mukai–Artamkin theorem about the trace map.

On the essential dimension of coherent sheaves

We characterize all fields of definition for a given coherent sheaf over a projective scheme in terms of projective modules over a finite-dimensional endomorphism algebra. This yields general results on the essential dimension of such sheaves. Applying them to vector bundles over a smooth projective curveC, we obtain an upper bound for the essential dimension of their moduli stack. The upper bound is sharp if the conjecture of Colliot-Thélène, Karpenko and Merkurjev holds. We find that the genericity property proved for Deligne–Mumford stacks by Brosnan, Reichstein and Vistoli still holds for this Artin stack, unless the curveCis elliptic.

Reachable sheaves on ribbons and deformations of moduli spaces of sheaves

A primitive multiple curve is a Cohen–Macaulay irreducible projective curve [Formula: see text] that can be locally embedded in a smooth surface, and such that [Formula: see text] is smooth. In this case, [Formula: see text] is a line bundle on [Formula: see text]. If [Formula: see text] is of multiplicity 2, i.e. if [Formula: see text], [Formula: see text] is called a ribbon. If [Formula: see text] is a ribbon and [Formula: see text], then [Formula: see text] can be deformed to smooth curves, but in general a coherent sheaf on [Formula: see text] cannot be deformed in coherent sheaves on the smooth curves. It has been proved in [Reducible deformations and smoothing of primitive multiple curves, Manuscripta Math. 148 (2015) 447–469] that a ribbon with associated line bundle [Formula: see text] such that [Formula: see text] can be deformed to reduced curves having two irreducible components if [Formula: see text] can be written as [Formula: see text] where [Formula: see text] are distinct points of [Formula: see text]. In this case we prove that quasi-locally free sheaves on [Formula: see text] can be deformed to torsion-free sheaves on the reducible curves with two components. This has some consequences on the structure and deformations of the moduli spaces of semi-stable sheaves on [Formula: see text].

Flat quasi-coherent sheaves of finite cotorsion dimension

Let [Formula: see text] be a quasi-compact and semi-separated scheme. If every flat quasi-coherent sheaf has finite cotorsion dimension, we prove that [Formula: see text] is [Formula: see text]-perfect for some [Formula: see text]. If [Formula: see text] is coherent and [Formula: see text]-perfect (not necessarily of finite Krull dimension), we prove that every flat quasi-coherent sheaf has finite pure injective dimension. Also, we show that there is an equivalence [Formula: see text] of homotopy categories, whenever [Formula: see text] is the homotopy category of pure injective flat quasi-coherent sheaves and [Formula: see text] is the pure derived category of flat quasi-coherent sheaves.

Bounded sets of sheaves on Kähler manifolds

We show that any set of quotients with fixed Chern classes of a given coherent sheaf on a compact Kähler manifold is bounded in a sense which we define. The result is proved by adapting Grothendieck's boundedness criterion expressed via the Hilbert polynomial to the Kähler set-up. As a consequence we obtain the compactness of the connected components of the Douady space of a compact Kähler manifold.

Exact functors on perverse coherent sheaves

Inspired by symplectic geometry and a microlocal characterizations of perverse (constructible) sheaves we consider an alternative definition of perverse coherent sheaves. We show that a coherent sheaf is perverse if and only if $R{\rm\Gamma}_{Z}{\mathcal{F}}$ is concentrated in degree $0$ for special subvarieties $Z$ of $X$. These subvarieties $Z$ are analogs of Lagrangians in the symplectic case.

A Krull-Schmdit type theorem for coherent sheaves

Let X be projective variety over an algebraically closed field k and G be a finite group with g.c.d.(char(k), |G|) = 1. We prove that any representations of G on a coherent sheaf, ρ : G → End(ℰ), has a natural decomposition ℰ ≃ ⊕ V ⊗k ℱV, where G acts trivially on ℱV and the sum run over all irreducible representations of G over k.

-algebras associated with curves and rational functions on . I

We consider the natural$A_{\infty }$-structure on the$\mathrm{Ext}$-algebra$\mathrm{Ext}^*(G,G)$associated with the coherent sheaf$G=\mathcal{O}_C\oplus \mathcal{O}_{p_1}\oplus \cdots \oplus \mathcal{O}_{p_n}$on a smooth projective curve$C$, where$p_1,\ldots,p_n\in C$are distinct points. We study the homotopy class of the product$m_3$. Assuming that$h^0(p_1+\cdots +p_n)=1$, we prove that$m_3$is homotopic to zero if and only if$C$is hyperelliptic and the points$p_i$are Weierstrass points. In the latter case we show that$m_4$is not homotopic to zero, provided the genus of$C$is greater than$1$. In the case$n=g$we prove that the$A_{\infty }$-structure is determined uniquely (up to homotopy) by the products$m_i$with$i\le 6$. Also, in this case we study the rational map$\mathcal{M}_{g,g}\to \mathbb{A}^{g^2-2g}$associated with the homotopy class of$m_3$. We prove that for$g\ge 6$it is birational onto its image, while for$g\le 5$it is dominant. We also give an interpretation of this map in terms of tangents to$C$in the canonical embedding and in the projective embedding given by the linear series$|2(p_1+\cdots +p_g)|$.