A note on bideterminants for Schur superalgebras

Let S(m|n,r)_Z be a Z-form of a Schur superalgebra S(m|n,r) generated by elements ξ_i,j. We solve a problem of Muir and describe a Z-form of a simple S(m|n,r)-module D_λ,Q over the field Q of rational numbers, under the action of S(m|n,r)_Z. This Z-form is the Z-span of modified bideterminants [T_?:T_i] defined in this work. We also prove that each [T_?:T_i] is a Z-linear combination of modified bideterminants corresponding to (m|n)-semistandard tableaux T_i.     

Quantum Schur superalgebras and Kazhdan-Lusztig combinatorics

We introduce the notion of quantum Schur (or q-Schur) superalgebras. These algebras share certain nice properties with q-Schur algebras such as the base change property, the existence of canonical Z[v,v⁻¹]-bases, the duality relation with Manin’s quantum matrix superalgebra A(m|n), and the bridging role between quantum enveloping superalgebras of gl(m|n) and the Hecke algebras of type A. We also construct a cellular -basis and determine its associated cells, called supercells, in terms of a Robinson-Schensted-Knuth supercorrespondence. In this way, we classify all irreducible representations over via supercell modules.     

Schur Superalgebras in Characteristic p, II

It is proved that if a Schur superalgebra is not semisimple,then it is neither cellular nor quasi-hereditary (Theorem 2),and it has infinite global dimension (Corollary 18). The algebraS(m|n, r) with m, n 1 is semisimple if and only if p, the characteristicof the ground field, is zero or greater than r, or when m =n = 1 and p does not divide r. 2000 Mathematics Subject Classification17A70 (primary), 20C30 (secondary).     

Gelfand-Kirillov Dimension and Local Finiteness of Symmetrizations of Associative Superalgebras

In this work we extend to superalgebras a result of Skosyrskii [Algebra and Logic, 18 (1) (1979) 49–57, Lemma 2] relating associative and Jordan structures. As an application, we show that the Gelfand-Kirillov dimension of an associative superalgebra coincides with that of its symmetrization, and that local finiteness is equivalent in associative superalgebras and in their symmetrizations. In this situation we obtain that having zero Gelfand-Kirillov dimension is equivalent to being locally finite.Partially supported by MCYT and Fondos FEDER BFM2001-1938-C02-02, and MEC and Fondos FEDER MTM2004-06580-C02-01.Partially supported by a F.P.I. Grant (Ministerio de Ciencia y Tecnología).     

Coincidences among skew Schur functions

New sufficient conditions and necessary conditions are developed for two skew diagrams to give rise to the same skew Schur function. The sufficient conditions come from a variety of new operations related to ribbons (also known as border strips or rim hooks). The necessary conditions relate to the extent of overlap among the rows or among the columns of the skew diagram.     

The Schur Algorithm for Generalized Schur Functions II: Jordan Chains and Transformations of Characteristic Functions

 In the first paper of this series (Daniel Alpay, Tomas Azizov, Aad Dijksma, and Heinz Langer: The Schur algorithm for generalized Schur functions I: coisometric realizations, Operator Theory: Advances and Applications 129 (2001), pp. 1–36) it was shown that for a generalized Schur function s(z), which is the characteristic function of a coisometric colligation V with state space being a Pontryagin space, the Schur transformation corresponds to a finite-dimensional reduction of the state space, and a finite-dimensional perturbation and compression of its main operator. In the present paper we show that these formulas can be explained using simple relations between V and the colligation of the reciprocal s(z)⁻¹ of the characteristic function s(z) and general factorization results for characteristic functions. Received October 31, 2001; in revised form August 21, 2002 RID="a" ID="a" Dedicated to Professor Edmund Hlawka on the occasion of his 85th birthday     

On the topology of components of some Springer fibers and their relation to Kazhdan-Lusztig theory

