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.     

Realizability of the <Emphasis Type="Italic">H</Emphasis><Subscript><Emphasis Type="Italic">k</Emphasis></Subscript>-distance functions by homology classes of path spaces

In previous papers, we have constructed and studied mappings d _k : M × M → ℝ called the H _k -distance functions. The main result of this paper is a theorem on realizability of the generalized distances d _k (υ, w), υ, w ∈ M, by critical values of the length functional L: Ω(M, υ, w) → ℝ generated by nontrivial homology classes of the space Ω(M, υ, w) of paths joining the points υ and w.     

The homomorphismM*⊗N → Hom (M,N)

In this note we prove two theorems. In theorem 1 we prove that if M andN are two non-zero reflexive modules of finite projective dimensions over a Gorenstein local ring, such that Hom (M, N) is a third module of syzygies, then the natural homomorphismM* ⊗N → Hom (M, N) is an isomorphism. This extends the result in [7]. In theorem 2, we prove that projective dimension of a moduleM over a regular local ringR is less than or equal ton if and only if Ext_R ⁿ (M, R) ⊗M → Ext_R ⁿ (M, M) is surjective; in which case it is actually bijective. This extends the usual criterion for the projectivity of a module.     

Classification of framed links in 3-manifolds

We present a short and complete proof of the following Pontryagin theorem, whose original proof was complicated and has never been published in detail. Let M be a connected oriented closed smooth 3-manifold, L ₁(M) be the set of framed links in M up to a framed cobordism, and deg: L ₁(M) → H ₁(M; ℤ) be the map taking a framed link to its homology class. Then for each α ∈ H ₁(M; ℤ) there is a one-to-one correspondence between the set deg⁻¹ α and the group ℤ_2d(α), where d(α) is the divisibility of the projection of α to the free part of H ₁(M; ℤ).     

Graded metrics adapted to splittings

Homogeneous graded metrics over split ℤ₂-graded manifolds whose Levi-Civita connection is adapted to a given splitting, in the sense recently introduced by Koszul, are completely described. A subclass of such is singled out by the vanishing of certain components of the graded curvature tensor, a condition that plays a role similar to the closedness of a graded symplectic form in graded symplectic geometry: It amounts to determining a graded metric by the data {g, ω, Δ′}, whereg is a metric tensor onM, ω 0 is a fibered nondegenerate skewsymmetric bilinear form on the Batchelor bundleE → M, and Δ′ is a connection onE satisfying Δ′ω = 0. Odd metrics are also studied under the same criterion and they are specified by the data {κ, Δ′}, with κ ∈ Hom (TM, E) invertible, and Δ′κ = 0. It is shown in general that even graded metrics of constant graded curvature can be supported only over a Riemannian manifold of constant curvature, and the curvature of Δ′ onE satisfiesR ^Δ′ (X,Y)² = 0. It is shown that graded Ricci flat even metrics are supported over Ricci flat manifolds and the curvature of the connection Δ′ satisfies a specific set of equations. 0 Finally, graded Einstein even metrics can be supported only over Ricci flat Riemannian manifolds. Related results for graded metrics on Ω(M) are also discussed. Partially supported by DGICYT grants #PB94-0972, and SAB94-0311; IVEI grant 95-031; CONACyT grant #3189-E9307.     

A module as a torsion-free cover

LetR be a ring, and let (ℐ, ℱ) be an hereditary torsion theory of leftR-modules. An epimorphism ψ:M→X is called a torsion-free cover ofX if (1)M∈ ℱ, (2) every homomorphism from a torsion-free module intoX can be factored throughM, and (3) ker ψ contains no nonzero ℐ -closed submodules ofM. Conditions onM andN are studied to determine when the natural mapsM→M/N andQ(M)→Q(M)/N are torsion-free covers, whenQ(M) is the localization ofM with respect to (ℐ, ℱ). IfM→M/N is a torsion-free cover andM is projective, thenN⊆radM. Consequently, the concepts of projective cover and torsion-free cover coincide in some interesting cases.     

On the geometry of tangent hyperquadric bundles: CR and pseudoharmonic vector fields

We study the natural almost CR structure on the total space of a subbundle of hyperquadrics of the tangent bundle T(M) over a semi-Riemannian manifold (M, g) and show that if the Reeb vector ξ of an almost contact Riemannian manifold is a CR map then the natural almost CR structure on M is strictly pseudoconvex and a posteriori ξ is pseudohermitian. If in addition ξ is geodesic then it is a harmonic vector field. As an other application, we study pseudoharmonic vector fields on a compact strictly pseudoconvex CR manifold M, i.e. unit (with respect to the Webster metric associated with a fixed contact form on M) vector fields X ε H(M) whose horizontal lift X↑ to the canonical circle bundle S¹ → C(M) → M is a critical point of the Dirichlet energy functional associated to the Fefferman metric (a Lorentz metric on C(M)). We show that the Euler–Lagrange equations satisfied by X^↑ project on a nonlinear system of subelliptic PDEs on M. Mathematics Subject Classifications (2000): 53C50, 53C25, 32V20     

