Completion of restricted Lie algebras

We study pro-‘finite dimensional finite exponent’ completions of restricted Lie algebras over finite fields of characteristicp. These compact Hausdorff topological restricted Lie algebras, called pro- restricted Lie algebras, are the restricted Lie-theoretic analogues of pro-p groups. A structure theory for pro- restricted Lie algebras with finite rank is developed. In particular, the centre of such a Lie algebra is shown to be open. As an application we examinep-adic analytic pro-p groups in terms of their associated pro- restricted Lie algebras. Supported by NSERC of Canada.     

Relatively convex subsets of simply connected planar sets

Let D ⊂ ℜ² be simply connected. A subset K ⊂ D is relatively convex if a, b ∈ K, [a, b] ⊂ D implies [a, b] ⊂ K. We establish the following version of Helly’s Topological Theorem: If is a family of (at least 3) compact, polygonally connected and relatively convex subsets of D, then , provided each three members of meet. We also prove other results related to the combinatorial metric ρ_K(a, b) (= smallest number of edges of a polygonal path from a to b in K).     

Quasi-localizations of ℤ

Motivated by the categorical notion of localizations applied to the quasi-category of abelian groups, we call a homomorphism α: A → B a quasi-localization of abelian groups if for each ϕ ∈ Hom(A,B) there is an n ∈ ℕ and a unique ψ ∈ End(B) such that nϕ = ψ ∘ α. In this case we call B a quasi-localization of A. In this paper we investigate quasi-localizations of the integers ℤ. While it is well-known that localizations of ℤ are just the E-rings, quasi-localizations of ℤ are much more abundant; an injection α: ℤ → M with M torsion-free, is a quasi-localization if and only if, for R = End(M), one has . We call R the ring of the quasi-localization M. Some old results due to Zassenhaus and Butler show that all rings with free additive groups of finite rank are indeed rings of quasi-localizations of ℤ. We will extend this result and show that there are also rings of infinite rank with this property. While there are many realization results of rings R as endomorphism rings of torsion-free abelian groups M in the literature, the group M is usually not contained in the divisible hull of R ⁺, as is required here. We will use a particular case of a category of left R-modules M with a distinguished family of submodules and thus . We will restrict our discussion to the case M = R such that , and in this case we call the family of left ideals E-forcing, not to be confused with the notion of forcing in set theory. We will provide many examples of quasi-localizations M of ℤ, among them those of infinite rank as well as matrix rings for various rings of finite rank.     

Reality properties of conjugacy classes in algebraic groups

Let be a (not necessarily semi-finite) σ-finite von Neumann algebra. We prove that there exists a finite von Neumann algebra so that for every 1 < p < 2, the Haagerup L ^p -space associated with embeds isomorphically into . We also provide a proof of the following non-commutative generalization of a classical result of Rosenthal: if is a semi-finite von Neumann algebra then every reflexive subspace of embeds isomorphically into L ^r ( ) for some r > 1. Dedicated to Professor H. P. Rosenthal on the occasion of his sixty-fifth birthday Research partially supported by NSF grant DMS-0456781.     

A sufficient condition for a number to be the order of a nonsingular derivation of a Lie algebra

A study of the set of positive integers which occur as orders of nonsingular derivations of finite-dimensional non-nilpotent Lie algebras of characteristic p > 0 was initiated by Shalev and continued by the present author. The main goal of this paper is to produce more elements of . Our main result shows that any divisor n of q − 1, where q is a power of p, such that n ≥ (p − 1)^1/p (q − 1)^1−1/(2p), necessarily belongs to . This extends its special case for p = 2 which was proved in a previous paper by a different method.     

Automorphisms of the Hatcher-Thurston complex

Let S be a compact, connected, orientable surface of positive genus. Let be the Hatcher-Thurston complex of S. We prove that Aut is isomorphic to the extended mapping class group of S modulo its center. The first author is supported by a Rackham Faculty Fellowship, Horace H. Rackham School of Graduate Studies, University of Michigan. The second author is supported in part by the Turkish Academy of Sciences under the Young Scientists Award Program (MK/TüBA-GEBİP 2003-10).     

Generalized (anti) Yetter-Drinfeld modules as components of a braided T-category

