On the index of approximating sets of periodic points

Summary LetK be a compact space andf:K→K a continuous map without fixed points, i.e. Fixf=⊘. For prime numbersp, the sets Fixf ^p are freeℤ/p-spaces with theℤ/p-action induced byf. Our aim is to estimate the topological indicesi(F _p,f) of invariant subsetsF _p⊂Fixf ^p approximating a givenS⊂K. We construct an example (K,f,S) withS⊂Fixf ^q (q being some prime number) such that, for each neighborhoodU ofS, i (Fix (f|u) ^p, f) increases linearly withp. This article was processed by the author using the L^AT_EX style filecljour1 from Springer-Verlag.     

On nonnegatively curved 4-manifolds with discrete symmetry

Let M be the closed, simply connected, 4-manifold with nonnegative sectional curvature, called a nonnegatively curved 4-manifold, with an effective and isometric Z _m -action for a positive integer m ≧ 61⁷. Assume that Z _m acts trivially on the homology of M. The goal of this short paper is to prove that if the fixed point set of any nontrivial element of Z _m has at most one two-dimensional component, then M is homeomorphic to S ⁴, # _i ^l =1S ² × S ², l = 1, 2, or # _j ^k = 1 ± CP ², k = 1, 2, 3, 4, 5. The main strategy of this paper is to give an upper bound of the Euler characteristic χ(M) under the homological assumption of a Z _m -action as above by using the Lefschetz fixed point formula.     

Random and Deterministic Triangle Generation of Three-Dimensional Classical Groups III

Let p₁, p₂, p₃ be primes. This is the final paper in a series of three on the (p₁, p₂, p₃)-generation of the finite projective special unitary and linear groups PSU ₃(pⁿ), PSL ₃(pⁿ), where we say a noncyclic group is (p₁, p₂, p₃)-generated if it is a homomorphic image of the triangle group T_{p1, p2, p3} . This article is concerned with the case where p₁ = 2 and p₂ ≠ p₃. We determine for any primes p₂ ≠ p₃ the prime powers pⁿ such that PSU ₃(pⁿ) (respectively, PSL ₃(pⁿ)) is a quotient of T = T_{2, p2, p3} . We also derive the limit of the probability that a randomly chosen homomorphism in Hom(T, PSU ₃(pⁿ)) (respectively, Hom(T, PSL ₃(pⁿ))) is surjective as pⁿ tends to infinity.     

Free <Emphasis Type="Bold">C</Emphasis><Subscript>+</Subscript>-actions on <Emphasis Type="Bold">C</Emphasis><Superscript>3</Superscript> are translations

Let X be a smooth contractible three-dimensional affine algebraic variety with a free algebraic C₊-action on it such that S=X//C₊ is smooth. We prove that X is isomorphic to S×C and the action is induced by a translation on the second factor. As a consequence we show that any free algebraic C₊-action on C³ is a translation in a suitable coordinate system.     

Random and Deterministic Triangle Generation of Three-Dimensional Classical Groups II

Let p ₁, p ₂, p ₃ be primes. This is the second article in a series of three on the (p ₁, p ₂, p ₃)-generation of the finite projective special unitary and linear groups PSU₃(p ⁿ ), PSL₃(p ⁿ ), where we say a noncyclic group is (p ₁, p ₂, p ₃)-generated if it is a homomorphic image of the triangle group T _{p 1, p 2, p 3} . This paper is concerned with the case where p ₁ = 2 and p ₂ = p ₃. We determine for any prime p ₂ the prime powers p ⁿ such that PSU₃(p ⁿ ) (respectively, PSL₃(p ⁿ )) is a quotient of T = T _{2, p 2, p 2} . We also derive the limit of the probability that a randomly chosen homomorphism in Hom(T, PSU₃(p ⁿ )) (respectively, Hom(T, PSL₃(p ⁿ ))) is surjective as p ⁿ tends to infinity.     

On SL(3, ℝ)-actions on 4-spheres

We construct a natural, continuous SL(3, ℝ)-action on S ⁴ which is an extension of the SO(3)-action ψ of Uchida. The construction is based on the Kuiper theorem asserting that the quotient space of ℂP(2) by complex conjugation is S ⁴. We also give a new proof of the Kuiper theorem. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 11, No. 5, pp. 99–105, 2005.     

Flat Riemannian manifolds are boundaries

