Alternating permutations and binary increasing trees

In [3], Foata and Schützenberger prove that the binary increasing trees are equinumerous with half of the alternating permutations considered by André [1].In this paper we present a direct recursive proof of this fact, and then exhibit a natural bijection between the two families. In the process a second class of permutations, which forms a main concern of Foata and Schützenberger's paper, is encountered in a natural setting.     

The André/Bruck and Bose representation of conics in Baer subplanes of PG(2,q 2)

The André/Bruck and Bose representation ([1], [5,6]) of PG(2,q ²) in PG(4,q) is a tool used by many authors in the proof of recent results. In this paper the André/Bruck and Bose representation of conics in Baer subplanes of PG(2,q ²) is determined. It is proved that a non-degenerate conic in a Baer subplane of PG(2,q ²) is a normal rational curve of order 2, 3, or 4 in the André/Bruck and Bose representation. Moreover the three possibilities (classes) are examined and we classify the conics in each class. Received 1 September 1999; revised 17 July 2000.     

Homogeneous nearly K?hler manifolds

The structure of nearly K?hler manifolds was studied by Gray in several articles, mainly in Gray (Math Ann 223:233?C248, 1976). More recently, a relevant progress on the subject has been done by Nagy. Among other results, he proved that a complete strict nearly K?hler manifold is locally a Riemannian product of homogeneous nearly K?hler spaces, twistor spaces over quaternionic K?hler manifolds and six-dimensional (6D) nearly K?hler manifolds, where the homogeneous nearly K?hler factors are also 3-symmetric spaces. In the present article, we show some further properties relative to the structure of nearly K?hler manifolds and, using the lists of 3-symmetric spaces given by Wolf and Gray, we display the exhaustive list of irreducible simply connected homogeneous strict nearly K?hler manifolds. For such manifolds, we give details relative to the intrinsic torsion and the Riemannian curvature.     

On existence of invariant measures

Let G be a Lie group, H ≤ G a closed subgroup and M ≈ G/H. In [14] André Weil gave a necessary and sufficient condition for the existence of invariant measures on homogeneous spaces of arbitrary locally compact groups. For Lie groups using the structure theory we give a neater necessary and sufficient condition for the existence of a G-invariant measure on M, cf. Theorems (2.1) and (3.2) in the introduction.     

Algebraic and analytic parallel transport on p-adic curves

We relate two different partial p-adic analogues of the classical Riemann-Hilbert correspondence on curves. The first one comes from Deninger-Werner and Faltings and is of algebraic nature. The second one comes from André and Berkovich and is defined on Berkovich analytic spaces.     

Categorical equivalence and the Ramsey property for finite powers of a primal algebra

In this paper, we investigate the best known and most important example of a categorical equivalence in algebra, that between the variety of boolean algebras and any variety generated by a single primal algebra. We consider this equivalence in the context of Kechris-Pestov-Todor?evi? correspondence, a surprising correspondence between model theory, combinatorics and topological dynamics. We show that relevant combinatorial properties (such as the amalgamation property, Ramsey property and ordering property) carry over from a category to an equivalent category. We then use these results to show that the category whose objects are isomorphic copies of finite powers of a primal algebra \({\mathcal{A}}\) together with a particular linear ordering <, and whose morphisms are embeddings, is a Ramsey age (and hence a Fraïssé age). By the Kechris-Pestov-Todor?evi? correspondence, we then infer that the automorphism group of its Fraïssé limit is extremely amenable. This correspondence also enables us to compute the universal minimal flow of the Fraïssé limit of the class \({{\bf V}_{fin} \mathcal{(A)}}\) whose objects are isomorphic copies of finite powers of a primal algebra \({\mathcal{A}}\) and whose morphisms are embeddings.     

Differentiability of mappings in the geometry of Carnot manifolds

We study the differentiability of mappings in the geometry of Carnot-Carathéodory spaces under the condition of minimal smoothness of vector fields. We introduce a new concept of hc-differentiability and prove the hc-differentiability of Lipschitz mappings of Carnot-Carathéodory spaces (a generalization of Rademacher’s theorem) and a generalization of Stepanov’s theorem. As a consequence, we obtain the hc-differentiability almost everywhere of the quasiconformal mappings of Carnot-Carathéodory spaces. We establish the hc-differentiability of rectifiable curves by way of proof. Moreover, the paper contains a new proof of the functorial property of the correspondence “a local basis ? the nilpotent tangent cone.”     

On topologies generated by Moisil resemblance relations

