Limits of Hodge Structure in Several Variables

We define the notion of a morphism of generalized semi-stable type, which is a generalization of the notion of a semistable degeneration over a curve. We partially generalize Steenbrink's results on the limit of Hodge structures to the case of such a morphism. As an application we prove the E1-degeneration of the relative Hodge–De Rham spectral sequence for this case.     

Models of Curves and Finite Covers

Let K be a discrete valuation field with ring of integers O _K .Letf : X ! Y be a finite morphism of curves over K. In this article, we study some possible relationships between the models over O K of X and of Y. Three such relationships are listed below. Consider a Galois cover f : X ! Y of degree prime to the characteristic of the residue field, with branch locus B. We show that if Y has semi-stable reduction over K,thenX achieves semi-stable reduction over some explicit tame extension of K.B/.WhenK is strictly henselian, we determine the minimal extension L=K with the property that X L has semi-stable reduction. Let f : X ! Y be a finite morphism, with g.Y/ > 2. We show that if X has a stable model X over O _K ,thenY has a stable model Y over O _K , and the morphism f extends to a morphism X ! Y. ! Y. Finally, given any finite morphism f : X ! Y, is it possible to choose suitable regular models X and Y of X and Y over O _K such that f extends to a finite morphism X ! Y ?As wasshown by Abhyankar, the answer is negative in general. We present counterexamples in rather general situ-ations, with f a cyclic cover of any order > 4. On the other hand, we prove, without any hypotheses on the residual characteristic, that this extension problem has a positive solution when f is cyclic of order 2 or 3.     

Motivic integral of K3 surfaces over a non-archimedean field

We prove a formula expressing the motivic integral (Loeser and Sebag, 2003) [34] of a K3 surface over C((t)) with semi-stable reduction in terms of the associated limit mixed Hodge structure. Secondly, for every smooth variety over a complete discrete valuation field we define an analogue of the monodromy pairing, constructed by Grothendieck in the case of abelian varieties, and prove that our monodromy pairing is a birational invariant of the variety. Finally, we propose a conjectural formula for the motivic integral of maximally degenerate K3 surfaces over an arbitrary complete discrete valuation field and prove this conjecture for Kummer K3 surfaces.     

Relative monodromy weight filtrations

In this paper we establish the existence of relative weight filtrations of cones of monodromy logarithms and identities between relative weight filtrations in a context more general than M. Kashiwara's infinitesimal mixed Hodge modules. This generalizes a theorem of M. Kashiwara and adds conceptual clarity to the problem. Our approach to working with relative weight filtrations is to split the weight filtrations with canonical splittings introduced by P. Deligne. These splittings agree with the splittings that occur in the -theory of variations of pure Hodge structure of W. Schmid and of E. Cattani, A. Kaplan, and W. Schmid, but are more general, as they don't require filtrations to be monodromy weight filtrations. Received January 29, 1999; in final form November 4, 1999 / Published online October 11, 2000     

Twisted stability and Fourier-Mukai transform II

 In this note, we define the twisted stability for a purely 1-dimensional sheaf and study the problem of the preservation of the stability condition under the relative Fourier-Mukai transform on an elliptic surface. As an application, we compute the Hodge polynomials of some moduli spaces of sheaves on an elliptic surface. We also construct the moduli space of twisted semi-stable sheaves. Received: 29 January 2002 / Revised version: 16 October 2002 Published online: 24 January 2003 Mathematics Subject Classification (2000): 14D20     

Polygones de Hodge,de Newton et de l’inertie modérée des représentations semi-stables

Dans cette note, on associe à chaque représentation p-adique semi-stable un polygone obtenu à partir des poids de l’inertie modérée de la semi-simplifiée modulo p, et on compare dans certains cas la position relative de ce polygone par rapport aux polygones de Hodge et de Newton.     

Good reductions of Shimura varieties of Hodge type in arbitrary unramified mixed characteristic. Part I

