title: The Burnside Ring and Equivariant Stable Cohomotopy for Infinite Groups

abstract: After we have given a survey on the Burnside ring of a finite group, we discuss and analyze various extensions of this notion to infinite (discrete) groups. The first three are the finite-G-set-version, the inverse-limit-version and the covariant Burnside group. The most sophisticated one is the fourth definition as the equivariant zero-th cohomotopy of the classifying space for proper actions. In order to make sense of this definition we define equivariant cohomotopy groups of finite proper equivariant CW-complexes in terms of maps between the sphere bundles associated to equivariant vector bundles. We show that this yields an equivariant cohomology theory with a multiplicative structure. We formulate a version of the Segal Conjecture for infinite groups. All this is analogous and related to the question what are the possible extensions of the notion of the representation ring of a finite group to an infinite group. Here possible candidates are projective class groups, Swan groups and the equivariant topological K-theory of the classifying space for proper actions.


title: Almost set-theoretic complete intersections in characteristic zero

abstract: We present a class of toric varieties $V$ which, over any algebraically closed field of characteristic zero, are defined by codim $V$+1 binomial equations.


title: Realization of coherent state Lie algebras by differential operators

abstract: A realization of coherent state Lie algebras by first-order differential operators with holomorphic polynomial coefficients on K\"ahler coherent state orbits is presented. Explicit formulas involving the Bernoulli numbers and the structure constants for the semisimple Lie groups are proved.


title: Sphericite et contractibilite des hypersurfaces strictement pseudoconvexes

abstract: We propose a proof of the characterization of spherical hypersurfaces as the only strictly pseudoconvex hypersurfaces which have contracting germs of diffeomorphisms. Unlike previous proofs, our approach does not use Chern-Moser theory. It only relies on Pinchuk dilation techniques. We also give some applications of this result.


title: A note on Veronese varieties

abstract: We show that for every prime $p$, there is a class of Veronese varieties which are set-theoretic complete intersections if and only if the ground field has characteristic $p$.


title: On covering and quasi-unsplit families of rational curves

abstract: We study extremality properties of covering families of rational curves on projective varieties. Among others, we show that on a normal and Q-factorial projective variety of dimension at most 4, every covering and quasi-unsplit family of rational curves generates a geometric extremal ray of the Mori cone.


title: The Hardy inequality and Nonlinear parabolic equations on Carnot groups

abstract: In this paper we shall investigate the nonexistence of positive solutions for the following nonlinear parabolic partial differential equation:\[ \begin{cases} \frac{\partial u}{\partial t}= \Delta_{\mathbb{G},p}u+V(x)u^{p-1} & \text{in}\quad \Omega \times (0, T), \quad 1<p<2, u(x,0)=u_{0}(x)\geq 0 & \text{in} \quad\Omega, u(x,t)=0 & \text{on}\quad \partial\Omega\times (0, T) \end{cases} \] where $ \Delta_{\mathbb{G},p}$ is the $p$-sub-Laplacian on Carnot group $ \mathbb{G}$ and $V\in L_{\text{loc}}^1(\Omega)$.


title: Minimax and adaptive estimation of the Wigner function in quantum homodyne tomography with noisy data

abstract: We estimate the quantum state of a light beam from results of quantum homodyne measurements performed on identically prepared quantum systems. The state is represented through the Wigner function, a generalized probability density on $\mathbb{R}^2$ which may take negative values and must respect intrinsic positivity constraints imposed by quantum physics. The effect of the losses due to detection inefficiencies, which are always present in a real experiment, is the addition to the tomographic data of independent Gaussian noise. We construct a kernel estimator for the Wigner function, prove that it is minimax efficient for the pointwise risk over a class of infinitely differentiable functions, and implement it for numerical results. We construct adaptive estimators, that is, which do not depend on the smoothness parameters, and prove that in some setups they attain the minimax rates for the corresponding smoothness class.


title: Counting with rational generating functions

abstract: We examine two different ways of encoding a counting function, as a rational generating function and explicitly as a function (defined piecewise using the greatest integer function). We prove that, if the degree and number of input variables of the (quasi-polynomial) function are fixed, there is a polynomial time algorithm which converts between the two representations. Examples of such counting functions include Ehrhart quasi-polynomials, vector partition functions, integer points in parametric polytopes, and projections of the integer points in parametric polytopes. For this last example, this algorithm provides the first known way to compute the explicit function in polynomial time. We rely heavily on results of Barvinok, and also of Verdoolaege, Seghir, Beyls, et al.


title: Adjunction in Monoids

abstract: This paper answeres the question posed by E.Manes in his book "Algebraic theories": given monoids M and N considered as categories with a single object, and a morphism f: M --> N of monoids (considered as functor), such that f has an adjoint (left or right), is it true that f is an isomorphism? The answer is "no".


title: Generalized Group Actions in a Global Setting

abstract: We study generalized group actions on differentiable manifolds in the Colombeau framework, extending previous work on flows of generalized vector fields and symmetry group analysis of generalized solutions. As an application, we analyze group invariant generalized functions in this setting.


title: Remarks on free entropy dimension

abstract: We prove a technical result, showing that the existence of a closable unbounded dual system in the sense of Voiculescu is equivalent to the finiteness of free Fisher information. This approach allows one to give a purely operator-algebraic proof of the computation of the non-microstates free entropy dimension for generators of groups carried out in an earlier joint work with I. Mineyev. The same technique also works for finite-dimensional algebras. We also show that Voiculescu's question of semi-continuity of free entropy dimension, as stated, admits a counterexample. We state a modified version of the question, which avoids the counterexample, but answering which in the affirmative would still imply the non-isomorphism of free group factors.


title: Notes on Free Probability Theory

abstract: These notes are from a 4-lecture mini-course taught by the author at the conference on von Neumann algebras as part of the ``Geometrie non commutative en mathematiques et physique'' month at CIRM in 2004.


title: A Statistical view of Iterative Methods for Linear Inverse Problems

abstract: In this article we study the problem of recovering the unknown solution of a linear ill-posed problem, via iterative regularization methods. We review the problem of projection-regularization from a statistical point of view. A basic purpose of the paper is the consideration of adaptive model selection for determining regularization parameters. This article introduces a new regularized estimator which has the best possible adaptive properties for a wide range of linear functionals. We derive non asymptotic upper bounds for the mean square error of the estimator and give the optimal convergence rates.


title: Logic Without Syntax

abstract: This paper presents an abstract, mathematical formulation of classical propositional logic. It proceeds layer by layer: (1) abstract, syntax-free propositions; (2) abstract, syntax-free contraction-weakening proofs; (3) distribution; (4) axioms (p OR NOT p). Abstract propositions correspond to objects of the category G(Rel^L) where G is the Hyland-Tan double glueing construction, Rel is the standard category of sets and relations, and L is a set of literals. Abstract proofs are morphisms of a tight orthogonality subcategory of Gl(Rel^L), where we define Gl as a lax variant of G. We prove that the free binary product-sum category (contraction-weakening logic) over L is a full subcategory of Gl(Rel^L), and the free distributive lattice category (contraction-weakening-distribution logic) is a full subcategory of Gl(Rel^L). We explore general constructions for adding axioms, which are not Rel-specific or (p OR NOT p)-specific.


title: Convexity and singularities of curvature equations in conformal geometry

abstract: We define a generalization of convex functions, which we call $\delta$-convex functions, and show they must satisfy interior H\"older and $W^{1,p}$ estimates. As an application, we consider solutions of a certain class of fully nonlinear equations in conformal geometry with isolated singularities, in the case of non-negative Ricci curvature. We prove that such solutions either extend to a H\"older continuous function across the singularity, or else have the same singular behavior as the fundamental solution of the conformal Laplacian. We also obtain various removable singularity theorems for these equations.


title: Divergent Square Averages

abstract: We answer a question of J. Bourgain. We show that the sequence n^2 is L^1-universally bad.


title: A Note on Quasi-Frobenius Rings

abstract: The Faith-Menal conjecture says that every strongly right $Johns$ ring is $QF$. The conjecture is also equivalent to say every right noetherian left $FP$-injective ring is $QF$. In this short article, we show that the conjecture is true under the condition(a proper generalization of left $CS$ condition)that every nonzero complement left ideal is not small(a left ideal $I$ is called small if for every left ideal $K$, $K$+$I$=$R$ implies $K$=$R$). It is also proved that (1) $R$ is $QF$ if and only if $R$ is a left and right mininjective ring with $ACC$ on right annihilators in which $S_{r}\subseteq ^{ess}R_{R}$; (2) $R$ is $QF$ if and only if $R$ is a right simple injective ring with $ACC$ on right annihilators in which $S_{r}\subseteq ^{ess}R_{R}$. Several known results on $QF$ rings are obtained as corollaries.


title: PHH harmonic submersions are stable

abstract: We prove that harmonic PHH submersions are (weakly) stable.


title: Modular Calabi-Yau threefolds of level eight

abstract: In the studies on the modularity conjecture for rigid Calabi-Yau threefolds several examples with the unique level 8 cusp form were constructed. According to the Tate Conjecture correspondences inducing isomorphisms on the middle cohomologies should exist between these varieties. In the paper we construct several examples of such correspondences. In the constructions elliptic fibrations play a crucial role. In fact we show that all but three examples are in some sense built upon two modular curves from the Beauville list.


title: Reproducing kernel Hilbert spaces and Mercer theorem

abstract: We characterize the reproducing kernel Hilbert spaces whose elements are $p$-integrable functions in terms of the boundedness of the integral operator whose kernel is the reproducing kernel. Moreover, for $p=2$ we show that the spectral decomposition of this integral operator gives a complete description of the reproducing kernel.


title: Low codimension Fano--Enriques threefolds

abstract: In this paper we study Fano threefolds with a torsion divisor (Fano--Enriques). Due to this torsion divisor, they can be described as quotients of Fano threefolds by a finite abelian group action. We start from lists of Fano threefolds by Reid, Fletcher and Alt{\i}nok and check which of them admit such an action with a Fano--Enriques quotient.


title: Higher Selberg zeta functions for congruence subgroups

abstract: As a generalization of the results [KW3],we study the functional equation of the higher Selberg zeta function for congruence subgroups. To obtain the gamma factor of this function, we introduce a higher Dirichlet $L$-function. Then we determine the gamma factor explicitly in terms of the Barnes triple gamma function and the higher Dirichlet $L$-function.


title: Factorization in Quantum Planes

abstract: These results stem from a course on ring theory. Quantum planes are rings in two variables $x$ and $y$ such that $yx=qxy$ where $q$ is a nonzero constant. When $q=1$ a quantum plane is simply a commutative polynomial ring in two variables. Otherwise a quantum plane is a noncommutative ring. Our main interest is in quadratic forms belonging to a quantum plane. We provide necessary and sufficient conditions for quadratic forms to be irreducible. We find prime quadratic forms and consider more general polynomials. Every prime polynomial is irreducible and either central or a scalar multiple of $x$ or of $y$. Thus there can only be primes of degree 2 or more when $q$ is a root of unity.


