A Note on the Abelianization Functor

It is well known that the abelianization of a group G can be computed as the cokernel of the diagonal morphism (1_G, 1_G): G → G × G in the category of groups. We generalize this to arbitrary regular subtractive categories, among which are the category of groups, the category of topological groups, and the categories of other group-like structures. We also establish that an abelian category is the same as a regular subtractive category in which every monomorphism is a kernel of some morphism.     

Version kählérienne d'une conjecture de Robert J. Zimmer

Let M be a compact Kähler manifold. Let G be a connected simple real Lie group. Let Γ be a lattice in G. We prove the following: if the R-rank of G is strictly larger than the complex dimension of M any morphism from Γ to the group of holomorphic diffeomorphisms of M has finite image. This is a particular case in a conjecture of Robert J. Zimmer     

Foliations in deformation spaces of local G-shtukas

We study local G-shtukas with level structure over a base scheme whose Newton polygons are constant on the base. We show that after a finite base change and after passing to an étale covering, such a local G-shtuka is isogenous to a completely slope divisible one, generalizing corresponding results for p-divisible groups by Oort and Zink. As an application we establish a product structure up to finite surjective morphism on the closed Newton stratum of the universal deformation of a local G-shtuka, similarly to Oort?s foliations for p-divisible groups and abelian varieties. This also yields bounds on the dimensions of affine Deligne–Lusztig varieties and proves equidimensionality of affine Deligne–Lusztig varieties in the affine Grassmannian.     

Inverse systems of groupoids,with applications to groupoid C⁎-algebras

We define what it means for a proper continuous morphism between groupoids to be Haar system preserving, and show that such a morphism induces (via pullback) a *-morphism between the corresponding convolution algebras. We proceed to provide a plethora of examples of Haar system preserving morphisms and discuss connections to noncommutative CW-complexes and interval algebras. We prove that an inverse system of groupoids with Haar system preserving bonding maps has a limit, and that we get a corresponding direct system of groupoid $C^{?}$-algebras. An explicit construction of an inverse system of groupoids is used to approximate a σ-compact groupoid G by second countable groupoids; if G is equipped with a Haar system and 2-cocycle then so are the approximation groupoids, and the maps in the inverse system are Haar system preserving. As an application of this construction, we show how to easily extend the Maximal Equivalence Theorem of Jean Renault to σ-compact groupoids.     

Orbifold construction for topological field theories

An equivariant topological field theory is defined on a cobordism category of manifolds with principal fiber bundles for a fixed (finite) structure group. We provide a geometric construction which for any given morphism $G?H$ of finite groups assigns in a functorial way to a G-equivariant topological field theory an H-equivariant topological field theory, the pushforward theory. When H is the trivial group, this yields an orbifold construction for G-equivariant topological field theories which unifies and generalizes several known algebraic notions of orbifoldization.     

Descent in ∗ -autonomous categories

We extend the result of Joyal and Tierney asserting that a morphism of commutative algebras in the ∗-autonomous category of sup-lattices is an effective descent morphism for modules if and only if it is pure, to an arbitrary ∗-autonomous category V (in which the tensor unit is projective) by showing that any V-functor out of V is precomonadic if and only if it is comonadic.     

Orbits and invariants of visible group actions

We consider actions G?×?X?→?X of the affine, algebraic group G on the irreducible, affine, variety X. If [k[X] ^G ]?=?[k[X]] ^G we call the action visible. Here [A] denotes the quotient field of the integral domain A. If the action is not visible we construct a G-invariant, birational morphism φ: Z?→?X such that G?×?Z?→?Z is a visible action. We use this to obtain visible open subsets U of X. We also discuss visibility in the presence of other desirable properties: What if G?×?X?→?X is stable? What if there is a semi-invariant f ∈ k[X] such that G?×?X _f ?→?X _f is visible? What if X is locally factorial? What if G is reductive?     

The similarity problem for Fourier algebras and corepresentations of group von Neumann algebras

