Young modules and filtration multiplicities for Brauer algebras

We define permutation modules and Young modules for the Brauer algebra B _k (r,δ), and show that if the characteristic of the field k is neither 2 nor 3 then every permutation module is a sum of Young modules, respecting an ordering condition similar to that for symmetric groups. Moreover, we determine precisely in which cases cell module filtration multiplicities are well-defined, as done by Hemmer and Nakano for symmetric groups. Supported by the European Community through Marie Curie fellowship MCFI 2002-01325 Supported by EPSRC grant GR/S18151/01     

Phase Spaces and Deformation Theory

In the papers (Laudal in Contemporary Mathematics, vol. 391, [2005]; Geometry of time-spaces, Report No. 03, [2006/2007]), we introduced the notion of (non-commutative) phase algebras (spaces) Ph ⁿ (A), n=0,1,…,∞ associated to any associative algebra A (space), defined over a field k. The purpose of this paper is to study this construction in some more detail. This seems to give us a possible framework for the study of non-commutative partial differential equations. We refer to the paper (Laudal in Phase spaces and deformation theory, Report No. 09, [2006/2007]), for the applications to non-commutative deformation theory, Massey products and for the construction of the versal family of families of modules. See also (Laudal in Homology, Homotopy, Appl. 4:357–396, [2002]; Proceedings of NATO Advanced Research Workshop, Computational Commutative and Non-Commutative Algebraic Geometry, [2004]).      

Notes on δ-Koszul Algebras

This paper is a continuous work of δ-Koszul algebras, which were first introduced by Green and Marcos in 2005 (see Green and Marcos, Commun Algebra 33(6):1753–1764, 2005). Let K^d(A)\mathcal{K}^{\delta}(A) be the category of δ-Koszul modules. It is proved that K^d(A)\mathcal{K}^{\delta}(A) preserves kernels of epimorphisms if and only if the “minimal Horseshoe Lemma” (“MHL” for short) holds. Further, a special class of δ-Koszul algebras named periodic δ -algebras are introduced, which have close connection with Koszul algebras and provide answers to the questions raised by Green and Marcos (Commun Algebra 33(6):1753–1764, 2005). Finally, we construct new periodic δ-algebras from the given ones in terms of one-point extension and sum-extension.     

On some problems of tensor calculus. II

Basic definitions of linear algebra and functional analysis are given. In particular, the definitions of a semigroup, group, ring, field, module, and linear space are given [1–3, 6]. A local theorem on the existence of homeomorphisms is stated. Definitions of the inner r-product, local inner product of tensors whose rank is not less than r, and of local norm of a tensor [22] are also given. Definitions are given and basic theorems and propositions are stated and proved concerning the linear dependence and independence of a system of tensors of any rank. Moreover, definitions and proofs of some theorems connected with orthogonal and biorthonormal tensor systems are given. The definition of a multiplicative basis (multibasis) is given and ways of construction bases of modules using bases of modules of smaller dimensions. In this connection, several theorems are stated and proved. Tensor modules of even orders and problems on finding eigenvalues and eigentensors of any even rank are studied in more detail than in [22]. Canonical representations of a tensor of any even rank are given. It is worth while to note that it was studied by the Soviet scientist I. N. Vekua, and an analogous problem for the elasticity modulus tensor was considered by the Polish scientist Ya. Rikhlevskii in 1983–1984.     

The centralizer algebra of the diagonal action of the group <Emphasis Type="Italic">GL</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>(ℂ) in a mixed tensor space

We consider the walled Brauer algebra Br _{k, l}(n) introduced by V. Turaev and K. Koike. We prove that it is a subalgebra of the Brauer algebra and that it is isomorphic, for sufficiently large n ∈ ℕ, to the centralizer algebra of the diagonal action of the group GL_n(ℂ) in a mixed tensor space. We also give the presentation of the algebra Br _{k, l}(n) by generators and relations. For a generic value of the parameter, the algebra is semisimple, and in this case we describe the Bratteli diagram for this family of algebras and give realizations for the irreducible representations. We also give a new, more natural proof of the formulas for the characters of the walled Brauer algebras. Bibliography: 29 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 331, 2006, pp. 170–198.     

