public 01:07:51
public 57:12
public 01:06:30

Ken-ichiro Kimura : Elliptic Units in K_2 groups

  -   Algebraic Geometry ( 33 Views )

public 58:27

Matthew Cushman : The Motivic Fundamental Group

  -   Algebraic Geometry ( 44 Views )

The fundamental group of a topological space is usually defined in terms of homotopy classes of based loops. The group structure is given by composition of loops. If X is a complex algebraic variety, one has an underlying topological space, and hence a fundamental group. Hain showed that the nilpotent completion of the group ring of this topological fundamental group carries a mixed Hodge structure. Grothendieck defined a fundamental group for schemes defined over any field. Applying this to a complex algebraic variety, one obtains the profinite completion of the topological fundamental group. This group comes with a natural action of the absolute Galois group of the field of definition. The above indicates that varieties over fields of characteristic zero have two notions of fundamental group, armed with either a Galois action or a mixed Hodge structure. This is similar to the situation with homology and cohomology groups, where one has both an etale and Betti version carrying Galois actions and Hodge structures. An important guiding principle is that both of these versions of homology and cohomology should come from an underlying ``motivic'' theory. This is a homology and cohomology theory for algebraic varieties over a field k taking values the abelian tensor category of mixed motives over k, denoted M_k. There should be functors from M_k to both the category of Galois modules and mixed Hodge structures. When applied to the motivic homology of a variety X, these functors should yield the etale homology or Betti homology of X. In this way, motives glue these two different theories together more strongly than just the comparison isomorphisms. Nori has recently given a definition of the category of mixed motives. In this talk, we will show how this category relates to the fundamental group. In fact, more generally there is a motivic version of paths between two different points x and y of X which is important for applications. We also show that the multiplication and comultiplication maps are motivic, and compare with Hain's theory.

public 01:34:44

David Morrison : Normal functions and disk counting

  -   Algebraic Geometry ( 209 Views )

In 1990, Candelas, de la Ossa, Green, and Parkes used the then-new technique of mirror symmetry to predict the number of rational curves of each fixed degree on a quintic threefold. The techniques used in the prediction were subsequently understood in Hodge-theoretic terms: the predictions are encoded in a power-series expansion of a quantity which describes the variation of Hodge structures, and in particular this power-series expansion is calculated from the periods of the holomorphic three-form on the quintic, which satisfy the Picard-- Fuchs differential equation. In 2006, Johannes Walcher made an analogous prediction for the number of holomorphic disks on the complexification of a real quintic threefold whose boundaries lie on the real quintic, in each fixed relative homology class. (The predictions were subsequently verified by Pandharipande, Solomon, and Walcher.) This talk will report on recent joint work of Walcher and the speaker which gives the Hodge- theoretic context for Walcher's predictions. The crucial physical quantity "domain wall tension" is interpreted as a Poincar\'e normal function, that is, a holomorphic section of the bundle of Griffiths intermediate Jacobians. And the periods are generalized to period integrals of the holomorphic three-form over appropriate 3-chains (not necessarily closed), which leads to a generalization of the Picard--Fuchs equations.