δ-M-Small and δ-Harada Modules

Let M be a right R-module and N ∈ σ[M]. A submodule K of N is called δ-M-small if, whenever N = K + X with N/X M-singular, we have N = X. N is called a δ-M-small module if N? K, K is δ-M-small in L for some K, L ∈ σ[M]. In this article, we prove that if M is a finitely generated self-projective generator in σ[M], then M is a Noetherian QF-module if and only if every module in σ[M] is a direct sum of a projective module in σ[M] and a δ-M-small module. As a generalization of a Harada module, a module M is called a δ-Harada module if every injective module in σ[M] is δ _M -lifting. Some properties of δ-Harada modules are investigated and a characterization of a Harada module is also obtained.     

Disjoint spine phenomena in certain contractible n-manifolds (n5)

If M is a compact PL manifold with boundary containing a subpolyhedron K in its interior, then K is said to be a PL spine of M provided M collapses to K (MK). Guilbault [Topology 34 (1) (1995) 99–108] has shown that certain nontrivial contractible manifolds possess disjoint spines. His results stem from a standing conjecture regarding disjoint spines in contractible 4-manifolds constructed by Mazur. More to the point, there is a dimensional requirement introduced by his techniques; Guilbault produces such manifolds in dimensions n9. We shall provide techniques which allow the construction of examples in dimensions n5 following the path laid out by Guilbault. The new techniques will provide a slight strengthening of some other Guilbault results as well.     

A problem of P. Seymour on nonbinary matroids

The following statement fork=1, 2, 3 has been proved by Tutte [4], Bixby [1] and Seymour [3] respectively: IfM is ak-connected non-binary matroid andX a set ofk-1 elements ofM, thenX is contained in someU ₄ ² minor ofM. Seymour [3] asks whether this statement remains true fork=4; the purpose of this note is to show that it does not and to suggest some possible alternatives. Supported in part by the National Science Foundation     

Vanishing theorem for sheaves of microfunctions at the boundary on cr–manifolds

Let X be a complex analytic manifold. Consider S?M?Xreal analytic submonifolds with codium ^R _MS=1,and let ω be a connected component of M\S. Let p∈S X_MT_M ^*X where T^* _Xdenotes the conormal bundle to M in X, and denote by ν(p) the complex radial Euler field at p. Denote by μ*(Ox) (for * = M, ω) the microlocalization of the sheaf of holomorphic functions along *.

Under the assumption dim^R(T_pT_M ^*X? ν(p)) = 1, a theorem of vanishing for the cohomology groups H^jμM(Ox)p is proved in [K-S 1, Prop. 11.3.1], j being related to the number of positive and negative eigenvalue for the Levi form of M.

Under the hypothesis dim^R(T_pT_S ^*X∩ν(p))=1, a similar result is proved here for the cohomology groups of the complex of microfunctions at the boundary μω(Ox).Stating this result in terms of regularity at the boundary for CR–hyperfunctions a local Bochner–type theorem is then obtained.     

Algebraic Coding of Expansive Group Automorphisms and Two-sided Beta-Shifts

 Let α be an expansive automorphisms of compact connected abelian group X whose dual group is cyclic w.r.t. α (i.e. is generated by for some ). Then there exists a canonical group homomorphism ξ from the space of all bounded two-sided sequences of integers onto X such that , where σ is the shift on . We prove that there exists a sofic subshift such that the restriction of ξ to V is surjective and almost one-to-one. In the special case where α is a hyperbolic toral automorphism with a single eigenvalue and all other eigenvalues of absolute value we show that, under certain technical and possibly unnecessary conditions, the restriction of ξ to the two-sided beta-shift is surjective and almost one-to-one. The proofs are based on the study of homoclinic points and an associated algebraic construction of symbolic representations in [13] and [7]. Earlier results in this direction were obtained by Vershik ([24]–[26]), Kenyon and Vershik ([10]), and Sidorov and Vershik ([20]–[21]).     

A theorem on the adjoint system for vector bundles

In this paper, we study the classification theory of uniruled varieties by means of the adjoint system for vector bundles on the varieties. We prove that ifE is an ample vector bundle on a smooth projective varietyX with rank(E)=dimX-2, thenK _X +C ₁ (E) is numerically effective except in a few cases. In all of the exceptional cases,X is a uniruled variety. As consequences, we generalized a result of Fujita [Fu3] and Ionescu [Io] and improve upon a theorem of Wiśniewski [Wi1].     

Algebraic geometry of topological spaces I

