title: Classification of flag-transitive Steiner quadruple systems

abstract: A Steiner quadruple system of order v is a 3-(v,4,1) design, and will be denoted SQS(v). Using the classification of finite 2-transitive permutation groups all SQS(v) with a flag-transitive automorphism group are completely classified, thus solving the "still open and longstanding problem of classifying all flag-transitive 3-(v,k,1) designs" for the smallest value of k. Moreover, a generalization of a result of H. Lueneburg (1965, Math. Z. 89, 82-90) is achieved.


title: Measure theoretic laws for lim sup sets

abstract: Given a compact metric space (X,d) equipped with a non-atomic, probability measure m and a real, positive decreasing function p we consider a `natural' class of limsup subsets La(p) of X. The classical limsup sets of `well approximable' numbers in the theory of metric Diophantine approximation fall within this class. We show that m(La(p))>0 under a `global ubiquity' hypothesis and the divergence of a certain m--volume sum. In fact, under a `local ubiquity' hypothesis we show that La(p) has full measure; i.e. m(La(p)) =1 . This is the analogue of the divergent part of the classical Khintchine-Groshev theorem in number theory. Moreover, if the 'local ubiquity' hypothesis is satisfied and a certain f-volume sum diverges then we are able to show that the Hausdorff f--measure of La(p) is infinite. A simple consequence of this is a lower bound for the Hausdorff dimension of La(p) and various results concerning the dimension and measure of related `exact order' sets. Essentially, the notion of `local ubiquity' unexpectedly unifies `divergent' type results for La(p) with respect to the natural measure m and general Hausdorff measures. Applications of the general framework include those from number theory, Kleinian groups and rational maps. Even for the classical limsup sets of `well approximable' numbers, the framework strengthens the classical Hausdorff measure result of Jarnik and opens up the Duffin-Schaeffer conjecture for Hausdorff measures.


title: On $G$--equivariant modular categories

abstract: In this paper, we study $G$-equivariant tensor categories for a finite group $G$. These categories were introduced by Turaev under the name of $G$-crossed categories; the motivating example of such a category is the category of twisted modules over a vertex operator algebra $V$ with a finite group of automorphisms $G$. We discuss the notion of "orbifold quotient" of such a category (in the example above, this quotient is the category of modules over the subalgebra of invariants $V^G$). We introduce an extended Verlinde algebra for a $G$-equivariant tensor category and give a simple description of the Verlinde algebra of the orbifold category in terms of the extended Verlinde algebra of the original category. We define an analog of $s,t$ matrices for the extended Verlinde algebra and show that if $s$ is invertible, then these matrices define an action of $SL_2(Z)$ on the extended Verlinde algebra. We also show that the $s$-matrix interchanges tensor product with a much simpler product ("convolution product"), which can be used to compute the tensor product multiplicities.


title: Noncyclic covers of knot complements

abstract: Hempel has shown that the fundamental groups of knot complements are residually finite. This implies that every nontrivial knot must have a finite-sheeted, noncyclic cover. We give an explicit bound, $\Phi (c)$, such that if $K$ is a nontrivial knot in the three-sphere with a diagram with $c$ crossings and a particularly simple JSJ decomposition then the complement of $K$ has a finite-sheeted, noncyclic cover with at most $\Phi (c)$ sheets.


title: A Kurosh type theorem for type II_1 factors

abstract: We prove a Kurosh type theorem for free-product type II_1 factors. In particular, if M = LF_2 \otimes R, then the free-product type II_1 factors M*...*M are all prime and pairwise non-isomorphic. This paper is a continuation of [N. Ozawa, Solid von Neumann algebras] and [N. Ozawa and S. Popa, Some prime factorization results for type II_1 factors].


title: A note on non-amenability of B(\ell_p) for p=1,2

abstract: This is an expository note on non-amenabilty of the Banach algebra B(\ell_p) for p=1,2. These were proved respectively by Connes (p=2) and Read (p=1) via very different methods. We give a single proof which reproves both.


title: Constructing Associative 3-folds by Evolution Equations

abstract: This paper gives two methods for constructing associative 3-folds in R^7, based around the fundamental idea of evolution equations, and uses these methods to construct examples of these geometric objects. The paper is a generalisation of the work by Joyce in math.DG/0008021, math.DG/0008155, math.DG/0010036 and math.DG/0012060 on special Lagrangian 3-folds in C^3. The two methods described involve the use of an affine evolution equation with affine evolution data and the area of ruled submanifolds. We first give a derivation of an evolution equation for associative 3-folds from which we derive an affine evolution equation using affine evolution data. We then use this on an example of such data to construct a 14-dimensional family of associative 3-folds. One of the main result of the paper is then an explicit solution of the system of differential equations generated in a particular case to give a 12-dimensional family of associative 3-folds. We also find that there is a straightforward condition that ensures that the associative 3-folds constructed are closed and diffeomorphic to S^1xR^2, rather than R^3. In the final section we define ruled associative 3-folds and derive an evolution equation for them. This then allows us to characterise a family of ruled associative 3-folds using two real analytic maps that must satisfy two partial differential equations. We finish by giving a means of constructing ruled associative 3-folds M from r-oriented two-sided associative cones M_0 such that M is asymptotically conical to M_0 with order O(r^{-1}).


title: Anticyclotomic Iwasawa theory of CM elliptic curves II

abstract: We study the Iwasawa theory of a CM elliptic curve $E$ in the anticyclotomic $\mathbf{Z}_p$-extension $D_\infty$ of the CM field $K$, where $p$ is a prime of good, supersingular reduction for $E$. Our main result yields an asymptotic formula for the corank of the $p$-primary Selmer group of $E$ along the extension $D_\infty/K$.


title: 2-Ruled Calibrated 4-folds in R^7 and R^8

abstract: In this paper we introduce the area of 2-ruled 4-folds in R^n (n=7 or 8), that is, submanifolds M of R^n that admit a fibration over some 2-fold Sigma such that each fibre is an affine 2-plane in R^n. This is motivated by the paper math.DG/0012060 by Joyce on ruled special Lagrangian 3-folds in C^3 and the work of the author in math.DG/0401123 on ruled associative 3-folds in R^7. We say that a 2-ruled 4-fold M is r-framed if we are given an oriented basis for each fibre in a smooth manner, and in such circumstances we may write M in terms of orthogonal smooth maps phi_1,phi_2:Sigma-->S^(n-1) and a smooth map psi:Sigma-->R^n. We focus on 2-ruled Cayley 4-folds since coassociative and special Lagrangian 4-folds can be considered as special cases. The main result is on non-planar, r-framed, 2-ruled Cayley 4-folds in R^8, which characterises the Cayley condition in terms of a coupled system of nonlinear, first-order, partial differential equations that phi_1 and phi_2 satisfy, and another such equation on psi which is linear in psi. We deduce that, for a fixed non-planar, r-framed, 2-ruled Cayley cone M_0, the space of r-framed 2-ruled Cayley 4-folds M which have asymptotic cone M_0 has the structure of a vector space. We give a means of constructing 2-ruled Cayley 4-folds M starting from a 2-ruled Cayley cone M_0, satisfying a certain condition, using holomorphic vector fields such that M_0 is the asymptotic cone of M. We use this to construct explicit examples of U(1)-invariant 2-ruled Cayley 4-folds asymptotic to a U(1)^3-invariant 2-ruled Cayley cone. Examples are also given based on ruled calibrated 3-folds in C^3 and R^7 and complex cones in C^4.


title: Three Lectures on the Riemann Zeta-Function

abstract: These expository lectures focus on the distribution of zeros of the Riemann zeta function. The topics include the prime number theorem, the Riemann hypothesis, mean value theorems, and random matrix models.


title: An analogue of the Fuglede formula in integral geometry on matrix spaces

abstract: The well known formula of B. Fuglede expresses the mean value of the Radon k-plane transform on $R^n$ as a Riesz potential. We extend this formula to the space of $n \times m$ real matrices and show that the corresponding matrix k-plane transform $f \to \hat f$ is injective if and only if $n-k \ge m$. Different inversion formulas for this transform are obtained. We assume that $f \in L^p$ or $f$ is a continuous function satisfying certain "minimal" conditions at infinity.


title: Computing solutions of the modified Bessel differential equation for imaginary orders and positive arguments

abstract: We describe a variety of methods to compute the functions $K_{ia}(x)$, $L_{ia}(x)$ and their derivatives for real $a$ and positive $x$. These functions are numerically satisfactory independent solutions of the differential equation $x^2 w'' +x w' +(a^2 -x^2)w=0$. In an accompanying paper (Algorithm xxx: Modified Bessel functions of imaginary order and positive argument) we describe the implementation of these methods in Fortran 77 codes.


title: Remarks on the blow-up for the Schr\"odinger equation with critical mass on a plane domain

abstract: In this paper we concentrate on the analysis of the critical mass blowing-up solutions for the cubic focusing Schr\"odinger equation with Dirichlet boundary conditions, posed on a plane domain. We bound the blow-up rate from below, for bounded and unbounded domains. If the blow-up occurs on the boundary, the blow-up rate is proved to grow faster than $(T-t)^{-1}$, the expected one. Moreover, we show that blow-up cannot occur on the boundary, under certain geometric conditions on the domain.


title: Twisted K theory invariants

abstract: An invariant for twisted K theory classes on a 3-manifold is introduced. The invariant is then applied to the twisted equivariant classes arising from the supersymmetric Wess-Zumino-Witten model based on the group SU(2). It is shown that the classes defined by different highest weight representations of the loop group LSU(2) are inequivalent. The results are compatible with Freed-Hopkins-Teleman identification of twisted equivariant K theory as the Verlinde algebra.


title: Integral Representations for Computing Real Parabolic Cylinder Functions

abstract: Integral representations are derived for the parabolic cylinder functions $U(a,x)$, $V(a,x)$ and $W(a,x)$ and their derivatives. The new integrals will be used in numerical algorithms based on quadrature. They follow from contour integrals in the complex plane, by using methods from asymptotic analysis (saddle point and steepest descent methods), and are stable starting points for evaluating the functions $U(a,x)$, $V(a,x)$ and $W(a,x)$ and their derivatives by quadrature rules. In particular, the new representations can be used for large parameter cases. Relations of the integral representations with uniform asymptotic expansions are also given. The algorithms will be given in a future paper.


title: Flasque model structures for simplicial presheaves

abstract: By now it is well known that there are two useful (objectwise or local) families of model structures on presheaves: the injective and projective. In fact, there is at least one more: the flasque. For some purposes, both the projective and the injective structure run into technical and annoying (but surmountable) difficulties for different reasons. The flasque model structure, which possesses a combination of the convenient properties of both structures, sometimes avoids these difficulties.


title: Minimal cubings

