On the location of fixed points on pairs of spaces

Let f: (X, A)→(X, A) be an admissible selfmap of a pair of metrizable ANR's. A Nielsen number of the complement Ñ(f; X, A) and a Nielsen number of the boundary ñ(f; X, A) are defined. Ñ(f; X, A) is a lower bound for the number of fixed points on C1(X - A) for all maps in the homotopy class of f. It is usually possible to homotope f to a map which is fixed point free on Bd A, but maps in the homotopy class of f which have a minimal fixed point set on X must have at least ñ(f; X, A) fixed points on Bd A. It is shown that for many pairs of compact polyhedra these lower bounds are the best possible ones, as there exists a map homotopic to f with a minimal fixed point set on X which has exactly Ñ(f; X - A) fixed points on C1(X−A) and ñ(f; X, A) fixed points on Bd A. These results, which make the location of fixed points on pairs of spaces more precise, sharpen previous ones which show that the relative Nielsen number N(f; X, A) is the minimum number of fixed points on all of X for selfmaps of (X, A), as well as results which use Lefschetz fixed point theory to find sufficient conditions for the existence of one fixed point on C1(X−A).     

Two, more readily computable equivariant Nielsen numbers I. Nielsen theory for M-ads

In this, the first of two papers outlining a Nielsen theory for “two, more readily computable equivariant numbers”, we define and study two Nielsen type numbers N(f,k;X−{Xν}_ν∈M) and N(f,k;X,{Xν}_ν∈M), where f and k are M-ad maps. While a Nielsen theory of M-ads is of interest in its own right, our main motivation lies in the fact that maps of M-ads accurately mirror one of two fundamental structures of equivariant maps. Being simpler however, M-ad Nielsen numbers are easier to study and to compute than equivariant Nielsen numbers. In the sequel, we show our M-ad numbers can be used to form both upper and lower bounds on their equivariant counterparts.The numbers N(f,k;X−{Xν}_ν∈M) and N(f,k;X,{Xν}_ν∈M), generalize the generalizations to coincidences, of Zhao's Nielsen number on the complement N(f;X−A), respectively Schirmer's relative Nielsen number N(f;X,A). Our generalizations are from the category of pairs, to the category of M-ads. The new numbers are lower bounds for the number of coincidence points of all maps f^′ and k^′ which are homotopic as maps ofM-ads to f, respectively k firstly on the complement of the union of the subspaces Xν in the domain M-ad X, and secondly on all of X. The second number is shown to be greater than or equal to a sum of the first of our numbers. Conditions are given which allow for both equality, and Möbius inversion. Finally we show that the fixed point case of our second number generalizes Schirmer's triad Nielsen number N(f;X₁∪X₂).Our work is very different from what at first sight appears to be similar partial results due to P. Wong. The differences, while in some sense subtle in terms of definition, are profound in terms of commutability. In order to work in a variety of both fixed point and coincidence points contexts, we introduce in this first paper and extend in the second, the concept of an essentiality on a topological category. This allows us to give computational theorems within this diversity. Finally we include an introduction to both papers here.     

The variety of the asymptotic values of a real polynomial etale map

A polynomial map F: R² → R² is said to satisfy the Jacobian condition if ∀(X, Y)ϵ R², J(F)(X, Y) ≠ 0. The real Jacobian conjecture was the assertion that such a map is a global diffeomorphism. Recently the conjecture was shown to be false by S. Pinchuk. According to a theorem of J. Hadamard any counterexample to the conjecture must have asymptotic values. We give the structure of the variety of all the asymptotic values of a polynomial map F: R² → R² that satisfies the Jacobian condition. We prove that the study of the asymptotic values of such maps can be reduced to those maps that have only X- or Y-finite asymptotic values. We prove that a Y-finite asymptotic value can be realized by F along a rational curve of the type (X^{− k}, A₀ + A₁ X + … + A_{N − 1} X^{N − 1} + YX^N), where X → 0, Y is fixed and K, N > 0 are integers. More precisely we prove that the coordinate polynomials P(U, V) of F(U, V) satisfy finitely many asymptotic identities, namely, identities of the following type, P(X^{− k}, A₀ + A₁ X + … + A_{N − 1} X^{N − 1} + YX^N) = A(X, Y)ϵ R[X, Y], which ‘capture’ the whole set of asymptotic values of F.     

Both compact and sequentially compact sets in abelian topological group

We show that every abelian topological group contains many interesting sets which are both compact and sequentially compact. Then we can deduce some useful facts, e.g.,

(1)

if G is a Hausdorff abelian topological group and μ:N²→G is countably additive, then the range μ(N²)={μ(A):A⊆N} is compact metrizable;

(2)

