Calculation of values of -functions associated to elliptic curves

We calculated numerically the values of -functions of four typical elliptic curves in the critical strip in the range . We found that all the non-trivial zeros in this range lie on the critical line and are simple except the one at . The method we employed in this paper is the approximate functional equation with incomplete gamma functions in the coefficients. For incomplete gamma functions, we continued them holomorphically to the right half plane , which enables us to calculate for large . Furthermore we remark that a relation exists between Sato-Tate conjecture and the generalized Riemann Hypothesis.

     

Universal -lattices of minimal rank

Let be the minimal rank of -universal -lattices, by which we mean positive definite -lattices which represent all positive -lattices of rank . It is a well known fact that for . In this paper, we determine and find all -universal lattices of rank for .

     

On the non-vanishing of cubic twists of automorphic -series

Let be a normalised new form of weight for over and , its base change lift to . A sufficient condition is given for the nonvanishing at the center of the critical strip of infinitely many cubic twists of the -function of . There is an algorithm to check the condition for any given form. The new form of level is used to illustrate our method.

     

Computing isogenies between elliptic curves over using Couveignes's algorithm

The heart of the improvements by Elkies to Schoof's algorithm for computing the cardinality of elliptic curves over a finite field is the ability to compute isogenies between curves. Elkies' approach is well suited for the case where the characteristic of the field is large. Couveignes showed how to compute isogenies in small characteristic. The aim of this paper is to describe the first successful implementation of Couveignes's algorithm. In particular, we describe the use of fast algorithms for performing incremental operations on series. We also insist on the particular case of the characteristic 2.

     

Products on -modules

Elmendorf, Kriz, Mandell and May have used their technology of modules over highly structured ring spectra to give new constructions of -modules such as , and so on, which makes it much easier to analyse product structures on these spectra. Unfortunately, their construction only works in its simplest form for modules over that are concentrated in degrees divisible by ; this guarantees that various obstruction groups are trivial. We extend these results to the cases where or the homotopy groups are allowed to be nonzero in all even degrees; in this context the obstruction groups are nontrivial. We shall show that there are never any obstructions to associativity, and that the obstructions to commutativity are given by a certain power operation; this was inspired by parallel results of Mironov in Baas-Sullivan theory. We use formal group theory to derive various formulae for this power operation, and deduce a number of results about realising -local -modules as -modules.

     

-identities on associative algebras

Let be an algebra over a field and a finite group of automorphisms and anti-automorphisms of . We prove that if satisfies an essential -polynomial identity of degree , then the -codimensions of are exponentially bounded and satisfies a polynomial identity whose degree is bounded by an explicit function of . As a consequence we show that if is an algebra with involution satisfying a -polynomial identity of degree , then the -codimensions of are exponentially bounded; this gives a new proof of a theorem of Amitsur stating that in this case must satisfy a polynomial identity and we can now give an upper bound on the degree of this identity.

     

coefficients

Let be a system of real smooth vector fields, satisfying Hörmander's condition in some bounded domain (). We consider the differential operator

where the coefficients are real valued, bounded measurable functions, satisfying the uniform ellipticity condition:

