Elliptic curves with nonsplit mod representations

We calculate explicitly the -invariants of the elliptic curves corresponding to rational points on the modular curve by giving an expression defined over of the -function in terms of the function field generators and of the elliptic curve . As a result we exhibit infinitely many elliptic curves over with nonsplit mod representations.

     

Biliaison classes of curves in

We characterize the curves in that are minimal in their biliaison class. Such curves are exactly the curves that do not admit an elementary descending biliaison. As a consequence we have that every curve in can be obtained from a minimal one by means of a finite sequence of ascending elementary biliaisons.

     

Symmetric Markov chains on with unbounded range

We consider symmetric Markov chains on where we do not assume that the conductance between two points must be zero if the points are far apart. Under a uniform second moment condition on the conductances, we obtain upper bounds on the transition probabilities, estimates for exit time probabilities, and certain lower bounds on the transition probabilities. We show that a uniform Harnack inequality holds if an additional assumption is made, but that without this assumption such an inequality need not hold. We establish a central limit theorem giving conditions for a sequence of normalized symmetric Markov chains to converge to a diffusion on corresponding to an elliptic operator in divergence form.

     

Integral points on elliptic curves and -torsion in class groups

We give new bounds for the number of integral points on elliptic curves. The method may be said to interpolate between approaches via diophantine techniques and methods based on quasi-orthogonality in the Mordell-Weil lattice. We apply our results to break previous bounds on the number of elliptic curves of given conductor and the size of the -torsion part of the class group of a quadratic field. The same ideas can be used to count rational points on curves of higher genus.

     

Partial hyperbolicity or dense elliptic periodic points for -generic symplectic diffeomorphisms

We prove that if a symplectic diffeomorphism is not partially hyperbolic, then with an arbitrarily small perturbation we can create a totally elliptic periodic point inside any given open set. As a consequence, a -generic symplectic diffeomorphism is either partially hyperbolic or it has dense elliptic periodic points. This extends the similar results of S. Newhouse in dimension 2 and M.-C. Arnaud in dimension 4. Another interesting consequence is that stably ergodic symplectic diffeomorphisms must be partially hyperbolic, a converse to Shub-Pugh's stable ergodicity conjecture for the symplectic case.

     

Quasi-Monte Carlo integration over

In this paper we show that a wide class of integrals over with a probability weight function can be evaluated using a quasi-Monte Carlo algorithm based on a proper decomposition of the domain and arranging low discrepancy points over a series of hierarchical hypercubes. For certain classes of power/exponential decaying weights the algorithm is of optimal order.

     

Geometric characterizations of finite Chevalley groups of type B

Finite Moufang generalized quadrangles were classified in 1974 as a corollary to the classification of finite groups with a split BN-pair of rank , by P. Fong and G. M. Seitz (1973), (1974). Later on, work of S. E. Payne and J. A. Thas culminated in an almost complete, elementary proof of that classification; see Finite Generalized Quadrangles, 1984. Using slightly more group theory, first W. M. Kantor (1991), then the first author (2001), and finally, essentially without group theory, J. A. Thas (preprint), completed this geometric approach. Recently, J. Tits and R. Weiss classified all (finite and infinite) Moufang polygons (2002), and this provides a third independent proof for the classification of finite Moufang quadrangles.

In the present paper, we start with a much weaker condition on a BN-pair of Type and show that it must correspond to a Moufang quadrangle, proving that the BN-pair arises from a finite Chevalley group of (relative) Type . Our methods consist of a mixture of combinatorial, geometric and group theoretic arguments, but we do not use the classification of finite simple groups. The condition on the BN-pair translates to the generalized quadrangle as follows: for each point , the stabilizer of all lines through that point acts transitively on the points opposite .

     

Hermite interpolation by Pythagorean Hodograph space curves

We solve the problem of Hermite interpolation by Pythagorean Hodograph (PH) space curves. More precisely, for any set of space boundary data (two points with associated first and second derivatives) we construct a four-dimensional family of PH interpolants of degree and introduce a geometrically invariant parameterization of this family. This parameterization is used to identify a particular solution, which has the following properties. First, it preserves planarity, i.e., the interpolant to planar data is a planar PH curve. Second, it has the best possible approximation order 6. Third, it is symmetric in the sense that the interpolant of the ``reversed' set of boundary data is simply the ``reversed' original interpolant. This particular PH interpolant is exploited for designing algorithms for converting (possibly piecewise) analytical curves into a piecewise PH curve of degree which is globally , and for simple rational approximation of pipe surfaces with a piecewise analytical spine curve. The algorithms are presented along with an analysis of their error and approximation order.

     