abstract: We combine ideas of Scott and Swarup on good position for almost invariant subsets of a group with ideas of Sageev on constructing cubings from such sets. We construct cubings which are more canonical than in Sageev's original construction. We also show that almost invariant sets can be chosen to be in very good position.


title: Between Maharam's and von Neumann's problems

abstract: If I is a suitably definable sigma-ideal on the real line and the factor algebra of Borel sets modulo I is weakly distributive then the algebra carries a Maharam submeasure.


title: The parity of the Maslov index and the even cobordism category

abstract: We give a formula for the parity of the Maslov index of a triple of Lagrangian subspaces of a skew symmetric bilinear form over the real numbers. We define an index two subcategory (the even subcategory) of a 3-dimensional cobordism category. The objects of the category are surfaces are equipped with Lagrangian subspaces of their real first homology. This generalizes a result of the first author where surfaces are equipped with Lagrangian subspaces of their rational first homology.


title: Minimal surfaces in pseudohermitian geometry

abstract: We consider surfaces immersed in three-dimensional pseudohermitian manifolds. We define the notion of (p-)mean curvature and of the associated (p-)minimal surfaces, extending some concepts previously given for the (flat) Heisenberg group. We interpret the p-mean curvature not only as the tangential sublaplacian of a defining function, but also as the curvature of a characteristic curve, and as a quantity in terms of calibration geometry. As a differential equation, the p-minimal surface equation is degenerate (hyperbolic and elliptic). To analyze the singular set, we formulate some {\em extension} theorems, which describe how the characteristic curves meet the singular set. This allows us to classify the entire solutions to this equation and to solve a Bernstein-type problem (for graphs over the $xy$-plane) in the Heisenberg group $H_1$. In $H_{1}$, identified with the Euclidean space $R^{3}$, the p-minimal surfaces are classical ruled surfaces with the rulings generated by Legendrian lines. We also prove a uniqueness theorem for the Dirichlet problem under a condition on the size of the singular set in two dimensions, and generalize to higher dimensions without any size control condition. We also show that there are no closed, connected, $C^{2}$ smoothly immersed constant p-mean curvature or p-minimal surfaces of genus greater than one in the standard $S^{3}.$ This fact continues to hold when $S^{3}$ is replaced by a general spherical pseudohermitian 3-manifold.


title: Discrete Miura Opers and Solutions of the Bethe Ansatz Equations

abstract: Solutions of the Bethe ansatz equations associated to the XXX model of a simple Lie algebra come in families called the populations. We prove that a population is isomorphic to the flag variety of the Langlands dual Lie algebra. The proof is based on the correspondence between the solutions of the Bethe ansatz equations and special difference operators which we call the discrete Miura opers. The notion of a discrete Miura oper is one of the main results of the paper. For a discrete Miura oper D, associated to a point of a population, we show that all solutions of the difference equation DY=0 are rational functions, and the solutions can be written explicitly in terms of points composing the population.


title: A Unique Decomposition Result for HT Factors with Torsion Free Core

abstract: We prove that II$_1$ factors $M$ have a unique (up to unitary conjugacy) cross-product type decomposition around ``core subfactors'' $N \subset M$ satisfying the property HT and a certain ``torsion freeness'' condition. In particular, this shows that isomorphism of factors of the form $L_\alpha(\Bbb Z^2) \rtimes \Gamma$, for torsion free, non-amenable subgroups $\Gamma\subset SL(2, \Bbb Z)$ and $\alpha = e^{2\pi i t}$, $t \not\in \Bbb Q$, implies isomorphism of the corresponding groups $\Gamma$.


title: On II$_1$ factors arising from 2-cocycles of w-rigid groups

abstract: We consider $\text{\rm II}_1$ factors $L_\mu(G)$ arising from 2-cocyles $\mu \in \text{\rm H}^2(G,\Bbb T)$ on groups $G$ containing infinite normal subgroups $H \subset G$ with the relative property $\text{\rm(T)}$ (i.e. $G$ {\it w-rigid}). We prove that given any separable $\text{\rm II}_1$ factor $M$, the set of 2-cocycles $\mu_{|H}\in \text{\rm H}^2(H,\Bbb T)$ with the property that $L_\mu(G)$ is embeddable into $M$ is at most countable. We use this result, the relative property (T) of $\Bbb Z^2 \subset \Bbb Z^2 \rtimes \Gamma$ for $\Gamma \subset SL(2,\Bbb Z)$ non-amenable and the fact that every cocycle $\mu_\alpha \in {\text{\rm H}}^2(\Bbb Z^2,\Bbb T)\simeq \Bbb T$ extends to a cocycle on $\Bbb Z^2 \rtimes SL(2,\Bbb Z)$, to show that the one parameter family of II$_1$ factors $M_\alpha(\Gamma)=L_{\mu_{\alpha}}(\Bbb Z^2 \rtimes \Gamma)$, $\alpha \in \Bbb T$, are mutually non-isomorphic, modulo countable sets, and cannot all be embedded into the same separable II$_1$ factor. Other examples and applications are discussed.


title: Descente de torseurs, gerbes et points rationnels - Descent of torsors, gerbes and rational points

abstract: Let $k$ be a field of characteristic 0 and $G$ a linear algebraic $k$-group. When $G$ is abelian, it is well known that torsors under $G_{X}$ over a $k$-scheme $\pi:X\to \textup{Spec} k$ provide an obstruction to the existence of $k$-rational points on $X$, since Leray spectral sequence gives rise (when $X$ is 'nice', e.g. $X$ smooth and proper) to an exact sequence of groups (5-term exact sequence associated). This sequence gives an obstruction for a $\bar{G}_{X}$-torsor $\bar{P}\to\bar{X}$ with field of moduli $k$ to be defined over $k$, i.e. to be obtained by extension of scalars to the algebraic closure $\bar{k}$ of $k$ from a $G_{X}$-torsor $P\to X$. This obstruction is measured by a gerbe, which is neutral if $X$ possesses a $k$-rational point. We try to extend this result to the non-commutative case, and in some cases, we deduce non-abelian cohomological obstruction to the existence of $k$-rational points on $X$, and results about descent of torsors.


title: Multidimensional continued fraction and rational approximation

abstract: The classical continued fraction is generalized for studying the rational approximation problem on multi-formal Laurent series in this paper, the construction is called m-continued fraction. It is proved that the approximants of an m-continued fraction converge to a multi-formal Laurent series, and are best rational approximations to it; conversely for any multi-formal Laurent series an algorithm called m-CF transform is introduced to obtain its m-continued fraction expansions; moreover, strict m-continued fractions, which are m-continued fractions imposed with some additional conditions, and multi-formal Laurent series are in 1-1 correspondence. It is shown that m-continued fractions can be used to study the multi-sequence synthesis problem.


title: Characteristic foliations on maximally real submanifolds of C^n and envelopes of holomorphy

abstract: Let S be an arbitrary real surface, with or without boundary, contained in a hypersurface M of the complex euclidean space \C^2, with S and M of class C^{2, a}, where 0 < a < 1. If M is globally minimal, if S is totally real except at finitely many complex tangencies which are hyperbolic in the sense of E. Bishop and if the union of separatrices is a tree of curves without cycles, we show that every compact K of S is CR-, W- and L^p-removable (Theorem~1.3). We treat this seemingly global problem by means of purely local techniques, namely by means of families of small analytic discs partially attached to maximally real submanifolds of C^n and by means of a thorough study of the relative disposition of the characteristic foliation with respect to the track on M of a certain half-wedge attached to M. This localization procedure enables us to answer an open problem raised by B. J\"oricke: under a certain nontransversality condition with respect to the characteristic foliation, we show that every closed subset C of a C^{2,a}-smooth maximally real submanifold M^1 of a (n-1)-codimensional generic C^{2,a}-smooth submanifold of \C^n is CR-, W- and L^p-removable (Theorem~1.2'). The known removability results in CR dimension at least two appear to be logical consequences of Theorem~1.2'. The main proof (65p.) is written directly in arbitrary codimension. Finally, we produce an example of a nonremovable 2-torus contained in a maximally real 3-dimensional maximally real submanifold, showing that the nontransversality condition is optimal for universal removability. Numerous figures are included to help readers who are not insiders of higher codimensional geometry.


title: Essential edges in Poisson random hypergraphs

abstract: Consider a random hypergraph on a set of N vertices in which, for k between 1 and N, a Poisson(N beta_k) number of hyperedges is scattered randomly over all subsets of size k. We collapse the hypergraph by running the following algorithm to exhaustion: pick a vertex having a 1-edge and remove it; collapse the hyperedges over that vertex onto their remaining vertices; repeat until there are no 1-edges left. We call the vertices removed in this process "identifiable". Also any hyperedge all of whose vertices are removed is called "identifiable". We say that a hyperedge is "essential" if its removal prior to collapse would have reduced the number of identifiable vertices. The limiting proportions, as N tends to infinity, of identifiable vertices and hyperedges were obtained by Darling and Norris. In this paper, we establish the limiting proportion of essential hyperedges. We also discuss, in the case of a random graph, the relation of essential edges to the 2-core of the graph, the maximal sub-graph with minimal vertex degree 2.


title: Stochastic Processes with Short Memory

abstract: The mathematical model of a linear system with the short memory about own stochastic behavior is proposed. It is assumed that the system is under a continual influence of independent stochastic impulses. In a short memory approximation the expression of the stochastic process is found. An application of the model proposed to capital market processes is examined. The approach allows form a stochastic differential for processes concerned. The analog of the Black-Scholes equation for assets dealt on a market with the memory is expressed.


title: Topological method for symmetric periodic orbits for maps with a reversing symmetry

abstract: We present a topological method of obtaining the existence of infinite number of symmetric periodic orbits for systems with reversing symmetry. The method is based on covering relations. We apply the method to a four-dimensional reversible map.


title: Heteroclinic Connections between Periodic Orbits in Planar Restricted Circular Three Body Problem - Part II

abstract: We present a method for proving the existence of symmetric periodic, heteroclinic or homoclinic orbits in dynamical systems with the reversing symmetry. As an application we show that the Planar Restricted Circular Three Body Problem (PCR3BP) corresponding to the Sun-Jupiter-Oterma system possesses an infinite number of symmetric periodic orbits and homoclinic orbits to the Lyapunov orbits. Moreover, we show the existence of symbolic dynamics on six symbols for PCR3BP and the possibility of resonance transitions of the comet. This extends earlier results by Wilczak and Zgliczynski - Heteroclinic Connections between Periodic Orbits in Planar Restricted Circular Three Body Problem - A Computer Assisted Proof, Commun. Math. Phys. 234, 37-75 (2003).


title: Invariant multidimensional matrices

abstract: A rank $n$ Steiner bundle on $\P^n$ which is $SL(2,\C)$ invariant is a Schwarzenberger bundle


title: Diophantine approximation on planar curves and the distribution of rational points