title: Presenting generalized Schur algebras in types B,C,D

abstract: We give explicit presentations by generators and relations of certain generalized Schur algebras (associated with tensor powers of the natural representation) in types B, C, D. This extends previous results in type A obtained by two of the authors. The presentation is compatible with the Serre presentation of the corresponding universal enveloping algebra. In types C, D this gives a presentation of the corresponding classical Schur algebra (the image of the representation on a tensor power) since the classical Schur algebra coincides with the generalized Schur algebra in those types. This coincidence between the generalized and classical Schur algebra fails in type B, in general.


title: Generalized Solutions to Hyperbolic Systems with Nonlinear Conditions and Strongly Singular Data

abstract: Using the framework of Colombeau algebras of generalized functions, we prove the existence and uniqueness results for global generalized solvability of semilinear hyperbolic systems with nonlinear nonlocal boundary conditions. We admit strong singularities in the differential equations as well as in the initial and boundary conditions. Our analysis covers the case of non-Lipshitz nonlinearities both in the differential equations and in the boundary conditions.


title: A note on the multiplicity of determinantal ideals

abstract: Herzog, Huneke, and Srinivasan have conjectured that for any homogeneous $k$-algebra, the multiplicity is bounded above by a function of the maximal degrees of the syzygies and below by a function of the minimal degrees of the syzygies. The goal of this paper is to establish the multiplicity conjecture of Herzog, Huneke, and Srinivasan about the multiplicity of graded Cohen-Macaulay algebras over a field $k$ for $k$-algebras $k[x_1, ..., x_n]/I$ being $I$ a determinantal ideal of arbitrary codimension.


title: Sur les caract\`eres des groupes r\'eductifs finis : applications aux groupes sp\'eciaux lin\'eaires et unitaires

abstract: In the first chapters, this paper contains a survey on the theory of ordinary characters of finite reductive groups with non-connected centre. The last chapters are devoted to the proof of Lusztig's conjecture on characteristic functions of character sheaves for all finite reductive groups of type A, split or not.


title: On two-dimensional immersions of prescribed mean curvature in R^n

abstract: We consider two-dimensional immersions of disc-type in R^n. We focus well known classical concepts and study the nonlinear elliptic systems of such mappings. Using an Osserman-type condition we give a priori-estimates of the principle curvatures for certain graphs in R^4 with prescribed mean curvature.


title: On Serre's modularity conjecture for 2-dimensional mod p representations of G_Q unramified outside p

abstract: We prove the level 1 case of Serre's conjecture.


title: Local theory of almost split sequences for comodules

abstract: We show that almost split sequences in the category of comodules over a coalgebra with finite-dimensional right-hand term are direct limits of almost split sequences over finite dimensional subcoalgebras. In previous work we showed that such almost split sequences exist if the right hand term has a quasifinitely copresented linear dual. Conversely, taking limits of almost split sequences over finte-dimensional comodule categories, we then show that, for countable-dimensional coalgebras, certain exact sequences exist which satisfy a condition weaker than being almost split, which we call ``finitely almost split''. Under additional assumptions, these sequences are shown to be almost split in the appropriate category.


title: Complete projective connections

abstract: The first examples of complete projective connections are uncovered: normal projective connections on surfaces whose geodesics are all closed and embedded are complete, as are normal projective connections induced from complete affine connections with slowly decaying positive Ricci curvature.


title: Multimagic Squares

abstract: In this paper we give the first method for constructing n-multimagic squares (and hypercubes) for any n. We give an explicit formula in the case of squares and an effective existence proof in the higher dimensional case. Finally we prove that n-multimagic squares do not exist for certain orders.


title: Distinguished Varieties

abstract: A distinguished variety is a variety that exits the bidisk through the distinguished boundary. We show that Ando's inequality for commuting matrix contractions can be sharpened to looking at the maximum modulus on a distinguished variety, not the whole bidisk. We show that uniqueness sets for extremal Pick problems on the bidisk always contain a distinguished variety.


title: Exterior products of 0-cycles

abstract: We study the exterior product on 0-cycles modulo rational equivalence, and prove some nonvanishing results. The main tools used are higher cycle- and Abel-Jacobi- classes developed in articles of J. Lewis and the author. A theorem of Rosenschon-Saito (in the case of 0-cycles) is a special case of our results.


title: Higher Abel-Jacobi maps for 0-cycles

abstract: Starting from the candidate Bloch-Beilinson filtration on Chow groups of 0-cycles constructed by J. Lewis, we develop and describe geometrically a series of Hodge-theoretic invariants defined on the graded pieces. Explicit formulas (in terms of currents and membrane integrals) are given for certain quotients of the invariants, with applications to 0-cycles on products of curves.


title: Compressed Random Variables in a Graph W*-Probability Space

abstract: In this paper, we will consider the free probabilistic information about compressed random variables in a graph W*-Probability space. Recall the diagonal compressed random variables in a graph W*-probability space. In particular, we can see that the free moments and cumulants of the fixed compressed random variable of a random variable x are exactly same as the diagonal compressed part of x.


title: Persistence of gaps in the spectrum of certain almost periodic operators

abstract: It is shown that for any irrational rotation number and any admissible gap labelling number the almost Mathieu operator (also known as Harper's operator) has a gap in its spectrum with that labelling number. This answers the strong version of the so-called "Ten Martini Problem". When specialized to the particular case where the coupling constant is equal to one, it follows that the "Hofstadter butterfly" has for any quantum Hall conductance the exact number of components prescribed by the recursive scheme to build this fractal structure.


title: Generalized double affine Hecke algebras of higher rank

abstract: We define generalized double affine Hecke algebras (GDAHA) of higher rank, attached to a non-Dynkin star-like graph D. This generalizes GDAHA of rank 1 defined in math.QA/0406480 and math.QA/0409261. If the graph is extended D4, then GDAHA is the algebra defined by Sahi in q-alg/9710032, which is a generalization of the Cherednik algebra of type BCn. We prove the formal PBW theorem for GDAHA, and parametrize its irreducible representations in the case when D is affine (i.e. extended D4, E6, E7, E8) and q=1. We formulate a series of conjectures regarding algebraic properties of GDAHA. We expect that, similarly to how GDAHA of rank 1 provide quantizations of del Pezzo surfaces (as shown in math.QA/0406480), GDAHA of higher rank provide quantizations of deformations of Hilbert schemes of these surfaces. The proofs are based on the study of the rational version of GDAHA (which is closely related to the algebras studied in math.QA/0401038), and differential equations of Knizhnik-Zamolodchikov type.


title: The Uses of Argument in Mathematics

abstract: Stephen Toulmin once observed that `it has never been customary for philosophers to pay much attention to the rhetoric of mathematical debate'. Might the application of Toulmin's layout of arguments to mathematics remedy this oversight? Toulmin's critics fault the layout as requiring so much abstraction as to permit incompatible reconstructions. Mathematical proofs may indeed be represented by fundamentally distinct layouts. However, cases of genuine conflict characteristically reflect an underlying disagreement about the nature of the proof in question.


title: Navigating in the Cayley graphs of SL_N(Z) and SL_N(F_p)

abstract: We give a non-deterministic algorithm that expresses elements of SL_N(Z), for N > 2, as words in a finite set of generators, with the length of these words at most a constant times the word metric. We show that the non-deterministic time-complexity of the subtractive version of Euclid's algorithm for finding the greatest common divisor of N > 2 integers a_1,..., a_N is at most a constant times N log n where n := max {|a_1|,..., |a_N|}. This leads to an elementary proof that for N > 2 the word metric in SL_N(Z) is biLipschitz equivalent to the logarithm of the matrix norm -- an instance of a theorem of Mozes, Lubotzky and Raghunathan. And we show constructively that there exists K>0 such that for all N > 2 and primes p, the diameter of the Cayley graph of SL_N(F_p) with respect to the generating set {e_{ij} \mid i \neq j} is at most K N^2 \log p.


title: Bivariant Chern character and the longitudinal index theory

abstract: In this paper we consider a family of Dirac-type operators on fibration $P \to B$ equivariant with respect to an action of an etale groupoid. Such a family defines an element in the bivariant $K$ theory. We compute the action of the bivariant Chern character of this element on the image of Connes' map $\Phi$ in the cyclic cohomology. A particular case of this result is Connes' index theorem for etale groupoids in the case of fibrations.


title: On the Krull Dimension of the deformation ring of curves with automorphisms

abstract: We reduce the study of the Krull dimension d of the deformation ring of the functor of deformations of curves with automorphisms to the study of the tangent space of the deformation functor of a class of matrix representations of the p-part of the decomposition groups at wild ramified points, and we give a method in order to compute d.


title: On a role of predictor in the filtering stability

abstract: When is a nonlinear filter stable with respect to its initial condition? In spite of the recent progress, this question still lacks a complete answer in general. Currently available results indicate that stability of the filter depends on the signal ergodic properties and the observation process regularity and may fail if either of the ingredients is ignored. In this note we address the question of stability in a particular weak sense and show that the estimates of certain functions are always stable. This is verified without dealing directly with the filtering equation and turns to be inherited from certain one-step predictor estimates.


title: Noncommutative geometry of foliations

abstract: We review basic notions and methods of noncommutative geometry and their applications to analysis and geometry on foliated manifolds.


title: How likely is an i.i.d. degree sequence to be graphical?

abstract: Given i.i.d. positive integer valued random variables D_1,...,D_n, one can ask whether there is a simple graph on n vertices so that the degrees of the vertices are D_1,...,D_n. We give sufficient conditions on the distribution of D_i for the probability that this be the case to be asymptotically 0, {1/2} or strictly between 0 and {1/2}. These conditions roughly correspond to whether the limit of nP(D_i\geq n) is infinite, zero or strictly positive and finite. This paper is motivated by the problem of modeling large communications networks by random graphs.


title: On Normal Subgroups of Product of Groups

abstract: The object of this paper is to find a necessary and sufficient condition for the groups $G_1, G_2, ..., G_n$ so that every normal subgroup of the product $\prod_{i=1}^{n} G_i$ is of the type $\prod_{i=1}^{n} N_i$ with $N_i \trianglelefteq G_i$, $i=1,2, ..., n$. As a consequence we obtain a well-known result due to R. Remak about centreless completely reducible groups having finitely many direct factors.


title: Tits alternative in hypek\"ahler manifolds

abstract: We show an analogous result of the famous Tits alternative for a group G of birational automorphisms of a projective hyperk\"aher manifold: Either G contains a non-commutative free group or G is an almost abelian group of finite rank. As an application, we show that the automorphism groups of the so-called singular K3 surfaces contain non-commutative free groups.


title: Fiberwise volume growth via Lagrangian intersections