Let G be a locally compact group, and let A(G) and VN(G) be its Fourier algebra and group von Neumann algebra, respectively. In this paper we consider the similarity problem for A(G): Is every bounded representation of A(G) on a Hilbert space H similar to a *-representation? We show that the similarity problem for A(G) has a negative answer if and only if there is a bounded representation of A(G) which is not completely bounded. For groups with small invariant neighborhoods (i.e. SIN groups) we show that a representation π:A(G)→B(H) is similar to a *-representation if and only if it is completely bounded. This, in particular, implies that corepresentations of VN(G) associated to non-degenerate completely bounded representations of A(G) are similar to unitary corepresentations. We also show that if G is a SIN, maximally almost periodic, or totally disconnected group, then a representation of A(G) is a *-representation if and only if it is a complete contraction. These results partially answer questions posed in Effros and Ruan (2003) [7] and Spronk (2002) [25].     

Solvable Groups Satisfying the Two-Prime Hypothesis II

In this paper, we consider solvable groups that satisfy the two-prime hypothesis. We prove that if G is such a group and G has no nonabelian nilpotent quotients, then |cd G|?≤?462,515. Combining this result with the result from part I, we deduce that if G is any such group, then the same bound holds.     

Graphically abelian groups

We define a group G to be graphically abelian if the function g?g⁻¹ induces an automorphism of every Cayley graph of G. We give equivalent characterizations of graphically abelian groups, note features of the adjacency matrices for Cayley graphs of graphically abelian groups, and show that a non-abelian group G is graphically abelian if and only if G=E×Q, where E is an elementary abelian 2-group and Q is a quaternion group.     

On central difference sets in certain non-abelian 2-groups

In this note, we define the class of finite groups of Suzuki type, which are non-abelian groups of exponent 4 and class 2 with special properties. A group G of Suzuki type with |G|=2^2s always possesses a non-trivial difference set. We show that if s is odd, G possesses a central difference set, whereas if s is even, G has no non-trivial central difference set.     

FAMILIES OF GROUP ACTIONS,GENERIC ISOTRIVIALITY,AND LINEARIZATION

Our base field is the field ? of complex numbers. We study families of reductive group actions on \( {\mathbb A} \) 2 parametrized by curves and show that every faithful action of a non-finite reductive group on \( {\mathbb A} \) 3 is linearizable, i.e., G-isomorphic to a representation of G. The difficulties arise for non-connected groups G. We prove a Generic Equivalence Theorem which says that two affine morphisms ??: S ? Y and q : Τ ? Y of varieties with isomorphic (closed) fibers become isomorphic under a dominant étale base change φ: U ? Y . A special case is the following result. Call a morphism φ: X ? Y a fibration with fiber F if φ is at and all fibers are (reduced and) isomorphic to F. Then an affine fibration with fiber F admits an étale dominant morphism μ: U ? Y such that the pull-back is a trivial fiber bundle: U?×?Y X???U?×?F. As an application we give short proofs of the following two (known) results: (a) Every affine A1-_bration over a normal variety is locally trivial in the Zariskitopology (see [KW85]). (b) Every affine A2-_bration over a smooth curve is locally trivial in the ZariskiTopology (see [KZ01]).     

A Tate cohomology sequence for generalized Burnside rings

We generalize the fundamental theorem for Burnside rings to the mark morphism of plus constructions defined by Boltje. The main observation is the following: If D is a restriction functor for a finite group G, then the mark morphism φ:D₊→D⁺ is the same as the norm map of the Tate cohomology sequence (over conjugation algebra for G) after composing with a suitable isomorphism of D⁺. As a consequence, we obtain an exact sequence of Mackey functors

     

Morphic groups

A group G is called morphic if every endomorphism α:G→G for which Gα is normal in G satisfies G/Gα≅ker(α). This concept originated in a 1976 paper of Gertrude Ehrlich characterizing when the endomorphism ring of a module is unit regular. The concept has been extensively studied in module and ring theory, and this paper investigates the idea in the category of groups. After developing their basic properties, we characterize the morphic groups among the dihedral groups and the groups whose normal subgroups form a finite chain. We investigate when a direct product of morphic groups is again morphic, prove that a finite nilpotent group is morphic if and only if its Sylow subgroups are morphic, and present some results for the case where a p-group is morphic.     

