On Automorphism-Fixed Subgroups of a Free Group

Let F be a finitely generated free group, and let n denote its rank. A subgroup H of F is said to be automorphism-fixed, or auto-fixed for short, if there exists a set S of automorphisms of F such that H is precisely the set of elements fixed by every element of S; similarly, H is 1-auto-fixed if there exists a single automorphism of F whose set of fixed elements is precisely H. We show that each auto-fixed subgroup of F is a free factor of a 1-auto-fixed subgroup of F. We show also that if (and only if) n ≥ 3, then there exist free factors of 1-auto-fixed subgroups of F which are not auto-fixed subgroups of F. A 1-auto-fixed subgroup H of F has rank at most n, by the Bestvina–Handel Theorem, and if H has rank exactly n, then H is said to be a maximum-rank 1-auto-fixed subgroup of F, and similarly for auto-fixed subgroups. Hence a maximum-rank auto-fixed subgroup of F is a (maximum-rank) 1-auto-fixed subgroup of F. We further prove that if H is a maximum-rank 1-auto-fixed subgroup of F, then the group of automorphisms of F which fix every element of H is free abelain of rank at most n − 1. All of our results apply also to endomorphisms.     

A new approach to Matsumoto's theorem

We give a proof of Matsumoto's theorem on K ₂ of a field using techniques from homological algebra. By considering a complex associated to the action of GL(2, F) on P ₁(F) (F a field), we derive the Matsumoto presentation for H ₀ (F ^., H ₂(SL(2, F))) and, by considering the action of GL(n + 1, F) on P ⁿ (F), we prove the stability part of the theorem; namely, that H ₀(F ^., H ₂(SL(2, F))) is isomorphic to H ₂(SL(F)) = K ₂(F).     

Complementing a finite subgroup of a hyperbolic group by a free factor

We give necessary and sufficient conditions for a finite subgroup H of a hyperbolic group G to contain a free subgroup F of rank two in G such that F and H generate a free product F ∗ H. A verification algorithm for these conditions is pointed out.     

Linear groups with minimality condition for some infinite-dimensional subgroups

Let F be a field, let A be a vector space over F, and let GL(F, A) be the group of all automorphisms of the space A. If H is a subgroup of GL(F, A), then we set aug dim_F (H) = dim_F (A(ωFH)), where ωFH is the augmentation ideal of the group ring FH. The number aug dim_F (H) is called the augmentation dimension of the subgroup H. In the present paper, we study locally solvable linear groups with minimality condition for subgroups of infinite augmentation dimension. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 57, No. 11, pp. 1476–1489, November, 2005.     

Fitting Height of a Finite Group with a Metabelian Group of Automorphisms

Let M = FH be a finite group that is a product of a normal abelian subgroup F and an abelian subgroup H. Assume that all elements in M?F have prime order p, and F has at most one subgroup of order p. Examples of such groups are dihedral groups for p = 2 and the semidirect product of a cyclic group F by a group H of prime order p such that C _F (H) = 1 or |C _F (H)| =p and C _{F/C F (H)}(H) = 1. Suppose that M acts on a finite group G in such a manner that C _G (F) = 1. We prove that the Fitting height h(G) of G is at most h(C _G (H))+ 1. Moreover, the Fitting series of C _G (H) coincides with the intersection of C _G (H) with the Fitting series of G.     

Graphs with the balas—uhry property

We characterize graphs H with the following property: Let G be a graph and F be a subgraph of G such that (i) each component of F is isomorphic to H or K₂, (ii) the order of F is maximum, and (iii) the number of H-components in F is minimum subject to (ii). Then a maximum matching of F is also a maximum matching of G. This result is motivated by an analogous property of fractional matchings discovered independently by J. P. Uhry and E. Balas.     

Gantmacher Type Theorems for Holomorphic Mappings

Given a holomorphic mapping of bounded type g ∈ H_b(U, F), where U ? E is a balanced open subset, and E, F are complex Banach spaces, let A : H_b(F) ∈ H_b(U) be the homomorphism defined by A(f) = fog for all f ∈ H_b(F). We prove that: (a) for F having the Dunford-Pettis property, A is weakly compact if and only if g is weakly compact; (b) A is completely continuous if and only if g(W) is a Dunford-Pettis set for every U-bounded subset W ? U. To obtain these results, we prove that the class of Dunford - Pettis sets is stable under projecti ve tensor products. Moreover, we diaracterize the reflexivity of the space H_b(U,F) and prove that E' and F have the Schur property if and only if H_b(U, F) has the Schur property. As an application, we obtain some results on linearization of holomorphic mappings.     

