On the computation of the jdeg of blowup algebras

For a graded algebra , its is a global degree that can be used to study issues of complexity of the normalization . Here some techniques grounded on Rees algebra theory are used to estimate . A closely related notion, of divisorial generation, is introduced to count numbers of generators of .     

All-derivable points in nest algebras

Suppose that A is an operator algebra on a Hilbert space H. An element V in A is called an all-derivable point of A for the strong operator topology if every strong operator topology continuous derivable mapping φ at V is a derivation. Let N be a complete nest on a complex and separable Hilbert space H. Suppose that M belongs to N with {0}≠M≠H and write for M or M^⊥. Our main result is: for any with , if is invertible in , then Ω is an all-derivable point in for the strong operator topology.     

Extension of Fourier algebra homomorphisms to duals of algebras of uniformly continuous functionals

For a locally compact group G, let XG be one of the following introverted subspaces of VN(G): , the C^∗-algebra of uniformly continuous functionals on A(G); , the space of weakly almost periodic functionals on A(G); or , the C^∗-algebra generated by the left regular representation on the measure algebra of G. We discuss the extension of homomorphisms of (reduced) Fourier-Stieltjes algebras on G and H to cb-norm preserving, weak^∗-weak^∗-continuous homomorphisms of into , where (XG,XH) is one of the pairs , , or . When G is amenable, these extensions are characterized in terms of piecewise affine maps.     

Kummer subfields of tame division algebras over Henselian fields

By generalizing the method used by Tignol and Amitsur in [J.-P. Tignol, S.A. Amitsur, Kummer subfields of Malcev-Neumann division algebras, Israel Journal of Math. 50 (1985), 114-144], we determine necessary and sufficient conditions for an arbitrary central division algebra D over a Henselian valued field E to have Kummer subfields when the characteristic of the residue field of E does not divide the degree of D. We prove also that if D is a semiramified division algebra of degree n [resp., of prime power degree p^r] over E such that does not divide n and [resp., and p³ divides ], then D is non-cyclic [resp., D is not an elementary abelian crossed product].     

Non-linear numerical radius isometries on atomic nest algebras and diagonal algebras

A nonlinear map φ between operator algebras is said to be a numerical radius isometry if w(φ(T−S))=w(T−S) for all T, S in its domain algebra, where w(T) stands for the numerical radius of T. Let and be two atomic nests on complex Hilbert spaces H and K, respectively. Denote the nest algebra associated with and the diagonal algebra. We give a thorough classification of weakly continuous numerical radius isometries from onto and a thorough classification of numerical radius isometries from onto .     

Hecke group algebras as quotients of affine Hecke algebras at level 0

The Hecke group algebra of a finite Coxeter group , as introduced by the first and last authors, is obtained from by gluing appropriately its 0-Hecke algebra and its group algebra. In this paper, we give an equivalent alternative construction in the case when is the finite Weyl group associated to an affine Weyl group W. Namely, we prove that, for q not a root of unity of small order, is the natural quotient of the affine Hecke algebra H(W)(q) through its level 0 representation.The proof relies on the following core combinatorial result: at level 0 the 0-Hecke algebra H(W)(0) acts transitively on . Equivalently, in type A, a word written on a circle can be both sorted and antisorted by elementary bubble sort operators. We further show that the level 0 representation is a calibrated principal series representation M(t) for a suitable choice of character t, so that the quotient factors (non-trivially) through the principal central specialization. This explains in particular the similarities between the representation theory of the 0-Hecke algebra and that of the affine Hecke algebra H(W)(q) at this specialization.     

Classification of quasifinite modules over the Lie algebras of Weyl type

For a nondegenerate additive subgroup Γ of the n-dimensional vector space over an algebraically closed field of characteristic zero, there is an associative algebra and a Lie algebra of Weyl type spanned by all differential operators uD₁^m₁?D_n^m_n for (the group algebra), and m₁,…,m_n?0, where D₁,…,D_n are degree operators. In this paper, it is proved that an irreducible quasifinite -module is either a highest or lowest weight module or else a module of the intermediate series; furthermore, a classification of uniformly bounded -modules is completely given. It is also proved that an irreducible quasifinite -module is a module of the intermediate series and a complete classification of quasifinite -modules is also given, if Γ is not isomorphic to .     

Note on divisor function for quaternion algebras

Let a be an integral ideal in a quaternion algebra U over rational numbers Q which ramifies precisely at p and ∞, and d(a) be its divisor function. Recently, Kim and Zhang proved a quaternion analogue of the classical formula , and then established an asymptotic formula for the sum . In this note we improved the upper bound for the error term in the asymptotic formula, and then considered the quaternion analogue of another well-known formula .     

