title: Model Theory of Partial Differential Fields: From Commuting to Noncommuting Derivations

abstract: McGrail has shown the existence of a model completion for the universal theory of fields on which a finite number of commuting derivations act and, independently, Yaffe has shown the existence of a model completion for the univeral theory of fields on which a fixed Lie algebra acts as derivations. We show how to derive the second result from the first.


title: Exact conditions for countable inclusion-exclusion identity and extensions

abstract: We give simple necessary and sufficient conditions for the inclusion-exclusion identity to hold for an infinite countable number of sets. In terms of a random variable, whose range are nonnegative integers, this condition is equivalent to the convergence to zero of binomial moments. Some standard extensions of the countable inclusion-exclusion identity are also given.


title: A geometric classification of some solvable groups of homeomorphisms

abstract: We investigate subgroups of the group PLo(I) of piecewise-linear, orientation-preserving homeomorphisms of the unit interval with finitely many breaks in slope, under the operation of composition, and also subgroups of the generalized Thompson groups F_n. We find geometric criteria determining the derived length of any such group, and use this criteria to produce a geometric classification of the solvable and non-solvable subgroups of PLo(I) and of the F_n. We also show that any standard restricted wreath product C wr T (of non-trivial groups) that embeds in PLo(I) or F_n must have T isomorphic with the integers.


title: A correspondence principle between (hyper)graph theory and probability theory, and the (hyper)graph removal lemma

abstract: We introduce a correspondence principle (analogous to the Furstenberg correspondence principle) that allows one to extract an infinite random graph or hypergraph from a sequence of increasingly large deterministic graphs or hypergraphs. As an application we present a new (infinitary) proof of the hypergraph removal lemma of Nagle-Schacht-R\"odl-Skokan and Gowers, which does not require the hypergraph regularity lemma and requires significantly less computation. This in turn gives new proofs of several corollaries of the hypergraph removal lemma, such as Szemer\'edi's theorem on arithmetic progressions.


title: An algebraic classification of some solvable groups of homeomorphisms

abstract: We produce two separate algebraic descriptions of the isomorphism classes of the solvable subgroups of the group PLo(I) of piecewise-linear orientation-preserving homeomorphisms of the unit interval under the operation of composition, and also of the solvable subgroups of the generalized R. Thompson groups F_n. The first description is as a set of isomorphism classes of groups which is closed under three algebraic operations, and the second is as the set of isomorphism classes of subgroups of a countable collection of easily described groups. We show the two descriptions are equivalent.


title: The Automorphism Group of a Finite p-Group is Almost Always a p-Group

abstract: Many common finite p-groups admit automorphisms of order coprime to p, and when p is odd, it is reasonably difficult to find finite p-groups whose automorphism group is a p-group. Yet the goal of this paper is to prove that the automorphism group of a finite p-group is almost always a p-group. The asymptotics in our theorem involve fixing any two of the following parameters and letting the third go to infinity: the lower p-length, the number of generators, and p. The proof of this theorem depends on a variety of topics: counting subgroups of a p-group; analyzing the lower p-series of a free group via its connection with the free Lie algebra; counting submodules of a module via Hall polynomials; and using numerical estimates on Gaussian coefficients.


title: Smooth finite abelian uniformizations of projective spaces and Calabi-Yau Orbifolds

abstract: We give a classification of smooth complex manifolds with a finite abelian group action, such that the quotient is isomorphic to a projective space. The case where the manifold is a Calabi-Yau is studied in detail.


title: On the speed of the one-dimensional excited random walk in the transient regime

abstract: We study a class of nearest-neighbor discrete time integer random walks introduced by Zerner, the so called multi-excited random walks. The jump probabilities for such random walker have a drift to the right whose intensity depends on a random or non-random environment that also evolves in time according to the last visited site. A complete description of the recurrence and transience phases was given by Zerner under fairly general assumptions for the environment. We contribute in this paper with some results that allows us to point out if the random walker speed is strictly positive or not in the transient case for a class of non-random environments.


title: The Instability of the Central Configuration Caused By Resonance Perturbation

abstract: The gravitation interaction between particles is taken into account in central configuration model. After that, the resonance perturbation of the particle of the central configuration by distant satellite is considered in the restricted 3-body problem approach. A shift between simple mean motion resonances and parametric resonance zones is derived. This shift depends upon mass satellite and central configuration properties. Unexpectedly, the resonance structure depends only on particle density and number of particles in the central configuration, but not depends on particles mass. Then, the system of few non-interacted planar central configurations is considered. The resonance structure, which follows from parametric instability, is more abundant than for simple mean motion resonance case. The areas of parametric instability restrict stable central configuration, placed in exact commensurability, from both sides. The possible application to the planetary ring structure is discussed.


title: Noncommutative Bessel symmetric functions

abstract: The consideration of tensor products of 0-Hecke algebra modules leads to natural analogs of the Bessel J-functions in the algebra of noncommutative symmetric functions. This provides a simple explanation of various combinatorial properties of Bessel functions.


title: An Induction Principle for the Weighted p-Energy Minimality of x/|x|

abstract: In this paper, we investigate minimizing properties of the map $x/\|x\|$ from the Euclidean unit ball $\mathbf{B}^{n}$ to its boundary $\mathbb{S}^{n-1}$, for the weighted energy functionals $E^n\_{p,\alpha}(u)=\int\_{\mathbf{B}^{n}} \|x\|^{\alpha}\|\nabla u\|^p dx$. We establish the following induction principle: if the map $\frac{x}{\|x\|}:\mathbf{B}^{n+1}\to \mathbb{S}^n$ minimizes $E^{n+1}\_{p,\alpha}$ among the maps $u: \mathbf{B}^{n+1}\to \mathbb{S}^n$ satisfying $u(x)=x$ on $\mathbb{S}^n$, then the map $\frac{y}{\|y\|}:\mathbf{B}^n\to\mathbb{S}^{n-1}$ minimizes $E^{n}\_{p,\alpha+1}$ among the maps $v: \mathbf{B}^n\to\mathbb{S}^{n-1}$ satisfying $v(y)=y$ on $\mathbb{S}^{n-1}$. This result enables us to enlarge the range of values of $p$ and $\alpha$ for which $x/\|x\|$ minimizes $E^n\_{p,\alpha}$.


title: The Hilbert Scheme of Space Curves of Small Diameter

abstract: This paper studies space curves C of degree d and arithmetic genus g, with homogeneous ideal I and Rao module M = H_{*}^1(I^~), whose main results deal with curves which satisfy Ext^2(M,M)_0=0 (e.g. of diameter, diam M < 3, which means that M is non-vanishing in at most two consecutive degrees). For such curves C we find necessary and sufficient conditions for unobstructedness, and we compute the dimension of the Hilbert scheme, H(d,g), at (C) under the sufficient conditions. In the diameter one case, the necessary and sufficient conditions coincide, and the unobstructedness of C turns out to be equivalent to the vanishing of certain products of graded Betti numbers of the free graded minimal resolution of I. We give classes of obstructed curves C for which we partially compute the equations of the singularity of H(d,g) at (C). Moreover by taking suitable deformations we show how to kill certain repeated direct free factors ("ghost-terms") in the minimal resolution of the ideal of the general curve. For Buchsbaum curves of diameter at most 2, we simplify in this way the minimal resolution further, allowing us to see when a singular point of H(d,g) sits in the intersection of several, or lies in a unique irreducible component of H(d,g). It follows that the products of the graded Betti numbers mentioned above of a generic curve vanish, and that any irreducible component of H(d,g) is reduced (generically smooth) in the diameter 1 case.


title: Deformation of dual Leibniz algebra morphisms

abstract: An algebraic deformation theory of morphisms of dual Leibniz algebras is obtained.


title: State sum construction of two-dimensional open-closed Topological Quantum Field Theories

abstract: We present a state sum construction of two-dimensional extended Topological Quantum Field Theories (TQFTs), so-called open-closed TQFTs, which generalizes the state sum of Fukuma--Hosono--Kawai from triangulations of conventional two-dimensional cobordisms to those of open-closed cobordisms, i.e. smooth compact oriented 2-manifolds with corners that have a particular global structure. This construction reveals the topological interpretation of the associative algebra on which the state sum is based, as the vector space that the TQFT assigns to the unit interval. Extending the notion of a two-dimensional TQFT from cobordisms to suitable manifolds with corners therefore makes the relationship between the global description of the TQFT in terms of a functor into the category of vector spaces and the local description in terms of a state sum fully transparent. We also illustrate the state sum construction of an open-closed TQFT with a finite set of D-branes using the example of the groupoid algebra of a finite groupoid.


title: On Harder-Narasimhan reductions for Higgs principal bundles

abstract: The existence and uniqueness of H-N reduction for the Higgs principal bundles over nonsingular projective variety is shown. We also extend the notion of H-N reduction for (\Gamma, G)-bundles and ramified G-bundles over a smooth curve.


title: Harmonic sections of Riemannian vector bundles, and metrics of Cheeger-Gromoll type

abstract: We study harmonic sections of a Riemannian vector bundle whose total space is equipped with a 2-parameter family of metrics which includes both the Sasaki and Cheeger-Gromoll metrics. This enables the theory of harmonic unit sections to be extended to bundles with non-zero Euler class.


title: Rough Path Analysis Via Fractional Calculus

abstract: Using fractional calculus we define integrals of the form $% \int_{a}^{b}f(x_{t})dy_{t}$, where $x$ and $y$ are vector-valued H\"{o}lder continuous functions of order $\displaystyle \beta \in (\frac13, \frac12)$ and $f$ is a continuously differentiable function such that $f'$ is $\lambda$-H\"oldr continuous for some $\lambda>\frac1\beta-2$. Under some further smooth conditions on $f$ the integral is a continuous functional of $x$, $y$, and the tensor product $x\otimes y$ with respect to the H\"{o}lder norms. We derive some estimates for these integrals and we solve differential equations driven by the function $y$. We discuss some applications to stochastic integrals and stochastic differential equations.


title: Smooth Approximation of Lipschitz functions on Riemannian manifolds

abstract: We show that for every Lipschitz function $f$ defined on a separable Riemannian manifold $M$ (possibly of infinite dimension), for every continuous $\epsilon:M\to (0,+\infty)$, and for every positive number $r>0$, there exists a $C^\infty$ smooth Lipschitz function $g:M\to\mathbb{R}$ such that $|f(p)-g(p)|\leq\epsilon(p)$ for every $p\in M$ and $\textrm{Lip}(g)\leq\textrm{Lip}(f)+r$. Consequently, every separable Riemannian manifold is uniformly bumpable. We also present some applications of this result, such as a general version for separable Riemannian manifolds of Deville-Godefroy-Zizler's smooth variational principle.