abstract: Let $\cal C$ be a non--degenerate planar curve and for a real, positive decreasing function $\psi$ let $\cal C(\psi)$ denote the set of simultaneously $\psi$--approximable points lying on $\cal C$. We show that $\cal C$ is of Khintchine type for divergence; i.e. if a certain sum diverges then the one-dimensional Lebesgue measure on $\cal C$ of $\cal C(\psi)$ is full. We also obtain the Hausdorff measure analogue of the divergent Khintchine type result. In the case that $\cal C$ is a rational quadric the convergence counterparts of the divergent results are also obtained. Furthermore, for functions $\psi$ with lower order in a critical range we determine a general, exact formula for the Hausdorff dimension of $\cal C(\psi)$. These results constitute the first precise and general results in the theory of simultaneous Diophantine approximation on manifolds.


title: Metric Diophantine approximation and 'absolutely friendly' measures

abstract: Let $W(\p)$ denote the set of $\p$-well approximable points in $\R^d$ and let $K$ be a compact subset of $\R^d$ which supports a measure $\mu$. In this short note, we show that if $\mu$ is an `absolutely friendly' measure and a certain $\mu$--volume sum converges then $\mu (W(\p) \cap K) = 0$. The result obtained is in some sense analogous to the convergence part of Khintchines classical theorem in the theory of metric Diophantine approximation. The class of absolutely friendly measures is a subclass of the friendly measures introduced by D. Kleinbock, E. Lindenstrauss and B. Weiss (On fractal measures and Diophantine approximation) and includes measures supported on self similar sets satisfying the open set condition. We also obtain an upper bound result for the Hausdorff dimension of $W(\p) \cap K $.


title: Amibes de Sommes d'Exponentielles

abstract: We study the amoebae (in S. Favorov's sense) of finite systems of exponential sums with real spectra. For generic systems of this type, we give a more effective representation of the amoeba and we prove that the complementary set to the amoeba of a system with r exponential sums is a (r-1)-convexe set.


title: Fourier transformation of Sato's hyperfunctions

abstract: A new generalized function space in which all Gelfand-Shilov classes $S^{\prime 0}_\alpha$ ($\alpha>1$) of analytic functionals are embedded is introduced. This space of {\it ultrafunctionals} does not possess a natural nontrivial topology and cannot be obtained via duality from any test function space. A canonical isomorphism between the spaces of hyperfunctions and ultrafunctionals on $R^k$ is constructed that extends the Fourier transformation of Roumieu-type ultradistributions and is naturally interpreted as the Fourier transformation of hyperfunctions. The notion of carrier cone that replaces the notion of support of a generalized function for ultrafunctionals is proposed. A Paley-Wiener-Schwartz-type theorem describing the Laplace transformation of ultrafunctionals carried by proper convex closed cones is obtained and the connection between the Laplace and Fourier transformation is established.


title: Classification des varietes approximativement kahleriennes homogenes

abstract: We prove Gray & Wolf's conjecture that a Riemannian homogeneous manifold admitting a strict nearly Kahler structure is 3-symmetric. We actually classify them in dimension 6 and use previous results of Swann, Cleyton and Nagy to prove the conjecture in higher dimensions.


title: Laplacian eigenmodes for the three-Sphere

abstract: The vector space $V^k$ of the eigenfunctions of the Laplacian on the three sphere $S^3$, corresponding to the same eigenvalue $lambda_k = -k (k +2)$, has dimension $(k + 1)^2$. After recalling the standard bases for $V^k$, we introduce a new basis B3, constructed from the reductions to $S^3$ of peculiar homogeneous harmonic polynomia involving null vectors. We give the transformation laws between this basis and the usual hyper-spherical harmonics. Thanks to the quaternionic representations of $S^3$ and SO(4), we are able to write explicitely the transformation properties of B3, and thus of any eigenmode, under an arbitrary rotation of SO(4). This offers the possibility to select those functions of $ V^k$ which remain invariant under a chosen rotation of SO(4). When the rotation is an holonomy transfor- mation of a spherical space $S^3/Gamma$, this gives a method to calculates the eigenmodes of $S^3/Gamma$, which remains an open problem in general. We illustrate our method by (re-)deriving the eigenmodes of lens and prism space. In a forthcoming paper, we derive the eigenmodes of dodecahedral pace.


title: Random strategies with memory for the Robin Hood game

abstract: The_Robin_Hood_ game is played as follows: On day i, the Sheriff puts s(i) bags of gold in the cave. On night i, Robin removes r(i) bags from the cave. The game is played for each natural nymber i. Robin wins if each bag which was put in the cave is eventually removed from it; otherwise the Sheriff wins. Gasarch, Golub, and Srinivasan studied the Robin Hood game in the case of random strategies where Robin has no historical memory. We extend their main result to the case of bounded historical memory, and obtain a hierarchy of provably distinct games.


title: SPM Bulletin 7

abstract: This is the seventh issue of this bulletin, featuring a new form as well as a concise list of past open problems.


title: Fractality, Self-Similarity and Complex Dimensions

abstract: We present an overview of a theory of complex dimensions of self-similar fractal strings, and compare this theory to the theory of varieties over a finite field from the geometric and the dynamical point of view. Then we combine the several strands to discuss a possible approach to establishing a cohomological interpretation of the complex dimensions.


title: Generalized PSK in Space Time Coding

abstract: A wireless communication system using multiple antennas promises reliable transmission under Rayleigh flat fading assumptions. Design criteria and practical schemes have been presented for both coherent and non-coherent communication channels. In this paper we generalize one dimensional phase shift keying (PSK) signals and introduce space time constellations from generalized phase shift keying (GPSK) signals based on the complex and real orthogonal designs. The resulting space time constellations reallocate the energy for each transmitting antenna and feature good diversity products, consequently their performances are better than some of the existing comparable codes. Moreover since the maximum likelihood (ML) decoding of our proposed codes can be decomposed to one dimensional PSK signal demodulation, the ML decoding of our codes can be implemented in a very efficient way.


title: Shukla cohomology and additive track theories

abstract: The approach of Quillen to the cohomology of general algebraic systems is based on simplicial methods, which are usually quite hard to deal with. The aim of this work is to give the foundation of Shukla cohomology (of algebras over a commutative ring) based on chain algebras. We also give an application to the problem of strengthening additive track theories, which is based on the comparison homomorphism between Shukla and Mac Lane cohomology theories.


title: Chow Quotients of Grassmannians II

abstract: We consider Kapranov's Chow quotient compactification of the moduli space of ordered n-tuples of hyperplanes in P^{r-1} in linear general position. For r=2 this is canonically identified with the Grothendieck-Knudsen compactification of M_{0,n} which has among others the nice properties 1) Modular meaning: stable pointed rational curves 2) Canonical description of limits of one parameter degenerations 3) Natural Mori theoretic meaning: log canonical compactification. We prove (1-2) generalize naturally to all (r,n), but that (3), which we view as the deepest, fails except possibly in the cases (2,n),(3,6),(3,7),(3,8), where we conjecture it holds. The same generalization of (1) was given recently (and independently) by Hacking.


title: Homological perturbations, equivariant cohomology, and Koszul duality

abstract: Our main objective is to demonstrate how homological perturbation theory (HPT) results over the last 40 years immediately or with little extra work give some of the Koszul duality results that have appeared in the last decade. Higher homotopies typically arise when a huge object, e. g. a chain complex defining various invariants of a certain geometric situation, is cut to a small model, and the higher homotopies can then be dealt with concisely in the language of sh-structures (strong homotopy structures). This amounts to precise ways of handling the requisite additional structure encapsulating the various coherence conditions. Given e. g. two augmented differential graded algebras A and B, an sh-map from A to B is a twisting cochain from the reduced bar construction of A to B and, in this manner, the class of morphisms of augmented differential graded algebras is extended to that of sh-morphisms. In the present paper, we explore small models for equivariant (co)homology via differential homological algebra techniques including homological perturbation theory which, in turn, is a standard tool to handle sh-structures. Koszul duality, for a finite type exterior algebra on odd positive degree generators, then comes down to a duality between the category of sh-modules over that algebra and that of sh-comodules over its reduced bar construction. This kind of duality relies on the extended functoriality of the differential graded Tor-, Ext-, Cotor-, and Coext functors, extended to the appropriate sh-categories. We construct the small models as certain twisted tensor products and twisted Hom-objects. These are chain and cochain models for the chains and cochains on geometric bundles and are compatible with suitable additional structure.


title: Relative homological algebra, equivariant de Rham theory, and Koszul duality

abstract: Let G be a general (not necessarily finite dimensional compact) Lie group, let g be its Lie algebra, let Cg be the cone on g in the category of differential graded Lie algebras, and consider the functor which assigns to a chain complex V the V-valued total de Rham complex of G. We describe the G-equivariant de Rham cohomology in terms of a suitable relative differential graded Ext, defined on the appropriate category of (G,Cg)-modules. The meaning of "relative" is made precise via the dual standard construction associated with the monad involving the aforementioned functor and the associated forgetful functor. The corresponding infinitesimal equivariant cohomology is the relative differential Ext over Cg relative to g. The functor under discussion decomposes into two functors, the functor which determines differentiable cohomology in the sense of Hochschild-Mostow and the functor which determines the infinitesimal equivariant theory, suitably interpreted. This functor decomposition, in turn, entails an extension of a Decomposition Lemma due to Bott. Appropriate models for the differential graded Ext involving a comparison between a suitably defined simplicial Weil coalgebra and the Weil coalgebra dual to the familiar ordinary Weil algebra yield small models for equivariant de Rham cohomology including the standard Weil and Cartan models for the special case where the group G is compact and connected. Koszul duality in de Rham theory results from these considerations in a straightforward manner.


title: On the Filling Invariants at Infinity of Hadamard Manifolds

abstract: We study the filling invariants at infinity div_{k} for Hadamard manifolds defined by Brady and Farb in [Filling-invariants at infinity for manifolds of nonpositive curvature]. Among other results, we give a positive answer to the question they posed: whether these invariants can be used to detect the rank of a symmetric space of noncompact type.


title: Cobordism of disk knots

abstract: We study cobordisms and cobordisms rel boundary of PL locally-flat disk knots $D^{n-2}\into D^n$. Cobordisms of disk knots that do not fix the boundary sphere knots are easily classified by the cobordism properties of these boundaries, and any two even-dimensional disk knots with isotopic boundary knots are cobordant rel boundary. However, the cobordism rel boundary theory of odd-dimensional disk knots is more subtle. Generalizing results of Levine on cobordism of sphere knots, we define disk knot Seifert matrices and show that two higher-dimensional disk knots with isotopic boundaries are cobordant rel boundary if and only if their disk knot Seifert matrices are algebraically cobordant. We also find necessary and sufficient conditions to realize a Seifert matrix cobordism class among the disk knots corresponding to a fixed boundary knot, assuming the boundary knot has no middle-dimensional 2-torsion. This classification is performed by relating the Seifert matrix of a disk knot to its Blanchfield pairing and by establishing a close connection between this Blanchfield pairing and the Farber-Levine torsion pairing of the boundary knot (in fact, for disk knots satisfying certain connectivity assumptions, the disk knot Blanchfield pairing will determine the boundary Farber-Levine pairing).


title: $W^{(2)}_n$ algebras

abstract: We construct W-algebra generalizations of the ^sl(2) algebra -- W-algebras W^{(2)}_n generated by two currents E and F with the highest pole of order n in their OPE. The n=3 term in this series is the Bershadsky--Polyakov algebra. We define these algebras as a centralizer (commutant) of the $U_{q}sl(n|1)$ super quantum group and explicitly find the generators in a factored, ``Miura-like'' form. Another construction of W^{(2)}_n is in terms of the coset ^sl(n|1)/^sl(n). The relation between the two constructions involves the ``duality'' (k+n-1)(k'+n-1)=1 between levels k and k' of two ^sl(n) algebras.


title: Zeros of the Derivatives of Faber Polynomials Associated with a Universal Covering Map

abstract: For a compact set $E \subset \mathbb{C}$ containing more than two points, we study asymptotic behavior of normalized zero counting measures $\{\mu_k \}$ of the derivatives of Faber polynomials associated with $E$. For example if $E$ has empty interior, we prove that $\{\mu_k \}$ converges in the weak-star topology to a measure whose support is the boundary of $g(\mathcal{D})$, where $g : \{|z| > r \}\cup \{\infty\} \to \bar{\mathbb{C}} \backslash E$ is a universal covering map such that $g(\infty) = \infty$ and $\mathcal{D}$ is the Dirichlet domain associated with $g$ and centered at $\infty$. Our results are counterparts of those of Kuijlaars and Saff (1995) on zeros of Faber polynomials.


title: Duality for Cousin Complexes

abstract: We relate the variance theory for Cousin complexes -^# developed by Lipman, Nayak and the author to Grothendieck duality for Cousin complexes. Specifically for a Cousin complex F on (Y, \Delta)--with \Delta a codimension function on a formal scheme Y (noetherian, universally catenary)--and a pseudo-finite type map f:(X,\Delta') --> (Y,\Delta) of such pairs of schemes with codimension functions, we show there is a derived category map \gamma^!_f(F):f^#F --> f^!F, which is functorial as F varies over Cousin complexes on (Y,\Delta), and induces an isomorphism f^#F = E(f^#F) --> E(f^!F). E here is the Cousin functor for the codimension function \Delta. Further, we give conditions under which \gamma^!_f is an isomorphism. We also generalize the Residue Theorem of Grothendieck for residual complexes to Cousin complexes by defining trace as a sum of local residues when the map f is pseudo-proper.


title: Chern classes of birational varieties

abstract: A theorem of Batyrev's asserts that if two nonsingular varieties V,W are birational, and their canonical bundles agree after pull-back to a resolution of indeterminacies of a birational map between them, then the Betti numbers of V and W coincide. We prove that, in the same hypotheses, the total homology Chern classes of V and W are push-forwards of the same class in the Chow group of the resolution. For example, it follows that the push-forward of the total Chern class of a crepant resolution of a singular variety is independent of the resolution.


title: Mod p homology of the stable mapping class group

abstract: We calculate the homology of the mapping class group in the stable range. The calculation is based on Madsen and Weiss' proof of the "Generalised Mumford Conjecture".


title: 3-dimensional methods in contact geometry

abstract: These are lecture notes on cut-and-paste methods in 3-dimensional contact geometry.


title: Local $L^2$ results for $\bar\partial$: The isolated singularities case

abstract: Let $X$ be a pure n-dimensional complex analytic set in $\mathbb{C}^N$ with an isolated singularity at 0. We study the Cauchy-Riemann operator on a deleted neighborhood of the singular point 0 in $X$.


title: Semiglobal results for $\bar\partial$ on a complex space with arbitrary singularities

abstract: We obtain some $L^2$ results for the Cauchy-Riemann operator on forms that vanish to high order near the singular set of a complex space.


title: Regular homotopy of Hurwitz curves

abstract: We prove that any two irreducible cuspidal Hurwitz curves $C_0$ and $C_1$ (or more generally, curves with A-type singularities) in the Hirzebruch surface $F_N$ with coinciding homology classes and sets of singularities are regular homotopic; and symplectically regular homotopic if $C_0$ and $C_1$ are symplectic with respect to a compatible symplectic form.


title: Moduli for decorated tuples of sheaves and representation spaces for quivers

abstract: We extend the scope of a former paper to vector bundle problems involving more than one vector bundle. As the main application, we obtain the solution of the well-known moduli problems of vector bundles associated with general quivers.


title: The cohomology of right angled Artin groups with group ring coefficients

abstract: We give an explicit formula for the cohomology of a right angled Artin group with group ring coefficients in terms of the cohomology of its defining flag complex.


title: Toric ideals of homogeneous phylogenetic models

abstract: We consider the phylogenetic tree model in which every node of the tree is observed and binary and the transitions are given by the same matrix on each edge of the tree. We are able to compute the Grobner basis and Markov basis of the toric ideal of invariants for trees with up to 11 nodes. These are perhaps the first non-trivial Grobner bases calculations in 2^11 indeterminates. We conjecture that there is a quadratic Grobner basis for binary trees. Finally, we give a explicit description of the polytope associated to this toric ideal for an infinite family of binary trees and conjecture that there is a universal bound on the number of vertices of this polytope for binary trees.


title: Computing Invariants of Simplicial Manifolds

abstract: This is a survey of known algorithms in algebraic topology with a focus on finite simplicial complexes and, in particular, simplicial manifolds. Wherever possible an elementary approach is chosen. This way the text may also serve as a condensed but very basic introduction to the algebraic topology of simplicial manifolds. This text will appear as a chapter in the forthcoming book "Triangulated Manifolds with Few Vertices" by Frank H. Lutz.


title: A Note on the Eigenvalues of the Google Matrix

abstract: The Google matrix is a positive, column-stochastic matrix that is used to compute the pagerank of all the web pages on the Internet: the eigenvector corresponding to the eigenvalue 1 is the pagerank vector. Due to its huge dimension, of the order of billions, the (presently) only viable method to compute the eigenvector is the power method. For the convergence of the iteration, it is essential to know the eigenvalue distribution of the matrix. A theorem concerning the eigenvalues was recently proved by Langville and Meyer. In this note another proof is given.


title: Rationalized Evaluation Subgroups of a Map II: Quillen Models and Adjoint Maps

abstract: Let w: Map(X,Y;f) -> Y denote a general evaluation fibration. Working in the setting of rational homotopy theory via differential graded Lie algebras, we identify the long exact sequence induced on rational homotopy groups by w in terms of (generalized) derivation spaces and adjoint maps. As a consequence, we obtain a unified description of the rational homotopy theory of function spaces, at the level of rational homotopy groups, in terms of derivations of Quillen models and adjoints. In particular, as a natural extension of a result of Tanre, we identify the rationalization of the evaluation subgroups of a map f: X -> Y in this setting. As applications, we consider a generalization of a question of Gottlieb, within the context of rational homotopy theory. We also identify the rationalization of the G-sequence of f and make explicit computations of the homology of this sequence. In a separate result of independent interest, we give an explicit Quillen minimal model of a product AxX, in the case in which A is a rational co-H-space.


title: The maximal {-1,1}-determinant of order 15

abstract: We study the question of finding the maximal determinant of matrices of odd order with entries {-1,1}. The most general upper bound on the maximal determinant, due to Barba, can only be achieved when the order is the sum of two consecutive squares. It is conjectured that the bound is always attained in such cases. Apart from these, only in orders 3, 7, 9, 11, 17 and 21 has the maximal value been established. In this paper we confirm the results for these orders, and add order 15 to the list. We follow previous authors in exhaustively searching for candidate Gram matrices having determinant greater than or equal to the square of a known lower bound on the maximum. We then attempt to decompose each candidate as the product of a {-1,1}-matrix and its transpose. For order 15 we find four candidates, all of Ehlich block form, two having determinant (105*3^5*2^14)^2 and the others determinant (108*3^5*2^14)^2. One of the former decomposes (in an essentially unique way) while the remaining three do not. This result proves a conjecture made independently by W. D. Smith and J. H. E. Cohn. We also use our method to compute improved upper bounds on the maximal determinant in orders 29, 33, and 37, and to establish the range of the determinant function of {-1,1}-matrices in orders 9 and 11.


title: Holonomy and parallel transport in the differential geometry of the space of loops and the groupoid of generalized gauge transformations

abstract: The motivation for this paper stems \cite{CR} from the need to construct explicit isomorphisms of (possibly nontrivial) principal $G$-bundles on the space of loops or, more generally, of paths in some manifold $M$, over which I consider a fixed principal bundle $P$; the aforementioned bundles are then pull-backs of $P$ w.r.t. evaluation maps at different points. The explicit construction of these isomorphisms between pulled-back bundles relies on the notion of {\em parallel transport}. I introduce and discuss extensively at this point the notion of {\em generalized gauge transformation between (a priori) distinct principal $G$-bundles over the same base $M$}; one can see immediately that the parallel transport can be viewed as a generalized gauge transformation for two special kind of bundles on the space of loops or paths; at this point, it is possible to generalize the previous arguments for more general pulled-back bundles. Finally, I discuss how flatness of the reference connection, w.r.t. which I consider holonomy and parallel transport, is related to horizontality of the associated generalized gauge transformation.


title: Ramunajan $(n_1,n_2,...,n_{d-1})$-regular hypergraphs based on Bruhat-Tits Buildings of type $\tilde{A}_{d-1}$

abstract: In this paper I study Ramanujan hypergraps and both abstract and explicit constructions is given.


title: The division map of principal bundles with groupoid structure and generalized gauge transformations

abstract: Motivated by the computations done in \cite{C1}, where I introduced and discussed what I called the groupoid of generalized gauge transformations, viewed as a groupoid over the objects of the category $\mathsf{Bun}_{G,M}$ of principal $G$-bundles over a given manifold $M$, I develop in this paper the same ideas for the more general case of {\em principal $\calG$-bundles or principal bundles with structure groupoid $\calG$}, where now $\calG$ is a Lie groupoid in the sense of \cite{Moer2}. Most of the concepts introduced in \cite{C1} can be translated almost verbatim in the framework of principal bundles with structure groupoid $\calG$; in particular, the key r�le for the construction of generalized gauge transformations is again played by (the equivalent in the framework of principal bundles with groupoid structure of) the division map $f_P$. Of great importance are also the generalized conjugation in a groupoid and the concept of (twisted) equivariant maps between groupoid-spaces.


title: Generalizations of Quandle Cocycle Invariants and Alexander Modules from Quandle Modules

abstract: This paper is a brief overview of some of our recent results in collaboration with other authors. The cocycle invariants of classical knots and knotted surfaces are summarized, and some applications are presented.


title: Decay of correlations for nonuniformly expanding systems

abstract: We estimate the speed of decay of correlations for general nonuniformly expanding dynamical systems, using estimates on the time the system takes to become really expanding. Our method can deal with fast decays, such as exponential or stretched exponential. We prove in particular that the correlations of the Alves-Viana map decay in $O(e^{-c \sqrt{n}})$.


title: An algorithm for finding the Veech group of an origami

abstract: We study the Veech group of an origami, i.e. of a translation surface, tessellated by parallelograms. We show that it is isomorphic to the image of a certain subgroup of Aut(F_2) in SL_2(Z) = Out^+(F_2). Based on this we present an algorithm that determines the Veech group.


title: Constructing symplectic forms on 4-manifolds which vanish on circles

abstract: Given a smooth, closed, oriented 4-manifold X and alpha in H_2(X,Z) such that alpha.alpha > 0, a closed 2-form w is constructed, Poincare dual to alpha, which is symplectic on the complement of a finite set of unknotted circles. The number of circles, counted with sign, is given by d = (c_1(s)^2 -3sigma(X) -2chi(X))/4, where s is a certain spin^C structure naturally associated to w.


title: Reflexivity of the translation-dilation algebras on L^2(R)

abstract: The hyperbolic algebra A_h, studied recently by Katavolos and Power, is the weak star closed operator algebra on L^2(R) generated by H^\infty(R), as multiplication operators, and by the dilation operators V_t, t \geq 0, given by V_t f(x) = e^{t/2} f(e^t x). We show that A_h is a reflexive operator algebra and that the four dimensional manifold Lat A_h (with the natural topology) is the reflexive hull of a natural two dimensional subspace.


title: On the number of zeros of certain rational harmonic functions

abstract: Extending a result from the paper of D. Khavinson and G. Swiatek, we show that the rational harmonic function $\bar{r(z)} - z$, where r(z) is a rational function of degree n > 1, has no more than 5n - 5 complex zeros. Applications to gravitational lensing are discussed. In particular, this result settles a conjecture of S. H. Rhie concerning the maximum number of lensed images due to an n-point gravitational lens.


title: A Survey of Results on Random Random Walks on Finite Groups

abstract: A number of papers have examined various aspects of "random random" walks on finite groups; the purpose of this article is to provide a survey of this work and to show, bring together, and discuss some of the arguments and results in this work. This article also provides a number of exercises. Some exercises involve straightforward computations; others involve proving details in proofs or extending results proved in the article. This article also describes some problems for further study.


title: On complex surfaces with 5 or 6 semistable singular fibers over P^1

abstract: Let $f:X@>>>\Bbb P^1$ be a fibered surface with fibers of genus g>1. If f is semistable and non isotrivial we prove that X of non negative Kodaira dimension implies that the number s of singular fibers is at least 5. Information about the nature of X if s=6,5 and g<6 is given. If f is any relatively minimal fibration we bound by below K_f^2, the bound depending on g and the Kodaira dimension of X, a classification of rational surfaces with minimal K_f^2 is given. Moreover, we prove several properties of positivity for the linear system K_X+F (F a fibre of f). Examples of a K3 surfaces admitting a semistable fibration with s=6 and g=3 and of a surface of general type admitting a semistable fibration with s=7 and g=4 are provided.


title: Some six-dimensional rigid forms

abstract: One can always decompose Dirichlet-Voronoi polytopes of lattices non-trivially into a Minkowski sum of Dirichlet-Voronoi polytopes of rigid lattices. In this report we show how one can enumerate all rigid positive semidefinite quadratic forms (and thereby rigid lattices) of a given dimension d. By this method we found all rigid positive semidefinite quadratic forms for d = 5 confirming the list of 7 rigid lattices by Baranovskii and Grishukhin. Furthermore, we found out that for d <= 5 the adjacency graph of primitive L-type domains is an infinite tree on which GL_d(Z) acts. On the other hand, we demonstrate that in d = 6 we face a combinatorial explosion.


title: Commutator automorphisms of formal power series rings

abstract: For a big class of commutative rings R every continuous R-automorphism of R[[X_1,...,X_n]] with the identity linear part is in the commutator subgroup of Aut(R[[X_1,...,X_n]]). An explicit bound for the number of the involved commutators and a K-theoretic interpretation of this result are provided.


title: Finite Bruck Loops

abstract: A loop $(X,\circ)$ is said to be a Bruck loop if it satisfies the (right) Bol identity $((z\circ x)\circ y)\circ x = z\circ ((x\circ y)\circ x)$ and the automorphic inverse property $(x\circ y)^{-1}=x^{-1}\circ y^{-1}$. If $X$ is a finite Bruck loop and $G$ is the group generated by all right translations $R(x): y\mapsto y\circ x$, then we show that $X$ and $G$ are central products $X = O^{2'}(X) * O(X)$ and $G = O^{2'}(G) * O(G)$, where $O^{2'}(X)$ ($O^{2'}(G)$) is the subloop (subgroup) generated by all 2-elements, and $O(X)$ ($O(G)$) is the largest normal subloop (subgroup) of odd order. In particular, if $X$ is solvable, then these central products are direct products. We also give a set of necessary conditions that must hold for a finite Bruck loop $X$ to be nonsolvable but have each proper section solvable; in particular, $X$ must be simple and consist of 2-elements, while the quotient of $G$ by its largest normal 2-subgroup must be isomorphic to $PGL_2(q)$, with $q=2^n+1\geq 5$.


title: Rotor interaction in the annulus billiard

abstract: Introducing the rotor interaction in the integrable system of the annulus billiard produces a variety of dynamical phenomena, from integrability to ergodicity.


title: The lattice point discrepancy of a body of revolution: Improving the lower bound by Soundararajan's method

abstract: For a convex body B in three-dimensional Euclidean space, which is invariant under rotations around one coordinate axis and has a smooth boundary of bounded nonzero curvature, the lattice point discrepancy (number of integer points minus volume) of a linearly enlarged copy of B is estimated from below. On the basis of a recent method of K. Soundararajan, an Omega-bound is obtained that improves upon all earlier results of this kind.


title: Quasistatic crack growth in finite elasticity

abstract: In this paper, we prove a new existence result for a variational model of crack growth in brittle materials proposed in [15]. We consider the case of $n$-dimensional finite elasticity, for an arbitrary $n\ge1$, with a quasiconvex bulk energy and with prescribed boundary deformations and applied loads, both depending on time.


title: Generalized Analytic Automorphic Forms for some Arithmetic Congruence subgroups of the Vahlen group on the n-Dimensional Hyperbolic Space

abstract: This paper deals with a new analytic type of vector- and Clifford algebra valued automorphic forms in one and two vector variables. For hypercomplex generalizations of the classical modular group and their arithmetic congruence subgroups Eisenstein- and Poincar\'e type series that are annihilated by Dirac operators, and more generally, by iterated Dirac operators on the upper half-space of $R^n$ are discussed. In particular we introduce (poly-)monogenic modular forms on hypercomplex generalizations of the classical theta group.


title: Quasi-static evolution in brittle fracture: the case of bounded solutions

abstract: The main steps of the proof of the existence result for the quasi-static evolution of cracks in brittle materials, obtained in [7] in the vector case and for a general quasiconvex elastic energy, are presented here under the simplifying assumption that the minimizing sequences involved in the problem are uniformly bounded in $L^\infty$.


title: Stable Outcomes For Contract Choice Problems

abstract: In this paper, we consider the problem of choosing a set of multi-party contracts, where each coalition of agents has a non-empty finite set of contracts to choose from. We call such problems, contract choice problems. We provide conditions under which a contract choice problem has a non-empty set of "stable" outcomes. There are two types of stability concepts we study in this paper: cooperative stability and non-cooperative stability. The cooperative stability concept that we invoke here is the core. The non-cooperative stability concept that we study here is individual stability. The final result of this paper states that every contract choice problem has a non-empty weak bargaining set.


title: Non-autonomous dynamics of holomorphic mappings in projective space

abstract: We study the dynamics of compositions of a sequence of holomorphic mappings in projective space. We define ergodicity and mixing for non-autonomous dynamical systems, and we construct totally invariant measures for which our sequence satisfies these properties.


title: On trees covering chains or stars

abstract: In this paper, in the context of the ``Dessins d'enfants'' theory, we give a combinatorial criterion for a plane tree to cover a tree from the classes of "chains" or "stars''. Besides, we discuss some applications of this result which are related to the arithmetical theory of torsion on curves.


title: On the integrability of the n-centre problem

abstract: It is known that for $n \geq 3$ centres and positive energies the $n$-centre problem of celestial mechanics leads to a flow with a strange repellor and positive topological entropy. Here we consider the energies above some threshold and show: Whereas for arbitrary $g >1$ independent integrals of Gevrey class $g$ exist, no real-analytic (that is, Gevrey class 1) independent integral exists.


title: A Steinberg Cross-Section for Non-Connected Affine Kac-Moody Groups

abstract: We generalise the concept of a Steinberg cross-section to non-connected Kac-Moody group. As in the connected case, which was treated by G. Br\"uchert, a quotient map w.r.t the conjugacy action exists only on a certain submonoid of the Kac-Moody group. Non-connected Kac-Moody groups appear naturally as semidirect product of \C^* with a central extension of loop groups LG, where the underlying simple group G is no longer simply connected and might even be non-connected. In contrast to the connected case, the understanding of central extensions of non-connected loop groups is a rather complicated issue. Following the approach of V. Toledano Laredo, who dealt with the case of automorphisms coming from the fundamental group pi_1(G), we classify all of these central extensions for cyclic component group of LG. Then, we define the quotient map w.r.t conjugacy action. Furthermore, we construct the cross-section in every connected component of LG and show that, due the one-dimensional centre, it carries a natural \C^*-action which does not exist in the finite dimensional case.


title: On twisted microdifferential modules I. Non-existence of twisted wave equations

abstract: Using the notion of subprincipal symbol, we give a necessary condition for the existence of twisted D-modules simple along a smooth involutive submanifold of the cotangent bundle to a complex manifold. As an application, we prove that there are no generalized massless field equations with non trivial twist on grassmannians, and in particular that the Penrose transform does not extend to the twisted case.


title: Dyson's constant in the asymptotics of the Fredholm determinant of the sine kernel

abstract: We prove that the asymptotics of the Fredholm determinant of $I-K_\alpha$, where $K_\alpha$ is the integral operator with the sine kernel $\sin(x-y)/(x-y)/\pi$ on the interval $[0,\alpha]$ is given by a formula which was conjectured by F.J. Dyson. The first and second order asymptotics as well as the higher order asymptotics except for the constant term have already been proved. In this paper we thus determine the constant term.


title: Fast and Slow Dynamics for the Computational Singular Perturbation Method

abstract: The Computational Singular Perturbation (CSP) method of Lam and Goussis is an iterative method to reduce the dimensionality of systems of ordinary differential equations with multiple time scales. In [J. Nonlin. Sci., to appear], the authors showed that each iteration of the CSP algorithm improves the approximation of the slow manifold by one order. In this paper, it is shown that the CSP method simultaneously approximates the tangent spaces to the fast fibers along which solutions relax to the slow manifold. Again, each iteration adds one order of accuracy. In some studies, the output of the CSP algorithm is postprocessed by linearly projecting initial data onto the slow manifold along these approximate tangent spaces. These projections, in turn, also become successively more accurate.


title: A nested sequence of projectors and corresponding braid matrices $\hat R(\theta)$: (1) Odd dimensions

abstract: A basis of $N^2$ projectors, each an ${N^2}\times{N^2}$ matrix with constant elements, is implemented to construct a class of braid matrices $\hat{R}(\theta)$, $\theta$ being the spectral parameter. Only odd values of $N$ are considered here. Our ansatz for the projectors $P_{\alpha}$ appearing in the spectral decomposition of $\hat{R}(\theta)$ leads to exponentials $exp(m_{\alpha}\theta)$ as the coefficient of $P_{\alpha}$. The sums and differences of such exponentials on the diagonal and the antidiagonal respectively provide the $(2N^2 -1)$ nonzero elements of $\hat{R}(\theta)$. One element at the center is normalized to unity. A class of supplementary constraints imposed by the braid equation leaves ${1/2}(N+3)(N-1)$ free parameters $m_{\alpha}$. The diagonalizer of $\hat{R}(\theta)$ is presented for all $N$. Transfer matrices $t(\theta)$ and $L(\theta)$ operators corresponding to our $\hat{R}(\theta)$ are studied. Our diagonalizer signals specific combinations of the components of the operators that lead to a quadratic algebra of $N^2$ constant $N\times N$ matrices. The $\theta$-dependence factors out for such combinations. $\hat R(\theta)$ is developed in a power series in $\theta$. The basic difference arising for even dimensions is made explicit. Some special features of our $\hat{R}(\theta)$ are discussed in a concluding section.


title: Critical random hypergraphs: The emergence of a giant set of identifiable vertices

abstract: We consider a model for random hypergraphs with identifiability, an analogue of connectedness. This model has a phase transition in the proportion of identifiable vertices when the underlying random graph becomes critical. The phase transition takes various forms, depending on the values of the parameters controlling the different types of hyperedges. It may be continuous as in a random graph. (In fact, when there are no higher-order edges, it is exactly the emergence of the giant component.) In this case, there is a sequence of possible sizes of ``components'' (including but not restricted to N^{2/3}). Alternatively, the phase transition may be discontinuous. We are particularly interested in the nature of the discontinuous phase transition and are able to exhibit precise asymptotics. Our method extends a result of Aldous [Ann. Probab. 25 (1997) 812-854] on component sizes in a random graph.


title: Realizing Rational Representations in Mordell-Weil Groups

abstract: Let G be a finite group and V a finite-dimensional rational G-representation. We ask whether there exists a finite Galois extension L/K of number fields with Galois group G, an elliptic curve E/K, and a G-submodule of E(L) tensor Q isomorphic to V.


title: On a multi-particle Moser-Trudinger Inequality

abstract: We verify a conjecture of Gillet-Soul\'{e}. We prove that the determinant of the Laplacian on a line bundle over $\mathbb{CP}^{1}$ is always bounded from above. This can also be viewed as a multi-particle generalization of the Moser-Trudinger Inequality. Furthermore, we conjecture that this functional achieves its maximum at the canonical metric. We give some evidence for this conjecture, as well as links to other fields of analysis.


title: An Isometry Between Measure Homology and Singular Homology

abstract: In Thurston's notes, he gives two different definitions of the Gromov norm (also called simplicial volume) of a manifold and states that they are equal but does not prove it. Gromov proves it in the special case of hyperbolic manifolds as a consequence of his proof that simplicial volume is proportional to volume. We give a proof for all differentiable manifolds. This version corrects a few typos in an earlier version and formally proves the theorem for differentiable manifolds rather than locally finite simplicial complexes (but very few actual changes have been made).


title: Exact Lagrangian submanifolds of $T^*S^n$ and the graded Kronecker quiver

abstract: This short and fairly informal note is an attempt to explain how methods of homological algebra may be brought to bear on problems in symplectic geometry. We do this by looking at a familiar sample question, which is that of the topology of Lagrangian submanifolds in the cotangent bundle of the sphere.


title: A Lie Group without universal covering

abstract: We present an example of a disconnected Lie group for which there is no universal covering (as Lie group).


title: Dual Gabriel Theorem with applications

abstract: We introduce the quiver of a bicomodule over a cosemisimple coalgebra. Applying this to the coradical $C_0$ of an arbitrary coalgebra $C$, we give an alternative definition of the Gabriel quiver of $C$, and then show that it coincides with the known $\operatorname {Ext}$ quiver of $C$ and the link quiver of $C$. The dual Gabriel theorem for a coalgebra with separable coradical is obtained, which generalizes the corresponding result for a pointed coalgebra. We also give a new description of $C_1$ of any coalgebra $C$, which can be regarded as a generalization of the first part of the well-known Taft-Wilson Theorem for pointed coalgebras. As applications, we give a characterization of locally finite coalgebras via their Gabriel quivers, and a property of the Gabriel quiver of a quasi-coFrobenius coalgebra.


title: On Bombieri's asymptotic sieve

abstract: If a sequence $(a_n)$ of non-negative real numbers has ``best possible'' distribution in arithmetic progressions, Bombieri showed that one can deduce an asymptotic formula for the sum $\sum_{n\le x} a_n \Lambda_k(n)$ for $k\ge 2$. By constructing appropriate sequences, we show that any weakening of the well-distribution property is not sufficient to deduce the same conclusion.


title: A combinatorial proof of Sun's "curious" identity

abstract: A binomial coefficient identity due to Zhi-Wei Sun is the subject of half a dozen recent papers that prove it by various analytic techniques and establish a generalization. Here we give a simple proof that uses weight-reversing involutions on suitable configurations involving dominos and colorings. With somewhat more work, the method extends to the generalization also.


title: Involutions Restricted by 3412, Continued Fractions, and Chebyshev Polynomials

abstract: We study generating functions for the number of involutions, even involutions, and odd involutions in $S_n$ subject to two restrictions. One restriction is that the involution avoid 3412 or contain 3412 exactly once. The other restriction is that the involution avoid another pattern $\tau$ or contain $\tau$ exactly once. In many cases we express these generating functions in terms of Chebyshev polynomials of the second kind.


title: Counting occurrences of 3412 in an involution

abstract: We study the generating function for the number of involutions on $n$ letters containing exactly $r\gs0$ occurrences of 3412. It is shown that finding this function for a given $r$ amounts to a routine check of all involutions on $2r+1$ letters.


title: Valuations on convex sets, non-commutative determinants, and pluripotential theory

abstract: A new method of constructing translation invariant continuous valuations on convex subsets of the quaternionic space $\HH^n$ is presented. In particular new examples of $Sp(n)Sp(1)$-invariant translation invariant continuous valuations are constructed. This method is based on the theory of plurisubharmonic functions of quaternionic variables.


title: Cyclic Resultants

abstract: We characterize polynomials having the same set of nonzero cyclic resultants. Generically, for a polynomial $f$ of degree $d$, there are exactly $2^{d-1}$ distinct degree $d$ polynomials with the same set of cyclic resultants as $f$. However, in the generic monic case, degree $d$ polynomials are uniquely determined by their cyclic resultants. Moreover, two reciprocal (``palindromic'') polynomials giving rise to the same set of nonzero cyclic resultants are equal. In the process, we also prove a unique factorization result in semigroup algebras involving products of binomials. Finally, we discuss how our results yield algorithms for explicit reconstruction of polynomials from their cyclic resultants.


title: Generalized complex geometry

abstract: Generalized complex geometry, as developed by Hitchin, contains complex and symplectic geometry as its extremal special cases. In this thesis, we explore novel phenomena exhibited by this geometry, such as the natural action of a B-field. We provide new examples, including some on manifolds admitting no known complex or symplectic structure. We prove a generalized Darboux theorem which yields a local normal form for the geometry. We show that there is an elliptic deformation theory and establish the existence of a Kuranishi moduli space. We then define the concept of a generalized Kahler manifold. We prove that generalized Kahler geometry is equivalent to a bi-Hermitian geometry with torsion first discovered by physicists. We then use this result to solve an outstanding problem in 4-dimensional bi-Hermitian geometry: we prove that there exists a Riemannian metric on the complex projective plane which admits exactly two distinct Hermitian complex structures with equal orientation. Finally, we introduce the concept of generalized complex submanifold, and show that such sub-objects correspond to D-branes in the topological A- and B-models of string theory.


title: Geometric Langlands duality and representations of algebraic groups over commutative rings

abstract: In this paper we give a geometric version of the Satake isomorphism. Given a connected complex reductive algebraic group, we show that the category of representations of its Langlands dual is naturally equivalent to a certain category of perverse sheaves on the complex affine Grassmannian. We can work with perverse sheaves with coefficients in an arbitrary commutative ring and then we recover the representation theory of the split form of the dual group over the commutative ring.


title: The distribution of integers with a divisor in a given interval

abstract: We determine the order of magnitude of H(x,y,z), the number of integers n\le x having a divisor in (y,z], for all x,y and z. We also study H_r(x,y,z), the number of integers n\le x having exactly r divisors in (y,z]. When r=1 we establish the order of magnitude of H_1(x,y,z) for all x,y,z satisfying z\le x^{0.49}. For every r\ge 2, $C>1$ and $\epsilon>0$, we determine the the order of magnitude of H_r(x,y,z) when y is large and y+y/(\log y)^{\log 4 -1 - \epsilon} \le z \le \min(y^{C},x^{1/2-\epsilon}). As a consequence of these bounds, we settle a 1960 conjecture of Erdos and several related conjectures. One key element of the proofs is a new result on the distribution of uniform order statistics.


title: The moduli space of n tropically collinear points in R^d

abstract: The tropical semiring (R, min, +) has enjoyed a recent renaissance, owing to its connections to mathematical biology as well as optimization and algebraic geometry. In this paper, we investigate the space of labeled n-point configurations lying on a tropical line in d-space, which is interpretable as the space of n-species phylogenetic trees. This is equivalent to the space of d by n matrices of tropical rank two, a simplicial complex. We prove that this simplicial complex is shellable for dimension d=3 and compute its homology in this case, conjecturing that this complex is shellable in general. We also investigate the space of d by n matrices of Barvinok rank two, a subcomplex directly related to optimization, giving a complete description of this subcomplex in the case d=3.


title: Danielewski-Fieseler surfaces

abstract: We study a class of normal affine surfaces with additive group actions which contains in particular the Danielewski surfaces in $\ba^{3}$ given by the equations $x^{n}z=P(y)$, where $P$ is a nonconstant polynomial with simple roots. We call them Danielewski-Fieseler Surfaces. We reinterpret a construction of Fieseler \cite{Fie94} to show that these surfaces appear as the total spaces of certain torsors under a line bundle over a curve with an $r$-fold point. We classify Danielewski-Fieseler surfaces through labelled rooted trees attached to such a surface in a canonical way. Finally, we characterize those surfaces which have a trivial Makar-Limanov invariant in terms of the associated trees.


title: The non-Abelian momentum map for Poisson-Lie symmetries on the chiral WZNW phase space

abstract: The gauge action of the Lie group $G$ on the chiral WZNW phase space ${\cal M}_{\check G}$ of quasiperiodic fields with $\check G$-valued monodromy, where $\check G\subset G$ is an open submanifold, is known to be a Poisson-Lie (PL) action with respect to any coboundary PL structure on $G$, if the Poisson bracket on ${\cal M}_{\check G}$ is defined by a suitable monodromy dependent exchange $r$-matrix. We describe the momentum map for these symmetries when $G$ is either a factorisable PL group or a compact simple Lie group with its standard PL structure. The main result is an explicit one-to-one correspondence between the monodromy variable $M \in \check G$ and a conventional variable $\Omega \in G^*$. This permits us to convert the PL groupoid associated with a WZNW exchange $r$-matrix into a `canonical' PL groupoid constructed from the Heisenberg double of $G$, and consequently to obtain a natural PL generalization of the classical dynamical Yang-Baxter equation.