Propagation Properties for Schrödinger Operators Affiliated with Certain C*-Algebras

We consider anisotropic Schrödinger operators H = -D + V H = -{\Delta} + V in L²(\mathbbRⁿ) L^{2}(\mathbb{R}^n) . To certain asymptotic regions F we assign asymptotic Hamiltonians H_F such that (a) s(H_F) ì s_ess(H) \sigma(H_F) \subset \sigma_{\textrm{ess}}(H) , (b) states with energies not belonging to s(H_F) \sigma(H_F) do not propagate into a neighbourhood of F under the evolution group defined by H. The proof relies on C*-algebra techniques. We can treat in particular potentials that tend asymptotically to different periodic functions in different cones, potentials with oscillation that decays at infinity, as well as some examples considered before by Davies and Simon in [4].     

On indecomposable trees in the boundary of outer space

Let T be an \mathbbR{\mathbb{R}}-tree, equipped with a very small action of the rank n free group F _n , and let H ≤ F _n be finitely generated. We consider the case where the action F_n \curvearrowright T{F_n \curvearrowright T} is indecomposable–this is a strong mixing property introduced by Guirardel. In this case, we show that the action of H on its minimal invarinat subtree T _H has dense orbits if and only if H is finite index in F _n . There is an interesting application to dual algebraic laminations; we show that for T free and indecomposable and for H ≤ F _n finitely generated, H carries a leaf of the dual lamination of T if and only if H is finite index in F _n . This generalizes a result of Bestvina-Feighn-Handel regarding stable trees of fully irreducible automorphisms.     

Frames and their associated $\emph{H}_{{\kern-2pt}\emph{F}}^{\emph{p}}$-subspaces

Given a frame F = {f _j } for a separable Hilbert space H, we introduce the linear subspace H^p_FH^{p}_{F} of H consisting of elements whose frame coefficient sequences belong to the ℓ ^p -space, where 1 ≤ p < 2. Our focus is on the general theory of these spaces, and we investigate different aspects of these spaces in relation to reconstructions, p-frames, realizations and dilations. In particular we show that for closed linear subspaces of H, only finite dimensional ones can be realized as H^p_FH^{p}_{F}-spaces for some frame F. We also prove that with a mild decay condition on the frame F the frame expansion of any element in H_F^pH_{F}^{p} converges in both the Hilbert space norm and the ||·|| _{F, p} -norm which is induced by the ℓ ^p -norm.     

On the algebraic independence in the selberg class

We prove that a functionF of the Selberg class ℐ is ab-th power in ℐ, i.e.,F=H ^b for someHσ ℐ, if and only ifb divides the order of every zero ofF and of everyp-componentF _p. This implies that the equationF ^a=G^b with (a, b)=1 has the unique solutionF=H ^b andG=H ^a in ℐ. As a consequence, we prove that ifF andG are distinct primitive elements of ℐ, then the transcendence degree of ℂ[F,G] over ℂ is two.     

Relative cohomology of polynomial mappings

 Let F be a polynomial mapping from ℂ ⁿ to ℂ ^q with n>q. We study the De Rham cohomology of its fibres and its relative cohomology groups, by introducing a special fibre F ⁻¹(∞) ``at infinity' and its cohomology. Let us fix a weighted homogeneous degree on with strictly positive weights. The fibre at infinity is the zero set of the leading terms of the coordinate functions of F. We introduce the cohomology groups H ^k (F ⁻¹(∞)) of F at infinity. These groups enable us to compute all the other cohomology groups of F. For instance, if the fibre at infinity has an isolated singularity at the origin, we prove that every weighted homogeneous basis of H ^n−q (F ⁻¹ (∞)) is a basis of all the groups H ^n−q (F ⁻¹(y)) and also a basis of the (n−q) ^th relative cohomology group of F. Moreover the dimension of H ^n−q (F ⁻¹(∞)) is given by a global Milnor number of F, which only depends on the leading terms of the coordinate functions of F. Received: 12 February 2002 / Revised version: 25 May 2002 Published online: 3 March 2003     

Classification of the isomorphic types of martingale-H 1 spaces

LetF _n be an increasing sequence of finite fields on a probability space (Ω,F _n,P) whereF denotes the σ-algebra generated by ∪F _n. ThenF _n is isomorphic to one of the following spaces:H ¹(δ), ΣH _n ¹ ,l ^l.     

