A generalization of the Lefschetz fixed point theorem and detection of chaos

We consider the problem of existence of fixed points of a continuous map in (possibly) noninvariant subsets. A pair of subsets of induces a map given by if and elsewhere. The following generalization of the Lefschetz fixed point theorem is proved: If is metrizable, and are compact ANRs, and is continuous, then has a fixed point in provided the Lefschetz number of is nonzero. Actually, we prove an extension of that theorem to the case of a composition of maps. We apply it to a result on the existence of an invariant set of a homeomorphism such that the dynamics restricted to that set is chaotic.

     

On Tate-Shafarevich groups of abelian varieties

Let be a finite Galois extension of number fields with Galois group , let be an abelian variety defined over , and let and denote, respectively, the Tate-Shafarevich groups of over and of over . Assuming that these groups are finite, we derive, under certain restrictions on and , a formula for the order of the subgroup of of -invariant elements. As a corollary, we obtain a simple formula relating the orders of , and when is a quadratic extension and is the twist of by the non-trivial character of .

     

Conormal varieties and characteristic varieties

We show that the conormal variety of a quasihomogeneous hypersurface in , for , whose link is a -homology sphere is not the characteristic variety of any -module.

     

Extreme points of the unit ball of the Fourier-Stieltjes algebra

Let be a locally compact group. Among other things, we proved in this paper that for an IN-group , the extreme points of the unit ball of the Fourier-Stieltjes algebra are not in the Fourier algebra if and only if is non-compact, or equivalently, there is no irreducible representation of which is quasi-equivalent to a subrepresentation of the left regular representation of if and only if is non-compact. This result is a non-commutative version of the following well known result: For any locally compact group , the extreme points of the unit ball of the measure algebra are not in the group algebra if and only if is non-discrete. On the other hand, we also showed that if has the RNP, then there are extreme points of the unit ball of that are in . Since it is well known there are non-compact locally compact group for which has the RNP, there exist non-compact locally compact groups where extreme points of the unit ball of can be in . This shows that the condition be an IN-group cannot be entirely removed.

     

Hilbert coefficients and the associated graded rings

Let be a -dimensional Cohen-Macaulay local ring with infinite residue field. Let be an -primary ideal of . In this paper, we prove that if for some minimal reduction of , then depth .

     

A characterization of total reflection orders

Let be a Coxeter system with set of reflections . It is known that if is a total reflection order for , then, for each , and its complement are stable under conjugation by . Moreover the upper and lower -conjugates of are still total reflection orders. For any total order on , say that is stable if is stable under conjugation by for each . We prove that if and all orders obtained from by successive lower or upper -conjugations are stable, then is a total reflection order.

     

Abstract blowing down

Assume that is a surface over an algebraically closed field . Let be obtained from by blowing up a smooth point and let be the exceptional curve. Let be the category of coherent sheaves on . In this note we show how to recover from , if we know the object .

     

Conjugate -connections and holonomy groups

In this article we show that when the structure group of the reducible principal bundle is and is an -subbundle of , the rank of the holonomy group of a connection which is gauge equivalent to its conjugate connection is less than or equal to , and use the estimate to show that for all odd prime , if the holonomy group of the irreducible connection as above is simple and is not isomorphic to , , or , then it is isomorphic to .

     

Pseudo-differential operators and maximal regularity results for non-autonomous parabolic equations

In this paper, we show that a pseudo-differential operator associated to a symbol ( being a Hilbert space) which admits a holomorphic extension to a suitable sector of acts as a bounded operator on . By showing that maximal -regularity for the non-autonomous parabolic equation is independent of , we obtain as a consequence a maximal -regularity result for solutions of the above equation.

     

A characterization of Möbius transformations

Let be an integer and let be a domain of . Let be an injective mapping which takes hyperspheres whose interior is contained in to hyperspheres in . Then is the restriction of a Möbius transformation.

     

Every -regular