In this paper we prove that each compact flat Riemannian manifold is the boundary of a compact manifold. Our method of proof is to construct a smooth action of (₂) ^k on the flat manifold. We are independently preceded in this approach by Marc W. Gordon who proved the flat Riemannian manifolds, whose holonomy groups are of a certain class of groups, bound. By analyzing the fixed point data of this group action we get the complete result. As corollaries to the main theorem it follows that those compact flat Riemannian manifolds which are oriented bound oriented manifolds; and, if we have an involution on a homotopy flat manifold, then the manifold together with the involution bounds. We also give an example of a nonbounding manifold which is finitely covered byS ³ ×S ³ ×S ³.     

The linking pairings of orientable Seifert manifolds

We compute the p-primary components of the linking pairings of orientable 3-manifolds admitting a fixed-point free S¹-action. Any linking pairing on a finite abelian group of odd order is realized by such a manifold. We find necessary and sufficient conditions for a pairing on an abelian 2-group to be the 2-primary component of such a linking pairing, and give simple examples which are not realizable by any Seifert fibred 3-manifold.     

A converse to the P. A. Smith theorem for nonunitary homology spheres

If p is an odd prime and F is the fixed point set of a smooth Z_p action on Sⁿ or Dⁿ, then F is a smooth manifold with a unitary structure. Conversely; most Z_p homology disks or spheres with unitary structures are fixed point sets of smooth Z_p actions on Dⁿ or Sⁿ for suitable n. The results of this paper show that an arbitrary oriented mod p homology disk or sphere is the fixed point set of a smooth Z_p action on some Z[l/2]-homology disk or sphere. This result is in general the best possible.Partially supported by NSF Grants MCS 81-04852 and MCS 83-00669     

Numerical Schottky Uniformizations

A real algebraic curve of algebraic genus g ≥ 2 is a pair (S, τ), where S is a closed Riemann surface of genus g and τ is a reflection on S (anticonformal involution with fixed points). In this note, we discuss a numerical (Burnside) program which permits to obtain a Riemann period matrix of the surface S in terms of an uniformizing real Schottky group. If we denote by Aut₊(S, τ) the group of conformal automorphisms of S commuting with the real structure τ, then it is a well known fact that |Aut₊(S,τ)| ≥ 12(g−1). We say that (S,τ) is maximally symmetric if |Aut₊(S,τ)|=12(g−1). We work explicitly such a numerical program in the case of maximally symmetric real curves of genus two. We construct a real Schottky uniformization for each such real curve and we use the numerical program to obtain a real algebraic curve, a Riemann period matrix and the accessory parameters in terms of the corresponding Schottky uniformization. In particular, we are able to give for Bolza’s curve a Schottky uniformization (at least numerically), providing an example for which the inverse uniformization theorem is numerically solved.Partially supported by Projects Fondecyt 1030252 1030373 and UTFSM 12.03.21     

Extreme Points and Minimal Outer Area Problem for Meromorphic Univalent Functions

For 0 < p < 1, letS_pdenote the class of functionsf(z) meromorphic univalent in the unit disk with the normalizationf(0) = 0,f′(0) = 1, andf(p) = ∞. LetS_p(a) be the subclass ofS_pwith the fixed residuea. In this note we determine the extreme points of the classS_p(a). As an application, we solve the problem of minimizing the outer area overS_p(a), which was posed by S. Zemyan (J. Analyse Math.39, 1981, 11–23).     

The number of exceptional orbits of a pseudofree circle action on S 5

Let M be a closed Riemannian manifold of dimension 5 which admits a Riemannian metric of nonnegative sectional curvature. The aim of this short paper is to show that under certain lower bound of the orders of isotropy subgroups, every pseudofree and isometric S ¹-action on M cannot have more than five exceptional circle orbits. As a consequence, we conclude that a pseudofree and isometric S ¹-action on a 5-sphere S ⁵ with a Riemannian metric of nonnegative sectional curvature cannot have more than five exceptional circle orbits. This gives a result related to the Montgomery–Yang problem. In addition, we also give some further related result about nonnegatively curved manifolds of dimension 5 with an isometric but not necessarily pseudofree circle action.     

Minimal Number of Generators and Minimum Order of a Non-Abelian Group Whose Elements Commute with Their Endomorphic Images

A group in which every element commutes with its endomorphic images is called an “E-group″. If p is a prime number, a p-group G which is an E-group is called a “pE-group″. Every abelian group is obviously an E-group. We prove that every 2-generator E-group is abelian and that all 3-generator E-groups are nilpotent of class at most 2. It is also proved that every infinite 3-generator E-group is abelian. We conjecture that every finite 3-generator E-group should be abelian. Moreover, we show that the minimum order of a non-abelian pE-group is p ⁸ for any odd prime number p and this order is 2⁷ for p = 2. Some of these results are proved for a class wider than the class of E-groups.     

