Arrangements with one bounded component andp-adic integrals

In this article we study arrangementsA, such that ℝ ⁿ \A has exactly one bounded component. We obtain a result about their structure which gives us a method to construct all combinatorially different such arrangements in a given dimension. (A complete list for dimensions 1,2,3 and 4 is included). Furthermore we associate ap-adic integral to each such arrangement and proof that this integral can be written as a product ofp-adic beta functions. This is analogous to results of Varchenko and Loeser for integrals over ℝ and character sums over finite fields respectively.     

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     

Coloring,sparseness and girth

Using the classical analysis resolution of singularities algorithm of [G4], we generalize the theorems of [G3] on Rⁿ sublevel set volumes and oscillatory integrals with real phase function to functions over an arbitrary local field of characteristic zero. The p-adic cases of our results provide new estimates for exponential sums as well as new bounds on how often a function f(x), such as a polynomial with integer coefficients, is divisible by various powers of a prime p when x is an integer. Unlike many papers on such exponential sums and p-adic oscillatory integrals, we do not require the Newton polyhedron of the phase to be nondegenerate, but rather as in [G3] we have conditions on the maximum order of the zeroes of certain polynomials corresponding to the compact faces of this Newton polyhedron.     

Exponential sum estimates over subgroups and almost subgroups of \mathbb{Z}_{Q}^{*} , where Q is composite with few prime factors

In this paper we extend the exponential sum results from [BK] and [BGK] for prime moduli to composite moduli q involving a bounded number of prime factors. In particular, we obtain nontrivial bounds on the exponential sums associated to multiplicative subgroups H of size q^δ, for any given δ > 0. The method consists in first establishing a ‘sumproduct theorem’ for general subsets A of . If q is prime, the statement, proven in [BKT], expresses simply that either the sum-set A + A or the product-set A.A is significantly larger than A, unless |A| is near q. For composite q, the presence of nontrivial subrings requires a more complicated dichotomy, which is established here. With this sum-product theorem at hand, the methods from [BGK] may then be adapted to the present context with composite moduli. They rely essentially on harmonic analysis and graph-theoretical results such as Gowers’ quantitative version of the Balog–Szemeredi theorem. As a corollary, we get nontrivial bounds for the ‘Heilbronn-type’ exponential sums when q = p^r (p prime) for all r. Only the case r = 2 has been treated earlier in works of Heath-Brown and Heath-Brown and Konyagin (using Stepanov’s method). We also get exponential sum estimates for (possibly incomplete) sums involving exponential functions, as considered for instance in [KS]. Submitted: October 2004 Revision: June 2005 Accepted: August 2005     

Intersection numbers of cycles on locally symmetric spaces and fourier coefficients of holomorphic modular forms in several complex variables

Using the theta correspondence we construct liftings from the cohomology with compact supports of locally symmetric spaces associated to O(p, q) (resp. U(p, q)) of degreenq (resp. Hodge typenq, nq) to the space of classical holomorphic Siegel modular forms of weight (p +q)/2 and genusn (resp. holomorphic hermitian modular forms of weightp +q and genusn). It is important to note that the cohomology with compact supports contains the cuspidal harmonic forms by Borel [3]. We can express the Fourier coefficients of the lift of η in terms of periods of η over certain totally geodesic cycles—generalizing Shintani’s solution [21] of a conjecture of Shimura. We then choose η to be the Poincaré dual of a (finite) cycle and obtain a collection of formulas analogous to those of Hirzebruch-Zagier [8]. In our previous work we constructed the above lifting but we were unable to prove that it took values in theholomorphic forms. Moreover, we were unable to compute the indefinite Fourier coefficients of a lifted class. By Koecher’s Theorem we may now conclude that all such coefficients are zero. Partially supported by NSF Grant # MCS-82-01660. Partially supported by NSF Grant # DMS-85-01742.     

Period relations and p-adic measures

Let (π,σ) be a pair of cuspidal automorphic representations of GL ⁿ × GL ^{n −1} over the adele ring of ℚ having non-vanishing cohomology with constant coefficients. The p-adic distribution interpolating the critical values of the twisted corresponding Rankin–Selberg convolution is shown to be p-adically bounded thus leading to an associated p-adic L-function. Received: 18 October 2000 / Revised version: 27 July 2001     

A torsion-free abelian group of finite rank exists whose quotient group modulo the square subgroup is not a nil-group