Dynamical Systems Method of gradient type for solving nonlinear equations with monotone operators

A version of the Dynamical Systems Method (DSM) of gradient type for solving equation F(u)=f where F:H→H is a monotone Fréchet differentiable operator in a Hilbert space H is studied in this paper. A discrepancy principle is proposed and the convergence to the minimal-norm solution is justified. Based on the DSM an iterative scheme is formulated and the convergence of this scheme to the minimal-norm solution is proved.     

An Operation Connected to a Young-Type Inequality

Given two φ-functions F and G we consider the largest φ-function H = F ⊕ G such that the Young-type inequality H(xy) ? F(x) + G(y) holds for all x, y > 0. We prove an equivalence theorem for F ⊕ G with the best constants and, for the special case when F and G are log-convex and satisfy a certain growth condition, a representation formula for F G. Moreover, further properties and examples are presented and the relations to similar results are discussed.     

Algebraic characterization of isometries of the complex and the quaternionic hyperbolic planes

Let H²_{\mathbb F}{{\bf H}^{\bf 2}_{\mathbb F}} denote the two dimensional hyperbolic space over \mathbb F{\mathbb F} , where \mathbb F{\mathbb F} is either the complex numbers \mathbb C{\mathbb C} or the quaternions \mathbb H{\mathbb H} . It is of interest to characterize algebraically the dynamical types of isometries of H²_{\mathbb F}{{\bf H}^{\bf 2}_{\mathbb F}} . For \mathbb F=\mathbb C{\mathbb F=\mathbb C} , such a characterization is known from the work of Giraud–Goldman. In this paper, we offer an algebraic characterization of isometries of H²_{\mathbb H}{{\bf H}^{\bf 2}_{\mathbb H}} . Our result restricts to the case \mathbb F=\mathbb C{\mathbb F=\mathbb C} and provides another characterization of the isometries of H²_{\mathbb C}{{\bf H}^{\bf 2}_{\mathbb C}} , which is different from the characterization due to Giraud–Goldman. Two elements in a group G are said to be in the same z-class if their centralizers are conjugate in G. The z-classes provide a finite partition of the isometry group. In this paper, we describe the centralizers of isometries of H²_{\mathbb F}{{\bf H}^{\bf 2}_{\mathbb F}} and determine the z-classes.     

F-Continuous Graphs

For a nontrivial connected graph F, the F-degree of a vertex in a graph G is the number of copies of F in G containing . A graph G is F-continuous (or F-degree continuous) if the F-degrees of every two adjacent vertices of G differ by at most 1. All P₃-continuous graphs are determined. It is observed that if G is a nontrivial connected graph that is F-continuous for all nontrivial connected graphs F, then either G is regular or G is a path. In the case of a 2-connected graph F, however, there always exists a regular graph that is not F-continuous. It is also shown that for every graph H and every 2-connected graph F, there exists an F-continuous graph G containing H as an induced subgraph.     

The quaternion matrix equation ΣA i XB i =E

LetH _F be the generalized quaternion division algebra over a fieldF with charF#2. In this paper, the adjoint matrix of anyn×n matrix overH _F [γ] is defined and its properties is discussed. By using the adjoint matrix and the method of representation matrix, this paper obtains several necessary and sufficient conditions for the existence of a solution or a unique solution to the matrix equation Σ _i=0 ^k A ⁱ XB _i =E overH _F , and gives some explicit formulas of solutions. Supported by the National Natural Science Foundation of China and Human     

Nilpotent Length of a Finite Solvable Group with a Frobenius Group of Automorphisms

We prove that a finite solvable group G admitting a Frobenius group FH of automorphisms of coprime order with kernel F and complement H such that [G, F] = G and C _{C G (F)}(h) = 1 for all nonidentity elements h ∈ H, is of nilpotent length equal to the nilpotent length of the subgroup of fixed points of H.     

C*-index of observable algebras in <Emphasis Type="Italic">G</Emphasis>-spin model

In two-dimensional lattice spin systems in which the spins take values in a finite group G, one can define a field algebra F which carries an action of a Hopf algebra D(G), the double algebra of G and moreover, an action of D(G;H), which is a subalgebra of D(G) determined by a subgroup H of G, so that F becomes a modular algebra. The concrete construction of D(G;H)-invariant subspace A _H in F is given. By constructing the quasi-basis of conditional expectation γ _G of A _H onto A _G , the C*-index of γ _G is exactly the index of H in G.