Multiderivations of Coxeter arrangements

Let V be an ℓ-dimensional Euclidean space. Let G⊂O(V) be a finite irreducible orthogonal reflection group. Let ? be the corresponding Coxeter arrangement. Let S be the algebra of polynomial functions on V. For H∈? choose α _H ∈V ^* such that H=ker(α _H ). For each nonnegative integer m, define the derivation module D ^(m) (?)={θ∈Der _S |θ(α _H )∈Sα ^m _H }. The module is known to be a free S-module of rank ℓ by K. Saito (1975) for m=1 and L. Solomon-H. Terao (1998) for m=2. The main result of this paper is that this is the case for all m. Moreover we explicitly construct a basis for D ^(m) (?). Their degrees are all equal to mh/2 (when m is even) or are equal to ((m−1)h/2)+m _i (1≤i≤ℓ) (when m is odd). Here m ₁≤···≤m _ℓ are the exponents of G and h=m _ℓ+1 is the Coxeter number. The construction heavily uses the primitive derivation D which plays a central role in the theory of flat generators by K. Saito (or equivalently the Frobenius manifold structure for the orbit space of G). Some new results concerning the primitive derivation D are obtained in the course of proof of the main result. Oblatum 27-XI-2001 & 4-XII-2001?Published online: 18 February 2002     

On Projections of Semi-Algebraic Sets Defined by Few Quadratic Inequalities

Let S⊂ℝ ^k+m be a compact semi-algebraic set defined by P ₁≥0,…,P _ℓ ≥0, where P _i ∈ℝ[X ₁,…,X _k ,Y ₁,…,Y _m ], and deg (P _i )≤2, 1≤i≤ℓ. Let π denote the standard projection from ℝ ^k+m onto ℝ ^m . We prove that for any q>0, the sum of the first q Betti numbers of π(S) is bounded by (k+m) ^{O(q ℓ)}. We also present an algorithm for computing the first q Betti numbers of π(S), whose complexity is . For fixed q and ℓ, both the bounds are polynomial in k+m. The author was supported in part by an NSF Career Award 0133597 and a Sloan Foundation Fellowship.     

Amenability constants for semilattice algebras

For any finite commutative idempotent semigroup S, a semilattice, we show how to compute the amenability constant of its semigroup algebra ℓ ¹(S). This amenability constant is always of the form 4n+1. We then show that these give lower bounds to amenability constants of certain Banach algebras graded over semilattices. We also give example of a commutative Clifford semigroups G _n whose semigroup algebras ℓ ¹(G _n ) admit amenability constants of the form 41+4(n−1)/n. We also show there is no commutative semigroup whose semigroup algebra has an amenability constant between 5 and 9. N. Spronk’s research was supported by NSERC Grant 312515-05.     

Preduals of semigroup algebras

For a locally compact group G, the measure convolution algebra M(G) carries a natural coproduct. In previous work, we showed that the canonical predual C ₀(G) of M(G) is the unique predual which makes both the product and the coproduct on M(G) weak^*-continuous. Given a discrete semigroup S, the convolution algebra ℓ ¹(S) also carries a coproduct. In this paper we examine preduals for ℓ ¹(S) making both the product and the coproduct weak^*-continuous. Under certain conditions on S, we show that ℓ ¹(S) has a unique such predual. Such S include the free semigroup on finitely many generators. In general, however, this need not be the case even for quite simple semigroups and we construct uncountably many such preduals on ℓ ¹(S) when S is either ℤ₊×ℤ or (ℕ,⋅).     

Anharmonic Oscillators in the Complex Plane, $\boldsymbol{\mathcal{PT}}$-symmetry,and Real Eigenvalues

For integers m ≥ 3 and 1 ≤ ℓ ≤ m − 1, we study the eigenvalue problems − u ^″(z) + [( − 1)^ℓ(iz) ^m  − P(iz)]u(z) = λu(z) with the boundary conditions that u(z) decays to zero as z tends to infinity along the rays argz=-\fracp2±\frac(l+1)pm+2\arg z=-\frac{\pi}{2}\pm \frac{(\ell+1)\pi}{m+2} in the complex plane, where P is a polynomial of degree at most m − 1. We provide asymptotic expansions of the eigenvalues λ _n . Then we show that if the eigenvalue problem is PT\mathcal{PT}-symmetric, then the eigenvalues are all real and positive with at most finitely many exceptions. Moreover, we show that when gcd(m,l)=1\gcd(m,\ell)=1, the eigenvalue problem has infinitely many real eigenvalues if and only if one of its translations or itself is PT\mathcal{PT}-symmetric. Also, we will prove some other interesting direct and inverse spectral results.     

The solution to a conjecture of Tits on the subgroup generated by the squares of the generators of an Artin group

Let A be an Artin group with standard generating set {σ _s :s∈S}. Tits conjectured that the only relations in A amongst the squares of the generators are consequences of the obvious ones, namely that σ _s ² and σ _t ² commute whenever σ _s and σ _t commute, for s,t∈S. In this paper we prove Tits’ conjecture for all Artin groups. In fact, given a number m _s ≥2 for each s∈S, we show that the elements {T _s =σ _s ^ms :s∈S} generate a subgroup that has a finite presentation in which the only defining relations are that T _s and T _t commute if σ _s and σ _t commute. Oblatum 21-III-2000 & 1-XII-2000?Published online: 5 March 2001     