Prevalence and structure of adding machines for cellular automata

Consider the collection of left permutive cellular automata Φ with no memory, defined on the space S of all doubly infinite sequences from a finite alphabet. There exists , a dense subset of S, such that is topologically conjugate to an odometer for all so long as Φm is not the identity map for any m. Moreover, Φ generates the same odometer for all . The set is a dense Gδ subset with full measure of a particular subspace of S.     

Images of locally finite derivations of polynomial algebras in two variables

In this paper we show that the image of any locally finite k-derivation of the polynomial algebra k[x,y] in two variables over a field k of characteristic zero is a Mathieu subspace. We also show that the two-dimensional Jacobian conjecture is equivalent to the statement that the image of every k-derivation D of k[x,y] such that and is a Mathieu subspace of k[x,y].     

Non-commutative Arens algebras and their derivations

Given a von Neumann algebra M with a faithful normal semi-finite trace τ, we consider the non-commutative Arens algebra Lω(M,τ)=_?p?1Lp(M,τ) and the related algebras and which are proved to be complete metrizable locally convex *-algebras. The main purpose of the present paper is to prove that any derivation of the algebra is inner and all derivations of the algebras Lω(M,τ) and are spatial and implemented by elements of . In particular we obtain that if the trace τ is finite then any derivation on the non-commutative Arens algebra Lω(M,τ) is inner.     

Periodicity of Adams operations on the Green ring of a finite group

The Adams operations and on the Green ring of a group G over a field K arise from the study of the exterior powers and symmetric powers of KG-modules. When G is finite and K has prime characteristic p we show that and are periodic in n if and only if the Sylow p-subgroups of G are cyclic. In the case where G is a cyclic p-group we find the minimum periods and use recent work of Symonds to express in terms of .     

A new construction of vertex algebras and quasi-modules for vertex algebras

In this paper, a new construction of vertex algebras from more general vertex operators is given and a notion of quasimodule for vertex algebras is introduced and studied. More specifically, a notion of quasilocal subset(space) of for any vector space W is introduced and studied, generalizing the notion of usual locality in the most possible way, and it is proved that on any maximal quasilocal subspace there exists a natural vertex algebra structure and that any quasilocal subset of generates a vertex algebra. Furthermore, it is proved that W is a quasimodule for each of the vertex algebras generated by quasilocal subsets of . A notion of Γ-vertex algebra is also introduced and studied, where Γ is a subgroup of the multiplicative group C^× of nonzero complex numbers. It is proved that any maximal quasilocal subspace of is naturally a Γ-vertex algebra and that any quasilocal subset of generates a Γ-vertex algebra. It is also proved that a Γ-vertex algebra exactly amounts to a vertex algebra equipped with a Γ-module structure which satisfies a certain compatibility condition. Finally, two families of examples are given, involving twisted affine Lie algebras and certain quantum torus Lie algebras.     

On the number of graphs with a given endomorphism monoid

For a given finite monoid , let be the number of graphs on n vertices with endomorphism monoid isomorphic to . For any nontrivial monoid we prove that where and are constants depending only on with .For every k there exists a monoid of size k with , on the other hand if a group of unity of has a size k>2 then .     

Ideal structure of uniform Roe algebras of coarse spaces

Let be the uniform Roe algebra of a coarse space with uniformly locally finite coarse structure. By a controlled truncation technique, we show that the controlled propagation operators in an ideal I of are exactly the controlled truncations of elements in I. It follows that the lattice of the ideals of the uniform Roe algebra in which controlled propagation operators are dense, the lattice of the invariant open subsets in the unit space of the groupoid G(X) introduced by Skandalis, Tu and Yu, the lattice of the ideals of the coarse structure , and the lattice of the ideals of the coarse space X are mutually isomorphic. These lattices also give rise to a type of classification for the ideals of .     

Nonparametric comparison of regression functions

In this work, we provide a new methodology for comparing regression functions m₁ and m₂ from two samples. Since apart from smoothness no other (parametric) assumptions are required, our approach is based on a comparison of nonparametric estimators and of m₁ and m₂, respectively. The test statistics incorporate weighted differences of and computed at selected points. Since the design variables may come from different distributions, a crucial question is where to compare the two estimators. As our main results we obtain the limit distribution of (properly standardized) under the null hypothesis H₀:m₁=m₂ and under local and global alternatives. We are also able to choose the weight function so as to maximize the power. Furthermore, the tests are asymptotically distribution free under H₀ and both shift and scale invariant. Several such ’s may then be combined to get Maximin tests when the dimension of the local alternative is finite. In a simulation study we found out that our tests achieve the nominal level and already have excellent power for small to moderate sample sizes.