Related papers: Comparison of Kummer logarithmic topologies with c…

Let $S$ be an fs log scheme, and let $F$ be a group scheme over the underlying scheme which is \'etale locally representable by (1) a finite dimensional $\mathbb{Q}$-vector space, or (2) a finite rank free abelian group, or (3) a finite…

We compare the Kummer flat (resp. Kummer etale) cohomology with the flat (resp. etale) cohomology with coefficients in smooth commutative group schemes, finite flat group schemes and the logarithmic multiplicative group of Kato. We will be…

In this paper, we prove that, when an abelian scheme has semi-abelian degeneration along normal crossings divisor in a regular base scheme, a finite flat group scheme of torsion points of the abelian scheme degenerates to a log finite group…

Let $X$ be a fine and saturated log scheme, and let $G$ be a commutative finite flat group scheme over the underlying scheme of $X$. If $G$-torsors for the fppf topology can be thought of as being unramified objects by nature, then…

We prove the following criterion for the pro-representability of the deformation cohomology of a commutative formal Lie group. Let f be a flat and separated morphism between noetherian schemes. Assume that the target of f is flat over the…

We first provide a detailed proof of Kato's classification theorem of log $p$-divisible groups over a noetherian henselian local ring. Exploring Kato's idea further, we then define the notion of a standard extension of a classical finite…

We show that log flat torsors over a family $X/S$ of nodal curves under a finite flat commutative group scheme $G/S$ are classified by maps from the Cartier dual of $G$ to the log Jacobian of $X$. We deduce that fppf torsors on the smooth…

We prove vanishing of the higher direct images of the structure (and the canonical) sheaf for a proper birational morphism with source a smooth variety and target the quotient of a smooth variety by a finite group of order prime to the…

We compare tame actions in the category of schemes with torsors in the category of log schemes endowed with the log flat topology. We prove that actions underlying log flat torsors are tame. Conversely, starting from a tame cover of a…

We compute Hochschild cohomology of projective hypersurfaces starting from the Gerstenhaber-Schack complex of the (restricted) structure sheaf. We are particularly interested in the second cohomology group and its relation with…

We show that for flat morphisms between varieties with rational singularities, the higher direct images of the structure sheaf are locally free. As a consequence, the identity component of the relative Picard scheme is a smooth algebraic…

Let $k$ be a perfect field of characteristic $p>0$, $\mathcal{V}$ a complete discrete valuation ring with residue field $k$ and field of fractions $K$ of characteristic 0, and $S$ a separated $k$-scheme of finite type. When $S$ is smooth…

For a semi-stable abelian variety A_K over a complete discrete valuation field K, we show that every finite subgroup scheme of A_K extends to a log finite flat group scheme over the valuation ring of K endowed with the canonical log…

We use a variation of a classical construction of A. Hatcher to construct virtually all stable exotic smooth structures on compact smooth manifold bundles whose fibers have sufficiently large odd dimension (at least twice the base dimension…

We study cohomology support loci and higher direct images of (log) pluricanonical bundles of smooth projective varieties or log canonical pairs. We prove that the 0-th cohomology support loci of log pluricanonical bundles are finite unions…

We consider a closed odd-dimensional oriented manifold $M$ together with an acyclic flat hermitean vector bundle $\cF$. We form the trivial fibre bundle with fibre $M$ over the manifold of all Riemannian metrics on $M$. It has a natural…

Let $R$ be a discrete valuation ring with field of fractions $K$ and residue field $k$ of characteristic $p>0$. Given a finite commutative group scheme $G$ over $K$ and a smooth projective curve $C$ over $K$ with a rational point, we study…

The cohomology groups of line bundles over complex tori (or abelian varieties) are classically studied invariants of these spaces. In this article, we compute the cohomology groups of line bundles over various holomorphic, non-commutative…

We show that diagram groups can be viewed as fundamental groups of spaces of positive paths on directed 2-complexes (these spaces of paths turn out to be classifying spaces). Thus diagram groups are analogs of second homotopy groups,…

We generalize the logarithmic purity theorem of Fujiwara-Kato to torsors which arise in the Kummer log flat topology under finite flat linearly reductive group schemes. As an application, we construct the logarithmic Nori fundamental group…