Isoperimetric numbers of graph bundles

The main aim of this paper is to give some upper and lower bounds for the isoperimetric numbers of graph coverings or graph bundles, with exact values in some special cases. In addition, we show that the isoperimetric number of any covering graph is not greater than that of the base graph. Mohar's theorem for the isoperimetric number of the cartesian product of a graph and a complete graph can be extended to a more general case: The isoperimetric numberi(G × K _2n) of the cartesian product of any graphG and a complete graphK _2n on even vertices is the minimum of the isoperimetric numberi(G) andn, and it is also a sharp lower bound of the isoperimetric numbers of all graph bundles over the graphG with fiberK _2n. Furthermore, ifn 2i(G) then the isoperimetric number of any graph bundle overG with fibreK _n is equal to the isoperimetric numberi(G) ofG. Partially supported by The Ministry of Education, Korea.     

Relative isoperimetric inequalities for minimal submanifolds outside a convex set

Let C be a closed convex set in a complete simply connected Riemannian manifold M with sectional curvature bounded above by a positive constant K. Assume that Σ is a compact minimal surface outside C such that Σ is orthogonal to ?C along ?Σ∩?C and ?Σ ～ ?C is radially connected from a point p ∈ ?Σ∩?C. We introduce a modified volume M_p(Σ) of Σ and obtain a sharp isoperimetric inequality where equality holds if and only if Σ is a geodesic half disk with constant Gaussian curvature K. We also prove higher dimensional isoperimetric inequalities for minimal submanifolds outside a closed convex set in a Riemannian manifold using the modified volume.     

Compact minimal hypersurfaces with index one in the real projective space

Let M ⁿ be a compact (two-sided) minimal hypersurface in a Riemannian manifold . It is a simple fact that if has positive Ricci curvature then M cannot be stable (i.e. its Jacobi operator L has index at least one). If is the unit sphere and L has index one, then it is known that M must be a totally geodesic equator.?We prove that if is the real projective space , obtained as a metric quotient of the unit sphere, and the Jacobi operator of M has index one, then M is either a totally geodesic sphere or the quotient to the projective space of the hypersurface obtained as the product of two spheres of dimensions n ₁, n ₂ and radius R ₁, R ₂, with and . Received: June 6, 1998     

The L p spectrum of Riemannian products

We prove that the L ^p spectrum of a Riemannian product M ₁×M ₂ coincides with the set theoretic sum of the L ^p spectra of M ₁ and M ₂ . Received: 13 June 2007     

Isoperimetric regions in spherical cones and Yamabe constants of M ×?S1

We study isoperimetric regions on Riemannian manifolds of the form (M ⁿ × (0, π), sin²(t)g + dt ²) where g is a metric of positive Ricci curvature ≥ n − 1. When g is an Einstein metric we use this to compute the Yamabe constant of (M ×\mathbbR, g+ dt² ){(M \times \mathbb{R}, g+ dt^2 )} and so to obtain lower bounds for the Yamabe invariant of M × S ¹.     

Counterexamples to the Kneser conjecture in dimension four

We construct a connected closed orientable smooth four-manifold whose fundamental group is the free product of two non-trivial groups such that it is not homotopy equivalent toM ₀#M ₁ unlessM ₀ orM ₁ is homeomorphic toS ⁴. LetN be the nucleus of the minimal elliptic Enrique surfaceV ₁(2, 2) and putM=N∪ _∂NN. The fundamental group ofM splits as ℤ/2 * ℤ/2. We prove thatM#k(S ²×S²) is diffeomorphic toM ₀#M ₁ for non-simply connected closed smooth four-manifoldsM ₀ andM ₁ if and only ifk≥8. On the other hand we show thatM is homeomorphic toM ₀#M ₁ for closed topological four-manifoldsM ₀ andM ₁ withπ ₁(M_i)=ℤ/2.     

When Some Complement of a Submodule Is a Summand

A module M is said to satisfy the C ₁₁ condition if every submodule of M has a (i.e., at least one) complement which is a direct summand. It is known that the C ₁ condition implies the C ₁₁ condition and that the class of C ₁₁-modules is closed under direct sums but not under direct summands. We show that if M = M ₁ ⊕ M ₂, where M has C ₁₁ and M ₁ is a fully invariant submodule of M, then both M ₁ and M ₂ are C ₁₁-modules. Moreover, the C ₁₁ condition is shown to be closed under formation of the ring of column finite matrices of size Γ, the ring of m-by-m upper triangular matrices and right essential overrings. For a module M, we also show that all essential extensions of M satisfying C ₁₁ are essential extensions of C ₁₁-modules constructed from M and certain subsets of idempotent elements of the ring of endomorphisms of the injective hull of M. Finally, we prove that if M is a C ₁₁-module, then so is its rational hull. Examples are provided to illustrate and delimit the theory.     

