K1 of Chevalley groups are nilpotent

Abstract Let F be a reduced irreducible root system and R be a commutative ring. Further, let G(F,R) be a Chevalley group of type F over R and E(F,R) be its elementary subgroup. We prove that if the rank of F is at least 2 and the Bass-Serre dimension of R is finite, then the quotient G(F,R)/E(F,R) is nilpotent by abelian. In particular, when G(F,R) is simply connected the quotient K1(F,R)=G(F,R)/E(F,R) is nilpotent. This result was previously established by Bak for the series A1 and by Hazrat for C1 and D1. As in the above papers we use the localisation-completion method of Bak, with some technical simplifications.

Finite dimensional semigroup quadratic algebras with the minimal number of relations

A quadratic semigroup algebra is an algebra over a field given by the generators x_1, . . . , x_n and a finite set of quadratic relations each of which either has the shape x_j x_k = 0 or the shape x_j x_k = x_l x_m . We prove that a quadratic semigroup algebra given by n generators and d=(n^2+n)/4 relations is always infinite dimensional. This strengthens the Golod–Shafarevich estimate for the above class of algebras. Our main result however is that for every n, there is a finite dimensional quadratic semigroup algebra with n generators and d_n relations, where d_n is the first integer greater than (n^2+n)/4 . That is, the above Golod–Shafarevich-type estimate for semigroup algebras is sharp.

On supercyclicity of operators from a supercyclic semigroup

We show that for every supercyclic strongly continuous operator
semigroup $\{T_t\}_{t\geq 0}$ acting on a complex $\F$-space, every
$T_t$ with $t>0$ is supercyclic. Moreover, the set of supercyclic
vectors of $T_t$ does not depend on the choice of $t>0$.

Locally quasi-nilpotent elementary operators

Let A be a unital dense algebra of linear mappings on a complex vector space X. Let φ = Σⁿ _i=1 M_ai,_bi be a locally quasi-nilpotent elementary operator of length n on A. We show that, if {a1, . . . , an} is locally linearly independent, then the local dimension of V (φ) = span{b_ia_j : 1 ≤ i, j ≤ n} is at most n(n−1) 2 . If ldim V (φ) = n(n−1) 2 , then there exists a representation of φ as φ = Σⁿ _i=1 M_ui,_vi with v_iu_j = 0 for i ≥ j. Moreover, we give a complete characterization of locally quasinilpotent elementary operators of length 3.

Optimal 5-step nilpotent quadratic algebras

By the Golod–Shafarevich theorem, an associative algebra $R$ given by $n$ generators and $<n^2/3$ homogeneous quadratic relations is not 5-step nilpotent. We prove that this estimate is optimal. Namely, we show that for every positive integer $n$, there is an algebra $R$ given by $n$ generators and $\lceil n^2/3\rceil$ homogeneous quadratic relations such that $R$ is 5-step nilpotent.

Semiring induced valuation algebras: Exact and approximate local computation algorithms

Local computation in join trees or acyclic hypertrees has been shown to be linked to a particular algebraic structure, called valuation algebra.There are many models of this algebraic structure ranging from probability theory to numerical analysis, relational databases and various classical and non-classical logics. It turns out that many interesting models of valuation algebras may be derived from semiring valued mappings. In this paper we study how valuation algebras are induced by semirings and how the structure of the valuation algebra is related to the algebraic structure of the semiring. In particular, c-semirings with idempotent multiplication induce idempotent valuation algebras and therefore permit particularly efficient architectures for local computation. Also important are semirings whose multiplicative semigroup is embedded in a union of groups. They induce valuation algebras with a partially defined division. For these valuation algebras, the well-known architectures for Bayesian networks apply. We also extend the general computational framework to allow derivation of bounds and approximations, for when exact computation is not feasible.

Hypercyclic tuples of operators on $C^n$ and $R^n$

A tuple $(T_1,\dots,T_n)$ of continuous linear operators on a topological vector space $X$ is called hypercyclic if there is $x\in X$ such that the the orbit of $x$ under the action of the semigroup generated by $T_1,\dots,T_n$ is dense in $X$. This concept was introduced by N.~Feldman, who have raised 7 questions on hypercyclic tuples. We answer those 4 of them, which can be dealt with on the level of operators on finite dimensional spaces. In
particular, we prove that the minimal cardinality of a hypercyclic tuple of operators on $\C^n$ (respectively, on $\R^n$) is $n+1$ (respectively, $\frac n2+\frac{5+(-1)^n}{4}$), that there are non-diagonalizable tuples of operators on $\R^2$ which possess an orbit being neither dense nor nowhere dense and construct a hypercyclic 6-tuple of operators on $\C^3$ such that every operator commuting with each member of the tuple is non-cyclic.

More elementary operators that are spectrally bounded

We discuss some necessary and some sufficient conditions for an elementary operator x↦∑ⁿ_i=1a_ixb_i on a Banach algebra A to be spectrally bounded. In the case of length three, we obtain a complete characterisation when A acts irreducibly on a Banach space of dimension greater than three.

Orbits of semigroups of truncated convolution operators

We prove that a semigroup generated by finitely many truncated convolution operators on $L_p[0, 1]$ with 1 ≤ p < ∞ is non-supercyclic. On the other hand, there is a truncated convolution operator, which possesses irregular vectors.