On injective modules over Azumaya algebras over locally noetherian schemes

Let be an Azumaya algebra over a locally noetherian scheme X. We describe in this work quasi-coherent -bimodules which are injective in the category of sheaves of left -modules     

On certain finite-dimensional algebras generated by two idempotents

This paper is concerned with algebras generated by two idempotents P and Q satisfying (PQ)^m=(QP)^m and (PQ)^m-1≠(QP)^m-1. The main result is the classification of all these algebras, implying that for each m?2 there exist exactly eight nonisomorphic copies. As an application, it is shown that if an element of such an algebra has a nondegenerate leading term, then it is group invertible, and a formula for the explicit computation of the group inverse is given.     

Jordan *-derivation pairs and quadratic functionals on modules over *-rings

Summary We give a new simple proof of Šemrl’s recent representation theorem for quasi-quadratic functions acting on unital modules and then show that our approach also gives a certain extension of Šemrl’s result. This paper is intended to point out the usefulness of the ternary point of view even when we are dealing with problems which involve only binary structure. Dedicated to the memory of Professor Gy?rgy Szabó Supported in part by the Slovene Ministry of Science grant P1-5505-0101/93.     

Group inverses and Drazin inverses over Banach algebras

For a matrix over a complex commutative unital Banach algebra, necessary and sufficient conditions are given for the existence of its group inverse, and more generally, its Drazin inverses. The conditions are easy to check and explicit formulas for the inverses are provided. Some properties of the inverses and an application to operator theory are discussed. This note is a continuation of an earlier work of the author.     

Generalized inverses over Banach algebras

LetA be a matrix over a complex commutative unital Banach algebra. We give necessary and sufficient conditions forA to have a generalized inverse. Moreover, if the Banach algebra has a symmetric involution, these are also necessary and sufficient conditions forA to admit the Moore-Penrose inverse.Partially supported by NSF Grant DMS-8802593     

Cartan determinants for gentle algebras

The determinant of the Cartan matrix of a finite dimensional algebra is an invariant of the derived category and can be very helpful for derived equivalence classifications. In this paper we determine the determinants of the Cartan matrices for all gentle algebras. This is a class of algebras of tame representation type which occurs naturally in various places in representation theory. The definition of these algebras is of a purely combinatorial nature, and so are our formulae for the Cartan determinants.Received: 29 October 2004     

Zero sums of idempotents in Banach algebras

The problem treated in this paper is the following.Let p ₁,...,p _k be idempotents in a Banach algebra B, and assume p ₁+...+p _k =0.Does it follow that p _j =0,j=1,..., k? For important classes of Banach algebras the answer turns out to be positive; in general, however, it is negative. A counterexample is given involving five nonzero bounded projections on infinite-dimensional separable Hilbert space. The number five is critical here: in Banach algebras nontrivial zero sums of four idempotents are impossible. In a purely algebraic context (no norm), the situation is different. There the critical number is four.     

Logarithmic residues in Banach algebras

Letf be an analytic Banach algebra valued function and suppose that the contour integral of the logarithmic derivativef′f ^?1 around a Cauchy domainD vanishes. Does it follow thatf takes invertible values on all ofD? For important classes of Banach algebras, the answer is positive. In general, however, it is negative. The counterexample showing this involves a (nontrivial) zero sum of logarithmic residues (that are in fact idempotents). The analysis of such zero sums leads to results about the convex cone generated by the logarithmic residues.     

On Darboux points of real functions

The nature and relationship of the sets of Darboux points and continuity points of real function are studied.     

Incidence algebras that are uniquely determined by their zero-nonzero matrix pattern

To what extent is the isomorphism type of an incidence algebra determined by the zero-nonzero pattern of a matrix representation? We settle the question in a natural framework where the matrices are subdivided into four blocks: The lower left is zero, the diagonal blocks are fixed, and the upper right is variable.     

A variance bound for a general function of independent noncommutative random variables

The main purpose of this paper is to establish a noncommutative analogue of the Efron-Stein inequality, which bounds the variance of a general function of some independent random variables. Moreover, we state an operator version including random matrices, which extends a result of D. Paulin et al., [Ann. Probab. 44(5) (2016), 3431–3473]. Further, we state a Steele type inequality in the framework of noncommutative probability spaces.     

On the essential approximate point spectrum of operators

