-extensions in characteristic 3

We present an explicit construction of the complete family of Galois extensions of a field of characteristic 3 with Galois group the central product of a double cover of the symmetric group and the quaternion group , containing a given -extension of the field .

     

Robust transitivity and topological mixing for -flows

We prove that nontrivial homoclinic classes of -generic flows are topologically mixing. This implies that given , a nontrivial -robustly transitive set of a vector field , there is a -perturbation of such that the continuation of is a topologically mixing set for . In particular, robustly transitive flows become topologically mixing after -perturbations. These results generalize a theorem by Bowen on the basic sets of generic Axiom A flows. We also show that the set of flows whose nontrivial homoclinic classes are topologically mixing is not open and dense, in general.

     

On the invariance of classes under composition

The necessary and sufficient condition for to be in the class for every of that class whose range is in the domain of is that be in .

     

Critical exponents of discrete groups and -spectrum

Let be a noncompact semisimple Lie group and an arbitrary discrete, torsion-free subgroup of . Let be the bottom of the spectrum of the Laplace-Beltrami operator on the locally symmetric space , and let be the exponent of growth of . If has rank , then these quantities are related by a well-known formula due to Elstrodt, Patterson, Sullivan and Corlette. In this note we generalize that relation to the higher rank case by estimating from above and below by quadratic polynomials in . As an application we prove a rigiditiy property of lattices.

     

Real rank and squaring mappings for unital -algebras

It is proved that if is a compact Hausdorff space of Lebesgue dimension , then the squaring mapping , defined by , is open if and only if . Hence the Lebesgue dimension of can be detected from openness of the squaring maps . In the case it is proved that the map , from the selfadjoint elements of a unital -algebra into its positive elements, is open if and only if is isomorphic to for some compact Hausdorff space with .

     

-injective rings and -stable primes

The notion of stability of the highest local cohomology module with respect to the Frobenius functor originates in the work of R. Hartshorne and R. Speiser. R. Fedder and K.-i. Watanabe examined this concept for isolated singularities by relating it to -rationality. The purpose of this note is to study what happens in the case of non-isolated singularities and to show how this stability concept encapsulates a few of the subtleties of tight closure theory. Our study can be seen as a generalization of the work by Fedder and Watanabe. We introduce two new ring invariants, the -stability number and the set of -stable primes. We associate to every ideal generated by a system of parameters and an ideal of multipliers denoted and obtain a family of ideals . The set is independent of and consists of finitely many prime ideals. It also equals prime ideal such that is -stable. The maximal height of such primes defines the -stability number.

     

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.

     

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.

     

On algebraic -groups

We introduce the categories of algebraic -varieties and -groups over a difference field . Under a ``linearly -closed" assumption on we prove an isotriviality theorem for -groups. This theorem immediately yields the key lemma in a proof of the Manin-Mumford conjecture. The present paper crucially uses ideas of Pilay and Ziegler (2003) but in a model theory free manner. The applications to Manin-Mumford are inspired by Hrushovski's work (2001) and are also closely related to papers of Pink and Roessler (2002 and 2004).

     

The -exponent of the -local spectrum

Let be a fixed odd prime. In this paper we prove an exponent conjecture of Bousfield, namely that the -exponent of the spectrum is for . It follows from this result that the -exponent of is at least for and , where denotes the -connected cover of .

     

Modular group algebras of -separable -groups

Under the assumptions of MA and CH, it is proved that if is a field of prime characteristic and is an -separable abelian -group of cardinality , then an isomorphism of the group algebras and implies an isomorphism of and .

     

Lifts of - and -morphisms to -morphisms

Let be the Hochschild complex of cochains on and let be the space of multivector fields on . In this paper we prove that given any -structure (i.e. Gerstenhaber algebra up to homotopy structure) on , and any -morphism (i.e. morphism of a commutative, associative algebra up to homotopy) between and , there exists a -morphism between and that restricts to . We also show that any -morphism (i.e. morphism of a Lie algebra up to homotopy), in particular the one constructed by Kontsevich, can be deformed into a -morphism, using Tamarkin's method for any -structure on . We also show that any two of such -morphisms are homotopic.

     

-theory of -pseudo-differential algebras

We are concerned with the so-called -pseudo-differential calculus. We describe the spectrum of the unital and commutative -algebra given by the norm closure of the space of -order pseudo-differential operators modulo compact operators; other related algebras are also considered. Finally, their -theory is computed.

     

-inner automorphisms of finite groups

We refer to an automorphism of a group as -inner if given any subset of with cardinality less than , there exists an inner automorphism of agreeing with on . Hence is 2-inner if it sends every element of to a conjugate. New examples are given of outer -inner automorphisms of finite groups for all natural numbers .

     

of Hamiltonian manifolds

Let be a connected, compact symplectic manifold equipped with a Hamiltonian action. We prove that, as fundamental groups of topological spaces, , where is the symplectic quotient at any value in the image of the moment map .

     

-hyponormal operators are subscalar

We prove that if are injective, then is subscalar if and only if is subscalar. As corollaries, it is shown that -hyponormal operators and log-hyponormal operators are subscalar; also w-hyponormal operators with Ker Kerand their generalized Aluthge transformations are subscalar.

     

Twisted sums with spaces

If is a separable Banach space, we consider the existence of non-trivial twisted sums , where or For the case we show that there exists a twisted sum whose quotient map is strictly singular if and only if contains no copy of . If we prove an analogue of a theorem of Johnson and Zippin (for ) by showing that all such twisted sums are trivial if is the dual of a space with summable Szlenk index (e.g., could be Tsirelson's space); a converse is established under the assumption that has an unconditional finite-dimensional decomposition. We also give conditions for the existence of a twisted sum with with strictly singular quotient map.

     

Simple birational extensions of the polynomial algebra

The Abhyankar-Sathaye Problem asks whether any biregular embedding can be rectified, that is, whether there exists an automorphism such that is a linear embedding. Here we study this problem for the embeddings whose image is given in by an equation , where and . Under certain additional assumptions we show that, indeed, the polynomial is a variable of the polynomial ring (i.e., a coordinate of a polynomial automorphism of ). This is an analog of a theorem due to Sathaye (1976) which concerns the case of embeddings . Besides, we generalize a theorem of Miyanishi (1984) giving, for a polynomial as above, a criterion for when .

     

Functional calculus and -regularity of a class of Banach algebras

Suppose that is a -dynamical system such that is of polynomial growth. If is finite dimensional, we show that any element in has slow growth and that is -regular. Furthermore, if is discrete and is a ``nice representation' of , we define a new Banach -algebra which coincides with when is finite dimensional. We also show that any element in has slow growth and is -regular.

     

-adic formal series and primitive polynomials over finite fields

In this paper, we investigate the Hansen-Mullen conjecture with the help of some formal series similar to the Artin-Hasse exponential series over -adic number fields and the estimates of character sums over Galois rings. Given we prove, for large enough , the Hansen-Mullen conjecture that there exists a primitive polynomial over of degree with the -th ( coefficient fixed in advance except when if is odd and when if is even.