Isoperimetric problems for convex bodies and a localization lemma

We study the smallest number ψ(K) such that a given convex bodyK in ℝ ⁿ can be cut into two partsK ₁ andK ₂ by a surface with an (n−1)-dimensional measure ψ(K) vol(K ₁)·vol(K ₂)/vol(K). LetM ₁(K) be the average distance of a point ofK from its center of gravity. We prove for the “isoperimetric coefficient” that

Number of infections suffered by a focal individual in a two‐strain SIS model with partial cross‐immunity

We study a stochastic model for the spread of two pathogen strains—termed type 1 and type 2—among a homogeneously mixing community consisting of a finite number of individuals. In the model, we assume partial cross‐immunity, exogenous streams of infection, and that the degree of severity of a newly infective individual depends on who this infective individual was infected by. The aim is to characterize the joint probability distribution of the numbers M₁ and M₂ of type‐1 and type‐2 infections suffered by a focal individual during an outbreak of the disease. We present iterative procedures for computing the probability mass function of (M₁,M₂) under the assumption that the initial state of the focal individual is known, and a numerical study of the model is performed to investigate the influence of certain key parameters on the spread of resistant bacteria in hospitals.     

Isoperimetric inequalities on minimal submanifolds of space forms

For a domainU on a certaink-dimensional minimal submanifold ofS ⁿ orH ⁿ, we introduce a “modified volume”M(U) ofU and obtain an optimal isoperimetric inequality forU k ^k ω _k M (D) ^k-1 ≤Vol(∂D) ^k , where ω _k is the volume of the unit ball ofR ^k . Also, we prove that ifD is any domain on a minimal surface inS ₊ ⁿ (orH ⁿ, respectively), thenD satisfies an isoperimetric inequality2π A≤L ²+A² (2π A≤L²−A² respectively). Moreover, we show that ifU is ak-dimensional minimal submanifold ofH ⁿ, then(k−1) Vol(U)≤Vol(∂U). Supported in part by KME and GARC     

A Hadamard product involving N-matrices

We show that for any pair M,N of n by n M-matrices, the Hadamard (entry-wise) product M°N _-1 is again an M-matrix. For a single M-matrix M, the matrix M°M ^-1 is also considered.     

Universal theories for rigid soluble groups

A group is said to be p-rigid, where p is a natural number, if it has a normal series of the form G = G ₁ > G ₂ > … > G _p  > G _p+1 = 1, whose quotients G _i /G _i+1 are Abelian and are torsion free when treated as \mathbbZ \mathbb{Z} [G/G _i ]-modules. Examples of rigid groups are free soluble groups. We point out a recursive system of universal axioms distinguishing p-rigid groups in the class of p-soluble groups. It is proved that if F is a free p-soluble group, G is an arbitrary p-rigid group, and W is an iterated wreath product of p infinite cyclic groups, then ∀-theories for these groups satisfy the inclusions A(F) ê A(G) ê A(W) \mathcal{A}(F) \supseteq \mathcal{A}(G) \supseteq \mathcal{A}(W) . We construct an ∃-axiom distinguishing among p-rigid groups those that are universally equivalent to W. An arbitrary p-rigid group embeds in a divisible decomposed p-rigid group M = M(α₁,…, α _p ). The latter group factors into a semidirect product of Abelian groups A ₁ A ₂…A _p , in which case every quotient M _i /M _i+1 of its rigid series is isomorphic to A _i and is a divisible module of rank α_i over a ring \mathbbZ \mathbb{Z} [M/M _i ]. We specify a recursive system of axioms distinguishing among M-groups those that are Muniversally equivalent to M. As a consequence, it is stated that the universal theory of M with constants in M is decidable. By contrast, the universal theory of W with constants is undecidable.     

The representability number of a chain

For each pair of linear orderings (L,M), the representability number repr_M(L) of L in M is the least ordinal α such that L can be order-embedded into the lexicographic power . The case is relevant to utility theory. The main results in this paper are as follows. (i) If κ is a regular cardinal that is not order-embeddable in M, then repr_M(κ)=κ; as a consequence, for each κω₁. (ii) If M is an uncountable linear ordering with the property that A×_lex2 is not order-embeddable in M for each uncountable AM, then for any ordinal α; in particular, . (iii) If L is either an Aronszajn line or a Souslin line, then .     

Isoperimetric inequalities,isometric actions and the higher Newman numbers