abstract: We consider Hamiltonian diffeomorphisms $\phi$ of the unit cotangent bundle over a closed Riemannian manifold $(M,g)$ which extend to Hamiltonian diffeomorphisms of $T^*M$ equal to the time-1-map of the geodesic flow for $|p| \ge 1$. For such diffeomorphisms we establish uniform lower bounds for the fiberwise volume growth of $\phi$ which were previously known for geodesic flows and which depend only on $(M,g)$ or on the homotopy type of $M$. More precisely, we show that for each $q \in M$ the volume growth of the unit ball in $T_q^*M$ under the iterates of $\phi$ is at least linear if $M$ is rationally elliptic, is exponential if $M$ is rationally hyperbolic, and is bounded from below by the growth of the fundamental group of $M$. In the case that all geodesics of $g$ are closed, we conclude that the slow volume growth of every symplectomorphism in the symplectic isotopy class of the Dehn--Seidel twist is at least 1, completing the main result of \cite{FS:GAFA}. The proofs use the Lagrangian Floer homology of $T^*M$ and the Abbondandolo--Schwarz isomorphism from this homology to the homology of the based loop space of $M$.


title: Symplectic configurations

abstract: We define a class of symplectic fibrations called symplectic configurations. They are natural generalization of Hamiltonian fibrations. Their geometric and topological properties are investigated. We are mainly concentrated on integral symplectic manifolds. We construct the classifyng space \B of symplectic integral configurations. The properties of the classifying map \B --> BSymp(M,w) are examined. The universal symplectic bundle over \B has a natural connection whose holonomy group is isomorphic to the enlarged Hamiltonian group recently defined by McDuff. The space \B is identified with the classifying space of an extension of certain subgroup of the symplectomorphism group.


title: Lifting smooth curves over invariants for representations of compact Lie groups, III

abstract: Any sufficiently often differentiable curve in the orbit space $V/G$ of a real finite-dimensional orthogonal representation $G \to O(V)$ of a finite group $G$ admits a differentiable lift into the representation space $V$ with locally bounded derivative. As a consequence any sufficiently often differentiable curve in the orbit space $V/G$ can be lifted twice differentiably. These results can be generalized to arbitrary polar representations. Finite reflection groups and finite rotation groups in dimensions two and three are discussed in detail.


title: The universality classes in the parabolic Anderson model

abstract: We discuss the long time behaviour of the parabolic Anderson model, the Cauchy problem for the heat equation with random potential on $\Z^d$. We consider general i.i.d. potentials and show that exactly \emph{four} qualitatively different types of intermittent behaviour can occur. These four universality classes depend on the upper tail of the potential distribution: (1) tails at $\infty$ that are thicker than the double-exponential tails, (2) double-exponential tails at $\infty$ studied by G\"artner and Molchanov, (3) a new class called \emph{almost bounded potentials}, and (4) potentials bounded from above studied by Biskup and K\"onig. The new class (3), which contains both unbounded and bounded potentials, is studied in both the annealed and the quenched setting. We show that intermittency occurs on unboundedly increasing islands whose diameter is slowly varying in time. The characteristic variational formulas describing the optimal profiles of the potential and of the solution are solved explicitly by parabolas, respectively, Gaussian densities.


title: Measure homology and singular homology are isometrically isomorphic

abstract: Measure homology is a variation of singular homology designed by Thurston in his discussion of simplicial volume. Zastrow and Hansen showed independently that singular homology (with real coefficients) and measure homology coincide algebraically on the category of CW-complexes. It is the aim of this paper to prove that this isomorphism is isometric with respect to the l^1-seminorm on singular homology and the seminorm on measure homology induced by the total variation. This, in particular, implies that one can calculate the simplicial volume via measure homology -- as already claimed by Thurston. For example, measure homology can be used to prove the proportionality principle of simplicial volume.


title: Measured quantum groupoids

abstract: In this article, we give a definition for measured quantum groupoids. We want to get objects with duality extending both quantum groups and groupoids. We base ourselves on J. Kustermans and S. Vaes' works about locally compact quantum groups that we generalize thanks to formalism introduced by M. Enock and J.M. Vallin in the case of inclusion of von Neumann algebras. From a structure of Hopf-bimodule with left and right invariant operator-valued weights, we define a fundamental pseudo-multiplicative unitary. To get a satisfying duality in the general case, we assume the existence of an antipode given by its polar decomposition. This theory is illustrated with many examples among others inclusion of von Neumann algebras (M. Enock) and a sub family of measured quantum groupoids with easier axiomatic.


title: The Subadditive Ergodic Theorem and generic stretching factors for free group automorphisms

abstract: Given a free group $F_k$ of rank $k\ge 2$ with a fixed set of free generators we associate to any homomorphism $\phi$ from $F_k$ to a group $G$ with a left-invariant semi-norm a generic stretching factor, $\lambda(\phi)$, which is a non-commutative generalization of the translation number. We concentrate on the situation when $\phi:F_k\to Aut(X)$ corresponds to a free action of $F_k$ on a simplicial tree $X$, in particular, when $\phi$ corresponds to the action of $F_k$ on its Cayley graph via an automorphism of $F_k$. In this case we are able to obtain some detailed ``arithmetic'' information about the possible values of $\lambda=\lambda(\phi)$. We show that $\lambda \ge 1$ and is a rational number with $2k\lambda\in \mathbb Z[ \frac{1}{2k-1} ]$ for every $\phi\in Aut(F_k)$. We also prove that the set of all $\lambda(\phi)$, where $\phi$ varies over $Aut(F_k)$, has a gap between 1 and $1+\frac{2k-3}{2k^2-k}$, and the value 1 is attained only for ``trivial'' reasons. Furthermore, there is an algorithm which, when given $\phi$, calculates $\lambda(\phi)$.


title: The Proportionality Principle of Simplicial Volume

abstract: The simplicial volume is a homotopy invariant of oriented closed connected manifolds measuring the efficiency of representing the fundamental class by singular chains with real coefficients. Despite of its topological nature, the simplicial volume is linked to Riemannian geometry in various ways, e.g., by the proportionality principle. The proportionality principle of simplicial volume states that the simplicial volume and the Riemannian volume are proportional for oriented closed connected Riemannian manifolds sharing the same universal Riemannian covering. Thurston indicated a proof of the proportionality principle using his (smooth) measure homology. It is the purpose of this diploma thesis to provide a full proof of the proportionality principle based on Thurston's approach. In particular, it is shown that (smooth) measure homology and singular homology are isometrically isomorphic for all smooth manifolds. This implies that the simplicial volume indeed can be computed in terms of measure homology.


title: K-theory of quasi-toric manifolds

abstract: We describe the $K$-ring of a quasi-toric manifold in terms of generators and relations. We apply our results to describe the $K$-ring of Bott-Samelson varieties.


title: On Braided Groupoids

abstract: We study and give examples of braided groupoids, and, a fortiori, non-degenerate solutions of the quiver-theoretical braid equation.


title: Fixed point free involutions on Riemann surfaces

abstract: Involutions without fixed points on hyperbolic closed Riemann surface are discussed. For an orientable surface $X$ of even genus with an arbitrary Riemannian metric $d$ admitting an involution $\tau$, it is known that $\min_{p\in X}d(p,\tau(p))$ is bounded by a constant which depends on the genus of $X$. The equivalent result is proved to be false in odd genus, and the optimal constant for hyperbolic Riemann surfaces is calculated in genus 2.


title: Invariance principles for random bipartite planar maps

abstract: Random planar maps are considered in the physics literature as the discrete counterpart of random surfaces. It is conjectured that properly rescaled random planar maps, when conditioned to have a large number of faces, should converge to a limiting surface whose law does not depend, up to scaling factors, on details of the class of maps that are sampled. Previous works on the topic, starting with Chassaing and Schaeffer, have shown that the radius of a random quadrangulation with $n$ faces, that is, the maximal graph distance on such a quadrangulation to a fixed reference point, converges in distribution once rescaled by $n^{1/4}$ to the diameter of the Brownian snake, up to a scaling constant. Using a bijection due to Bouttier, Di Francesco and Guitter between bipartite planar maps and a family of labeled trees, we show the corresponding invariance principle for a class of random maps that follow a Boltzmann distribution putting weight $q_k$ on faces of degree $2k$: the radius of such maps, conditioned to have $n$ faces (or $n$ vertices) and under a criticality assumption, converges in distribution once rescaled by $n^{1/4}$ to a scaled version of the diameter of the Brownian snake. Convergence results for the so-called profile of maps are also provided. The convergence of rescaled bipartite maps to the Brownian map, in the sense introduced by Marckert and Mokkadem, is also shown. The proofs of these results rely on a new invariance principle for two-type spatial Galton--Watson trees.


title: Linear spaces, transversal polymatroids and ASL domains

abstract: Let $K$ be an infinite field and $R=K[x_1,...,x_n]$ be the polynomial ring. Let $V=V_1, ..., V_m$ be a collection of vector spaces of linear forms. Denote by $A(V)$ the $K$-subalgebra of $R$ generated by the elements of the product $V_1... V_m$. Our goal is to investigate the properties of the algebra $A(V)$ and the relations with two problems in algebraic combinatorics White's and related conjectures on polymatroids and the study of integral posets.


title: The rationality of Sol manifolds

abstract: Let $\Gamma$ be the fundamental group of a manifold modeled on three dimensional Sol geometry. We prove that $\Gamma$ has a finite index subgroup $G$ which has a rational growth series with respect to a natural generating set. We do this by enumerating $G$ by a regular language. However, in contrast to most earlier proofs of this sort our regular language is not a language of words in the generating set, but rather reflects a different geometric structure in $G$.


title: Counting monomials

abstract: This paper presents two enumeration techniques based on Hilbert functions. The paper illustrates these techniques by solving two chessboard problems.


title: Local rigidity of 3-dimensional cone-manifolds

abstract: We investigate the local deformation space of 3-dimensional cone-manifold structures of constant curvature $\kappa \in \{-1,0,1\}$ and cone-angles $\leq \pi$. Under this assumption on the cone-angles the singular locus will be a trivalent graph. In the hyperbolic and the spherical case our main result is a vanishing theorem for the first $L^2$-cohomology group of the smooth part of the cone-manifold with coefficients in the flat bundle of infinitesimal isometries. We conclude local rigidity from this. In the Euclidean case we prove that the first $L^2$-cohomology group of the smooth part with coefficients in the flat tangent bundle is represented by parallel forms.


title: Blowing up K\"{a}hler manifolds with constant scalar curvature II

abstract: In this paper we continue our study about the existence of Kaehler metrics of constant scalar curvature (Kcsc) on blow ups at points of compact manifolds with Kcsc metrics started in math.DG/0411522. In this second part we deal with the case of base manifolds with holomorphic vector fields and we give sufficient conditions for the position of points to be blown up to preserve the Kcsc property. These results are obtained by a gluing procedure. We give explicit examples of our construction, in particular getting optimal results in the cases of P^n and P^n x M, where M is a Kcsc compact manifold with discrete automorphism group.