We use techniques from both real and complex algebraic geometry to study K-theoretic and related invariants of the algebra C(X) of continuous complex-valued functions on a compact Hausdorff topological space X. For example, we prove a parameterized version of a theorem by Joseph Gubeladze; we show that if M is a countable, abelian, cancellative, torsion-free, semi-normal monoid, and X is contractible, then every finitely generated projective module over C(X)[M] is free. The particular case gives a parameterized version of the celebrated theorem proved independently by Daniel Quillen and Andrei Suslin that finitely generated projective modules over a polynomial ring over a field are free. The conjecture of Jonathan Rosenberg which predicts the homotopy invariance of the negative algebraic K-theory of C(X) follows from the particular case . We also give algebraic conditions for a functor from commutative algebras to abelian groups to be homotopy invariant on C ^*-algebras, and for a homology theory of commutative algebras to vanish on C ^*-algebras. These criteria have numerous applications. For example, the vanishing criterion applied to nil K-theory implies that commutative C ^*-algebras are K-regular. As another application, we show that the familiar formulas of Hochschild–Kostant–Rosenberg and Loday–Quillen for the algebraic Hochschild and cyclic homology of the coordinate ring of a smooth algebraic variety remain valid for the algebraic Hochschild and cyclic homology of C(X). Applications to the conjectures of Beĭlinson-Soulé and Farrell–Jones are also given.     

A family of cohen-macaulay modules over singularities of type xt + y3

Let K be a field with char K ≠ 3 and it two positive integers such that 1 ≤i <t/2,t ≠ 3i. The classification problem for maximal Cohen-Macaulay modules over K[[X,Y]]/(X^t+Y³ ) is complicated if t≥ 6, because there exist parameter families of non-isomorphic maximal Cohen-Macaulay modules [Sc], or [GK], [Yo, Ch.9] and [DG]). Here we describe parameter families of such modules N, such that N/YN is a direct sum of copies of K[[X]]/(X ⁱ)K[[X]]/(X^t-i ).     

Algebraic Coding of Expansive Group Automorphisms and Two-sided Beta-Shifts

 Let α be an expansive automorphisms of compact connected abelian group X whose dual group is cyclic w.r.t. α (i.e. is generated by for some ). Then there exists a canonical group homomorphism ξ from the space of all bounded two-sided sequences of integers onto X such that , where σ is the shift on . We prove that there exists a sofic subshift such that the restriction of ξ to V is surjective and almost one-to-one. In the special case where α is a hyperbolic toral automorphism with a single eigenvalue and all other eigenvalues of absolute value we show that, under certain technical and possibly unnecessary conditions, the restriction of ξ to the two-sided beta-shift is surjective and almost one-to-one. The proofs are based on the study of homoclinic points and an associated algebraic construction of symbolic representations in [13] and [7]. Earlier results in this direction were obtained by Vershik ([24]–[26]), Kenyon and Vershik ([10]), and Sidorov and Vershik ([20]–[21]). (Received 27 October 1998; in revised form 17 May 1999)     

Birth and death of a stationary Markov process

The killing of a process by means of a multiplicative functional (MF) has recently been considered by Getoor in the context of stationary random birth and death processes. LetX be a Borel right process with semigroupP. LetM be an exact MF forX and letK be the semigroup for the process arising whenX is killed according toM. Getoor gives a creation and killing mechanism that expresses a stationary process with semigroupK in termsM and a stationary process with semigroupP. We extend his work and show thatM generates many birthing and/or killing constructions. Moreover we show that ifM is chosen appropriately, one of the processes we construct is a stationary excursion.     

Morse�CSmale theory for flows on covering spaces of compact manifolds

For a dynamical system X on a compact differentiable manifold M and for the dynamical system X(ρ) induced from X by a covering map r :  [(M)\tilde] ?  M{\rho \, : \, \widetilde{M}\, \rightarrow \, M}, we develop algebraic topology methods for estimating the lower bounds on the number of codimension-1 surfaces (i.e., on the number of index-1 equilibria of flows and their stable manifolds) on the boundary of regions of stability on [(M)\tilde]{\widetilde{M}}. We also develop methods for estimating the number of equilibria on the boundaries of stability regions of noncompact manifolds with very general assumptions. Our methods allow us to obtain results for noncompact manifolds in cases when Morse–Smale approach does not work.     

The Katětov property for finite degree seminormal functors

A seminormal functor kF enjoys the Katěetov property (K-property) if for every compact set X the hereditary normality of kF(X) implies the metrizability of X. We prove that every seminormal functor of finite degree n>3 enjoys the K-property. On assuming the continuum hypothesis (CH) we characterize the weight preserving seminormal functors with the K-property. We also prove that the nonmetrizable compact set constructed in [1] on assuming CH is a universal counterexample for the K-property in the class of weight preserving seminormal functors.     

Rank 1 real Wishart spiked model

