Transfer in Hochschild Cohomology of Blocks of Finite Groups

We develop the notion of a cohomology ring of blocks of finite groups and study its basic properties by means of transfer maps between the Hochschild cohomology rings of symmetric algebras associated with bounded complexes of finitely generated bimodules which are projective on either side.     

On Reflection Subgroups of Finite Coxeter Groups

Let W be a finite Coxeter group. We classify the reflection subgroups of W up to conjugacy and give necessary and sufficient conditions for the map that assigns to a reflection subgroup R of W the conjugacy class of its Coxeter elements to be injective, up to conjugacy.     

Universal Reflection Subgroups and Exponential Growth in Coxeter Groups

We investigate the imaginary cone in hyperbolic Coxeter systems in order to show that any Coxeter system contains universal reflection subgroups of arbitrarily large rank. Furthermore, in the hyperbolic case, the positive spans of the simple roots of the universal reflection subgroups are shown to approximate the imaginary cone (using an appropriate topology on the set of roots), answering a question due to Dyer [9 Dyer , M. Imaginary Cone and Reflection Subgroups of Coxeter Groups. Preprint: http://arXiv.org/abs/1210.5206  [Google Scholar]] in the special case of hyperbolic Coxeter systems. Finally, we discuss growth in Coxeter systems and utilize the previous results to extend the results of [16 Viswanath , S. ( 2008 ). On growth types of quotients of Coxeter groups by parabolic subgroups . Comm. Algebra 36 ( 2 ): 796 – 805 .[Taylor &; Francis Online] , [Google Scholar]] regarding exponential growth in parabolic quotients in Coxeter groups.     

Splitting Obstruction Groups in Codimension 2

The splitting obstruction groups depend functorially on the square of fundamental groups. In the paper the problem of splitting along a submanifold of codimension two under some restrictions on the square of fundamental groups is considered. New exact sequences and commutative diagrams containing Wall groups, splitting obstruction groups, and surgery obstruction groups for manifold pairs are obtained. Examples of computation of splitting obstruction groups and natural maps are considered.     

On Rank 2 Complex Reflection Groups

We describe a class of groups with the property that the finite ones among them are precisely the complex reflection groups of rank 2. This situation is reminiscent of Coxeter groups, among which the finite ones are precisely the real reflection groups. We also study braid relations between complex reflections and indicate connections to an axiomatic study of root systems and to the Shephard–Todd “collineation groups.”     

Galois Cohomology of Unipotent Algebraic Groups and Field Extensions

In this note we discuss, in the case of unipotent groups over nonperfect fields k of characteristic p, an analog of a theorem of Steinberg (formely a Serre's conjecture) for unipotent algebraic group schemes, which relates properties of Galois (or flat) cohomology of unipotent group schemes to finite extensions of k of degree divisible by p.     

Cohomology Algebras of Blocks of Finite Groups and Brauer Correspondence

M. Linckelmann defined the cohomology algebras of blocks of finite groups. This note is an attempt to analyze an inclusion of cohomology algebras of blocks that corresponds under Brauer correspondence through transfer maps between the Hochschild cohomology algebras of the blocks.Presented by Jon Carlson.     

正则轨道的存在性与有限群的幂零长

本文给出了一些正则轨道存在性的条件，结合Ａ．Ｔｕｒｕｌｌ的近期定理，得到了关于有限可解群的幂零长的一些结论．     

Cohomology Actions and Centralisers in Unitary Reflection Groups

In an earlier work, the second author proved a general formulafor the equivariant Poincaré polynomial of a linear transformationg which normalises a unitary reflection group G, acting on thecohomology of the corresponding hyperplane complement. Thisformula involves a certain function (called a Z-function below)on the centraliser CG(g), which was proved to exist only incertain cases, for example, when g is a reflection, or is G-regular,or when the centraliser is cyclic. In this work we prove theexistence of Z-functions in full generality. Applications includereduction and product formulae for the equivariant Poincarépolynomials. The method is to study the poset L(C_G(g)) of subspaceswhich are fixed points of elements of C_G(g). We show that thisposet has Euler characteristic 1, which is the key propertyrequired for the definition of a Z-function. The fact aboutthe Euler characteristic in turn follows from the ‘join-atom’property of L(C_G(g)), which asserts that if [X₁,..., X_k} isany set of elements of L(C_G(g)) which are maximal (set theoretically)then their setwise intersection lies in L(C_G(g)). 2000 Mathematical Subject Classification:primary 14R20, 55R80; secondary 20C33, 20G40.     

On K3 of Witt Vectors of Length Two Over Finite Fields

We prove that for W₂ the Witt vectors of length two over the finite field , we have in characteristic at least 5 and for (3,f) = 1. The result is proved by using the identity and calculating the right term with a group homology spectral sequence. Some information on the spectral sequence is achieved by using the action of the outer automorphism of SL on the homology groups and recent results on K-groups of local rings and the ring of dual numbers over finite fields.     

Length and Stable Length

This paper establishes the existence of a gap for the stable length spectrum on a hyperbolic manifold. If M is a hyperbolic n-manifold, for every positive ϵ there is a positive δ depending only on n and on ϵ such that an element of π₁(M) with stable commutator length less than δ is represented by a geodesic with length less than ϵ. Moreover, for any such M, the first accumulation point for stable commutator length on conjugacy classes is at least 1/12. Conversely, “most” short geodesics in hyperbolic 3-manifolds have arbitrarily small stable commutator length. Thus stable commutator length is typically good at detecting the thick-thin decomposition of M, and 1/12 can be thought of as a kind of homological Margulis constant. Received: June 2006 Revision: May 2007 Accepted: June 2007     

关于遗传代数上的例外序列自同态代数的Hochschild上同调与同调

令$A$是代数闭域$k$上的一个有限维结合代数, $\mod A$是有限维左$A$-模范畴,$X_1,X_2,\ldots,X_n$是$\mod A$中的完全例外序列,再令$E$是$X_1,X_2,\ldots,X_n$的自同态代数,我们在本文内,研究了$E$的总体维数,计算了$E$的Hochschild上同调群和同调群.     

Hochschild and cyclic homology of finite type algebras

We study Hochschild and cyclic homology of finite type algebras using abelian stratifications of their primitive ideal spectrum. Hochschild homology turns out to have a quite complicated behavior, but cyclic homology can be related directly to the singular cohomology of the strata. We also briefly discuss some connections with the representation theory of reductive p-adic groups.     

Filling Length in Finitely Presentable Groups

We study the filling length function for a finite presentation of a group , and interpret this function as an optimal bound on the length of the boundary loop as a van Kampen diagram is collapsed to the basepoint using a combinatorial notion of a null-homotopy. We prove that filling length is well behaved under change of presentation of . We look at 'AD-pairs' (f,g) for a finite presentation : that is, an isoperimetric function f and an isodiametric function g that can be realised simultaneously. We prove that the filling length admits a bound of the form [g+1][log (f+1)+1] whenever (f,g) is an AD-pair for . Further we show that (up to multiplicative constants) if is an isoperimetric function ( ) for a finite presentation then ( ) is an AD-pair. Also we prove that for all finite presentations filling length is bounded by an exponential of an isodiametric function.Partially supported by NSF grant DMS-9800158Supported by EPSRC Award No. 98001683 and Corpus Christi College, Oxford.     

Quantum Symmetric Pairs and the Reflection Equation

It is shown that central elements in G. Letzter’s quantum group analogs of symmetric pairs lead to solutions of the reflection equation. This clarifies the relation between Letzter’s approach to quantum symmetric pairs and the approach taken by M. Noumi, T. Sugitani, and M. Dijkhuizen. We develop general tools to show that a Noumi-Sugitani-Dijkhuizen type construction of quantum symmetric pairs can be performed preserving spherical representations from the classical situation. These tools apply to the symmetric pair FII and to all symmetric pairs which correspond to an automorphism of the underlying Dynkin diagram. Hence Noumi-Sugitani-Dijkhuizen type constructions with desirable properties are possible for various symmetric pairs for exceptional Lie algebras. Presented by Susan Montgomery.     

Bestvina's Normal Form Complex and the Homology of Garside Groups

A Garside group is a group admitting a finite lattice generating set . Using techniques developed by Bestvina for Artin groups of finite type, we construct K(π, 1)s for Garside groups. This construction shows that the (co)homology of any Garside group G is easily computed given the lattice , and there is a simple sufficient condition that implies G is a duality group. The universal covers of these K(π, 1)s enjoy Bestvina's weak nonpositive curvature condition. Under a certain tameness condition, this implies that every solvable subgroup of G is virtually Abelian.     

Reflection quotients in Riemannian geometry. A geometric converse to Chevalley's theorem

Chevalley's theorem and its converse, the Sheppard-Todd theorem, assert that finite reflection groups are distinguished by the fact that the ring of invariant polynomials is freely generated. We show that, in the Euclidean case, a weaker condition suffices to characterize finite reflection groups, namely, that a freely-generated polynomial subring is closed with respect to the gradient product.

     

Simplicial Cohomology with Coefficients in Symmetric Categorical Groups

In this paper we introduce and study a cohomology theory {H ⁿ (–,A)} for simplicial sets with coefficients in symmetric categorical groups A. We associate to a symmetric categorical group A a sequence of simplicial sets {K(A,n)} _n0, which allows us to give a representation theorem for our cohomology. Moreover, we prove that for any n3, the functor K(–,n) is right adjoint to the functor _n , where _n (X ) is defined as the fundamental groupoid of the n-loop complex ⁿ (X ). Using this adjunction, we give another proof of how symmetric categorical groups model all homotopy types of spaces Y with _i (Y)=0 for all in,n+1 and n3; and also we obtain a classification theorem for those spaces: [–,Y]H ⁿ (–, _n (Y)).