Extending Sets of Idempotents to Ring Extensions

In this paper the idea of an intrinsic extension of a ring, first proposed by Faith and Utumi, is generalized and studied in its own right. For these types of ring extensions, it is shown that, with relatively mild conditions on the base ring, R, a complete set of primitive idempotents (a complete set of left triangulating idempotents, a complete set of centrally primitive idempotents) can be constructed for an intrinsic extension, T, from a corresponding set in the base ring R. Examples and applications are given for rings that occur in functional analysis and group ring theory.     

On Some Geometric Representations of GL N (𝔬)

We study a family of complex representations of the group GL _n (𝔬), where 𝔬 is the ring of integers of a non-archimedean local field F. These representations occur in the restriction of the Grassmann representation of GL _n (F) to its maximal compact subgroup GL _n (𝔬). We compute explicitly the transition matrix between a geometric basis of the Hecke algebra associated with the representation and an algebraic basis that consists of its minimal idempotents. The transition matrix involves combinatorial invariants of lattices of submodules of finite 𝔬-modules. The idempotents are p-adic analogs of the multivariable Jacobi polynomials.     

Polynomial identity rings as rings of functions

We generalize the usual relationship between irreducible Zariski closed subsets of the affine space, their defining ideals, coordinate rings, and function fields, to a non-commutative setting, where “varieties” carry a PGL_n-action, regular and rational “functions” on them are matrix-valued, “coordinate rings” are prime polynomial identity algebras, and “function fields” are central simple algebras of degree n. In particular, a prime polynomial identity algebra of degree n is finitely generated if and only if it arises as the “coordinate ring” of a “variety” in this setting. For n=1 our definitions and results reduce to those of classical affine algebraic geometry.     

Jordan generalized derivations on triangular algebras

Let 𝒜 be a unital algebra and let ? be a unitary 𝒜-bimodule. We consider Jordan generalized derivations mapping from 𝒜 into ?. Our results on unitary algebras are applied to triangular algebras. In particular, we prove that any Jordan generalized derivation of a triangular algebra is a generalized derivation.     

Separable Bimodules and Approximation

Using approximations, we give several characterizations of separability of bimodules. We also discuss how separability properties can be used to transfer some representation theoretic properties from one ring to another: contravariant finiteness of the subcategory of (finitely generated) left modules with finite projective dimension, finitistic dimension, finite representation type, Auslander algebra, tame or wild representation type. Presented by A. VerschorenMathematics Subjects Classifications (2000) 16L60, 16H05, 16G10.Research supported by the bilateral project BIL99/43 “New computational, geometric and algebraic methods applied to quantum groups and diffferential operators” of the Flemish and Chinese governments.     

Algebras Generated by Semicentral Idempotents

Let be a unital K-algebra, where K is a commutative ring with unity. An idempotent is {\it left semicentral\/} if , and is {\it SCI-generated\/} if it is generated as a K-module by left semicentral idempotents. This paper develops the basic properties of SCI-generated algebras and characterizes those that are also prime, semiprime, primitive, or subdirectly irreducible. Minimal ideals and the socle of SCI-generated algebras are investigated. Conditions are found to describe a large class of SCI-generated algebras via generalized triangular matrix representations. SCI-generated piecewise domains are characterized. Examples are given that illustrate the breadth and diversity of the class of SCI-generated algebras.     

Māl, enunciations, and the prehistory of Arabic algebra