title: On deformations of hyperbolic 3-manifolds with geodesic boundary

abstract: Let M be a complete finite-volume hyperbolic 3-manifold with compact non-empty geodesic boundary and k toric cusps, and let T be a geometric partially truncated triangulation of M. We show that the variety of solutions of consistency equations for T is a smooth manifold or real dimension 2k near the point representing the unique complete structure on M. As a consequence, the relation between deformations of triangulations and deformations of representations is completely understood, at least in a neighbourhood of the complete structure. This allows us to prove, for example, that small deformations of the complete triangulation affect the compact tetrahedra and the hyperbolic structure on the geodesic boundary only at the second order.


title: Global rigidity of 3-dimensional cone-manifolds

abstract: We prove global rigidity for compact hyperbolic and spherical cone-3-manifolds with cone-angles $\leq \pi$ (which are not Seifert fibered in the spherical case), furthermore for a class of hyperbolic cone-3-manifolds of finite volume with cone-angles $\leq \pi$, possibly with boundary consisting of totally geodesic hyperbolic turnovers. To that end we first generalize our local rigidity result to the setting of hyperbolic cone-3-manifolds of finite volume as above. We then use the geometric techniques developed by Boileau, Leeb and Porti to deform the cone-manifold structure to a complete non-singular or a geometric orbifold structure, where global rigidity holds due to Mostow-Prasad rigidity in the hyperbolic case, resp. a result of de Rham in the spherical case. This strategy has already been implemented successfully by Kojima in the compact hyperbolic case if the singular locus is a link using Hodgson-Kerckhoff local rigidity.


title: Some properties of the pseudo-Smarandache function

abstract: We answer a number of questions relating to the pseudo-Smarandache function Z(n). We show that the ratio of consecutive values $Z(n+1)/Z(n)$ and $Z(n-1)/Z(n)$ are unbounded; that $Z(2n)/Z(n)$ is unbounded; that $n/Z(n)$ takes every integer value infinitely often; and that the series $\sum_n 1/Z(n)^\alpha$ is convergent for any $\alpha > 1$.


title: The Carmichael numbers up to $10^{17}$

abstract: We extend our previous computations to show that there are 585355 Carmichael numbers up to $10^{17}$. As before, the numbers were generated by a back-tracking search for possible prime factorisations together with a ``large prime variation''. We present further statistics on the distribution of Carmichael numbers.


title: On the realization of Riemannian symmetric spaces in Lie groups II

abstract: In this paper we generalize a result in [1], showing that an arbitrary Riemannian symmetric space can be realized as a closed submanifold of a covering group of the Lie group defining the symmetric space. Some properties of the subgroups of fixed points of involutions are also proved.


title: The unbounded dead-end depth property is not a group invariant

abstract: The dead-end depth of an element g of a group with finite generating set A is the distance from g to the complement of the radius d(1,g) closed ball, in the word metric d associated to A. We exhibit a finitely presented group K with two finite generating sets A and B such that dead-end depth is unbounded on K with respect to A but is at most two with respect to B.


title: Jumps in cohomology and free group actions

abstract: A discrete group G has periodic cohomology over R if there is an element in a cohomology group, cup product with which induces an isomorphism in cohomology after a certain dimension. Adem and Smith showed if R = Z, then this condition is equivalent to the existence of a finite dimensional free-G-CW- complex homotopy equivalent to a sphere. It has been conjectured by Olympia Talelli, that if G is also torsion-free then it must have finite cohomological di- mension. In this paper we use the implied condition of jump cohomology over R to prove the conjecture for HF-groups and solvable groups. We also find necessary conditions for free and proper group actions on finite dimensional complexes homotopy equivalent to closed, orientable manifolds.


title: From Loop Groups to 2-Groups

abstract: We describe an interesting relation between Lie 2-algebras, the Kac-Moody central extensions of loop groups, and the group $\mathrm{String}(n)$. A Lie 2-algebra is a categorified version of a Lie algebra where the Jacobi identity holds up to a natural isomorphism called the "Jacobiator". Similarly, a Lie 2-group is a categorified version of a Lie group. If $G$ is a simply-connected compact simple Lie group, there is a 1-parameter family of Lie 2-algebras $\mathfrak{g}_k$ each having $\mathrm{Lie}(G)$ as its Lie algebra of objects, but with a Jacobiator built from the canonical 3-form on $G$. There appears to be no Lie 2-group having $\mathfrak{g}_k$ as its Lie 2-algebra, except when $k = 0$. Here, however, we construct for integral k an infinite-dimensional Lie 2-group whose Lie 2-algebra is equivalent to $\mathfrak{g}_k$. The objects of this 2-group are based paths in $G$, while the automorphisms of any object form the level-$k$ Kac-Moody central extension of the loop group of $G$. This 2-group is closely related to the $k$th power of the canonical gerbe over $G$. Its nerve gives a topological group that is an extension of $G$ by $K(\mathbb{Z},2)$. When $k = \pm 1$, this topological group can also be obtained by killing the third homotopy group of $G$. Thus, when $G = \mathrm{Spin}(n)$, it is none other than $\mathrm{String}(n)$.


title: Surfaces and fronts with harmonic-mean curvature one in hyperbolic three-space

abstract: We investigate surfaces with constant harmonic-mean curvature one (HMC-1 surfaces) in hyperbolic three-space. We allow them to have certain kinds of singularities, and discuss some global properties. As well as flat surfaces and surfaces with constant mean curvature one (CMC-1 surfaces), HMC-1 surfaces belong to a certain class of Weingarten surfaces. From the viewpoint of parallel surfaces, CMC-1 surfaces and HMC-1 surfaces are representative among this class.


title: General Spectral Flow Formula for Fixed Maximal Domain

abstract: We consider a continuous curve of linear elliptic formally self-adjoint differential operators of first order with smooth coefficients over a compact Riemannian manifold with boundary together with a continuous curve of global elliptic boundary value problems. We express the spectral flow of the resulting continuous family of (unbounded) self-adjoint Fredholm operators in terms of the Maslov index of two related curves of Lagrangian spaces. One curve is given by the varying domains, the other by the Cauchy data spaces. We provide rigorous definitions of the underlying concepts of spectral theory and symplectic analysis and give a full (and surprisingly short) proof of our General Spectral Flow Formula for the case of fixed maximal domain. As a side result, we establish local stability of weak inner unique continuation property (UCP) and explain its role for parameter dependent spectral theory.


title: A generalized Morse index theorem

abstract: In this paper, we prove a Morse index theorem for the index form of even order linear Hamiltonian systems on the closed interval with reasonable self-adjoint boundary conditions. The highest order term is assumed to be nondegenerate.


title: Lorentzian homogeneous spaces admitting a homogeneous structure of type T1+T3

abstract: We show that a Lorentzian homogeneous space admitting a homogeneous structure of type T1 + T3 is either a (locally) symmetric space or a singular homogeneous plane wave.


title: Regular Functions Transversal at Infinity

abstract: We generalize and complete some of Maxim's recent results on Alexander invariants of a polynomial transversal to the hyperplane at infinity. Roughly speaking, and surprisingly, such a polynomial behaves both topologically and algebraically (e.g. in terms of the variation of MHS on the cohomology of its smooth fibers), like a homogeneous polynomial.


title: Regular dilations of representations of product systems

abstract: We study completely contractive representations of product systems $X$ of correspondences over the semigroup $\mathbb{Z}_+^k$. We present a necessary and sufficient condition for such a representation to have a regular isometric dilation. We discuss representations that doubly commute and show that these representations induce completely contractive representations of the norm closed algebra generated by the image of the Fock representation of $X$.


title: The Weierstrass subgroup of a curve has maximal rank

abstract: We show that the Weierstrass points of the generic curve of genus $g$ over an algebraically closed field of characteristic 0 generate a group of maximal rank in the Jacobian.


title: Inequalities satisfied by the basic sequence of an integral curve in P^3

abstract: We show several new inequalities found recently that the basic sequence of the saturated homogeneous ideal I of an integral curve in P^3 must satisfy. Then we compare our results with Cook's assertions on the generic initial ideal of I, carrying out numerical computations with the use of a computer. The outcome is that we have obtained new restrictions on the generic initial ideal of I. When the characteristic of k is zero, the basic sequence of a homogeneous ideal I in a polynomial ring over an infinite field k is a sequence of the degrees of the minimal generators of the generic initial ideal of I arranged in a suitable order.


title: On Vertices and Focal Curvatures of Space Curves

abstract: The {\em focal curve} of an immersed smooth curve $\gamma:s\mapsto \gamma(s)$, in Euclidean space $\R^{m+1}$, consists of the centres of its osculating hyperspheres. The focal curve may be parametrised in terms of the Frenet frame of $\gamma$ (${\bf t},{\bf n}_1, ...,{\bf n}_m$), as $C_\gamma(s)=(\gamma+c_1{\bf n}_1+c_2{\bf n}_2+...+c_m{\bf n}_m)(s)$, where the coefficients $c_1,...,c_{m-1}$ are smooth functions that we call the {\em focal curvatures} of $\gamma$. We discovered a remarkable formula relating the Euclidean curvatures $\kappa_i$, $i=1,...,m$, of $\gamma$ with its focal curvatures. We show that the focal curvatures satisfy a system of Frenet equations (not vectorial, but scalar!). We use the properties of the focal curvatures in order to give, for $k=1,...,m$, necessary and sufficient conditions for the radius of the osculating $k$-dimensional sphere to be critical. We also give necessary and sufficient conditions for a point of $\gamma$ to be a vertex. Finally, we show explicitly the relations of the Frenet frame and the Euclidean curvatures of $\gamma$ with the Frenet frame and the Euclidean curvatures of its focal curve $C_\gamma$.


title: Relevant Categories and Partial Functions

abstract: A relevant category is a symmetric monoidal closed category with a diagonal natural transformation that satisfies some coherence conditions. Every cartesian closed category is a relevant category in this sense. The denomination 'relevant' comes from the connection with relevant logic. It is shown that the category of sets with partial functions, which is isomorphic to the category of pointed sets, is a category that is relevant, but not cartesian closed.


