Translation-invariant linear forms on C0(G), C(G), Lp(G) for noncompact groups

Suppose G is a locally compact noncompact group. For abelian such G's, it is shown in this paper that L¹(G), C(G), and L^∞(G) always have discontinuous translation-invariant linear forms(TILF's) while C₀(G) and L^p(G) for 1 < p < ∞ have such forms if and only if $\text{G}\text{H}$ is a torsion group for some open σ-compact subgroup H of $\text{G}$. For σ-compact amenable G's, all the above spaces have discontinuous left TILF's.     

L p -spaces on locally compact groups

In this paper, some relations between L ^p -spaces on locally compact groups are found. Applying these results proves that for a locally compact group G, the convolution Banach algebras L ^p (G) ∩ L ¹(G) (1 < p ≤ ∞), and A _p (G) ∩ L ¹(G) (1 < p < ∞) are amenable if and only if G is discrete and amenable.     

Amenability of the Second Dual of Hypergroup Algebras

The amenability of the Banach algebra L ¹(G), the measure algebra M(G) and their second duals of a locally compact group have been considered by a number of authors. During these investigations it has been shown that L ¹(G)^** is amenable if and only if G is finite. If LUC (G)^*, the dual of the space of left uniformly continuous functions on G, is amenable, then G is compact and M(G) is amenable. Finally, if M(G)^** is amenable, then G is finite. The aim of this paper is to generalize all of the above results to the locally compact hypergroups.     

*-regularity of certain generalized group algebras

Let B be a *-semisimple Banach algebra with a bounded approximate identity and \({\alpha: G \longrightarrow {\rm Aut}_{*}(B)}\) (isometric *-automorphisms group of B) an action of a locally group G on B. Let (D, G, γ) be the associated dynamical system, where D = C ₀(G, B) is the Banach *-algebra of all continuous B-valued functions on G vanishing at infinity and the action γ : G → Aut D is given by γ _s (y)(t) = α _s (y(s ^?1 t)) for \({y \in D}\) and \({s, t \in G}\) . Recall that B is said to be *-regular if the natural mapping \({I\in {\rm Prim} \, C^{*}(B) \mapsto I\cap B\in {\rm Prim}_{*}(B)}\) is a homeomorphism under the hull-kernel topology. When G is amenable, we show that if B is *-regular, then the generalized group algebra L ¹(G, D; γ) is *-regular. The converse is also true if we further assume that G is countable discrete. Finally the case of compact groups is studied.     

Some discontinuous translation-invariant linear forms

The author proved in [3] that every translation-invariant linear form on $\text{D}$(Rⁿ), as well as on other spaces of test functions and distributions, is necessarily continuous. The same result has also been proved for the Hilbert space L²(G) where G is a compact connected Abelian group. In contrast to this it is proved here that there do exist discontinuous translation-invariant linear forms on the Banach spaces l₁(Z) and L¹(R), and on the Hibert spaces L²(D) and L²(R). Here Z denotes the additive group of the integers, D denotes the totally disconnected compact Abelian Cantor discontinuum group, and R denotes the additive group of the real numbers. The proofs divide into two parts: A general criterion (Theorem 1) and proofs that the spaces l₁(Z), L²(D), L²(R), and L¹(R) satisfy this criterion (Theorems 2, 3, 4, and 5, respectively).     

Ideal structure of Beurling algebras on [FC]− groups

It is proved that for an [FC]^? group G, the Beurling algebra L_ω¹(G) is 1-regular if and only if ω is non-quasianalytic. As an application the Wiener property is deduced. Further for a σ-compact [FD]^? group G, points in Prim₁L_ω¹(G) are shown to be spectral provided that ω satisfies Shilov's conditions.     

On the space of subgroups of a compact group II

Let G be a compact group. Let S(G), C(G), N(G) be the spaces of closed subgroups, cosets of closed subgroups, normal closed subgroups (respectively) of G, with the Vietoris topology.Then: (1) S(G) and C(G) are never connected; (2) N(G) is always totally disconnected; (3) C(G) is totally disconnected if and only if G is totally disconnected; and (4) S(G) is totally disconnected if and only if G/Z(G) is totally disconnected.Further: for totally disconnected G (equivalently, profinite G) (5) S(G), C(G) and N(G) are κ-metrisable; (6) S(G), C(G) and N(G) are Dugundji compact if G has small weight; and (7) consequences for field extensions are derived.     

Estimation of the L p -norms of stress functions for finitely connected plane domains

Let u(x, G) be the classical stress function of a finitely connected plane domain G. The isoperimetric properties of the L ^p -norms of u(x, G) are studied. Payne’s inequality for simply connected domains is generalized to finitely connected domains. It is proved that the L ^p -norms of the functions u(x, G) and u ^?1 (x, G) strictly decrease with respect to the parameter p, and a sharp bound for the rate of decrease of the L ^p -norms of these functions in terms of the corresponding L ^p -norms of the stress function for an annulus is obtained. A new integral inequality for the L ^p -norms of u(x, G), which is an analog of the inequality obtained by F. G. Avkhadiev and the author for the L ^p -norm of conformal radii, is proved.     