The first example of a finite rank torsion-free abelian group A such that the quotient group of A modulo the square subgroup of A is not a nil-group is indicated (in both cases of associative and general rings). In particular, the answer to the question posed by A.E. Stratton and M.C. Webb in [18], Abelian groups, nil modulo a subgroup, need not have nil quotient group, Publ. Math. Debrecen. 27 (1980), 127–130, is given for finite rank torsion-free groups. A relationship between nontrivial p-pure subgroups of the additive group of p-adic integers and nontrivial ? [p^?1]-submodules of the field of p-adic numbers is investigated. In particular, a bijective correspondence between these structures is proven using only elementary methods.     

On growth,recurrence and the Choquet-Deny Theorem for <Emphasis Type="Italic">p</Emphasis>-adic Lie groups

We first study the growth properties of p-adic Lie groups and its connection with p-adic Lie groups of type R and prove that a non-type R p-adic Lie group has compact neighbourhoods of identity having exponential growth. This is applied to prove the growth dichotomy for a large class of p-adic Lie groups which includes p-adic algebraic groups. We next study p-adic Lie groups that admit recurrent random walks and prove the natural growth conjecture connecting growth and the existence of recurrent random walks, precisely we show that a p-adic Lie group admits a recurrent random walk if and only if it has polynomial growth of degree at most two. We prove this conjecture for some other classes of groups also. We also prove the Choquet-Deny Theorem for compactly generated p-adic Lie groups of polynomial growth and also show that polynomial growth is necessary and sufficient for the validity of the Choquet-Deny for all spread-out probabilities on Zariski-connected p-adic algebraic groups. Counter example is also given to show that certain assumptions made in the main results can not be relaxed.     

p-adic Arakelov theory

We introduce the p-adic analogue of Arakelov intersection theory on arithmetic surfaces. The intersection pairing in an extension of the p-adic height pairing for divisors of degree 0 in the form described by Coleman and Gross. It also uses Coleman integration and is related to work of Colmez on p-adic Green functions. We introduce the p-adic version of a metrized line bundle and define the metric on the determinant of its cohomology in the style of Faltings. We also prove analogues of the Adjunction formula and the Riemann-Roch formula.     

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.     

Hochschild Cohomology of Deformation Quantizations over ℤ/<Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>ℤ

Let A ₁ be an Azumaya algebra over a smooth affine symplectic variety X over Spec F _p , where p is an odd prime. Let A be a deformation quantization of A ₁ over the p-adic integers. In this note we show that for all n ≥ 1, the Hochschild cohomology of A/p ⁿ A is isomorphic to the de Rham-Witt complex \(W_{n}{\Omega }^{\ast }_{X}\) of X over \(\mathbb {Z}/p^{n}\mathbb {Z}\). We also compute the center of deformations of certain affine Poisson varieties over F _p .     

On families of additive exponential sums

In this paper we compute geometric monodromy groups of additive exponential sums over BbbAⁿ. Our approach builds on work of N. Katz, and involves p-adic analysis of explicit sums and computation of the Galois group of an equation over a function field in characteristic 2. The paper also provides a brief historical outline of the problem and lists previously known results.     

Finite group actions and étale cohomology

If a finite group G acts on a quasi-projective variety X, then H*_c(X,Z/n), the étale cohomology with compact support of X with coefficients inZ/n, has aZ/n[G]-module structure. It is well known that there is a finer invariant, an object RΓ_c(X,Z/n) of the derived category ofZ/n[G]-modules, whose cohomology is H*_c(X,Z/n). We show that there is a finer invariant still, a bounded complex Λ_c(X,Z/n) of direct summands of permutationZ/n[G]-modules, well-defined up to chain homotopy equivalence, which is isomorphic to RΓ_c(X,Z/n) in the derived category. This complex has many properties analogous to those of the simplicial chain complex of a simplicial complex with a group action. There are similar results forl-adic cohomology.     

On the Hochschild Cohomology of Triangular Algebras

Abstract

In order to study the Hochschild cohomology of an n-triangular algebra 𝒯 _n , we construct a spectral sequence, whose terms are parametrized by the length of the trajectories of the quiver associated with 𝒯 _n , and which converges to the Hochschild cohomology of 𝒯 _n . We describe explicitly its components and its differentials which are sums of cup products. In case n = 3 we study some properties of the differential at level 2. We give some examples of use of the spectral sequence and recover formulas for the dimension of the cohomology groups of particular cases of triangular algebras.     

A p-adic model of DNA sequence and genetic code