We describe the irreducible components of Springer fibers for hook and two-row nilpotent elements of as iterated bundles of flag manifolds and Grassmannians. We then relate the topology (in particular, the intersection homology Poincaré polynomials) of the pairwise intersections of these components with the inner products of the Kazhdan-Lusztig basis elements of irreducible representations of the rational Iwahori-Hecke algebra of type A corresponding to the hook and two-row Young shapes.     

Skew quasisymmetric Schur functions and noncommutative Schur functions

Recently a new basis for the Hopf algebra of quasisymmetric functions QSym, called quasisymmetric Schur functions, has been introduced by Haglund, Luoto, Mason, van Willigenburg. In this paper we extend the definition of quasisymmetric Schur functions to introduce skew quasisymmetric Schur functions. These functions include both classical skew Schur functions and quasisymmetric Schur functions as examples, and give rise to a new poset LC that is analogous to Young's lattice. We also introduce a new basis for the Hopf algebra of noncommutative symmetric functions NSym. This basis of NSym is dual to the basis of quasisymmetric Schur functions and its elements are the pre-image of the Schur functions under the forgetful map χ:NSym→Sym. We prove that the multiplicative structure constants of the noncommutative Schur functions, equivalently the coefficients of the skew quasisymmetric Schur functions when expanded in the quasisymmetric Schur basis, are nonnegative integers, satisfying a Littlewood–Richardson rule analogue that reduces to the classical Littlewood–Richardson rule under χ.As an application we show that the morphism of algebras from the algebra of Poirier–Reutenauer to Sym factors through NSym. We also extend the definition of Schur functions in noncommuting variables of Rosas–Sagan in the algebra NCSym to define quasisymmetric Schur functions in the algebra NCQSym. We prove these latter functions refine the former and their properties, and project onto quasisymmetric Schur functions under the forgetful map. Lastly, we show that by suitably labeling LC, skew quasisymmetric Schur functions arise in the theory of Pieri operators on posets.     

The conformal Killing equation on forms—prolongations and applications

We construct a conformally invariant vector bundle connection such that its equation of parallel transport is a first order system that gives a prolongation of the conformal Killing equation on differential forms. Parallel sections of this connection are related bijectively to solutions of the conformal Killing equation. We construct other conformally invariant connections, also giving prolongations of the conformal Killing equation, that bijectively relate solutions of the conformal Killing equation on k-forms to a twisting of the conformal Killing equation on (k−?)-forms for various integers ?. These tools are used to develop a helicity raising and lowering construction in the general setting and on conformally Einstein manifolds.     

Cauchy transforms of self-similar measures: the Laurent coefficients

The Cauchy transform of a measure has been used to study the analytic capacity and uniform rectifiability of subsets in . Recently, Lund et al. (Experiment. Math. 7 (1998) 177) have initiated the study of such transform F of self-similar measure. In this and the forecoming papers (Starlikeness and the Cauchy transform of some self-similar measures, in preparation; The Cauchy transform on the Sierpinski gasket, in preparation), we study the analytic and geometric behavior as well as the fractal behavior of the transform F. The main concentration here is on the Laurent coefficients {a_n}_n=0^∞ of F. We give asymptotic formulas for {a_n}_n=0^∞ and for F^(k)(z) near the support of μ, hence the precise growth rates on |a_n| and |F^(k)| are determined. These formulas are connected with some multiplicative periodic functions, which reflect the self-similarity of μ and K. As a by-product, we also discover new identities of certain infinite products and series.     

Higher level affine Schur and Hecke algebras

We define a higher level version of the affine Hecke algebra and prove that, after completion, this algebra is isomorphic to a completion of Webster's tensor product algebra of type A. We then introduce a higher level version of the affine Schur algebra and establish, again after completion, an isomorphism with the quiver Schur algebra. An important observation is that the higher level affine Schur algebra surjects to the Dipper-James-Mathas cyclotomic q-Schur algebra. Moreover, we give nice diagrammatic presentations for all the algebras introduced in this paper.     

