Dimension of the Torelli group for Out(F<Subscript>n</Subscript>)

Let be the kernel of the natural map Out(F_n)→GL_n(ℤ). We use combinatorial Morse theory to prove that has an Eilenberg–MacLane space which is (2n-4)-dimensional and that is not finitely generated (n≥3). In particular, this shows that the cohomological dimension of is equal to 2n-4 and recovers the result of Krstić–McCool that is not finitely presented. We also give a new proof of the fact, due to Magnus, that is finitely generated.     

Cocycle and orbit equivalence superrigidity for malleable actions of w-rigid groups

We prove that if a countable discrete group Γ is w-rigid, i.e. it contains an infinite normal subgroup H with the relative property (T) (e.g. , or Γ=H×H’ with H an infinite Kazhdan group and H’ arbitrary), and is a closed subgroup of the group of unitaries of a finite separable von Neumann algebra (e.g. countable discrete, or separable compact), then any -valued measurable cocycle for a measure preserving action of Γ on a probability space (X,μ) which is weak mixing on H and s-malleable (e.g. the Bernoulli action ) is cohomologous to a group morphism of Γ into . We use the case discrete of this result to prove that if in addition Γ has no non-trivial finite normal subgroups then any orbit equivalence between and a free ergodic measure preserving action of a countable group Λ is implemented by a conjugacy of the actions, with respect to some group isomorphism Γ≃Λ.     

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.     

Codes defined by forms of degree 2 on non-degenerate Hermitian varieties in $${\mathbb{P}^{4}(\mathbb{F}_q)}$$

We study the functional codes of second order on a non-degenerate Hermitian variety as defined by G. Lachaud. We provide the best possible bounds for the number of points of quadratic sections of . We list the first five weights, describe the corresponding codewords and compute their number. The paper ends with two conjectures. The first is about minimum distance of the functional codes of order h on a non-singular Hermitian variety . The second is about distribution of the codewords of first five weights of the functional codes of second order on a non-singular Hermitian variety .      

On cyclotomic schemes over finite near-fields

We introduce a concept of cyclotomic association scheme over a finite near-field . It is proved that any isomorphism of two such nontrivial schemes is induced by a suitable element of the group AGL(V), where V is the linear space associated with . A sufficient condition on a cyclotomic scheme that guarantee the inclusion where is a finite field with elements, is given. I. Ponomarenko partially supported by RFFI, grants 03-01-00349, NSH-2251.2003.1.     

<Emphasis Type="Italic">F</Emphasis>-isocristaux surconvergents et surcohérence différentielle

Résumé Soient un anneau de valuation discrète complet d’inégales caractéristiques, de corps résiduel parfait k, un -schéma formel propre et lisse, T un diviseur de la fibre spéciale P de , U l’ouvert de P complémentaire de T, Y un sous-k-schéma fermé lisse de U. Nous prouvons que la catégorie des F-isocristaux surconvergents sur Y est équivalente à celle des F-isocristaux surcohérents sur Y (voir [Car, 6.2.1 et 6.4.3.a)]). Plus généralement, nous établissons par recollement une telle équivalence pour tout k-schéma séparé lisse Y. Nous vérifions de plus que les F-complexes de -modules à cohomologie bornée et -surcohérente se dévissent en F-isocristaux surconvergents.     

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).     

Rational invariants of certain classical groups over finite fields

Let be a finite field with q elements, where q is a prime power. Let G be a subgroup of the general linear group over and be the rational function field over . We seek to understand the structure of the rational invariant subfield . In this paper, we prove that is rational (or, purely transcendental) by giving an explicit set of generators when G is the symplectic group. In particular, the set of generators we gave satisfies the Dickson property.      

Intermediate moduli spaces of stable maps

We describe the Chow ring with rational coefficients of as the subring of invariants of a ring , relative to the action of the group of symmetries S_d. We compute by following a sequence of intermediate spaces for .     

Algebraic-geometry codes, one-point codes, and evaluation codes