title: Dualizing the coarse assembly map

abstract: We formulate and study a new coarse (co-)assembly map. It involves a modification of the Higson corona construction and produces a map dual in an appropriate sense to the standard coarse assembly map. The new assembly map is shown to be an isomorphism in many cases. For the underlying metric space of a group, the coarse co-assembly map is closely related to the existence of a dual Dirac morphism and thus to the Dirac dual Dirac method of attacking the Novikov conjecture.


title: Binomial Coefficients and Quadratic Fields

abstract: Let E be a real quadratic field with discriminant d and let p be an odd prime not dividing d. For \rho=1 or -1, we determine $\prod_{0<c<d, (d/c)=\rho} binomial coeff.{p-1}{\lfloor pc/d\rfloor}$ modulo p^2 in terms of Lucas numbers, the fundamental unit and the class number of E, where (d/c) is the Kronecker symbol.


title: Character expansion method for the first order asymptotics of a matrix integral

abstract: The estimation of various matrix integrals as the size of the matrices goes to infinity is motivated by theoretical physics, geometry and free probability questions. On a rigorous ground, only integrals of one matrix or of several matrices with simple quadratic interaction (called AB interaction) could be evaluated so far. In this article, we follow an idea widely developped in the physics litterature, which is based on character expansion, to study more complex interaction. We more specifically consider a model defined in the spirit of the 'dually weighted graph model' studied by V. A. Kazakov, M. Staudacher and T. Wynter, but with a cutoff function such that the matrix integral and its character expansion converge. We prove that the free energy of this model converges as the size of the matrices go to infinity and study the saddle points of the limit.