title: Toric fiber products

abstract: We introduce and study the toric fiber product of two ideals in polynomial rings that are homogeneous with respect to the same multigrading. Under the assumption that the set of degrees of the variables form a linearly independent set, we can explicitly describe generating sets and Groebner bases for these ideals. This allows us to unify and generalize some results in algebraic statistics.


title: Towards a Definition of an Algorithm

abstract: We define an algorithm to be the set of programs that implement or express that algorithm. The set of all programs is partitioned into equivalence classes. Two programs are equivalent if they are essentially the same program. The set of equivalence classes forms the category of algorithms. Although the set of programs does not even form a category, the set of algorithms form a category with extra structure. The conditions we give that describe when two programs are essentially the same turn out to be coherence relations that enrich the category of algorithms with extra structure. Universal properties of the category of algorithms are proved.


title: Stationary Solutions of SPDEs and Infinite Horizon BDSDEs

abstract: In this paper we study the existence of stationary solutions for stochastic partial differential equations. We establish a new connection between $L_{\rho}^2({\mathbb{R}^{d}};{\mathbb{R}^{1}}) \otimes L_{\rho}^2({\mathbb{R}^{d}};{\mathbb{R}^{d}})$ valued solutions of backward doubly stochastic differential equations (BDSDEs) on infinite horizon and the stationary solutions of the SPDEs. Moreover, we prove the existence and uniqueness of the solutions of BDSDEs on both finite and infinite horizons, so obtain the solutions of initial value problems and the stationary solutions (independent of any initial value) of SPDEs. The connection of the weak solutions of SPDEs and BDSDEs has independent interests in the areas of both SPDEs and BSDEs.


title: A central element in the universal enveloping algebra of type D_n via minor summation formula of Pfaffians

abstract: It is known that the universal enveloping algebra of the orthogonal Lie algebra of size even has a central element expressed in terms of Pfaffian of a certain matrix alternating along the anti-diagonal (which we call anti-alternating for short) whose entries are in the univerasal enveloping algebra. In this paper, we establish minor summation formulae of Pfaffian for the noncommutative anti-alternating matrix, as well as for commutative anti-alternating matrix. As an application, we show that the eigenvalues on the highest weight modules of the central element given by the Pfaffian can be easily computed.


title: The Method of Orbits for Real Lie Groups

abstract: In this paper, we outline a developement of the theory of orbit method for representations of real Lie groups. In particular, we study the orbit method for representations of the Heisenberg group and the Jacobi group.


title: Dispersive estimates of solutions to the Schrodinger equation in dimensions $n\ge 4$

abstract: We prove dispersive estimates for solutions to the Schrodinger equation with a real-valued potential $V\in L^\infty({\bf R}^n)$, $n\ge 4$, satisfying $V(x)=O(|x|^{-(n+2)/2-\epsilon})$, $|x|>1$, $\epsilon>0$.


title: Dispersive estimates of solutions to the wave equation with a potential in dimensions $n\ge 4$

abstract: We prove dispersive estimates for solutions to the wave equation with a real-valued potential $V\in L^\infty({\bf R}^n)$, $n\ge 4$, satisfying $V(x)=O(|x|^{-(n+1)/2-\epsilon})$, $|x|>1$, $\epsilon>0$.


title: The Matrix of Maximum Out Forests of a Digraph and Its Applications

