Partitioned matrices and Seidel convergence

Summary Without using spectral resolution, an elementary proof of convergence of Seidel iteration. The proof is based on the lemma (generalizing a lemma of P. Stein): If (A+A ^*)–B ^*(A+A ^*)B>0, whereB=–(P+L) ^–1 R,A=P+L (Lower)+R (upper), then Seidel iteration ofAX=Y ₀ converges if and only ifA+A ^*>0. This lemma has as corollaries not only the well-known results of E. Reich and Stein, but also applications to a matrix that can be far from symmetric, e.g.M=[A _ij ] ₁ ² , whereA ₂₁=–A ₁₂ ^* ,A ₁₁,A ₂₂ are invertible;A ₁₁ +A ₁₁ ^* =A₂₂+A ₂₂ ^* ; and the proper values ofA ₁₂ ^–1 A ₁₁,A ₁₂ ^*–1 A ₂₂ are in the interior of the unit disk.Supported under NSF GP 32527.Supported under NSF GP 8758.     

A result about determinantal divisors

Let Rbe a principal ideal ringR_n the ring of n× nmatrices over R, and d_k (A) the kth determinantal divisor of Afor 1 ? k? n, where Ais any element of R_n , It is shown that if A,BεR_n , det(A) det(B:) ≠ 0, then d_k (AB) ≡ 0 mod d_k (A) d_k (B). If in addition (det(A), det(B)) = 1, then it is also shown that d_k (AB) = d_k (A) d_k (B). This provides a new proof of the multiplicativity of the Smith normal form for matrices with relatively prime determinants.     

The Structure of Frobenius Algebras and Separable Algebras

We present a unified approach to the study of separable and Frobenius algebras. The crucial observation is that both types of algebras are related to the nonlinear equation R¹²R²³=R²³R¹³=R¹³R¹², called the FS-equation. Solutions of the FS-equation automatically satisfy the braid equation, an equation that is in a sense equivalent to the quantum Yang–Baxter equation. Given a solution to the FS-equation satisfying a certain normalizing condition, we can construct a Frobenius algebra or a separable algebra A(R) – the normalizing condition is different in both cases. The main result of this paper is the structure of these two fundamental types of algebras: a finite dimensional Frobenius or separable k-algebra A is isomorphic to such an A(R). A(R) can be described using generators and relations. A new characterization of Frobenius extensions is given: B A is Frobenius if and only if A has a B-coring structure (A, , ) such that the comultiplication : A A_B A is an A-bimodule map.     

Power Series Rings Satisfying a Zero Divisor Property

In this note we continue to study zero divisors in power series rings and polynomial rings over general noncommutative rings. We first construct Armendariz rings which are not power-serieswise Armendariz, and find various properties of (power-serieswise) Armendariz rings. We show that for a semiprime power-serieswise Armendariz (so reduced) ring R with a.c.c. on annihilator ideals, R[[x]] (the power series ring with an indeterminate x over R) has finitely many minimal prime ideals, say B ₁,…,B _m , such that B ₁… B _m  = 0 and B _i  = A _i [[x]] for some minimal prime ideal A _i of R for all i, where A ₁,…,A _m are all minimal prime ideals of R. We also prove that the power-serieswise Armendarizness is preserved by the polynomial ring extension as the Armendarizness, and construct various types of (power-serieswise) Armendariz rings.     

On the Neighbourhood of a Subclass of Univalent Functions Related to Complex Order

We consider the class of functions R(A, B) introduced by Dixit and Pal, where b 0 is a complex number and A, B are fixed members –1 B < A 1. We will study the -neighbourhoods for functions belonging to R^b(A, B), by using convolution techniques.AMS Mathematics Classification (2000): 30C55     

Subdirect decompositions and the radical of a generalized Boolean algebra extension of a lattice ordered group

The extension of a lattice ordered group A by a generalized Boolean algebra B will be denoted by A _B . In this paper we apply subdirect decompositions of A _B for dealing with a question proposed by Conrad and Darnel. Further, in the case when A is linearly ordered we investigate (i) the completely subdirect decompositions of A _B and those of B, and (ii) the values of elements of A _B and the radical R(A _B ).     

On the relative character correspondences

Let π(G,A):Irr_A(G)→Irr(C_G(A)) be the Glauberman–Isaacs correspondence, where G and A are finite groups with coprime orders and A acts on G by automorphisms. Let B be a subgroup of A. In this setting, we give some new conditions for the fixed-point subgroups C_G(A) and C_G(B) such that χπ(G,A) is an irreducible constituent of the restriction of χπ(G,B) to C_G(A) for all χIrr_A(G).     

On the description of overgroups of E(m,R)?E(n,R)