title: Anosov Flows, Surface Groups and Curves in Projective Space

abstract: In 1990, Hitchin's proved a component of the space of representations of a surface group in SL(n,R) is homeomorphic to a ball. For n=2,3 this component has been identified with the holonomies of geometric structures (hyperbolic for n=2, or real projective for n=3). In the preprint "Anosov flows, Surface groups and Curves in Projective Space", we extend this interpretation to higher dimension and show every representation in Hitchin's component is attached to a (special) curve in projective space, thus giving a geometric interpretation of these representations. We also prove these representations are faithful, discrete and purely loxodromic (or hyperbolic)


title: Linear equations with unknowns from a multiplicative group in a function field

abstract: Let k be an algebraically closed field of characteristic 0, let K/k be a transcendental extension of arbitrary transcendence degree and let G be a multiplicative subgroup of (K^*)^n such that (k^*)^n is contained in G, and G/(k^*)^n has finite rank r. We consider linear equations a1x1+...+anxn=1 (*) with fixed non-zero coefficients a1,...,an from K, and with unknowns (x1,...,xn) from the group G. Such a solution is called degenerate if there is a subset of a1x1,...,anxn whose sum equals 0. Two solutions (x1,...,xn), (y1,...,yn) are said to belong to the same (k^*)^n-coset if there are c1,...,cn in k^* such that y1=c1*x1,...,yn=cn*xn. We show that the non-degenerate solutions of (*) lie in at most 1+C(3,2)^r+C(4,2)^r+...+C(n+1,2)^r (k^*)^n-cosets, where C(a,b) denotes the binomial coefficient a choose b.