title: Quasi-neutral limit of the Euler-Poisson and Euler-Monge-Amp\`ere systems

abstract: This paper studies the pressureless Euler-Poisson system and its fully non-linear counterpart, the Euler-Monge-Amp\`ere system, where the fully non-linear Monge-Amp\`ere equation substitutes for the linear Poisson equation. While the first is a model of plasma physics, the second is derived as a geometric approximation to the Euler incompressible equations. Using energy estimates, convergence of both systems to the Euler incompressible equations is proved.


title: A geometric approximation to the Euler equations: the Vlasov-Monge-Ampere system

abstract: This paper studies the Vlasov-Monge-Ampere system (VMA), a fully non-linear version of the Vlasov-Poisson system (VP) where the (real) Monge-Ampere equation substitutes for the usual Poisson equation. This system can be derived as a geometric approximation of the Euler equations of incompressible fluid mechanics in the spirit of Arnold and Ebin. Global existence of weak solutions and local existence of smooth solutions are obtained. Links between the VMA system, the VP system and the Euler equations are established through rigorous asymptotic analysis.


title: Contractive metrics for scalar conservation laws

abstract: We consider nondecreasing entropy solutions to 1-d scalar conservation laws and show that the spatial derivatives of such solutions satisfy a contraction property with respect to the Wasserstein distance of any order. This result extends the L^1-contraction property shown by Kruzkov.


title: On the regularity of maps solutions of optimal transportation problems

abstract: We give a necessary and sufficient condition on the cost function so that the map solution of Monge's optimal transportation problem is continuous for arbitrary smooth positive data. This condition was first introduced by Ma, Trudinger and Wang \cite{MTW, TW} for a priori estimates of the corresponding Monge-Amp\`ere equation. It is expressed by a so-called {\em cost-sectional curvature} being non-negative. We show that when the cost function is the squared distance of a Riemannian manifold, the cost-sectional curvature yields the sectional curvature. As a consequence, if the manifold does not have non-negative sectional curvature everywhere, the optimal transport map {\em can not be continuous} for arbitrary smooth positive data. The non-negativity of the cost-sectional curvature is shown to be equivalent to the connectedness of the contact set between any cost-convex function (the proper generalization of a convex function) and any of its supporting functions. When the cost-sectional curvature is uniformly positive, we obtain that optimal maps are continuous or H\"older continuous under quite weak assumptions on the data, compared to what is needed in the Euclidean case. This case includes the reflector antenna problem and the squared Riemannian distance on the sphere.


title: A fully non-linear version of the Euler incompressible equations: the semi-geostrophic system

abstract: This work gathers new results concerning the semi-geostrophic equations: existence and stability of measure valued solutions, existence and uniqueness of solutions under certain continuity conditions for the density, convergence to the incompressible Euler equations. Meanwhile, a general technique to prove uniqueness of sufficiently smooth solutions to non-linearly coupled system is introduced, using optimal transportation.


title: Electric turbulence in a plasma subject to a strong magnetic field

abstract: We consider in this paper a plasma subject to a strong deterministic magnetic field and we investigate the effect on this plasma of a stochastic electric field. We show that the limit behavior, which corresponds to the transfer of energy from the electric wave to the particles (Landau phenomena), is described by a Spherical Harmonics Expansion (SHE) model.


title: Uniqueness of the solution to the Vlasov-Poisson system with bounded density

abstract: In this note, we show uniqueness of weak solutions to the Vlasov-Poisson system on the only condition that the macroscopic density $\rho$ defined by $\rho(t,x) = \int_{\Rd} f(t,x,\xi)d\xi$ is bounded in $\Linf$. Our proof is based on optimal transportation.


title: Calabi-Yau Varieties with Fibre Structures

abstract: Motivated by the Strominger-Yau-Zaslow conjecture, we study fibre spaces whose total space has trivial canonical bundle. Especially, we are interest in Calabi-Yau varieties with fibre structure. In this paper, we only consider semi-stable families. We use Hodge theory and the generalized Donaldson-Simpson-Uhlenbeck-Yau correspondence to study the parabolic structure of higher direct images over higher dimensional quasi-projective base, and obtain an important result on parabolic-semi-positivity. We then apply this result to study nonisotrivial Calabi-Yau varieties fibred by Abelian varieties (or fibred by hyperk\"ahler varieties), we obtain that the base manifold for such a family is rationally connected and the dimension of a general fibre depends only on the base manifold.


title: There Exist Nontrivial Threefolds with Vanishing Hodge Cohomology

abstract: We analyze the structure of the algebraic manifolds $Y$ of dimension 3 with $H^i(Y, \Omega^j_Y)=0$ for all $j\geq 0$, $i>0$ and $h^0(Y, {\mathcal{O}}_Y) > 1$, by showing the deformation invariant of some open surfaces. Secondly, we show when a smooth threefold with nonconstant regular functions satisfies the vanishing Hodge cohomology. As an application, we prove the existence of nonaffine and nonproduct threefolds $Y$ with this property by constructing a family of a certain type of open surfaces parametrized by the affine curve $\C-\{0\}$ such that the corresponding smooth completion $X$ has Kodaira dimension $-\infty$ and $D$-dimension 1, where $D$ is the effective boundary divisor with support $X-Y$.


title: Sur les representations de Krammer generiques

abstract: We define a representation of the Artin groups of type ADE by monodromy of generalized KZ-systems which is shown to be isomorphic to the generalized Krammer representation originally defined by A.M. Cohen and D. Wales, and independantly by F. Digne. It follows that all pure Artin groups of spherical type are residually torsion-free nilpotent, hence (bi-)orderable. Using that construction we show that these irreducible representations are Zariski-dense in the corresponding general linear group. It follows that all irreducible Artin groups of spherical type can be embedded as Zariski-dense subgroups of some general linear group. As group-theoretical applications we prove properties of non-decomposition in direct products for several subgroups of Artin groups, and a generalization in arbitrary types of a celebrated property of D. Long for the braid groups. We also determine the Frattini and Fitting subgroups and discuss unitarity properties of the representations.


title: Scattering theory for the Zakharov system

abstract: We study the theory of scattering for the Zakharov system in space dimension 3. We prove in particular the existence of wave operators for that system with no size restriction on the data in larger spaces and for more general asymptotic states than were previously considered, and we determine convergence rates in time of solutions in the range of the wave operators to the solutions of the underlying linear system. We also consider the same system in space dimension 2, where we prove the existence of wave operators in the special case of vanishing asymptotic data for the wave field.


title: (Ir)Reducibility of some commuting varieties associated with involutions

abstract: Here we prove that a commuting variety associated with a symmetric pair (g, g_0) is irreducible for (so_{n+m}, so_n + so_m) and reducible for (gl_{n+m}, {gl}_n + gl_m) with n>m, (so_{2n}, gl_n) with odd n, (E_6, {so}_{10} + k).


title: Gabor Analysis, Noncommutative Tori and Feichtinger's algebra

abstract: We point out a connection between Gabor analysis and noncommutative analysis. Especially, the strong Morita equivalence of noncommutative tori appears as underlying setting for Gabor analysis, since the construction of equivalence bimodules for noncommutative tori has a natural formulation in the notions of Gabor analysis. As an application we show that Feichtinger's algebra is such an equivalence bimodule. Furthermore, we present Connes's construction of projective modules for noncommutative tori and the relevance of a generalization of Wiener's lemma for twisted convolution by Gr\"ochenig and Leinert. Finally we indicate an approach to the biorthogonality relation of Wexler-Raz on the existence of dual atoms of a Gabor frame operator based on results about Morita equivalence.


title: Similar fillings and isolation of cusps of hyperbolic 3-manifolds

abstract: In this paper we deepen the analysis of certain classes M_{g,k} of hyperbolic 3-manifolds that were introduced in a previous work by B. Martelli, C. Petronio and the author. Each element of M_{g,k} is an oriented complete finite-volume hyperbolic 3-manifold with compact connected geodesic boundary of genus g and k cusps. We study small deformations of the complete hyperbolic structure of manifolds in M_{g,k} via a close analysis of their geodesic triangulations. We prove that several elements in M_{g,k} admit non-homeomorphic hyperbolic Dehn fillings sharing the same volume, homology, cusp volume, cusp shape, Heegaard genus, complex length of the shortest geodesic, length of the shortest return path, and Turaev-Viro invariants. Manifolds which share all these invariants are called geometrically similar, and were first studied by C. D. Hodgson, R. G. Meyerhoff and J. R. Weeks. The examples of geometrically similar manifolds they described are commensurable with each other. We show here that many elements in M_{g,k} admit non-commensurable geometrically similar Dehn fillings. The notion of geometric isolation for cusps in a hyperbolic 3-manifold was introduced by W. D. Neumann and A. W. Reid and studied by D. Calegary, who provided explanations for all the previously known examples of isolation phenomena. We show here that the cusps of any manifold M_{g,k} are geometrically isolated from each other. Apparently, isolation of cusps in our examples arises for different reasons from those described by Calegari. We also show that any element in M_{g,k} admits an infinite family of hyperbolic Dehn fillings inducing non-trivial deformations of the hyperbolic structure on the geodesic boundary.


title: Cyclic homology of $H$-unital (pro-) algebras, Lie algebra homology of matrices, and a paper of Hanlon's

abstract: We consider algebras over a field $k$ of characteristic zero. The article is concerned with the isomorphism of graded vectorspaces \[ H(\gl(A))\iso\wedge (HC(A)[-1]) \] between the Lie algebra homology of matrices and the free graded commutative algebra on the cyclic homology of the $k$-algebra $A$, shifted down one degree. For unital algebras this isomorphism is a classical result obtained by Loday and Quillen and independently by Tsygan. For $H$-unital algebras, it is known to hold too, as is that the proof follows from results of Hanlon's. However, to our knowledge, the proof is not immediate, and has not been published. In this paper we fill this gap in the literature by offering a detailed proof. Moreover we establish the isomorphism in the general setting of ($H$-unital) pro-algebras.


title: Analyticity and loss of derivatives

abstract: We prove local real analytic hypoellipticity for a sum of squares of complex vector fields studied by J.J. Kohn in a paper to appear in the Annals of Mathematics entitled "Hypoellipticity and loss of derivatives". The operator exhibits a loss of many derivatives but is nonetheless hypoelliptic, and, using L2 methods, we prove analytic hypoellipticity.


title: The Galaxies of Nonstandard Enlargements of Infinite and Transfinite Graphs: II

abstract: This report is an improvement of a prior report (Report 813). It sharpens the principal theorems (Theorems 4.2 and 11.2 of Report 813) while simplifying their proofs. There are also several minor changes involving clarifications and corrections of misprints. The Abstract of the prior report remains the same as follow: The galaxies of the nonstandard enlargements of connected, conventionally infinite graphs as well as of connected transfinite graphs are defined, analyzed, and illustrated by some examples. It is then shown that any such enlargement either has exactly one galaxy, its principal one, or it has infinitely many galaxies. In the latter case, the galaxies are partially ordered by their "closeness" to the principal galaxy. If an enlargement has a galaxy different from its principal galaxy, then it has a two-way infinite sequence of galaxies that are totally ordered according to that "closeness" property. There may be many such totally ordred sequences.


title: The Galaxies of Nonstandard Enlargements of Infinite and Transfinite grpahs of Higher Ranks: II

abstract: This report is an improvement of a prior report (Report 814). It sharpens the principal theorem (Theorem 5.1 of Report 814) and also simplifies its proof. There are also several minor changes involving clarifications and corrections of misprints. The prior abstract remins the same as follows: In a previous work, the galaxies of the nonstandard enlargements of connected, conventionally infinite and also of transfinite graphs of the first rank of transfiniteness were defined, examined, and illustrated by some examples. In this work it is shown how the results of the prior work extend to transfinite graphs of higher ranks. Among those results are following: Any such enlargement either has exactly one galaxy, its principal one, ot it has infinitely many such galaxies. In the latter case, the galaxies are partially ordered by their "closeness" to the principal galaxy. Also, certain sequences of galaxies whose members are totally ordered by that "closeness" property are identified.


title: Bordism Groups of Immersions and Classes Represented by Self-Intersections

abstract: We prove a geometrical version of Herbert's theorem by considering the self-intersection immersions of a self-transverse immersion up to bordism. This generalises Herbert's theorem to additional cohomology theories and gives a commutative diagram in the homotopy of Thom complexes. The proof uses Koschorke and Sanderson's operations and the fact that bordism of immersions gives a functor on the category of smooth manifolds and immersions.


title: Three osculating walkers

abstract: We consider three directed walkers on the square lattice, which move simultaneously at each tick of a clock and never cross. Their trajectories form a non-crossing configuration of walks. This configuration is said to be osculating if the walkers never share an edge, and vicious (or: non-intersecting) if they never meet. We give a closed form expression for the generating function of osculating configurations starting from prescribed points. This generating function turns out to be algebraic. We also relate the enumeration of osculating configurations with prescribed starting and ending points to the (better understood) enumeration of non-intersecting configurations. Our method is based on a step by step decomposition of osculating configurations, and on the solution of the functional equation provided by this decomposition.


title: An operator Arzel\`a-Ascoli theorem

abstract: We generalize the Arzel\`a-Ascoli theorem to the setting of matrix order unit spaces, extending the work of Antonescu-Christensen on unital C*-algebras. This gives an affirmative answer to a question of Antonescu and Christensen.


title: Braided Symmetric and Exterior Algebras

abstract: We introduce and study symmetric and exterior algebras in braided monoidal categories such as the category O for quantum groups. We relate our braided symmetric algebras and braided exterior algebas with their classical counterparts.


title: Conjugacy classes and finite $p$-groups

abstract: Let $G$ be a finite $p$-group, where $p$ is a prime number, and $a\in G$. Denote by $\Cl(a)=\{gag^{-1}\mid g\in G\}$ the conjugacy class of $a$ in $G$. Assume that $|\Cl(a)|=p^n$. Then $\Cl(a)\Cl(a^{-1})=\{xy\mid x\in \Cl(a), y\in \Cl(a^{-1})\}$ is the union of at least $n(p-1)+1$ distinct conjugacy classes of $G$.


title: The Monge-Amp\`ere operator and geodesics in the space of K\"ahler potentials

abstract: It is shown that geodesics in the space of K\"ahler potentials can be uniformly approximated by geodesics in the spaces of Bergman metrics. Two important tools in the proof are the Tian-Yau-Zelditch approximation theorem for K\"ahler potentials and the pluripotential theory of Bedford-Taylor, suitably adapted to K\"ahler manifolds.


title: Minimal submanifolds

abstract: In what follows we give a quick tour through the field of minimal submanifolds, starting at the definition and the classical results and ending up with current areas of research.


title: Analytic Hypoellipticity for a Class of Sums of Squares of Vector Fields with Non-Symplectic Characteristic Variety

abstract: The recent example of Hanges: $P = \partial_t^2 + t^2\Delta_x + \partial^2_{\theta(x)}$ in $R^3$ is analytic hypoelliptic in the sense of germs but not in the strong sense in any neighborhood of the origin. And its characteristic variety is non-symplectic. We give a purely $L^2,$ and hence quite flexible, proof of this result and generalizations, and link it to, and contrast it with, the celebrated Baouendi-Goulaouic operator. We point out that the results are consistent with the conjecture of Treves.


title: Determinations of Analogues of Gauss Sums and Other Trigonometric Sums

abstract: Explicit determinations of several classes of trigonometric sums are given. These sums can be viewed as analogues or generalizations of Gauss sums. In a previous paper, two of the present authors considered primarily sine sums associated with primitive odd characters. In this paper, we establish two general theorems involving both sines and cosines, with more attention given to cosine sums in the several examples that we provide.


title: Renormalizing Curvature Integrals on Poincare-Einstein Manifolds

abstract: After analyzing renormalization schemes on a Poincar\'e-Einstein manifold, we study the renormalized integrals of scalar Riemannian invariants. The behavior of the renormalized volume is well-known, and we show any scalar Riemannian invariant renormalizes similarly. We consider characteristic forms and their behavior under a variation of the Poincar\'e-Einstein structure, and obtain, from the renormalized integral of the Pfaffian, an extension of the Gauss-Bonnet theorem.


title: Bi-conformal vector fields and the local geometric characterization of conformally separable (double-twisted) pseudo-Riemannian manifolds

abstract: This is the first of two companion papers in which a thorough study of the normal form and the first integrability conditions arising from {\em bi-conformal vector fields} is presented. These new symmetry transformations were introduced in {\em Class. Quantum Grav.} \textbf{21}, 2153-2177 and some of their basic properties were addressed there. In our calculations a new affine connection ({\em bi-conformal connection}) arises quite naturally and this connection enables us to find a local characterization of {\em conformally separable} pseudo-Riemannian manifolds (also called double twisted products) in terms of the vanishing of a rank three tensor $T_{abc}$. Similar local characterizations are found for the most important particular cases such as (double) warped products, twisted products and conformally reducible spaces (this classification will be enlarged in the forthcoming second paper).We speculate with potential applications of the bi-conformal connection to the invariant characterization of other types of pseudo-Riemannian manifolds in which the metric tensor has a part conformal to a metric of lesser rank.


title: Affine curvature homogeneous 3-dimensional Lorentz Manifolds

abstract: We study a family of 3-dimensional Lorentz manifolds. Some members of the family are 0-curvature homogeneous, 1-affine curvature homogeneous, but not 1-curvature homogeneous. Some are 1-curvature homogeneous but not 2-curvature homogeneous. All are 0-modeled on indecomposible local symmetric spaces. Some of the members of the family are geodesically complete, others are not. All have vanishing scalar invariants.


title: Log-concavity and LC-positivity

abstract: A triangle $\{a(n,k)\}_{0\le k\le n}$ of nonnegative numbers is LC-positive if for each $r$, the sequence of polynomials $\sum_{k=r}^{n}a(n,k)q^k$ is $q$-log-concave. It is double LC-positive if both triangles $\{a(n,k)\}$ and $\{a(n,n-k)\}$ are LC-positive. We show that if $\{a(n,k)\}$ is LC-positive then the log-concavity of the sequence $\{x_k\}$ implies that of the sequence $\{z_n\}$ defined by $z_n=\sum_{k=0}^{n}a(n,k)x_k$, and if $\{a(n,k)\}$ is double LC-positive then the log-concavity of sequences $\{x_k\}$ and $\{y_k\}$ implies that of the sequence $\{z_n\}$ defined by $z_n=\sum_{k=0}^{n}a(n,k)x_ky_{n-k}$. Examples of double LC-positive triangles include the constant triangle and the Pascal triangle. We also give a generalization of a result of Liggett that is used to prove a conjecture of Pemantle on characteristics of negative dependence.


title: Moment polytopes for symplectic manifolds with monodromy

abstract: A natural way of generalising Hamiltonian toric manifolds is to permit the presence of generic isolated singularities for the moment map. For a class of such ``almost-toric 4-manifolds'' which admits a Hamiltonian $S^1$-action we show that one can associate a group of convex polygons that generalise the celebrated moment polytopes of Atiyah, Guillemin-Sternberg. As an application, we derive a Duistermaat-Heckman formula demonstrating a strong effect of the possible monodromy of the underlying integrable system.


title: A characterization of the infinitely divisible squared Gaussian processes

abstract: We show that, up to multiplication by constants, a Gaussian process has an infinitely divisible square if and only if its covariance is the Green function of a transient Markov process.


title: Lecture notes on generalized Heegaard splittings

abstract: These notes grew out of a lecture series given at RIMS in the summer of 2001. The lecture series was aimed at a broad audience that included many graduate students. Its purpose lay in familiarizing the audience with the basics of 3-manifold theory and introducing some topics of current research. The first portion of the lecture series was devoted to standard topics in the theory of 3-manifolds. The middle portion was devoted to a brief study of Heegaaard splittings and generalized Heegaard splittings. The latter portion touched on a brand new topic: fork complexes.


title: Lie bialgebras of generalized Witt type

abstract: In a paper by Michaelis a class of infinite-dimensional Lie bialgebras containing the Virasoro algebra was presented. This type of Lie bialgebras was classified by Ng and Taft. In this paper, all Lie bialgebra structures on the Lie algebras of generalized Witt type are classified. It is proved that, for any Lie algebra $W$ of generalized Witt type, all Lie bialgebras on $W$ are coboundary triangular Lie bialgebras. As a by-product, it is also proved that the first cohomology group $H^1(W,W \otimes W)$ is trivial.


title: The nonlinear membrane model: Variational derivation under the constraint "det$\nabla u\not=0$"

abstract: Acerbi, Buttazzo and Percivale gave a variational definition of the nonlinear string energy under the constraint "det$\nabla u>0$" (see [1]). In the same spirit, we obtain the nonlinear membrane energy under the simpler constraint "det$\nabla u\not=0$".


title: Capacite et inegalite de Faber-Krahn dans l'espace euclidien

abstract: In this paper, we define a new capacity which allows us to control the behaviour of the Dirichlet spectrum of a compact Riemannian manifold with boundary, with "small" subsets (which may intersect the boundary) removed. This result generalizes a classical result of Rauch and Taylor ("the crushed ice theorem"). In the second part, we show that the Dirichlet spectrum of a sequence of bounded Euclidean domains converges to the spectrum of a ball with the same volume, if the first eigenvalue of these domains converges to the first eigenvalue of a ball.


title: Model independent pre-processing of X-ray powder diffraction profiles

abstract: Precise knowledge of X-ray diffraction profile shape is crucial in the investigation of the properties of matter in crystals powder. Line-broadening analysis is a pre-processing step in most of the full powder pattern fitting softwares. Final result of line-broadening analysis strongly depends on preliminary three steps: Noise filtering, removal of background signal and peak fitting. In this work a new model independent procedure for two of the aforementioned steps (background suppression and peak fitting) is presented. The former is dealt with by using morphological mathematics, while the latter relies on the Hankel Lanczos Singular Value Decomposition technique. Real X-ray powder diffraction (XRPD) intensity profiles of Ceria samples are used to test the performance of the proposed procedure. Results show the robustness of this approach and its capability of efficiently improving the disentangling of instrumental broadening. These features make the proposed approach an interesting and user-friendly tool for the pre-processing of XRPD data.


title: An algebraic problem of finding four numbers given the products of each of the numbers with the sum of the other three

abstract: This is a translation from the Latin of Euler's "Problema algebraicum de inveniendis quatuor numeris ex datis totidem productis uniuscuiusque horum numerorum in summas trium reliquorum", Opera Postuma 1 (1862), 282-287, reprinted in Leonhardi Euleri Opera omnia I.6. This paper is E808 in the E808 in the Enestr\"om index. We are given the four products $a=v(x+y+z), b=x(v+y+z), c=y(v+x+z), d=z(v+x+y)$. We want to determine $v,x,y,z$ from this data. Euler wants to do this symmetrically: instead of successively eliminating variables and finding out, say, z in terms of a,b,c and then finding y, and then finding x, and then finding v, Euler introduces a new variable that has the same relation with each of the unknowns v,x,y,z and works with that. Euler finds that there will be up to eight choices of v,x,y,z for each choice of a,b,c,d.


title: Pincement spectral en courbure de Ricci positive

abstract: We show that for n dimensional manifolds whose the Ricci curvature is greater or equal to n-1 and for k in {1,...,n+1}, the k-th eigenvalue for the Laplacian is close to n if and only if the manifold contains a subset which is Gromov-Hausdorff close to the unit sphere of dimension k-1. For k=n+1, this gives a new proof of results of Colding and Petersen which show that the (n+1)-th eigenvalue is close to n if and only if the manifold is Gromov-Hausdorff close to the n-sphere.


title: Stabilite de Faber-Krahn en courbure de Ricci positive

abstract: P. Berard and D. Meyer proved a Faber-Krahn inequality for domains in compact manifolds with positive Ricci curvature. We prove stability results for this inequality.


title: The length of closed geodesics on random Riemann Surfaces

abstract: Short geodesics are important in the study of the geometry and the spectra of Riemann surfaces. Bers' theorem gives a global bound on the length of the first $3g-3$ geodesics. We use the construction of Brooks and Makover of random Riemann surfaces to investigate the distribution of short ($< \log (g)$) geodesics on a random Riemann surfaces. We calculate the expected value of the shortest geodesic, and show that if one orders prime non-intersecting geodesics by length $\gamma_1\le \gamma_2\le ... \le \gamma_i ,...$, then for fixed $k$, if one allows the genus to go to infinity, the length of $\gamma_{k}$ is independent of the genus.


title: Thompson-like characterization of the solvable radical

abstract: We prove that the solvable radical of a finite group G coincides with the set of elements y having the following property: for any x in G the subgroup of G generated by x and y is solvable. We present analogues of this result for finite dimensional Lie algebras and some classes of infinite groups. We also consider a similar problem for pairs of elements.


title: On the Hodge Filtration of Hodge Modules

abstract: We give explicit formulas for the Hodge filtration on mixed Hodge modules associated with certain hypersurfaces.


title: Mixed multiplicities of ideals versus mixed volumes of polytopes

abstract: The main results of this paper interpret mixed volumes of lattice polytopes as mixed multiplicities of ideals and mixed multiplicities of ideals as Samuel's multiplicities. In particular, we can give a purely algebraic proof of Bernstein's theorem which asserts that the number of common zeros of a system of Laurent polynomial equations in the torus is bounded above by the mixed volume of their Newton polytopes.


title: Composition Operators on the Dirichlet Space and Related Problems

abstract: In this paper we investigate the following problem: when a bounded analytic function $\phi$ on the unit disk $\mathbb{D}$, fixing 0, is such that $\{\phi^n : n = 0, 1, 2, . . . \}$ is orthogonal in $\mathbb{D}$?, and consider the problem of characterizing the univalent, full self-maps of $\mathbb{D}$ in terms of the norm of the composition operator induced. The first problem is analogous to a celebrated question asked by W. Rudin on the Hardy space setting that was answered recently ([3] and [15]). The second problem is analogous to a problem investigated by J. Shapiro in [14] about characterization of inner functions in the setting of $H^2$.


title: Genus two Veech surfaces arising from general quadratic differentials

abstract: We study Veech surfaces of genus 2 arising from quadratic differentials that are not squares of abelian differentials. We prove that all such surfaces of type (2,2) and (2,1,1) are arithmetic. In (1,1,1,1) case, we reduce the question to abelian differentials of type (2,2) on hyperelliptic genus 3 surfaces with singularities at Weierstrass points, and we give an example of a non-arithmetic Veech surface.


title: Integral affine structures on spheres III: complete intersections

abstract: We extend our model for affine structures on toric Calabi-Yau hypersurfaces math.AG/0205321 to the case of complete intersections.


title: La singularit\'{e} de O'Grady

abstract: Let M be the moduli space of semistable sheaves with Mukai vector 2v on an abelian or K3 surface where v is primitive such that <v,v>=2. We show that the blow-up of the reduced singular locus of M provides a symplectic resolution of singularities. This gives a direct description of O'Grady's resolutions of M\_{K3}(2,0,4) and M\_{Ab}(2,0,2).


title: On sufficient conditions for the total positivity and for the multiple positivity of matrices

abstract: The following theorem is proved: Suppose $M = (a_{i,j})$ be a $k \times k$ matrix with positive entries and $a_{i,j}a_{i+1,j+1} > 4\cos ^2 \frac{\pi}{k+1} a_{i,j+1}a_{i+1,j} \quad (1 \leq i \leq k-1, 1 \leq j \leq k-1).$ Then $\det M > 0 .$ The constant $4\cos ^2 \frac{\pi}{k+1}$ in this Theorem is sharp. A few other results concerning totally positive and multiply positive matrices are obtained. Keywords: Multiply positive matrix; Totally positive matrix; Strictly totally positive matrix; Toeplitz matrix; Hankel matrix; P\'olya frequency sequence.


title: Some Twisted Results

abstract: The Drinfeld twist for the opposite quasi-Hopf algebra is determined and is shown to be related to the (second) Drinfeld twist. The twisted Drinfeld twist is investigated. In the quasi-triangular case it is shown that the Drinfeld u operator arises from the equivalence of the opposite quasi-Hopf algebra to the quasi-Hopf algebra induced by twisting with the R-matrix. The Altschuler-Coste u operator arises in a similar way and is shown to be closely related to the Drinfeld u operator. The quasi-cocycle condition is introduced, and is shown to play a central role in the uniqueness of twisted structures on quasi-Hopf algebras. A generalisation of the dynamical quantum Yang-Baxter equation, called the quasi-dynamical quantum Yang-Baxter equation is introduced.


title: On contact p-spheres

abstract: We study invariant contact p-spheres on principal circle-bundles and solve the corresponding existence problem in dimension 3. Moreover, we show that contact p-spheres can only exist on (4n-1)-dimensional manifolds and we construct examples of contact p-spheres on such manifolds. We also consider relations between tautness and roundness, a regularity property concerning the Reeb vector fields of the contact forms in a contact p-sphere.


title: Characterizing the structure of A when the ratio |2A|/|A| is bounded by 3+epsilon

abstract: Let N be the set all of non-negative integers, let A be a finite subset of N, and let (2A) be the set of all numbers of form a+b for each a and b in A. The arithmetic structure of A was accurately characterized by Freiman when (i) |2A|<3|A|-3, (ii) |2A|=3|A|-3, or (iii) |2A|=3|A|-2. It is also suggested by Freiman that for characterizing the arithmetic structure of A when |2A|>3|A|-2, analytic methods need to be used. However, the interesting and more general results of Freiman, which use analytic methods, no longer give the arithmetic structure of A as precise as the results mentioned above. In this paper we characterize, with the help of nonstandard analysis, the arithmetic structure of A along the same lines as Freiman's results mentioned above when |2A|=3|A|-3+b where b is positive but not too large. Precisely, we prove that there is a positive real number epsilon and a natural number K such that if |A|>K and |2A|=3|A|-3+b for b between 0 and epsilon times |A|, then A is either a subset of an arithmetic progression of length at most 2|A|-1+2b or a subset of a bi-arithmetic progression of length at most |A|+b. The union of two arithmetic progressions I and J of the same difference d is called a bi-arithmetic progression if I+I, I+J, and J+J are pairwise disjoint.


title: A piece-wise affine contracting map with positive entropy

abstract: We construct the simplest chaotic system with a two-point attractor.


title: Integrality of Gopakumar-Vafa Invariants of Toric Calabi-Yau Threefolds

abstract: The Gopakumar-Vafa invariants are numbers defined as certain linear combinations of the Gromov-Witten invariants. We prove that the GV invariants of a toric Calabi-Yau threefold are integers and that the invariants for high genera vanish. The proof of the integrality is based on elementary number theory and that of the vanishing uses the operator formalism and the exponential formula.


title: Actions of SL(n,Z) on homology spheres

abstract: Any continuous action of SL(n,Z), where n > 2, on a r-dimensional mod 2 homology sphere factors through a finite group action if r < n - 1. In particular, any continuous action of SL(n+2,Z) on the n-dimensional sphere factors through a finite group action.


title: On the absolutely continuous spectrum in a model of irreversible quantum graph

abstract: A family $A_\alpha$ of differential operators depending on a real parameter $\alpha\ge 0$ is considered. This family was suggested by Smilansky as a model of an irreversible quantum system. We find the absolutely continuous spectrum $\sigma_{a.c.}$ of the operator $A_\alpha$ and its multiplicity for all values of the parameter. The spectrum of $A_0$ is purely a.c. and admits an explicit description. It turns out that for $\alpha<\sqrt 2$ one has $\sigma_{a.c.}(A_\alpha)= \sigma_{a.c.}(A_0)$, including the multiplicity. For $\alpha\ge\sqrt2$ an additional branch of absolutely continuous spectrum arises, its source is an auxiliary Jacobi matrix which is related to the operator $A_\alpha$. This birth of an extra-branch of a.c. spectrum is the exact mathematical expression of the effect which was interpreted by Smilansky as irreversibility.


title: Growth of relatively hyperbolic groups

abstract: We show that a relatively hyperbolic group either is virtually cyclic or has uniform exponential growth.


title: Integrable linear equations and the Riemann-Schottky problem

abstract: We prove that an indecomposable principally polarized abelian variety $X$ is the Jacobain of a curve if and only if there exist vectors $U\neq 0,V$ such that the roots $x_i(y)$ of the theta-functional equation $\theta(Ux+Vy+Z)=0$ satisfy the equations of motion of the {\it formal infinite-dimensional Calogero-Moser system}


title: A note on quotients of word hyperbolic groups with Property (T)

abstract: Every discrete group with Kazhdan's Property (T) is a quotient of a torsion-free, word hyperbolic group with Property (T).


title: Quadratic Harnesses, q-commutations, and orthogonal martingale polynomials

abstract: We introduce the quadratic harness condition and show that integrable quadratic harnesses have orthogonal martingale polynomials with a three step recurrence that satisfies a q-commutation relation. This implies that quadratic harnesses are essentially determined uniquely by five numerical constants. Explicit recurrences for the orthogonal martingale polynomials are derived in several cases of interest.


title: The Eulerian Distribution on Involutions is Indeed Unimodal

abstract: Let I_{n,k} (resp. J_{n,k}) be the number of involutions (resp. fixed-point free involutions) of {1,...,n} with k descents. Motivated by Brenti's conjecture which states that the sequence I_{n,0}, I_{n,1},..., I_{n,n-1} is log-concave, we prove that the two sequences I_{n,k} and J_{2n,k} are unimodal in k, for all n. Furthermore, we conjecture that there are nonnegative integers a_{n,k} such that $$ \sum_{k=0}^{n-1}I_{n,k}t^k=\sum_{k=0}^{\lfloor (n-1)/2\rfloor}a_{n,k}t^{k}(1+t)^{n-2k-1}. $$ This statement is stronger than the unimodality of I_{n,k} but is also interesting in its own right.


title: Model theory without choice: Categoricity

abstract: We prove Los conjecture = Morley theorem in ZF, with the same characterization (of first order countable theories categorical in aleph_alpha for some (equivalently for every) ordinal alpha>0. Another central result here is, in this context: the number of models of a countable first order T of cardinality aleph_alpha is either >=|alpha| for every aleph_\alpha or it has a small upper bound (close to beth_2).


title: Strongly dependent theories

abstract: We further investigate the class of models of a strongly dependent (first order complete) theory T, continuing math.LO/0406440. If |A|+|T|<= mu, I subseteq C, |I| >=beth_{|T|^+}(mu) then some J subseteq I of cardinality mu^+ is an indiscernible sequence over A .


title: On Crawley Modules

abstract: This continues recent work in a paper by Corner, Gobel and Goldsmith. A particular question was left open: Is it possible to carry over the results concerning the undecidability of torsion--free Crawley groups to modules over the ring of p-adic integers? We will confirm this and also strengthen one of the older results in by replacing the hypothesis of diamondsuit by CH.


title: Ultrafilters and partial products of infinite cyclic groups

abstract: We consider, for infinite cardinals kappa and alpha <= kappa^+, the group Pi(kappa,< alpha) of sequences of integers, of length kappa, with non-zero entries in fewer than alpha positions. Our main result tells when Pi(kappa,< alpha) can be embedded in Pi(lambda,< beta). The proof involves some set-theoretic results, one about familes of finite sets and one about families of ultrafilters.


title: More on regular reduced products

abstract: The authors show, by means of a finitary version square^{fin}_{lambda,D} of the combinatorial principle square^{b^*}_{lambda}, the consistency of the failure, relative to the consistency of supercompact cardinals, of the following: for all regular filters D on a cardinal lambda, if M_i and N_i are elementarily equivalent models of a language of size <= lambda, then the second player has a winning strategy in the Ehrenfeucht-Fraisse game of length lambda^+ on prod_i M_i/D and prod_i N_i/D. If in addition 2^{lambda}= lambda^+ and i<lambda implies |M_i|+|N_i| <= lambda^+ this means that the ultrapowers are isomorphic.


title: Consistency of "the ideal of null restricted to some A is kappa-complete not kappa^+-complete, kappa weakly inaccessible and cov(meagre)=aleph_1"

abstract: In this note we answer the following question of Grinblat: Is it consistent that for some set X, cov(NULL restriction X)=lambda is a weakly inaccessible cardinal (so X not null of course) while cov(meagre) is small, say it is aleph_1.


title: Singular symplectic moduli spaces

abstract: Moduli spaces of semistable sheaves on a K3 or abelian surface with respect to a general ample divisor are shown to be locally factorial, with the exception of symmetric products of a K3 or abelian surface and the class of moduli spaces found by O'Grady. Consequently, since singular moduli space that do not belong to these exceptional cases have singularities in codimension $\geq4$ they do no admit projective symplectic resolutions.


title: Elie Cartan's geometrical vision or how to avoid expression swell

abstract: The aim of the paper is to demonstrate the superiority of Cartan's method over direct methods based on differential elimination for handling otherwise intractable equivalence problems. In this sens, using our implementation of Cartan's method, we establish two new equivalence results. Weestablish when a system of second order ODE's is equivalent to flat system (second derivations are zero), and when a system of holomorphic PDE's with two independent variables and one dependent variables is flat. We consider the problem of finding transformation that brings a given equation to the target one. We shall see that this problem becomes algebraic when the symmetry pseudogroup of the target equation is zerodimensional. We avoid the swelling of the expressions, by using non-commutative derivations adapted to the problem.


title: Slope filtrations revisited

abstract: We give a "second generation" exposition of the slope filtration theorem for modules with Frobenius action over the Robba ring, providing a number of simplifications in the arguments. Some of these are inspired by parallel work of Hartl and Pink, which points out some analogies with the formalism of stable vector bundles.


title: Projection representable relations on Menger $(2,n)$-semigroups

abstract: In this paper relations of non-empty intersection, inclusion end equality of domains of functions for $(2,n)$-semigroups of partial $n$-place functions are investigated.


title: On the homology of the space of knots

abstract: Consider the space of `long knots' in R^n, K_{n,1}. This is the space of knots as studied by V. Vassiliev. Based on previous work of the authors, it follows that the rational homology of K_{3,1} is free Gerstenhaber-Poisson algebra. A partial description of a basis is given here. In addition, the mod-p homology of this space is a `free, restricted Gerstenhaber-Poisson algebra'. Recursive application of this theorem allows us to deduce that there is p-torsion of all orders in the integral homology of K_{3,1}. This leads to some natural questions about the homotopy type of the space of long knots in R^n for n>3, as well as consequences for the space of smooth embeddings of S^1 in S^3.


