The distribution of solutions of the congruence

For a cube of size , we obtain a lower bound on so that is nonempty, where is the algebraic subset of defined by

a positive integer and an integer not divisible by . For we obtain that is nonempty if , for we obtain that is nonempty if , and for we obtain that is nonempty if . Using the assumption of the Grand Riemann Hypothesis we obtain is nonempty if .

     

Common fixed points of commuting holomorphic maps in the unit ball of

Let be the unit ball of (). We prove that if are holomorphic self-maps of such that , then and have a common fixed point (possibly at the boundary, in the sense of -limits). Furthermore, if and have no fixed points in , then they have the same Wolff point, unless the restrictions of and to the one-dimensional complex affine subset of determined by the Wolff points of and are commuting hyperbolic automorphisms of that subset.

     

Nonexpansive, -continuous antirepresentations have common fixed points

Let be a closed convex subset of a Banach (dual Banach) space . By we denote an antirepresentation of a semitopological semigroup as nonexpansive mappings on . Suppose that the mapping is jointly continuous when has the weak (weak*) topology and the Banach space of bounded right uniformly continuous functions on has a right invariant mean. If is weakly compact (for some the set is weakly* compact) and norm separable, then has a common fixed point in .

     

Normalizers of the congruence subgroups of the Hecke group

Let cos and let be the Hecke group associated to . In this article, we show that for a prime ideal in , the congruence subgroups of are self-normalized in .

     

Ample divisors on the blow up of at points

Fix integers with and ; if assume . Let be general points of the complex projective space and let be the blow up of at with exceptional divisors , . Set . Here we prove that the divisor is ample if and only if , i.e. if and only if .

     

Some corollaries of Frobenius' normal -complement theorem

For a prime divisor of the order of a finite group , we present the set of -subgroups generating . In particular, we present the set of primary subgroups of generating the last member of the lower central series of . The proof is based on the Frobenius Normal -Complement Theorem and basic properties of minimal nonnilpotent groups. Let be a group and a group-theoretic property inherited by subgroups and epimorphic images such that all minimal non--subgroups (-subgroups) of are not nilpotent. Then (see the lemma), if is generated by all -subgroups of it follows that is a -group.

     

The growth theorem of convex mappings on the unit ball in

Let be an arbitrary norm on . Let be a normalized biholomorphic convex mapping on the unit ball in with respect to the norm . We will give an upper bound of the growth of .

     

Projections from

Let and be two infinite dimensional real Banach spaces. The following question is classical and long-standing. Are the following properties equivalent?

a) There exists a projection from the space of continuous linear operators onto the space of compact linear operators.

b) .

The answer is positive in certain cases, in particular if or has an unconditional basis. It seems that there are few results in the direction of a general solution. For example, suppose that and are reflexive and that or has the approximation property. Then, if , there is no projection of norm 1, from onto . In this paper, one obtains, in particular, the following result:

Theorem. Let be a real Banach space which is reflexive (resp. with a separable dual), of infinite dimension, and such that has the approximation property. Let be a real scalar with . Then can be equivalently renormed such that, for any projection from onto , one has . One gives also various results with two spaces and .

     

Positive differentials, theta functions and Hardy kernels

Let be a planar regular region whose Schottky double has genus and set . For fixed we determine the range of the function where is the Riemann theta function on . Also we introduce two weighted Hardy spaces to study the problem when the matrix is positive definite. The proof relies on new theta identities using Fay's trisecants formula.

     

Quadratic base change for as a theta correspondence I: Occurrence

The local theta correspondence is considered for reductive dual pairs where is a -adic field of characteristic zero and is the orthogonal group attached to a quaternary quadratic form with coefficients in and of Witt rank one over . It is shown that certain representations of occur in the correspondence.

     

Catenarity in module-finite algebras

The main theorem says that any module-finite (but not necessarily commutative) algebra over a commutative Noetherian universally catenary ring is catenary. Hence the ring is catenary if is Cohen-Macaulay. When is local and is a Cohen-Macaulay -module, we have that is a catenary ring, for any , and the equality holds true for any pair of prime ideals in and for any saturated chain of prime ideals between and .

     

New facts

We use ``iterated square sequences' to show that there is an -definable partition such that if is an inner model not containing :

(a)

For some is stationary.

(b)

For each there is a generic extension of in which does not exist and is non-stationary.

This result is then applied to show that if is an inner model without , then some sentence not true in can be forced over .

     

Harmonic maps with noncontact boundary values

Every rank one symmetric space , of noncompact type, admits a compactification by attaching a sphere at infinity. If does not have constant sectional curvature, then admits a natural contact structure. This paper presents a number of harmonic maps , from to , which extend continuously to , and have noncontact boundary values. If the boundary values are assumed continuously differentiable, then the contact structure must be preserved.

     

Gradient estimates for positive solutions of the Laplacian with drift

Let be a complete Riemannian manifold of dimension without boundary and with Ricci curvature bounded below by where If is a vector field such that and on for some nonnegative constants and then we show that any positive solution of the equation satisfies the estimate

on , for all In particular, for the case when this estimate is advantageous for small values of and when it recovers the celebrated Liouville theorem of Yau (Comm. Pure Appl. Math. 28 (1975), 201-228).

     

Relative Brauer groups of discrete valued fields

Let be a non-trivial finite Galois extension of a field . In this paper we investigate the role that valuation-theoretic properties of play in determining the non-triviality of the relative Brauer group, , of over . In particular, we show that when is finitely generated of transcendence degree 1 over a -adic field and is a prime dividing , then the following conditions are equivalent: (i) the -primary component, , is non-trivial, (ii) is infinite, and (iii) there exists a valuation of trivial on such that divides the order of the decomposition group of at .

     

Sur les -corps

Here we give new examples of fields in characteristic whose -invariant and -invariant are different: or . These fields are also -fields.

RSUM. Nous donnons ici de nouveaux exemples de corps en caractéristique dont le -invariant et le -invariant diffèrent. Plus précisément: et ou . Ces corps sont aussi des -corps.

     

On the range and the kernel of the operator

Let denote the algebra of (bounded linear) operators on the separable complex Hilbert space , and let denote a norm ideal in . For , let the derivation be defined by , and let be defined by . The main result of this paper is to show that if , are contractions, then for every operator such that , then for all .

     

Gaussian estimates and regularized groups

We show that if a bounded analytic semigroup on satisfies a Gaussian estimate of order and is the generator of its consistent semigroup on , then generates a -regularized group on where . We obtain the estimate of () and the -independence of , and give applications to Schrödinger operators and elliptic operators of higher order.

     

On subspaces of pseudoradial spaces

A topological space is pseudoradial if each of its non closed subsets has a sequence (not necessarily with countable length) convergent to outside of . We prove the following results concerning pseudoradial spaces and the spaces , where is an ultrafilter on :

(i) CH implies that, for every ultrafilter on , is a subspace of some regular pseudoradial space.

(ii) There is a model in which, for each P-point , cannot be embedded in a regular pseudoradial space while there is a point such that is a subspace of a zero-dimensional Hausdorff pseudoradial space.

     

The Weierstrass approximation theorem and a characterization of the unit circle

We study real algebraic morphisms from nonsingular real algebraic varieties with into nonsingular real algebraic curves . We show, among other things, that the set of real algebraic morphisms from into is never dense in the space of all maps from into , unless is biregularly isomorphic to a Zariski open subset of the unit circle.