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.     

Global behavior of the branch of positive solutions for nonlinear Sturm–Liouville problems

We consider the nonlinear Sturm–Liouville problem

Comparison theorems for the volume of a complex submanifold of a Kaehler manifold

LetM be a Kaehler manifold of real dimension 2n with holomorphic sectional curvatureK _H≥4λ and antiholomorphic Ricci curvatureρ _A≥(2n−2)λ, andP is a complex hypersurface. We give a bound for the quotient (volume ofP)/(volume ofM) and prove that this bound is attained if and only ifP=C P ⁿ⁻¹(λ) andM=C P ⁿ(λ). Moreover, we give some results on the volume of of tubes aboutP inM. Work partially supported by a DGICYT Grant No. PS87-0115-CO3-01.     

Uniformly non-l n (1) Musielak-Orlicz sequence spaces

We give a necessary and sufficient condition for the uniformly non-l _n ⁽¹⁾ property of Musielak-Orlicz sequence spacesl ^Φ generated by a sequence Φ=(ϕ_n:n⩾l) of finite Orlicz functions such that for eachn∈ℕ. As a result, forn ₀⩾2, there exist spacesl ^Φ which are only uniformly non-l _n ⁽¹⁾ forn⩾n ₀. Moreover we obtain a characterization of uniformly non-l _n ⁽¹⁾ and reflexive Orlicz sequence spaces over a wide class of purely atomic measures and of uniformly non-l _n ⁽¹⁾ Nakano sequence spaces. This extends a result of Luxemburg in [19]. Submitted in memory of Professor W. Orlicz     

Two Commuting Involutions Fixing F n ∪ F n-1

Consider G=Z ₂² as the group generated by two commuting involutions, and let be a smooth G-action on a smooth and closed manifold M. Suppose that the fixed point set of Φ consists of two connected components, F ⁿ and F ^n-1, with dimensions n and n−1, respectively. In this paper we prove that, if in the fixed data of Φ at least two eigenbundles over F ⁿ have dimension greater than n, and at least one eigenbundle over F ^n-1 has dimension greater than n−1, then the action (M,Φ) bounds equivariantly.It is well known that, if is a smooth involution on a smooth and closed m-dimensional manifold M ^m such that the fixed point set of T has constant dimension n, and if m > 2n, then (M ^m ,T) bounds equivariantly; this fact was proved by R. E. Stong and C. Kosniowski 27 years ago. As a consequence of our result, we will see that the same fact is true when, besides n-dimensional components, the fixed point set contains additional (n−1)-dimensional components.     

On K 1,k -factorization of bipartite multigraphs

A K1,k-factorization of λKm,n is a set of edge-disjoint K1,k-factors of λKm,n, which partition the set of edges of λKm,n. In this paper, it is proved that a sufficient condition for the existence of K1,k-factorization of λKm,n, whenever k is any positive integer, is that （1） m ≤ kn, （2） n ≤ km, （3） km-n = kn-m ≡ 0 （mod （k^2- 1）） and （4） λ（km-n）（kn-m） ≡ 0 （mod k（k- 1）（k^2 - 1）（m ＋ n））.     

On Stability of Cones in <Emphasis Type="Italic">R</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis>+1</Superscript> with Zero Scalar Curvature

In this work we generalize the case of scalar curvature zero the results of Simmons (Ann. Math. 88 (1968), 62–105) for minimal cones in Rⁿ⁺¹. If Mⁿ⁻¹ is a compact hypersurface of the sphere Sⁿ(1) we represent by C(M)ε the truncated cone based on M with center at the origin. It is easy to see that M has zero scalar curvature if and only if the cone base on M also has zero scalar curvature. Hounie and Leite (J. Differential Geom. 41 (1995), 247–258) recently gave the conditions for the ellipticity of the partial differential equation of the scalar curvature. To show that, we have to assume n ⩾ 4 and the three-curvature of M to be different from zero. For such cones, we prove that, for n ≤slant 7 there is an ε for which the truncate cone C(M)_ε is not stable. We also show that for n ⩾ 8 there exist compact, orientable hypersurfaces Mⁿ⁻¹ of the sphere with zero scalar curvature and S₃ different from zero, for which all truncated cones based on M are stable. Mathematics Subject Classifications (2000): 53C42, 53C40, 49F10, 57R70.     

On the weak non-defectivity of veronese embeddings of projective spaces

Fix integers n, x, k such that n≥3, k>0, x≥4, (n, x)≠(3, 4) and k(n+1)<( _n ^n+x ). Here we prove that the order x Veronese embedding ofP ⁿ is not weakly (k−1)-defective, i.e. for a general S⊃P ⁿ such that #(S) = k+1 the projective space | I _2S (x)| of all degree t hypersurfaces ofP ⁿ singular at each point of S has dimension ( _n ^/n+x )−1− k(n+1) (proved by Alexander and Hirschowitz) and a general F∈| I _2S (x)| has an ordinary double point at each P∈ S and Sing (F)=S. The author was partially supported by MIUR and GNSAGA of INdAM (Italy).     