We prove the existence of good smooth integral models of Shimura varieties of Hodge type in arbitrary unramified mixed characteristic (0, p). As a first application we provide a smooth solution (answer) to a conjecture (question) of Langlands for Shimura varieties of Hodge type. As a second application we prove the existence in arbitrary unramified mixed characteristic (0, p) of integral canonical models of projective Shimura varieties of Hodge type with respect to h-hyperspecial subgroups as pro-étale covers of Néron models; this forms progress towards the proof of conjectures of Milne and Reimann. Though the second application was known before in some cases, its proof is new and more of a principle.     

Semi-stable models for rigid-analytic spaces

 Let R be a complete discrete valuation ring with field of fractions K and let X _K be a smooth, quasi-compact rigid-analytic space over S_p K. We show that there exists a finite separable field extension K' of K, a rigid-analytic space X' _K' over S_p K' having a strictly semi-stable formal model over the ring of integers of K', and an étale, surjective morphism f : X' _K' →X _K of rigid-analytic spaces over S_p K. This is different from the alteration result of A.J. de Jong [dJ] who does not obtain that f is étale. To achieve this property we have to work locally on X _K , i.e. our f is not proper and hence not an alteration. Received: 26 October 2001 / Revised version: 14 August 2002 Published online: 14 February 2003     

Stable Maps and Branch Divisors

We construct a natural branch divisor for equidimensional projective morphisms where the domain has lci singularities and the target is nonsingular. The method involves generalizing a divisor construction of Mumford from sheaves to complexes. The construction is valid in flat families. The generalized branch divisor of a stable map to a nonsingular curve X yields a canonical morphism from the space of stable maps to a symmetric product of X. This branch morphism (together with virtual localization) is used to compute the Hurwitz numbers of covers of the projective line for all genera and degrees in terms of Hodge integrals.     

Hodge polynomials of the moduli spaces of rank 3 pairs

Let X be a smooth projective curve of genus g ≥ 2 over the complex numbers. A holomorphic triple on X consists of two holomorphic vector bundles E ₁ and E ₂ over X and a holomorphic map . There is a concept of stability for triples which depends on a real parameter σ. In this paper, we determine the Hodge polynomials of the moduli spaces of σ-stable triples with rk(E ₁) = 3, rk(E ₂) = 1, using the theory of mixed Hodge structures. This gives in particular the Poincaré polynomials of these moduli spaces. As a byproduct, we recover the Hodge polynomial of the moduli space of odd degree rank 3 stable vector bundles.      

Semi-stable fibrations of generic p-rank 0

In this paper, we proved that, for a semi-stable fibration of a proper smooth surface to a proper smooth curve over a filed of positive characteristic, if the p-rank of the generic fiber is 0, then the base change of the fibration by a sufficiently many iterative Frobenius morphism of the base curve violates the semi-positivity theorem. As an application, we suggest a statement on a distribution of p-ranks of reductions for a certain nonclosed point in the moduli space over a number field.     

On images of weak Fano manifolds

We consider a smooth projective morphism between smooth complex projective varieties. If the source space is a weak Fano (or Fano) manifold, then so is the target space. Our proof is Hodge theoretic. We do not need mod p reduction arguments. We also discuss related topics and questions.     

The Hodge structure of the coloring complex of a hypergraph

Let G be a simple graph with n vertices. The coloring complex Δ(G) was defined by Steingrímsson, and the homology of Δ(G) was shown to be nonzero only in dimension n−3 by Jonsson. Hanlon recently showed that the Eulerian idempotents provide a decomposition of the homology group H_n−3(Δ(G)) where the dimension of the jth component in the decomposition, , equals the absolute value of the coefficient of λ^j in the chromatic polynomial of G, χ_G(λ).Let H be a hypergraph with n vertices. In this paper, we define the coloring complex of a hypergraph, Δ(H), and show that the coefficient of λ^j in χ_H(λ) gives the Euler Characteristic of the jth Hodge subcomplex of the Hodge decomposition of Δ(H). We also examine conditions on a hypergraph, H, for which its Hodge subcomplexes are Cohen–Macaulay, and thus where the absolute value of the coefficient of λ^j in χ_H(λ) equals the dimension of the jth Hodge piece of the Hodge decomposition of Δ(H). We also note that the Euler Characteristic of the jth Hodge subcomplex of the Hodge decomposition of the intersection of coloring complexes is given by the coefficient of jth term in the associated chromatic polynomial.     