Weak helix submanifolds of euclidean spaces

Let M⊂ℝ ⁿ be a submanifold of a euclidean space. A vector d∈ℝ ⁿ is called a helix direction of M if the angle between d and any tangent space T _p M is constant. Let ℋ(M) be the set of helix directions of M. If the set ℋ(M) contains r linearly independent vectors we say that M is a weak r-helix. We say that M is a strong r-helix if ℋ(M) is a r-dimensional linear subspace of ℝ ⁿ . For curves and hypersurfaces both definitions agree. The object of this article is to show that these definitions are not equivalent. Namely, we construct (non strong) weak 2-helix surfaces of ℝ⁴. The author is supported by the Project M.I.U.R. “Riemann Metrics and Differentiable Manifolds” and by G.N.S.A.G.A. of I.N.d.A.M., Italy.     

<Emphasis Type="Italic">k</Emphasis>*-Metrizable spaces and their applications

In this paper, we introduce and study a new class of generalized metric spaces, which we call k*-metrizable spaces, and suggest various applications of such spaces in topological algebra, functional analysis, and measure theory. By definition, a Hausdorff topological space X is k*-metrizable if X is the image of a metrizable space M under a continuous map f: M → X which has a section s: X → M preserving precompact sets in the sense that the image s(K) of any compact set K ⊂ X has compact closure in X. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 48, General Topology, 2007.     

Fundamental groups of branched covering spaces ofS 3

Summary Given a knotK⊂S ³, it is known a standard method for constructing a 4-coloured graph representing the closed orientable 3-manifoldM=M(K, d, ω) which is thed-fold covering space ofS ³ branched overK and associated to the transitived-representation ω of the knot group. In this paper we obtain a presentation of the fundamental group ofM, directly from the Wirtinger presentation of the knot group and from the transitived-representation ω.

---

Riassunto Dato un nodoK⊂S ³, è noto un metodo standard per costruire un grafo 4-colorato rappresentante la 3-varietà chiusa ed orientabileM=M(K, d, ω) che è lo spazio di rivestimento diS ³ ramificato suK ed associato allad-rappresentazione transitiva ω del gruppo del nodo. In questo articolo si ottiene una presentazione del gruppo fondamentale diM, direttamente dalla presentazione di Wirtinger del gruppo del nodo e dallad-rappresentazione transitiva ω.

---

---

Work performed under the auspicies of the G.N.S.A.G.A. of the C.N.R. (National Research Council of Italy) and financially supported by M.P.I. (project ?Geometria delle Varietà differenziabili?).     

Homology and cohomology groups of the group homomorphism

As is known, the homology and cohomology Massa-Takasu groups for pairs of groups (G, H) are defined by the embedding f: H → G, H < G [2]. In our case, these definitions are extended to an arbitrary group homomorphism φ: Π → G. In particular, we define homology and cohomology groups of the nth order for the homomorphism φ, and if Π = H, we obtain the known theory [2]. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 43, Topology and Its Applications, 2006.     

The bieri-strebel invariant and homological finiteness conditions for metabelian groups

A group Γ has type F P_n if a trivial ℤΓ-module ℤ has a projective resolution P:…P_n → … → P₁ → P₀ → ℤ in which ℤΓ-module P_n,…P₁, P₀ are finitely generated. Let the finitely generated group Γ be a split extension of the Abelian group M by an Abelian group Q, suppose M is torsion free, and assume Γ∈F P_m, m≥2. Then the invariant ∑ _c ^M is m-tame. Translated fromAlgebra i Logika, Vol. 36, No. 2, pp. 194–218, March–April, 1997.     

Lyapunov exponents for products of matrices and multifractal analysis. Part I: Positive matrices

Let (Σ,σ) be a full shift space on an alphabet consisting ofm symbols and letM: Σ→L ⁺(ℝ ^d , ℝ ^d ) be a continuous function taking values in the set ofd×d positive matrices. Denote by λ _M (x) the upper Lyapunov exponent ofM atx. The set of possible Lyapunov exponents is just an interval. For any possible Lyapunov exponentα, we prove the following variational formula, , where dim is the Hausdorff dimension or the packing dimension,P _M(q) is the pressure function ofM, μ is aσ-invariant Borel probability measure on Σ,h(μ) is the entropy ofμ, and . The author was partially supported by a HK RGC grant in Hong Kong and the Special Funds for Major State Basic Research Projects in China.     

