Relatively stable equivalences of Morita type for blocks

Based on the fact that the relatively stable category of a p-block B is equivalent to the relatively stable category of its Brauer correspondent b as triangulated category, we introduce the notion of relatively stable equivalence of Morita type and show that there is a relatively stable equivalence of Morita type between B and b. Some invariants under stable equivalence of Morita type can be generalized to this relative case. In particular, we put forward the generalized Alperin–Auslander conjecture and prove it in special cases.     

Broué's conjecture for non-principal 3-blocks of finite groups

In representation theory of finite groups, there is a well-known and important conjecture due to M. Broué. He conjectures that, for any prime p, if a p-block A of a finite group G has an abelian defect group D, then A and its Brauer correspondent p-block B of N_G(D) are derived equivalent. We demonstrate in this paper that Broué's conjecture holds for two non-principal 3-blocks A with elementary abelian defect group D of order 9 of the O'Nan simple group and the Higman-Sims simple group. Moreover, we determine these two non-principal block algebras over a splitting field of characteristic 3 up to Morita equivalence.     

Adjoint divisors on algebraic curves

Let C be a numerically connected curve lying on a smooth algebraic surface. We show that if is an ample invertible sheaf satisfying some technical numerical hypotheses then is normally generated. As a corollary we show that the sheaf ω_C^⊗2 on a numerically connected curve C of arithmetic genus p_a?3 is normally generated if ω_C is ample and does not exist a subcurve B⊂C such that p_a(B)=1=B(C−B).     

Group algebra series and coboundary modules

The shift action on the 2-cocycle group Z²(G,C) of a finite group G with coefficients in a finitely generated abelian group C has several useful applications in combinatorics and digital communications, arising from the invariance of a uniform distribution property of cocycles under the action. In this article, we study the shift orbit structure of the coboundary subgroup B²(G,C) of Z²(G,C). The study is placed within a well-known setting involving the Loewy and socle series of a group algebra over G. We prove new bounds on the dimensions of terms in such series. Asymptotic results on the size of shift orbits are also derived; for example, if C is an elementary abelian p-group, then almost all shift orbits in B²(G,C) are maximal-sized for large enough finite p-groups G of certain classes.     

Factorisation of Lie resolvents

Let G be a group, F a field of prime characteristic p, and V a finite-dimensional FG-module. For each positive integer r, the rth homogeneous component of the free Lie algebra on V is an FG-module called the rth Lie power of V. Lie powers are determined, up to isomorphism, by certain functions Φ^r on the Green ring of FG, called ‘Lie resolvents’. Our main result is the factorisation Φ^pmk=Φ^pm°Φ^k whenever k is not divisible by p. This may be interpreted as a reduction to the key case of p-power degree.     

Extrinsic radius pinching for hypersurfaces of space forms

We prove some pinching results for the extrinsic radius of compact hypersurfaces in space forms. In the hyperbolic space, we show that if the volume of M is 1, then there exists a constant C depending on the dimension of M and the L^∞-norm of the second fundamental form B such that the pinching condition (where H is the mean curvature) implies that M is diffeomorphic to an n-dimensional sphere. We prove the corresponding result for hypersurfaces of the Euclidean space and the sphere with the Lp-norm of H, p?2, instead of the L^∞-norm.     

A note on the p-local rank

In this paper, we give an inductive definition of p-local rank of a p-block in a finite group G with p||G| and show a necessary and sufficient condition for a p-block B such that plr(B) = 2.Received: 10 March 2004     

Functors between shape categories

Permutation groups of prime power degree are investigated here through the study of the corresponding group algebra of the set of all functions from the underlying set on which the permutation group acts to a finite field of characteristic p. For the case when the permutation group is of degree p² acting on a set consisting of the direct product of two elementary abelian p-groups, the structure of a minimal permutation module is obtained under certain conditions. The proofs do not depend on the recent classification results of finite simple groups.     

Travelling waves of auto-catalytic chemical reaction of general order—An elliptic approach

In this paper we study the existence and non-existence of travelling wave to parabolic system of the form at=axx−af(b), bt=Dbxx+af(b), with f a degenerate nonlinearity. In the context of an auto-catalytic chemical reaction, a is the density of a chemical species called reactant A, b that of another chemical species B called auto-catalyst, and D=DB/DA>0 is the ratio of diffusion coefficients, DB of B and DA of A, respectively. Such a system also arises from isothermal combustion. The nonlinearity is called degenerate, since f(0)=f^′(0)=0. One case of interest in this article is the propagating wave fronts in an isothermal auto-catalytic chemical reaction of order with 1<n<2, and D≠1 due to different molecular weights and/or sizes of A and B. The resulting nonlinearity is f(b)=bn. Explicit bounds v_∗ and v^∗ that depend on D are derived such that there is a unique travelling wave of every speed v?v^∗ and there does not exist any travelling wave of speed v<v_∗. New to the literature, it is shown that v_∗∝v^∗∝D when D<1. Furthermore, when D>1, it is shown rigorously that there exists a vmin such that there is a travelling wave of speed v if and only if v?vmin. Estimates on vmin improve significantly that of early works. Another case in which two different orders of isothermal auto-catalytic chemical reactions are involved is also studied with interesting new results proved.     