Using basic properties of p-adic numbers, we consider a simple new approach to describe main aspects of DNA sequence and the genetic code. In our investigation central role plays an ultrametric p-adic information space whose basic elements are nucleotides, codons and genes. We show that a 5-adicmodel is appropriate for DNA sequence. This 5-adicmodel, combined with 2-adic distance, is also suitable for the genetic code and for amore advanced employment in genomics. We find that genetic code degeneracy is related to the p-adic distance between codons. The text was submitted by the authors in English. This paper is a slight modification of an article available in the electronic archive form arXiv:qbio. GN/0607018v1 (July 2006). Since that time some other papers on this subject have appeared, e.g. [1], [2].     

On the L-functions associated with certain exponential sums

By use of p-adic analytic methods, we study the L-functions associated to certain exponential sums defined over a finite field. Estimates for the degree of this L-function as rational function are obtained. In an “asymptotic” sense, these estimates are shown to be best possible. Precise determination of the degree is computed in the one-variable case.     

Approximation with sums of exponentials in Lp[0, ∞)

We consider the problem of approximating a given f from L_p [0, ∞) by means of the family V_n(S) of exponential sums; V_n(S) denotes the set of all possible solutions of all possible nth order linear homogeneous differential equations with constant coefficients for which the roots of the corresponding characteristic polynomials all lie in the set S. We establish the existence of best approximations, show that the distance from a given f to V_n(S) decreases to zero as n becomes infinite, and characterize such best approximations with a first-order necessary condition. In so doing we extend previously known results that apply in L_p[0, 1].     

Fonctions L associées aux F-isocristaux surconvergents II: Zéros et pôles unités

Résumé Nous démontrons la conjecture de Katz concernant la méromorphie et la caractérisation des zéros et p?les unités des fonctions L associées aux représentations p-adiques lorsque celles-ci se prolongent sur une compactification du schéma de base. Comme cas particuliers importants, on obtient celui de la fonction zêta d’un schéma quelconque et celui d’une représentation p-adique quelconque sur un schéma propre.

---

If X is a smooth variety over a finite field ? _q of characteristic p > 0 and ℱ is a p-adic sheaf associated to a representation of the fundamental group of X, N. Katz conjectures, in his Bourbaki talk 409, that the L function L (X, ℱ, t) has its p-adic unit roots and poles given in terms of p-adic étale cohomology. We prove this conjecture in the case of the structure sheaf ℱ = ℤ _p , that is for the Zeta function, and also more generally when the p-adic sheaf ℱ extends to a smooth sheaf on a compactification of X: as a consequence we get the Unit-Root Zeta function of Dwork and Sperber as an L function. The idea of the proof is to get the p-adic étale cohomology with coefficients and compact support as the fixed points of Frobenius acting on rigid cohomology with compact support. For this purpose, we first build a crystalline Artin–Schreier short exact sequence on the syntomic site of a scheme which is separated of finite type over a perfect field k: this naturally generalizes the work of J.M. Fontaine and W. Messing in the proper smooth case. Then getting rigid cohomology with coefficients as a limit of crystalline cohomologies of variable level we deduce a long exact sequence connecting p-adic étale cohomology (with compact support) to rigid cohomology (with compact support). When X is smooth and affine over an algebraically closed field, the former exact sequence splits into short exact sequences that identify the p-adic étale cohomology with support of X to the part of its rigid cohomology invariant under Frobenius. We can then describe the p-adic unit roots and poles of the Zeta function of X; as a corallary we get the Unit-Root Zeta function of Dwork and Sperber as an L function. In the appendix we show that the characteristic spaces of Frobenius in rigid cohomology commute with isometric extensions of the base, and that isocrystals associated to p-adic sheaves with finite monodromy are overconvergent: we thus obtain a p-adic proof of the rationality of the corresponding L-function.

---

---

Oblatum 8-XII-1994 & 30-IV-1996     

Espaces symétriques de Drinfeld et correspondance de Langlands locale

We study the Galois action on the equivariant cohomology complex of Drinfeld's p-adic symmetric spaces and show how it encodes Langlands' correspondence for the so-called “principal elliptic” representations of GLd. This is the first stage of an expected generalization of Carayol's non-Abelian Lubin-Tate theory from supercuspidal to elliptic representations. In the process we obtain a new proof of Deligne's weight-monodromy conjecture for those varieties which admit p-adic uniformization by these spaces, we compute Ext groups and cup-products for elliptic representations, and we give a new computation of the compactly supported cohomology of p-adic symmetric spaces.