If belongs to the essential approximate point spectrum of a Banach space operatorTB(X) and is a sequence of positive numbers with lim ^j a _j =0, then there existsxX such that for every polynomialp. This result is the best possible — if for some constantc>0 thenT has already a non-trivial invariant subspace, which is not true in general.     

Hahn-Banach extension property for Banach spaces over non-archimedean fields

LetK be a locally compact non-archimedean non-trivially valued field. It is proved the theorem: For a Banach space overK containing a dense subspace with the Hahn-Banach extension property one of the following two mutually exclusive conditions holds:E is a non-archimedean Banach space or the space {xE:f(x)=0 for allfE ^*} has no non-trivial continuous linear functionals. Two corollaries are also obtained.     

Iterations of linear maps over finite fields

We study the dynamics of the evolution of Ducci sequences and the Martin-Odlyzko-Wolfram cellular automaton by iterating their respective linear maps on . After a review of an algebraic characterization of cycle lengths, we deduce the relationship between the maximal cycle lengths of these two maps from a simple connection between them. For n odd, we establish a conjugacy relationship that provides a more direct identification of their dynamics. We give an alternate, geometric proof of the maximal cycle length relationship, based on this conjugacy and a symmetry property. We show that the cyclic dynamics of both maps in dimension 2n can be deduced from their periodic behavior in dimension n. This link is generalized to a larger class of maps. With restrictions shared by both maps, we obtain a formula for the number of vectors in dimension 2n belonging to a cycle of length q that expresses this number in terms of the analogous values in dimension n.     

Stability results for projective modules over Rees algebras

We provide a class of commutative Noetherian domains R of dimension d such that every finitely generated projective R-module P of rank d splits off a free summand of rank one. On this class, we also show that P is cancellative. At the end we give some applications to the number of generators of a module over the Rees algebras.     

Hasse principle for classical groups over function fields of curves over number fields

In (Letter to J.-P. Serre, 12 June 1991) Colliot-Thélène conjectures the following: Let F be a function field in one variable over a number field, with field of constants k and G be a semisimple simply connected linear algebraic group defined over F. Then the map has trivial kernel, denoting the set of places of k.The conjecture is true if G is of type 1A∗, i.e., isomorphic to SL₁(A) for a central simple algebra A over F of square free index, as pointed out by Colliot-Thélène, being an immediate consequence of the theorems of Merkurjev-Suslin [S1] and Kato [K]. Gille [G] proves the conjecture if G is defined over k and F=k(t), the rational function field in one variable over k. We prove that the conjecture is true for groups G defined over k of the types 2A∗, B_n, C_n, D_n (D₄ nontrialitarian), G₂ or F₄; a group is said to be of type 2A∗, if it is isomorphic to SU(B,τ) for a central simple algebra B of square free index over a quadratic extension k′ of k with a unitary k′|k involution τ.     

On character amenability of semigroup algebras

We study the character amenability of semigroup algebras. We work on general semigroups and certain semigroups such as inverse semigroups with a finite number of idempotents, inverse semigroups with uniformly locally finite idempotent set, Brandt and Rees semigroup and study the character amenability of the semigroup algebra l¹(S) in relation to the structures of the semigroup S. In particular, we show that for any semigroup S, if ?¹(S) is character amenable, then S is amenable and regular. We also show that the left character amenability of the semigroup algebra ?¹(S) on a Brandt semigroup S over a group G with index set J is equivalent to the amenability of G and J being finite. Finally, we show that for a Rees semigroup S with a zero over the group G, the left character amenability of ?¹(S) is equivalent to its amenability, this is in turn equivalent to G being amenable.     

On homogeneous connections with exotic holonomy

In Proc. Symp. Pure Math. 53 (1991), 33–88, Bryant gave examples of torsion free connections on four-manifolds whose holonomy is exotic, i.e. is not contained on Berger's classical list of irreducible holonomy representations. The holonomy in Bryant's examples is the irreducible four-dimensional representation of S1(2, #x211D;) (G1(2, #x211D;) resp.) and these connections are called H ₃-connections (G ₃-connections resp.).In this paper, we give a complete classification of homogeneous G ₃-connections. The moduli space of these connections is four-dimensional, and the generic homogeneous G ₃-connection is shown to be locally equivalent to a left-invariant connection on U(2). Thus, we prove the existence of compact manifolds with G ₃-connections. This contrasts a result in by Schwachhöfer (Trans. Amer. Math. Soc. 345 (1994), 293–321) which states that there are no compact manifolds with an H ₃-connection.