If H is a Hopf algebra with bijective antipode and α, β ∈ Aut _Hopf (H), we introduce a category , generalizing both Yetter-Drinfeld modules and anti-Yetter-Drinfeld modules. We construct a braided T-category having all the categories as components, which, if H is finite dimensional, coincides with the representations of a certain quasitriangular T-coalgebra DT(H) that we construct. We also prove that if (α, β) admits a so-called pair in involution, then is isomorphic to the category of usual Yetter-Drinfeld modules . Research partially supported by the programme CERES of the Romanian Ministry of Education and Research, contract no. 4-147/2004.     

Bounded width problems and algebras

Let be finite relational structure of finite type, and let CSP denote the following decision problem: if is a given structure of the same type as , is there a homomorphism from to ? To each relational structure is associated naturally an algebra whose structure determines the complexity of the associated decision problem. We investigate those finite algebras arising from CSP’s of so-called bounded width, i.e., for which local consistency algorithms effectively decide the problem. We show that if a CSP has bounded width then the variety generated by the associated algebra omits the Hobby-McKenzie types 1 and 2. This provides a method to prove that certain CSP’s do not have bounded width. We give several applications, answering a question of Nešetřil and Zhu [26], by showing that various graph homomorphism problems do not have bounded width. Feder and Vardi [17] have shown that every CSP is polynomial-time equivalent to the retraction problem for a poset we call the Feder − Vardi poset of the structure. We show that, in the case where the structure has a single relation, if the retraction problem for the Feder-Vardi poset has bounded width then the CSP for the structure also has bounded width. This is used to exhibit a finite order-primal algebra whose variety admits type 2 but omits type 1 (provided P ≠ NP). Presented by M. Valeriote. Received January 8, 2005; accepted in final form April 3, 2006. The first author’s research is supported by a grant from NSERC and the Centre de Recherches Mathématiques. The second author’s research is supported by OTKA no. 034175 and 48809 and T 037877. Part of this research was conducted while the second author was visiting Concordia University in Montréal and also when the first author was visiting the Bolyai Institute in Szeged. The support of NSERC, OTKA and the Bolyai Institute is gratefully acknowledged.     

On a Poincaré-type Inequality for Energy Forms in L p

We consider Dirichlet spaces ( ) in L ² and more general energy forms in L ^p , . For the latter we introduce the notions of an extended ’Dirichlet’ space and a transient form. Under the assumption that , resp. , are compactly embedded in L ², resp. L ^p , we prove a Poincaré inequality for transient (Dirichlet) forms. If both and its adjoint are sub-Markovian semigroups, we show that the transience of T _t is independent of ) and that it is implied by the transience of the energy form of and the form belonging to .     

Remarks on ample vector bundles of curve genus two

Let be an ample vector bundle of rank n – 1 on a smooth complex projective variety X of dimension n≥ 3 such that X is a -bundle over and that for any fiber F of the bundle projection . The pairs with = 2 are classified, where is the curve genus of . This allows us to improve some previous results. Received: 13 June 2006     

Supersaturation For Ramsey-Turán Problems

For an l-graph , the Turán number is the maximum number of edges in an n-vertex l-graph containing no copy of . The limit is known to exist [8]. The Ramsey–Turán density is defined similarly to except that we restrict to only those with independence number o(n). A result of Erdős and Sós [3] states that as long as for every edge E of there is another edge E′of for which |E∩E′|≥2. Therefore a natural question is whether there exists for which . Another variant proposed in [3] requires the stronger condition that every set of vertices of of size at least εn (0<ε<1) has density bounded below by some threshold. By definition, for every . However, even is not known for very many l-graphs when l>2. We prove the existence of a phenomenon similar to supersaturation for Turán problems for hypergraphs. As a consequence, we construct, for each l≥3, infinitely many l-graphs for which . We also prove that the 3-graph with triples 12a, 12b, 12c, 13a, 13b, 13c, 23a, 23b, 23c, abc, satisfies . The existence of a hypergraph satisfying was conjectured by Erdős and Sós [3], proved by Frankl and R?dl [6], and later by Sidorenko [14]. Our short proof is based on different ideas and is simpler than these earlier proofs. * Research supported in part by the National Science Foundation under grants DMS-9970325 and DMS-0400812, and an Alfred P. Sloan Research Fellowship. † Research supported in part by the National Science Foundation under grants DMS-0071261 and DMS-0300529.     

The orders of nonsingular derivations of modular Lie algebras