The subgroups E(m,R) ⊗ E(n,R) ≤ H ≤ G = GL(mn,R) are studied under the assumption that the ring R is commutative and m, n ≥ 3. The group GL _m ⊗GL _n is defined by equations, the normalizer of the group E(m,R) ⊗ E(n,R) is calculated, and with each intermediate subgroup H it is associated a uniquely determined lower level (A,B,C), where A,B,C are ideals in R such that mA,A ² ≤ B ≤ A and nA,A ² ≤ C ≤ A. The lower level specifies the largest elementary subgroup satisfying the condition E(m, n,R, A,B,C) ≤ H. The standard answer to this problem asserts that H is contained in the normalizer N _G (E(m,n,R, A,B,C)). Bibliography: 46 titles.     

Pre-torsors and Galois Comodules Over Mixed Distributive Laws

We study comodule functors for comonads arising from mixed distributive laws. Their Galois property is reformulated in terms of a (so-called) regular arrow in Street’s bicategory of comonads. Between categories possessing equalizers, we introduce the notion of a regular adjunction. An equivalence is proven between the category of pre-torsors over two regular adjunctions (N _A ,R _A ) and (N _B ,R _B ) on one hand, and the category of regular comonad arrows (R _A ,ξ) from some equalizer preserving comonad \mathbb C{\mathbb C} to N _B R _B on the other. This generalizes a known relationship between pre-torsors over equal commutative rings and Galois objects of coalgebras. Developing a bi-Galois theory of comonads, we show that a pre-torsor over regular adjunctions determines also a second (equalizer preserving) comonad \mathbb D{\mathbb D} and a co-regular comonad arrow from \mathbb D{\mathbb D} to N _A R _A , such that the comodule categories of \mathbb C{\mathbb C} and \mathbb D{\mathbb D} are equivalent.     

The Yoneda Algebra of a Graded Ore Extension

Let A be a connected-graded algebra with trivial module 𝕜, and let B be a graded Ore extension of A. We relate the structure of the Yoneda algebra E(A): = Ext _A (𝕜, 𝕜) to E(B). Cassidy and Shelton have shown that when A satisfies their 𝒦₂ property, B will also be 𝒦₂. We prove the converse of this result.     

On intertwining operators

LetB(H) denote the algebra of operators on the Hilbert spaceH into itself. GivenA,BB(H), defineC (A, B) andR (A, B):B(H)B(H) byC (A, B) X=AX–XB andR(A, B) X=AXB–X. Our purpose in this note is a twofold one. we show firstly that ifA andB ^*B (H) are dominant operators such that the pure part ofB has non-trivial kernel, thenC ⁿ (A, B) X=0, n some natural number, implies thatC (A, B)X=C(A ^*,B ^*)X=0. Secondly, it is shown that ifA andB ^* are contractions withC ₀ completely non-unitary parts, thenR ⁿ (A, B) X=0 for some natural numbern implies thatR (A, B) X=R (A ^*,B ^*)X=C (A, B ^*)X=C (A ^*,B) X=0. In the particular case in whichX is of the Hilbert—Schmidt class, it is shown that his result extends to all contractionsA andB.     

The smooth Banach submanifold B*(E, F) in B(E, F)

Let E,F be two Banach spaces,B(E,F),B+(E,F),Φ(E,F),SΦ(E,F) and R(E,F) be bounded linear,double splitting,Fredholm,semi-Frdholm and finite rank operators from E into F,respectively. Let Σ be any one of the following sets:{T ∈Φ(E,F):Index T=constant and dim N(T)=constant},{T ∈ SΦ(E,F):either dim N(T)=constant< ∞ or codim R(T)=constant< ∞} and {T ∈ R(E,F):Rank T=constant< ∞}. Then it is known that Σ is a smooth submanifold of B(E,F) with the tangent space TAΣ={B ∈ B(E,F):BN(A)-R(A) } for any A ∈Σ. However,for ...     

Derived equivalence of algebras

The derived equivalence and stable equivalence of algebrasR _A ^m and R _B ^m are studied. It is proved, using the tilting complex, thatR _A ^m andR _B ^m are derived-equivalent whenever algebrasA andB are derived-equivalent.     

Rank One Perturbations with Infinitesimal Coupling

We consider a positive self-adjoint operator A and formal rank one perturbations B = A + α(φ, ·)φ, where φ ₋₂(A) but φ ₋₁ (A), with _s(A) the usual scale of spaces. We show that B can be defined for such φ and what are essentially negative infinitesimal values of α. In a sense we will make precise, every rank one perturbation is one of three forms: (i) φ ₋₁(A), α ; (ii) φ ₋₁, α = ∞; or (iii) the new type we consider here.     

