The group SK1 for simple algebras

We prove that the reduced Whitehead group SK ₁(A) is generically nontrival for any central simple algebra A of index divisible by 4. This work has been supported by the NSF grant DMS #0355166.     

On torsion subgroups of whitehead groups of division algebras

We completely determine all torsion abelian groups that can occur as the torsion subgroup of the Whitehead group of a division algebra of prime index. More precisely, we prove that if D is a division algebra of prime index, then the torsion subgroup of K ₁(D) is locally cyclic. Conversely, if A is a torsion locally cyclic group, then there exists a division algebra D of prime index such that the torsion subgroup of K ₁(D) is isomorphic to A. Our result can be considered as a non-commutative version of May’s Theorem.     

SK1 of Azumaya algebras over Hensel Pairs

Let A be an Azumaya algebra of constant rank n ² over a Hensel pair (R, I) where R is a semilocal ring with n invertible in R. Then the reduced Whitehead group SK₁(A) coincides with its reduction SK₁(A/I A). This generalizes a result of Hazrat (J Algebra 305:687–703, 2006) to non-local Henselian rings.     

Stability of unitary SK<Subscript>1</Subscript> of Azumaya algebras

For an Azumaya algebra A with center C of rank n ² and a unitary involution τ, we study the stability of the unitary SK₁ under reduction. We show that if R = C ^τ is a Henselian ring with maximal ideal \mathfrakm{\mathfrak{m}} and 2 and n are invertible in R then SK₁(A, t) @ SK₁(A/ \mathfrakm A, overline t){{{\rm SK}_1}(A, \tau) \cong {{\rm SK}_1}(A/ \mathfrak{m} A, overline \tau)}.     

Comparing Invariants of SK1

In this text, we compare an invariant of the reduced Whitehead group SK ₁ of a central simple algebra recently introduced by Kahn (2010) to other invariants of SK ₁. Doing so, we prove the non-triviality of Kahn’s invariant using the non-triviality of an invariant introduced by Suslin (1991) which is non-trivial for Platonov’s examples of non-trivial SK ₁ (Platonov, Math USSR Izv 10(2):211–243, 1976). We also give a formula for the value on the centre of the tensor product of two symbol algebras which generalises a formula of Merkurjev for biquaternion algebras (Merkurjev 1995).     

Computation of k1 Via mennicke symbols

For any ring A, the group K₁A is filtered by the Whitehead determinants of invertible matrices over A of different sizes. We want to compute the corresponding graded group (especially the highest degree non-zero term) in terms of symbols which generalize Mennicke’s symbol. In particular, we generalize the Bass-Milnor-Serre result which presents SK₁A of a Dedekind ring A via the Mennicke symbol, to an arbitrary commutative ring A satisfying the Bass second stable range condition. As an application, SK₁ is computed for some rings of continuous functions. Some of our theorems are partially known, but we have often weakened hypotheses, using stable range conditions rather than Krull dimension (having in mind applications to rings of continuous functions).     

Finite presentability of <Emphasis Type="Italic">SL</Emphasis><Subscript>1</Subscript>(<Emphasis Type="Italic">D</Emphasis>)

Let D be a finite dimensional division algebra over a local field of characteristic p and let SL ₁(D) denote the group of elements of reduced norm 1 in D. In this paper we prove that SL ₁(D) is finitely presented as a profinite group. This work is part of the author’s Ph.D. Thesis at Yale University.     

Unitary SK1 of semiramified graded and valued division algebras

We prove formulas for SK₁(E, τ), which is the unitary SK₁ for a graded division algebra E finite-dimensional and semiramified over its center T with respect to a unitary involution τ on E. Every such formula yields a corresponding formula for SK₁(D, ρ) where D is a division algebra tame and semiramified over a Henselian valued field and ρ is a unitary involution on D. For example, it is shown that if ${\sf{E} \sim \sf{I}_0 \otimes_{\sf{T}_0}\sf{N}}$ where I ₀ is a central simple T ₀-algebra split by N ₀ and N is decomposably semiramified with ${\sf{N}_0 \cong L_1\otimes_{\sf{T}_0} L_2}$ with L ₁, L ₂ fields each cyclic Galois over T ₀, then $${\rm SK}_1(\sf{E}, \tau) \,\cong\ {\rm Br}(({L_1}\otimes_{\sf{T}_0} {L_2})/\sf{T}_0;\sf{T}_0^\tau)\big/ \left[{\rm Br}({L_1}/\sf{T}_0;\sf{T}_0^\tau)\cdot {\rm Br}({L_2}/\sf{T}_0;\sf{T}_0^\tau) \cdot \langle[\sf{I}_0]\rangle\right].$$      

Identities of PI-Algebras Graded by a Finite Abelian Group

We consider associative PI-algebras over an algebraically closed field of zero characteristic graded by a finite abelian group G. It is proved that in this case the ideal of graded identities of a G-graded finitely generated PI-algebra coincides with the ideal of graded identities of some finite dimensional G-graded algebra. This implies that the ideal of G-graded identities of any (not necessary finitely generated) G-graded PI-algebra coincides with the ideal of G-graded identities of the Grassmann envelope of a finite dimensional (G × ?₂)-graded algebra, and is finitely generated as GT-ideal. Similar results take place for ideals of identities with automorphisms.     

P-commutativity of the Banach algebra L1**(G)

Let G be a compact abelian group. It is known that the second conjugate space L₁**(G) of the group algebra L₁(G) is a noneommutative, nonsemisimple, Banach algebra. It is not known if L₁**(G) admits an involution. If it does, we show that it is P-coimnutative, and hence enjoys many of the properties of commutative Banach algebras.     