On Groups Generated by Elements of Pirme Order

In the first part of the paper we give a characterization of groups generated by elements of fixed prime order p. In the second part we study the group G _n ^(p) of n × n matrices with the pth power of the determinant equal to 1 over a field F containing a primitive pth root of 1. It is known that the group G _n ⁽²⁾ of n × n matrices of determinant ± 1 over a field F and the group SL _n (F) are generated by their involutions and that each element in these groups is a product of four involutions. We consider some subgroups G of G _n ^(p) and study the following problems: Is G generated by its elements of order p? If so, is every element of G a product of k elements of order p for some fixed integer k? We show that G _n ^(p) and SL _n (F) are generated by their elements of order p and that the bound k exists and is equal to 4. We show that every universal p-Coxeter group has faithful two-dimensional representations over many fields F (including ? and ?). For a universal p-Coxeter group of rank ≥ 2 for p ≥ 3 or of rank ≥ 3 for p = 2 there is no bound k.     

Polytopal and nonpolytopal spheres an algorithmic approach

The convexity theory for oriented matroids, first developed by Las Vergnas [17], provides the framework for a new computational approach to the Steinitz problem [13]. We describe an algorithm which, for a given combinatorial (d − 2)-sphereS withn vertices, determines the setC _d,n(S) of rankd oriented matroids withn points and face latticeS. SinceS is polytopal if and only if there is a realizableM εC _d,n(S), this method together with the coordinatizability test for oriented matroids in [10] yields a decision procedure for the polytopality of a large class of spheres. As main new result we prove that there exist 431 combinatorial types of neighborly 5-polytopes with 10 vertices by establishing coordinates for 98 “doubted polytopes” in the classification of Altshuler [1]. We show that for alln ≧k + 5 ≧8 there exist simplicialk-spheres withn vertices which are non-polytopal due to the simple fact that they fail to be matroid spheres. On the other hand, we show that the 3-sphereM ₉₆₃ ⁹ with 9 vertices in [2] is the smallest non-polytopal matroid sphere, and non-polytopal matroidk-spheres withn vertices exist for alln ≧k + 6 ≧ 9.     

Nonexistence of backward self-similar blowup solutions to a supercritical semilinear heat equation

We consider a Cauchy problem for a semilinear heat equation

with p>p_S where p_S is the Sobolev exponent. If u(x,t)=(T−t)^−1/(p−1)φ((T−t)^−1/2x) for xR^N and t[0,T), where φ is a regular positive solution of

(P)

then u is called a backward self-similar blowup solution. It is immediate that (P) has a trivial positive solution κ≡(p−1)^−1/(p−1) for all p>1. Let p_L be the Lepin exponent. Lepin obtained a radial regular positive solution of (P) except κ for p_S<p<p_L. We show that there exist no radial regular positive solutions of (P) which are spatially inhomogeneous for p>p_L.     

χ‐bounded families of oriented graphs

A famous conjecture of Gyárfás and Sumner states for any tree T and integer k, if the chromatic number of a graph is large enough, either the graph contains a clique of size k or it contains T as an induced subgraph. We discuss some results and open problems about extensions of this conjecture to oriented graphs. We conjecture that for every oriented star S and integer k, if the chromatic number of a digraph is large enough, either the digraph contains a clique of size k or it contains S as an induced subgraph. As an evidence, we prove that for any oriented star S, every oriented graph with sufficiently large chromatic number contains either a transitive tournament of order 3 or S as an induced subdigraph. We then study for which sets of orientations of P₄ (the path on four vertices) similar statements hold. We establish some positive and negative results.     

Boundedness Properties of Pseudo-Differential and Calderón-Zygmund Operators on Modulation Spaces

In this article, we study the boundedness of pseudo-differential operators with symbols in S _ρ,δ ^m on the modulation spaces M ^p,q . We discuss the order m for the boundedness Op(S _ρ,δ ^m )⊂ℒ(M ^p,q ) to be true. We also prove the existence of a Calderón-Zygmund operator which is not bounded on the modulation space M ^p,q with q≠2. This unboundedness is still true even if we assume a generalized T(1) condition. These results are induced by the unboundedness of pseudo-differential operators on M ^p,q whose symbols are of the class S _1,δ ⁰ with 0<δ<1.