Kato’s Euler system and rational points on elliptic curves I: A p-adic Beilinson formula

This article is the first in a series devoted to Kato’s Euler system arising from p-adic families of Beilinson elements in the K-theory of modular curves. It proves a p-adic Beilinson formula relating the syntomic regulator (in the sense of Coleman-de Shalit and Besser) of certain distinguished elements in the K-theory of modular curves to the special values at integer points ≥ 2 of the Mazur-Swinnerton-Dyer p-adic L-function attached to cusp forms of weight 2. When combined with the explicit relation between syntomic regulators and p-adic étale cohomology, this leads to an alternate proof of the main results of [Br2] and [Ge] which is independent of Kato’s explicit reciprocity law.     

The syntomic regulator for the K-theory of fields

We define complexes analogous to Goncharov's complexes for the K-theory of discrete valuation rings of characteristic zero. Under suitable assumptions in K-theory, there is a map from the cohomology of those complexes to the K-theory of the ring under consideration. In case the ring is a localization of the ring of integers in a number field, there are no assumptions necessary. We compute the composition of our map to the K-theory with the syntomic regulator. The result can be described in terms of a p-adic polylogarithm. Finally, we apply our theory in order to compute the regulator to syntomic cohomology on Beilinson's cyclotomic elements. The result is again given by the p-adic polylogarithm. This last result is related to one by Somekawa and generalizes work by Gros.     

On the syntomic regulator for K 1 of a surface

We consider elements of K ₁(S), where S is a proper surface over a p-adic field with good reduction, which are given by a formal sum ??(Z _i , f _i ) with Z _i curves in S and f _i rational functions on the Z _i in such a way that the sum of the divisors of the f _i is 0 on S. Assuming compatibility of pushforwards in syntomic and motivic cohomologies, our result computes the syntomic regulator of such an element, interpreted as a functional on H _dR ² (S), when evaluated on the cup product ????[??] of a holomorphic form ?? by the first cohomology class of a form of the second kind ??. The result is ?? _i ??F _?? , log(f _i ); F _?? ??_gl,Z _i , where F _?? and F _?? are Coleman integrals of ?? and ??, respectively, and the symbol in brackets is the global triple index, as defined in our previous work.     

A short proof of de Shalit’s cup product formula

We give a short proof of a formula of de Shalit, expressing the cup product of two vector-valued one-forms of the second kind on a Mumford curve in terms of Coleman integrals and residues. The proof uses the notion of double indices on curves and their reciprocity laws.     

Cohomology of local systems coming from<Emphasis Type="Italic">p</Emphasis>-adic hyperplane arrangements

For ap-adic hyperplane arrangement in a vector spaceV, we consider a local system of De Shalit on the Bruhat-Tits building ofPGL(V). We express this local system in terms of Orlik-Solomon algebras, and calculate its cohomology in the case where the arrangement is finite.     

Syntomic regulators andp-adic integration I: Rigid syntomic regulators

We construct a new version of syntomic cohomology, called rigid syntomic cohomology, for smooth schemes over the ring of integers of ap-adic field. This version is more refined than previous constructions and naturally maps to most of them. We construct regulators fromK-theory into rigid syntomic cohomology. We also define a “modified” syntomic cohomology, which is better behaved in explicit computations yet is isomorphic to rigid syntomic cohomology in most cases of interest.     

On the cohomology of Drinfel’d’sp-adic symmetric domain

There are, by now, three approaches to the de-Rham cohomology of Drinfel’d’sp-adic symmetric domain: the original work of Schneider and Stuhler, and more recent work of Iovita and Spiess, and of de Shalit. In the first part of this paper we compare all three approaches and clarify a few points which remained obscure. In the second half we give a short proof of a conjecture of Schneider and Stuhler, previously proven by Iovita and Spiess, on a Hodge-like decomposition of the cohomology ofp-adically uniformized varieties.     

Syntomic regulators and special values of p-adic L-functions

