Registered users receive a variety of benefits including the ability to customize email alerts, create favorite journals list, and save searches.
Please note that a Project Euclid web account does not automatically grant access to full-text content. An institutional or society member subscription is required to view non-Open Access content.
Contact email@example.com with any questions.
In this paper, we are interested in proving that the infinitesimal variations of Hodge structure for hypersurfaces for hypersurfaces of high-enough degree lie in a proper subvariety of the variety of all integral elements of the Griffiths transversality system. That is, this proves that in this case, the geometric infinitesimal variations of Hodge structure satisfy further conditions rather than just being integral elements of the Griffiths system. This is proved using the Jacobian ring representation of the (primitive) cohomology of the hypersurfaces and a space of symmetrizers as defined by Donagi, but here, we use the Jacobian ring representation to identify a geometric structure carried by the variety of all integral elements.
Let be the moduli space of stable algebraic curves of genus with marked points. With the operations that relate the different moduli spaces identifying marked points, the family is a modular operad of projective smooth Deligne-Mumford stacks . In this paper, we prove that the modular operad of singular chains is formal, so it is weakly equivalent to the modular operad of its homology . As a consequence, the up-to-homotopy algebras of these two operads are the same. To obtain this result, we prove a formality theorem for operads analogous to the Deligne-Griffiths-Morgan-Sullivan formality theorem, the existence of minimal models of modular operads, and a characterization of formality for operads which shows that formality is independent of the ground field.
There is a well-known conjecture of Serre that any continuous, irreducible representation which is odd arises from a newform. Here is the absolute Galois group of , and is an algebraic closure of the finite field of of ℓ elements. We formulate such a conjecture for -dimensional mod ℓ representations of for any positive integer and where is a geometrically irreducible, smooth curve over a finite field of characteristic (), and we prove this conjecture in a large number of cases. In fact, a proof of all cases of the conjecture for follows from a result announced by Gaitsgory in [G]. The methods are different.
We present an algebraic approach to the classical problem of constructing a simplicial convex polytope given its planar triangulation and lengths of its edges. We introduce polynomial invariants of a polytope and show that they satisfy polynomial relations in terms of squares of edge lengths. We obtain sharp upper and lower bounds on the degree of these polynomial relations. In a special case of regular bipyramid we obtain explicit formulae for some of these relations. We conclude with a proof of the Robbins conjecture on the degree of generalized Heron polynomials.