The minimizing of the Nielsen root classes

Given a map f: X→Y and a Nielsen root class, there is a number associated to this root class, which is the minimal number of points among all root classes which are H-related to the given one for all homotopies H of the map f. We show that for maps between closed surfaces it is possible to deform f such that all the Nielsen root classes have cardinality equal to the minimal number if and only if either N R[f]≤1, or N R[f]>1 and f satisfies the Wecken property. Here N R[f] denotes the Nielsen root number. The condition “f satisfies the Wecken property is known to be equivalent to |deg(f)|≤N R[f]/(1−χ(M ₂)−χ(M ₁0/(1−χ(M ₂)) for maps between closed orientable surfaces. In the case of nonorientable surfaces the condition is A(f)≤N R[f]/(1−χ(M ₂)−χ(M ₂)/(1−χ(M ₂)). Also we construct, for each integer n≥3, an example of a map f: K _n →N from an n-dimensionally connected complex of dimension n to an n-dimensional manifold such that we cannot deform f in a way that all the Nielsen root classes reach the minimal number of points at the same time.     

Polynomially dependent homomorphisms and frobenius n-homomorphisms

We introduce and study polynomially dependent homomorphisms, which are special linear maps between associative algebras with identity. The multiplicative structure is much involved in the definition of such homomorphisms (we consider only the case of maps f: A → B with commutative B). The most important particular case of these maps are the Frobenius n-homomorphisms, which were introduced by V.M. Buchstaber and E.G. Rees in 1996–1997. A 1-homomorphism f: A → B is just an algebra homomorphism (the algebra B is commutative). A typical example of an n-homomorphism is given by the sum of n algebra homomorphisms, f = f ₁ + ... + f _n , f _i : A → B, 1 ≤ i ≤ n. Another example is the trace of n × n matrices over a field R of characteristic zero, tr: M _n (R) → R, and, more generally, the character of any n-dimensional representation, tr ρ: A → R, ρ: A → M _n (R). The properties of n-homomorphisms (some of which were proved by Buchstaber and Rees under additional conditions) are derived, and a general theory of polynomially dependent homomorphisms is developed. One of the main results of the paper is a uniqueness theorem, which distinguishes the classes of n-homomorphisms among all polynomially dependent homomorphisms by a single natural completeness condition. As a topological application of n-homomorphisms, we consider the theory of n-homomorphisms between commutative C*-algebras with identity. We prove that the norm of any such n-homomorphism is equal to n and describe the structure of all such n-homomorphisms, which generalizes the classical Gelfand transform (the case of n = 1). An interesting fact discovered is that the Gelfand transform, which is a functorial bijection between appropriate spaces of maps, becomes a homeomorphism after considering natural topologies on these spaces.     

Sard’s theorem for mappings between Fréchet manifolds

We prove an infinite-dimensional version of Sard’s theorem for Fréchet manifolds. Let M (respectively, N) be a bounded Fréchet manifold with compatible metric d _M (respectively, d _N ) modeled on Fréchet spaces E (respectively, F) with standard metrics. Let f : M → N be an MC ^k -Lipschitz–Fredholm map with k > max{Ind f, 0}: Then the set of regular values of f is residual in N.     

Isometric approximation

Suppose thatA ⊂R ⁿ is a bounded set of diameter 1 and that:f:A →l ₂ is a map satisfying the nearisometry condition |x−y|−ɛ≤|fx−fy|≤|x−y|+ɛ withɛ≤1. Then there is an isometryS:A →l ₂ such that |Sx−fx|≤c _n √ɛ for allx inA. IfA satisfies a thickness condition and iff:A →R ⁿ , then there is an isometryS:R ⁿ →R ⁿ with |Sx−fx|≤c _nɛ/q, whereq is a thickness parameter.     

On Maps Preserving Zero Jordan Products

Let R be a ring, A = M _n (R) and θ: A → A a surjective additive map preserving zero Jordan products, i.e. if x,y ∈ A are such that xy + yx = 0, then θ(x)θ(y) + θ(y)θ(x) = 0. In this paper, we show that if R contains \frac12\frac{1}{2} and n ≥ 4, then θ = λϕ, where λ = θ(1) is a central element of A and ϕ: A → A is a Jordan homomorphism.     

Estimation of the number of fixed points of map extensions

Letf:(X,A)→(X,A) be an extension of a given map ψ:A→A, where (X,A) is a pair of compact polyhedra. We shall introduce a special Nielsen number,SN(f|ψ), which is a lower bound for the number of fixed points onX-A for all extensions in the homotopy class off. It is shown that for many space pairs this lower bound is the best possible one, and that it can be realized without the by-passing condition.     

On Maps Preserving Zero Jordan Products

Let R be a ring, A = M _n (R) and θ: A → A a surjective additive map preserving zero Jordan products, i.e. if x,y ∈ A are such that xy + yx = 0, then θ(x)θ(y) + θ(y)θ(x) = 0. In this paper, we show that if R contains and n ≥ 4, then θ = λϕ, where λ = θ(1) is a central element of A and ϕ: A → A is a Jordan homomorphism. The third author is Corresponding author.     

Sur l'extension dans le domaine complémentaire d'une variété

Résumé étant donnés une variétéM, un ensemble compactN enM, des entiersr, n avec 1≤r≤n, un espace euclidienE àn dimensions, uner-variétéA enE et une transformation continuef: N→E−A, alors c'est un problème bien connu s'il existe une extensionf′ def satisfaisantf′(M)∈E−A. Ce problème est discuté.

---

Riassunto SianoM una varietà,N un insieme compatto inM, 1≤r≤n degli interi,E uno spazio euclideo adn dimensioni,A unar-varietà inE edf:N→E−A una trasformazione continua. Allora è trattato il problema ben noto dell'esistenza di una estensionef′ dif conf′ (M)∈E−A.

     

Codimension Two PL Embeddings of Spheres with Nonstandard Regular Neighborhoods

For a given polyhedron K(?)M,the notation RM(K)denotes a regular neigh- borhood of K in M.The authors study the following problem:find all pairs(m,k) such that if K is a compact k-polyhedron and M a PL m-manifold,then R_M(f(K))≌R_M(g(K))for each two homotopic PL embeddings f,g:K→M.It is proved that R_S~(k 2)(S~k)(?)S~k×D~2 for each k(?)2 and some PL sphere S~k(?)S~(k 2)(even for any PL sphere S~k(?)S~(K 2)having an isolated non-locally flat point with the singularity S~(k-1)(?) S~(k 1)such thatπ_1(S~(k 1)-S~(k-1))(?)Z).     

The quotient field as a torsion-free covering module

R will denote a commutative integral domain with quotient fieldQ. A torsion-free cover of a moduleM is a torsion-free moduleF and anR-epimorphism σ:F→M such that given any torsion-free moduleG and λ∈Hom _R (G, M) there exists μ∈Hom _R (G,F) such that σμ=λ. It is known that ifM is a maximal ideal ofR, R→R/M is a torsion-free cover if and only ifR is a maximal valuation ring. LetE denote the injective hull ofR/M thenR→R/M extends to a homomorphismQ→E. We give necessary and sufficient conditions forQ→E to be a torsion-free cover.     

Pseudo-Anosov extensions and degree one maps between hyperbolic surface bundles

Let F′,F be any two closed orientable surfaces of genus g′ > g≥ 1, and f:F→ F be any pseudo-Anosov map. Then we can “extend” f to be a pseudo- Anosov map f′:F′→ F′ so that there is a fiber preserving degree one map M(F′,f′)→ M(F,f) between the hyperbolic surface bundles. Moreover the extension f′ can be chosen so that the surface bundles M(F′,f′) and M(F,f) have the same first Betti numbers. Y. Ni is partially supported by a Centennial fellowship of the Graduate School at Princeton University. S.C. Wang is partially supported by MSTC     

Roots of mappings on nonorientable surfaces¶and equations in free groups

Let f:M ₁→M ₂ be a continuous map and c:M ₁→M ₂ a constant map between closed (not necessarily orientable) surfaces. By definition the pair (f,c) has the Wecken property if f can be deformed into a map f' such that the number of coincidence points of (f',c) is the same as the number of essential coincidence classes of (f,c) and, hence, every essential coincidence class consists of exactly one point. When both surfaces are orientable the problem to determine all maps which have the Wecken property was solved in [14]. Let A(f) denote the absolute degree as defined in [6] or [15] and . Here we show that a map f has the Wecken property iff either the Euler characteristic or . In free groups there are solved certain quadratic equations closely related to the root problem. Received: Received: 18 January 2001 / Revised version: 27 November 2001     

Subadditivity Inequalities in von Neumann Algebras and Characterization of Tracial Functionals

We examine under which assumptions on a positive normal functional φ on a von Neumann algebra, and a Borel measurable function f: R ⁺ → R with f(0) = 0 the subadditivity inequality φ (f(A+B)) ≤ φ(f(A))+φ (f (B)) holds true for all positive operators A, B in . A corresponding characterization of tracial functionals among positive normal functionals on a von Neumann algebra is presented. O.E. Tikhonov - Supported by the Russian Foundation for Basic Research (grant no. 01-01-00129) and the scientific program Universities of Russia – Basic Research (grant no. UR.04.01.061).     

Algebraic K?-theory of Parameterized Endomorphisms

Assume that M is an R-bimodule. Let End(R, M) denotes the category whose objects are pairs (P, f), where P is a finitely generated projective right R-module and f: P → P ⊗ M. It has an exact structure obtained from the category of projectives over R by forgetting f s. We prove that, when R is a field, we have denotes certain localization of the tensor algebra spanned by M. This result should be viewed as a special case of the noncommutative extension of the results of [4].     

Optimal control under persistent disturbances

Let f be an orientation-preserving Morse-Smale diffeomorphism of an n-dimensional (n ≥ 3) closed orientable manifold M ⁿ . We show the possibility of representing the dynamics of f in a “source-sink” form. The roles of the “source” and “sink” are played by invariant closed sets one of which, A _f , is an attractor, and the other, R _f , is a repeller. Such a representation reveals new topological invariants that describe the embedding (possibly, wild) of stable and unstable manifolds of saddle periodic points in the ambient manifold. These invariants have allowed us to obtain a classification of substantial classes of Morse-Smale diffeomorphisms on 3-manifolds. In this paper, for any n ≥ 3, we describe the topological structure of the sets A _f and R _f and of the space of orbits that belong to the set M ⁿ \ (A _f ∪ R _f ).     

A Characterization and the Intersection of the Maximal Compatible Extensions of a Partial Order

We present a characterization of the maximal compatible extensions of a given compatible partial order ≤  _r on a unary algebra (A,f ). These extensions can be constructed by using the compatible linear extensions of ≤  _r*, where (A*,f*) is the so called contracted quotient algebra of (A,f) and the compatible partial order ≤  _r* on (A*,f*) is naturally induced by ≤  _r . Using this characterization, we determine the intersection of the maximal compatible extensions of ≤  _r .      

Relative <Emphasis Type="Italic">FI</Emphasis>-injective and <Emphasis Type="Italic">FI</Emphasis>-flat modules

Let R be a ring, n a fixed nonnegative integer and FP _n (F _n ) the class of all left (right) R-modules of FP-injective (flat) dimensions at most n. A left R-module M (resp., right R-module F) is called n-FI-injective (resp., n-FI-flat) if Ext ¹(N,M) = 0 (resp., Tor ₁(F,N) = 0) for any N ∈ FP _n . It is shown that a left R-module M over any ring R is n-FI-injective if and only if M is a kernel of an FP _n -precover f: A → B with A injective. For a left coherent ring R, it is proven that a finitely presented right R-module M is n-FI-flat if and only if M is a cokernel of an F _n -preenvelope K → F of a right R-module K with F projective if and only if M ∈^⊥ F _n . These classes of modules are used to construct cotorsion theories and to characterize the global dimension of a ring.     

Cohomology classes of dynamically non-negative Ck functions

Let T:x↦2x (mod 1) be the doubling map of the circle ?=ℝ/ℤ. We construct a trigonometric polynomial f:?→ℝ with the following property: ∫f  dμ≥0 for every T-invariant probability measure μ, so that f is cohomologous to a non-negative Lipschitz function, yet f is not cohomologous to any non-negative C ¹ function. Oblatum 28-VI-2001 & 4-X-2001?Published online: 18 January 2002     

Regularity and Substructures of Hom

ABSTRACT

We define “regular” for maps in a Hom group. This notion specializes to the well-known notions of (Von Neumann) regular in rings and modules. A map f ∈ Hom _R (A,M) is regular if and only if Ker(f) ?^⊕ A and Im(f) ?^⊕ M. There exists a unique maximal regular End(M)-End(A)-submodule in Hom _R (A,M). We study regularity in Hom _R (A ₁ ⊕ A ₂, M ₁ ⊕ M ₂). The existence of a regular function Hom _R (A,M) implies the existence of projective summands of Hom _R (A,M) _{End R (A)} and of _{End R ( M )} Hom _R (A,M). We consider regularity in endomorphism rings, and generalize a theorem of Ware-Zelmanowitz. We examine connections between the maximum regular bimodule and other substructures of Hom, mention two generalizations of regularity, and raise some questions.     

Asymptotically exact nonparametric hypothesis testing in sup-norm and at a fixed point

For the signal in Gaussian white noise model we consider the problem of testing the hypothesis H ₀ : f≡ 0, (the signal f is zero) against the nonparametric alternative H ₁ : f∈Λ_ɛ where Λ_ɛ is a set of functions on R ¹ of the form Λ_ɛ = {f : f∈?, ϕ(f) ≥ Cψ_ɛ}. Here ? is a H?lder or Sobolev class of functions, ϕ(f) is either the sup-norm of f or the value of f at a fixed point, C > 0 is a constant, ψ_ɛ is the minimax rate of testing and ɛ→ 0 is the asymptotic parameter of the model. We find exact separation constants C ^* > 0 such that a test with the given summarized asymptotic errors of first and second type is possible for C > C ^* and is not possible for C < C ^*. We propose asymptotically minimax test statistics. Received: 23 February 1998 / Revised version: 6 April 1999 / Published online: 30 March 2000