Homogenization of eigenvalue problems in perforated domains

In this paper, we treat some eigenvalue problems in periodically perforated domains and study the asymptotic behaviour of the eigenvalues and the eigenvectors when the number of holes in the domain increases to infinity Using the method of asymptotic expansion, we give explicit formula for the homogenized coefficients and expansion for eigenvalues and eigenvectors. If we denote by ε the size of each hole in the domain, then we obtain the following aysmptotic expansion for the eigenvalues: Dirichlet: λ_ε = ε⁻² λ + λ₀ +O (ε), Stekloff: λ_ε = ελ₁ +O (ε²), Neumann: λ_ε = λ₀ + ελ₁ +O (ε²). Using the method of energy, we prove a theorem of convergence in each case considered here. We briefly study correctors in the case of Neumann eigenvalue problem.     

Totally Disconnected and Locally Compact Heisenberg-Weyl Groups

Harmonic analysis on ℤ(p ^ℓ ) and the corresponding representation of the Heisenberg-Weyl group HW[ℤ(p ^ℓ ),ℤ(p ^ℓ ),ℤ(p ^ℓ )], is studied. It is shown that the HW[ℤ(p ^ℓ ),ℤ(p ^ℓ ),ℤ(p ^ℓ )] with a homomorphism between them, form an inverse system which has as inverse limit the profinite representation of the Heisenberg-Weyl group \mathfrak HW[\mathbbZ_p,\mathbbZ_p,\mathbbZ_p]\mathfrak {HW}[{\mathbb{Z}}_{p},{\mathbb{Z}}_{p},{\mathbb{Z}}_{p}]. Harmonic analysis on ℤ _p is also studied. The corresponding representation of the Heisenberg-Weyl group HW[(ℚ _p /ℤ _p ),ℤ _p ,(ℚ _p /ℤ _p )] is a totally disconnected and locally compact topological group.     

ℓ-Divisibility of ℓ-regular partition functions

We give exact criteria for the ℓ-divisibility of the ℓ-regular partition function b _ℓ (n) for ℓ∈{5,7,11}. These criteria are found using the theory of complex multiplication. In each case the first criterion given corresponds to the Ramanujan congruence modulo ℓ for the unrestricted partition function, and the second is a condition given by J.-P. Serre for the vanishing of the coefficients of ∏ _m=1^∞(1−q ^m ) ^ℓ−1.      

Maximality of entropy in finite von Neumann algebras

It is shown that the entropy function H(N ₁,…,N _k ) on finite dimensional von Neumann subalgebras of a finite von Neumann algebra attains its maximal possible value H(⋁ℓ=1k N _ℓ) if and only if there exists a maximal abelian subalgebra A of ⋁ℓ=1k N _ℓ such that A=⋁ℓ=1k(A∩N _ℓ). Oblatum 24-IV-1997 & 6-V-1997     

Absolutely continuous invariant measures for piecewise expandingC 2 transformations inR N

LetS be a bounded region inR ^N and let ℊ={S _i} _i ^=1/m be a partition ofS into a finite number of subsets having piecewiseC ² boundaries. We assume that whereC ² segments of the boundaries meet, the angle subtended by tangents to these segments at the point of contact is bounded away from 0. Letτ:S →S be piecewiseC ² on ℊ and expanding in the sense that there exists 0<σ< 1 such that for anyi=1, 2, ...,m, ‖Dτ _i ⁻¹ ‖<σ, whereDτ _i ⁻¹ is the derivative matrix ofτ _i ⁻¹ and ‖ ‖ is the euclidean matrix norm. The main result provides an upper bound onσ which guarantees the existence of an absolutely continuous invariant measure forτ. The research of the second author was supported by NSERC and FCAR grants.     

Biflatness of semigroup algebras

We shall study the biflatness of the convolution algebra ℓ ¹(S) for a semigroup S. We show that for any semigroup S such that ℓ ¹(S) is biflat the canonical partial ordering on the idempotents must be uniformly locally finite. We use this to characterize the biflatness of ℓ ¹(S) for an inverse semigroup S.     

Equipartition of a continuous mass distribution

Here are three samples of results. (1) Let m be a finite (absolutely) continuous mass distribution in ℝ², and let ℓ = {ℓ₁, ..., ℓ₅ ⊂ ℝ²} be a quintuple of rays with common origin such that any two adjacent angles between them make a sum of at most π. Then an affine image of ℓ subdivides m into five parts with any prescribed ratios. (2) For each finite continuous mass distribution m in ℝⁿ, there exist n mutually orthogonal hyperplanes any two of which quarter m. (3) Let m and m′ be two finite continuous mass distributions in ℝRⁿ with common center of symmetry O. Then there exist n hyperplanes through O any two of which quarter both m and m′. Bibliography: 9 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 329, 2005, pp. 92–106.     

A problem on semigroups satisfying permutation identities