Group-valued continuous functions with the topology of pointwise convergence

Let G be a topological group with the identity element e. Given a space X, we denote by Cp(X,G) the group of all continuous functions from X to G endowed with the topology of pointwise convergence, and we say that X is: (a) G-regular if, for each closed set F⊆X and every point x∈X?F, there exist f∈Cp(X,G) and g∈G?{e} such that f(x)=g and f(F)⊆{e}; (b) G^?-regular provided that there exists g∈G?{e} such that, for each closed set F⊆X and every point x∈X?F, one can find f∈Cp(X,G) with f(x)=g and f(F)⊆{e}. Spaces X and Y are G-equivalent provided that the topological groups Cp(X,G) and Cp(Y,G) are topologically isomorphic.We investigate which topological properties are preserved by G-equivalence, with a special emphasis being placed on characterizing topological properties of X in terms of those of Cp(X,G). Since R-equivalence coincides with l-equivalence, this line of research “includes” major topics of the classical Cp-theory of Arhangel'ski? as a particular case (when G=R).We introduce a new class of TAP groups that contains all groups having no small subgroups (NSS groups). We prove that: (i) for a given NSS group G, a G-regular space X is pseudocompact if and only if Cp(X,G) is TAP, and (ii) for a metrizable NSS group G, a G^?-regular space X is compact if and only if Cp(X,G) is a TAP group of countable tightness. In particular, a Tychonoff space X is pseudocompact (compact) if and only if Cp(X,R) is a TAP group (of countable tightness). Demonstrating the limits of the result in (i), we give an example of a precompact TAP group G and a G-regular countably compact space X such that Cp(X,G) is not TAP.We show that Tychonoff spaces X and Y are T-equivalent if and only if their free precompact Abelian groups are topologically isomorphic, where T stays for the quotient group R/Z. As a corollary, we obtain that T-equivalence implies G-equivalence for every Abelian precompact group G. We establish that T-equivalence preserves the following topological properties: compactness, pseudocompactness, σ-compactness, the property of being a Lindelöf Σ-space, the property of being a compact metrizable space, the (finite) number of connected components, connectedness, total disconnectedness. An example of R-equivalent (that is, l-equivalent) spaces that are not T-equivalent is constructed.     

On n-Hamiltonian line graphs

With each nonempty graph G one can associate a graph L(G), called the line graph of G, with the property that there exists a one-to-one correspondence between E(G) and V(L(G)) such that two vertices of L(G) are adjacent if and only if the corresponding edges of G are adjacent. For integers m ≥ 2, the mth iterated line graph L^m(G) of G is defined to be L(L^m-1(G)). A graph G of order p ≥ 3 is n-Hamiltonian, 0 ≤ n ≤ p ? 3, if the removal of any k vertices, 0 ≤ k ≤ n, results in a Hamiltonian graph. It is shown that if G is a connected graph with δ(G) ≥ 3, where δ(G) denotes the minimum degree of G, then L²(G) is (δ(G) ? 3)-Hamiltonian. Furthermore, if G is 2-connected and δ(G) ≥ 4, then L²(G) is (2δ(G) ? 4)-Hamiltonian. For a connected graph G which is neither a path, a cycle, nor the graph K(1, 3) and for any positive integer n, the existence of an integer k such that L^m(G) is n-Hamiltonian for every m ≥ k is exhibited. Then, for the special case n = 1, bounds on (and, in some cases, the exact value of) the smallest such integer k are determined for various classes of graphs.     

Hamiltonian connectedness in 3-connected line graphs

We investigate graphs G such that the line graph L(G) is hamiltonian connected if and only if L(G) is 3-connected, and prove that if each 3-edge-cut contains an edge lying in a short cycle of G, then L(G) has the above mentioned property. Our result extends Kriesell’s recent result in [M. Kriesell, All 4-connected line graphs of claw free graphs are hamiltonian-connected, J. Combin. Theory Ser. B 82 (2001) 306-315] that every 4-connected line graph of a claw free graph is hamiltonian connected. Another application of our main result shows that if L(G) does not have an hourglass (a graph isomorphic to K₅−E(C₄), where C₄ is an cycle of length 4 in K₅) as an induced subgraph, and if every 3-cut of L(G) is not independent, then L(G) is hamiltonian connected if and only if κ(L(G))≥3, which extends a recent result by Kriesell [M. Kriesell, All 4-connected line graphs of claw free graphs are hamiltonian-connected, J. Combin. Theory Ser. B 82 (2001) 306-315] that every 4-connected hourglass free line graph is hamiltonian connected.     

Tetravalent Edge-transitive Cayley Graphs of PGL （2, p）

t Let F = Cay（G, S）, R（G） be the right regular representation of G. The graph Г is called normal with respect to G, if R（G） is normal in the full automorphism group Aut（F） of F. Г is called a bi-normal with respect to G if R（G） is not normal in Aut（Г）, but R（G） contains a subgroup of index 2 which is normal in Aut（F）. In this paper, we prove that connected tetravalent edge-transitive Cayley graphs on PGL（2,p） are either normal or bi-normal when p ≠ 11 is a prime.     

