An upper bound for the representation dimension of group algebras with elementary abelian Sylow p-subgroups

Abstract

In this article, we present an upper bound on the representation dimension of the group algebra of a group with an elementary abelian Sylow p-subgroup. Specifically, if k is a field of characteristic p and G is a group with elementary abelian Sylow p-subgroup P, we prove that the representation dimension of kG is bounded above by the order of P. Key to proving this theorem is the separable equivalence between the two algebras and some nice properties of Mackey decomposition.     

Two remarks on the topology of projective surfaces

We will prove two results about the topology of complex projective surfaces. The first result says that if the Shafarevich Conjecture has an affirmative answer in dimension two then the second homotopy group of a smooth projective surface is a torsion-free abelian group. The second result is that for any 2-dimensional function field K/C there is a normal projective simply-connected surface with function field K.     

On Unitary Extensions of Multiplicative Families of Partial Isometries with a Generating Subspace

We consider a two parameter family of operators on a Hilbert space given by a multiplicative family of partial isometries with a generating subspace that commutes with an unitary group. The first parameter runs on a generalized interval of an abelian ordered group and the second on an abelian group. We show that it can be extended to a two parameter group of unitary operators on a larger Hilbert space. Applications to the problem of extending generalized semigroups of isometries and locally defined positive definite functions are given.     

Conformal vector fields on Kaehler manifolds

It is known that a conformal vector field on a compact Kaehler manifold is a Killing vector field. In this paper, we are interested in finding conditions under which a conformal vector field on a non-compact Kaehler manifold is Killing. First we prove that a harmonic analytic conformal vector field on a 2n-dimensional Kaehler manifold (n ≠ 2) of constant nonzero scalar curvature is Killing. It is also shown that on a 2n-dimensional Kaehler Einstein manifold (n > 1) an analytic conformal vector field is either Killing or else the Kaehler manifold is Ricci flat. In particular, it follows that on non-flat Kaehler Einstein manifolds of dimension greater than two, analytic conformal vector fields are Killing.     

On conformal Killing symmetric tensor fields on Riemannian manifolds

A vector field on Riemannian manifold is called conformal Killing if it generates oneparameter group of conformal transformation. The class of conformal Killing symmetric tensor fields of an arbitrary rank is a natural generalization of the class of conformal Killing vector fields, and appears in different geometric and physical problems. In this paper, we prove that a trace-free conformal Killing tensor field is identically zero if it vanishes on some hypersurface. This statement is a basis of the theorem on decomposition of a symmetric tensor field on a compact manifold with boundary to a sum of three fields of special types. We also establish triviality of the space of trace-free conformal Killing tensor fields on some closed manifolds.     

Hasse-Arf Property and Abelian Extensions

The paper contains discussions of relations between the property of a totally ramified p-extension of a local field to be abelian and the property of its Galois group to possess integer jumps with respect to the upper numbering (Hasse-Arf property). It is shown that such an extension L/F is abelian if and only if for any totally ramified abelian extension E/F the extension LE/F satisfies the Hasse-Arf property. An additional property to the Hasse-Arf property in terms of principal units which makes the extension abelian is established as well.     

On holomorphic polydifferentials in positive characteristic

Let F/E be an abelian Galois extension of function fields over an algebraic closed field K of characteristic p > 0. Denote by G the Galois group of the extension F/E. In this paper, we study Ω(m), the space of holomorphic m‐(poly)differentials of the function field of F when G is cyclic or a certain elementary abelian group of order pⁿ; we give bases for each case when the base field is rational, introduce the Boseck invariants and give an elementary approach to the G module structure of Ω(m) in terms of Boseck invariants. The last computation is achieved without any restriction on the base field in the cyclic case, while in the elementary abelian case it is assumed that the base field is rational. Finally, an application to the computation of the tangent space of the deformation functor of curves with automorphisms is given.     

Dynamical symmetry breaking in hyperbolic 4D spacetime and in extra dimensions

We study the dynamical symmetry breaking in quark matter within two different models. First, we consider the effect of gravitational catalysis of chiral and color symmetries breaking in strong gravitational field of ultrastatic hyperbolic spacetime ℝ ⊗ H ³ in the framework of an extended Nambu-Jona-Lasinio model. Second, we discuss the dynamical fermion mass generation in the flat 4-dimensional brane situated in the 5D spacetime with one extra dimension compactified on a circle. In the model, bulk fermions interact with fermions on the brane in the presence of a constant abelian gauge field A ₅ in the bulk. The influence of the A ₅-gauge field on the symmetry breaking is considered both when this field is a background parameter and a dynamical variable.     

Walker's Cancellation Theorem

Walker's cancellation theorem says that, if B ⊕ Z is isomorphic to C ⊕ Z in the category of abelian groups, then B is isomorphic to C. We construct an example in a diagram category of abelian groups where the theorem fails. As a consequence, the original theorem does not have a constructive proof even if B and C are subgroups of the free abelian group on two generators. Both of these results contrast with a group whose endomorphism ring has stable range one, which allows a constructive proof of cancellation and also a proof in any diagram category.     

On the Loewy length of the center of a block with elementary abelian defect groups

Let G be a finite group and k an algebraically closed field of characteristic p. In this paper we investigate the Loewy structure of centers of indecomposable group algebras kG, for groups G with a normal elementary abelian Sylow p-subgroup. Furthermore, we show a reduction result for the case that a normal abelian Sylow p-subgroup is acted upon by a subgroup of its automorphism group; this is fundamental in providing generic formulae for the Loewy lengths considered.     

Jordan Gradings on Associative Algebras