title: On Hopf algebras of dimension $p^3$

abstract: We discuss some general results on finite-dimensional Hopf algebras over an algebraically closed field k of characteristic zero and then apply them to Hopf algebras H of dimension p^{3} over k. There are 10 cases according to the group-like elements of H and H^{*}. We show that in 8 of the 10 cases, it is possible to determine the structure of the Hopf algebra. We give also a partial classification of the quasitriangular Hopf algebras of dimension p^{3} over k, after studying extensions of a group algebra of order p by a Taft algebra of dimension p^{2}. In particular, we prove that every ribbon Hopf algebra of dimension p^{3} over k is either a group algebra or a Frobenius-Lusztig kernel. Finally, using some previous results on bounds for the dimension of the first term H_{1} in the coradical filtration of H, we give the complete classification of the quasitriangular Hopf algebras of dimension 27.


title: Maximal local time of a d-dimensional simple random walk on subsets

abstract: Strong theorems are given for the maximal local time on balls and subspaces for the $d$-dimensional simple symmetric random walk.


title: Dispersive estimates for principally normal pseudodifferential operators

abstract: The aim of these notes is to describe some recent results concerning dispersive estimates for principally normal pseudodifferential operators. The main motivation for this comes from unique continuation problems. Such estimates can be used to prove Carleman inequalities, which in turn yield unique continuation results for various partial differential operators with rough potentials.


