Nested set complexes of Dowling lattices and complexes of Dowling trees

Given a finite group G and a natural number n, we study the structure of the complex of nested sets of the associated Dowling lattice (Proc. Internat. Sympos., 1971, pp. 101–115) and of its subposet of the G-symmetric partitions which was recently introduced by Hultman (, 2006), together with the complex of G-symmetric phylogenetic trees . Hultman shows that the complexes and are homotopy equivalent and Cohen–Macaulay, and determines the rank of their top homology. An application of the theory of building sets and nested set complexes by Feichtner and Kozlov (Selecta Math. (N.S.) 10, 37–60, 2004) shows that in fact is subdivided by the order complex of . We introduce the complex of Dowling trees and prove that it is subdivided by the order complex of . Application of a theorem of Feichtner and Sturmfels (Port. Math. (N.S.) 62, 437–468, 2005) shows that, as a simplicial complex, is in fact isomorphic to the Bergman complex of the associated Dowling geometry. Topologically, we prove that is obtained from by successive coning over certain subcomplexes. It is well known that is shellable, and of the same dimension as . We explicitly and independently calculate how many homology spheres are added in passing from to . Comparison with work of Gottlieb and Wachs (Adv. Appl. Math. 24(4), 301–336, 2000) shows that is intimely related to the representation theory of the top homology of . Research partially supported by the Swiss National Science Foundation, project PP002-106403/1.     

Reduction of exterior differential systems with infinite dimensional symmetry groups

A symmetry-based method for constructing solutions to systems of differential equations founded on the reduction of exterior differential systems invariant under the action of an infinite dimensional pseudogroup is proposed. One can associate to any system of differential equations Δ=0 with a symmetry group an exterior differential system invariant under so that solutions of Δ=0 correspond to integral manifolds . The -invariant exterior differential system gives rise to a reduced system specified on a cross section to the pseudogroup orbits, and it is shown that solutions to Δ=0 can be reconstructed from integral manifolds by solving an equation of generalized Lie type for the jets of pseudogroup transformations. In particular, as opposed to the classical method of symmetry reduction, every solution to the system of differential equations can, under some mild regularity assumptions, be constructed by the present algorithm. AMS subject classification (2000)  58A15, 58A20, 58H05, 58J70     

Symmetric groups and expander graphs

We construct explicit generating sets S _n and of the alternating and the symmetric groups, which turn the Cayley graphs and into a family of bounded degree expanders for all n.     

Schur–Weyl Reciprocity between the Quantum Superalgebra and the Iwahori–Hecke Algebra

In this paper, we establish Schur–Weyl reciprocity between the quantum general super Lie algebra and the Iwahori–Hecke algebra . We introduce the sign -permutation representation of on the tensor space of dimensional -graded -vector space . This action commutes with that of derived from the vector representation on . Those two subalgebras of satisfy Schur–Weyl reciprocity. As special cases, we obtain the super case (), and the quantum case (). Hence this result includes both the super case and the quantum case, and unifies those two important cases.Presented by A. Verschoren.     

Point Counting in Families of Hyperelliptic Curves

Let E _Γ be a family of hyperelliptic curves defined by , where is defined over a small finite field of odd characteristic. Then with in an extension degree n field over this small field, we present a deterministic algorithm for computing the zeta function of the curve by using Dwork deformation in rigid cohomology. The time complexity of the algorithm is and it needs bits of memory. A slight adaptation requires only space, but costs time . An implementation of this last result turns out to be quite efficient for n big enough. H. Hubrechts is a Research Assistant of the Research Foundation–Flanders (FWO–Vlaanderen).     

Relations between different types of spectra and spectral characterizations

In the study of the asymptotic behaviour of solutions of differential-difference equations the -spectrum has been useful, where and implies Fourier transform , with given , φ∈L ^∞(ℝ,X), X a Banach space, (half)line. Here we study and related concepts, give relations between them, especially weak Laplace half-line spectrum of φ, and thus ⊂ classical Beurling spectrum = Carleman spectrum =  ; also  = Beurling spectrum of “φ modulo ” (Chill-Fasangova). If satisfies a Loomis type condition (L _U ), then countable and uniformly continuous ∈U are shown to imply ; here (L _U ) usually means , indefinite integral Pf of f in U imply Pf in (the Bohl-Bohr theorem for = almost periodic functions, U=bounded functions). This spectral characterization and other results are extended to unbounded functions via mean classes , ℳ ^m U ((2.1) below) and even to distributions, generalizing various recent results for uniformly continuous bounded φ. Furthermore for solutions of convolution systems S*φ=b with in some we show . With these above results, one gets generalizations of earlier results on the asymptotic behaviour of solutions of neutral integro-differential-difference systems. Also many examples and special cases are discussed.     