title: Quasi-isometries of rank one S-arithmetic lattices

abstract: We complete the quasi-isometric classification of irreducible lattices in semisimple Lie groups over nondiscrete locally compact fields of characteristic zero by showing that any quasi-isometry of a rank one S-arithmetic lattice in a semisimple Lie group over nondiscrete locally compact fields of characteristic zero is a finite distance in the sup-norm from a commensurator.


title: Regular projectively Anosov flows on three-dimensional manifolds

abstract: We give the complete classification of regular projectively Anosov flows on closed three-dimensional manifolds. More precisely, we show that such a flow must be either an Anosov flow or decomposed into a finite union of $T^2 \times I$-models. We also apply our method to rigidity problems of some group actions.


title: About Stability of Irreducibility for Germs of Holomorphic Functions

abstract: This survey is about irreducibility for germs of a holomorphic functions $f$. I will show that when the dimension of the domain $U$ of this holomorphic function $f$ is greater than 2, the irreducibility of germs are not necessary to be stable. That means, if the germ of $f$ at point $p$ is irreducible in the stalk of holomorphic functions at $p$, this does NOT means there exists an open neighborhood $V\subset U$ of this point $p$, such that for any point $q\in V$, the germ of $f$ at $q$ is irreducible at the stalk of holomorphic functions at $q$


