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.

     

Semi-linear homology -spheres and their equivariant inertia groups

This paper introduces an abelian group for all semi-linear homology -spheres, which corresponds to a known abelian group for all semi-linear homotopy -spheres, where is a compact Lie group and is a -representation with 0$">. Then using equivariant surgery techniques, we study the relation between both and when is finite. The main result is that under the conditions that -action is semi-free and with 0$">, the homomorphism defined by is an isomorphism if , and a monomorphism if . This is an equivariant analog of a well-known result in differential topology. Such a result is also applied to the equivariant inertia groups of semi-linear homology -spheres.

     

Analysing finite locally -arc transitive graphs

We present a new approach to analysing finite graphs which admit a vertex intransitive group of automorphisms and are either locally -arc transitive for or -locally primitive. Such graphs are bipartite with the two parts of the bipartition being the orbits of . Given a normal subgroup which is intransitive on both parts of the bipartition, we show that taking quotients with respect to the orbits of preserves both local primitivity and local -arc transitivity and leads us to study graphs where acts faithfully on both orbits and quasiprimitively on at least one. We determine the possible quasiprimitive types for in these two cases and give new constructions of examples for each possible type. The analysis raises several open problems which are discussed in the final section.

     

Asymptotic behavior of the solutions of linear and quasilinear elliptic equations on

We investigate the relationship between the decay at infinity of the right-hand side and solutions of an equation when is a second order elliptic operator on It is shown that when is Fredholm, inherits the type of decay of (for instance, exponential, or power-like). In particular, the generalized eigenfunctions associated with all the Fredholm eigenvalues of isolated or not, decay exponentially. No use is made of spectral theory. The result is next extended when is replaced by a Fredholm quasilinear operator. Various generalizations to other unbounded domains, higher order operators or elliptic systems are possible and briefly alluded to, but not discussed in detail.

     

A unified approach to improved Hardy inequalities with best constants

We present a unified approach to improved Hardy inequalities in . We consider Hardy potentials that involve either the distance from a point, or the distance from the boundary, or even the intermediate case where the distance is taken from a surface of codimension . In our main result, we add to the right hand side of the classical Hardy inequality a weighted norm with optimal weight and best constant. We also prove nonhomogeneous improved Hardy inequalities, where the right hand side involves weighted norms, .

     

A new variational characterization of -dimensional space forms

A Riemannian manifold is associated with a Schouten -tensor which is a naturally defined Codazzi tensor in case is a locally conformally flat Riemannian manifold. In this paper, we study the Riemannian functional defined on , where is the space of smooth Riemannian metrics on a compact smooth manifold and is the elementary symmetric functions of the eigenvalues of with respect to . We prove that if and a conformally flat metric is a critical point of with , then must have constant sectional curvature. This is a generalization of Gursky and Viaclovsky's very recent theorem that the critical point of with characterized the three-dimensional space forms.

     

The -stable pieces of the wonderful compactification

Let be a connected, simple algebraic group over an algebraically closed field. There is a partition of the wonderful compactification of into finite many -stable pieces, which was introduced by Lusztig. In this paper, we will investigate the closure of any -stable piece in . We will show that the closure is a disjoint union of some -stable pieces, which was first conjectured by Lusztig. We will also prove the existence of cellular decomposition if the closure contains finitely many -orbits.

     

Parametrized principles

We will present a collection of guessing principles which have a similar relationship to as cardinal invariants of the continuum have to . The purpose is to provide a means for systematically analyzing and its consequences. It also provides for a unified approach for understanding the status of a number of consequences of and in models such as those of Laver, Miller, and Sacks.

     

-theorems for fusion systems

For an odd prime, we generalise the Glauberman-Thompson -nilpotency theorem (Gorenstein, 1980) to arbitrary fusion systems. We define a notion of -free fusion systems and show that if is a -free fusion system on some finite -group , then is controlled by for any Glauberman functor , generalising Glauberman's -theorem (Glauberman, 1968) to arbitrary fusion systems.

     

Invariants, Boolean algebras and ACA

The sentences asserting the existence of invariants for mathematical structures are usually third order ones. We develop a general approach to analyzing the strength of such statements in second order arithmetic in the spirit of reverse mathematics. We discuss a number of simple examples that are equivalent to ACA. Our major results are that the existence of elementary equivalence invariants for Boolean algebras and isomorphism invariants for dense Boolean algebras are both of the same strength as ACA. This system corresponds to the assertion that (the arithmetic jump of ) exists for every set . These are essentially the first theorems known to be of this proof theoretic strength. The proof begins with an analogous result about these invariants on recursive (dense) Boolean algebras coding .