Über Gruppen Von Iterativen Wurzeln Der Formalen Potenzreihe F(x) = x

Let ?¦x¦ be the ring of formal power series in one indeterminate x over ?, denote by Γ the group of invertible series in ?¦x¦, and by E_Γ the set of all iterative roots of x in Γ. Then we will show that E_Γ is neither a subgroup of Γ nor a family of commuting series. We describe all subgroups of Γ lying in E_Γ, they are abelian and isomorphic to subgroups of the group E of complex roots of unity. Furthermore we determine the maximal subgroups of Γ in E{Γ} and use them to investigate how the subgroups in E _I are related.     

Uniqueness of highly representative surface embeddings

Let Σ be a (connected) surface of “complexity” κ; that is, Σ may be obtained from a sphere by adding either ½κ handles or κ crosscaps. Let ρ ≥ 0 be an integer, and let Γ be a “ρ-representative drawing” in Σ; that is, a drawing of a graph in Σ so that every simple closed curve in Σ that meets the drawing in < ρ points bounds a disc in Σ. Now let Γ′ be another drawing, in another surface Σ′ of complexity κ′, so that Γ and Γ′ are isomorphic as abstract graphs. We prove that. (i) If ρ ≥ 100 log κ/ log log κ (or ρ ≥ 100 if κ ≤ 2) then κ′ ≥ κ, and if κ′ = κ and Γ is simple and 3-connected there is a homeomorphism from Σ to Σ′ taking Γ to Γ′, and. (ii) if Γ is simple and 3-connected and Γ′ is 3-representative, and ρ ≥ min (320, 5 log κ), then either there is a homeomorphism from Σ to Σ′ taking Γ to Γ′, or κ′ ≥ κ + 10^-4 ρ². © 1996 John Wiley & Sons, Inc.     

Die Fundamental Gruppen Siegelscher Modul Varietäten

Let Γ be a subgroup of finite index of Siegels modular group Γ_g = Sp(g,Z) and Y(Γ) a proper modification of the Satake compactification (S_g/Γ)^* of Siegels modular space S_g/Γ of degree g≧2. It will be shown that Y(Γ) is simply connected for all principal congruence subgroups Γ = Γ_g(λ). Moreover the fundamental group of Y is always finite. These results are based on J. Mennickes work showing that Γ_g(λ) is the normal hull in Γ_g of a single matrix μ_g(λ). Secondly it will be proved that for g=2,3 and λ≧3 this fact is even equivalent to the simply connectedness of any desingularisation of (Sg/Γ_g(λ)).     

Infinite Components of An Auslander-Reiten Quiver with Finite DTr-Orbits

Abstract

Let A be a basic connected finite dimensional algebra over an algebraically closed field. We show that if Γ is an infinite connected component of the Auslander-Reiten quiver Γ_A of A in which each Γ_A-orbit contains only finitely many vertices, then the number of indecomposable direct summands of the middle term of any mesh, whose starting vertex belongs to the infinite stable part of Γ, is less than or equal to 3. Moreover, if the nonstable vertices belong to τ_A-orbits of exceptional projectives in Γ, then Γ can be obtained from a stable tube by a finite number of multiple coray-ray insertions of type α?γ and multiple coray-ray insertions of type α?γ.     

Hochschild Cohomology Ring of an Order of a Simple Component of the Rational Group Ring of the Generalized Quaternion Group

We will give an efficient bimodule projective resolution of an order Γ, where Γ is an order of a simple component of the rational group ring ? Q _{2 ^r} of the generalized quaternion 2-group Q _{2 ^r} of order 2 ^r+2. Moreover, we will determine the ring structure of the Hochschild cohomology HH*(Γ) by calculating the Yoneda products using this bimodule projective resolution.     

Locally petersen graphs

A graph Γ is locally Petersen if, for each point t of Γ, the graph induced by Γ on all points adjacent to t is isomorphic to the Petersen graph. We prove that there are exactly three isomorphism classes of connected, locally Petersen graphs and further characterize these graphs by certain of their parameters.     

On splitting theorems for CAT(0) spaces and compact geodesic spaces of non-positive curvature

In this paper, we show some splitting theorems for CAT(0) spaces on which a product group acts geometrically and we obtain a splitting theorem for compact geodesic spaces of non-positive curvature. A CAT(0) group Γ is said to be rigid, if Γ determines its boundary up to homeomorphisms of a CAT(0) space on which Γ acts geometrically. C. Croke and B. Kleiner have constructed a non-rigid CAT(0) group. As an application of the splitting theorems for CAT(0) spaces, we obtain that if Γ₁ and Γ₂ are rigid CAT(0) groups then so is Γ₁ × Γ₂.     

Local boundary regularity of holomorphic mappings