Some results on R 2-edge-connectivity of even regular graphs

Let G be a connected k(≥3)-regular graph with girth g. A set S of the edges in G is called an Rredge-cut if G-S is disconnected and comains neither an isolated vertex nor a one-degree vertex. The R2-edge-connectivity of G, denoted by λ^n(G), is the minimum cardinality over all R2-edge-cuts, which is an important measure for fault-tolerance of computer interconnection networks. In this paper, λ^n(G)=g(2k-2) for any 2k-regular connected graph G (≠K5) that is either edge-transitive or vertex-transitive and g≥5 is given.     

Derived space of L p (G, H)

Let G denote a locally compact abelian group and H a separable Hilbert space. Let L _p (G, H), 1 ≤ p < ∞, be the space of H-valued measurable functions which are in the usual L _p space. Motivated by the work of Helgason [1], Figa-Talamanca [11] and Bachelis [2, 3], we have defined the derived space of the Banach space L _p (G, H) and have studied its properties. Similar to the scalar case, we prove that if G is a noncompact, locally compact abelian group, then L _p ⁰ (G, H) = {0} holds for 1 ≤ p < 2. Let G be a compact abelian group and Γ be its dual group. Let S _p (G, H) be the L ₁(G) Banach module of functions in L _p (G, H) having unconditionally convergent Fourier series in L _p -norm. We show that S _p (G, H) coincides with the derived space L _p ⁰ (G, H), as in the scalar valued case. We also show that if G is compact and abelian, then L _p ⁰ (G, H) = L ₂(G, H) holds for 1 ≤ p ≤ 2. Thus, if F ∈ L _p (G, H), 1 ≤ p < 2 and F has an unconditionally convergent Fourier series in L _p -norm, then F ∈ L ₂(G, H). Let Ω be the set of all functions on Γ taking only the values 1, ?1 and Ω* be the set of all complex-valued functions on Γ having absolute value 1. As an application of the derived space L _p ⁰ (G, H), we prove the following main result of this paper. Let G be a compact abelian group and F be an H-valued function on the dual group Γ such that $$ \sum \omega (\gamma )F(\gamma )\gamma $$ is a Fourier-Stieltjes series of some measure µ ∈ M(G, H) for every scalar function ω such that |ω(γ)| = 1. Then F ∈ l ²(Γ, H).     

Sphericity, cubicity, and edge clique covers of graphs

The sphericity sph(G) of a graph G is the minimum dimension d for which G is the intersection graph of a family of congruent spheres in R^d. The edge clique cover number θ(G) is the minimum cardinality of a set of cliques (complete subgraphs) that covers all edges of G. We prove that if G has at least one edge, then sph(G)?θ(G). Our upper bound remains valid for intersection graphs defined by balls in the L_p-norm for 1?p?∞.     

Thompson’s conjecture for alternating group of degree 22

For a finite group G, it is denoted by N(G) the set of conjugacy class sizes of G. In 1980s, J. G. Thompson posed the following conjecture: if L is a finite nonabelian simple group, G is a finite group with trivial center, and N(G) = N(L), then L and G are isomorphic. In this paper, it is proved that Thompson’s conjecture is true for the alternating group A ₂₂ with connected prime graph.     

γ-Bounded representations of amenable groups

Let G be an amenable group, let X be a Banach space and let π:G→B(X) be a bounded representation. We show that if the set is γ-bounded then π extends to a bounded homomorphism w:C^∗(G)→B(X) on the group C^∗-algebra of G. Moreover w is necessarily γ-bounded. This extends to the Banach space setting a theorem of Day and Dixmier saying that any bounded representation of an amenable group on Hilbert space is unitarizable. We obtain additional results and complements when G=Z, R or T, and/or when X has property (α).     

Spaces of maps into topological group with the Whitney topology

Let X be a locally compact Polish space and G a non-discrete Polish ANR group. By C(X,G), we denote the topological group of all continuous maps endowed with the Whitney (graph) topology and by Cc(X,G) the subgroup consisting of all maps with compact support. It is known that if X is compact and non-discrete then the space C(X,G) is an l₂-manifold. In this article we show that if X is non-compact and not end-discrete then Cc(X,G) is an (R^∞×l₂)-manifold, and moreover the pair (C(X,G),Cc(X,G)) is locally homeomorphic to the pair of the box and the small box powers of l₂.     

Control problems governed by Sobolev partial differential equations

Let G be a bounded subset of Rⁿ with a smooth boundary and Q = G × (0, T]. We consider a control problem governed by the Sobolev initial-value problem My_t(u) + Ly(u) = u in L²(Q), y(·, 0; u) = 0 in L₂(G), where M = M(x) and L = L(x) are symmetric uniformly strongly elliptic operators of orders 2m and 2l, respectively. The problem is to find the control u₀ of L²(Q)-norm at most b that steers to within a prescribed tolerance ? of a given function Z in L²(G) and that minimizes a certain energy functional. Our main results establish regularity properties of u₀. We also give results concerning the existence and uniqueness of the optimal control, the controllability of Sobolev initial-value problems, and properties of the Lagrange multipliers associated with the problem constraints.