Ramification de certaines extensions de Lie p-adiques

Let G be a p-adic Lie group and let K be a finite extension of the p-adic number field ℚ _p . There are finitely many filtrations of G which could be ramification filtrations of totally ramified Galois extensions of K with Galois group G. Received: 19 October 1998     

Idempotent et cohomologie de Hochschild

Any idempotent element e of an (associative) algebra T defines an algebra $A=eTe$ with unit e. We show that the morphism which compares their Hochschild cohomology algebras is a Gerstenhaber algebras morphism. Moreover, this morphism factorizes through the cohomological algebras of many triangular algebras. To cite this article: B. Bendiffalah, D. Guin, C. R. Acad. Sci. Paris, Ser. I 342 (2006).     

Holomorphic and algebraic vector bundles on 0-convex algebraic surfaces

LetX be a smooth complex algebraic surface such that there is a proper birational morphism/:X → Y withY an affine variety. Let X_hol be the 2-dimensional complex manifold associated toX. Here we give conditions onX which imply that every holomorphic vector bundle onX is algebraizable and it is an extension of line bundles. We also give an approximation theorem of holomorphic vector bundles on X_hol (X normal algebraic surface) by algebraic vector bundles.     

Geometric criteria for tame ramification

We prove an A’Campo type formula for the tame monodromy zeta function of a smooth and proper variety over a discretely valued field K. As a first application, we relate the orders of the tame monodromy eigenvalues on the ?-adic cohomology of a K-curve to the geometry of a relatively minimal sncd-model, and we show that the semi-stable reduction theorem and Saito’s criterion for cohomological tameness are immediate consequences of this result. As a second application, we compute the error term in the trace formula for smooth and proper K-varieties. We see that the validity of the trace formula would imply a partial generalization of Saito’s criterion to arbitrary dimension.     

On K1 and K2 of Algebraic Surfaces

In this paper we study higher Chow groups of smooth, projective surfaces over a field k of characteristic zero, using some new Hodge theoretic methods which we develop for this purpose. In particular we investigate the subgroup of CH ^r+1 (X,r) with r = 1,2 consisting of cycles that are supported over a normal crossing divisor Z on X. In this case, the Hodge theory of the complement forms an interesting variation of mixed Hodge structures in any geometric deformation of the situation. Our main result is a structure theorem in the case where X is a very general hypersurface of degree d in projective 3-space for d sufficiently large and Z is a union of very general hypersurface sections of X. In this case we show that the subgroup of CH ^r+1 (X,r) we consider is generated by obvious cycles only arising from rational functions on X with poles along Z. This can be seen as a generalization of the Noether–Lefschetz theorem for r = 0. In the case r = 1 there is a similar generalization by Müller-Stach, but our result is more precise than it, since it is geometric and not only cohomological. The case r = 2 is entirely new and original in this paper. For small d, we construct some explicit examples for r = 1 and 2 where the corresponding higher Chow groups are indecomposable, i.e. not the image of certain products of lower order groups. In an appendix Alberto Collino constructs even more indecomposable examples in CH ³ (X,2) which move in a one-dimensional family on the surface X.Contribution to appendix.     

Symmetric Group Modules with Specht and Dual Specht Filtrations

The author and Nakano recently proved that multiplicities in a Specht filtration of a symmetric group module are well-defined precisely when the characteristic is at least five. This result suggested the possibility of a symmetric group theory analogous to that of good filtrations and tilting modules for GL _n (k). This article is an initial attempt at such a theory. We obtain two sufficient conditions that ensure a module has a Specht filtration, and a formula for the filtration multiplicities. We then study the categories of modules that satisfy the conditions, in the process obtaining a new result on Specht module cohomology.

Next we consider symmetric group modules that have both Specht and dual Specht filtrations. Unlike tilting modules for GL _n (k), these modules need not be self-dual, and there is no nice tensor product theorem. We prove a correspondence between indecomposable self-dual modules with Specht filtrations and a collection of GL _n (k)-modules which behave like tilting modules under the tilting functor. We give some evidence that indecomposable self-dual symmetric group modules with Specht filtrations may be indecomposable self dual trivial source modules.