On permuteral subgroups in finite groups

The permutizer of a subgroup H in a group G is defined as the subgroup generated by all cyclic subgroups of G that permute with H. Call H permuteral in G if the permutizer of H in G coincides with G; H is called strongly permuteral in G if the permutizer of H in U coincides with U for every subgroup U of G containing H. We study the finite groups with given systems of permuteral and strongly permuteral subgroups and find some new characterizations of w-supersoluble and supersoluble groups.     

EP morphisms

The concept of an EP matrix is extended to a morphism of a category C with involution. It is shown that an EP morphism has a group inverse iff it has a Moore-Penrose inverse, and in this case the inverses are identical. On the other hand, if a morphism has a Moore-Penrose inverse that is a group inverse, then C is a full subcategory of a category in which φ is EP. Also, if C is an additive category with involution 1 and with 1-biproduct factorization, then a morphism of φ of C is EP iff there is a 1-biproduct J ⊕ K and an invertible morphism θ : J → J such that φ is congruent to a morphism of the form

$\text{θ 0}\text{0 0}\text{: J⊕K → J⊕K.}$

In particular, a square matrix over a principal-ideal domain with involution is EP iff it is congruent to a matrix of the form dg(θ, 0) with θ invertible.     

Two remarks on the first-order theories of Baumslag-Solitar groups

We characterize all finitely generated groups elementarily equivalent to a solvable Baumslag-Solitar group BS(m, 1). It turns out that a finitely generated group G is elementarily equivalent to BS(m, 1) if and only if G is isomorphic to BS(m, 1). Furthermore, we show that two Baumslag-Solitar groups are existentially (universally) equivalent if and only if they are elementarily equivalent if and only if they are isomorphic.     

Tropical hyperelliptic curves

We study the locus of tropical hyperelliptic curves inside the moduli space of tropical curves of genus g. We define a harmonic morphism of metric graphs and prove that a metric graph is hyperelliptic if and only if it admits a harmonic morphism of degree 2 to a metric tree. This generalizes the work of Baker and Norine on combinatorial graphs to the metric case. We then prove that the locus of 2-edge-connected genus g tropical hyperelliptic curves is a (2g?1)-dimensional stacky polyhedral fan whose maximal cells are in bijection with trees on g?1 vertices with maximum valence 3. Finally, we show that the Berkovich skeleton of a classical hyperelliptic plane curve satisfying a certain tropical smoothness condition is a standard ladder of genus g.     

Groups with some arithmetic conditions on real class sizes

Let G be a finite group. An x∈G is a real element if x and x ^?1 are conjugate in G. For x∈G, the conjugacy class x ^G is said to be a real conjugacy class if every element of x ^G is real. We show that if 4 divides no real conjugacy class sizes of a finite group G, then G is solvable. We also study the structure of such groups in detail. This generalizes several results in the literature.     

Isomorphisms,automorphisms, and generalized involution models of projective reflection groups

We investigate the generalized involution models of the projective reflection groups G(r, p, q, n). This family of groups parametrizes all quotients of the complex reflection groups G(r, p, n) by scalar subgroups. Our classification is ultimately incomplete, but we provide several necessary and sufficient conditions for generalized involution models to exist in various cases. In the process we solve several intermediate problems concerning the structure of projective reflection groups. We derive a simple criterion for determining whether two groups G(r, p, q, n) and G(r, p′, q′, n) are isomorphic. We also describe explicitly the form of all automorphisms of G(r, p, q, n), outside a finite list of exceptional cases. Building on prior work, this allows us to prove that G(r, p, 1, n) has a generalized involution model if and only if G(r, p, 1, n) ≌ G(r, 1, p, n). We also classify which groups G(r, p, q, n) have generalized involution models when n = 2, or q is odd, or n is odd.