title: Time-global smoothing estimates for a class of dispersive equations with constant coefficients

abstract: This paper has been withdrawn by the author due to an error.


title: Q-Gorenstein deformations of non-normal surfaces

abstract: Revised Version. An example of a locally smoothable stable surface that does not have a global smoothing has been added.


title: On the residual finiteness of outer automorphisms of relatively hyperbolic groups

abstract: We show that every virtually torsion-free subgroup of the outer automorphism group of a conjugacy separable hyperbolic group is residually finite. As a result, we are able to prove that the group of outer automorphisms of every finitely generated Fuchsian group and of every free-by-finite group is resudually finite. We also generalize the main result for relatively hyperbolic groups.


title: Lusztig's $a$-function in type $B_n$ in the asymptotic case

abstract: In this paper, we study Lusztig's $a$-function for a Coxeter group with unequal parameters. We determine that function explicitly in the ``asymptotic case'' in type $B_n$, where the left cells have been determined in terms of a generalized Robinson--Schensted correspondence by Bonnaf\'e and the second author. As a consequence, we can also show that all of Lusztig's conjectural properties (P1)--(P15) hold in this case, except possibly (P9), (P10) and (P15). Our methods rely on the ``leading matrix coefficients'' introduced by the first author. We also interprete the ideal structure defined by the two-sided cells in the associated Iwahori--Hecke algebra $\bH_n$ in terms of the Dipper--james--Murphy basis of $\bH_n$.