Lie Triple Derivable Mappings on Rings

Let ? be a ring containing a nontrivial idempotent. In this article, under a mild condition on ?, we prove that if δ is a Lie triple derivable mapping from ? into ?, then there exists a Z _{A, B} (depending on A and B) in its centre 𝒵(?) such that δ(A + B) = δ(A) + δ(B) + Z _{A, B} . In particular, let ? be a prime ring of characteristic not 2 containing a nontrivial idempotent. It is shown that, under some mild conditions on ?, if δ is a Lie triple derivable mapping from ? into ?, then δ = D + τ, where D is an additive derivation from ? into its central closure T and τ is a mapping from ? into its extended centroid 𝒞 such that τ(A + B) = τ(A) + τ(B) + Z _{A, B} and τ([[A, B], C]) = 0 for all A, B, C ∈ ?.     

Wythoff''s sequence and -Heap Wythoff''s conjectures

Define a Wythoff's sequence as a sequence of pairs of integers (A_n,B_n) _n>n0 such that there exists a finite set of integers T, A_n=mex( A_i,B_i:i<n T), B_n-A_n=n, and B_n ∩T=. Structural properties and behaviors of Wythoff's sequence are investigated. The main result is that for such a sequence, there always exists an integer α such that when n is large enough, |A_n-nφ-α|1, where , the golden section. The value of α can also be easily determined by a relatively small number of pairs in the sequence. As a corollary, the two conjectures on the N-heap Wythoff's game by Fraenkel [Complexity, appeal and challenges of combinatorial Games, Theoret. Comput. Sci. 313 (2004) 393–415] on the N-heaped Wythoff's game are proved to be equivalent.     

Riemann–Hilbert analysis for Jacobi polynomials orthogonal on a single contour

Classical Jacobi polynomials , with α,β>-1, have a number of well-known properties, in particular the location of their zeros in the open interval (-1,1). This property is no longer valid for other values of the parameters; in general, zeros are complex. In this paper we study the strong asymptotics of Jacobi polynomials where the real parameters α_n,β_n depend on n in such a way that

with . We restrict our attention to the case where the limits A,B are not both positive and take values outside of the triangle bounded by the straight lines A=0, B=0 and A+B+2=0. As a corollary, we show that in the limit the zeros distribute along certain curves that constitute trajectories of a quadratic differential.The non-hermitian orthogonality relations for Jacobi polynomials with varying parameters lie in the core of our approach; in the cases we consider, these relations hold on a single contour of the complex plane. The asymptotic analysis is performed using the Deift–Zhou steepest descent method based on the Riemann–Hilbert reformulation of Jacobi polynomials.     

On two set-systems with restricted cross-intersections

If A₁, …, A_m; B₁, …, B_m are finite sets such that for l t 0 and any r, s, we have |A_i| r, |B_i| s and |_i ∩ B_i| t for 1 i m and |A_i ∩ B_i| > l for 1 i < j m, what is the maximum value that m can attain? In this paper we answer this question of Füredi and extend an inequality of Bollobás.im]0658.TIF     

The Mal'cev Rank for Modules over Pseudo-Valuation Domains

Let R be a commutative ring and A be an R-module. The Mal'cev rank μ(A) of A is the sup of genN, where N ranges over the finitely generated submodules of A, and genN is the minimum number of generators of N. We prove that μ is both sub-additive and pre-additive as an invariant of Mod(R). Our main goal is to investigate μ for modules over pseudo-valuation domains. Specifically, we establish which pseudo-valuation domains R satisfy the property that an R-module of finite Mal'cev rank must be finitely generated. We split the class 𝒞 of pseudo-valuation domains as a union 𝒞 = 𝒞₁ ∪ 𝒞₂ ∪ 𝒞₃ ∪ 𝒞₄ of suitably defined subclasses, and prove that the property holds if and only if R ∈ 𝒞₃ ∪ 𝒞₄. In that case we can describe the R-modules A where μ(A) < ∞. We also show that, for R ∈ 𝒞₄, there exist indecomposable R-modules of arbitrarily large finite Mal'cev rank.     

The Maximal and Minimal Ranks of Some Expressions of Generalized Inverses of Matrices

In this paper, we first determine the maximal and minimal ranks of A — BXC with respect to X. Using those results, we then find the maximal and minimal ranks of the expressions AA^– — A^– A — BB^– A — AC^– C and B^– BA — ACC^– with respect to the choice of generalized inverses A^–, B^– and C^–. In particular, we consider the commutativity of A and A^–, A^k and A^–.The research of the author was supported in part by the Natural Sciences and Engineering Research Council of Canada.