Homogeneous multiplicative polynomial laws are determinants

Let k be a commutative ring. Let R,B be k-algebras with B commutative. Let p:R→B be a homogeneous multiplicative polynomial law of degree n. We show that p is obtained by left and right composing a determinant with some homomorphisms of k-algebras.     

Invariant hypersurfaces for derivations in positive characteristic

Let A be an integral k-algebra of finite type over an algebraically closed field k of characteristic p>0. Given a collection D of k-derivations on A, that we interpret as algebraic vector fields on , we study the group spanned by the hypersurfaces V(f) of X invariant under D modulo the rational first integrals of D. We prove that this group is always a finite dimensional F_p-vector space, and we give an estimate for its dimension. This is to be related to the results of Jouanolou and others on the number of hypersurfaces invariant under a foliation of codimension 1. As a application, given a k-algebra B between A^p and A, we show that the kernel of the pull-back morphism is a finite F_p-vector space. In particular, if A is a UFD, then the Picard group of B is finite.     

On fixed point sets and Lefschetz modules for sporadic simple groups

We consider 2-local geometries and other subgroup complexes for sporadic simple groups. For six groups, the fixed point set of a noncentral involution is shown to be equivariantly homotopy equivalent to a standard geometry for the component of the centralizer. For odd primes, fixed point sets are computed for sporadic groups having an extraspecial Sylow p-subgroup of order p³, acting on the complex of those p-radical subgroups containing a p-central element in their centers. Vertices for summands of the associated reduced Lefschetz modules are described.     

Large dimension homomorphism spaces between Specht modules for symmetric groups

Let F be a field of characteristic p. We show that Hom_FΣn(S^λ,S^μ) can have arbitrarily large dimension as n and p grow, where S^λ and S^μ are Specht modules for the symmetric group Σ_n. Similar results hold for the Weyl modules of the general linear group. Every previously computed example has been at most one-dimensional, with the exception of Specht modules over a field of characteristic two. The proof uses the work of Chuang and Tan, providing detailed information about the radical series of Weyl modules in Rouquier blocks.     

Brauer characters with cyclotomic field of values

It has been shown in an earlier paper [G. Navarro, Pham Huu Tiep, Rational Brauer characters, Math. Ann. 335 (2006) 675-686] that, for any odd prime p, every finite group of even order has a non-trivial rational-valued irreducible p-Brauer character. For p=2 this statement is no longer true. In this paper we determine the possible non-abelian composition factors of finite groups without non-trivial rational-valued irreducible 2-Brauer characters. We also prove that, if p≠q are primes, then any finite group of order divisible by q has a non-trivial irreducible p-Brauer character with values in the cyclotomic field Q(exp(2πi/q)).     

On simple modules and normal subgroups of p-solvable groups

Let N be a normal subgroup of a p-solvable group G and let M be a simple FN-module, where F is an algebraically closed field of characteristic p. Next, denote by IRR⁰(FG|M) the set of all simple FG-modules V lying over M such that the p-part of dim_F V is as small as possible. In this paper, |IRR⁰(FG|M)| and the vertices of modules in IRR⁰(FG|M) are determined. The p-blocks of G to which modules in IRR⁰(FG|M) belong are also determined.Received: 5 December 2003     

Almost maximally almost-periodic group topologies determined by T-sequences

A sequence {an} in a group G is a T-sequence if there is a Hausdorff group topology τ on G such that . In this paper, we provide several sufficient conditions for a sequence in an abelian group to be a T-sequence, and investigate special sequences in the Prüfer groups Z(p^∞). We show that for p≠2, there is a Hausdorff group topology τ on Z(p^∞) that is determined by a T-sequence, which is close to being maximally almost-periodic—in other words, the von Neumann radical n(Z(p^∞),τ) is a non-trivial finite subgroup. In particular, n(n(Z(p^∞),τ))?n(Z(p^∞),τ). We also prove that the direct sum of any infinite family of finite abelian groups admits a group topology determined by a T-sequence with non-trivial finite von Neumann radical.     

On bimodules determining stable equivalences

In the paper one shows that for two indecomposable non-simple self-injective algebras over a field K we have that if the functor induces a stable equivalence then the bimodule _AN_B is contained in the frame of a connected component in the Auslander-Reiten quiver Γ_A⊗KB^op.