Let σ be a nontrivial permutation of ordern. A semigroupS is said to be σ-permutable ifx ₁ x ₂ ...x _n =x _σ(1) x _σ(2) ...x _σ(n) , for every (x ₁ ,x ₂,...,x _n )∈S ⁿ . A semigroupS is called(r,t)-commutative, wherer,t are in ℕ^*, ifx ₁ ...x _r x _r+1 ...x _r+t =x _r+1 ...x _r+t x ₁ ...x _r , for every (x ₁ ,x ₂,...,x _r+t ∈S ^r+t . According to a result of M. Putcha and A. Yaqub ([11]), if σ is a fixed-point-free permutation andS is a σ-permutable semigroup then there existsk ∈ ℕ^* such thatS is (1,k)-commutative. In [8], S. Lajos raises up the problem to determine the leastk=k(n) ∈ ℕ^* such that, for every fixed-point-free permutation σ of ordern, every σ-permutable semigroup is also (1,k)-commutative. In this paper this problem is solved for anyn less than or equal to eight and also whenn is any odd integer. For doing this we establish that if a semigroup satisfies a permutation identity of ordern then inevitably it also satisfies some permutation identities of ordern+1.     

Generalized difference sequence spaces on seminormed space defined by Orlicz functions

In this paper we define the sequence space ℓ _M (Δ ^m , p, q, s) on a seminormed complex linear space by using an Orlicz function. We study its different algebraic and topological properties like solidness, symmetricity, monotonicity, convergence free etc. We prove some inclusion relations involving ℓ _M (Δ ^m , p, q, s).      

Computing the Top Betti Numbers of Semialgebraic Sets Defined by Quadratic Inequalities in Polynomial Time

For any ℓ>0, we present an algorithm which takes as input a semi-algebraic set, S, defined by P ₁≤0,…,P _s ≤0, where each P _i ∈R[X ₁,…,X _k ] has degree≤2, and computes the top ℓ Betti numbers of S, b _k−1(S),…,b _k−ℓ (S), in polynomial time. The complexity of the algorithm, stated more precisely, is . For fixed ℓ, the complexity of the algorithm can be expressed as , which is polynomial in the input parameters s and k. To our knowledge this is the first polynomial time algorithm for computing nontrivial topological invariants of semialgebraic sets in R ^k defined by polynomial inequalities, where the number of inequalities is not fixed and the polynomials are allowed to have degree greater than one. For fixed s, we obtain, by letting ℓ=k, an algorithm for computing all the Betti numbers of S whose complexity is . An erratum to this article can be found at     

On quasi-similarity of subnormal operators

For a compact subset K in the complex plane, let Rat(K) denote the set of the rational functions with poles off K. Given a finite positive measure with support contained in K, let R2(K,v) denote the closure of Rat(K) in L2(v) and let Sv denote the operator of multiplication by the independent variable z on R2(K, v), that is, Svf = zf for every f∈R2(K, v). SupposeΩis a bounded open subset in the complex plane whose complement has finitely many components and suppose Rat(Ω) is dense in the Hardy space H2(Ω). Letσdenote a harmonic measure forΩ. In this work, we characterize all subnormal operators quasi-similar to Sσ, the operators of the multiplication by z on R2(Ω,σ). We show that for a given v supported onΩ, Sv is quasi-similar to Sσif and only if v/■Ω■σ and log(dv/dσ)∈L1(σ). Our result extends a well-known result of Clary on the unit disk.     

p-Energia in spazi metrici generalizzati

Given a setS and a function σ:S x S→[0, +∞[ such that σ(x, x)=0, we define the generalizedp-energy of a curve γ: [a, b]→S, so that, ifS is a Hilbert space and σ(x, y)=‖x−y‖ we obtain . Sufficient conditions for the equality of the defined energies are also given. Moreover the case in whichS is a set of measurable parts of ℝⁿ and σ_r is a family of functions used in order to study the generalized minimizing motions, is discussed.

---

Conferenza tenuta il 30 ottobre 1995     

Functional equations on abelian groups with involution

Summary We produce complete solution formulas of selected functional equations of the formf(x +y) ±f(x + σ (ν)) = Σ _I ² =₁ g _l (x)h _l (y),x, y∈G, where the functionsf,g ₁,h ₁ to be determined are complex valued functions on an abelian groupG and where σ:G→G is an involution ofG. The special case of σ=−I encompasses classical functional equations like d’Alembert’s, Wilson’s first generalization of it, Jensen’s equation and the quadratic equation. We solve these equations, the equation for symmetric second differences in product form and similar functional equations for a general involution σ.     

Concerning Bourgain’s ℓ1-Index of a Banach space

A well known argument of James yields that if a Banach spaceX contains ℓ ₁ ⁿ ’s uniformly, thenX contains ℓ ₁ ⁿ ’s almost isometrically. In the first half of the paper we extend this idea to the ordinal ℓ₁-indices of Bourgain. In the second half we use our results to calculate the ℓ₁-index of certain Banach spaces. Furthermore we show that the ℓ₁-index of a separable Banach space not containing ℓ₁ must be of the form ω^α for some countable ordinal α. Research supported by the NSF and TARP.