In this paper p-adic analogs of the Lichtenbaum Conjectures are proven for abelian number fields F and odd prime numbers p, which generalize Leopoldt's p-adic class number formula, and express special values of p-adic L-functions in terms of orders of K-groups and higher p-adic regulators. The approach uses syntomic regulator maps, which are the p-adic equivalent of the Beilinson regulator maps. They can be compared with étale regulators via the Fontaine-Messing map, and computations of Bloch-Kato in the case that p is unramified in F lead to results about generalized Coates-Wiles homomorphisms and cyclotomic characters. Oblatum 14-V-96 & 9-X-97     

On the number of conjugacy classes in a finite group II

In this work we obtain new properties connected with the number of conjugacy classes of elements of a finite group, through the analysis of the numberr _G(gN) of conjugacy classes of elements ofG that intersect the cosetgN, whereN is a normal subgroup ofG andg any element ofG. The results obtained about this number are not only used in the general problem of classifying finite groups according to the number of conjugacy classes, but they also allow us to improve and generalize known results relating to conjugacy classes due to P. Hall, M. Cartwright, A. Mann, G. Sherman, A. Vera-López and L. Ortíz de Elguea. Examples are given which illustrate our improvements. This work has been supported by the University of the Basque Country.     

Kostant's problem,Goldie rank and the Gelfand-Kirillov conjecture

Let g be a complex semisimple Lie algebra andU(g) its enveloping algebra. GivenM a simpleU(g) module, letL(M, M) denote the subspace of ad g finite elements of Hom(M, M). Kostant has asked if the natural homomorphism ofU(g) intoL(M, M) is surjective. Here the question is analysed for simple modules with a highest weight vector. This has a negative answer if g admits roots of different length ([7], 6.5). Here general conditions are obtained under whichU(g)/AnnM andL(M, M) have the same ring of fractions—in particular this is shown to always hold if g has only typeA _n factors. Combined with [21], this provides a method for determining the Goldie ranks for the primitive quotients ofU(g). Their precise form is given in typeA _n (Cartan notation) for which the generalized Gelfand-Kirillov conjecture for primitive quotients is also established.This paper was written while the author was a guest of the Institute for Advanced Studies, the Hebrew University of Jerusalem and on leave of absence from the Centre Nationale de la Recherche Scientifique     

Elliptic difference equations and interior regularity

Summary Letu be a solution of an elliptic differential equation and letu _h be a solution of a corresponding elliptic difference equation. It is proved that ifu _h converges tou at a certain rate as the mesh-widthh tends to zero, then the appropriate difference quotient ofu h converges to the corresponding derivative ofu at the same rate whenh tends to zero.     

Syntomic cohomology as a p-adic absolute Hodge cohomology

The purpose of this paper is to interpret rigid syntomic cohomology, defined by Amnon Besser [Bes], as a p-adic absolute Hodge cohomology. This is a p-adic analogue of a work of Beilinson [Be1] which interprets Beilinson-Deligne cohomology in terms of absolute Hodge cohomology. In the process, we will define a theory of p-adic absolute Hodge cohomology with coefficients, which may be interpreted as a generalization of rigid syntomic cohomology to the case with coefficients. Received: 25 September 2000 / In final form: 23 March 2001 / Published online: 28 February 2002     

Characterizing Profiles ofk-Families in Additive Macaulay Posets

A subset of a poset is ak-familyif there is no chain consisting ofk+1 of its elements. A subset of a ranked poset consisting ofp_i elements of ranki,i=0, 1, ..., Ris said to haveprofilep₀,p₁, …, p_R. A characterization is given for profiles ofk-families in additive Macaulay posets.     

The cohomology of the complex ofG-invariant forms onG-manifolds