In this paper we apply the method of functional identities to the study of group gradings by an abelian group G on simple Jordan algebras, under very mild restrictions on the grading group or the base field of coefficients.     

Fusions of Character Tables II: p-Groups

If the character table of a finite group H satisfies certain conditions, then the classes and characters of H can fuse to give the character table of a group G of the same order. We investigate the case where H is an abelian group. In a previous article, we gave examples of Camina pairs that fuse from abelian groups. In this article, we give more general examples of Camina triples that fuse from abelian groups. We use this result to give an example of a group which fuses from an abelian group, but which has a subgroup that does not. We also give an example of a powerful 2-group which does not fuse from an abelian group and of a regular 3-group which does not fuse from an abelian group.     

The structure of abelian pro-Lie groups

A pro-Lie group is a projective limit of a projective system of finite dimensional Lie groups. A prodiscrete group is a complete abelian topological group in which the open normal subgroups form a basis of the filter of identity neighborhoods. It is shown here that an abelian pro-Lie group is a product of (in general infinitely many) copies of the additive topological group of reals and of an abelian pro-Lie group of a special type; this last factor has a compact connected component, and a characteristic closed subgroup which is a union of all compact subgroups; the factor group modulo this subgroup is pro-discrete and free of nonsingleton compact subgroups. Accordingly, a connected abelian pro-Lie group is a product of a family of copies of the reals and a compact connected abelian group. A topological group is called compactly generated if it is algebraically generated by a compact subset, and a group is called almost connected if the factor group modulo its identity component is compact. It is further shown that a compactly generated abelian pro-Lie group has a characteristic almost connected locally compact subgroup which is a product of a finite number of copies of the reals and a compact abelian group such that the factor group modulo this characteristic subgroup is a compactly generated prodiscrete group without nontrivial compact subgroups.Mathematics Subject Classification (1991): 22B, 22E     

Uniform Boundedness of Torsion Subgroups of Linear Groups

The torsion conjecture says： for any abelian variety A defined over a number field k, the order of the torsion subgroup of A（k） is bounded by a constant C（k,d） which depends only on the number field k and the dimension d of the abelian variety. The torsion conjecture remains open in general. However, in this paper, a short argument shows that the conjecture is true for more general fields if we consider linear groups instead of abelian varieties. If G is a connected linear algebraic group defined over a field k which is finitely generated over Q,Г is a torsion subgroup of G（k）. Then the order of Г is bounded by a constant C＇（k, d） which depends only on k and the dimension d of G.     

Some remarks on almost l-groups

The divisibility group of every Bézout domain is an abelian l-group. Conversely, Jaffard, Kaplansky, and Ohm proved that each abelian l-group can be obtained in this way, which generalizes Krull’s theorem for abelian linearly ordered groups. Dumitrescu, Lequain, Mott, and Zafrullah [3] proved that an integral domain is almost GCD if and only if its divisibility group is an almost l-group. Then they asked whether the Krull-Jaffard-Kaplansky-Ohm theorem on l-groups can be extended to the framework of almost l-groups, and asked under what conditions an almost l-group is lattice-ordered [3, Questions 1 and 2]. This note answers the two questions. Received: 29 April 2008     

Nontopological Condensates for the Self‐Dual Chern‐Simons‐Higgs Model

For the abelian self‐dual Chern‐Simons‐Higgs model we address existence issues of periodic vortex configurations—the so‐called condensates—of nontopological type as k → 0, where k > 0 is the Chern‐Simons parameter. We provide a positive answer to the longstanding problem on the existence of nontopological condensates with magnetic field concentrated at some of the vortex points (as a sum of Dirac measures) as k → 0, a question that is of definite physical interest. © 2015 Wiley Periodicals, Inc.     

How often can a finite group be realized as a Galois group over a field?

Let G be any finite group and any class of fields. By we denote the minimal number of realizations of G as a Galois group over some field from the class . For G abelian and the class of algebraic extensions of ℚ we give an explicit formula for . Similarly we treat the case of an abelian p-group G and the class which is conjectured to be the class of all fields of characteristic ≠p for which the Galois group of the maximal p-extension is finitely generated. For non-abelian groups G we offer a variety of sporadic results. Received: 27 October 1998 / Revised version: 3 February 1999     

On connected transversals to abelian subgroups and loop theoretical consequences

In this paper one of our questions is the following: Which finite abelian groups are (are not) isomorphic to inner mapping groups of loops? It is well known that if the inner mapping group of a finite loop Q is abelian, then Q is centrally nilpotent. The other question is: Which properties of abelian inner mapping groups imply the central nilpotency of class at most two of the loop? After reminding the reader of the known results we show new ones. To solve these problems we transform them into group theoretical problems, then using connected transversals we get some answer. Received: 1 December 2004; revised: 8 November 2005     

Abelian 2-class field towers over the cyclotomic {\mathbb {Z}_2}-extensions of imaginary quadratic fields

For the cyclotomic \mathbb Z₂{\mathbb Z_2}-extension k _∞ of an imaginary quadratic field k, we consider whether the Galois group G(k _∞) of the maximal unramified pro-2-extension over k _∞ is abelian or not. The group G(k _∞) is abelian if and only if the nth layer of the \mathbb Z₂{\mathbb {Z}_2}-extension has abelian 2-class field tower for all n ≥ 1. The purpose of this paper is to classify all such imaginary quadratic fields k in part by using Iwasawa polynomials.     

Fixed-point-free 2-finite automorphism groups

A fixed-point-free group G of automorphisms of an abelian group is shown to be locally finite if any two elements of G generate a finite subgroup.