A fast algorithm for evaluation of normalized Hermite functions

An algorithm for computing the normalized Hermite Functions, h _n (x) in floating point arithmetic is presented. The algorithm is based on an efficient numerical evaluation of certain closed contour integrals in the complex plane. For large degree n, the algorithm is significantly faster than the O(n) complexity of the well known three term recurrence relation. Comparable accuracy is achieved in no more than operations, and for arguments bounded away from , only operations.      

Reduced Minimum Modulus Preserving in Banach Space

Let be the algebra of all bounded linear operators on a complex Banach space X and γ(T) be the reduced minimum modulus of operator . In this work, we prove that if , is a surjective linear map such that is an invertible operator, then , for every , if and only if, either there exist two bijective isometries and such that for every , or there exist two bijective isometries and such that for every . This generalizes for a Banach space the Mbekhta’s theorem [12].      

Approach Theory in a Category: A Study of Compactness and Hausdorff Separation

In a topological construct endowed with a proper -factorization system and a concrete functor , we study -compactness and -Hausdorff separation, where is a class of “closed morphisms” in the sense of Clementino et al. (A functional approach to general topology. In: Categorical Foundations. Encyclopedia of Mathematics and Its Applications, vol. 97, pp. 103–163. Cambridge University Press, Cambridge, 2004), determined by Λ. In particular, we point out under which conditions on Λ, the notion of -compactness of an object of coincides with 0-compactness of the image in Prap. Our results will be illustrated by some examples: except for some well-known ones, like b-compactness of a topological space, we also capture some compactness notions that were not considered before in the literature. In particular, we obtain a generalization of b-compactness to the setting of approach spaces. This notion is shown to play an important role in the study of uniformizability. The author is research assistant at the Fund of Scientific Research Vlaanderen (FWO).     

Boundary Limits for Bounded Quasiregular Mappings

In this paper we establish results on the existence of nontangential limits for weighted -harmonic functions in the weighted Sobolev space , for some q>1 and w in the Muckenhoupt A _q class, where is the unit ball in . These results generalize the ones in Sect. 3 of Koskela et al., Trans. Am. Math. Soc. 348(2), 755–766, 1996, where the weight was identically equal to one. Weighted -harmonic functions are weak solutions of the partial differential equation

Region-Fault Tolerant Geometric Spanners

We introduce the concept of region-fault tolerant spanners for planar point sets and prove the existence of region-fault tolerant spanners of small size. For a geometric graph on a point set P and a region F, we define to be what remains of after the vertices and edges of intersecting F have been removed. A  -fault tolerant t-spanner is a geometric graph  on P such that for any convex region F, the graph is a t-spanner for , where is the complete geometric graph on P. We prove that any set P of n points admits a -fault tolerant (1+ε)-spanner of size for any constant ε>0; if adding Steiner points is allowed, then the size of the spanner reduces to  , and for several special cases, we show how to obtain region-fault tolerant spanners of size without using Steiner points. We also consider fault-tolerant geodesic t -spanners: this is a variant where, for any disk D, the distance in between any two points u,v∈P∖D is at most t times the geodesic distance between u and v in ℝ²∖D. We prove that for any P, we can add Steiner points to obtain a fault-tolerant geodesic (1+ε)-spanner of size  . M.A. Abam was supported by the Netherlands’ Organisation for Scientific Research (NWO) under project no. 612.065.307 and by the MADALGO Center for Massive Data Algorithmics, a Center of the Danish National Research Foundation. M. de Berg was supported by the Netherlands’ Organisation for Scientific Research (NWO) under project no. 639.023.301. M. Farshi was supported by Ministry of Science, Research and Technology of I.R. Iran. NICTA is funded by the Australian Government as represented by the Department of Broadband, Communications and the Digital Economy and the Australian Research Council through the ICT Centre of Excellence program.     

Periodic automorphisms of takiff algebras, contractions, and θ-groups

Let be an algebraic Lie algebra and a (generalised) Takiff algebra. Any finite-order automorphism θ of induces an automorphism of of the same order, denoted . We study invariant-theoretic properties of representations of the fixed point subalgebra of on other eigenspaces of in . We use the observation that, for special values of m, the fixed point subalgebra, , turns out to be a contraction of a certain Lie algebra associated with and θ. To my teacher Supported in part by R.F.B.R. grant 06-01-72550.     