M will be a compact connected n-dimensional Riemannian manifold. If M contains a closed connected k-dimensional, 2 k < n, minimal immersed submanifold of M, we define the kth isoperimetric number of M, Ñ _k (M), as the infimum of the volumes of all such submanifolds. We obtain a number of interesting estimates for Ñ _k (M), for both general and special manifolds, which appear to be new.Next we turn to isometric actions and a 1931 theorem of M. H. A. Newman involving the size of orbits of group actions on manifolds. We introduce the higher Newman numbers N _k (M), 1 k n. Roughly speaking, if M admits isometric actions of compact connected Lie groups with k-dimensional principal orbits, N _k (M) is defined as the infimum over all such actions of the maximum volume of all maximal dimensional orbits. We observe that N _k (M) Ñ _k (M), 2 k < n, provided N _k (M) is defined; hence our prior estimates for the isoperimetric numbers of M apply directly to the higher Newman numbers.As a best possible candidate we conjecture that N _k (M) vol S ^k (i(M)/), 1 k n, where i(M) denotes the radius of injectivity of M and S ^k (i(M)/) denotes the standard k-sphere of radius i(M)/. We verify the conjecture for various special cases. We conclude the paper by studying Newman's theorem for compact connected Lie groups with invariant metrics and obtaining a lower bound for the size of small subgroups.     

Commensurability of Hyperbolic Manifolds with Geodesic Boundary

Suppose , let M ₁, M ₂ be n-dimensional connected complete finite-volume hyperbolic manifolds with nonempty geodesic boundary, and suppose that π₁ (M ₁) is quasi-isometric to π₁ (M ₂) (with respect to the word metric). Also suppose that if n=3, then ∂M ₁ and ∂M ₂ are compact. We show that M ₁ is commensurable with M ₂. Moreover, we show that there exist homotopically equivalent hyperbolic 3-manifolds with non-compact geodesic boundary which are not commensurable with each other. We also prove that if M is as M ₁ above and G is a finitely generated group which is quasi-isometric to π₁ (M), then there exists a hyperbolic manifold with geodesic boundary M′ with the following properties: M′ is commensurable with M, and G is a finite extension of a group which contains π₁ (M′) as a finite-index subgroupMathematics Subject Classification (2000). Primary: 20F65; secondary: 30C65, 57N16     

Extending modules which are direct sums of injective modules and semisimple modules

It is proved that, if R is a right Noetherian ringM ₁ is an injective right R-module and M ₂ is a semisimple right R-module, then the right R-module M ₁ + M ₂ is extending if and only if M ₂ is (M ₁/Soc(M ₁))-injective.     

Anchored expansion and random walk

This paper studies anchored expansion, a non-uniform version of the strong isoperimetric inequality. We show that every graph with i-anchored expansion contains a subgraph with isoperimetric (Cheeger) constant at least i. We prove a conjecture by Benjamini, Lyons and Schramm (1999) that in such graphs the random walk escapes with a positive lim inf speed. We also show that anchored expansion implies a heat-kernel decay bound of order exp(—cn ^1/3). Submitted: September 1999, Revision: January 2000.     

Maximum principle at infinity for complete minimal surfaces in flat 3-manifolds

The main result of this paper is the following maximum principle at infinity:Theorem.Let M ₁ and M ₂ be two disjoint properly embedded complete minimal surfaces with nonempty boundaries, that are stable in a complete flat 3-manifold. Then dist(M ₁,M ₂)=min(dist(M ₁,M ₂), dist(M ₂,M ₁)).In case one boundary is empty, e.g. M ₁,then dist(M ₁,M ₂)=dist(M ₂,M ₁).If both boundaries are empty, then M ₁ and M ₂ are flat.     

ON X-EXTENDING AND X-CONTINUOUS MODULES

Let X be a left R-module. We characterize when the direct sum of two X-extending modules is X-extending via essential injectivity and pseudo injectivity of modules. As a corollary, we show that if extending modules M ₁ and M ₂ are relatively essentially injective and M ₁ is pseudo-M ₂-injective (or M ₂ is pseudo-M ₁-injective) then M ₁ ⊕ M ₂ is extending. Also we characterize when the direct sum of two CESS-modules is CESS. Some characterizations of almost Noetherian rings are also given by relative (quasi-) continuity of left R-modules.     

On Strongly Clean Modules

An element of a ring R is called “strongly clean” if it is the sum of an idempotent and a unit that commute, and R is called “strongly clean” if every element of R is strongly clean. A module M is called “strongly clean” if its endomorphism ring End(M) is a strongly clean ring. In this article, strongly clean modules are characterized by direct sum decompositions, that is, M is a strongly clean module if and only if whenever M′⊕ B = A ₁⊕ A ₂ with M′? M, there are decompositions M′ = M ₁⊕ M ₂, B = B ₁⊕ B ₂, and A _i  = C _i ⊕ D _i (i = 1,2) such that M ₁⊕ B ₁ = C ₁⊕ D ₂ = M ₁⊕ C ₁ and M ₂⊕ B ₂ = D ₁⊕ C ₂ = M ₂⊕ C ₂.