Rational double points on supersingular surfaces

We investigate configurations of rational double points with the total Milnor number on supersingular surfaces. The complete list of possible configurations is given. As an application, we also give the complete list of extremal (quasi-)elliptic fibrations on supersingular surfaces.

     

Semifree symplectic circle actions on -orbifolds

A theorem of Tolman and Weitsman states that all symplectic semifree circle actions with isolated fixed points on compact symplectic manifolds must be Hamiltonian and have the same equivariant cohomology and Chern classes of equipped with the standard diagonal circle action. In this paper, we show that the situation is much different when we consider compact symplectic orbifolds. Focusing on -orbifolds with isolated cone singularities, we show that such actions, besides being Hamiltonian, can now be obtained from either or a weighted projective space, or a quotient of one of these spaces by a finite cyclic group, by a sequence of special weighted blow-ups at fixed points. In particular, they can have any number of fixed points.

     

``Chinese & Match', an alternative to Atkin's ``Match and Sort' method used in the SEA algorithm

A classical way to compute the number of points of elliptic curves defined over finite fields from partial data obtained in SEA (Schoof Elkies Atkin) algorithm is a so-called ``Match and Sort' method due to Atkin. This method is a ``baby step/giant step' way to find the number of points among candidates with elliptic curve additions. Observing that the partial information modulo Atkin's primes is redundant, we propose to take advantage of this redundancy to eliminate the usual elliptic curve algebra in this phase of the SEA computation. This yields an algorithm of similar complexity, but the space needed is smaller than what Atkin's method requires. In practice, our technique amounts to an acceleration of Atkin's method, allowing us to count the number of points of an elliptic curve defined over . As far as we know, this is the largest point-counting computation to date. Furthermore, the algorithm is easily parallelized.

     

On the elliptic equation on

In this paper we consider the existence problem for the elliptic equation on , which arises in the study of conformal deformation of the hyperbolic disc. We prove an existence result for the above equation.

     

How to do a -descent on an elliptic curve

In this paper, we describe an algorithm that reduces the computation of the (full) -Selmer group of an elliptic curve over a number field to standard number field computations such as determining the (-torsion of) the -class group and a basis of the -units modulo th powers for a suitable set of primes. In particular, we give a result reducing this set of `bad primes' to a very small set, which in many cases only contains the primes above . As of today, this provides a feasible algorithm for performing a full -descent on an elliptic curve over , but the range of our algorithm will certainly be enlarged by future improvements in computational algebraic number theory. When the Galois module structure of is favorable, simplifications are possible and -descents for larger are accessible even today. To demonstrate how the method works, several worked examples are included.

     

All -local finite groups of rank two for odd prime

In this paper we give a classification of the rank two -local finite groups for odd . This study requires the analysis of the possible saturated fusion systems in terms of the outer automorphism group of the possible -radical subgroups. Also, for each case in the classification, either we give a finite group with the corresponding fusion system or we check that it corresponds to an exotic -local finite group, getting some new examples of these for .

     

-regularity, -fibrant Hochschild homology, and a conjecture of Vorst

In this paper we prove that for an affine scheme essentially of finite type over a field and of dimension , -regularity implies regularity, assuming that the characteristic of is zero. This verifies a conjecture of Vorst.

     

Tornado solutions for semilinear elliptic equations in : Applications

We show partial regularity of bounded positive solutions of some semilinear elliptic equations in domains of . As a consequence, there exists a large variety of nonnegative singular solutions to these equations. These equations have previously been studied from the point of view of free boundary problems, where solutions additionally are stable for a variational problem, which we do not assume.

     

Average size of -Selmer groups of elliptic curves, I

In this paper, we study a class of elliptic curves over with -torsion group , and prove that the average order of the -Selmer groups is bounded.

     

On the theory of elliptic functions based on

Based on properties of the hypergeometric series , we develop a theory of elliptic functions that shares many striking similarities with the classical Jacobian elliptic functions.

     

Degeneration of linear systems through fat points on surfaces

In this paper we introduce a technique to degenerate surfaces and linear systems through fat points in general position on surfaces. Using this degeneration we show that on generic surfaces it is enough to prove that linear systems with one fat point are non-special in order to obtain the non-speciality of homogeneous linear systems through fat points in general position. Moreover, we use this degeneration to obtain a result for homogeneous linear systems through fat points in general position on a general quartic surface in .