We prove the following: Theorem A. If is a -regular ultrafilter, then either

(a)

is -regular, or

(b)

the cofinality of the linear order is , and is -regular for all .

Corollary B. Suppose that is singular, and either is regular, or . Then every -regular ultrafilter is -regular.

We also discuss some consequences and variations.

     

Geometrical significance of the Löwner-Heinz inequality

It is proven that the Löwner-Heinz inequality , valid for all positive invertible operators on the Hilbert space and , has equivalent forms related to the Finsler structure of the space of positive invertible elements of or, more generally, of a unital -algebra. In particular, the Löwner-Heinz inequality is equivalent to some type of ``nonpositive curvature" property of that space.

     

On the Gelfand-Kirillov conjecture for quantum algebras

Let be a complex not a root of unity and be a semi-simple Lie -algebra. Let be the quantized enveloping algebra of Drinfeld and Jimbo, be its triangular decomposition, and the associated quantum group. We describe explicitly and as a quantum Weyl field. We use for this a quantum analogue of the Taylor lemma.

     

Bounded composition operators with closed range on the Dirichlet space

For composition operators on spaces of analytic functions it is well known that norm estimates can be converted to Carleson measure estimates. The boundedness of the composition operator becomes equivalent to a Carleson measure inequality. The measure corresponding to a composition operator on the Dirichet space is , where is the cardinality of the preimage . The composition operator will have closed range if and only if the corresponding measure satisfies a ``reverse Carleson measure' theorem: for all . Assuming is bounded, a necessary condition for this inequality is a reverse of the Carleson condition: (C) for all Carleson squares . It has long been known that this is not sufficient for a completely general measure. Here we show that it is also not sufficient for the special measures . That is, we construct a function such that is bounded and satisfies (C) but the composition operator does not have closed range.

     

Lipschitz continuity of oblique projections

Let and be complementary spaces of a finite dimensional unitary space and let denote the projection of on parallel to . Estimates for the norm of are derived which involve the norm of the restriction of to or the gap between and .

     

The sixth, eighth, ninth, and tenth powers of Ramanujan's theta function

In his Lost Notebook, Ramanujan claimed that the ``circular' summation of the -th powers of the symmetric theta function satisfies a factorization of the form . Moreover, Ramanujan recorded identities expressing , , , , and in terms of his theta functions , , and . Ramanujan's claims were proved by Rangachari, and later (via elementary methods) by Son. In this paper we obtain similar identities for , , , and .

     

A note on restricted weak-type estimates for Bochner-Riesz operators with negative index in

It is shown that the Bochner-Riesz operator on of negative order is of restricted weak type in the critical points and , where , for in the two-dimensional case and , for if .

     

No submaximal topology on a countable set is -complementary

Two -topologies and given on the same set , are called transversal if their union generates the discrete topology on . The topologies and are -complementary if they are transversal and their intersection is the cofinite topology on . We establish that for any connected Tychonoff topology there exists a connected Tychonoff transversal one. Another result is that no -complementary topology exists for the maximal topology constructed by van Douwen on the rational numbers. This gives a negative answer to Problem 162 from Open Problems in Topology (1990).

     

Oscillating global continua of positive solutions of semilinear elliptic problems

Let be a bounded domain in , , with boundary , and consider the semilinear elliptic boundary value problem

where is a uniformly elliptic operator on , , is strictly positive in , and the function is continuously differentiable, with , . A well known result of Rabinowitz shows that an unbounded continuum of positive solutions of this problem bifurcates from the principal eigenvalue of the linear problem. We show that under certain oscillation conditions on the nonlinearity , this continuum oscillates about , in a certain sense, as it approaches infinity. Hence, in particular, the equation has infinitely many positive solutions for each in an open interval containing .

     

A new characterisation of the analytic Radon-Nikodym property

We show that a separable complex Banach space has the analytic Radon-Nikodym property if and only if there exists , such that the space consisting of all -bounded -valued analytic martingales is separable.