Let f be a holomorphic mapping between two bounded domains D and D' in complex space ?ⁿ. Suppose that D and D' contain smooth real hypersurfaces Γ and Γ′ as open subsets of their respective boundaries, which correspond under a continuous extension of f. We shall show that this extension is smooth, given certain restrictions on Γ, Γ, and f.     

Constructing irreducible representations of discrete groups

The decomposition of unitary representations of a discrete group obtained by induction from a subgroup involves commensurators. In particular Mackey has shown that quasi-regular representations are irreducible if and only if the corresponding subgroups are self-commensurizing. The purpose of this work is to describe general constructions of pairs of groups Γ₀ with Γ its own commensurator in Γ. These constructions are then applied to groups of isometries of hyperbolic spaces and to lattices in algebraic groups.     

Limits of translates of divergent geodesics and integral points on one-sheeted hyperboloids

For any non-uniform lattice Γ in SL₂(?), we describe the limit distribution of orthogonal translates of a divergent geodesic in Γ\SL₂(?). As an application, for a quadratic form Q of signature (2, 1), a lattice Γ in its isometry group, and v ₀ ∈ ?³ with Q(v ₀) > 0, we compute the asymptotic (with a logarithmic error term) of the number of points in a discrete orbit v ₀Γ of norm at most T, when the stabilizer of v ₀ in Γ is finite. Our result in particular implies that for any non-zero integer d, the smoothed count for the number of integral binary quadratic forms with discriminant d ² and with coefficients bounded by T is asymptotic to c · T log T + O(T).     

Fibered groups with non-trivial centers

Let (G, F) be a fibered group and let Γ be a semigroup of endomorphisms of G such that {id.}? Γ and σ(A) ? A for σ ∈Γ, A ∈F. In this paper we investigate the structure of fibered groups (G, F, Γ) which have a non-trivial center. We start with general considerations and conclude with the construction of a large class of examples. In the situation in which Γ ≠{id.} much structure can be obtained. In particular, when G is a finite group G is a p-group and in many cases also of exponent p.     

The Fourier transform of Herz spaces on certain groups

LetG be a locally compact abelian topological group containing a suitable sequence of compact open subgroups and let Γ be its dual group. LetK (α,p, q; G) andK (α,p, q; Γ) denote the so-called Herz spaces onG and Γ, respectively. In this paper we shall prove that for 1<p≤2 and 0≤α<1/p′=1?1/p, the Fourier transform mapsK (α,p, p; G) continuously intoK (?α,p′, 2; Γ). The proof requires two results that are of independent interest: an extension of the Hausdorff-Young inequality to certain weightedL _p-spaces onG and a Littlewood-Paley theorem for certain weightedL _p-spaces onG.     

Intriguing Sets of Points of Q(2n, 2) \Q +(2n ? 1, 2)

Intriguing sets of vertices have been studied for several classes of strongly regular graphs. In the present paper, we study intriguing sets for the graphs Γ _n , n ≥ 2, which are defined as follows. Suppose Q(2n, 2), n?≥ 2, is a nonsingular parabolic quadric of PG(2n, 2) and Q ⁺(2n ? 1, 2) is a nonsingular hyperbolic quadric obtained by intersecting Q(2n, 2) with a suitable nontangent hyperplane. Then the collinearity relation of Q(2n, 2) defines a strongly regular graph Γ _n on the set Q(2n, 2) \ Q ⁺(2n ? 1, 2). We describe some classes of intriguing sets of Γ _n and classify all intriguing sets of Γ₂ and Γ₃.     

Probing for electrical inclusions with complex spherical waves

Let a physical body Ω in ?² or ?³ be given. Assume that the electric conductivity distribution inside Ω consists of conductive inclusions in a known smooth background. Further, assume that a subset Γ ? ?Ω is available for boundary measurements. It is proved using hyperbolic geometry that certain information about the location of the inclusions can be exactly recovered from static electric measurements on Γ. More precisely: given a ball B with center outside the convex hull of Ω and satisfying (B? ∩ ?Ω) ? Γ, boundary measurements on Γ with explicitly given Dirichlet data are enough to determine whether B intersects the inclusion. An approximate detection algorithm is introduced based on the theory. Numerical experiments in dimension two with simulated noisy data suggest that the algorithm finds the inclusion‐free domain near Γ and is robust against measurement noise. © 2007 Wiley Periodicals, Inc.     

Invariant random subgroups of linear groups

Let Γ < GL _n (_F) be a countable non-amenable linear group with a simple, center free Zariski closure. Let Sub(Γ) denote the space of all subgroups of Γ with the compact, metric, Chabauty topology. An invariant random subgroup (IRS) of Γ is a conjugation invariant Borel probability measure on Sub(Γ). An IRS is called non-trivial if it does not have an atom in the trivial group, i.e. if it is non-trivial almost surely. We denote by IRS⁰(Γ) the collection of all non-trivial IRS on Γ.

Theorem 0.1: With the above notation, there exists a free subgroup F < Γ and a non-discrete group topology on Γ such that for every μ ∈ IRS⁰(Γ) the following properties hold:

μ-almost every subgroup of Γ is open

• F ·Δ = Γ for μ-almost every Δ ∈ Sub(Γ).
• F ∩ Δ is infinitely generated, for every open subgroup. In particular, this holds for μ-almost every Δ ∈ Sub(Γ).
• The map

Φ: (Sub(Γ), μ) → (Sub(F),Φ*μ) Δ → Δ ∩ F is an F-invariant isomorphism of probability spaces.A more technical version of this theorem is valid for general countable linear groups. We say that an action of Γ on a probability space, by measure preserving transformations, is almost surely non-free (ASNF) if almost all point stabilizers are non-trivial.Corollary 0.2: Let Γ be as in the Theorem above. Then the product of finitely many ASNF Γ-spaces, with the diagonal Γ action, is ASNF.Corollary 0.3: Let Γ < GL_n(F) be a countable linear group, A Δ Γ the maximal normal amenable subgroup of Γ — its amenable radical. If μ ∈ IRS(Γ) is supported on amenable subgroups of Γ, then in fact it is supported on Sub(A). In particular, if A(Γ) = <e> then Δ = <e>, μ almost surely.     

Martin boundaries of random walks on Fuchsian groups

Let Γ be a finitely generated non-elementary Fuchsian group, and let μ be a probability measure with finite support on Γ such that supp μ generates Γ as a semigroup. If Γ contains no parabolic elements we show that for all but a small number of co-compact Γ, the Martin boundaryM of the random walk on Γ with distribution μ can be identified with the limit set Λ of Γ. If Γ has cusps, we prove that Γ can be deformed into a group Γ', abstractly isomorphic to Γ, such thatM can be identified with Λ', the limit set of Γ'. Our method uses the identification of Λ with a certain set of infinite reduced words in the generators of Γ described in [15]. The harmonic measure ν (ν is the hitting distribution of random paths in Γ on Λ) is a Gibbs measure on this space of infinite words, and the Poisson boundary of Γ, μ can be identified with Λ, ν.     

Homogeneoys graphs

Let Γ be a finite graph with vertex set VΓ, and let U, V be arbitrary subsets of VΓ. Γ is homogeneoys (resp. ultrahomogeneous) if whenever the induced subgraphs 〈U〉, 〈V〉 are isomorphic, some isomorphism (resp. every isomorphism) of 〈U〉 onto 〈V〉 extends to an automorphism of Γ. We extend a theorem of Sheehan on ultrahomogeneous graphs to the homogeneous case, and complete his classification of ultrahomogenous graphs.     

Remarkable valuation of the dichromatic polynomial of planar multigraphs

Let Γ be a finite multigraph; we denote by χ(Γ, x, y) the dichromatic polynominal of Γ, as defined by W. T. Tutte in 1953. We prove that, for any planar multigraph Γ with m edges, χ(Γ, ?1, ?1) = (?1)^m · (?2)^k, where $\text{0 ≤ k ≤}\text{m}\text{2}$. Furthermore, if Γ is connected, s = k ? 1 turns out to be a pertinent invariant of the medial of Γ.     

On approximation of Lie groups by discrete subgroups

A locally compact group G is said to be approximated by discrete subgroups (in the sense of Tôyama) if there is a sequence of discrete subgroups of G that converges to G in the Chabauty topology (or equivalently, in the Vietoris topology). The notion of approximation of Lie groups by discrete subgroups was introduced by Tôyama in Kodai Math. Sem. Rep. 1 (1949) 36–37 and investigated in detail by Kuranishi in Nagoya Math. J. 2 (1951) 63–71. It is known as a theorem of Tôyama that any connected Lie group approximated by discrete subgroups is nilpotent. The converse, in general, does not hold. For example, a connected simply connected nilpotent Lie group is approximated by discrete subgroups if and only if G has a rational structure. On the other hand, if Γ is a discrete uniform subgroup of a connected, simply connected nilpotent Lie group G then G is approximated by discrete subgroups Γ _n containing Γ. The proof of the above result is by induction on the dimension of G, and gives an algorithm for inductively determining Γ _n . The purpose of this paper is to give another proof in which we present an explicit formula for the sequence (Γ _n ) _n?≥?0 in terms of Γ. Several applications are given.     

Cohomology of discontinuous groups

Prasad (1979) proved that the set of all equivalence classes of representationsp of a Fuchsian group Γ whose restrictions to the cyclic subgroups Γ _i -(c _i ) corresponding to the parabolic and elliptic elements of Γ occurring in the structure of Γ, are given, is a complex analytic manifold. In the process the author has proved thatH ¹(X,A)≈P ¹(Γ,ρ) and with suitable notation. This paper gives the corresponding results to the two above mentioned results, when in place of Γ we consider any discontinuous group of Poincare isometries Δ, and when similar assumptions are made.