One-point codes are those algebraic-geometry codes for which the associated divisor is a non-negative multiple of a single point. Evaluation codes were defined in order to give an algebraic generalization of both one-point algebraic-geometry codes and Reed–Muller codes. Given an -algebra A, an order function on A and given a surjective -morphism of algebras , the ith evaluation code with respect to is defined as the code . In this work it is shown that under a certain hypothesis on the -algebra A, not only any evaluation code is a one-point code, but any sequence of evaluation codes is a sequence of one-point codes. This hypothesis on A is that its field of fractions is a function field over and that A is integrally closed. Moreover, we see that a sequence of algebraic-geometry codes G _i with associated divisors is the sequence of evaluation codes associated to some -algebra A, some order function and some surjective morphism with if and only if it is a sequence of one-point codes.      

Hilbert Space Representations of Cross Product Algebras II

In this paper, we study and classify Hilbert space representations of cross product -algebras of the quantized enveloping algebra with the coordinate algebras of the quantum motion group and of the complex plane, and of the quantized enveloping algebra with the coordinate algebras of the quantum group and of the quantum disc. Invariant positive functionals and the corresponding Heisenberg representations are explicitly described.Presented by S.L. Woronowicz.     

Equivariant vector bundles on Drinfeld’s upper half space

Let be Drinfeld’s upper half space over a finite extension K of ℚ _p . We construct for every GL _d+1-equivariant vector bundle on ℙ ^d _K , a GL _d+1(K)-equivariant filtration by closed subspaces on the K-Fréchet . This gives rise by duality to a filtration by locally analytic GL _d+1(K)-representations on the strong dual . The graded pieces of this filtration are locally analytic induced representations from locally algebraic ones with respect to maximal parabolic subgroups. This paper generalizes the cases of the canonical bundle due to Schneider and Teitelbaum [ST1] and that of the structure sheaf by Pohlkamp [P].     

Increasing functions and inverse Santaló inequality for unconditional functions

Let be a convex function and be its Legendre tranform. It is proved that if is invariant by changes of signs, then . This is a functional version of the inverse Santaló inequality for unconditional convex bodies due to J. Saint Raymond. The proof involves a general result on increasing functions on together with a functional form of Lozanovskii’s lemma. In the last section, we prove that for some c > 0, one has always . This generalizes a result of B. Klartag and V. Milman.      

Representation theory of $\mathcal{W}$-algebras

We study the representation theory of the -algebra associated with a simple Lie algebra at level k. We show that the “-” reduction functor is exact and sends an irreducible module to zero or an irreducible module at any level k∈ℂ. Moreover, we show that the character of each irreducible highest weight representation of is completely determined by that of the corresponding irreducible highest weight representation of affine Lie algebra of . As a consequence we complete (for the “-” reduction) the proof of the conjecture of E. Frenkel, V. Kac and M. Wakimoto on the existence and the construction of the modular invariant representations of -algebras. Mathematics Subject Classification (1991)  17B68, 81R10     

The Pluri-Fine Topology is Locally Connected

We prove that the pluri-fine topology on any open set in is locally connected. This answers a question by Fuglede.     

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.     

Elements of Prescribed Order,Prescribed Traces and Systems of Rational Functions Over Finite Fields

Let k 1 and be a system of rational functions forming a strongly linearly independent set over a finite field . Let be arbitrarily prescribed elements. We prove that for all sufficiently large extensions , there is an element of prescribed order such that is the relative trace map from onto We give some applications to BCH codes, finite field arithmetic and ordered orthogonal arrays. We also solve a question of Helleseth et~al. (Hypercubic 4 and 5-designs from Double-Error-Correcting codes, Des. Codes. Cryptgr. 28(2003). pp. 265–282) completely.classification 11T30, 11G20, 05B15     

Gabor frames by sampling and periodization

By sampling the window of a Gabor frame for belonging to Feichtinger’s algebra, , one obtains a Gabor frame for . In this article we present a survey of results by R. Orr and A.J.E.M. Janssen and extend their ideas to cover interrelations among Gabor frames for the four spaces , , and . Some new results about general dual windows with respect to sampling and periodization are presented as well. This theory is used to show a new result of the Kaiblinger type to construct an approximation to the canonical dual window of a Gabor frame for .