We extend the results of Shalev [Sh] on the orders of nonsingular derivations of finite-dimensional non-nilpotent modular Lie algebras. The author is grateful to Ministero dell’Università e della Ricerca Scientifica, Italy, for financial support to the project “Graded Lie algebras and pro-p-groups of finite width”.     

On the norm and spectral radius of Hermitian elements

Let be a complex unital Banach algebra. An element a ∈ is said to be Hermitian if ‖exp(ita)‖ = 1 for all t ∈ ℝ. In the case of the algebra of bounded linear operators in a Hilbert space, this Hermitian property agrees with the ordinary self-adjointness. If a ∈ is Hermitian, then ‖a‖ = |a|, where |a| denotes the spectral radius of a. A function F: ℝ → ℂ is called a universal symbol if ‖F(a)‖ = | F(a)| for every and all Hermitian a ∈ . We characterize universal symbols in terms of positive-definite functions.     

An Operator Corona Theorem for Some Subspaces of <Emphasis Type="Italic">H</Emphasis><Superscript>∞</Superscript>

Let E, E_* be separable Hilbert spaces. If S is an open subset of , then denotes the space of all functions that are holomorphic in , and bounded and continuous on . In this article we prove the following results:

Polyhedral groups, McKay quivers, and the finite algebraic groups with tame principal blocks

Given an algebraically closed field k of characteristic p≥3, we classify the finite algebraic k-groups whose algebras of measures afford a principal block of tame representation type. The structure of such a group is largely determined by a linearly reductive subgroup scheme of SL(2), with the McKay quiver of relative to its standard module being the Gabriel quiver of the principal block . The graphs underlying these quivers are extended Dynkin diagrams of type or , and the tame blocks are Morita equivalent to generalizations of the trivial extensions of the radical square zero tame hereditary algebras of the corresponding type.     

Denseness of holomorphic functions attaining their numerical radii

For two complex Banach spaces X and Y, (B _X; Y) will denote the space of bounded and continuous functions from B _X to Y that are holomorphic on the open unit ball. The numerical radius of an element h in (B _X; X) is the supremum of the set

Vectorspacelike representation of absolute planes

The pointset E of an absolute plane can be provided with a binary operation "+" such that (E, +) becomes a loop and for each a E \ {o} the line [a] through o and a is a commutative subgroup of (E, +). Two elements a, b E \ {o} are called independent if [a] ∩ [b] = {o} and the absolute plane is called vectorspacelike if for any two independent elements we have E = [a] + [b] := {x + y | x [a], y [b]}. If is singular then (E, +) is a commutative group and is vectorspacelike iff is Euclidean. If is a hyperbolic plane then is vectorspacelike and in the continous case if a, b are independent, each point p has a unique representation as a quasilinear combination p = α · a + μ · b where α · a [a]and β · b [b] are points, α, β real numbers such that λ (o, λ · a) = |λ|· λ (o, a) and λ (o, μ · b) = |μ|. λ(o, b) and λ is the distance function. This work was partially supported by the Research Project of MIUR (Italian Ministery of Education and University) “Geometria combinatoria e sue applicazioni” and by the research group GNSAGA of INDAM. Dedicated to Walter Benz on the occasion of his 75 ^th birthday, in friendship     

A Topological View of Ramsey Families of Finite Subsets of Positive Integers

If is an initially hereditary family of finite subsets of positive integers (i.e., if and G is initial segment of F then ) and M an infinite subset of positive integers then we define an ordinal index . We prove that if is a family of finite subsets of positive integers such that for every the characteristic function χ_F is isolated point of the subspace

Explicit Bounded-Degree Unique-Neighbor Concentrators

Here we solve an open problem considered by various researchers by presenting the first explicit constructions of an infinite family of bounded-degree ‘unique-neighbor’ concentrators Γ; i.e., there are strictly positive constants α and ε, such that all Γ = (X,Y,E(Γ)) ∈ satisfy the following properties. The output-set Y has cardinality times that of the input-set X, and for each subset S of X with no more than α|X| vertices, there are at least ε|S| vertices in Y that are adjacent in Γ to exactly one vertex in S. Also, the construction of is simple to specify, and each has fewer than edges. We then modify to obtain explicit unique-neighbor concentrators of maximum degree 3. * Supported by NSF grant CCR98210-58 and ARO grant DAAH04-96-1-0013.