Invitation to higher local fields, Part II, section 2: Adelic constructions for direct images of differentials and symbols

This is a concise survey of links between Galois module theory and class field theory (CFT). It explores various uses of CFT in Galois module theory, it comments on the absence of CFT in contexts where it might be expected to play a role and indicates some lines of research that might bring CFT to play a more prominent role in Galois module theory.

In this paper I give new elementary proofs of basic results of Gelfand, Kapranov and Zelevinskywhich express discriminants and resultants in terms of determinants of direct images of Cayley-Koszul complexes of sheaves.

The reciprocity law for abelian differentials of first and second kind is generalized to higher-dimensional varieties. It is shown that $H^1(V)$ of a polarized variety $V$ is encoded in the Laurent data along a curve germ in $V$, with the polarization form on $H^1(V)$ corresponding to the {\em one-dimensional} residue pairing. This associates an {\em extended abelian variety} to $V$; if $V$ is an abelian variety itself, our construction ``extends" it, even when $V$ is not a J...

In this paper we extend the unramified class field theory for arithmetic surfaces of K. Kato and S. Saito to the relative case. Let X be a regular proper arithmetic surface and let Y be the support of divisor on X. Let CH_0(X,Y) denote the relative Chow group of zero cycles and let \tilde \pi_1^t(X,Y)^ {ab} denote the abelianized modified tame fundamental group of (X,Y) (which classifies finite etale abelian covings of X-Y which are tamely ramified along Y and in which every ...

We use non-abelian fundamental groups to define a sequence of higher reciprocity maps on the adelic points of a variety over a number field satisfying certain conditions in Galois cohomology. The non-abelian reciprocity law then states that the global points are contained in the kernel of all the reciprocity maps.

This paper contains two remarks on Beilinson's adeles with values in the De Rham complex of a scheme. The first is an interpretation, in terms of adeles, of the decomposition of the De Rham complex on a scheme defined modulo $p^{2}$ (the result of Deligne-Illusie). The second remark is about the possible relation between adeles and Hodge decomposition. We work out a counter example.

In this article we give an adelic proof of the Chevalley-Gras formula for global fields, which itself is a generalization of the ambiguous class number formula. The idea is to reduce the formula to the Hasse norm theorem, the local and global reciprocity laws. We also give an adelic proof of the Chevalley-Gras formula for $0$-th divisor class group in the function field case, which extends a result of Rosen.

This short note is an "elementary'' introduction to the conjectural theory of motives.

In this work, we prove the vanishing of the two cohomological group of the higher local field. This generalize the well-known propriety of finite field and one dimensional local field. We apply this result to study the arithmetic of curve defined over higher local field.

In this article we briefly discuss the finite generation of fiber rings of invariant k-jets of holomorphic curves in a complex projective manifold, using differential Galois theory.