Medieval Arabic algebra books intended for practical training generally have in common a first “book” which is divided into two sections: one on the methods of solving simplified equations and manipulating expressions, followed by one consisting of worked-out problems. By paying close attention to the wording of the problems in the books of al-Khwārizmī, Abū Kāmil, and Ibn Badr, we reveal the different ways the word māl was used. In the enunciation of a problem it is a common noun meaning “quantity,” while in the solution it is the proper noun naming the square of “thing” (shay '). We then look into the differences between the wording of enunciations and equations, which clarify certain problems solved without “thing,” and help explain the development of algebra before the time of al-Khwārizmī.     

Notes on elation generalized quadrangles

Let be a finite generalized quadrangle of order (s,t),s,t>1. An “elation about a point p” of is an automorphism fixing p linewise and fixing no point which is not collinear with p. An elation that generates a cyclic group of elations is called a “standard elation”. One of the problems already considered in Payne and Thas (Finite Generalized Quadrangles (1984)) is to determine just when the set of elations about the point (∞) is a group. The purpose of this paper is to provide an example where this is not the case, and then to show that for a flock generalized quadrangle the usual group of elations about (∞) is the complete set of standard elations about (∞).     

Structures and Representations of Generalized Path Algebras

It is shown that an algebra Λ can be lifted with nilpotent Jacobson radical r = r(Λ) and has a generalized matrix unit {e _ii } _I with each ē _ii in the center of if Λ is isomorphic to a generalized path algebra with weak relations. Representations of the generalized path algebras are given. As a corollary, Λ is a finite algebra with non-zero unity element over a perfect field k (e.g., a field with characteristic zero or a finite field) if Λ is isomorphic to a generalized path algebra k (D, Ω, ρ) of finite directed graph with weak relations and dim < ∞; Λ is a generalized elementary algebra which can be lifted with nilpotent Jacobson radical and has a complete set of pairwise orthogonal idempotents if Λ is isomorphic to a path algebra with relations. Presented by Idun Reiten.     

The b-transform

The b-transform is used to convert entire functions into “primary b-functions” by replacing the powers and factorials in the Taylor series of the entire function with corresponding “generalized powers” (which arise from a polynomial function with combinatorial applications) and “generalized factorials.” The b-transform of the exponential function turns out to be a generalization of the Euler partition generating function, and partition generating functions play a key role in obtaining results for the b-transforms of the elementary entire transcendental functions. A variety of normal-looking results arise, including generalizations of Euler's formula and De Moivre's theorem. Applications to discrete probability and applied mathematics (i.e., damped harmonic motion) are indicated. Also, generalized derivatives are obtained by extending the concept of a b-transform.     

Minimal Idempotents of Twisted Group Algebras of Cyclic 2-Groups

For a field K of characteristic different from 2, we find the explicit form of the minimal idempotents of the twisted group algebra K_tg of a cyclic 2-group g over K.AMS Subject Classification (1991): primary 16S35, secondary 16U60.Partially supported by the Fund “NIMP’’ of Plovdiv University.     

On the tensor product of a finite and an infinite dimensional representation

There are two main results in the paper. The first gives the infinitesimal character that can occur in the tensor product V V_λ of an irreducible finite dimensional representation V_λ and an irreducible infinite dimensional representation V of a semisimple Lie algebra . The statement is that the infinitesimal characters are x_{v + μi}, I = 1, 2,…, k, where μ_i are the weights of V_λand v is the “pseudo” highest weight of V.The second result proves that if V is a Harish-Chandra module (one which comes from a group representation), then V V_λ has a finite composition series. But then the irreducible components in the composition series have the infinitesimal characters given in the first results.     

The Degree Spectra of Definable Relations on Boolean Algebras

We study some questions concerning the structure of the spectra of the sets of atoms and atomless elements in a computable Boolean algebra. We prove that if the spectrum of the set of atoms contains a 1-low degree then it contains a computable degree. We show also that in a computable Boolean algebra of characteristic (1, 1, 0) whose set of atoms is computable the spectrum of the atomless ideal consists of all Π ₀ ² degrees.Original Russian Text Copyright © 2005 Semukhin P. M.The author was supported by the Russian Foundation for Basic Research (Grant 02-01-00593), the Leading Scientific Schools of the Russian Federation (Grant NSh-2112.2003.1), and the Program “Universities of Russia” (Grant UR.04.01.013).__________Translated from Sibirskii Matematicheskii Zhurnal, Vol. 46, No. 4, pp. 928–941, July–August, 2005.     

Geometric separation and exact solutions for the parameterized independent set problem on disk graphs

We consider the parameterized problem, whether for a given set  of n disks (of bounded radius ratio) in the Euclidean plane there exists a set of k non-intersecting disks. For this problem, we expose an algorithm running in time that is—to our knowledge—the first algorithm with running time bounded by an exponential with a sublinear exponent. For λ-precision disk graphs of bounded radius ratio, we show that the problem is fixed parameter tractable with a running time  . The results are based on problem kernelization and a new “geometric ( -separator) theorem” which holds for all disk graphs of bounded radius ratio. The presented algorithm then performs, in a first step, a “geometric problem kernelization” and, in a second step, uses divide-and-conquer based on our new “geometric separator theorem.”     

Nonlinear generalized Lie triple derivation on triangular algebras

Let ? be a commutative ring with identity and let 𝔄 = Tri(𝒜,?,?) be a triangular algebra consisting of unital algebras 𝒜,? over ? and an (𝒜,?)-bimodule ? which is faithful as a left 𝒜-module as well as a right ?-module. In this paper, we prove that under certain assumptions every nonlinear generalized Lie triple derivation G_L:𝔄→𝔄 is of the form G_L = δ+τ, where δ:𝔄→𝔄 is an additive generalized derivation on 𝔄 and τ is a mapping from 𝔄 into its center which annihilates all Lie triple products [[x,y],z].     

Additivity of Lie multiplicative maps on triangular algebras

Let 𝒜 and ? be unital algebras over a commutative ring ?, and ? be a (𝒜,??)-bimodule, which is faithful as a left 𝒜-module and also as a right ?-module. Let 𝒰?=?Tri(𝒜,??,??) be the triangular algebra and 𝒱 any algebra over ?. Assume that Φ?:?𝒰?→?𝒱 is a Lie multiplicative isomorphism, that is, Φ satisfies Φ(ST???TS)?=?Φ(S)Φ(T)???Φ(T)Φ(S) for all S, T?∈?𝒰. Then Φ(S?+?T)?=?Φ(S)?+?Φ(T)?+?Z _S,T for all S, T?∈?𝒰, where Z _S,T is an element in the centre 𝒵(𝒱) of 𝒱 depending on S and T.     

Generalized skew derivations on triangular algebras determined by action on zero products

For a triangular algebra 𝒜 and an automorphism σ of 𝒜, we describe linear maps F,G:𝒜→𝒜 satisfying F(x)y+σ(x)G(y) = 0 whenever x,y∈𝒜 are such that xy = 0. In particular, when 𝒜 is a zero product determined triangular algebra, maps F and G satisfying the above condition are generalized skew derivations of the form F(x) = F(1)x+D(x) and G(x) = σ(x)G(1)+D(x) for all x∈𝒜, where D:𝒜→𝒜 is a skew derivation. When 𝒜 is not zero product determined, we show that there are also nonstandard solutions for maps F and G.     

Sub-Laplacians of Holomorphic L-type on Rank One AN-Groups and Related Solvable Groups

Consider a right-invariant sub-Laplacian L on an exponential solvable Lie group G, endowed with a left-invariant Haar measure. Depending on the structure of G and possibly also that of L, L may admit differentiable L^p-functional calculi, or may be of holomorphic L^p-type for a given p≠2, as recent studies of specific classes of groups G and sub-Laplacians L have revealed. By “holomorphic L^p-type” we mean that every L^p-spectral multiplier for L is necessarily holomorphic in a complex neighborhood of some point in the L²-spectrum of L. This can only arise if the group algebra L¹(G) is non-symmetric. In this article we prove that, for large classes of exponential groups, including all rank one AN-groups, a certain Lie algebraic condition, which characterizes the non-symmetry of L¹(G) [37], also suffices for L to be of holomorphic L¹-type. Moreover, if this condition, which was first introduced by J. Boidol [6] in a different context, holds for generic points in the dual * of the Lie algebra of G, then L is of holomorphic L^p-type for every p≠2. Besides the non-symmetry of L¹(G), also the closedness of coadjoint orbits plays a crucial role. We also discuss an example of a higher rank AN-group. This example and our results in the rank one case suggest that sub-Laplacians on exponential Lie groups may be of holomorphic L¹-type if and only if there exists a closed coadjoint orbit Ω * such that the points of Ω satisfy Boidol's condition. In the course of the proof of our main results, whose principal strategy is similar as in [8], we develop various tools which may be of independent interest and largely apply to more general Lie groups. Some of them are certainly known as “folklore” results. For instance, we study subelliptic estimates on representation spaces, the relation between spectral multipliers and unitary representations, and develop some “holomorphic” and “continuous” perturbation theory for images of sub-Laplacians under “smoothly varying” families of irreducible unitary representations.     

Representation of real commutative rings

During the last 10 years there have been several new results on the representation of real polynomials, positive on some semi-algebraic subset of . These results started with a solution of the moment problem by Schmüdgen for compact semi-algebraic sets. Later, Wörmann realized that the same results could be obtained by the so-called “Kadison–Dubois” Representation Theorem.The aim of our paper is to present this representation theorem together with its history, and to discuss its implication to the representation of positive polynomials. Also recent improvements of both topics by T. Jacobi and the author will be included.     

Uniformly generated submodules of permutation modules: Over fields of characteristic 0

This paper is motivated by a link between algebraic proof complexity and the representation theory of the finite symmetric groups. Our perspective leads to a new avenue of investigation in the representation theory of S_n. Most of our technical results concern the structure of “uniformly” generated submodules of permutation modules. For example, we consider sequences of submodules of the permutation modules M^(n−k,1k) and prove that if the sequence W_n is given in a uniform (in n) way – which we make precise – the dimension p(n) of W_n (as a vector space) is a single polynomial with rational coefficients, for all but finitely many “singular” values of n. Furthermore, we show that dim(W_n)<p(n) for each singular value of n≥4k. The results have a non-traditional flavor arising from the study of the irreducible structure of the submodules W_n beyond isomorphism types. We sketch the link between our structure theorems and proof complexity questions, which are motivated by the famous NP vs. co-NP problem in complexity theory. In particular, we focus on the complexity of showing membership in polynomial ideals, in various proof systems, for example, based on Hilbert's Nullstellensatz.