if X is a Hausdorff locally convex space and {xj}⊂X, then F={_∑j∈Δxj:Δ⊂N, Δ is finite} is relatively compact in (X,weak) if and only if F is relatively compact in X, and if and only if F is relatively compact in (X,F(M)) where F(M) is the Dierolf topology which is the strongest 〈X,X^′〉-polar topology having the same subseries convergent series as the weak topology.

     

On additive polynomials and certain maximal curves

We show that a maximal curve over F_q² given by an equation A(X)=F(Y), where A(X)∈F_q²[X] is additive and separable and where F(Y)∈F_q²[Y] has degree m prime to the characteristic p, is such that all roots of A(X) belong to F_q². In the particular case where F(Y)=Y^m, we show that the degree m is a divisor of q+1.     

The Hilbert-Chow morphism and the incidence divisor: Zero-cycles and divisors

For a smooth projective variety X of dimension n, on the product of Chow varieties C_a(X)×C_n−a−1(X) parameterizing pairs (A,B) of an a-cycle A and an (n−a−1)-cycle B in X, Barry Mazur raised the problem of constructing a Cartier divisor supported on the locus of pairs with A∩B≠0?. We introduce a new approach to this problem, and new techniques supporting this approach.     

A method of finding automorphism groups of endomorphism monoids of relational systems

For any set X and any relation ρ on X, let T(X,ρ) be the semigroup of all maps a:X→X that preserve ρ. Let S(X) be the symmetric group on X. If ρ is reflexive, the group of automorphisms of T(X,ρ) is isomorphic to N_S(X)(T(X,ρ)), the normalizer of T(X,ρ) in S(X), that is, the group of permutations on X that preserve T(X,ρ) under conjugation. The elements of N_S(X)(T(X,ρ)) have been described for the class of so-called dense relations ρ. The paper is dedicated to applications of this result.     

Fixed point property on symmetric products

For a metric continuum X, let Fn(X)={A⊂X:A is nonempty and has at most n points}. In this paper we show a continuum X such that F₂(X) has the fixed point property while X does not have it.     

Ganea and Whitehead definitions for the tangential Lusternik-Schnirelmann category of foliations

This work solves the problem of elaborating Ganea and Whitehead definitions for the tangential category of a foliated manifold. We develop these two notions in the category S-Top of stratified spaces, that are topological spaces X endowed with a partition F and compare them to a third invariant defined by using open sets. More precisely, these definitions apply to an element (X,F) of S-Top together with a class A of subsets of X; they are similar to invariants introduced by M. Clapp and D. Puppe.If (X,F)∈S-Top, we define a transverse subset as a subspace A of X such that the intersection S∩A is at most countable for any S∈F. Then we define the Whitehead and Ganea LS-categories of the stratified space by taking the infimum along the transverse subsets. When we have a closed manifold, endowed with a C¹-foliation, the three previous definitions, with A the class of transverse subsets, coincide with the tangential category and are homotopical invariants.     

Sp(2N)-covers for self-contragredient supercuspidal representations of GL(N)

Let F be a non-archimedean local field of odd residual characteristic. Let (J,τ) be a maximal simple type in GLN(F) for the inertial class [GLN(F),π]_GLN(F) of a self-contragredient supercuspidal irreducible representation π of GLN(F). Identify GLN(F) to the standard Siegel Levi subgroup in Sp2N(F). We construct, in Sp2N(F), a type for the inertial class [GLN(F),π]_Sp2N(F), as a Sp2N(F)-cover of (J,τ), strongly related to the GL2N(F)-cover of (J×J,τ⊗τ) in GL2N(F) constructed by Bushnell and Kutzko and which induces to a simple type in GL2N(F). In the process, we show that if τ has positive level, then the maximal simple type (J,τ) may be attached to a simple stratum [A,n,0,β] where the field F[β] is a quadratic extension of F[β²], and to a simple character θ in C(A,0,β) Galois conjugate of its inverse.     

Fragmentability of groups and metric-valued function spaces

Let (X,τ) be a topological space and let ρ be a metric defined on X. We shall say that (X,τ) is fragmented by ρ if whenever ε>0 and A is a nonempty subset of X there is a τ-open set U such that U∩A≠∅ and ρ−diam(U∩A)<ε. In this paper we consider the notion of fragmentability, and its generalisation σ-fragmentability, in the setting of topological groups and metric-valued function spaces. We show that in the presence of Baireness fragmentability of a topological group is very close to metrizability of that group. We also show that for a compact Hausdorff space X, σ-fragmentability of (C(X),‖⋅_‖∞) implies that the space Cp(X;M) of all continuous functions from X into a metric space M, endowed with the topology of pointwise convergence on X, is fragmented by a metric whose topology is at least as strong as the uniform topology on C(X;M). The primary tool used is that of topological games.     

Thinning of point processes,revisited