Admissible Galois Structures and Coverings in Regular Mal’cev Categories

Given a regular Gumm category such that any regular epimorphism is effective for descent, we prove that any Birkhoff subcategory in gives rise to an admissible Galois structure. This result allows one to consider some new applications of the categorical Galois theory in the context of topological algebras. Given a regular Mal’cev category , we first characterize the coverings of the Galois structure induced by the subcategory of the abelian objects in . Then we consider as a subcategory of the category of the equivalence relations in , and we characterize the coverings of the corresponding Galois structure . By composing the Galois structures and we obtain the Galois structure induced by as a subcategory of . We give the characterization of the -coverings in terms of the coverings of and .     

Primitive Ideals and Automorphisms of Quantum Matrices

Let be a field and q be a nonzero element of that is not a root of unity. We give a criterion for 〈0〉 to be a primitive ideal of the algebra of quantum matrices. Next, we describe all height one primes of ; these two problems are actually interlinked since it turns out that 〈0〉 is a primitive ideal of whenever has only finitely many height one primes. Finally, we compute the automorphism group of in the case where m ≠ n. In order to do this, we first study the action of this group on the prime spectrum of . Then, by using the preferred basis of and PBW bases, we prove that the automorphism group of is isomorphic to the torus when m ≠ n and (m,n) ≠ (1, 3),(3, 1). This research was supported by a Marie Curie Intra-European Fellowship within the 6th European Community Framework Programme and by Leverhulme Research Interchange Grant F/00158/X.     

Realization of the mapping class group by homeomorphisms

In this paper, we show that the mapping class group of a closed surface can not be geometrically realized as a group of homeomorphisms of that surface. More precisely, let denote the standard projection of the group of homeomorphisms to the mapping class group of a closed surface M of genus g>5. We show that there is no homomorphism , such that is the identity. This answers a question by Thurston (see [11]). Mathematics Subject Classification (2000)  Primary 20H10, 37F30     

On pairs of commuting nilpotent matrices

Let B be a nilpotent matrix and suppose that its Jordan canonical form is determined by a partition λ. Then it is known that its nilpotent commutator is an irreducible variety and that there is a unique partition μ such that the intersection of the orbit of nilpotent matrices corresponding to μ with is dense in . We prove that map given by is an idempotent map. This answers a question of Basili and Iarrobino [9] and gives a partial answer to a question of Panyushev [18]. In the proof, we use the fact that for a generic matrix the algebra generated by A and B is a Gorenstein algebra. Thus, a generic pair of commuting nilpotent matrices generates a Gorenstein algebra. We also describe in terms of λ if has at most two parts.     

On <Emphasis Type="Italic">N</Emphasis>-Summations,II

Given any R-semimodule M equipped with a semitopology we construct an N-protosummation for M. If satisfies certain properties, then a similar construction leads to an unconditional N-summation for M, that is an N-summation for M equipped with the trivial prenorm MD over the N-summation (D^N,_D) for D. Conversely any N-protosummation on M gives rise to a topology . If both and satisfy a certain separation property, then and form a Galois connection. Dedicated to my friend and collegue Nico Pumplün on the occasion of his 70th birthdayMathematics Subject Classifications (2000) 16Y60, 54A05.     

A note on Green’s relations in the semigroups <Emphasis Type="Italic">T</Emphasis>(<Emphasis Type="Italic">X</Emphasis>,<Emphasis Type="Italic">ρ</Emphasis>)

Let X be a set and the full transformation semigroup on X. Let ρ be an equivalence relation on X and

Quantum duality in quantum deformations

In accordance with the quantum duality principle, the twisted algebra is equivalent to the quantum group and has two preferred bases: one inherited from the universal enveloping algebra and the other generated by coordinate functions of the dual Lie group . We show howthe transformation can be explicitly obtained for any simple Lie algebra and a factorable chain of extended Jordanian twists. In the algebra , we introduce a natural vector grading , compatible with the adjoint representation of the algebra. Passing to the dual-group coordinates allows essentially simplifying the costructure of the deformed Hopf algebra , considered as a quantum group . The transformation can be used to construct new solutions of the twist equations. We construct a parameterized family of extended Jordanian deformations and study it in terms of ; we find new realizations of the parabolic twist. Dedicated to the birthday of my teacher, Yurii Novozhilov __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 148, No. 1, pp. 112–125, July, 2006.