A Geometric Rational Form for Artin Groups of FC Type

If A is an Artin group whose poset of finite type special subgroups is a flag complex, then A is said to be of FC type. Such groups act cocompactly on a CAT(0) cubical complex with finite type Artin groups as stabilizers. We use the geometry of this complex to obtain a rational normal form for the group.     

Shortest path poset of Bruhat intervals

We define the shortest path poset SP(u,v) of a Bruhat interval [u,v], by considering the shortest u–v paths in the Bruhat graph of a Coxeter group W, where u,v∈W. We consider the case of SP(u,v) having a unique rising chain under a reflection order and show that in this case SP(u,v) is a Gorenstein^? poset. This allows us to derive the nonnegativity of certain coefficients of the complete cd-index. We furthermore show that the shortest path poset of an irreducible, finite Coxeter group exhibits a symmetric chain decomposition.     

Irreducible posets with large height exist

The dimension of a poset (X, P) is the minimum number of linear extensions of P whose intersection is P. A poset is irreducible if the removal of any point lowers the dimension. If A is an antichain in X and X ? A ≠ Ø, then dim X ≤ 2 width ((X ? A) + 1. We construct examples to show that this inequality is best possible; these examples prove the existence of irreducible posets of arbitrarily large height. Although many infinite families of irreducible posets are known, no explicity constructed irreducible poset of height larger than four has been found.     

Inversion arrangements and Bruhat intervals

Let W be a finite Coxeter group. For a given w∈W, the following assertion may or may not be satisfied:

(?)

The principal Bruhat order ideal of w contains as many elements as there are regions in the inversion hyperplane arrangement of w.

We present a type independent combinatorial criterion which characterises the elements w∈W that satisfy (?). A couple of immediate consequences are derived:

(1)

The criterion only involves the order ideal of w as an abstract poset. In this sense, (?) is a poset-theoretic property.

(2)

For W of type A, another characterisation of (?), in terms of pattern avoidance, was previously given in collaboration with Linusson, Shareshian and Sjöstrand. We obtain a short and simple proof of that result.

(3)

If W is a Weyl group and the Schubert variety indexed by w∈W is rationally smooth, then w satisfies (?).

     

Spectral inclusion for unbounded block operator matrices

In this paper we establish a new analytic enclosure for the spectrum of unbounded linear operators A admitting a block operator matrix representation. For diagonally dominant and off-diagonally dominant block operator matrices, we show that the recently introduced quadratic numerical range W²(A) contains the eigenvalues of A and that the approximate point spectrum of A is contained in the closure of W²(A). This provides a new method to enclose the spectrum of unbounded block operator matrices by means of the non-convex set W²(A). Several examples illustrate that this spectral inclusion may be considerably tighter than the one by the usual numerical range or by perturbation theorems, both in the non-self-adjoint case and in the self-adjoint case. Applications to Dirac operators and to two-channel Hamiltonians are given.     

Additive results for the Wg-Drazin inverse

In this paper we prove the formula for the expression (A+B)^d,W in terms of A,B,W,A^d,W,B^d,W, assuming some conditions for A,B and W. Here S^d,W denotes the generalized W-weighted Drazin inverse of a linear bounded operator S on a Banach space.     

The representation and perturbation of theW-weighted Drazin inverse

LetA andE bem x n matrices andW an n xm matrix, and letA _d,W denote the W-weighted Drazin inverse ofA. In this paper, a new representation of the W-weighted Drazin inverse ofA is given. Some new properties for the W-weighted Drazin inverseA _d,W and B_d,W are investigated, whereB =A+E. In addition, the Banach-type perturbation theorem for the W-weighted Drazin inverse ofA andB are established, and the perturbation bounds for ∥B_d,W∥ and ∥B_{d, W}, -A_d,W∥/∥A_d,W∥ are also presented. WhenA andB are square matrices andW is identity matrix, some known results in the literature related to the Drazin inverse and the group inverse are directly reduced by the results in this paper as special cases.     

Numerical ranges of the powers of an operator

The numerical range W(A) of a bounded linear operator A on a Hilbert space is the collection of complex numbers of the form (Av,v) with v ranging over the unit vectors in the Hilbert space. In terms of the location of W(A), inclusion regions are obtained for W(Ak) for positive integers k, and also for negative integers k if A−1 exists. Related inequalities on the numerical radius and the Crawford number are deduced.     

The construction of an accurate lower bound for the real parts of the eigenvalues of an M-matrix

Let A by an M-matrix, i.e., A is nonsingular, real, irreducible, and weakly diagonally dominant and has positive diagonal and nonpositive off-diagonal elements. Via the graph of A we construct a vector W such that AW is positive. This yields a lower bound of the spectrum, which is optimal in certain problems.     

The Hecke group algebra of a Coxeter group and its representation theory

Let W be a finite Coxeter group. We define its Hecke-group algebra by gluing together appropriately its group algebra and its 0-Hecke algebra. We describe in detail this algebra (dimension, several bases, conjectural presentation, combinatorial construction of simple and indecomposable projective modules, Cartan map) and give several alternative equivalent definitions (as symmetry preserving operator algebra, as poset algebra, as commutant algebra, …).In type A, the Hecke-group algebra can be described as the algebra generated simultaneously by the elementary transpositions and the elementary sorting operators acting on permutations. It turns out to be closely related to the monoid algebras of respectively nondecreasing functions and nondecreasing parking functions, the representation theory of which we describe as well.This defines three towers of algebras, and we give explicitly the Grothendieck algebras and coalgebras given respectively by their induction products and their restriction coproducts. This yields some new interpretations of the classical bases of quasi-symmetric and noncommutative symmetric functions as well as some new bases.     

From multiplicative unitaries to quantum groups II

It is shown that all important features of a C^∗-algebraic quantum group (A,Δ) defined by a modular multiplicative W depend only on the pair (A,Δ) rather than the multiplicative unitary operator W. The proof is based on thorough study of representations of quantum groups. As an application we present a construction and study properties of the universal dual of a quantum group defined by a modular multiplicative unitary—without assuming existence of Haar weights.     

Capacity and uniform algebras

Let A be a uniform algebra on a compact space X, let M be the maximal ideal space of A, and consider an element ? of A. Choose a component W of $\text{C}$??(X). In 1963 Bishop showed that {$\text{y}\text{in}\text{M ¦ ?(y) ? W}$} can be made into a one-dimensional complex analytic space provided there is a subset G of W having positive area such that for each λ in $\text{G {y}\text{in}\text{M ¦ ?(y) = λ}}$ is finite. We show that the hypothesis of “positive area” may be replaced by “positive exterior capacity” and that no weaker condition will suffice.     

Hereditary Uniserial Categories with Serre Duality

An abelian Krull-Schmidt category is said to be uniserial if the isomorphism classes of subobjects of a given indecomposable object form a linearly ordered poset. In this paper, we classify the hereditary uniserial categories with Serre duality. They fall into two types: the first type is given by the representations of the quiver A _n with linear orientation (and infinite variants thereof), the second type by tubes (and an infinite variant). These last categories give a new class of hereditary categories with Serre duality, called big tubes.     

Representability and Specht problem for G-graded algebras

Let W be an associative PI-algebra over a field F of characteristic zero, graded by a finite group G. Let idG(W) denote the T-ideal of G-graded identities of W. We prove: 1. [G-graded PI-equivalence] There exists a field extension K of F and a finite-dimensional Z/2Z×G-graded algebra A over K such that idG(W)=idG(A^∗) where A^∗ is the Grassmann envelope of A. 2. [G-graded Specht problem] The T-ideal idG(W) is finitely generated as a T-ideal. 3. [G-graded PI-equivalence for affine algebras] Let W be a G-graded affine algebra over F. Then there exists a field extension K of F and a finite-dimensional algebra A over K such that idG(W)=idG(A).     

The computation and perturbation analysis for weighted group inverse of rectangular matrices

Cen (Math. Numer. Sin. 29(1):39–48, 2007) has defined a weighted group inverse of rectangular matrices. Let A∈C ^m×n ,W∈C ^n×m , if X∈C ^m×n satisfies the system of matrix equations $$(W_{1})\quad AWXWA=A,\quad\quad (W_{2})\quad XWAWX=X,\quad\quad (W_{3})\quad AWX=XWA$$ X is called the weighted group inverse of A with W, and denoted by A _W ^# . In this paper, we will study the algebra perturbation and analytical perturbation of this kind weighted group inverse A _W ^# . Under some conditions, we give a decomposition of B _W ^# ?A _W ^# . As a results, norm estimate of ‖B _W ^# ?A _W ^# ‖ is presented (where B=A+E). An expression of algebra of perturbation is also obtained. In order to compute this weighted group inverse with ease, we give a new representation of this inverse base on Gauss-elimination, then we can calculate this weighted inverse by Gauss-elimination. In the end, we use a numerical example to show our results.     

Configurations in abelian categories. III. Stability conditions and identities

This is the third in a series on configurations in an abelian category A. Given a finite poset (I,?), an (I,?)-configuration(σ,ι,π) is a finite collection of objects σ(J) and morphisms ι(J,K) or in A satisfying some axioms, where J,K are subsets of I. Configurations describe how an object X in A decomposes into subobjects.The first paper defined configurations and studied moduli spaces of configurations in A, using the theory of Artin stacks. It showed well-behaved moduli stacks ObjA,MA(I,?) of objects and configurations in A exist when A is the abelian category coh(P) of coherent sheaves on a projective scheme P, or mod-KQ of representations of a quiver Q. The second studied algebras of constructible functions and stack functions on ObjA.This paper introduces (weak) stability conditions(τ,T,?) on A. We show the moduli spaces , , of τ-semistable, indecomposable τ-semistable and τ-stable objects in class α are constructible sets in ObjA, and some associated configuration moduli spaces constructible in MA(I,?), so their characteristic functions and are constructible.We prove many identities relating these constructible functions, and their stack function analogues, under pushforwards. We introduce interesting algebras of constructible and stack functions, and study their structure. In the fourth paper we show are independent of (τ,T,?), and construct invariants of A,(τ,T,?).     

Extensions of pairs of linear transformations between infinite-dimensional vector spaces

To a pair A, B:V→W of linear maps between complex vector spaces attach the pair (V, W) endowed with the operation (α, β)υ = (αA + βB)(υ), α,β ∈ C, υ ∈ V. A concept of rank, similar to the torsion-free rank of abelian groups, is definable for the systems (V, W). With appropriate morphisms, the systems from an abelian category and Ext¹ can be construed as a vector space valued functor. We find all the cases in which Ext¹ ((V, W), (X, Y)), with (X, Y), (V, W) indecomposable systems of rank 0 or 1, is finite-dimensional, and compute its dimension in these cases. This extends a former computation for finite-dimensional systems.     

Orthogonality and the numerical range. II

For a continuous linear operator A on a Hilbert space X and unit vectors x and y, an investigation of the set $\text{W[x,y]={z}{}^1\text{Az:z}{}^1\text{z=1}$ and z?span{x,y}} reveals several new results about W(A), the numerical range of A. W[x,y] is an elliptical disk (possibly degenerate), and several conditions are given which imply that W[x,y] is a line segment. In particular if x is a reducing eigenvector of A, then W[x,y] is a line segment. A unit vector is called interior (boundary) if x¹Ax is in the interior (boundary) of W(A). It is shown that interior reducing eigenvectorsare orthogonal to all boundary vectors and that boundary eigenvectors are orthogonal to all other boundary vectors y [except possibly when y¹Ay is interior to a line segment in the boundary of W(A) through the given eigenvalue].     

Isomorphic actions of group extensions on a measure space

Let E = E(G, A) be a group extension of an abelian 1.c.s.c. group A by an amenable 1.c.s.c. group G. An ergodic action V of A is said to be extendible to an action W of E if V(A) is isomorphic to the restriction of W onto the subgroup A ∋ E. The extension property is described and studied in terms of cocycles over a skew product with values in A. Several examples of -actions are considered. We answer the question of when two isomorphic actions of A can be extended to isomorphic actions of E(G, A).