ＴＨＩＮＮＩＮＧＯＦＰＯＩＮＴＰＲＯＣＥＳＳＥＳ,ＲＥＶＩＳＩＴＥＤＨＥＳＨＥＮＧＷＵ（何声武）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃａｌＳｔａｔｉｓｔｉｃｓ,ＥａｓｔＣｈｉｎａＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙＳｈａｎｇｈａｉ２０００６２,Ｃ...     

Maps preserving the nilpotency of products of operators

Let B(X) be the algebra of all bounded linear operators on the Banach space X, and let N(X) be the set of nilpotent operators in B(X). Suppose ?:B(X)→B(X) is a surjective map such that A,B∈B(X) satisfy AB∈N(X) if and only if ?(A)?(B)∈N(X). If X is infinite dimensional, then there exists a map f:B(X)→C?{0} such that one of the following holds:

(a)

There is a bijective bounded linear or conjugate-linear operator S:X→X such that ? has the form A?S[f(A)A]S^-1.

(b)

The space X is reflexive, and there exists a bijective bounded linear or conjugate-linear operator S : X′ → X such that ? has the form A ? S[f(A)A′]S⁻¹.

If X has dimension n with 3 ? n < ∞, and B(X) is identified with the algebra M_n of n × n complex matrices, then there exist a map f:M_n→C?{0}, a field automorphism ξ:C→C, and an invertible S ∈ M_n such that ? has one of the following forms:

     

Flexible modeling based on copulas in nonparametric median regression

Consider the model Y=m(X)+ε, where m(⋅)=med(Y|⋅) is unknown but smooth. It is often assumed that ε and X are independent. However, in practice this assumption is violated in many cases. In this paper we propose modeling the dependence between ε and X by means of a copula model, i.e. (ε,X)∼C_θ(F_ε(⋅),F_X(⋅)), where C_θ is a copula function depending on an unknown parameter θ, and F_ε and F_X are the marginals of ε and X. Since many parametric copula families contain the independent copula as a special case, the so-obtained regression model is more flexible than the ‘classical’ regression model.We estimate the parameter θ via a pseudo-likelihood method and prove the asymptotic normality of the estimator, based on delicate empirical process theory. We also study the estimation of the conditional distribution of Y given X. The procedure is illustrated by means of a simulation study, and the method is applied to data on food expenditures in households.     

A conditional dichotomy theorem for stochastic processes with independent increments

Let X(t) and Y(t) be two stochastically continuous processes with independent increments over [0, T] and Lévy spectral measures M_t and N_t, respectively, and let the “time-jump” measures M and N be defined over [0, T] × $\text{R}$?{0} by M((t₁, t₂] × A) = M_t2(A) ? M_t1(A) and N((T₁, t₂] × A) = N_t2(A) ? N_t1(A). Under the assumption that M is equivalent to N, it is shown that the measures induced on function space by X(t) and Y(t) are either equivalent or orthogonal, and necessary and sufficient conditions for equivalence are given. As a corollary a complete characterization of the set of admissible translates of such processes is obtained: a function f is an admissible translate for X(t) if and only if it is an admissible translate for the Gaussian component of X(t). In particular, if X(t) has no Gaussian component, then every nontrivial translate of X(t) is orthogonal to it.     

Existence and asymptotic behavior of a functional differential equation in Banach space

Existence and asymptotic behavior of solutions are given for the equation u′(t) = ?A(t)u(t) + F(t,u_t) (t ? 0) and u₀ = ? ? C([?r,0]; X)  C. The space X is a Banach space; the family $\text{{A(t) ¦ 0 ? t ? T}}$ of unbounded linear operators defined on D(A) ? X → X generates a linear evolution system and F: C → X is continuous with respect to a fractional power of A(t₀) for some t₀ ? [0, T].     

Strong homology and dimension

We show that strong homology groups H̄_p(X; G) of a space X vanish if p is greater than the shape dimension sd X. For p=sd X, H̄_p(X; G) coincides with the Čech homology groups Ȟ_p(X; G). We also show that there exist 1-dimensional spaces, which do not admit 1-dimensional ANR-resolutions. Therefore, the vanishing of H̄_p(X; G) for p>dim X is a nontrivial fact.     

Epimorphisms of knot groups onto free products

Let k be a knot in S³. There is an epimorphism from π₁(S³−k) onto a free product of two nontrivial cyclic groups sending a meridian to an element of length two iff k has property Q (Topology of Manifolds, Markham, Chicago, IL, 1970, pp. 195-199) that is if there is a closed surface F in S³ containing k, such that k is imprimitive in H₁(X) and in H₁(Y) where X and Y are the closures of the components of S³−F. We give answers to questions of Simon (1970) about properties Q, Q∗ and Q∗∗. Epimorphisms from knot groups onto torus knot groups are also studied and some results on property P and surgery are included.