Reducing system of parameters and the Cohen-Macaulay property

Let R be a local ring and let (x ₁, …, x _r) be part of a system of parameters of a finitely generated R-module M, where r < dim_R M. We will show that if (y ₁, …, y _r) is part of a reducing system of parameters of M with (y ₁, …, y _r) M = (x ₁, …, x _r) M then (x ₁, …, x _r) is already reducing. Moreover, there is such a part of a reducing system of parameters of M iff for all primes P ε Supp M ∩ V _R(x ₁, …, x _r) with dim_R R/P = dim_R M − r the localization M _P of M at P is an r-dimensional Cohen-Macaulay module over R _P. Furthermore, we will show that M is a Cohen-Macaulay module iff y _d is a non zero divisor on M/(y ₁, …, y _d−1) M, where (y ₁, …, y _d) is a reducing system of parameters of M (d:= dim_R M).     

On the boundedness of solutions of nonlinear differential equations in Hilbert spaces

LetH be a complex Hilbert space and letB be the space of all bounded linear operators fromH intoH with the strong operator topology. We will give a boundedness result for the solutions of the differential equationx′=A(t)x+f(t,x) whereA: I=[t ₀, ∞)→B is continuous,f: I×H→H is also continuous and for every bounded setS⊂I×H there exists a constantM(S)>0 such that |f(t,x)−f(t,y)|≤M(S)|x−y|,(t,x), (t,y)∈S.

---

Sunto SiaH uno spazio di Hilbert complesso e siaB lo spazio degli operatori lineari limitati daH inH, con la topologia forte. In questo lavoro si prova un risultato di limitatezza per le soluzioni dell'equazione differenzialex′=A(t)x+f(t,x), doveA: I=[t ₀, ∞)→B è continua,f: I×H→H è continua e per ogni insieme limitatoS⊂I×H esiste una costanteM(S)>0 tale che |f(t,x)−f(t,y)|≤M(S)|x−y| per ogni(t,x), (t,y)∈S.

     

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.     

Real Paley-Wiener type theorems for the Dunkl transform on {\mathcal{S}}'(\mathbb{R}^{d})

We prove real Paley-Wiener type theorems for the Dunkl transform ℱ _D on the space of tempered distributions. Let T∈S′(ℝ ^d ) and Δ _κ the Dunkl Laplacian operator. First, we establish that the support of ℱ _D (T) is included in the Euclidean ball , M>0, if and only if for all R>M we have lim  _n→+∞ R ⁻²ⁿ Δ _κ ⁿ T=0 in S′(ℝ ^d ). Second, we prove that the support of ℱ _D (T) is included in ℝ ^d ∖B(0,M), M>0, if and only if for all R<M, we have lim  _n→+∞ R ²ⁿ  ℱ _D ⁻¹(‖y‖⁻²ⁿ ℱ _D (T))=0 in S′(ℝ ^d ). Finally, we study real Paley-Wiener theorems associated with -slowly increasing function.      

Conditions for the existence of bounded solutions of nonlinear differential and functional differential equations

Let E be a finite-dimensional Banach space, let C⁰(R; E) be a Banach space of functions continuous and bounded on R and taking values in E; let K:C ⁰(R ,E) → C ⁰(R, E) be a c-continuous bounded mapping, let A: E → E be a linear continuous mapping, and let h ∈ C ⁰(R, E). We establish conditions for the existence of bounded solutions of the nonlinear equation

Finite quasihypermetric spaces

Let (X, d) be a compact metric space and let (X) denote the space of all finite signed Borel measures on X. Define I: (X) → ℝ by I(μ) = ∫ _X ∫ _X d(x, y)dμ(x)dμ(y), and set M(X) = sup I(μ), where μ ranges over the collection of measures in (X) of total mass 1. The space (X, d) is quasihypermetric if I(μ) ≦ 0 for all measures μ in (X) of total mass 0 and is strictly quasihypermetric if in addition the equality I(μ) = 0 holds amongst measures μ of mass 0 only for the zero measure. This paper explores the constant M(X) and other geometric aspects of X in the case when the space X is finite, focusing first on the significance of the maximal strictly quasihypermetric subspaces of a given finite quasihypermetric space and second on the class of finite metric spaces which are L ¹-embeddable. While most of the results are for finite spaces, several apply also in the general compact case. The analysis builds upon earlier more general work of the authors [11] [13].