The complex ofG-invariant forms and its cohomology for arbitraryG-manifolds and especially for a certain class ofG-manifolds, which are locally trivial fiber bundles over the orbit space, are considered. The transgression in the differential graded algebra of basic elements for tensor product of two identical Weil algebras of a reductive Lie groupG is calculated. This is used to get two convenient differential graded algebras with the same minimal models as the differential algebra of differential forms on the cross product of two principalG-bundles overG and ofG-invariant forms onG-manifolds of the above class. In particular, for compactG the generalization of the Cartan theorem on the cohomology of a homogeneous space is proved.Partially supported by the grant of the AMS's fSU Aid Fund     

Isomorphisms ofp-adic group rings

SupposeP is the ring ofp-adic integers,G is a finite group of orderp ⁿ , andPG is the group ring ofG overP. IfV _p (G) denotes the elements ofPG with coefficient sum one which are of order a power ofp, it is shown that the elements of any subgroupH ofV _p (G) are linearly independent overP, and if in additionH is of orderp ⁿ , thenPGPH. As a consequence, the lattice of normal subgroups ofG and the abelianization of the normal subgroups ofG are determined byPG.     

The lattice of idempotent binary relations

Order-theoretic properties of the complete latticeE(A) of indempotent binary relations ρ=ρ² on the given setA are investigated. The elements ρ ofE(A) are classified according to theirfixed field I(ρ)={a∈A|(a, a)∈ρ} as being either offinite type, dense, or ofmixed type. When |A|>1E(A) is a non-atomic, non-coatomic lattice in which each element is a meet of meet-irreducible elements. The elements ofE(A) which are joins of join-irreducible elements form a compactly generated complete latticeF(A) which is a join-sublattice ofE(A) consisting of all elements having finite type. The setsD(A), M(A) of elements ρ ofE(A) which are dense (i.e., satisfy ρ≠ϕ andI(ρ)=ϕ) or of mixed type (i.e., are neither dense nor of finite type) resp. are non-empty only when |A| is infinite.D(A) is a partial meet-subsemilattice ofE(A) admitting no minimal elements. The group of order automorphisms of the latticeE(A) is isomorphic toS _A ×Z ₂ and each order automorphism ofE(A) preserves inverses. Presented by B. M. Schein.     

Quantum immanants and higher Capelli identities

We consider some remarkable central elements of the universal enveloping algebraU(gl(n)) which we call quantum immanants. We express them in terms of generatorsE _ij ofU(gl(n)) and as differential operators on the space of matrices These expressions are a direct generalization of the classical Capelli identities. They result in many nontrivial properties of quantum immanants. The author is supported by the International Science Foundation and the Russian Fundamental Research Foundation.     

Hypergeometric functions of two variables

Summary The systematic investigation of contour integrals satisfying the system of partial differential equations associated with Appell's hypergeometric functionF ₁ leads to new solutions of that system. Fundamental sets of solutions are given for the vicinity of all singular points of the system of partial differential equations. The transformation theory of the solutions reveals connections between the system under consideration and other hypergeometric systems of partial differential equations. Presently it is discovered that any hypergeometric system of partial differential equations of the second order (with two independent variables) which has only three linearly independent solutions can be transformed into the system ofF ₁ or into a particular or limiting case of this system. There are also other hypergeometric systems (with four linearly independent solutions) the integration of which can be reduced to the integration of the system ofF ₁.     

Construction of minimal cocycles arising from specific differential equations

Blending methods of Topological Dynamics and Control Theory, we develop a new technique to construct compact-Lie-group-valued minimal cocycles arising as fundamental matrix solutions of linear differential equations with recurrent coefficients subject to a given constraint. The precise requirement on the coefficients is that they belong to a specified closed convex subsetS of the Lie algebraL of the Lie group. Our result is proved for a very thin class of cocycles, since the dimension ofS is allowed to be much smaller than that ofL, and the only assumption onS is thatL ₀(S) =L, whereL ₀(S) is the ideal ofL(S) generated by the difference setS − S, andL(S) is the Lie subalgebra ofL generated byS. This covers a number of differential equations arising in Mathematical Physics, and applies in particular to the widely studied example of the Rabi oscillator. Supported in part by a Research Council grant from Rutgers University. Supported in part by NSF Grant DMS92-02554.