title: Another refinement of the Bender-Knuth (ex-)Conjecture

abstract: We compute the generating function of column-strict plane partitions with parts in {1,2,...,n}, at most c columns, p rows of odd length and k parts equal to n. This refines both, Krattenthaler's ["The major counting of nonintersecting lattice paths and generating functions for tableaux", Mem. Amer. Math. Soc. 115 (1995)] and the author's ["A method for proving polynomial enumeration formulas", preprint] refinement of the Bender-Knuth (ex-)Conjecture. The result is proved by an extension of the method for proving polynomial enumeration formulas which was introduced by the author to q-quasi-polynomials.


title: Projective completions of Jordan pairs Part II. Manifold structures and symmetric spaces

abstract: We define symmetric spaces in arbitrary dimension and over arbitrary non-discrete topological fields $\K$, and we construct manifolds and symmetric spaces associated to topological continuous quasi-inverse Jordan pairs and -triple systems. This class of spaces, called smooth generalized projective geometries, generalizes the well-known (finite or infinite-dimensional) bounded symmetric domains as well as their ``compact-like'' duals. An interpretation of such geometries as models of Quantum Mechanics is proposed, and particular attention is paid to geometries that might be considered as "standard models" -- they are associated to associative continuous inverse algebras and to Jordan algebras of hermitian elements in such an algebra.


title: Enumerative properties of generalized associahedra

abstract: Some enumerative aspects of the fans, called generalized associahedra, introduced by S. Fomin and A. Zelevinsky in their theory of cluster algebras are considered, in relation with a bicomplex and its two spectral sequences. A precise enumerative relation with the lattices of generalized noncrossing partitions is conjectured and some evidence is given.


title: Une region explicite sans zero pour la fonction Zeta de Riemann

abstract: The Riemann Zeta function $\zeta(s)$ never vanishes in the region : $$ \Re s \ge 1- \frac1{5.70176 \log |\Im s|} \quad \quad (|\Im s| \ge 2). $$


title: Difference Methods and Ferrero Pairs

abstract: We present a construction method of BIB-designs from a finite group G and a group of automorphisms \Phi on G such that |\Phi(x)| = |\Phi| for all x in G, x <> 0. By using a generalization of the concept of a difference family we can so unify several previous constructions of BIB-designs from planar near-rings.


title: Simple nuclear $C^*$-algebras of tracial topological rank one

abstract: We give a classification theorem for unital separable nuclear simple \CA s with tracial rank no more than one. Let $A$ and $B$ be two unital separable simple nuclear \CA s with $TR(A), TR(B)\le 1$ which satisfy the universal coefficient theorem. We show that $A\cong B$ if and only if $$ (K_0(A), K_0(A)_+, [1_A], K_1(A), T(A)) \cong (K_0(B), K_0(B)_+, [1_B], K_1(B), T(B)). $$


title: Extensions by simple $C^*$-algebras -- Quasidiagonal extensions

abstract: Let $A$ be an amenable separable \CA and $B$ be a non-unital but $\sigma$-unital simple \CA with continuous scale. We show that two essential extensions $\tau_1$ and $\tau_2$ of $A$ by $B$ are approximately unitarily equivalent if and only if $$ [\tau_1]=[\tau_2] {\rm in} KL(A, M(B)/B). $$ If $A$ is assumed to satisfy the Universal Coefficient Theorem, there is a bijection from approximate unitary equivalence classes of the above mentioned extensions to $KL(A, M(B)/B).$ Using $KL(A, M(B)/B),$ we compute exactly when an essential extension is quasidiagonal. We show that quasidiagonal extensions may not be approximately trivial. We also study the approximately trivial extensions.


title: Full extensions and approximate unitary equivalences

abstract: Let $A$ be a unital separable amenable \CA and $C$ be a unital \CA with certain infinite property. We show that two full monomorphisms $h_1, h_2: A\to C$ are approximately unitarily equivalent if and only if $[h_1]=[h_2]$ in $KL(A,C).$ Let $B$ be a non-unital but $\sigma$-unital \CA for which $M(B)/B$ has the certain infinite property. We prove that two full essential extensions are approximately unitarily equivalent if and only if they induce the same element in $KL(A, M(B)/B).$ The set of approximately unitarily equivalence classes of full essential extensions forms a group. If $A$ satisfies the Universal Coefficient Theorem, it is can be identified with $KL(A, M(B)/B).$


title: The heat kernel transform for the Heisenberg group