In [8] and [9] Moisil has introduced the resemblance relations. Following [9] we associate to every resemblance relation an extensive operator which commutes with arbitrary unions of sets. We are leading to consider spaces endowed with such closure operators; we shall call these spaces total ?ech spaces (TC-spaces).TC-spaces are in one-to-one, onto correspondence with reflexive relations. TC-spaces generated by transitive relations are in one-to-one, onto correspondence with the total topological spaces of W. Hartnett (which are called total Kuratowski spaces, TK-spaces).We study the category of TC-spaces and its full subcategory determined by TK-spaces. Both categories are Cartesian closed, but they are not elementary toposes.     

Some equivalent definitions of high order Sobolev spaces on stratified groups and generalizations to metric spaces

Recently, in the article [LW], the authors use the notion of polynomials in metric spaces of homogeneous type (in the sense of Coifman-Weiss) to prove a relationship between high order Poincaré inequalities and representation formulas involving fractional integrals of high order, assuming only that is a doubling measure and that geodesics exist. Motivated by this and by recent work in [H], [FHK], [KS] and [FLW] about first order Sobolev spaces in metric spaces, we define Sobolev spaces of high order in such metric spaces . We prove that several definitions are equivalent if functions of polynomial type exist. In the case of stratified groups, where polynomials do exist, we show that our spaces are equivalent to the Sobolev spaces defined by Folland and Stein in [FS]. Our results also give some alternate definitions of Sobolev spaces in the classical Euclidean case. Received: 10 February 1999 / Published online: 1 February 2002     

Mehler semigroups,Ornstein-Uhlenbeck processes and background driving Lévy processes on locally compact groups and on hypergroups

For finite dimensional vector spaces it is well-known that there exists a 1-1-correspondence between distributions of Ornstein-Uhlenbeck type processes (w.r.t. a fixed group of automorphisms) and (background driving) Lévy processes, hence between M- or skew convolution semigroups on the one hand and continuous convolution semigroups on the other. An analogous result could be proved for simply connected nilpotent Lie groups. Here we extend this correspondence to a class of commutative hypergroups.     

Analytic study on a state observer synchronizing a class of linear fractional differential systems

This paper is concerned with Theorem 2 in Matignon and d’André-Novel (1997) [1], which was sufficient and necessary criterion on a state observer for a class of linear fractional differential systems. Based on the stability theory, the dual principle and the pole assignment theory of the fractional differential system, we have proved the validity of sufficiency of Theorem 2 in details. A counterexample is provided to show that the condition of Theorem 2 is not necessary.     