title: Inverse Limits and Function Algebras

abstract: Assuming Jensen's principle diamond, there is a compact Hausdorff space X which is hereditarily Lindelof, hereditarily separable, and connected, such that no closed subspace of X is both perfect and totally disconnected. The Proper Forcing Axiom implies that there is no such space. The diamond example also fails to satisfy the CSWP (the complex version of the Stone-Weierstrass Theorem). This space cannot contain the two earlier examples of failure of the CSWP, which were totally disconnected -- specifically, the Cantor set (W. Rudin) and beta N (Hoffman and Singer).


title: On reduction maps and support problem in K-theory and abelian varieties

abstract: In this paper we consider reduction maps $r_{v} : K_{2n+1}(F)/C_{F} \to K_{2n+1}(\kappa_{v})_{l}$ where $F$ is a number field and $C_{F}$ denotes the subgroup of $K_{2n+1}(F)$ generated by $l$-parts (for all primes $l$) of kernels of the Dwyer-Friedlander map and maps $r_{v} : A(F)\to A_{v}(\kappa _{v})_{l}$ where $A(F)$ is an abelian variety over a number field. We prove a generalization of the support problem of Schinzel for $K$-groups of number fields: Let $P_{1}, ..., P_{s}, Q_{1}, ..., Q_{s}\in K_{2n+1}(F)/C_{F}$ be the points of infinite order. Assume that for almost every prime $l$ the following condition holds: for every set of positive integers $m_{1}, ..., m_{s}$ and for almost every prime $v$ $$m_{1} r_{v}(P_{1})+... + m_{s} r_{v}(P_{s})=0 \mathrm{implies} m_{1} r_{v}(Q_{1})+... + m_{s}r_{v}(Q_{s})= 0. $$ Then there exist $\alpha_{i}$, $\beta_{i}\in \mathbb{Z} \setminus \{0 \}$ such that $\alpha_{i} P_{i}+\beta_{i} Q_{i}=0$ in $B(F)$ for every $i \in \{1, ... s\}$. We also get an analogues result for abelian varieties over number fields. The main technical result of the paper says that if $P_{1}, ..., P_{s}$ are nontorsion elements of $K_{2n+1}(F)/C_{F}$, which are linearly independent over $\mathbb{Z}$, then for any prime $l$, and for any set $\{k_{1},... ,k_{s}\}\subset \mathbb{N} \cup \{0\}$, there are infinitely many primes $v$, such that the image of the point $P_{t}$ via the map $r_{v}$ has order equal $l^{k_{t}}$ for every $t \in \{1, ..., s \}$.