abstract: The heat kernel transform H_t for the Heisenberg group is studied in detail. The main result shows that the image of H_t is a direct sum of two weighted Bergman spaces whose associated weighted functions are of oscillatory nature, i.e. attain positive and negative values.


title: Base locus of linear systems on the blowing-up of P^3 along at most 8 general points

abstract: Consider a (non-empty) linear system of surfaces of degree d in P^3 through at most 8 multiple points in general position and let L denote the corresponding complete linear system on the blowing-up X of P^3 along those general points. Then we determine the base locus of such linear systems L on X.


title: Duality for Knizhnik-Zamolodchikov and Dynamical Equations, and Hypergeometric Integrals

abstract: We review results on the Knizhnik-Zamolodchikov (KZ) and dynamical equations, both differential and difference, in the context of the $(gl_k,gl_n)$ duality, and their implications for hypergeometric integrals. The KZ and dynamical equations naturally exchange under the duality, which provides two kinds of integral formulae for hypergeometric solutions of the equations. This fact yields identities for hypergeometric integrals of different dimensions, the dimension of the first integral being the parameter of the second one, and vice versa. Similar identites exist between hypergeometric and q-hypergeometric integrals of Mellin-Barnes type of different dimensions. Those identites are multidimensional analogues of the equality of two integral representations for the Gauss hypergeometric function.


title: Lectures on tensor categories

abstract: We give a review of some recent developments in the theory of tensor categories. The topics include realizability of fusion rings, Ocneanu rigidity, module categories, weak Hopf algebras, Morita theory for tensor categories, lifting theory, categorical dimensions, Frobenius- Perron dimensions, classification of tensor categories.


title: How Complex are Random Graphs in First Order Logic?

abstract: It is not hard to write a first order formula which is true for a given graph G but is false for any graph not isomorphic to G. The smallest number $(G) of nested quantifiers in a such formula can serve as a measure for the ``first order complexity'' of G. Here, this parameter is studied for random graphs. We determine it asymptotically when the edge probability p is constant; in fact, D(G) is of order log n then. For very sparse graphs its magnitude is \Theta(n). On the other hand, for certain (carefully chosen) values of p the parameter D(G) can drop down to the very slow growing function log^* n, the inverse of the tower-function. The general picture, however, is still a mystery.


title: Logarithmic Sobolev inequality for zero-range Dynamics

abstract: We prove that the logarithmic Sobolev constant for zero-range processes in a box of diameter $L$ grows as $L^2$.


title: Families of surfaces lying in a null set

abstract: We generalise a result of Sawyer to show the following: For each y\in R^p and w\in R^q let \Gamma(y,w) be a measurable d-dimensional surface in R^n. Under conditions on the number of parameters and smoothness assumptions, there exists a set of measure zero that includes a \Gamma(y,w) for every y.


title: Linearisation d'endomorphismes holomorphes de CP(k) et caracterisation des exemples de Lattes par leur mesure de Green

abstract: Let f an holomorphic endomorphism of CP(k) with degree larger than 2. We show that if the Green measure of f is not singular, then f is rigid : it is a Lattes example. The proof relies on a linearization property of the iterates of f, along typical orbits. This property allow us to regularize the Green current, and to prove the rigidity. -- -- -- Soit f un endomorphisme holomorphe de CP(k) de degre plus grand que 2. Nous montrons que si la mesure de Green de f n'est pas singuliere, alors f est tres rigide : c'est un exemple de Lattes. La demonstration repose sur une propriete de linearisation des iteres de f le long d'orbites typiques. Cette propriete nous permet de "regulariser" le courant de Green, et d'en deduire la rigidite.


title: Clover calculus for homology 3-spheres via basic algebraic topology

abstract: We present an alternative definition for the Goussarov--Habiro filtration of the Z-module freely generated by oriented integral homology 3-spheres, by means of Lagrangian-preserving homology handlebody replacements (LP-surgeries). Garoufalidis, Goussarov and Polyak proved that the graded space (G_n)_n associated to this filtration is generated by Jacobi diagrams. Here, we express elements associated to LP-surgeries as explicit combinations of these Jacobi diagrams in (G_n)_n. The obtained coefficient in front of a Jacobi diagram is computed like its weight system with respect to a Lie algebra equipped with a non-degenerate invariant bilinear form, where cup products in 3-manifolds play the role of the Lie bracket and the linking number replaces the invariant form. In particular, this article provides an algebraic version of the graphical clover calculus developed by Garoufalidis, Goussarov, Habiro and Polyak. This version induces splitting formulae for all finite type invariants of homology 3-spheres.


title: A generalization of Kawanaka's identity for Hall-Littlewood polynomials and applications

abstract: An infinite summation formula of Hall-Littlewood polynomials due to Kawanaka is generalized to a finite summation formula, which implies, as applications, twelve multiple q-identities of Rogers-Ramanujan type.


title: Hardy and Hardy PDO type inequalities in domains. Part I

abstract: The previous "Polynomial Capacities, Poincare' type inequalities and Spectral synthesis in Sobolev space" is a prerequisite. A parallell reading is recommended.


title: A geometrical construction for the polynomial invariants of some reflection groups

abstract: In these notes we investigate the rings of real polynomials in four variables, which are invariant under the action of the reflectiongroups [3,4,3] and [3,3,5]. It is well known that they are rationally generated in degree 2,6,8,12 and 2,12,20,30. We give a different proof of this fact by giving explicit equations for the generating polynomials.


title: A remark on the history of Hardy inequalities in domains

abstract: This a very brief account of the main line of development of Hardy inequalities.


title: Asymptotics for Toeplitz determinants on a circular arc

abstract: An asymptotic formula is found for a Toeplitz determinant with the symbol supported on an arc of the unit circle in the case when the symbol has Fisher-Hartwig singularities.


title: Is the deformation space of complete affine structures on the 2-torus smooth?

abstract: Periods of parallel exterior forms define natural coordinates on the deformation space of complete affine structures on the two-torus. These coordinates define a differentiable structure on this deformation space, under which it is diffeomorphic to $R^2$. The action of the mapping class group of $T^2$ is equivalent in these coordinates with the standard linear action of $\SL_2(Z)$ on $R^2$.


title: Gap probability in the spectrum of random matrices and asymptotics of polynomials orthogonal on an arc of the unit circle

abstract: We obtain uniform asymptotics for polynomials orthogonal on a fixed and varying arc of the unit circle with a positive analytic weight function. We also complete the proof of the large $s$ asymptotic expansion for the Fredholm determinant with the kernel $\sin z/(\pi z)$ on the interval $[0,s]$, verifying a conjecture of Dyson for the constant term in the expansion. In the Gaussian Unitary Ensemble of random matrices, this determinant describes the probability for an interval of length $s$ in the bulk scaling limit to be free from the eigenvalues.


title: Infra-Solvmanifolds and Rigidity of Subgroups in Solvable Linear Algebraic Groups

abstract: We give a new proof that compact infra-solvmanifolds with isomorphic fundamental groups are smoothly diffeomorphic. More generally, we prove rigidity results for manifolds which are constructed using affine actions of virtually polycyclic groups on solvable Lie groups. Our results are derived from rigidity properties of subgroups in solvable linear algebraic groups.


title: Stable Configurations of Linear Subspaces and Quotient Coherent Sheaves

abstract: In this paper we provide some stability criteria for systems of linear subspaces of $V \otimes W$ and for systems of quotient coherent sheaves, using, respectively, the Hilbert-Mumford numerical criterion and moment map. Along the way, we generalize the Gelfand-MacPherson correspondence [11] from point sets to sets of linear subspaces (of various dimensions). And, as an application, we provide some examples of $G$-ample cones without any top chambers. The results of this paper are based upon and/or generalize some earlier works of Klyachko [18], Totaro [28], Gelfand-MacPherson [11], Kapranov [17], Foth-Lozano [8], Simpson [24], Wang [30], Phong-Sturm [22], Zhang [32] and Luo [20], among others.


title: Symmetry of Arthur parameters under Aubert involution

abstract: We consider a nontempered $A$-parameter $\psi$ of $SO(2n+1, F)$ of a certain type and the base point representation $\pi$ in the $A$-packet of $\psi$. Let $\hat{\pi}$ be the Aubert involution of $\pi$. We compute explicitly the Langlands data of $\hat{\pi}$ and the $A$-parameter $\hat{\psi}$ of $\hat{\pi}$. We investigate whether $\psi$ and $\hat{\psi}$ are symmetric. Although symmetry holds for large classes of parameters, it does not hold in general.


title: k-term Arithmetic Progressions in Sumsets

abstract: In this paper we give a very elementary proof that if A and B are subsets of {1,2,...,N}, each having at least 5N^{1 - (4(k-1))^{-1}} elements, then the sumset A+B has a k-term arithmetic progression.


title: Gelfand-Kirillov dimension of commutative subalgebras of simple infinite dimensional algebras and their quotient division algebras

abstract: For central simple finitely generated algebras of finite Gelfand-Kirillov dimension and for their division algebras upper bounds are obtained for the transcendence degree of their commutative subalgebras and subfields respectively. In the formulae for the upper bounds are used only two dimensions of the algebras: the Gelfand-Kirillov and the filter dimension. In the case of the ring of differential operators on a smooth irreducible affine algebraic variety the upper bounds are the exact upper bounds. A similar upper bound is given for the transcendence degree of isotropic subalgebras of strongly simple Poisson algebras.


title: Quadrature domains and kernel function zipping

abstract: It is proved that quadrature domains are ubiquitous in a very strong sense in the realm of smoothly bounded multiply connected domains in the plane. In fact, they are so dense that one might as well assume that any given smooth domain one is dealing with is a quadrature domain, and this allows access to a host of strong conditions on the classical kernel functions associated to the domain. Following this string of ideas leads to the discovery that the Bergman kernel can be zipped down to a strikingly small data set. It is also proved that the kernel functions associated to a quadrature domain must be algebraic.


title: On maps between modular Jacobians and Jacobians of Shimura curves

abstract: By the Jacquet-Langlands correspondence and Faltings' isogeny theorem, it is known that the abelian variety J_0^{Dpq}(N) (the Jacobian of a Shimura curve of discriminant Dpq with Gamma_0(N) level structure) is isogenous to the pq-new subvariety of J_0^D(pqN), whenever p and q are distinct primes not dividing D or N. However, this approach is entirely nonconstructive, and gives no information at all about any particular isogeny between the two varieties. In this paper, we determine the kernels of all possible maps from one variety to the other up to support on a small finite set of maximal ideals of the Hecke algebra. We also examine consequences of this computation for the geometry of Jacobians of Shimura curves. In particular, we obtain a "multiplicity one" result for certain Galois representations in the torsion of Jacobians of such curves.


title: Achievable ranks of intersections of finitely generated free groups

abstract: We answer a question due to A. Myasnikov by proving that all expected ranks occur as the ranks of intersections of finitely generated subgroups of free groups.