abstract: We study the maximum out forests of a (weighted) digraph and the matrix of maximum out forests. A maximum out forest of a digraph G is a spanning subgraph of G that consists of disjoint diverging trees and has the maximum possible number of arcs. If a digraph contains any out arborescences, then maximum out forests coincide with them. We provide a new proof to the Markov chain tree theorem saying that the matrix of Ces`aro limiting probabilities of an arbitrary stationary finite Markov chain coincides with the normalized matrix of maximum out forests of the weighted digraph that corresponds to the Markov chain. We discuss the applications of the matrix of maximum out forests and its transposition, the matrix of limiting accessibilities of a digraph, to the problems of preference aggregation, measuring the vertex proximity, and uncovering the structure of a digraph.


title: The Galois structure of ambiguous ideals in cyclic extensions of degree 8

abstract: In cyclic, degree 8 extensions of algebraic number fields $N/K$, ambiguous ideals in N are canonical $\mathbb{Z}[C_8]$-modules. Their $\mathbb{Z}[C_8]$-structure is determined here. It is described in terms of indecomposable modules and determined by ramification invariants. Although infinitely many indecomposable $\mathbb{Z}[C_8]$-modules are available (classification by Yakovlev), only 23 appear.


title: Spanning Forests of a Digraph and Their Applications

abstract: We study spanning diverging forests of a digraph and related matrices. It is shown that the normalized matrix of out forests of a digraph coincides with the transition matrix in a specific observation model for Markov chains related to the digraph. Expression are given for the Moore-Penrose generalized inverse and the group inverse of the Kirchhoff (Laplacian) matrix. These expressions involve the matrix of maximum out forest of the digraph. Every matrix of out forests with a fixed number of arcs and the normalized matrix of out forests are represented as polynomials in the Kirchhoff matrix; with the help of these identities new proofs are given for the matrix-forest theorem and some other statements. A connection is specified between the forest dimension of a digraph and the degree of an annihilating polynomial for the Kirchhoff (Laplacian) matrix. Some accessibility measures for digraph vertices are considered. These are based on the enumeration of spanning forests.


title: Spinning particles in a Yang-Mills field

abstract: Suppose that a Lie group $G$ acts properly on a configuration manifold $Q$. We study the symplectic quotient of $T^*Q$ with respect to the cotangent lifted $G$-action at an arbitrary coadjoint orbit level $\mathcal{O}$. In particular, if $Q=Q_{(H)}$ is of single orbit type we show that the symplectic quotient of $T^*Q$ at $\mathcal{O}$ can be constructed through a minimal coupling procedure involving the smaller cotangent bundle $T^*Q_H$, the symplectic quotient of $\mathcal{O}$ at 0 with respect to the $H$-action, and the diagonal Hamiltonian $N(H)/H$-action on these symplectic spaces. A prescribed connection on $Q_H\to Q_H/(N(H)/H)$ then yields a computationally effective way of explicitly realizing the symplectic structure on each stratum of the symplectic quotient of $T^*Q$. In an example this result is combined with the projection method to produce a stratified Hamiltonian system with very well hidden symmetries.


title: Orthogonal surfaces

abstract: Orthogonal surfaces are nice mathematical objects which have interesting connections to various fields, e.g., integer programming, monomial ideals and order dimension. While orthogonal surfaces in one or two dimensions are rather trivial already the three dimensional case has a rich structure with connections to Schnyder woods, planar graphs and 3-polytopes. Our objective is to detect more of the structure of orthogonal surfaces in four and higher dimensions. In particular we are driven by the question which non-generic orthogonal surfaces have a polytopal structure. We study characteristic points and the cp-orders of orthogonal surfaces, i.e., the dominance orders on the characteristic points. In the generic case these orders are (almost) face lattices of polytopes. Examples show that in general cp-orders can lack key properties of face lattices. We investigate extra requirements which may help to have cp-orders which are face lattices. Finally, we turn the focus and ask for the realizability of polytopes on orthogonal surfaces. There are criteria which prevent large classes of simplicial polytopes from being realizable. On the other hand we identify some families of polytopes which can be realized on orthogonal surfaces.


title: Applications of an Equivariant Etale Cohomology to Arithmetic Topology

abstract: A. Sikora has shown results which confirm the analogy between number fields and 3-manifolds. However, he has given proofs of his results which are very different in the arithmetic and in the topological case. In this paper, we show how to provide a unified approach to the results in the two cases. For this we introduce an equivariant cohomology which satisfies a localization theorem. In particular, we obtain a satisfactory explanation for the coincidences between Sikora's formulas which leads us to clarify and to extend the dictionary of arithmetic topology.


title: Multifractal spectra and precise rates of decay in homogeneous fragmentation

abstract: We consider a mass-conservative fragmentation of the unit interval. The main purpose of this work is to specify the Hausdorff dimension of the set of locations having exactly an exponential decay. The study relies on an additive martingale which arises naturally in this setting, and a class of L\'evy processes constrained to stay in a finite interval.


title: Pattern-Equivariant Cohomology with Integer Coefficients

abstract: We relate Kellendonk and Putnam's pattern-equivariant (PE) cohomology to the inverse-limit structure of a tiling space. This gives a version of PE cohomology with integer coefficients, or with coefficients in any Abelian group. It also provides an easy proof of Kellendonk and Putnam's original theorem relating PE cohomology to the Cech cohomology of the tiling space. The inverse-limit structure also allows for the construction of a new non-Abelian invariant, the PE representation variety.


title: Stability of Statistical Properties in Two-Dimensional Piecewise Hyperbolic Maps

abstract: We investigate the statistical properties of a piecewise smooth dynamical system by studying directly the action of the transfer operator on appropriate spaces of distributions. We accomplish such a program in the case of two-dimensional maps with uniformly bounded second derivative, but we are confident that the present approach can be successful in much greater generality (we hope including higher dimensional billiards). For the class of systems at hand, we obtain a complete description of the SRB measures, their statistical properties and their stability with respect to many types of perturbations, including deterministic and random perturbations and holes.


title: On refined enumerations of totally symmetric self-complementary plane partitions I

abstract: In this paper we give Pfaffian expressions and constant term identities for the enumeration problems presented by Mills, Robbins and Rumsey (``Self-complementary totally symmetric plane partitions'' J. Combin. Theory Ser. A, 42, 277--292), concerning the totally symmetric self-complementary plane partitions (TSSCPPs). We also present some new conjectures and give Pfaffian expressions for them.


title: Semiclassical Nonconcentration near Hyperbolic Orbits

abstract: For a large class of semiclassical pseudodifferential operators, including Schr\"odinger operators, $ P (h) = -h^2 \Delta_g + V (x) $, on compact Riemannian manifolds, we give logarithmic lower bounds on the mass of eigenfunctions outside neighbourhoods of generic closed hyperbolic orbits. More precisely we show that if $ A $ is a pseudodifferential operator which is microlocally equal to the identity near the hyperbolic orbit and microlocally zero away from the orbit, then \[ \| u \| \leq C (\sqrt{\log(1/h)}/ h) \| P (h)u \| + C \sqrt {\log(1/h)} \| (I - A) u \| . \] This generalizes earlier estimates of Colin de Verdi\`ere-Parisse \cite{CVP} obtained for a special case, and of Burq-Zworski \cite{BZ} for real hyperbolic orbits.


title: The Matrix-Forest Theorem and Measuring Relations in Small Social Groups

abstract: We propose a family of graph structural indices related to the Matrix-forest theorem. The properties of the basic index that expresses the mutual connectivity of two vertices are studied in detail. The derivative indices that measure "dissociation," "solitariness," and "provinciality" of vertices are also considered. A nonstandard metric on the set of vertices is introduced, which is determined by their connectivity. The application of these indices in sociometry is discussed.


title: Algorithmic aspects of algebraic methods for graph isomorphism testing

abstract: We present the implementation of an algorithm for graph isomorphism testing, based on ideas about number of walks (of sufficiently large length) between vertices. The algorithm is expanded for strongly regular graphs (SRG-s) by testing the local complements and values of determinants of their adjacency matrices. All known non-isomorphic SRG-s (with no more than 64 vertices) are distinguishable by this method.


title: Generalized Vertex Algebras

abstract: We give a short introduction to generalized vertex algebras, using the notion of polylocal fields. We construct a generalized vertex algebra associated to a vector space h with a symmetric bilinear form. It contains as subalgebras all lattice vertex algebras of rank equal to dim h and all irreducible representations of these vertex algebras.


title: On Proximity Measures for Graph Vertices

abstract: We study the properties of several proximity measures for the vertices of weighted multigraphs and multidigraphs. Unlike the classical distance for the vertices of connected graphs, these proximity measures are applicable to weighted structures and take into account not only the shortest, but also all other connections, which is desirable in many applications. To apply these proximity measures to unweighted structures, every edge should be assigned the same weight which determines the proportion of taking account of two routes, from which one is one edge longer than the other. Among the proximity measures we consider path accessibility, route accessibility, relative forest accessibility along with its components, accessibility via dense forests, and connection reliability. A number of characteristic conditions is introduced and employed to characterize the proximity measures. A topological interpretation is obtained for the Moore-Penrose generalized inverse of the Laplacian matrix of a weighted multigraph.


title: Large deviations estimates for self-intersection local times for simple random walk in $\Z^3$

abstract: We obtain large deviations estimates for the self-intersection local times for a symmetric random walk in dimension 3. Also, we show that the main contribution to making the self-intersection large, in a time period of length $n$, comes from sites visited less than some power of $\log(n)$. This is opposite to the situation in dimensions larger or equal to 5. Finally, we present two applications of our estimates: (i) to moderate deviations estimates for the range of a random walk, and (ii) to moderate deviations for random walk in random sceneries.


title: Singular localization and intertwining functors for reductive Lie algebras in prime characteristic

abstract: In math.RT/0205144 we observed that, on the level of derived categories, representations of the Lie algebra of a semisimple algebraic group over a field of finite characteristic with a given (generalized) regular central character can be identified with coherent sheaves on the formal neighborhood of the corresponding (generalized) Springer fiber. In the present paper we treat singular central characters. The basic step is the Beilinson-Bernstein localization of modules with a fixed (generalized) central character as sheaves on the partial flag variety corresponding to the singularity of the character. These sheaves are modules over a sheaf of algebras which is a version of twisted crystalline differential operators, but is actually larger. We discuss translation functors and intertwining functors. The latter generate an action of the affine braid group on the derived category of modules with a regular (generalized) central character, which intertwines different localization functors. We also describe the standard duality on Lie algebra modules in terms of D-modules and coherent sheaves.


title: On uniform exponential growth for solvable groups

abstract: Using a theorem of J. Groves we give a ping-pong proof of Osin's uniform exponential growth for solvable groups. We discuss slow exponential growth and show that this phenomenon disappears as one passes to a finite index subgroup.


title: Twining characters and Picard groups in rational conformal field theory

abstract: Picard groups of tensor categories play an important role in rational conformal field theory. The Picard group of the representation category C of a rational vertex algebra can be used to construct examples of (symmetric special) Frobenius algebras in C. Such an algebra A encodes all data needed to ensure the existence of correlators of a local conformal field theory. The Picard group of the category of A-bimodules has a physical interpretation, too: it describes internal symmetries of the conformal field theory, and allows one to identify generalized Kramers-Wannier dualities of the theory. When applying these general results to concrete models based on affine Lie algebras, a detailed knowledge of certain representations of the modular group is needed. We discuss a conjecture that relates these representations to those furnished by twining characters of affine Lie algebras.


title: Fundamental problems in the theory of infinite-dimensional Lie groups

abstract: In a preprint from 1982, John Milnor formulated various fundamental questions concerning infinite-dimensional Lie groups. In this note, we describe some of the answers (and partial answers) obtained in the preceding years.


title: Categorification and correlation functions in conformal field theory

abstract: A modular tensor category provides the appropriate data for the construction of a three-dimensional topological field theory. We describe the following analogue for two-dimensional conformal field theories: a 2-category whose objects are symmetric special Frobenius algebras in a modular tensor category and whose morphisms are categories of bimodules. This 2-category provides sufficient ingredients for constructing all correlation functions of a two-dimensional rational conformal field theory. The bimodules have the physical interpretation of chiral data, boundary conditions, and topological defect lines of this theory.


title: A note on resolution of rational and hypersurface singularities

abstract: It is well known that the exceptional set in a resolution of a rational surface singularity is a tree of rational curves. We generalize the combinatoric part of this statement to higher dimensions and show that the highest cohomologies of the dual complex associated to a resolution of an isolated rational singularity vanish. We also prove that the dual complex associated to a resolution of an isolated hypersurface singularity is simply connected. As a consequence, we show that the dual complex associated to a resolution of a 3-dimensional Gorenstein terminal singularity has the homotopy type of a point.


title: Aspects of p-adic non-linear functional analysis

abstract: The article provides an introduction to infinite-dimensional differential calculus over topological fields and surveys some of its applications, notably in the areas of infinite-dimensional Lie groups and dynamical systems.


title: K-theory. An elementary introduction

abstract: This survey paper is an expanded version of lectures given at the Clay Mathematics Academy ; see http://www.claymath.org/programs/outreach/academy/colloquium2005.php These lectures were intended to very young (and motivated) college students with little background. Therefore, they are accessible to a mathematician of any speciality willing to understand the subject. A much more complete introduction to K-theory may be found in the "Handbook of K-theory", recently edited by Springer.


title: Ergodic Transformations of the Space of $p$-adic Integers

abstract: Let $\mathcal L_1$ be the set of all mappings $f\colon\Z_p\Z_p$ of the space of all $p$-adic integers $\Z_p$ into itself that satisfy Lipschitz condition with a constant 1. We prove that the mapping $f\in\mathcal L_1$ is ergodic with respect to the normalized Haar measure on $\Z_p$ if and only if $f$ induces a single cycle permutation on each residue ring $\Z/p^k\Z$ modulo $p^k$, for all $k=1,2,3,...$. The multivariate case, as well as measure-preserving mappings, are considered also. Results of the paper in a combination with earlier results of the author give explicit description of ergodic mappings from $\mathcal L_1$. This characterization is complete for $p=2$. As an application we obtain a characterization of polynomials (and certain locally analytic functions) that induce ergodic transformations of $p$-adic spheres. The latter result implies a solution of a problem (posed by A.~Khrennikov) about the ergodicity of a perturbed monomial mapping on a sphere.


title: Weak units and homotopy 3-types

abstract: We show that every braided monoidal category arises as $\End(I)$ for a weak unit $I$ in an otherwise completely strict monoidal 2-category. This implies a version of Simpson's weak-unit conjecture in dimension 3, namely that one-object 3-groupoids that are strict in all respects, except that the object has only weak identity arrows, can model all connected, simply connected homotopy 3-types. The proof has a clear intuitive content and relies on a geometrical argument with string diagrams and configuration spaces.


title: The Salvetti Complex and the Little Cubes

abstract: We study how the combinatorial structure of the Salvetti complexes of the braid arrangements are related to homotopy theoretic properties of iterated loop spaces. We prove the skeletal filtrations on the Salvetti complexes of the braid arrangements give rise to the cobar-type Eilenberg-Moore spectral sequence converging to the homology of $\Omega^2\Sigma^2 X$. We also construct a new spectral sequence that computes the homology of $\Omega^{\ell}\Sigma^{\ell} X$ for $\ell>2$ by using a higher order analogue of the Salvetti complex. The $E^1$-term of the spectral sequence is described in terms of the homology of $X$. The spectral sequence is different from known spectral sequences that compute the homology of iterated loop spaces, such as the Eilenberg-Moore spectral sequence and the spectral sequence studied by Ahearn and Kuhn.


title: Tensor Products in Quantum Functional Analysis: the Non-Matricial Approach

abstract: As is known, there exists an alternative, "non-matricial" way to present basic notions and results of quantum functional analysis (= operator space theory). This approach is based on considering, instead of matrix spaces, a single space, consisting, roughly speaking, of vectors from the initial linear space equipped with coefficients taken from some good operator algebra. It seems that so far there was no systematical exposition of the theory in the framework of the non-matricial approach. We believe, however, that in a number of topics the non-matricial approach gives a more elegant and transparent theory. In this paper we introduce, using only the non-matricial language, both quantum versions of the classical (Grothendieck) projective tensor product of normed spaces. These versions correspond to the "matricial" Haagerup and operator-projective tensor products. We define them in terms of the universal property with respect to some classes of bilinear operators, corresponding to "matricial" multiplicatively bounded and completely bounded, and then produce their explicit constructions. Among the relevant results, we shall show that both tensor products are actually quotient spaces of some "genuine" projective tensor products. Moreover, the Haagerup tensor product is itself a "genuine" projective tensor product, however not of just normed spaces but of some normed modules.


title: On Wu and Schaback's Error Bound

abstract: In this paper we point out that the commonly used error bound in the theory of radial basis functions contains an important error. It doesn't apply for derivatives. Thus one should be very careful when dealing with differential equations.


title: Contact resolutions of projectivised nilpotent orbit closures

abstract: The projectivised nilpotent orbit closure P(\bar{O}) carries a natural contact structure on its smooth part. A resolution X \to P(\bar{O}) is called contact if the contact structure on P(O) extends to a contact structure on X. It turns out that contact resolutions, crepant resolutions and minimal models of P(\bar{O}) are all the same. In this note, we determine when the projectivised nilpotent orbit closure admits a contact resolution, and in the case of existence, we study the birational geometry among different contact resolutions.


title: Quantization of branching coefficients for classical Lie groups

abstract: We study natural quantizations of branching coefficients corresponding to the restrictions of the classical Lie groups to their Levi subgroups. We show that they admit a stable limit which can be regarded as a $q$-analogue of a tensor product multiplicity. According to a conjecture by Shimozono, the stable one-dimensional sum for nonexceptional affine crystals are expected to occur as special cases of these $q$-analogues.


title: A note on Morse's index theorem for Perelman's $\mathcal{L}$-length

abstract: This is essentially a note on Section 7 of Perelman's first paper on Ricci flow. We list some basic properties of the index form for Perelman's $ \mathcal{L} $-length, which are analogous to the ones in Riemannian case (with fixed metric), and observe that Morse's index theorem for Perelman's $\mathcal{L}$-length holds. As a corollary we get the finiteness of the number of the $\mathcal{L}$-conjugate points along a finite $\mathcal{L}$-geodesic.


title: Moments of convex distribution functions and completely alternating sequences

abstract: We solve the moment problem for convex distribution functions on $[0,1]$ in terms of completely alternating sequences. This complements a recent solution of this problem by Diaconis and Freedman, and relates this work to the L\'{e}vy-Khintchine formula for the Laplace transform of a subordinator, and to regenerative composition structures.


title: Construction of non-alternating knots

abstract: We investigate the behaviour of Rasmussen's invariant $s$ under the sharp operation on knots and obtain a lower bound for the sharp unknotting number. This bound leads us to an interesting move that transforms arbitrary knots into non-alternating knots.


title: The creation of strange non-chaotic attractors in non-smooth saddle-node bifurcations

abstract: We propose a general mechanism by which strange non-chaotic attractors (SNA) are created during the collision of invariant curves in quasiperiodically forced systems. This mechanism is first discussed on an heuristic level and by means of simulations. In the considered examples, a stable and an unstable invariant circle undergo a saddle-node bifurcation, but instead of a neutral invariant curve there exists a strange non-chaotic attractor-repeller pair at the bifurcation point. This process is accompanied by a very characteristic behaviour of the invariant curves prior to their collision, which we call 'exponential evolution of peaks'. This observation is then used to give a rigorous description of non-smooth saddle-node bifurcations. The non-smoothness of the bifurcations and the resulting existence of SNA is established via the occurrence 'sink-source-orbits', meaning orbits with positive Lyapunov exponent both forwards and backwards in time. In order to demonstrate the flexibility of the approach, we discuss its application to some parameter families, including the so-called Harper map. Further, we prove the existence of strange non-chaotic attractors with a certain inherent symmetry, as they occur in non-smooth pitchfork bifurcations.


title: Produit eul\'erien motivique et courbes rationnelles sur les vari\'et\'es toriques

abstract: We study the asymptotical behaviour of the moduli space of morphisms of given anticanonical degree from a rational curve to a split toric variety, when the degree goes to infinity. We obtain in this case a geometric analogue of Manin's conjecture about rational points of bounded height on varieties defined over a global field. The study is led through a generating series whose coefficients lie in a Grothendieck ring of motives, the motivic height zeta function. In order to establish convergence properties of this function, we use a notion of eulerian motivic product. It relies on a construction of Denef and Loeser which associates a virtual motive to a first order logic ring formula.


title: On Beltrami equations and Hoelder regularity

abstract: We estimate the Hoelder exponent $\alpha$ of solutions to the Beltrami equation $\dbar f=\mu\de f$, where the Beltrami coefficient satisfies $\|\mu\|_\infty<1$. Our estimate improves the classical estimate $\alpha\ge\|K_\mu\|^{-1}$, where $K_\mu=(1+|\mu|)/(1-|\mu|)$, and it is sharp, in the sense that it is actually attained in a class of mappings which generalize the radial stretchings. Some other properties of such mappings are also provided.


title: Faisceaux pervers des cycles \'evanescents des vari\'et\'es de Drinfeld et groupes de cohomologie du mod\`ele de Deligne-Carayol

abstract: In the first half of the paper, we translate in the geometric situation of Drinfeld varieties, the principal results of the Harris and Taylor's book. We give in particular the restriction to the open strata of the vanishing cycles sheaves in terms of some local systems named Harris-Taylor's local systems which we calculate the alternated sum of the cohomology group with compact supports. In the last half of the paper, we describe the monodromy filtration of the vanishing cycles perverse sheaf and the spectral sequence associated to it. Thanks to the Berkovich-Fargues' theorem, we obtain the description of the local monodromy filtration of the Deligne-Carayol model.


title: 3-cobordisms with their rational homology on the boundary

abstract: The object of this paper is to define a subcategory of the category of 3-cobordisms to which invariants of rational homology 3-spheres should generalize. We specify the notion of Topological Quantum Field Theory (in the sense of Atiyah) to this case, and prove two interesting properties that these TQFTs always have. In the case of the LMO invariant these properties amount to saying that the TQFT is anomaly-free.


title: Exclusion processes in higher dimensions: Stationary measures and convergence

abstract: There has been significant progress recently in our understanding of the stationary measures of the exclusion process on $Z$. The corresponding situation in higher dimensions remains largely a mystery. In this paper we give necessary and sufficient conditions for a product measure to be stationary for the exclusion process on an arbitrary set, and apply this result to find examples on $Z^d$ and on homogeneous trees in which product measures are stationary even when they are neither homogeneous nor reversible. We then begin the task of narrowing down the possibilities for existence of other stationary measures for the process on $Z^d$. In particular, we study stationary measures that are invariant under translations in all directions orthogonal to a fixed nonzero vector. We then prove a number of convergence results as $t\to\infty$ for the measure of the exclusion process. Under appropriate initial conditions, we show convergence of such measures to the above stationary measures. We also employ hydrodynamics to provide further examples of convergence.


title: A counterexample to a multidimensional version of the weakened Hilbert's 16-th problem

abstract: In the weakened 16th Hilbert's Problem one asks for a bound of the number of limit cycles which appear after a polynomial perturbation of a planar polynomial Hamiltonian vector field. It is known that this number is finite for an individual vector field. In the multidimensional generalization of this problem one considers polynomial perturbation of a polynomial vector field with invariant plane supporting a Hamiltonian dynamics. We present an explicit example of such perturbation with infinite number of limit cycles which accumulate at some separatrix loop.


title: The Zeta function, Periodic Points and Entropies of the Motzkin Shift

abstract: We discuss a method of calculating the zeta function of subshifts which have a presentation by a finite directed graph labeled by elements of the associated inverse semigroup. This class of subshifts is introduced as a class of property A subshifts(T.Hamachi, K.Inoue and W.Krieger/Subsystems of finite type and semigroup invariants of subshifts, preprint), and the Dyck shift and the Motzkin shift are representative subshifts in this class. The exact number of the periodic points and entropies are also given by this method, and these values are used in the embedding condition for an irreducible shift of finite type into a subshift in this class.


title: Simplicial shellable spheres via combinatorial blowups

abstract: The construction of the Bier sphere Bier(K) for a simplicial complex K is due to Bier. Bj\"orner, Paffenholz, Sj\"ostrand and Ziegler generalize this construction to obtain a Bier poset Bier(P,I) from any bounded poset P and any proper ideal I of P. They show shellability of Bier(P,I) for the case where P is the boolean lattice, and obtain thereby 'many shellable spheres' in the sense of Kalai. We put the Bier construction into the general framework of the theory of nested set complexes of Feichtner and Kozlov. We obtain 'more shellable spheres' by proving the general statement that combinatorial blowups, hence stellar subdivisions, preserve shellability.


title: Actions and coactions of finite quantum groupoids on von Neumann algebras, extensions of the match pair procedure

abstract: In this work we investigate the notion of action or coaction of a finite quantum groupoid in von Neumann algebras context. In particular we prove a double crossed product theorem and prove the existence of an universal von Neumann algebra on which any finite groupoids acts outerly. In previous works, N. Andruskiewitsch and S.Natale define for any match pair of groupoids two $C^*$-quantum groupoids in duality, we give here an interpretation of them in terms of crossed products of groupoids using a multiplicative partial isometry which gives a complete description of these structures. In a next work we shall give a third description of these structures dealing with inclusions of depth two inclusions of von Neumann algebras associated with outer actions of match pairs of groupoids, and a study, in the same spirit, of an other extension of the match pair procedure.


title: A Problem of B. Plotkin for S-Acts: Automorphisms of Categories of Free S-Acts

abstract: In this paper, we prove that all automorphisms of categories of free S-acts are semi-inner, which solves a variation of a well known B. Plotkin's problem in the case of monoids. We also give a description of automorphisms of categories of finitely generated free algebras of varieties of unary algebras, and show that among varieties of unary algebras only the variety of mono-unary algebras is perfect.


title: Graph Free Product of Noncommutative Probability spaces

abstract: In this paper, we will construct the graph free product of noncommutative probability space. This is the attempt to explain and observe the combinatorial-object-depending probabilistic structure.


title: Link groups and the A-B slice problem

abstract: The A-B slice problem is a reformulation of the topological 4-dimensional surgery conjecture in terms of decompositions of the 4-ball and link homotopy. We show that link groups, a recently developed invariant of 4-manifolds, provide an obstruction for the class of model decompositions, introduced by M. Freedman and X.-S. Lin. This unifies and extends the previously known partial obstructions in the A-B slice program. As a consequence, link groups satisfy Alexander duality when restricted to the class of model decompositions, but not for general submanifolds of the 4-ball.


title: On eigenvectors of nilpotent Lie algebras of linear operators

abstract: We give a condition ensuring that the operators in a nilpotent Lie algebra of linear operators on a finite dimensional vector space have a common eigenvector.


title: Enriched model categories and an application to additive endomorphism spectra

abstract: We define the notion of an additive model category, and we prove that any additive, stable, combinatorial model category has a natural enrichment over symmetric spectra based on simplicial abelian groups. As a consequence, every object in such a model category has a naturally associated endomorphism ring inside this spectra category. We establish the basic properties of this enrichment. We also develop some enriched model category theory. In particular, we have a notion of an adjoint pair of functors being a 'module' over another such pair. Such things are called "adjoint modules". We develop the general theory of these, and use them to prove a result about transporting enrichments over one symmetric monoidal model category to a Quillen equivalent one.


title: String Bracket and Flat Connections

abstract: Let $G \to P \to M$ be a flat principal bundle over a closed and oriented manifold $M$ of dimension $m=2d$. We construct a map of Lie algebras $\Psi: \H_{2\ast} (L M) \to {\o}(\Mc)$, where $\H_{2\ast} (LM)$ is the even dimensional part of the equivariant homology of $LM$, the free loop space of $M$, and $\Mc$ is the Maurer-Cartan moduli space of the graded differential Lie algebra $\Omega^\ast (M, \adp)$, the differential forms with values in the associated adjoint bundle of $P$. For a 2-dimensional manifold $M$, our Lie algebra map reduces to that constructed by Goldman in \cite{G2}. We treat different Lie algebra structures on $\H_{2\ast}(LM)$ depending on the choice of the linear reductive Lie group $G$ in our discussion.


title: Tableaux combinatorics for the asymmetric exclusion process

abstract: The partially asymmetric exclusion process (PASEP) is an important model from statistical mechanics which describes a system of interacting particles hopping left and right on a one-dimensional lattice of $n$ sites. It is partially asymmetric in the sense that the probability of hopping left is $q$ times the probability of hopping right. Additionally, particles may enter from the left with probability $\alpha$ and exit from the right with probability $\beta$. In this paper we prove a close connection between the PASEP and the combinatorics of permutation tableaux. (These tableaux come indirectly from the totally nonnegative part of the Grassmannian, via work of Postnikov, and were studied in a paper of Steingrimsson and the second author.) Namely, we prove that in the long time limit, the probability that the PASEP is in a particular configuration $\tau$ is essentially the generating function for permutation tableaux of shape $\lambda(\tau)$ enumerated according to three statistics. The proof of this result uses a result of Derrida, Evans, Hakim, and Pasquier on the {\it matrix ansatz} for the PASEP model. As an application, we prove some monotonicity results for the PASEP. We also derive some enumerative consequences for permutations enumerated according to various statistics such as weak excedence set, descent set, crossings, and occurences of generalized patterns.


title: On the noncommutative spectral flow

abstract: We define and study the noncommutative spectral flow for paths of regular selfadjoint Fredholm operators on a countably generated Hilbert C*-module. We give an axiomatic description and discuss some applications. One of them is the definition of a noncommutative Maslov index for paths of Lagrangians which appears in a splitting formula for the spectral flow. Analogously we study the spectral flow for odd operators on a graded module.


title: A remark on the virtual homotopical dimension of some moduli spaces of stable Riemann surfaces

abstract: Inspired by his vanishing results of tautological classes and by Harer's computation of the virtual cohomological dimension of the mapping class group, Looijenga conjectured that the moduli space of smooth Riemann surfaces admits a stratification by affine subsets with a certain number of layers. Similarly, Roth and Vakil extended the conjecture to the moduli spaces of Riemann surfaces of compact type, of Riemann surfaces with rational tails and of Riemann surfaces with at most k rational components. As a consequence of Lefschetz's theorem, Roth-Vakil's conjecture would also imply that the previous (coarse) moduli spaces are homotopy equivalent to cellular complexes of a certain dimension. Using Harer's computation for the moduli spaces of smooth Riemann surfaces, we prove this last statement.


title: Representations of toroidal extended affine Lie algebras

abstract: We show that the representation theory for the toroidal extended affine Lie algebras is controlled by a vertex operator algebra which is a tensor product of four VOAs: a sub-VOA of the hyperbolic lattice VOA, two affine VOAs and a Virasoro VOA. A tensor product of irreducible modules for these VOAs admits the structure of an irreducible module for the toroidal extended affine Lie algebra. We also show that for N=12, the sub-VOA of the hyperbolic lattice VOA becomes an exceptional irreducible module for the extended affine Lie algebra of rank 0.


title: Beta-coalescents and continuous stable random trees

abstract: Coalescents with multiple collisions, also known as $\Lambda$-coalescents, were introduced by Pitman and Sagitov in 1999. These processes describe the evolution of particles that undergo stochastic coagulation in such a way that several blocks can merge at the same time to form a single block. In the case that the measure $\Lambda$ is the $\operatorname {Beta}(2-\alpha,\alpha)$ distribution, they are also known to describe the genealogies of large populations where a single individual can produce a large number of offspring. Here, we use a recent result of Birkner et al. to prove that Beta-coalescents can be embedded in continuous stable random trees, about which much is known due to the recent progress of Duquesne and Le Gall. Our proof is based on a construction of the Donnelly--Kurtz lookdown process using continuous random trees, which is of independent interest. This produces a number of results concerning the small-time behavior of Beta-coalescents. Most notably, we recover an almost sure limit theorem of the present authors for the number of blocks at small times and give the multifractal spectrum corresponding to the emergence of blocks with atypical size. Also, we are able to find exact asymptotics for sampling formulae corresponding to the site frequency spectrum and the allele frequency spectrum associated with mutations in the context of population genetics.


title: Divisibility of function field class numbers

abstract: Withdrawn; results will appear elsewhere.


title: Detecting complex multiplication

abstract: We give an efficient, deterministic algorithm to decide if two abelian varieties over a number field are isogenous. From this, we derive an algorithm to compute the endomorphism ring of an elliptic curve over a number field.


title: Bombieri-Vinogradov Type Theorem for Sparse Sets of Moduli

abstract: In this paper, we establish theorems of Bombieri-Vinogradov type and Barban-Davenport-Halberstam type for sparse sets of moduli. As an application, we prove that there exist infinitely many primes of the form $p=am^2+1$ such that $a\leq p^{5/9+\epsilon}$.


title: Oriented Kauffman diagrams and universal quantum groups

abstract: The tensor categories of oriented Kauffman diagrams are studied with description of fiber functors on them as well as the associated Hopf algebras.


title: Exponential sums, peak sections, and an alternative version of Donaldson's theorems

abstract: In this paper, we provide an alternative proof of Donaldson's almost-holomorphic section theorem and symplectic Lefschetz pencil theorem, through constructions of certain special kind of Donaldson-type sections of the line bundle based on properties of exponential sums.


title: The Fukaya category of symplectic neighborhood of a non-Hausdorff manifold

abstract: In this paper, using similar idea as in Fukaya-Oh's work ([9]), we devise a method to compute the Fukaya category of certain exact symplectic manifolds by reducing it to the corresponding Morse category of non-Hausdorff manifold as perturbation of the Lagrangian skeleton of the exact symplectic manifold.


title: Simplicity of C*-algebras associated to higher-rank graphs

abstract: We prove that if \Lambda is a row-finite k-graph with no sources, then the associated C^*-algebra is simple if and only if \Lambda is cofinal and satisfies Kumjian and Pask's Condition (A). We prove that Condition (A) is equivalent to a suitably modified version of Robertson and Steger's original nonperiodicity condition (H3) which in particular involves only finite paths. We also characterise both cofinality and aperiodicity of \Lambda in terms of ideals in C^*(\Lambda).


title: Les p-values comme votes d'experts

abstract: The p-values are often implicitly used as a measure of evidence for the hypotheses of the tests. This practice has been analyzed with different approaches. It is generally accepted for the one-sided hypothesis problem, but it is often criticized for the two-sided hypothesis problem. We analyze this practice with a new approach to statistical inference. First we select good decision rules without using a loss function, we call them experts. Then we define a probability distribution on the space of experts. The measure of evidence for a hypothesis is the inductive probability of experts that decide this hypothesis.


title: Involutive equivalence bimodules and inclusions of C*-algebras with Watatani index 2

abstract: Let A be a unital C*-algebra. We shall introduce involutive A-A-equivalence bimodules and prove that any C*-algebra containing A with Watatani index 2 is constructed by an involutive A-A-equivalence bimodule.


title: Attracting current and equilibrium measure for attractors on P^k

abstract: Let f be a holomorphic endomorphism of P^k having an attracting set A. We construct an attracting current and an equilibrium measure associated to A. The attracting current is weakly laminar and extremal in the cone of invariant currents. The equilibrium measure is mixing and has maximal entropy.


title: The number of Z-convex polyominoes

abstract: In this paper we consider a restricted class of convex polyominoes that we call Z-convex polyominoes. Z-convex polyominoes are polyominoes such that any two pairs of cells can be connected by a monotone path making at most two turns (like the letter Z). In particular they are convex polyominoes, but they appear to resist standard decompositions. We propose a construction by ``inflation'' that allows to write a system of functional equations for their generating functions. The generating function P(t) of Z-convex polyominoes with respect to the semi-perimeter turns out to be algebraic all the same and surprisingly, like the generating function of convex polyominoes, it can be expressed as a rational function of t and the generating function of Catalan numbers.


title: On the conjugacy problem for Carter subgroups

abstract: It is proven in the paper, that Carter subgroups of a finite group are conjugate if Carter subgroups in the group of induced automorphisms for every non-Abelian composition factor are conjugate.


title: An aleph-zero-categorical theory which is not G-compact and does not have AZ-enumerations

abstract: We give an example of an aleph-zero-categorical theory which is not G-compact. The countable model of this theory does not have AZ-enumerations.


title: Geometric aspects of higher order variational principles on submanifolds

abstract: The geometry of jets of submanifolds is studied, with special interest in the relationship with the calculus of variations. A new intrinsic geometric formulation of the variational problem on jets of submanifolds is given. Working examples are provided.


title: Surface classification and local and global fundamental groups, I

abstract: Given a smooth complex surface S, and a compact connected global normal crossings divisor $D = \cup_i D_i$, we consider the local fundamental group, i.e., the fundamental group Gamma of T-D, where T is a good tubular neighbourhood of D. One has a surjection of Gamma onto the fundamental group of D, and the kernel $\sK$ is normally generated by geometric loops $\ga_i$ around the curve $D_i$. Among the main results, which are strong generalizations of a well known theorem of Mumford, is the nontriviality of $\ga_i$ in the local fundamental group, provided all the curves $D_i$ of genus zero have selfintersection <= -2. (in particular this holds if the canonical divisor is nef on D), and under the technical assumption that the dual graph of D is a tree.


title: Derived categories of coherent sheaves

abstract: We discuss derived categories of coherent sheaves on algebraic varieties. We focus on the case of non-singular Calabi-Yau varieties and consider two unsolved problems: proving that birational varieties have equivalent derived categories, and computing the group of derived autoequivalences. We also introduce the space of stability conditions on a triangulated category and explain its relevance to these two problems.


title: Sample path large deviations for queueing networks with Bernoulli routing

abstract: This paper is devoted to the problem of sample path large deviations for multidimensional queueing models with feedback. We derive a new version of the contraction principle where the continuous map is not well-defined on the whole space: we give conditions under which it allows to identify the rate function. We illustrate our technique by deriving a large deviation principle for a class of networks that contains the classical Jackson networks.


title: Virtual Endomorphisms of Nilpotent Groups

abstract: A virtual endomorphism of a group G is a homomorphism f from H into G where H is a subgroup of G of finite index m. The triple (G,H,f) produces a state-closed (or, self-similar) representation t of G on the 1-rooted m-ary tree. This paper is a study of properties of the image G^t when G is nilpotent. In particular, it is shown that if G is finitely generated, torsion-free and nilpotent then G^t has solvability degree bounded above by the number of prime divisors of m.


title: On the Cartan Model of the Canonical Vector Bundles over Grassmannians

abstract: We give a representation of canonical vector bundles over Grassmannian manifolds as non-compact affine symmetric spaces as well as their Cartan model in the group of the Euclidean motions.


title: Statistical Challenges with High Dimensionality: Feature Selection in Knowledge Discovery

abstract: Technological innovations have revolutionized the process of scientific research and knowledge discovery. The availability of massive data and challenges from frontiers of research and development have reshaped statistical thinking, data analysis and theoretical studies. The challenges of high-dimensionality arise in diverse fields of sciences and the humanities, ranging from computational biology and health studies to financial engineering and risk management. In all of these fields, variable selection and feature extraction are crucial for knowledge discovery. We first give a comprehensive overview of statistical challenges with high dimensionality in these diverse disciplines. We then approach the problem of variable selection and feature extraction using a unified framework: penalized likelihood methods. Issues relevant to the choice of penalty functions are addressed. We demonstrate that for a host of statistical problems, as long as the dimensionality is not excessively large, we can estimate the model parameters as well as if the best model is known in advance. The persistence property in risk minimization is also addressed. The applicability of such a theory and method to diverse statistical problems is demonstrated. Other related problems with high-dimensionality are also discussed.


title: Wasserstein distance on configuration space

abstract: We investigate here the optimal transportation problem on configuration space for the quadratic cost. It is shown that, as usual, provided that the corresponding Wasserstein is finite, there exists one unique optimal measure and that this measure is supported by the graph of the derivative (in the sense of the Malliavin calculus) of a ``concave'' (in a sense to be defined below) function. For finite point processes, we give a necessary and sufficient condition for the Wasserstein distance to be finite.


title: On the isoperimetric problem in Euclidean space with density

abstract: We study the isoperimetric problem for Euclidean space endowed with a continuous density. In dimension one, we characterize isoperimetric regions for a unimodal density. In higher dimensions, we prove existence results and we derive stability conditions, which lead to the conjecture that for a radial log-convex density, balls about the origin are isoperimetric regions. Finally, we prove this conjecture and the uniqueness of minimizers for the density $\exp (|x|^2)$ by using symmetrization techniques.


title: Weighted Sobolev inequalities and Ricci flat manifolds

abstract: We prove a weighted Sobolev inequality and a Hardy inequality on manifolds with nonnegative Ricci curvature satisfying an inverse doubling volume condition. It enables us to obtain rigidity results for Ricci flat manifolds, generalizing earlier work of Bando, Kasue and Nakajima.


title: Variation of hyperplane sections

abstract: A result of Beauville states that with a few positive characterstic exceptions, the smooth hyperplane sections of hypersurfaces of degree $d>2$ in projective space are not all isomorphic. We address the question of whether these sections vary as much as possible. In arbitrary characteristic, we show that this is the case for a general hypersurface.


title: Non-Commutative Formal Groups In Positive Characterstic

abstract: We describe geometric non-commutative formal groups in terms of a geometric commutative formal group with a Poisson structure on its splay algebra. We describe certain natural properties of such Poisson structures and show that any such Poisson structure gives rise to a non-commutative formal group.


title: Global existence results for complex hyperbolic models of bacterial chemotaxis

abstract: Bacteria are able to respond to environmental signals by changing their rules of movement. When we take into account chemical signals in the environment, this behaviour is often called chemotaxis. At the individual-level, chemotaxis consists of several steps. First, the cell detects the extracellular signal using receptors on its membrane. Then, the cell processes the signal information through the intracellular signal transduction network, and finally it responds by altering its motile behaviour accordingly. At the population level, chemotaxis can lead to aggregation of bacteria, travelling waves or pattern formation, and the important task is to explain the population-level behaviour in terms of individual-based models. It has been previously shown that the transport equation framework is suitable for connecting different levels of modelling of bacterial chemotaxis. In this paper, we couple the transport equation for bacteria with the (parabolic/elliptic) equation for the extracellular signals. We prove global existence of solutions for the general hyperbolic chemotaxis models of cells which process the information about the extracellular signal through the intracellular biochemical network and interact by altering the extracellular signal as well. The conditions for global existence in terms of the properties of the signal transduction model are given.


title: Noncommutative Involutive Bases

abstract: The theory of Groebner Bases originated in the work of Buchberger and is now considered to be one of the most important and useful areas of symbolic computation. A great deal of effort has been put into improving Buchberger's algorithm for computing a Groebner Basis, and indeed in finding alternative methods of computing Groebner Bases. Two of these methods include the Groebner Walk method and the computation of Involutive Bases. By the mid 1980's, Buchberger's work had been generalised for noncommutative polynomial rings by Bergman and Mora. This thesis provides the corresponding generalisation for Involutive Bases and (to a lesser extent) the Groebner Walk, with the main results being as follows. (1) Algorithms for several new noncommutative involutive divisions are given, including strong; weak; global and local divisions. (2) An algorithm for computing a noncommutative Involutive Basis is given. When used with one of the aforementioned involutive divisions, it is shown that this algorithm returns a noncommutative Groebner Basis on termination. (3) An algorithm for a noncommutative Groebner Walk is given, in the case of conversion between two harmonious monomial orderings. It is shown that this algorithm generalises to give an algorithm for performing a noncommutative Involutive Walk, again in the case of conversion between two harmonious monomial orderings. (4) Two new properties of commutative involutive divisions are introduced (stability and extendibility), respectively ensuring the termination of the Involutive Basis algorithm and the applicability (under certain conditions) of homogeneous methods of computing Involutive Bases.


title: Epicyclic drifting in anisotropic excitable media with multiple inhomogeneities

abstract: Spirals have been studied from a dynamical system perspective starting with Barkley's seminal papers linking a wide class of spiral wave dynamics to the Euclidean symmetry of the excitable media in which they are observed. However, in order to explain certain non-Euclidean phenomena, such as anchoring and epicyclic drifting, LeBlanc and Wulff introduced a single translational symmetry-breaking perturbation to the center bundle equation and showed that rotating waves may be attracted to a non-trivial solution manifold and travel epicyclically around the perturbation center. In this paper, we continue the (model-independent) investigation of the effects of inhomogeneities on spiral wave dynamics by studying epicyclic drifting in the presence of: a) $n$ simultaneous translational symmetry-breaking terms, with $n > 1$, and b) a combination of a single rotational symmetry-breaking term and a single translational symmetry-breaking term. These types of forced Euclidean symmetry-breaking provide a much more realistic model of certain excitable media such as cardiac tissue. However, the main theoretical tool used by LeBlanc and Wulff can only be applied to their particular perturbation: we show how an averaging theorem of Hale can be modified to analyze our two more general scenarios and state the conditions under which epicyclic drifting takes place in the general case. In the process, we recover LeBlanc and Wulff's specific result. Finally, we illustrate our results with the help of a simple numerical simulation of a modified bidomain model.


title: Spiral anchoring in anisotropic media with multiple inhomogeneities: a dynamical system approach

abstract: Various PDE models have been suggested in order to explain and predict the dynamics of spiral waves in excitable media. In two landmark papers, Barkley noticed that some of the behaviour could be explained by the inherent Euclidean symmetry of these models. LeBlanc and Wulff then introduced forced Euclidean symmetry-breaking (FESB) to the analysis, in the form of individual translational symmetry-breaking (TSB) perturbations and rotational symmetry-breaking (RSB) perturbations; in either case, it is shown that spiral anchoring is a direct consequence of the FESB. In this article, we provide a characterization of spiral anchoring when two perturbations, a TSB term and a RSB term, are combined, where the TSB term is centered at the origin and the RSB term preserves rotations by multiples of $\frac{2\pi}{\jmath^*}$, where $\jmath^*\geq 1$ is an integer. When $\jmath^*>1$ (such as in a modified bidomain model), it is shown that spirals anchor at the origin, but when $\jmath^* =1$ (such as in a planar reaction-diffusion-advection system), spirals generically anchor away from the origin.


title: Grid classes and the Fibonacci dichotomy for restricted permutations

abstract: We introduce and characterise grid classes, which are natural generalisations of other well-studied permutation classes. This characterisation allows us to give a new, short proof of the Fibonacci dichotomy: the number of permutations of length n in a permutation class is either at least as large as the nth Fibonacci number or is eventually polynomial.


title: Arithmetic fake projective spaces and arithmetic fake grassmannians

abstract: We show that if n>5, PU(n-1,1) does not contain a cocompact arithmetic subgroup with the same Euler-Poincare characteristic (in the sense of C.T.C. Wall) as the complex projective space of dimension n-1, and show that if n=5, there are at least four such subgroups, which are in fact torsion-free. This, in particular, leads to examples of a fake projective space of dimension 4. Analogous results for arithmetic fake grassmannians Gr(m,n) with n>3 odd are also obtained.


title: Factoring bivariate sparse (lacunary) polynomials

abstract: We present a deterministic algorithm for computing all irreducible factors of degree $\le d$ of a given bivariate polynomial $f\in K[x,y]$ over an algebraic number field $K$ and their multiplicities, whose running time is polynomial in the bit length of the sparse encoding of the input and in $d$. Moreover, we show that the factors over $\Qbarra$ of degree $\le d$ which are not binomials can also be computed in time polynomial in the sparse length of the input and in $d$.


title: Modular Invariants for Lattice Polarized K3 Surfaces

abstract: We study the class of complex algebraic K3 surfaces admitting an embedding of H+E8+E8 inside the Neron-Severi lattice. These special K3 surfaces are classified by a pair of modular invariants, in the same manner that elliptic curves over the field of complex numbers are classified by the J-invariant. Via the canonical Shioda-Inose structure we construct a geometric correspondence relating K3 surfaces of the above type with abelian surfaces realized as cartesian products of two elliptic curves. We then use this correspondence to determine explicit formulas for the modular invariants.


title: Stability Estimates for Coefficients of Magnetic Schr\"odinger Equation From Full and Partial Boundary Measurements

abstract: In this paper we establish a $log log$-type estimate which shows that in dimension $n\geq 3$ the magnetic field and the electric potential of the magnetic Schr\"odinger equation depends stably on the Dirichlet to Neumann (DN) map even when the boundary measurement is taken only on a subset that is slightly larger than half of the boundary $\partial\Omega$. Furthermore, we prove that in the case when the measurement is taken on all of $\partial\Omega$ one can establish a better estimate that is of $log$-type. The proofs involve the use of the complex geometric optics (CGO) solutions of the magnetic Schr\"odinger equation constructed in \cite{sun uhlmann} then follow a similar line of argument as in \cite{alessandrini}. In the partial data estimate we follow the general strategy of \cite{hw} by using the Carleman estimate established in \cite{FKSU} and a continuous dependence result for analytic continuation developed in \cite{vessella}.


title: Finiteness properties for a subgroup of the pure symmetric automorphism group

abstract: Let F_n be the free group on n generators, and P\Sigma_n be the group of automorphisms of F_n which send each generator to a conjugate of itself. Let K_n be the kernel of the homomorphism from P\Sigma_n to P\Sigma_{n-1} induced by mapping one of the free group generators to the identity. We show that K_n has cohomological dimension n-1, and that the ith cohomology groups are infinitely generated for all i between 2 and n-1. It follows that K_n is not finitely presentable for n>2.


title: The Hyperdeterminant and Triangulations of the 4-Cube

abstract: The hyperdeterminant of format 2 x 2 x 2 x 2 is a polynomial of degree 24 in 16 unknowns which has 2894276 terms. We compute the Newton polytope of this polynomial and the secondary polytope of the 4-cube. The 87959448 regular triangulations of the 4-cube are classified into 25448 D-equivalence classes, one for each vertex of the Newton polytope. The 4-cube has 80876 coarsest regular subdivisions, one for each facet of the secondary polytope, but only 268 of them come from the hyperdeterminant.


title: The K\"ahler-Ricci flow on surfaces of positive Kodaira dimension

abstract: The existence of K\"ahler-Einstein metrics on a compact K\"ahler manifold has been the subject of intensive study over the last few decades, following Yau's solution to Calabi's conjecture. The Ricci flow, introduced by Richard Hamilton has become one of the most powerful tools in geometric analysis. We study the K\"ahler-Ricci flow on minimal surfaces of Kodaira dimension one and show that the flow collapses and converges to a unique canonical metric on its canonical model. Such a canonical is a generalized K\"ahler-Einstein metric. Combining the results of Cao, Tsuji, Tian and Zhang, we give a metric classification for K\"aher surfaces with a numerical effective canonical line bundle by the K\"ahler-Ricci flow. In general, we propose a program of finding canonical metrics on canonical models of projective varieties of positive Kodaira dimension.


title: Conformally invariant scaling limits (an overview and a collection of problems)

abstract: Many mathematical models of statistical physics in two dimensions are either known or conjectured to exhibit conformal invariance. Over the years, physicists proposed predictions of various exponents describing the behavior of these models. Only recently have some of these predictions become accessible to mathematical proof. One of the new developments is the discovery of a one-parameter family of random curves called Stochastic Loewner evolution or SLE. The SLE curves appear as limits of interfaces or paths occurring in a variety of statistical physics models as the mesh of the grid on which the model is defined tends to zero. The main purpose of this article is to list a collection of open problems. Some of the open problems indicate aspects of the physics knowledge that have not yet been understood mathematically. Other problems are questions about the nature of the SLE curves themselves. Before we present the open problems, the definition of SLE will be motivated and explained, and a brief sketch of recent results will be presented.


title: The initial-boundary value problem for the 1D nonlinear Schroedinger equation on the half-line

abstract: We prove, by adapting the method of Colliander-Kenig (2002), local well-posedness of the initial-boundary value problem for the one-dimensional nonlinear Schroedinger equation on the half-line under low boundary regularity assumptions.


title: Local ill-posedness of the 1D Zakharov system

abstract: Ginibre-Tsutsumi-Velo (1997) proved local well-posedness for the Zakharov system for any dimension $d$, in the inhomogeneous Sobolev spaces $(u,n)\in H^k(\mathbb{R}^d)\times H^s(\mathbb{R}^d)$ for a range of exponents $k$, $s$ depending on $d$. Here we restrict to dimension $d=1$ and present a few results establishing local ill-posedness for exponent pairs $(k,s)$ outside of the well-posedness regime. The techniques employed are rooted in the work of Bourgain (1993), Birnir-Kenig-Ponce-Svanstedt-Vega (1996), and Christ-Colliander-Tao (2003) applied to the nonlinear Schroedinger equation.


title: What is the Inverse of Repeated Square and Multiply Algorithm?

abstract: It is well known that the repeated square and multiply algorithm is an efficient way of modular exponentiation. The obvious question to ask is if this algorithm has an inverse which would calculate the discrete logarithm efficiently. The technical hitch is in fixing the right sign of the square root and this is the heart of the discrete logarithm problem over finite fields of characteristic not equal to 2. In this paper a couple of probabilistic algorithms to compute the discrete logarithm over finite fields are given by bypassing this difficulty. One of the algorithms was inspired by the famous 3x+1 problem.


title: A Continuous Path of Singular Masas in the Hyperfinite II_1 Factor

abstract: Using methods of R.J.Tauer we exhibit an uncountable family of singular masas in the hyperfinite $\textrm{II}_1$ factor $\R$ all with Puk\'anszky invariant $\{1\}$, no pair of which are conjugate by an automorphism of $R$. This is done by introducing an invariant $\Gamma(A)$ for a masa $A$ in a \IIi factor $N$ as the maximal size of a projection $e\in A$ for which $A e$ contains non-trivial centralising sequences for $eN e$. The masas produced give rise to a continuous map from the interval $[0,1]$ into the singular masas in $\R$ equiped with the $d_{\infty,2}$-metric. A result is also given showing that the Puk\'anszky invariant is $d_{\infty,2}$-upper semi-continuous. As a consequence, the sets of masas with Puk\'anszky invariant $\{n\}$ are all closed.


title: Carter subgroups of finite almost simple groups

abstract: In the paper we complete the classification of Carter subgroups in finite almost simple groups. In particular, we prove that Carter subgroups of every finite almost simple group are conjugate. Togeather with previous results by author and F. Dalla Volta, A. Lucchini, and M. C. Tamburini, as a corollary, it follows that Carter subgroups of every finite group are conjugate.


title: Drinfeld modular curves have many points

abstract: Ihara's proof that the reduction of the modular curve $X_0(n)$ at a prime $p$ not dividing $n$ has many points over a quadratic extension is adapted to the drinfeld modular curves $X_0(n)$. In order to do so, some properties of drinfeld modular varieties that have no proof in the literature are proven. The text is more or less self-contained.


title: Strongly singular MASA's and mixing actions in finite von Neumann algebras

abstract: Let $\Gamma$ be a countable group and let $\Gamma_0$ be an infinite abelian subgroup of $\Gamma$. We prove that if the pair $(\Gamma,\Gamma_0)$ satisfies some combinatorial condition called (SS), then the abelian subalgebra $A=L(\Gamma_0)$ is a singular MASA in $M=L(\Gamma)$ which satisfies a weakly mixing condition. If moreover it satisfies a stronger condition called (ST), then it provides a singular MASA with a strictly stronger mixing property. We describe families of examples of both types coming from free products, HNN extentions and semidirect products, and in particular we exhibit examples of singular MASA's that satisfy the weak mixing condition but not the strong mixing one.


title: The determinant of q-distance matrices of trees and two quantities relating to permutations

abstract: In this paper we prove that two quantities relating to the length of permutations defined on trees are independent of the structures of trees. We also find that these results are closely related to the results obtained by Graham and Pollak (Bell System Tech. J. 50(1971) 2495--2519) and by Bapat, Kirkland, and Neumann (Linear Alg. Appl. 401(2005) 193--209).


title: Nearly hypo structures and compact Nearly K\"ahler 6-manifolds with conical singularities

abstract: We prove that any totally geodesic hypersurface $N^5$ of a 6-dimensional nearly K\"ahler manifold $M^6$ is a Sasaki-Einstein manifold, and so it has a hypo structure in the sense of \cite{ConS}. We show that any Sasaki-Einstein 5-manifold defines a nearly K\"ahler structure on the sin-cone $N^5\times\mathbb R$, and a compact nearly K\"ahler structure with conical singularities on $N^5\times [0,\pi]$ when $N^5$ is compact thus providing a link between Calabi-Yau structure on the cone $N^5\times [0,\pi]$ and the nearly K\"ahler structure on the sin-cone $N^5\times [0,\pi]$. We define the notion of {\it nearly hypo} structure that leads to a general construction of nearly K\"ahler structure on $N^5\times\mathbb R$. We determine {\it double hypo} structure as the intersection of hypo and nearly hypo structures and classify double hypo structures on 5-dimensional Lie algebras with non-zero first Betti number. An extension of the concept of nearly K\"ahler structure is introduced, which we refer to as {\it nearly half flat} SU(3)-structure, that leads us to generalize the construction of nearly parallel $G_2$-structures on $M^6\times\mathbb R$ given in \cite{BM}. For $N^5=S^5\subset S^6$ and for $N^5=S^2 \times S^3\subset S^3 \times S^3$, we describe explicitly a Sasaki-Einstein hypo structure as well as the corresponding nearly K\"ahler structures on $N^5\times\mathbb R$ and $N^5\times [0,\pi]$, and the nearly parallel $G_2$-structures on $N^5\times\mathbb R^2$ and $(N^5\times [0,\pi])\times [0,\pi]$.


title: The Equivariant Chow rings of quot schemes

abstract: We give a presentation for the (integral) torus-equivariant Chow ring of the quot scheme, a smooth compactification of the space of rational curves of degree d in the Grassmannian. For this presentation, we refine Evain's extension of the method of Goresky, Kottwitz, and MacPherson to express the torus-equivariant Chow ring in terms of the torus-fixed points and explicit relations coming from the geometry of families of torus-invariant curves. As part of this calculation, we give a complete description of the torus-invariant curves on the quot scheme and show that each family is a product of projective spaces.


title: Structure D'Un Drapeau Riemannien

abstract: The aim of this paper is to show that any stable complete Riemannian flag on a compact and connected manifold is conjugated to a flag of homogenus foliations (see Definitions). Also, we give a characterization of Riemannian flags that homogenus. This result is a step toward the classification of Riemannian flags.


title: Transversal structures on triangulations: a combinatorial study and straight-line drawings

abstract: This article focuses on a combinatorial structure specific to triangulated plane graphs with quadrangular outer face and no separating triangle, which are called irreducible triangulations. The structure has been introduced by Xin He under the name of regular edge-labelling and consists of two bipolar orientations that are transversal. For this reason, the terminology used here is that of transversal structures. The main results obtained in the article are a bijection between irreducible triangulations and ternary trees, and a straight-line drawing algorithm for irreducible triangulations. For a random irreducible triangulation with $n$ vertices, the grid size of the drawing is asymptotically with high probability $11n/27\times 11n/27$ up to an additive error of $\cO(\sqrt{n})$. In contrast, the best previously known algorithm for these triangulations only guarantees a grid size $(\lceil n/2\rceil -1)\times \lfloor n/2\rfloor$.


title: Extension d'un feuilletage de Lie minimal d'une vari\'{e}t\'{e} compacte

abstract: The purpose of this paper is to show that any extension of a minimal Lie foliation on a compact manifold is a transversaly Riemannian g\h- foliation with trivial normal bundle. This result permits to classify the extensions of a minimal Lie foliation on a compact manifold from the Lie subgroups of its Lie group.


title: Centralizers of reflections and reflection-independence of Coxeter groups

abstract: A Coxeter group W is called reflection independent if its reflections are uniquely determined by W only, independently on the choice of the generating set. We give a new sufficient condition for the reflection independence, and examine this condition for Coxeter groups in certain classes, possibly of infinite ranks. We also determine the finite irreducible components of another Coxeter group, that is a subgroup of W generated by the reflections centralizing a given generator of W. Determining such a subgroup makes our criterion efficient.


title: Canonical vector heights on K3 surfaces with Picard number three -- addendum

abstract: In an earlier paper by the first author, an argument for the nonexistence of canonical vector heights on K3 surfaces of Picard number three was given, based on an explicit surface that was not proved to have Picard number three. In this paper, we fill the gap in the argument by redoing the computations for another explicit surface for which we prove that the Picard number equals three. The conclusion remains unchanged.


title: Symbolic calculus for Toeplitz operators with half-forms

abstract: This paper is devoted to the use of half-form bundles in the symbolic calculus of Berezin-Toeplitz operators on Kahler manifolds. We state the Bohr-Sommerfeld conditions and relate them to the functional calculus of Toeplitz operators, a trace formula and the characteristic classes in deformation quantization. We also develop the symbolic calculus of Lagrangian sections, with the crucial estimate of the subprincipal terms.


title: Semi-classical properties of geometric quantization with metaplectic correction

abstract: The geometric quantization of a symplectic manifold endowed with a prequantum bundle and a metaplectic structure is defined by means of an integrable complex structure. We prove that its semi-classical limit does not depend on the choice of the complex structure. We show this in two ways. First, by introducing unitary identifications between the quantum spaces associated to the various complex polarizations and second, by defining an asymptotically flat connection in the bundle of quantum spaces over the space of complex structures. Furthermore Berezin-Toeplitz operators are intertwined by these identifications and have principal and subprincipal symbols defined independently of the complex structure. The relation with Schrodinger equation and the group of prequantum bundle automorphisms is considered as well.


title: A representation theorem for MV-algebras

abstract: An {\em MV-pair} is a pair $(B,G)$ where $B$ is a Boolean algebra and $G$ is a subgroup of the automorphism group of $B$ satisfying certain conditions. Let $\sim_G$ be the equivalence relation on $B$ naturally associated with $G$. We prove that for every MV-pair $(B,G)$, the effect algebra $B/\sim_G$ is an MV- effect algebra. Moreover, for every MV-effect algebra $M$ there is an MV-pair $(B,G)$ such that $M$ is isomorphic to $B/\sim_G$.


title: Open books on contact five-manifolds

abstract: The aim of this paper is to give an alternative proof of a theorem about the existence of contact structures on five-manifolds due to Geiges. This theorem asserts that simply-connected five-manifolds admit a contact structure in every homotopy class of almost contact structures. Our proof uses the open book construction of Giroux.


title: Preference fusion when the number of alternatives exceeds two: indirect scoring procedures

abstract: We consider the problem of aggregation of incomplete preferences represented by arbitrary binary relations or incomplete paired comparison matrices. For a number of indirect scoring procedures we examine whether or not they satisfy the axiom of self-consistent monotonicity. The class of {\em win-loss combining scoring procedures} is introduced which contains a majority of known scoring procedures. Two main results are established. According to the first one, every win-loss combining scoring procedure breaks self-consistent monotonicity. The second result provides a sufficient condition of satisfying self-consistent monotonicity.


title: Isomorphisms between topological conjugacy algebras

abstract: A family of algebras, which we call topological conjugacy algebras, is associated with each proper continuous map on a locally compact Hausdorff space. Assume that $\eta_i:\X_i\to \X_i$ is a continuous proper map on a locally compact Hausdorff space $\X_i$, for $i = 1,2$. We show that the dynamical systems $(\X_1, \eta_1)$ and $(\X_2, \eta_2)$ are conjugate if and only if some topological conjugacy algebra of $(\X_1, \eta_1)$ is isomorphic as an algebra to some topological conjugacy algebra of $(\X_2, \eta_2)$. This implies as a corollary the complete classification of the semicrossed products $C_0(\X) \times_{\eta} \bbZ^{+}$, which was previously considered by Arveson and Josephson, Peters, Hadwin and Hoover and Power. We also obtain a complete classification of all semicrossed products of the form $A(\bbD) \times_{\eta}\bbZ^{+}$, where $A(\bbD)$ denotes the disc algebra and $\eta: \bbD \to \bbD$ a continuous map which is analytic on the interior. In this case, a surprising dichotomy appears in the classification scheme, which depends on the fixed point set of $\eta$. We also classify more general semicrossed products of uniform algebras.


title: Deformations of coalgebra morphisms

abstract: An algebraic deformation theory of coalgebra morphisms is constructed.


title: Arbitrarily large finite quotients imply no uniform bound on depth

abstract: We show that any group with arbitrarily large finite quotients admits generating sets with respect to which it has arbitrarily large finite dead-end depth. This extends a joint result with Riley and partially answers a question asked there.


title: Global rigidity for totally nonsymplectic Anosov Z^k actions

abstract: We consider a totally nonsymplectic Anosov action of Z^k which is either uniformly quasiconformal or pinched on each coarse Lyapunov distribution. We show that such an action on a torus is C^\infty--conjugate to an action by affine automorphisms. We also obtain similar global rigidity results for actions on an arbitrary compact manifold assuming that the coarse Lyapunov foliations are jointly integrable.


title: Measure rigidity beyond uniform hyperbolicity: Invariant Measures for Cartan actions on Tori

abstract: We prove that every smooth action of Z^k, k>1, on the (k+1)-dimensional torus homotopic to an action by hyperbolic linear maps preserves an absolutely continuous measure. This is a first known result concerning abelian groups of diffeomorphisms where existence of an invariant geometric structure is obtained from homotopy data.


title: Fusion products of Kirillov-Reshetikhin modules and fermionic multiplicity formulas

abstract: We give a complete description of the graded multiplicity space which appears in the Feigin-Loktev fusion product [FL99] of graded Kirillov-Reshetikhin modules for all simple Lie algebras. This construction is used to obtain an upper bound formula for the fusion coefficients in these cases. The formula generalizes the case of g=A_r [AKS06], where the multiplicities are generalized Kostka polynomials [SW99,KS02]. In the case of other Lie algebras, the formula is the the fermionic side of the X=M conjecture [HKO+99]. In the cases where the Kirillov-Reshetikhin conjecture, regarding the decomposition formula for tensor products of KR-modules, has been been proven in its original, restricted form, our result provides a proof of the conjectures of Feigin and Loktev regarding the fusion product multiplicites.


title: No-arbitrage and closure results for trading cones with transaction costs

abstract: The paper considers trading with proportional transaction costs. We give a necessary and sufficient condition for A, the cone of claims attainable from zero endowment, to be closed, and show, in general, how to represent its closure in such a way that it is the cone of claims attainable for zero endowment, for a different set of trading prices. The new representation obeys the Fundamental Theorem of Asset Pricing. We then show how to represent claims and in a final section show how any such setup corresponds to a coherent risk measure.


title: Domain Decomposition Method for Maxwell's Equations: Scattering off Periodic Structures

abstract: We present a domain decomposition approach for the computation of the electromagnetic field within periodic structures. We use a Schwarz method with transparent boundary conditions at the interfaces of the domains. Transparent boundary conditions are approximated by the perfectly matched layer method (PML). To cope with Wood anomalies appearing in periodic structures an adaptive strategy to determine optimal PML parameters is developed. We focus on the application to typical EUV lithography line masks. Light propagation within the multi-layer stack of the EUV mask is treated analytically. This results in a drastic reduction of the computational costs and allows for the simulation of next generation lithography masks on a standard personal computer.


title: On Algebraic Models for Homotopy 3-Types

abstract: We explore the relations among quadratic modules, 2-crossed modules, crossed squares and simplicial groups with Moore complex of length 2.


title: Lie superalgebras and irreducibility of A_1^(1)-modules at the critical level

abstract: We introduce the infinite-dimensional Lie superalgebra ${\mathcal A}$ and construct a family of mappings from certain category of ${\mathcal A}$-modules to the category of A_1^(1)-modules of critical level. Using this approach, we prove the irreducibility of a family of A_1^(1)-modules at the critical level. As a consequence, we present a new proof of irreducibility of certain Wakimoto modules. We also give a natural realizations of irreducible quotients of relaxed Verma modules and calculate characters of these representations.