Arithmetical properties of the number of t-core partitions

Let Λ={λ ₁≥⋅⋅⋅≥λ _s ≥1} be a partition of an integer n. Then the Ferrers-Young diagram of Λ is an array of nodes with λ _i nodes in the ith row. Let λ _j ′ denote the number of nodes in column j in the Ferrers-Young diagram of Λ. The hook number of the (i,j) node in the Ferrers-Young diagram of Λ is denoted by H(i,j):=λ _i +λ _j ′−i−j+1. A partition of n is called a t-core partition of n if none of the hook numbers is a multiple of t. The number of t-core partitions of n is denoted by a(t;n). In the present paper, some congruences and distribution properties of the number of 2 ^t -core partitions of n are obtained. A simple convolution identity for t-cores is also given.      

Lp-Lq DECAY ESTIMATES FOR HYPERBOLIC EQUATIONS WITH OSCILLATIONS IN COEFFICIENTS

This work is concerned with the proof of Lp -Lq decay estimates for solutions of the Cauchy problem for utt -λ2(t)b2(t)/Δu =0. The coefficient consists of an increasing smooth function λ and an oscillating smooth and bounded function b which are uniformly separated from zero. The authors‘ main interest is devoted to the critical case where one has an interesting interplay between the growing and the oscillating part.     

On modules with <Emphasis Type="Italic">d</Emphasis>-Koszul-type submodules

The so-called weakly d-Koszul-type module is introduced and it turns out that each weakly d-Koszul-type module contains a d-Koszul-type submodule. It is proved that, M ∈ W H J^d（A） if and only if M admits a filtration of submodules： 0 belong to U0 belong to U1 belong to ... belong to Up = M such that all Ui/Ui-1 are d-Koszul-type modules, from which we obtain that the finitistic dimension conjecture holds in W H J^d（A） in a special case. Let M ∈ W H J^d（A）. It is proved that the Koszul dual E（M） is Noetherian, Hopfian, of finite dimension in special cases, and E（M） ∈ gr0（E（A））. In particular, we show that M ∈ W H J^d（A） if and only if E（G（M）） ∈ gr0（E（A））, where G is the associated graded functor.     

Vector subdivision schemes in (Lp(?s))r(1?p?∞) spaces

The purpose of this paper is to investigate the refinement equations of the form

Commuting Involutions with Fixed Point Set of Variable Codimension

Special generators of the unoriented cobordism ring MO _* are constructed to determine some groups of cobordism classes in MO _n containing a representative M ⁿ admitting a (Z ₂) ^k -action with the fixed point set of (n−l _i )-dimensional submanifolds of M ⁿ . This work is supported by HNSF and BSHJJ     

Central polynomials and matrix invariants

LetK be a field, charK=0 andM _n (K) the algebra ofn×n matrices overK. If λ=(λ₁,…,λ _m ) andμ=(μ ₁,…,μ _m ) are partitions ofn ² let wherex ₁,…,x _n ²,y ₁,…,y _n ² are noncommuting indeterminates andS _n ² is the symmetric group of degreen ². The polynomialsF ^{λ, μ} , when evaluated inM _n (K), take central values and we study the problem of classifying those partitions λ,μ for whichF ^{λ, μ} is a central polynomial (not a polynomial identity) forM _n (K). We give a formula that allows us to evaluateF ^{λ, μ} inM(K) in general and we prove that if λ andμ are not both derived in a suitable way from the partition δ=(1, 3,…, 2n−3, 2n−1), thenF ^{λ, μ} is a polynomial identity forM _n (K). As an application, we exhibit a new class of central polynomials forM _n (K). In memory of Shimshon Amitsur Research supported by a grant from MURST of Italy.     

Fundamental groups of manifolds with <Emphasis Type="Italic">S</Emphasis><Superscript>1</Superscript>-category 2

A closed topological n-manifold M ⁿ is of S ¹-category 2 if it can be covered by two open subsets W ₁,W ₂ such that the inclusions W _i → M ⁿ factor homotopically through maps W _i → S ¹ → M ⁿ . We show that the fundamental group of such an n-manifold is a cyclic group or a free product of two cyclic groups with nontrivial amalgamation. In particular, if n = 3, the fundamental group is cyclic.      

Pappus type theorems for hypersurfaces in a space form