Cohomology Algebras of Blocks of Finite Groups and Brauer Correspondence II

Let k be an algebraically closed field of characteristic p. We shall discuss the cohomology algebras of a block ideal B of the group algebra kG of a finite group G and a block ideal C of the block ideal of kH of a subgroup H of G which are in Brauer correspondence and have a common defect group, continuing (Kawai and Sasaki, Algebr Represent Theory 9(5):497–511, 2006). We shall define a (B,C)-bimodule L. The k-dual L ^* induces the transfer map between the Hochschild cohomology algebras of B and C, which restricts to the inclusion map of the cohomology algebras of B into that of C under some condition. Moreover the module L induces a kind of refinement of Green correspondence between indecomposable modules lying in the blocks B and C; the block varieties of modules lying in B and C which are in Green correspondence will also be discussed.     

Orders on Multisets and Discrete Cones

We study additive representability of orders on multisets (of size k drawn from a set of size n) which satisfy the condition of independence of equal submultisets (IES) introduced by Sertel and Slinko (Ranking committees, words or multisets. Nota di Laboro 50.2002. Center of Operation Research and Economics. The Fundazione Eni Enrico Mattei, Milan, 2002, Econ. Theory 30(2):265–287, 2007). Here we take a geometric view of those orders, and relate them to certain combinatorial objects which we call discrete cones. Following Fishburn (J. Math. Psychol., 40:64–77, 1996) and Conder and Slinko (J. Math. Psychol., 48(6):425–431, 2004), we define functions f(n,k) and g(n,k) which measure the maximal possible deviation of an arbitrary order satisfying the IES and an arbitrary almost representable order satisfying the IES, respectively, from a representable order. We prove that g(n,k) = n − 1 whenever n ≥ 3 and (n, k) ≠ (5, 2). In the exceptional case, g(5,2) = 3. We also prove that g(n,k) ≤ f(n,k) ≤ n and establish that for small n and k the functions g(n,k) and f(n,k) coincide.      

On special values of certain Dirichlet L-functions

Let r _k (n) denote the number of ways n can be expressed as a sum of k squares. Recently, S. Cooper (Ramanujan J. 6:469–490, [2002]), conjectured a formula for r ₉(t), t≡5 (mod 8), r ₁₁(t), t≡7 (mod 8), where t is a square-free positive integer. In this note we observe that these conjectures follow from the works of Lomadze (Akad. Nauk Gruz. Tr. Tbil. Mat. Inst. Razmadze 17:281–314, [1949]; Acta Arith. 68(3):245–253, [1994]). Further we express r ₉(t), r ₁₁(t) in terms of certain special values of Dirichlet L-functions. Combining these two results we get expressions for these special values of Dirichlet L-functions involving Jacobi symbols.      

The $(1-\mathbb{E})$-transform in combinatorial Hopf algebras

We extend to several combinatorial Hopf algebras the endomorphism of symmetric functions sending the first power-sum to zero and leaving the other ones invariant. As a “transformation of alphabets”, this is the (1-\mathbbE)(1-\mathbb{E})-transform, where \mathbbE\mathbb{E} is the “exponential alphabet,” whose elementary symmetric functions are e_n=\frac1n!e_{n}=\frac{1}{n!}. In the case of noncommutative symmetric functions, we recover Schocker’s idempotents for derangement numbers (Schocker, Discrete Math. 269:239–248, 2003). From these idempotents, we construct subalgebras of the descent algebras analogous to the peak algebras and study their representation theory. The case of WQSym leads to similar subalgebras of the Solomon–Tits algebras. In FQSym, the study of the transformation boils down to a simple solution of the Tsetlin library in the uniform case.     

A Bichromatic Incidence Bound and an Application

We prove a new, tight upper bound on the number of incidences between points and hyperplanes in Euclidean d-space. Given n points, of which k are colored red, there are O _d (m ^2/3 k ^2/3 n ^(d−2)/3+kn ^d−2+m) incidences between the k red points and m hyperplanes spanned by all n points provided that m=Ω(n ^d−2). For the monochromatic case k=n, this was proved by Agarwal and Aronov (Discrete Comput. Geom. 7(4):359–369, 1992).     

Specht modules and semisimplicity criteria for Brauer and Birman–Murakami–Wenzl algebras