In this paper, we consider N‐dimensional real Wishart matrices Y in the class \input amssym $W_{\Bbb R} (\Sigma ,M)$ in which all but one eigenvalue of Σ is 1. Let the nontrivial eigenvalue of Σ be 1+τ; then as N, M → ∞, with M/N → γ² finite and nonzero, the eigenvalue distribution of Y will converge into the Marchenko‐Pastur distribution inside a bulk region. When τ increases from 0, one starts to see a stray eigenvalue of Y outside of the support of the Marchenko‐Pastur density. As this stray eigenvalue leaves the bulk region, a phase transition will occur in the largest eigenvalue distribution of the Wishart matrix. In this paper we will compute the asymptotics of the largest eigenvalue distribution when the phase transition occurs. We will first establish the results that are valid for all N and M and will use them to carry out the asymptotic analysis. In particular, we have derived a contour integral formula for the Harish‐Chandra Itzykson‐Zuber integral $\int_{O(N)} {e^{{\rm tr}(XgYg^{\rm T} )} } g^{\rm T} dg$ when X and Y are real symmetric and Y is a rank 1 matrix. This allows us to write down a Fredholm determinant formula for the largest eigenvalue distribution and analyze it using orthogonal polynomial techniques. As a result, we obtain an integral formula for the largest eigenvalue distribution in the large‐ N limit characterized by Painlevé transcendents. The approach used in this paper is very different from a recent paper by Bloemenal and Virág, in which the largest eigenvalue distribution was obtained using a stochastic operator method. In particular, the Painlevé formula for the largest eigenvalue distribution obtained in this paper is new. © 2012 Wiley Periodicals, Inc.     

Examples of Subfactors with Property T Standard Invariant

Let H and K be two finite groups with a properly outer action on the factor M. We prove that the standard invariant of the group type inclusion , studied in detail in [BiH], has property T in the sense of [Po6] if and only if the group generated by H and K in the outer automorphism group of M has Kazhdan's property T [K]. This construction yields irreducible, infinite depth subfactors with small Jones indices and property T standard invariant. Submitted: March 1998, revised: June 1998.     

<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.     

A correlation inequality and a poisson limit theorem for nonoverlapping balanced subgraphs of a random graph

We consider non-overlapping subgraphs of fixed order in the random graph K_n, p(n). Fix a strictly strongly balanced graph G. A subgraph of K_{n, p(n)} isomorphic to G is called a G-subgraph. Let X_n be the number of G-subgraphs of K_{n, p(n)} vertex disjoint to all other G-subgraphs. We show that if E[X_n]→∞ as n→, then X_n/E[X_n] converges to 1 in probability. Also, if E[X_n]→c as n→∞, then X_n satisfies a Poisson limit theorem. the Poisson limit theorem is shown using a correlation inequality similar to those appeared in Janson, ?uczak, and Ruciñski[8] and Boppana and Spencer [4].     

Best Interpolatory Approximation in Normed Linear Spaces

A theory of best approximation with interpolatory contraints from a finite-dimensional subspaceMof a normed linear spaceXis developed. In particular, to eachxX, best approximations are sought from a subsetM(x) ofMwhichdependson the elementxbeing approximated. It is shown that this “parametric approximation” problem can be essentially reduced to the “usual” one involving a certainfixedsubspaceM₀ofM. More detailed results can be obtained when (1) Xis a Hilbert space, or (2) Mis an “interpolating subspace” ofX(in the sense of [1]).     

On the convergence of the Nyström method for the integral equation eigenvalue problem

Summary Approximate solutions of the linear integral equation eigenvalue problem can be obtained by the replacement of the integral by a numerical quadrature formula and then collocation to obtain a linear algebraic eigenvalue problem. This method is often called the Nyström method and a framework for its error analysis was introduced by Noble [15]. In this paper the convergence of the method is considered when the integral operator is a compact operator from a Banach spaceX intoX.     

Maximal transitive sets with singularities for genericC 1 vector fields

A transitive set of a vector fieldX ismaximal transitive if it contains every transitive set ofX intersecting it. We shall prove that ifX isC ¹ generic then every singularity ofX with either only one positive or only one negative eigenvalue belongs to a maximal transitive set ofX. In particular, we characterize maximal transitive sets with singularities for genericC ¹ vector fields on closed 3-manifolds in terms of homoclinic classes associated to a unique singularity. We apply our results to the examples introduced in [3] and [15].This work is partially supported by CNPq 001/2000, FAPERJ and PRONEX/Dynamical Systems, FINEP-CNPq.     

Relative k-cycles and local elliptic boundary conditions

In this paper, we discuss the following conjecture raised by Baum and Douglas: For any first order elliptic differential operator D on a smooth manifold M with boundary ?M D possesses a (local) elliptic boundary condition if and only if ?[D]=0 in K₁(?M), where [D] is the relative K-cycle in K_o(M,?M) corresponding to D. We prove the “if” part of this conjecture for dim(M)≠4,5,6,7 and the “only if” part of the conjecture for arbitrary dimension.