In order to get further insight on the Weyl’s formula for the volume of a tubular hypersurface, we consider the following situation. Letc(t) be a curve in a space formM _λ ⁿ of sectional curvature λ. LetP ₀ be a totally geodesic hypersurface ofM _λ ⁿ throughc(0) and orthogonal toc(t). LetC ₀ be a hypersurface ofP ₀. LetC be the hypersurface ofM _λ ⁿ obtained by a motion ofC ₀ alongc(t). We shall denote it byC ^PorC ^Fif it is obtained by a parallel or Frenet motion, respectively. We get a formula for volume(C). Among other consequences of this formula we get that, ifc(0) is the centre of mass ofC ₀, then volume(C) ≥ volume(C),^P),and the equality holds whenC ₀ is contained in a geodesic sphere or the motion corresponds to a curve contained in a hyperplane of the Lie algebraO(n−1) (whenn=3, the only motion with these properties is the parallel motion). Work partially supported by a DGES Grant No. PB97-1425 and a AGIGV Grant No. GR0052.     

Effect of the initial estimator on the asymptotic behavior of one-step M-estimator

For a general (real) parameter, let M _nbe the M-estimator and M _n ⁽¹⁾ be its one-step version (based on a suitable initial estimator M _n ⁽⁰⁾). It is known that, under certain regularity conditions, n(M _n ⁽¹⁾-M _n)=O _p(1). The asymptotic distribution of n(M _n ⁽¹⁾-M _n) is studied; it is typically non-normal and it reveals the role of the initial estimator M _n ⁽⁰⁾.Work of this author was partially supported by the Office of Naval Research, Contract No. N00014-83-K-0387     

A congruence for the Fourier coefficients of a modular form and its application to quadratic forms

Let F(z)=∑ _n=1^∞ A(n)q ⁿ denote the unique weight 6 normalized cuspidal eigenform on Γ₀(4). We prove that A(p)≡0,2,−1(mod 11) when p≠11 is a prime. We then use this congruence to give an application to the number of representations of an integer by quadratic form of level 4.      

About the Blowup of Quasimodes on Riemannian Manifolds

On any compact Riemannian manifold (M,g) of dimension n, the L ²-normalized eigenfunctions φ _λ satisfy ||f_l||_￥ ￡ Cl^\fracn-12\|\phi_{\lambda}\|_{\infty}\leq C\lambda^{\frac{n-1}{2}} where −Δφ _λ =λ ² φ _λ . The bound is sharp in the class of all (M,g) since it is obtained by zonal spherical harmonics on the standard n-sphere S ⁿ . But of course, it is not sharp for many Riemannian manifolds, e.g., flat tori ℝ ⁿ /Γ. We say that S ⁿ , but not ℝ ⁿ /Γ, is a Riemannian manifold with maximal eigenfunction growth. The problem which motivates this paper is to determine the (M,g) with maximal eigenfunction growth. In an earlier work, two of us showed that such an (M,g) must have a point x where the set ℒ _x of geodesic loops at x has positive measure in S^*_xMS^{*}_{x}M. We strengthen this result here by showing that such a manifold must have a point where the set ℛ _x of recurrent directions for the geodesic flow through x satisfies |{ℛ} _x |>0. We also show that if there are no such points, L ²-normalized quasimodes have sup-norms that are o(λ ^(n−1)/2), and, in the other extreme, we show that if there is a point blow-down x at which the first return map for the flow is the identity, then there is a sequence of quasimodes with L ^∞-norms that are Ω(λ ^(n−1)/2).     

The Ξ operator and its relation to Krein's spectral shift function

We explore connections between Krein's spectral shift function ζ(λ,H ₀, H) associated with the pair of self-adjoint operators (H ₀, H),H=H ₀+V, in a Hilbert spaceH and the recently introduced concept of a spectral shift operator Ξ(J+K ^*(H ₀−λ−i0)⁻¹ K) associated with the operator-valued Herglotz functionJ+K ^*(H ₀−z)⁻¹ K, Im(z)>0 inH, whereV=KJK ^* andJ=sgn(V). Our principal results include a new representation for ζ(λ,H ₀,H) in terms of an averaged index for the Fredholm pair of self-adjoint spectral projections (E J+A(λ)+tB(λ)(−∞, 0)),E _J((−∞, 0))), ℝ, whereA(λ)=Re(K ^*(H ₀−λ−i0⁻¹ K),B(λ)=Im(K ^*(H ₀−λ-i0)⁻¹ K) a.e. Moreover, introducing the new concept of a trindex for a pair of operators (A, P) inH, whereA is bounded andP is an orthogonal projection, we prove that ζ(λ,H ₀, H) coincides with the trindex associated with the pair (Ξ(J+K ^*(H ₀−λ−i0)K), Ξ(J)). In addition, we discuss a variant of the Birman-Krein formula relating the trindex of a pair of Ξ operators and the Fredholm determinant of the abstract scattering matrix. We also provide a generalization of the classical Birman—Schwinger principle, replacing the traditional eigenvalue counting functions by appropriate spectral shift functions.