A construction of bases for cell modules of the Birman–Murakami–Wenzl (or B–M–W) algebra B _n (q,r) by lifting bases for cell modules of B _n−1(q,r) is given. By iterating this procedure, we produce cellular bases for B–M–W algebras on which a large Abelian subalgebra, generated by elements which generalise the Jucys–Murphy elements from the representation theory of the Iwahori–Hecke algebra of the symmetric group, acts triangularly. The triangular action of this Abelian subalgebra is used to provide explicit criteria, in terms of the defining parameters q and r, for B–M–W algebras to be semisimple. The aforementioned constructions provide generalisations, to the algebras under consideration here, of certain results from the Specht module theory of the Iwahori–Hecke algebra of the symmetric group. Research supported by Japan Society for Promotion of Science.     

Brauer algebras of simply laced type

The diagram algebra introduced by Brauer that describes the centralizer algebra of the n-fold tensor product of the natural representation of an orthogonal Lie group has a presentation by generators and relations that only depends on the path graph A _{n − 1} on n − 1 nodes. Here we describe an algebra depending on an arbitrary graph Q, called the Brauer algebra of type Q, and study its structure in the cases where Q is a Coxeter graph of simply laced spherical type (so its connected components are of type A _{n − 1}, D _n , E₆, E₇, E₈). We find its irreducible representations and its dimension, and show that the algebra is cellular. The algebra is generically semisimple and contains the group algebra of the Coxeter group of type Q as a subalgebra. It is a ring homomorphic image of the Birman-Murakami-Wenzl algebra of type Q; this fact will be used in later work determining the structure of the Birman-Murakami-Wenzl algebras of simply laced spherical type.     

The Number of Generalized Balanced Lines

Let S be a set of r red points and b=r+2δ blue points in general position in the plane, with δ≥0. A line ℓ determined by them is balanced if in each open half-plane bounded by ℓ the difference between the number of blue points and red points is δ. We show that every set S as above has at least r balanced lines. The proof is a refinement of the ideas and techniques of Pach and Pinchasi (Discrete Comput. Geom. 25:611–628, 2001), where the result for δ=0 was proven, and introduces a new technique: sliding rotations.     

Algebras of Higher Operads as Enriched Categories

One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product. In this paper we begin to adapt the machinery of globular operads (Batanin, Adv Math 136:39–103, 1998) to this task. We present a general construction of a tensor product on the category of n-globular sets from any normalised (n + 1)-operad A, in such a way that the algebras for A may be recaptured as enriched categories for the induced tensor product. This is an important step in reconciling the globular and simplicial approaches to higher category theory, because in the simplicial approaches one proceeds inductively following the idea that a weak (n + 1)-category is something like a category enriched in weak n-categories. In this paper we reveal how such an intuition may be formulated in terms of globular operads.     

The number of simple modules of the Hecke algebras of type G(r,1,n)

This paper classifies the simple modules of the cyclotomic Hecke algebras of type G(r,1,n) and the affine Hecke algebras of type A in arbitrary characteristic. We do this by first showing that the simple modules of the cyclotomic Hecke algebras are indexed by the set of “Kleshchev multipartitions”. Received July 24, 1998; in final form February 8, 1999     

On the representation of integers as sums of an odd number of squares

In a recent work, S. Cooper (J. Number Theory 103:135–162, [1988]) conjectured a formula for r _2k+1(p ²), the number of ways p ² can be expressed as a sum of 2k+1 squares. Inspired by this conjecture, we obtain an explicit formula for r _2k+1(n ²),n≥1. Dedicated to Srinivasa Ramanujan.     

On Order Types of Systems of Segments in the Plane

Let r(n) denote the largest integer such that every family C\mathcal{C} of n pairwise disjoint segments in the plane in general position has r(n) members whose order type can be represented by points. Pach and Tóth gave a construction that shows r(n) < n ^log8/log9 (Pach and Tóth 2009). They also stated that one can apply the Erdős–Szekeres theorem for convex sets in Pach and Tóth (Discrete Comput Geom 19:437–445, 1998) to obtain r(n) > log₁₆ n. In this note, we will show that r(n) > cn ^1/4 for some absolute constant c.