for a.e. , every , some constant . Moreover, we assume that the coefficients belong to the space VMO (``Vanishing Mean Oscillation'), defined with respect to the subelliptic metric induced by the vector fields . We prove the following local -estimate:

for every , . We also prove the local Hölder continuity for solutions to for any with large enough. Finally, we prove -estimates for higher order derivatives of , whenever and the coefficients are more regular.

     

Willmore Functionals

We prove some integral inequalities for immersed tori in the three sphere. The functionals considered are generalizations of the Willmore functional.

     

Metrizable and -metrizable betweenness spaces

It is proved that the theory of the class of all betweenness spaces metrizable by real-valued metrics does not coincide with the theory of the class of all betweenness spaces metrizable by metrics taking values in any ordered field. This solves a problem raised by Mendris and Zlatov{s}.

     

Operator ideal norms on

Let be a real number such that and its conjugate exponent . We prove that for an operator defined on with values in a Banach space, the image of the unit ball determines whether belongs to any operator ideal and its operator ideal norm. We also show that this result fails to be true in the remaining cases of . Finally we prove that when the result holds in finite dimension, the map which associates to the image of the unit ball the operator ideal norm is continuous with respect to the Hausdorff metric.

     

A counterexample machine

We present a general method for constructing families of measure preserving transformations which are and loosely Bernoulli with various ergodic theoretical properties. For example, we construct two transformations which are weakly isomorphic but not isomorphic, and a transformation with no roots. Ornstein's isomorphism theorem says families of Bernoulli shifts cannot have these properties. The construction uses a combination of properties from maps constructed by Ornstein and Shields, and Rudolph, and reduces the question of isomorphism of two transformations to the conjugacy of two related permutations.

     

Determining the small solutions to -unit equations

In this paper we generalize the method of Wildanger for finding small solutions to unit equations to the case of -unit equations. The method uses a minor generalization of the LLL based techniques used to reduce the bounds derived from transcendence theory, followed by an enumeration strategy based on the Fincke-Pohst algorithm. The method used reduces the computing time needed from MIPS years down to minutes.

     

Fourier multipliers on weighted -spaces

In his 1986 paper in the Rev. Mat. Iberoamericana, A. Carbery proved that a singular integral operator is of weak type on if its lacunary pieces satisfy a certain regularity condition. In this paper we prove that Carbery's result is sharp in a certain sense. We also obtain a weighted analogue of Carbery's result. Some applications of our results are also given.

     

The -theory of toric manifolds

Toric manifolds, a topological generalization of smooth projective toric varieties, are determined by an -dimensional simple convex polytope and a function from the set of codimension-one faces into the primitive vectors of an integer lattice. Their cohomology was determined by Davis and Januszkiewicz in 1991 and corresponds with the theorem of Danilov-Jurkiewicz in the toric variety case. Recently it has been shown by Buchstaber and Ray that they generate the complex cobordism ring. We use the Adams spectral sequence to compute the -theory of all toric manifolds and certain singular toric varieties.

     

Homoclinic points of algebraic -actions

Let be an action of by continuous automorphisms of a compact abelian group . A point in is called homoclinic for if as . We study the set of homoclinic points for , which is a subgroup of . If is expansive, then is at most countable. Our main results are that if is expansive, then (1) is nontrivial if and only if has positive entropy and (2) is nontrivial and dense in if and only if has completely positive entropy. In many important cases is generated by a fundamental homoclinic point which can be computed explicitly using Fourier analysis. Homoclinic points for expansive actions must decay to zero exponentially fast, and we use this to establish strong specification properties for such actions. This provides an extensive class of examples of -actions to which Ruelle's thermodynamic formalism applies. The paper concludes with a series of examples which highlight the crucial role of expansiveness in our main results.

     

Support functionals and smooth points in abstract spaces

By presenting some properties of support functionals in abstract spaces, we get some sufficient and necessary conditions for smooth points in abstract (function) spaces. Moreover, the notion of the smallest support semi-norm is introduced and an explicit form for this functional in abstract function spaces is also given.

     

The length of -pseudodifferential operators

We compute the length of the -algebra generated by the algebra of b-pseudodifferential operators of order on compact manifolds with corners.

     

The -algebras of infinite graphs

We associate -algebras to infinite directed graphs that are not necessarily locally finite. By realizing these algebras as Cuntz-Krieger algebras in the sense of Exel and Laca, we are able to give criteria for their uniqueness and simplicity, generalizing results of Kumjian, Pask, Raeburn, and Renault for locally finite directed graphs.

     

Classification of one -type representations

Suppose is a simple reductive -adic group with Weyl group . We give a classification of the irreducible representations of which can be extended to real hermitian representations of the associated graded Hecke algebra . Such representations correspond to unitary representations of which have a small spectrum when restricted to an Iwahori subgroup.