Derivations nilpotent on subsets of prime rings

ABSTRACT

Let D be a division algebra with center F. Consider the group CK ₁(D) = D*/F*D′ where D* is the group of invertible elements of D and D′ is its commutator subgroup. In this note we shall show that, assuming a division algebra D is a product of cyclic algebras, the group CK ₁(D) is trivial if and only if D is an ordinary quaternion algebra over a real Pythagorean field F. We also characterize the cyclic central simple algebras with trivial CK ₁ and show that CK ₁ is not trivial for division algebras of index 4. Using valuation theory, the group CK ₁(D) is computed for some valued division algebras.

     

MAURER-CARTAN EQUATION OF A∞-ALGEBRAS

The axioms of A∞-algebras can be written as Maurer-Cartan equation. Infinitesimal multiplication of a graded associative algebra is defined and the integrability of infinitesimal multiplication is discussed through the Massey F-product.     

Sur les algèbres absolument valuées qui vérifient l'identité (x, x, x) = 0

Let A denote a prehilbert absolute valued real algebra such that (x, x, x) = 0 for all x ε A; for this algebra we obtain the same results we have previously obtained for the flexible absolute valued algebra. Our main theorem is: A has a finite dimension 1, 2, 4 or 8, and is isotopic to or C. One of the results concerning the isomorphism between A and , C^*, or C shows that if for every two idempotents e₁ and e₂ in , then A is isomorphic to , C^*, or C. The example of infinite dimensional Hilbert absolute valued algebra given by Urbanik and Wright indicates that the assumption, (x, x, x) = 0 for all x ε A, is essential.     

On the structure of graded <Emphasis Type="Italic">λ</Emphasis>-Hopf algebras

Let G be an abelian group, B the G-graded λ-Hopf algebra with A being a bicharacter on G. By introducing some new twisted algebras （coalgebras）, we investigate the basic properties of the graded antipode and the structure for B. We also prove that a G-graded λ-Hopf algebra can be embedded in a usual Hopf algebra. As an application, it is given that if G is a finite abelian group then the graded antipode of a finite dimensional G-graded A-Hopf algebra is invertible.     

Weyl’s Theorems for Some Classes of Operators

We introduce the class of operators on Banach spaces having property (H) and study Weyl’s theorems, and related results for operators which satisfy this property. We show that a- Weyl’s theorem holds for every decomposable operator having property (H). We also show that a-Weyl’s theorem holds for every multiplier T of a commutative semi-simple regular Tauberian Banach algebra. In particular every convolution operator T_μ of a group algebra L¹(G), G a locally compact abelian group, satisfies a-Weyl’s theorem. Similar results are given for multipliers of other important commutative Banach algebras.     

A compactness theorem for singular cardinals,free algebras,Whitehead problem and tranversals

We prove, in an axiomatic way, a compactness theorem for singular cardinals. We apply it to prove that, for singular λ, every λ-free algebra is free; and similar compactness results for transversals and colouring numbers. For the general result on free algebras, we develop some filters onS _k(A). As an application we conclude thatV=L implies that every Whitehead group is free.     

Graded Limits of Minimal Affinizations over the Quantum Loop Algebra of Type <Emphasis Type="Italic">G</Emphasis><Subscript>2</Subscript>

The aim of this paper is to study the graded limits of minimal affinizations over the quantum loop algebra of type G ₂. We show that the graded limits are isomorphic to multiple generalizations of Demazure modules, and obtain defining relations of them. As an application, we obtain a polyhedral multiplicity formula for the decomposition of minimal affinizations of type G ₂ as a \(U_{q}(\mathfrak {g})\)-module, by showing the corresponding formula for the graded limits. As another application, we prove a character formula of the least affinizations of generic parabolic Verma modules of type G ₂ conjectured by Mukhin and Young.     

Graded Steinberg algebras and partial actions

Given a graded ample Hausdorff groupoid, we realise its graded Steinberg algebra as a partial skew inverse semigroup ring. We use this to show that for a partial action of a discrete group on a locally compact Hausdorff topological space which is totally disconnected, the Steinberg algebra of the associated groupoid is graded isomorphic to the corresponding partial skew group ring. We show that there is a one-to-one correspondence between the open invariant subsets of the topological space and the graded ideals of the partial skew group ring. We also consider the algebraic version of the partial $C^{?}$-algebra of an abelian group and realise it as a partial skew group ring via a partial action of the group on a topological space. Applications to the theory of Leavitt path algebras are given.     

Group graded rings

Let R be a group graded ring . The map ( , ): R × R →₁ defined by: (x,y) = (xy)₁ , is an inner product on R. In this paper we investigate aspects of nondegeneracy of the product, which is a generalization of the notion of strongly G —graded rings,introduced by Dade. We show that various chain conditions are satisfied by R if and only if they are satisfied by R₁ , and that when R₁ is simple artinian, then R is a crossed product R₁ ^* G. We give conditions for simple R-modules to be completely reducible R₁ -modules . Finally, we prove an incomparability theorem,when G is finite abelian.     

Torsion-free constructive nilpotent <Emphasis Type="Italic">R</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-groups

We consider a torsion-free nilpotent R _p -group, the p-rank of whose quotient by the commutant is equal to 1 and either the rank of the center by the commutant is infinite or the rank of the group by the commutant is finite. We prove that the group is constructivizable if and only if it is isomorphic to the central extension of some divisible torsion-free constructive abelian group by some torsion-free constructive abelian R _p -group with a computably enumerable basis and a computable system of commutators. We obtain similar criteria for groups of that type as well as divisible groups to be positively defined. We also obtain sufficient conditions for the constructivizability of positively defined groups.