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 .

     

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 .

     

-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.

     

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 .

     

-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.

     

Triangular actions on

Every locally trivial action of the additive group of complex numbers on four-dimensional complex affine space that is given by a triangular derivation is conjugate to a translation. A criterion for a proper action on complex affine -space to be locally trivial is given, along with an example showing that the hypotheses of the criterion are sharp.

     

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.

     

estimate of a parabolic Monge-Ampère equation on

We consider a special type of parabolic Monge-Ampère equation on arising from convex hypersurfaces expansion in Euclidean spaces. We obtained a parabolic estimate of the support functions for the convex hypersurfaces assuming that we have already had a parabolic estimate.

     

The Diophantine equation

Let be a rational prime and a positive rational integer coprime with . Denote by the number of solutions of the equation in rational integers and . In a paper of Le, he claimed that without giving a proof. Furthermore, the statement has been used by Le, Bugeaud and Shorey in their papers to derive results on certain Diophantine equations. In this paper we point out that the statement is incorrect by proving that .

     

Pseudofree -actions on surfaces

In this paper, we give a weak classification of locally linear pseudofree actions of the cyclic group of order on a surface, and prove the existence of such an action which cannot be realized as a smooth action on the standard smooth surface.

     

Lightface -indescribable cardinals

-absoluteness for forcing means that for any forcing , . `` inaccessible to reals' means that for any real , . To measure the exact consistency strength of `` -absoluteness for forcing and is inaccessible to reals', we introduce a weak version of a weakly compact cardinal, namely, a (lightface) -indescribable cardinal; has this property exactly if it is inaccessible and .

     

Discrete spectra of -algebras and complemented submodules in Hilbert -modules

Let be a -algebra and let be a full (right) Hilbert -module. It is shown that if the spectrum of is discrete, then every closed --submodule of is complemented in , and conversely that if is a -space and if every closed --submodule of is complemented in , then is discrete.

     

A characterisation of in terms of forcing

We show that ``saturation' of the universe with respect to forcing over with partial orders on is equivalent to the existence of .

     

Principal eigenvalues for indefinite weight problems in all of

We show the existence of principal eigenvalues of the problem in where is an indefinite weight function. The existence of a continuous family of principal eigenvalues is demonstrated. Also, we prove the existence of a principal eigenvalue for which the principal eigenfunction at .

     

Hyperelliptic curves over of every -rank without extra automorphisms

We prove that for any pair of integers such that or 0$">, there exists a (hyper)elliptic curve over of genus and -rank whose automorphism group consists of only identity and the (hyper)elliptic involution. As an application, we prove the existence of principally polarized abelian varieties over of dimension and -rank such that .

     

The Lusternik-Schnirelmann category of

We show that the Lusternik-Schnirelmann category of the symplectic group is . This L-S category coincides with the cone length and the stable weak category.

     

interval maps not Borel conjugate to any map

We show that there exist interval maps that are not Borel conjugate to any map. These examples can be chosen to be topologically mixing and , for any finite, arbitrarily large .

     

-bounding and -induction

Working in the base theory of , we show that for all , the bounding principle for -formulas ( ) is equivalent to the induction principle for -formulas ( ). This partially answers a question of J. Paris.

     

-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.

     

Interpolation between and

We show that if is a rearrangement invariant space on that is an interpolation space between and and for which we have only a one-sided estimate of the Boyd index 1/p, 1 < p < \infty$">, then is an interpolation space between and . This gives a positive answer for a question posed by Semenov. We also present the one-sided interpolation theorem about operators of strong type and weak type .