Universal K?the Sequence Spaces

 A characterization is given for the K?the matrices B such that the K?the sequence space , with , contains all K?the sequence spaces of order p as subspaces. It follows that the class of K?the sequence spaces of order p has a universal element which is quasinormable. In particular, there is a quasinormable space (respectively, which contains every nuclear Fréchet space with basis (respectively, every countably normed Fréchet Schwartz space). Only Fréchet spaces with continuous norm are considered in this note.     

On some incidence structures

In this paper,suggested by André's papers ([2), [3]), we construct geometrical structures (X,?,//}) where X is a finite set of points, ? is a set of lines, and // is an equivalence relation on ?. These constructions are made starting with a finite and not empty set X and a permutation group G which is 2-transitive on X and such that the stabilizer of two distinct points of X is different from the identical subgroup. We look for conditions such that the structure (X, ?) is a (3,q)-Steiner system. We remember that a (3,q)-Steiner system is a pair (X,B), where X is a set of elements (called points), B is a system of subsets of X (called blocks), such that:

1. every block contains q points exactly;
2. given three distinct points x,y,z of X, there is exactly one subset of X belonging to B and containing x,y,z.

At the end we construct such a system with the help of a nearskewfield (according to Zassenhaus [7], [8]).     

Classification of locally homogeneous affine connections with arbitrary torsion on 2-dimensional manifolds

The aim of this paper is to classify (locally) all locally homogeneous affine connections with arbitrary torsion on two-dimensional manifolds. Herewith, we generalize the result given by B. Opozda for torsion-less case in [(2004) Classification of locally homogeneous connections on 2-dimensional manifolds. Diff Geom Appl 21: 173–198]. Authors’ addresses: Teresa Arias-Marco, Department of Geometry and Topology, University of Valencia, Vicente Andrés Estellés 1, 46100 Burjassot, Valencia, Spain; Oldřich Kowalski, Faculty of Mathematics and Physics of the Charles University, Sokolovská 83, 18600 Praha 8, Czech Republic     

Homogeneous p-adic vector bundles on abelian varieties that are analytic tori II

We investigate the temperate p-adic Riemann–Hilbert functor defined by André on abelian varieties that are analytic tori. We show that this functor induces an equivalence between the category of discrete and integral representation of the temperate fundamental group of the torus on finite dimensional \mathbb C_p{{\mathbb C}_{p}} -vector spaces as well as the category of homogeneous p-adic vector bundles on the torus.     

Universal Köthe Sequence Spaces

 A characterization is given for the K?the matrices B such that the K?the sequence space , with , contains all K?the sequence spaces of order p as subspaces. It follows that the class of K?the sequence spaces of order p has a universal element which is quasinormable. In particular, there is a quasinormable space (respectively, which contains every nuclear Fréchet space with basis (respectively, every countably normed Fréchet Schwartz space). Only Fréchet spaces with continuous norm are considered in this note. Received 15 January 1997; in final form 9 June 1997     

Global existence and collisions for symmetric configurations of nearly parallel vortex filaments

We consider the Schrödinger system with Newton-type interactions that was derived by R. Klein, A. Majda and K. Damodaran (1995) [17] to modelize the dynamics of N nearly parallel vortex filaments in a 3-dimensional homogeneous incompressible fluid. The known large time existence results are due to C. Kenig, G. Ponce and L. Vega (2003) [16] and concern the interaction of two filaments and particular configurations of three filaments. In this article we prove large time existence results for particular configurations of four nearly parallel filaments and for a class of configurations of N   nearly parallel filaments for any N?2$N?2$. We also show the existence of travelling wave type dynamics. Finally we describe configurations leading to collision.     

Multivariate Padé-Bergman approximants

Summary. We define the multivariate Padé-Bergman approximants (also called Padé approximants) and prove a natural generalization of de Montessus de Ballore theorem. Numerous definitions of multivariate Padé approximants have already been introduced. Unfortunately, they all failed to generalize de Montessus de Ballore theorem: either spurious singularities appeared (like the homogeneous Padé [3,4], or no general convergence can be obtained due to the lack of consistency (like the equation lattice Padé type [3]). Recently a new definition based on a least squares approach shows its ability to obtain the desired convergence [6]. We improve this initial work in two directions. First, we propose to use Bergman spaces on polydiscs as a natural framework for stating the least squares problem. This simplifies some proofs and leads us to the multivariate Padé approximants. Second, we pay a great attention to the zero-set of multivariate polynomials in order to find weaker (although natural) hypothesis on the class of functions within the scope of our convergence theorem. For that, we use classical tools from both algebraic geometry (Nullstellensatz) and complex analysis (analytic sets, germs). Received December 4, 2001 / Revised version received January 2, 2002 / Published online April 17, 2002     

Differential symmetry breaking operators: I. General theory and F-method

We prove a one-to-one correspondence between differential symmetry breaking operators for equivariant vector bundles over two homogeneous spaces and certain homomorphisms for representations of two Lie algebras, in connection with branching problems of the restriction of representations. We develop a new method (F-method) based on the algebraic Fourier transform for generalized Verma modules, which characterizes differential symmetry breaking operators by means of certain systems of partial differential equations. In contrast to the setting of real flag varieties, continuous symmetry breaking operators of Hermitian symmetric spaces are proved to be differential operators in the holomorphic setting. In this case, symmetry breaking operators are characterized by differential equations of second order via the F-method.     

Towards an Algebraic Proof of Deligne’s Regularity Criterion. An Informal Survey of Open Problems

We review the notion of regular singular point of a linear differential equation with meromorphic coefficients, from the viewpoint of algebraic geometry. We give several equivalent definitions of regularity along a divisor for a meromorphic connection on a complex algebraic manifold and discuss the global birational theory of fuchsian differential modules over a field of algebraic functions. We describe the generalized algebraic version of Deligne’s canonical extension, constructed in [1, I.4]. Our main interest lies in the algebraic form of Deligne’s regularity criterion [2, II.4.4 (iii)], asserting that, on a normal compactification, only one codimensional components of the locus at infinity need to be considered. If one considers the purely algebraic nature of the statement, it is surprising that the only existing proof of this criterion is the transcendental argument given by Deligne in his corrigendum to loc. cit. dated April 1971. The algebraic proof given in our book [1, I.5.4] is also incorrect, as J. Bernstein kindly indicated to us.We introduce some notions of logarithmic geometry to let the reader appreciate Bernstein’s (counter)examples to some statements in our book [1]. Standard methods of generic projection in projective spaces reduce the question to a two-dimensional puzzle. We report on ongoing correspondence with Y. André and N. Tsuzuki, leading to partial results and provide examples indicating the subtlety of the problem. Lecture held in the Seminario Matematico e Fisico on January 31, 2005 Received: June 2005