Simple finite-dimensional modular noncommutative Jordan superalgebras

We classify the central simple finite-dimensional noncommutative Jordan superalgebras over an algebraically closed field of characteristic $p>2$. The case of characteristic 0 was considered by the authors in the previous paper [21]. In particular, we describe Leibniz brackets on all finite dimensional central simple Jordan superalgebras except mixed (nor vector neither Poisson) Kantor doubles of the supercommutative superalgebra $B(m,n)$.     

Quasiconformal planes with bi-Lipschitz pieces and extensions of almost affine maps

A quasiplane f(V)$f(V)$ is the image of an n-dimensional Euclidean subspace V   of R^N${\mathbb{R}}^N$ (1≤n≤N−1$1\le n\le N-1$) under a quasiconformal map f:R^N→R^N$f:{\mathbb{R}}^N\to {\mathbb{R}}^N$. We give sufficient conditions in terms of the weak quasisymmetry constant of the underlying map for a quasiplane to be a bi-Lipschitz n  -manifold and for a quasiplane to have big pieces of bi-Lipschitz images of Rⁿ${\mathbb{R}}^n$. One main novelty of these results is that we analyze quasiplanes in arbitrary codimension N−n$N-n$. To establish the big pieces criterion, we prove new extension theorems for “almost affine” maps, which are of independent interest. This work is related to investigations by Tukia and Väisälä on extensions of quasisymmetric maps with small distortion.     

Conjectured statistics for the q,t-Catalan numbers

We introduce the distribution function F_n(q,t) of a pair of statistics on Catalan words and conjecture F_n(q,t) equals Garsia and Haiman's q,t-Catalan sequence C_n(q,t), which they defined as a sum of rational functions. We show that F_n,s(q,t), defined as the sum of these statistics restricted to Catalan words ending in s ones, satisfies a recurrence relation. As a corollary we are able to verify that F_n(q,t)=C_n(q,t) when t=1/q. We also show the partial symmetry relation F_n(q,1)=F_n(1,q). By modifying a proof of Haiman of a q-Lagrange inversion formula based on results of Garsia and Gessel, we obtain a q-analogue of the general Lagrange inversion formula which involves Catalan words grouped according to the number of ones at the end of the word.     

Cross-cuts in the power set of an infinite set

In the power setP(E) of a setE, the sets of a fixed finite cardinalityk form across-cut, that is, a maximal unordered setC such that ifX, Y E satisfyXY, X someX inC, andY someY inC, thenXZY for someZ inC. ForE=, ₁, and ₂, it is shown with the aid of the continuum hypothesis thatP(E) has cross-cuts consisting of infinite sets with infinite complements, and somewhat stronger results are proved for and ₁.The work reported here has been partially supported by NSERC Grant No. A8054.     

Maximal subalgebras of Jordan superalgebras

The maximal subalgebras of the finite-dimensional simple special Jordan superalgebras over an algebraically closed field of characteristic 0 are studied. This is a continuation of a previous paper by the same authors about maximal subalgebras of simple associative superalgebras, which is instrumental here.     

Convex bodies of constant width and constant brightness

In 1926 Nakajima (= Matsumura) showed that any convex body in R³ with constant width, constant brightness, and boundary of class C² is a ball. We show that the regularity assumption on the boundary is unnecessary, so that balls are the only convex bodies of constant width and brightness.     

On herstein's constructions relating jordan and associative superalgebras

We investigate the Jordan structure of a prime associative superalgebra and the Jordan structure of the symmetric elements of a *-prime associative superalgebra with superinvolution.     

Topological and bornological characterisations of ideals in von Neumann algebras: II

SupposeM is a von Neumann algebra on a Hilbert spaceH andI is any norm closed ideal inM. We extend to this setting the well known fact that the compact operators on a Hilbert space are precisely those whose restrictions to the closed unit ball are weak to norm continuous.