title: Existence and Stability of Compressible Current-Vortex Sheets in Three-Dimensional Magnetohydrodynamics

abstract: Compressible vortex sheets are fundamental waves in entropy solutions to the multidimensional hyperbolic systems of conservation laws. For the Euler equations in 2-D gas dynamics, the classical linearized stability analysis on compressible vortex sheets predicts stability when the Mach number $M>\sqrt{2}$ and instability when $M<\sqrt{2}$; and Artola-Majda's analysis reveals that the nonlinear instability may occur if planar vortex sheets are perturbed by highly oscillatory waves even when $M>\sqrt{2}$. For the Euler equations in 3-D, every compressible vortex sheet is violently unstable and this violent instability is the analogue of the Kelvin-Helmholtz instability for incompressible fluids. The purpose of this paper is to understand whether compressible vortex sheets in 3-D, which are unstable in the regime of pure gas dynamics, become stable under the magnetic effect in 3-D magnetohydrodynamics (MHD). One of the main features is that the stability problem is equivalent to a free boundary problem whose free boundary is a characteristic surface. Another feature is that the linearized problem for current-vortex sheets in MHD does not meet the uniform Kreiss-Lopatinskii condition. In this paper, we develop a nonlinear approach to deal with these difficulties in 3-D MHD. We first carefully formulate the linearized problem for the current-vortex sheets to show rigorously that the magnetic effect makes the problem weakly stable and establish energy estimates, especially high-order energy estimates, in terms of the nonhomogeneous terms and variable coefficients without loss of the order. Then we exploit these results to develop a suitable iteration scheme of Nash-Moser-H\"{o}rmander type and establish its convergence, which leads to the existence and stability of compressible current-vortex sheets, locally in time, in the 3-D MHD.


title: A Generalisation of Steenrod's Approximation Theorem

abstract: In this paper we aim for a generalisation of the Steenrod Approximation Theorem from, concerning a smoothing procedure for sections in smooth locally trivial bundles. The generalisation is that we consider locally trivial smooth bundles with a possibly infinite-dimensional typical fibre. The main result states that a continuous section in a smooth locally trivial bundles can always be smoothed out in a very controlled way (in terms of the graph topology on spaces of continuous functions), preserving the section on regions where it is already smooth.


title: Boundary Feedback Control of Unstable Heat Equation with Space and Time Dependent Coefficient

abstract: In this paper, we study the control of the linear heat equation with a space and time dependent coefficient function by the Dirichlet and Neumann boundary control laws. This equation models the heat diffusion and space, time dependent heat generation in a one dimensional rod. Without control, the system is unstable if the coefficient function is positive and large. With boundary control based on the state feedback, we show that for the time analytic coefficient $a(x,t)$, the exponential stability of the system at any rate can be achieved. It is further shown that both the control of the Dirichlet and Neumann boundary value systems can be stabilized using this method. In doing this, the control kernels are {\it explicitly} calculated as series of approximation and they are used in the simulations. The numerical simulation confirmed the theoretical arguments and the controllability of the system. The possible future works are discussed at the end. This is the continuation of the recent work of Liu [{\it SIAM J. Cont. Optim.} vol. 42, pp. 1033-1043] and Smyshlyaev and Krstic [accepted by {\it Automatica}].


title: Boundary Feedback Control of Complex Ginzburg-Landau Equation with A Simultaneously Space and Time Dependent Coefficient

abstract: Linearized complex Ginzburg-Landau equation models various physical phenomena and the stability controls of them are important. In this paper, we study the control of the LCGLE with a simultaneously space and time dependent coefficient by transforming it into a complex heat equation. It is shown that under certain conditions on the coefficient functions $a_2(\tilde{x},\tilde{t})$, the exponential stability of the system at any rate can be achieved by boundary control based on the state feedback. The kernels are {\it explicitly} calculated as series of approximation and shown to be twice differentiable by using the {\it method of dominant}. Both the exponential stabilities of the systems with Dirichlet and Neumann boundary conditions are strictly proven.


title: Application of the t-model of optimal prediction to the estimation of the rate of decay of solutions of the Euler equations in two and three dimensions

abstract: The "t-model" for dimensional reduction is applied to the estimation of the rate of decay of solutions of the Burgers equation and of the Euler equations in two and three space dimensions. The model was first derived in a statistical mechanics context, but here we analyze it purely as a numerical tool and prove its convergence. In the Burgers case the model captures the rate of decay exactly, as was already previously shown. For the Euler equations in two space dimensions, the model preserves energy as it should. In three dimensions, we find a power law decay in time and observe a temporal intermittency.


title: Hyperbolic geometric flow (I): short-time existence and nonlinear stability

abstract: In this paper we establish the short-time existence and uniqueness theorem for hyperbolic geometric flow, and prove the nonlinear stability of hyperbolic geometric flow defined on the Euclidean space with dimension larger than 4. Wave equations satisfied by the curvatures are derived. The relation of hypergeometric flow to the Einstein equation and the Ricci flow is discussed.


title: On Estimates of the Number of Collisions for Billiards in Polyhedral Angles

abstract: We obtain an upper bound of the number of collisions of any billiard trajectory in a polyhedral angle in terms of the minimal eigenvalue of a positive definite matrix which characterizes the angle. Elements of the matrix are scalar products between the unit normal vectors of faces of the angle.


title: Generalized Serre duality

abstract: We introduce a notion of generalized Serre duality on a Hom-finite Krull-Schmidt triangulated category $\mathcal{T}$. This duality induces the generalized Serre functor on $\mathcal{T}$, which is a linear triangle equivalence between two thick triangulated subcategories of $\mathcal{T}$. Moreover, the domain of the generalized Serre functor is the smallest additive subcategory of $\mathcal{T}$ containing all the indecomposable objects which appear as the third term of an Auslander-Reiten triangle in $\mathcal{T}$; dually, the range of the generalized Serre functor is the smallest additive subcategory of $\mathcal{T}$ containing all the indecomposable objects which appear as the first term of an Auslander-Reiten triangle in $\mathcal{T}$. We compute explicitly the generalized Serre duality on the bounded derived categories of artin algebras and of certain noncommutative projective schemes in the sense of Artin and Zhang. We obtain a characterization of Gorenstein algebras: an artin algebra $A$ is Gorenstein if and only if the bounded homotopy category of finitely generated projective $A$-modules has Serre duality in the sense of Bondal and Kapranov.


title: Subharmonic functions, generalizations and separately subharmonic functions

abstract: First, we give the definition for quasi-nearly subharmonic functions, now for general, not necessarily nonnegative functions, unlike previously. We point out that our function class incudes, among others, quasisubharmonic functions, nearly subharmonic functions (in a slightly generalized sense) and almost subharmonic functions. We also give some basic properties of quasi-nearly subharmonic functions. Second, after recalling some of the existing subharmonicity results of separately subharmonic functions, we give the corresponding counterparts for separately quasi-nearly subharmonic functions, thus improving previous results of ours, of Lelong, of Avanissian and of Arsove. Third, we give two results concerning the subharmonicity of a function subharmonic with respect to the first variable and harmonic with respect to the second variable. The first result improves a result of Arsove, concerning the case when the function has, in addition, locally a negative integrable minorant. The second result improves a result of Ko{\l}odziej and Thorbi\"ornson concerning the subharmonicity of a function subharmonic and ${\mathcal{C}}^2$ in the first variable and harmonic in the second.


title: The Euler characteristic of a category

abstract: The Euler characteristic of a finite category is defined and shown to be compatible with Euler characteristics of other types of object, including orbifolds. A formula for the cardinality of the colimit of a diagram of sets is proved, generalizing the classical inclusion-exclusion formula. Both rest on a generalization of Mobius-Rota inversion from posets to categories.


title: Groebner bases, monomial group actions, and the Cox rings of Del Pezzo surfaces

abstract: We introduce the notion of monomial group action and study some of its consequences for Groebner basis theory. As an application we prove a conjecture of V. Batyrev and O. Popov describing the Cox rings of Del Pezzo surfaces (of degree at least 3) as quotients of a polynomial ring by an ideal generated by quadrics.


title: Boxicity and Maximum degree

abstract: An axis-parallel $d$--dimensional box is a Cartesian product $R_1 \times R_2 \times ... \times R_d$ where $R_i$ (for $1 \le i \le d$) is a closed interval of the form $[a_i, b_i]$ on the real line. For a graph $G$, its \emph{boxicity} $\boxi(G)$ is the minimum dimension $d$, such that $G$ is representable as the intersection graph of (axis--parallel) boxes in $d$--dimensional space. The concept of boxicity finds applications in various areas such as ecology, operation research etc. We show that for any graph $G$ with maximum degree $\Delta$, $\boxi(G) \le 2 \Delta^2 + 2$. That the bound does not depend on the number of vertices is a bit surprising considering the fact that there are highly connected bounded degree graphs such as expander graphs. Our proof is very short and constructive. We conjecture that $\boxi(G)$ is $O(\Delta)$.


title: Entropy production in thermostats II

abstract: We show that an arbitrary Anosov Gaussian thermostat close to equilibrium has positive entropy poduction unless the external field $E$ has a global potential. The configuration space is allowed to have any dimension and magnetic forces are also allowed. We also show the following non-perturbative result. Suppose a Gaussian thermostat satisfies \[K_{w}(\sigma)+{1/4}|E_{\sigma}|^2<0\] for every 2-plane $\sigma$, where $K_{w}$ is the sectional curvature of the associated Weyl connection and $E_{\sigma}$ is the orthogonal projection of $E$ onto $\sigma$. Then the entropy production of any SRB measure is positive unless $E$ has a global potential. A related non-perturbative result is also obtained for certain generalized thermostats on surfaces.


title: Generalized Functions and Infinitesimals

abstract: It has been widely believed for half a century that there will never exist a nonlinear theory of generalized functions, in any mathematical context. The aim of this text is to show the converse is the case and invite the reader to participate in the debate and to examine the consequences at an unexpectedly elementary level. The paradox appears as another instance of the historical controversy on the existence of infinitesimals in mathematics, which provides a connection with nonstandard analysis. This text is the written version of a talk at the meeting of Nonstandard Analysis, Pisa, june 2006.


title: The Abelian/Nonabelian Correspondence and Frobenius Manifolds

abstract: We propose an approach via Frobenius manifolds to the study (began in math.AG/0407254) of the relation between rational Gromov-Witten invariants of nonabelian quotients X//G and those of the corresponding ``abelianized'' quotients X//T, for T a maximal torus in G. The ensuing conjecture expresses the Gromov-Witten potential of X//G in terms of the potential of X//T. We prove this conjecture when the nonabelian quotients are partial flag manifolds.


title: Global well-posedness, scattering and blow-up for the energy-critical, focusing, non-linear Schrodinger equation in the radial case

abstract: We prove, for the energy critical, focusing NLS, that for data whose energy is smaller than that of the standing wave, and whose homogeneous Sobolev norm H^1 is smaller than that of the standing wave and which is radial, we have global well-posedness and scattering in dimensions 3, 4 and 5. This is sharp since if the data is in the inhomogeneous Sobolev space H^1, of energy smaller than the standing wave but of larger homogeneous H^1 norm, we have blow-up in finite time. The result follows from a general method that we introduce into this type of critical problem. By concentration-compactness we produce a critical element, which modulo the symmetries of the equation is compact, has minimal energy among those which fail to have the conclusion of our theorem. In addition, we show that the dilation parameter in the symmetry, for this solution, can be taken strictly positive.We then establish a rigidity theorem that shows that no such compact, modulo symmetries, object can exist. It is only at this step that we use the radial hypothesis.The same analysis, in a simplified form, applies also to the defocusing case, giving a new proof of results of Bourgain and Tao.


title: The classification of surfaces with p_g = q = 0 isogenous to a product of curves

abstract: We classify all the surfaces with p_g = q = 0 which admit an unramified covering which is isomorphic to a product of curves. Beyond the trivial case \PP^1 x \PP^1 we find 17 families which we explicitly describe. We reduce the problem to a combinatorial description of certain generating systems for finite groups which we solve using also MAGMA's library of groups of small order.


title: The pro-$p$ Hom-form of the birational anabelian conjecture

abstract: We prove a pro-$p$ Hom-form of the birational anabelian conjecture for function fields over sub-$p$-adic fields. Our starting point is the Theorem of Mochizuki in the case of transcendence degree 1.


title: Orbifold Cohomology of A Wreath Product Orbifold

abstract: Let X be a compact almost complex manifold with an action of a finite group G. We compute the algebra of G^n coinvariants of the stringy cohomology (math.AG/0104207) of X^n with an action of a wreath product of G. We show that it is isomorphic to the algebra A{S_n} defined by Lehn and Sorger (math.AG/0012166) where we set A to be the orbifold cohomology of [X/G]. As a consequence, we verify a special case of Ruan's cohomological hyper-kaehler conjecture (math.AG/0201123).


title: The probability that a small perturbation of a numerical analysis problem is difficult

abstract: We prove a general theorem providing smoothed analysis estimates for conic condition numbers of problems of numerical analysis. Our probability estimates depend only on geometric invariants of the corresponding sets of ill-posed inputs. Several applications to linear and polynomial equation solving show that the estimates obtained in this way are easy to derive and quite accurate. The main theorem is based on a volume estimate of \epsilon-tubular neighborhoods around a real algebraic subvariety of a sphere, intersected with a disk of radius \sigma. Besides \epsilon and \sigma, this bound depends only the dimension of the sphere and on the degree of the defining equations.


title: Tail asymptotics for the maximum of perturbed random walk

abstract: Consider a random walk $S=(S_n:n\geq 0)$ that is ``perturbed'' by a stationary sequence $(\xi_n:n\geq 0)$ to produce the process $(S_n+\xi_n:n\geq0)$. This paper is concerned with computing the distribution of the all-time maximum $M_{\infty}=\max \{S_k+\xi_k:k\geq0\}$ of perturbed random walk with a negative drift. Such a maximum arises in several different applications settings, including production systems, communications networks and insurance risk. Our main results describe asymptotics for $\mathbb{P}(M_{\infty}>x)$ as $x\to\infty$. The tail asymptotics depend greatly on whether the $\xi_n$'s are light-tailed or heavy-tailed. In the light-tailed setting, the tail asymptotic is closely related to the Cram\'{e}r--Lundberg asymptotic for standard random walk.


title: Random rewards, fractional Brownian local times and stable self-similar processes

abstract: We describe a new class of self-similar symmetric $\alpha$-stable processes with stationary increments arising as a large time scale limit in a situation where many users are earning random rewards or incurring random costs. The resulting models are different from the ones studied earlier both in their memory properties and smoothness of the sample paths.


title: Weak Projections onto a Braided Hopf Algebra

abstract: We show that, under some mild conditions, a bialgebra in an abelian and coabelian braided monoidal category has a weak projection onto a formally smooth (as a coalgebra) sub-bialgebra with antipode; see Theorem 1.12. In the second part of the paper we prove that bialgebras with weak projections are cross product bialgebras; see Theorem 2.12. In the particular case when the bialgebra $A$ is cocommutative and a certain cocycle associated to the weak projection is trivial we prove that $A$ is a double cross product, or biproduct in Madjid's terminology. The last result is based on a universal property of double cross products which, by Theorem 2.15, works in braided monoidal categories. We also investigate the situation when the right action of the associated matched pair is trivial.


title: On certain arithmetic functions involving exponential divisors

abstract: The integer $d$ is called an exponential divisor of $n=\prod_{i=1}^r p_i^{a_i}>1$ if $d=\prod_{i=1}^r p_i^{c_i}$, where $c_i \mid a_i$ for every $1\le i \le r$. The integers $n=\prod_{i=1}^r p_i^{a_i}, m=\prod_{i=1}^r p_i^{b_i}>1$ having the same prime factors are called exponentially coprime if $(a_i,b_i)=1$ for every $1\le i\le r$. In the paper we investigate asymptotic properties of certain arithmetic functions involving exponential divisors and exponentially coprime integers.


title: On exponentially coprime integers

abstract: The integers $n=\prod_{i=1}^r p_i^{a_i}$ and $m=\prod_{i=1}^r p_i^{b_i}$ having the same prime factors are called exponentially coprime if $(a_i,b_i)=1$ for every $1\le i\le r$. We estimate the number of pairs of exponentially coprime integers $n,m\le x$ having the prime factors $p_1,...,p_r$ and show that the asymptotic density of pairs of exponentially coprime integers having $r$ fixed prime divisors is $(\zeta(2))^{-r}$.


title: Jacobians in isogeny classes of supersingular abelian threefolds in characteristic 2

abstract: We exhibit the isogeny classes of supersingular abelian threefolds over F_{2^n} containing the Jacobian of a genus 3 curve. In particular, we prove that for even n>6 there always exist a maximal and a minimal curve over F_{2^n}. All the curves can be obtained explicitly.


title: A lower bound for the r-order of a matrix modulo N

abstract: For a positive integer $N$, we define the N-rank of a non singular integer $d\times d$ matrix $A$ to be the maximum integer $r$ such that there exists a minor of order $r$ whose determinant is not divisible by $N$. Given a positive integer $r$, we study the growth of the minumum integer $k$, such that $A^k-I$ has N-rank at most $r$, as a function of $N$. We show that this integer $k$ goes to infinity faster than $\log N$ if and only if for every eigenvalue $\lambda$ which is not a root of unity, the sum of the dimensions of the eigenspaces relative to eigenvalues which are multiplicatively dependent with $\lambda$ and are not roots of unity, plus the dimensions of the eigenspaces relative to eigenvalues which are roots of unity, does not exceed $d-r-1$. This result will be applied to recover a recent theorem of Luca and Shparlinski which states that the group of rational points of an ordinary elliptic curve $E$ over a finite field with $q^n$ elements is almost cyclic, in a sense to be defined, when $n$ goes to infinity. We will also extend this result to the product of two elliptic curves over a finite field and show that the orders of the groups of $\mathbb{F}_{q^n}-$rational points of two non isogenous elliptic curves are almost coprime when $n$ approaches infinity.


title: Sums of squares from elliptic pfaffians

abstract: We give a new proof of Milne's formulas for the number of representations of an integer as a sum of 4m^2 and 4m(m+1) squares. The proof is based on explicit evaluation of pfaffians with elliptic function entries, and relates Milne's formulas to Schur Q-polynomials and to correlation functions for continuous dual Hahn polynomials. We also state a new formula for 2m^2 squares.


title: New Method for Solving Large Classes of Nonlinear Systems of PDEs

abstract: The essentials of a new method in solving very large classes of nonlinear systems of PDEs, possibly associated with initial and/or boundary value problems, are presented. The PDEs can be defined by continuous, not necessarily smooth expressions, and the solutions obtained cab be assimilated with usual measurable functions, or even with Hausdorff continuous ones. The respective result sets aside completely, and with a large nonlinear margin, the celebrated 1957 impossibility of Hans Lewy regarding the nonexistence of solution in distributions of large classes of linear smooth coefficient PDEs.


title: Anti-Self-Dual Conformal Structures in Neutral Signature

abstract: We review the subject of four dimensional anti-self-dual conformal structures with signature (+ + - -). Both local and global questions are discussed. Most of the material is well known in the literature and we present it in a way which underlines the connection with integrable systems. Some of the results - e.g. the Lax pair characterisation of the scalar-flat Kahler condition and a twistor construction of a conformal structure with twisting null Killing vector - are new.


title: Gaussian hypergeometric series and supercongruences

abstract: Let p be an odd prime. In 1984, Greene introduced the notion of hypergeometric functions over finite fields. Special values of these functions have been of interest as they are related to the number of F_p points on algebraic varieties and to Fourier coefficients of modular forms. In this paper, we explicitly determine these functions modulo higher powers of p and discuss an application to supercongruences. This application uses two non-trivial generalized Harmonic sum identities discovered using the computer summation package Sigma. We illustrate the usage of Sigma in the discovery and proof of these two identities.


title: The Birman-Schwinger principle in von Neumann algebras of finite type

abstract: We introduce a relative index for a pair of dissipative operators in a von Neumann algebra of finite type and prove an analog of the Birman-Schwinger principle in this setting. As an application of this result, revisiting the Birman-Krein formula in the abstract scattering theory, we represent the de la Harpe-Skandalis determinant of the characteristic function of dissipative operators in the algebra in terms of the relative index.


title: Spectral gap for stable process on convex planar double symmetric domains

abstract: We study the semigroup of the symmetric $\alpha$-stable process in bounded domains in $\R^2$. We obtain a variational formula for the spectral gap, i.e. the difference between two first eigenvalues of the generator of this semigroup. This variational formula allows us to obtain lower bound estimates of the spectral gap for convex planar domains which are symmetric with respect to both coordinate axes. For rectangles, using "midconcavity" of the first eigenfunction, we obtain sharp upper and lower bound estimates of the spectral gap.


title: A unique decomposition theorem for tight contact 3-manifolds

abstract: It has been shown by V. Colin that every tight contact 3-manifold can be written as a connected sum of prime manifolds. Here we prove that the summands in this decomposition are unique up to order and contactomorphism.


title: Representations of Lie groups and random matrices

abstract: We study the asymptotics of representations of a fixed compact Lie group. We prove that the limit behavior of a sequence of such representations can be described in terms of certain random matrices; in particular operations on representations (for example: tensor product, restriction to a subgroup) correspond to some natural operations on random matrices (respectively: sum of independent random matrices, taking the corners of a random matrix). Our method of proof is to treat the canonical block matrix associated to a representation as a random matrix with non-commutative entries.


title: Sequences of enumerative geometry: congruences and asymptotics

abstract: We study the integer sequence v_n of numbers of lines in hypersurfaces of degree 2n-3 of P^n, n>1. We prove a number of congruence properties of these numbers of several different types. Furthermore, the asymptotics of the v_n are described (in an appendix by Don Zagier). An attempt is made at a similar analysis of two other enumerative sequences: the number of rational plane curves and the number of instantons in the quintic threefold.


title: Relative equilibria of a gyrostat in newtonian interaction with two rigid bodies

abstract: In this paper the non-canonical Hamiltonian dynamics of a gyrostat in the three body problem will be examined. By means of geometric-mechanics methods some relative equilibria of the dynamics of a gyrostat in Newtonian interaction with two rigid bodies will be studied. Taking advantage of the results obtained in previous papers, working on the reduced problem, the bifurcations of these relative equilibria will be studied. The instability of Eulerian relative equilibria if the gyrostat is close to a sphere is proven. Necessary and sufficient conditions will be provided for lineal stability of Lagrangian relative equilibria if the gyrostat is close to a sphere. The analysis is done in vectorial form avoiding the use of canonical variables and the tedious expressions associated with them. In this way, the classic results on equilibria of the three-body problem, many of them obtained by other authors who had used of more classic techniques, are generalized.


title: From Lie groupoids to resolutions of singularities. Applications to symplectic and Poisson resolutions

abstract: We use the techniques of integration of Poisson manifolds into symplectic Lie groupoids to build symplectic resolutions (= desingularizations) of the closure of a symplectic leaf. More generally, we show how Lie groupoids can be used to lift singularities, in particular when one imposes a compatibility condition with an additional structure given by a multi-vector field.


title: The complexity of classifying separable Banach spaces up to isomorphism

abstract: It is proved that the relation of isomorphism between separable Banach spaces is a complete analytic equivalence relation, i.e., that any analytic equivalence relation Borel reduces to it. Thus, separable Banach spaces up to isomorphism provide complete invariants for a great number of mathematical structures up to their corresponding notion of isomorphism. The same is shown to hold for (1) complete separable metric spaces up to uniform homeomorphism, (2) separable Banach spaces up to Lipschitz isomorphism, and (3) up to (complemented) biembeddability, (4) Polish groups up to topological isomorphism, and (5) Schauder bases up to permutative equivalence. Some of the constructions rely on methods recently developed by S. Argyros and P. Dodos.


title: On the Birch-Swinnerton-Dyer quotients modulo squares

abstract: Let A be an abelian variety over a number field K. An identity between the L-functions L(A/K_i,s) for extensions K_i of K induces a conjectural relation between the Birch-Swinnerton-Dyer quotients. We prove these relations modulo finiteness of Sha, and give an analogous statement for Selmer groups. Based on this, we develop a method for determining the parity of various combinations of ranks of A over extensions of K. As one of the applications, we establish the parity conjecture for elliptic curves assuming finiteness of Sha[6^\infty] and some restrictions on the reduction at primes above 2 and 3: the parity of the Mordell-Weil rank of E/K agrees with the parity of the analytic rank, as determined by the root number. We also prove the p-parity conjecture for all elliptic curves over Q and all primes p: the parities of the p^\infty-Selmer rank and the analytic rank agree.


title: Adding inverses to diagrams encoding algebraic structures

abstract: We modify a previous result, which showed that certain diagrams of spaces are essentially simplicial monoids, to construct diagrams of spaces which model simplicial groups. Furthermore, we show that these diagrams can be generalized to models for Segal groupoids. We then modify Segal's model for simplicial abelian monoids in such a way that it becomes a model for simplicial abelian groups.


title: On Kontsevich's characteristic classes for smooth 5- and 7-dimensional homology sphere bundles

abstract: M. Kontsevich constructed universal characteristic classes of smooth bundles with fiber a framed odd-dimensional integral homology sphere. In dimension 3, they are known to give a universal finite type invariants of homology 3-spheres. However, they have not been well understood for higher fiber dimensions. The purpose of the present paper is twofold. First, we obtain a bordism invariant of smooth unframed bundles with fiber a 5-dimensional homology sphere, which is defined as a sum of the simplest Kontsevich class and the second signature defect. It may be in some sense a higher dimensional analogue of the Casson invariant. Second, we construct a family of M-bundles. By evaluating on those M-bundles, we show that Kontsevich's universal characteristic classes are highly non-trivial in the case of fiber dimension 7. As a corollary, new estimates for unstable rational homotopy groups of Diff(D^7,\partial D^7) are obtained.


title: Open-closed field algebras

abstract: We introduce the notions of open-closed field algebra and open-closed field algebra over a vertex operator algebra V. In the case that V satisfies certain finiteness and reductivity conditions, we show that an open-closed field algebra over V canonically gives an algebra over a $\C$-extension of the Swiss-cheese partial operad. We also give a tensor categorical formulation and categorical constructions of open-closed field algebras over V.


title: A Survey on Automorphism Groups of Finite $p$-Groups

abstract: This survey on the automorphism groups of finite p-groups focuses on three major topics: explicit computations for familiar finite p-groups, such as the extraspecial p-groups and Sylow p-subgroups of Chevalley groups; constructing p-groups with specified automorphism groups; and the discovery of finite p-groups whose automorphism groups are or are not p-groups themselves. The material is presented with varying levels of detail, with some of the examples given in complete detail.


title: Differential geometry of monopole moduli spaces

abstract: This thesis was motivated by a desire to understand the natural geometry of hyperbolic monopole moduli spaces. We take two approaches. Firstly we develop the twistor theory of singular hyperbolic monopoles and use it to study the geometry of their charge 1 moduli spaces. After this we introduce a new way to study the moduli spaces of both Euclidean and hyperbolic monopoles by applying Kodaira's deformation theory to the spectral curve. We obtain new results in both the Euclidean and hyperbolic cases. In particular we prove new cohomology vanishing theorems and find that the hyperbolic monopole moduli space appears to carry a new type of geometry whose complexification is similar to the complexification of hyperk\"ahler geometry but with different reality conditions.


title: Vanishing Vanishing Cycles

abstract: If $\Adot$ is a bounded, constructible complex of sheaves on a complex analytic space $X$, and $f:X\to\C$ and $g:X\to\C$ are complex analytic functions, then the iterated vanishing cycles $\phi_g[-1](\phi_f[-1]\Adot)$ are important for a number of reasons. We give a formula for the stalk cohomology $H^*(\phi_g[-1]\phi_f[-1]\Adot)_x$ in terms of relative polar curves, algebra, and the normal Morse data and micro-support of $\Adot$.


title: Parametrizing Complex Hadamard Matrices

abstract: The purpose of this paper is to introduce new parametric families of complex Hadamard matrices in two different ways. First, we prove that every real Hadamard matrix of order N>=4 admits an affine orbit. This settles a recent open problem of Tadej and Zyczkowski, who asked whether a real Hadamard matrix can be isolated among complex ones. In particular, we apply our construction to the only (up to equivalence) real Hadamard matrix of order 12 and show that the arising affine family is different from all previously known examples. Second, we recall a well-known construction related to real conference matrices, and show how to introduce an affine parameter in the arising complex Hadamard matrices. This leads to new parametric families of orders 10 and 14. An interesting feature of both of our constructions is that the arising families cannot be obtained via Dita's general method. Our results extend the recent catalogue of complex Hadamard matrices, and may lead to direct applications in quantum-information theory.


title: A quantum type deformation of the cohomology ring of flag manifolds

abstract: Let q_1, ..., q_n be some variables and set K:=Z[q_1, ..., q_n]/(q_1q_2...q_n). We show that there exists a K-bilinear product \star on H^*(F_n;Z)\otimes K which is uniquely determined by some quantum cohomology like properties (most importantly, a degree two relation involving the generators and an analogue of the flatness of the Dubrovin connection). Then we prove that \star satisfies the Frobenius property with respect to the Poincar\'e pairing of H^*(F_n;Z); this leads immediately to the orthogonality of the corresponding Schubert type polynomials. We also note that if we pick k\in {1,...,n} and we formally replace q_k by 0, the ring (H^*(F_n;Z)\otimes K,\star) becomes isomorphic to the usual small quantum cohomology ring of F_n, by an isomorphism which is described precisely.


title: Boundary relations and generalized resolvents of symmetric operators

abstract: The Kre\u{\i}n-Naimark formula provides a parametrization of all selfadjoint exit space extensions of a, not necessarily densely defined, symmetric operator, in terms of maximal dissipative (in $\dC_+$) holomorphic linear relations on the parameter space (the so-called Nevanlinna families). The new notion of a boundary relation makes it possible to interpret these parameter families as Weyl families of boundary relations and to establish a simple coupling method to construct the generalized resolvents from the given parameter family. The general version of the coupling method is introduced and the role of boundary relations and their Weyl families for the Kre\u{\i}n-Naimark formula is investigated and explained.


title: Ramification of rough paths

abstract: The stack of iterated integrals of a path is embedded in a larger algebraic structure where iterated integrals are indexed by decorated rooted trees and where an extended Chen's multiplicative property involves the D\"urr-Connes-Kreimer coproduct on rooted trees. This turns out to be the natural setting for a non-geometric theory of rough paths.


title: Algebraic Nahm transform for Parabolic Higgs Bundles on P^1

abstract: We study Nahm transformation for parabolic Higgs bundles on the projective line \PP^1, with logarithmic singularities on a finite set P. Such a Higgs bundle can be given by its spectral data: a Hirzebruch surface Z together with a coherent sheaf M on Z, supported in dimension 1 and away from infinity. We describe the transform in terms of these data. The main technical tool is the notion of proper transform of a coherent sheaf with respect to a blow-up. Finally, we prove the main properties of the induced map on moduli spaces: involutibility and preservation of the hyper-Kaehler structure.


title: Detection of incompressible surfaces in hyperbolic punctured torus bundles

abstract: Culler and Shalen, and later Yoshida, give ways to construct incompressible surfaces in 3-manifolds from ideal points of the character and deformation varieties, respectively. We work in the case of hyperbolic punctured torus bundles, for which the incompressible surfaces were classified by Floyd and Hatcher. We convert non fiber incompressible surfaces from their form to the form output by Yoshida's construction, and run his construction backwards to give (for non semi-fibers, which we identify) the data needed to construct ideal points of the deformation variety corresponding to those surfaces via Yoshida's construction. We use a result of Tillmann to show that the same incompressible surfaces can be obtained from an ideal point of the character variety via the Culler-Shalen construction. In particular this shows that all boundary slopes of non fiber and non semi-fiber incompressible surfaces in hyperbolic punctured torus bundles are strongly detected.


title: A note on Mustata's computation of multiplier ideals of hyperplane arrangements

abstract: M. Mustata used jet schemes to compute the multiplier ideals of reduced hyperplane arrangements. We give an alternate proof using a log resolution, which is simpler and allows us to consider non-reduced arrangements. By applying the idea of wonderful models introduced by De Concini--Procesi, we also simplify the result.


title: The scaling limits of planar LERW in finitely connected domains

abstract: We define a family of stochastic Loewner evolution-type processes in finitely connected domains, which are called continuous LERW (loop-erased random walk). A continuous LERW describes a random curve in a finitely connected domain that starts from a prime end and ends at a certain target set, which could be an interior point, or a prime end, or a side arc. It is defined using the usual chordal Loewner equation with the driving function being $\sqrt{2}B(t)$ plus a drift term. The distributions of continuous LERW are conformally invariant. A continuous LERW preserves a family of local martingales, which are composed of generalized Poisson kernels, normalized by their behaviors near the target set. These local martingales resemble the discrete martingales preserved by the corresponding LERW on the discrete approximation of the domain. For all kinds of targets, if the domain satisfies certain boundary conditions, we use these martingales to prove that when the mesh of the discrete approximation is small enough, the continuous LERW and the corresponding discrete LERW can be coupled together, such that after suitable reparametrization, with probability close to 1, the two curves are uniformly close to each other.


title: On the analytic non-integrability of the Rattleback problem

abstract: We establish the analytic non-integrability of the nonholonomic ellipsoidal rattleback model for a large class of parameter values. Our approach is based on the study of the monodromy group of the normal variational equations around a particular orbit. The embedding of the equations of the heavy rigid body into the rattleback model is discussed.


title: Reals n-generic relative to some perfect tree

abstract: We say that a real X is n-generic relative to a perfect tree T if X is a path through T and for all Sigma^0_n (T) sets S, there exists a number k such that either X|k is in S or for all tau in T extending X|k we have tau is not in S. A real X is n-generic relative to some perfect tree if there exists such a T. We first show that for every number n all but countably many reals are n-generic relative to some perfect tree. Second, we show that proving this statement requires ZFC^- + ``There exist infinitely many iterates of the power set of the natural numbers''. Third, we prove that every finite iterate of the hyperjump, O^(n), is not 2-generic relative to any perfect tree and for every ordinal alpha below the least lambda such that sup_{beta < lambda} (beta th admissible) = lambda, the iterated hyperjump O^(alpha) is not 5-generic relative to any perfect tree. Finally, we demonstrate some necessary conditions for reals to be 1-generic relative to some perfect tree.


title: Pseudo-Manifold Geometries with Applications

abstract: A Smarandache geometry is a geometry which has at least one Smarandachely denied axiom(1969), i.e., an axiom behaves in at least two different ways within the same space, i.e., validated and invalided, or only invalided but in multiple distinct ways and a Smarandache n-manifold is a n-manifold that support a Smarandache geometry. Iseri provided a construction for Smarandache 2-manifolds by equilateral triangular disks on a plane and a more general way for Smarandache 2-manifolds on surfaces, called map geometries was presented by the author in [9]-[10] and [12]. However, few observations for cases of n>=3 are found on the journals. As a kind of Smarandache geometries, a general way for constructing dimensional n pseudo-manifolds are presented for any integer n>=2 in this paper. Connection and principal fiber bundles are also defined on these manifolds. Following these constructions, nearly all existent geometries, such as those of Euclid geometry, Lobachevshy-Bolyai geometry, Riemann geometry, Weyl geometry, Kahler geometry and Finsler geometry, ...,etc., are their sub-geometries.


title: A semi-classical trace formula at a totally degenerate critical level

abstract: We study the semi-classical trace formula at a critical energy level for an $h$-pseudo-differential operator on $\mathbb{R}^{n}$ whose principal symbol has a totally degenerate critical point for that energy. This problem is studied for a large time behavior and under the hypothesis that the principal symbol of the operator has a local extremum at the critical point.


title: Well-posedness for two-dimensional steady supersonic Euler flows past a Lipschitz wedge

abstract: For a supersonic Euler flow past a straight wedge whose vertex angle is less than the extreme angle, there exists a shock-front emanating from the wedge vertex, and the shock-front is usually strong especially when the vertex angle of the wedge is large. In this paper, we establish the $L^1$ well-posedness for two-dimensional steady supersonic Euler flows past a Lipschitz wedge whose boundary slope function has small total variation, when the total variation of the incoming flow is sufficiently small. In this case, the Lipschitz wedge perturbs the flow and the waves reflect after interacting with the strong shock-front or the wedge boundary. We first obtain the existence of solutions in $BV$ when the incoming flow has small total variation by the wave front tracking method and then study the $L^1$ stability of the solutions. In particular, we incorporate the nonlinear waves generated from the wedge boundary to develop a Lyapunov functional between two solutions, which is equivalent to the $L^1$ norm, and prove that the functional decreases in the flow direction. Then the $L^1$ stability is established, so is the uniqueness of the solutions by the wave front tracking method. Finally, we show the uniqueness of solutions in a broader class, i.e. the class of viscosity solutions.


title: Finiteness of a section of the $SL(2,\mathbb{C})$-character variety of knot groups

abstract: We show that for any knot there exist only finitely many irreducible metabelian characters in the $SL(2,\mathbb{C})$-character variety of the knot group, and the number is given explicitly by using the determinant of the knot. Then it turns out that for any 2-bridge knot a section of the $SL(2,\mathbb{C})$-character variety consists entirely of all the metabelian characters, i.e., the irreducible metabelian characters and the single reducible (abelian) character. Moreover we find that the number of irreducible metabelian characters gives an upper bound of the maximal degree of the A-polynomial in terms of the variable $l$.


title: Proper actions of high-dimensional groups on complex manifolds

abstract: We explicitly classify all pairs $(M,G)$, where $M$ is a connected complex manifold of dimension $n\ge 2$ and $G$ is a connected Lie group acting properly and effectively on $M$ by holomorphic transformations and having dimension $d_G$ satisfying $n^2+2\le d_G<n^2+2n$. These results extend -- in the complex case -- the classical description of manifolds admitting proper actions of groups of sufficiently high dimensions. They also generalize some of the author's earlier work on Kobayashi-hyperbolic manifolds with high-dimensional holomorphic automorphism group.


title: On Faltings' annihilator theorem

abstract: In the present article, the author shows that Faltings' annihilator theorem holds for any Noetherian ring $A$ if $A$ is universally catenary; all the formal fibers of all the localizations of $A$ are Cohen-Macaulay; and the Cohen-Macaulay locus of each finitely generated $A$-algebra is open.


title: Constant $k$-curvature hypersurfaces in Riemannian manifolds

abstract: Rugang Ye proved the existence of a family of constant mean curvature hypersurfaces in an $m+1$-dimensional Riemannian manifold $(M^{m+1},g)$, which concentrate at a point $p_0$ (which is required to be a nondegenerate critical point of the scalar curvature), moreover he proved that this family constitute a foliation of a neighborhood of $p_0$. In this paper we extend this result to the other curvatures (the $r$-th mean curvature for $1\le r\le m$).


abstract: Title: On linear extension for interpolating sequences. Author: Eric Amar Abstract: Let A be a uniform algebra on the compact space X and $\sigma $ a probability measure on X. We define the Hardy spaces $H^{p}(\sigma)$ and the $H^{p}(\sigma)$ interpolating sequences S in the p-spectrum ${\mathcal{M}}_{p}$ of $\sigma $. We prove, under some structural hypotheses on $\sigma $ that "Carleson type" conditions on S imply that S is interpolating with a linear extension operator in $\displaystyle H^{s}(\sigma), s<p$ provided that either $p=\infty $ or $p\leq 2$. This gives new results on interpolating sequences for Hardy spaces of the ball and the polydisc. In particular in the case of the unit ball of ${\mathbb{C}}^{n}$ we get that if there is a sequence $\{\rho_{a}\}_{a\in S}$ bounded in $H^{\infty}({\mathbb{B}})$ such that $\forall a,b\in S, \rho _{a}(b)=\delta_{ab}$, then S is $H^{p}({\mathbb{B}})$-interpolating with a linear extension operator for any $1\leq p<\infty $.


title: Jacobian Nullwerte, Periods and Symmetric Equations for Hyperelliptic Curves

abstract: We propose a solution to the hyperelliptic Schottky problem, based on the use of Jacobian Nullwerte and symmetric models for hyperelliptic curves. Both ingredients are interesting on its own, since the first provide period matrices which can be geometrically described, and the second have remarkable arithmetic properties.


title: Producing Set Theoretic Complete Intersection Monomial Curves in P^n

abstract: In this paper we produce infinitely many examples of set-theoretic complete intersection monomial curves in $\mathbb{P}^{n+1}$, starting with a set-theoretic complete intersection monomial curve in $\mathbb{P}^{n}$ . In most of the cases our results cannot be obtained through semigroup gluing technique and we can tell apart explicitly which cases are new.


title: On the ergodicity properties of some adaptive MCMC algorithms

abstract: In this paper we study the ergodicity properties of some adaptive Markov chain Monte Carlo algorithms (MCMC) that have been recently proposed in the literature. We prove that under a set of verifiable conditions, ergodic averages calculated from the output of a so-called adaptive MCMC sampler converge to the required value and can even, under more stringent assumptions, satisfy a central limit theorem. We prove that the conditions required are satisfied for the independent Metropolis--Hastings algorithm and the random walk Metropolis algorithm with symmetric increments. Finally, we propose an application of these results to the case where the proposal distribution of the Metropolis--Hastings update is a mixture of distributions from a curved exponential family.


title: The invariants of a genus one curve

abstract: It was first pointed out by Weil that we can use classical invariant theory to compute the Jacobian of a genus one curve. The invariants required for curves of degree n = 2,3,4 were already known to the nineteenth centuary invariant theorists. We have succeeded in extending these methods to curves of degree n = 5, where although the invariants are too large to write down as explicit polynomials, we have found a practical algorithm for evaluating them.


title: Relative Integral Functors for Singular Fibrations and Singular Partners

abstract: We study relative integral functors for singular schemes and characterise those which preserve boundness and those which have integral right adjoints. We prove that a relative integral functor is an equivalence if and only if its restriction to every fibre is an equivalence. This allows us to construct a non-trivial auto-equivalence of the derived category of an arbitrary genus one fibration with no conditions on either the base or the total space and getting rid of the usual assumption of irreducibility of the fibres. We also extend to Cohen-Macaulay schemes the criterion of Bondal and Orlov for an integral functor to be fully faithful in characteristic zero and give a different criterion which is valid in arbitrary characteristic. Finally, we prove that for projective schemes both the Cohen-Macaulay and the Gorenstein conditions are invariant under Fourier-Mukai functors.


title: Suspension theorems for links and link maps

abstract: We present a new short proof of the explicit formula for the group of links (and also link maps) in the 'quadruple point free' dimension. Denote by $L^m_{p,q}$ (respectively, $C^{m-p}_p$) the group of smooth embeddings $S^p\sqcup S^q\to S^m$ (respectively, $S^p\to S^m$) up to smooth isotopy. Denote by $LM^m_{p,q}$ the group of link maps $S^p\sqcup S^q\to S^m$ up to link homotopy. Theorem 1. If $p\le q\le m-3$ and $2p+2q\le 3m-6$ then \begin{equation*} L^m_{p,q}\cong \pi_p(S^{m-q-1})\oplus\pi_{p+q+2-m}(SO/SO_{m-p-1})\oplus C^{m-p}_p\oplus C^{m-q}_q. \end{equation*} Theorem 2. If $p, q\le m-3$ and $2p+2q\le 3m-5$ then $LM^m_{p,q}\cong \pi^S_{p+q+1-m}$. Our approach is based on the use of the suspension operation for links and link maps, and suspension theorems for them.


title: Nonmonotonicity of phase transitions in a loss network with controls

abstract: We consider a symmetric tree loss network that supports single-link (unicast) and multi-link (multicast) calls to nearest neighbors and has capacity $C$ on each link. The network operates a control so that the number of multicast calls centered at any node cannot exceed $C_V$ and the number of unicast calls at a link cannot exceed $C_E$, where $C_E$, $C_V\leq C$. We show that uniqueness of Gibbs measures on the infinite tree is equivalent to the convergence of certain recursions of a related map. For the case $C_V=1$ and $C_E=C$, we precisely characterize the phase transition surface and show that the phase transition is always nonmonotone in the arrival rate of the multicast calls. This model is an example of a system with hard constraints that has weights attached to both the edges and nodes of the network and can be viewed as a generalization of the hard core model that arises in statistical mechanics and combinatorics. Some of the results obtained also hold for more general models than just the loss network. The proofs rely on a combination of techniques from probability theory and dynamical systems.


title: The Virasoro Algebra and Some Exceptional Lie and Finite Groups

abstract: We describe a number of relationships between properties of the vacuum Verma module of a Virasoro algebra and the automorphism group of certain vertex operator algebras. These groups include the Deligne exceptional series of simple Lie groups and some exceptional finite simple groups including the Monster and Baby Monster.


title: On the variational distance of two trees

abstract: A widely studied model for generating sequences is to ``evolve'' them on a tree according to a symmetric Markov process. We prove that model trees tend to be maximally ``far apart'' in terms of variational distance.


title: On the value of optimal stopping games

abstract: We show, under weaker assumptions than in the previous literature, that a perpetual optimal stopping game always has a value. We also show that there exists an optimal stopping time for the seller, but not necessarily for the buyer. Moreover, conditions are provided under which the existence of an optimal stopping time for the buyer is guaranteed. The results are illustrated explicitly in two examples.


title: The computational complexity of convex bodies

abstract: We discuss how well a given convex body B in a real d-dimensional vector space V can be approximated by a set X for which the membership question: ``given an x in V, does x belong to X?'' can be answered efficiently (in time polynomial in d). We discuss approximations of a convex body by an ellipsoid, by an algebraic hypersurface, by a projection of a polytope with a controlled number of facets, and by a section of the cone of positive semidefinite quadratic forms. We illustrate some of the results on the Traveling Salesman Polytope, an example of a complicated convex body studied in combinatorial optimization.


title: Upper limits of Sinai's walk in random scenery

abstract: We consider Sinai's walk in i.i.d. random scenery and focus our attention on a conjecture of R\'ev\'esz \cite{r05} concerning the upper limits of Sinai's walk in random scenery when the scenery is bounded from above. A close study of the competition between the concentration property for Sinai's walk and negative values for the scenery enables us to prove that the conjecture is true if the scenery has "thin" negative tails and is false otherwise.


title: On the Reductions and Classical Solutions of the Schlesinger equations

abstract: The Schlesinger equations $S_{(n,m)}$ describe monodromy preserving deformations of order $m$ Fuchsian systems with $n+1$ poles. They can be considered as a family of commuting time-dependent Hamiltonian systems on the direct product of $n$ copies of $m\times m$ matrix algebras equipped with the standard linear Poisson bracket. In this paper we address the problem of reduction of particular solutions of ``more complicated'' Schlesinger equations $S_{(n,m)}$ to ``simpler'' $S_{(n',m')}$ having $n'< n$ or $m' < m$.


title: A heteropolymer in a medium with random droplets

abstract: We define a heteropolymer in a medium with random droplets. We prove that for this model we have two regimes: a delocalized one and a localized one. In the localized regime we prove tightness to the droplets, whereas in the delocalized regime we prove diffusive path behavior.


title: Convergence rate and averaging of nonlinear two-time-scale stochastic approximation algorithms

abstract: The first aim of this paper is to establish the weak convergence rate of nonlinear two-time-scale stochastic approximation algorithms. Its second aim is to introduce the averaging principle in the context of two-time-scale stochastic approximation algorithms. We first define the notion of asymptotic efficiency in this framework, then introduce the averaged two-time-scale stochastic approximation algorithm, and finally establish its weak convergence rate. We show, in particular, that both components of the averaged two-time-scale stochastic approximation algorithm simultaneously converge at the optimal rate $\sqrt{n}$.


title: Weighted polynomials and weighted pluripotential theory

abstract: We study the relation between weighted pluripotential on a compact set E in C^N and the pluripotential theory of an associated circed set Z in C^(N+1)


title: Bounded Earthquakes

abstract: We give a short proof of the fact that bounded earthquakes of the unit disk induce quasisymmetric maps of the unit circle. By a similar method, we show that symmetric maps are induced by bounded earthquakes with asymptotically trivial measures.


title: The quadratic isoperimetric inequality for mapping tori of free group automorphisms II: The general case

abstract: If F is a finitely generated free group and \phi is an automorphism of F then the mapping torus of \phi admits a quadratic isoperimetric inequality. This is the third and final paper in a series proving this theorem. The first two were math.GR/0211459 and math.GR/0507589.


title: On uniquely k-determined permutations

abstract: There are several approaches to study occurrences of consecutive patterns in permutations such as the inclusion-exclusion method, the tree representations of permutations, the spectral approach and others. We propose yet another approach to study occurrences of consecutive patterns in permutations. The approach is based on considering the graph of patterns overlaps, which is a certain subgraph of the de Bruijn graph. While applying our approach, the notion of a uniquely $k$-determined permutation appears. We give two criteria for a permutation to be uniquely $k$-determined: one in terms of the distance between two consecutive elements in a permutation, and the other one in terms of directed hamiltonian paths in the certain graphs called path-schemes. Moreover, we describe a finite set of prohibitions that gives the set of uniquely $k$-determined permutations. Those prohibitions make applying the transfer matrix method possible for determining the number of uniquely $k$-determined permutations.


title: Translation-Equivariant Matchings of Coin-Flips on Z^d

abstract: Consider independent fair coin-flips at each site of the lattice Z^d. A translation-equivariant matching rule is a perfect matching of heads to tails that commutes with translations of Z^d and is given by a deterministic function of the coin-flips. Let X_R be the distance from the origin to its partner, under the translation-equivariant matching rule R. Holroyd and Peres asked what is optimal tail behaviour of X_R, for translation-equivariant perfect matching rules. We prove that for every d>1, there exists a translation-equivariant perfect matching rule R such that X_R has a finite p-th moment for every 0 < p < 2/3.


title: The fourth moment of Dirichlet L-functions

abstract: We compute the fourth moment of Dirichlet L-functions at the central point for prime moduli, with a power savings in the error term.


title: A note on a non-linear Krein-Rutman theorem

abstract: In this note we will present an extension of the Krein-Rutman theorem for an abstract nonlinear, compact, positively 1-homogeneous, monotone non-decreasing operators on a Banach space and apply the result to many nonlinear elliptic partial differential operators.


title: On the Bj\"orling problem in a three-dimensional Lie group

abstract: We prove existence and uniqueness of the solution of the Bj\"orling problem for minimal surfaces in a three-dimensional Lie group.


title: Asymptotic cones and Assouad-Nagata dimension

abstract: We prove the dimension of any asymptotic cone over a metric space X does not exceed the asymptotic Assouad-Nagata dimension of X. This improves a result of Dranishnikov and Smith who showed that dim(Y) does not exceed asymptotic Assouad-Nagata dimension of X for all separable subsets Y of special asymptotic cones of X over an exponential ultrafilter. We also show that Assouad-Nagata dimension of the discrete Heisenberg group equals its asymptotic dimension.


title: Remark on the Kato smoothing effect for Schr\"odinger equation with superquadratic potentials

abstract: The aim of this note is to extend recent results of Yajima-Zhang \cite{Y-Z1, Y-Z2} on the 1/2- smoothing effect for Schr\"odinger equation with potential growing at infinity faster than quadratically.


title: Computability of Julia sets

abstract: In this paper we settle most of the open questions on algorithmic computability of Julia sets. In particular, we present an algorithm for constructing quadratics whose Julia sets are uncomputable. We also show that a filled Julia set of a polynomial is always computable.


title: On the continuous part of codimension two algebraic cycles on threefolds over a field

abstract: Let $X$ be a non-singular projective threefold over an algebraically closed field of any characteristic, and let $A^2(X)$ be the group of algebraically trivial codimension 2 algebraic cycles on $X$ modulo rational equivalence with coefficients in $\mathbb Q$. Assume $X$ is birationally equivalent to another threefold $X'$ admitting a fibration over an integral curve $C$ whose generic fiber $X'_{\bar \eta}$, where $\bar \eta =Spec(\bar {k(C)})$, satisfies the following three conditions: (i) the motive $M(X'_{\bar \eta})$ is finite-dimensional, (ii) $H^1_{et}(X_{\bar \eta},\mathbb Q_l)=0$ and (iii) $H^2_{et}(X_{\bar \eta},\mathbb Q_l(1))$ is spanned by divisors on $X_{\bar \eta}$. We prove that, provided these three assumptions, the group $A^2(X)$ is representable in the weak sense: there exists a curve $Y$ and a correspondence $z$ on $Y\times X$, such that $z$ induces an epimorphism $A^1(Y)\to A^2(X)$, where $A^1(Y)$ is isomorphic to $Pic^0(Y)$ tensored with $\mathbb Q$. In particular, the result holds for threefolds birational to three-dimensional Del Pezzo fibrations over a curve.


title: $C^*$-algebras of inverse semigroups: amenability and weak containment

abstract: We argue that weak containment is an appropriate notion of amenability for inverse semigroups. Given an inverse semigroup $S$ and a homomorphism $\phi$ of $S$ onto a group $G$, we show, under an assumption on $\ker(\phi)$, that $S$ has weak containment if and only if $G$ is amenable and $\ker(\phi)$ has weak containment. Using Fell bundle amenability, we find a related result for inverse semigroups with zero. We show that all graph inverse semigroups have weak containment and that Nica's inverse semigroup $\mcT_{G,P}$ of a quasi-lattice ordered group $(G,P)$ has weak containment if and only if $(G,P)$ is amenable.


title: Mating non-renormalizable quadratic polynomials

abstract: In this paper we prove the existence and uniqueness of matings of the basilica with any quadratic polynomial which lies outside of the 1/2-limb of M, is non-renormalizable, and does not have any non-repelling periodic orbits.


title: C_0(X)-algebras, stability and strongly self-absorbing C*-algebras

abstract: We study permanence properties of the classes of stable and so-called D-stable C*-algebras, respectively. More precisely, we show that a C_0(X)-algebra A is stable if all its fibres are, provided that the underlying compact metrizable space X has finite covering dimension or that the Cuntz semigroup of A is almost unperforated (a condition which is automatically satisfied for C*-algebras absorbing the Jiang--Su algebra Z tensorially). Furthermore, we prove that if D is a K_1-injective strongly self-absorbing C*-algebra, then A absorbs D tensorially if and only if all its fibres do, again provided that X is finite-dimensional. This latter statement generalizes results of Blanchard and Kirchberg. We also show that the condition on the dimension of X cannot be dropped. Along the way, we obtain a useful characterization of when a C*-algebra with weakly unperforated Cuntz semigroup is stable, which allows us to show that stability passes to extensions of Z-absorbing C*-algebras.


title: A Tight Bound for the Lamplighter Problem

abstract: We settle an open problem, raised by Y. Peres and D. Revelle, concerning the $L^2$ mixing time of the random walk on the lamplighter graph. We also provide general bounds relating the entropy decay of a Markov chain to the separation distance of the chain, and show that the lamplighter graphs once again provide examples of tightness of our results.


title: On the Holonomy of the Coulomb Connection over Manifolds with Boundary

abstract: Narasimhan and Ramadas showed that the restricted holonomy group of the Coulomb connection is dense in the connected component of the identity of the gauge group when one considers the product principal bundle $S^3 \times SU(2)\to S^3$. Instead of a base manifold S^3, we consider here a base manifold of dimension $n\ge 2$ with a boundary and use Dirichlet boundary conditions on connections as defined by Marini. A key step in the method of Narasimhan and Ramadas consisted in showing that the linear space spanned by the curvature form at one specially chosen connection is dense in the holonomy Lie algebra with respect to an appropriate Sobolev norm. Our objective is to explore the effect of the presence of a boundary on this construction of the holonomy Lie algebra. Fixing appropriate Sobolev norms, it will be shown that the space spanned, linearly, by the curvature form at any one connection is never dense in the holonomy Lie algebra. In contrast, the linear space spanned by the curvature form and its first commutators at the flat connection is dense and, in the $C^\infty$ category, is in fact the entire holonomy Lie algebra. The former, negative, theorem is proven for a general principle bundle over $M$, while the latter, positive, theorem is proven only for a product bundle over the closure of a bounded open subset of $\mathbb{R}^n$. Our technique for proving absence of density consists in showing that the linear space spanned by the curvature form at one point is contained in the kernel of a linear map consisting of a third order differential operator, followed by a restriction operation at the boundary; this mapping is determined by the mean curvature of the boundary.


title: Engel subalgebras of n-Lie algebras

abstract: Engel subalgebras of finite-dimensional n-Lie algebras are shown to have similar properties to those of Lie algebras. Using these, it is shown that an n-Lie algebra, all of whose maximal subalgebras are ideals, is nilpotent. A primitive 2-soluble n-Lie algebra is shown to split over its minimal ideal and that all the complements to its minimal ideal are conjugate. A subalgebra is shown to be a Cartan subalgebra if and only if it is minimal Engel, provided that the field has sufficiently many elements. Cartan subalgebras are shown to have a property analogous to intravariance.


title: Complex analytic realization of links

abstract: We present the complex analytic and principal complex analytic realizability of a link in a 3-manifold $M$ as a tool for understanding the complex structures on the cone $C(M)$.


title: An infinite family of Gromoll-Meyer spheres

abstract: We construct a new infinite family of models of exotic 7-spheres. These models are direct generalizations of the Gromoll-Meyer sphere. From their symmetries, geodesics and submanifolds half of them are closer to the standard 7-sphere than any other known model for an exotic 7-sphere.


title: Homotopical Rotation Numbers of 2D Billiards

abstract: Traditionally, rotation numbers for toroidal billiard flows are defined as the limiting vectors of average displacements per time on trajectory segments. Naturally, these creatures are living in the (commutative) vector space $\real^n$, if the toroidal billiard is given on the flat $n$-torus. The billard trajectories, being curves, oftentimes getting very close to closed loops, quite naturally define elements of the fundamental group of the billiard table. The simplest non-trivial fundamental group obtained this way belongs to the classical Sinai billiard, i.e., the billiard flow on the 2-torus with a single, convex obstacle removed. This fundamental group is known to be the group $\textbf{F}_2$ freely generated by two elements, which is a heavily noncommutative, hyperbolic group in Gromov's sense. We define the homotopical rotation number and the homotopical rotation set for this model, and provide lower and upper estimates for the latter one, along with checking the validity of classicaly expected properties, like the density (in the homotopical rotation set) of the homotopical rotation numbers of periodic orbits. The natural habitat for these objects is the infinite cone erected upon the Cantor set $\text{Ends}(\textbf{F}_2)$ of all ``ends'' of the hyperbolic group $\textbf{F}_2$. An element of $\text{Ends}(\textbf{F}_2)$ describes the direction in (the Cayley graph of) the group $\textbf{F}_2$ in which the considered trajectory escapes to infinity, whereas the height function $t$ ($t \ge 0$) of the cone gives us the average speed at which this escape takes place.


title: The structure of normal algebraic monoids

abstract: We show that any normal algebraic monoid is an extension of an abelian variety by a normal affine algebraic monoid. This extends (and builds on) Chevalley's structure theorem for algebraic groups.


title: Correction. Brownian models of open processing networks: canonical representation of workload

abstract: Due to a printing error the above mentioned article [Annals of Applied Probability 10 (2000) 75--103, doi:10.1214/aoap/1019737665] had numerous equations appearing incorrectly in the print version of this paper. The entire article follows as it should have appeared. IMS apologizes to the author and the readers for this error. A recent paper by Harrison and Van Mieghem explained in general mathematical terms how one forms an ``equivalent workload formulation'' of a Brownian network model. Denoting by $Z(t)$ the state vector of the original Brownian network, one has a lower dimensional state descriptor $W(t)=MZ(t)$ in the equivalent workload formulation, where $M$ can be chosen as any basis matrix for a particular linear space. This paper considers Brownian models for a very general class of open processing networks, and in that context develops a more extensive interpretation of the equivalent workload formulation, thus extending earlier work by Laws on alternate routing problems. A linear program called the static planning problem is introduced to articulate the notion of ``heavy traffic'' for a general open network, and the dual of that linear program is used to define a canonical choice of the basis matrix $M$. To be specific, rows of the canonical $M$ are alternative basic optimal solutions of the dual linear program. If the network data satisfy a natural monotonicity condition, the canonical matrix $M$ is shown to be nonnegative, and another natural condition is identified which ensures that $M$ admits a factorization related to the notion of resource pooling.


title: Binomial D-modules

abstract: We study quotients of the Weyl algebra by left ideals whose generators consist of an arbitrary Z^d-graded binomial ideal I along with Euler operators defined by the grading and a parameter in C^d. We determine the parameters for which these D-modules (i) are holonomic (equivalently, regular holonomic, when I is standard-graded); (ii) decompose as direct sums indexed by the primary components of I; and (iii) have holonomic rank greater than the generic rank. In each of these three cases, the parameters in question are precisely those outside of a certain explicitly described affine subspace arrangement in C^d. In the special case of Horn hypergeometric D-modules, when I is a lattice basis ideal, we furthermore compute the generic holonomic rank combinatorially and write down a basis of solutions in terms of associated A-hypergeometric functions. This study relies fundamentally on the explicit lattice point description of the primary components of an arbitrary binomial ideal in characteristic zero, which we derive in our companion article arxiv:0803.3846.


title: Cones and gauges in complex spaces : Spectral gaps and complex Perron-Frobenius theory

abstract: We introduce complex cones and associated projective gauges, generalizing a real Birkhoff cone and its Hilbert metric to complex vector spaces. We deduce a variety of spectral gap theorems in complex Banach spaces. We prove a dominated complex cone-contraction Theorem and use it to extend the classical Perron-Frobenius Theorem to complex matrices, Jentzsch's Theorem to complex integral operators, a Krein-Rutman Theorem to compact and quasi-compact complex operators and a Ruelle-Perron-Frobenius Theorem to complex transfer operators in dynamical systems. In the simplest case of a complex n by n matrix A we have the following statement: Suppose that 0 < c < +infinity is such that |Im A_{ij} \bar{A}_{mn}| < c < Re A_{ij} \bar{A}_{mn} for all indices. Then A has a `spectral gap'.


title: On some errors related to the graduation of measuring instruments

abstract: The error on a real quantity Y due to the graduation of the measuring instrument may be represented, when the graduation is regular and fines down, by a Dirichlet form on R whose square field operator do not depend on the probability law of Y as soon as this law possesses a continuous density. This feature is related to the "arbitrary functions principle" (Poincar\'{e}, Hopf). We give extensions of this property to multivariate case and infinite dimensional case for approximations of the Brownian motion. We use a Girsanov theorem for Dirichlet forms which has its own interest. Connections are given with discretization of stochastic differential equations.


title: On Chisini's Conjecture. II

abstract: It is proved that if $S\subset \mathbb P^N$ is a smooth projective surface and $f:S\to \mathbb P^2$ is a generic linear projection branched over a cuspidal curve $B\subset \mathbb P^2$, then the surface $S$ is determined uniquely up to an isomorphism of $S$ by the curve $B$.


title: Modal languages for topology: expressivity and definability

abstract: In this paper we study the expressive power and definability for (extended) modal languages interpreted on topological spaces. We provide topological analogues of the van Benthem characterization theorem and the Goldblatt-Thomason definability theorem in terms of the well established first-order topological language $L_t$.


title: Remarks on generalized Ramanujan sums and even functions

abstract: We prove a simple formula for the main value of $r$-even functions and give applications of it. Considering the generalized Ramanujan sums $c_A(n,r)$ involving regular systems $A$ of divisors we show that it is not possible to develop a Fourier theory with respect to $c_A(n,r)$, like in the the usual case of classical Ramanujan sums $c(n,r)$.


title: Generalization of a theorem of Gonchar

abstract: Let $X, Y$ be two complex manifolds, let $D\subset X,$ $ G\subset Y$ be two nonempty open sets, let $A$ (resp. $B$) be an open subset of $\partial D$ (resp. $\partial G$), and let $W$ be the 2-fold cross $((D\cup A)\times B)\cup (A\times(B\cup G)).$ Under a geometric condition on the boundary sets $A$ and $B,$ we show that every function locally bounded, separately continuous on $W,$ continuous on $A\times B,$ and separately holomorphic on $(A\times G) \cup (D\times B)$ "extends" to a function continuous on a "domain of holomorphy" $\hat{W}$ and holomorphic on the interior of $\hat{W}.$


title: The maximal order of a class of multiplicative arithmetical functions

abstract: We prove simple theorems concerning the maximal order of a large class of multiplicative functions. As an application, we determine the maximal orders of certain functions of the type $\sigma_A(n)= \sum_{d\in A(n)} d$, where A(n) is a subset of the set of all positive divisors of $n$, including the divisor-sum function $\sigma(n)$ and its unitary and exponential analogues. We also give the minimal order of a new class of Euler-type functions, including the Euler-function $\phi(n)$ and its unitary analogue.


title: Harmonic morphisms with one-dimensional fibres on conformally-flat Riemannian manifolds

abstract: We classify the harmonic morphisms with one-dimensional fibres (1) from real-analytic conformally-flat Riemannian manifolds of dimension at least four, and (2) between conformally-flat Riemannian manifolds of dimensions at least three.


title: Some examples of non-massive Frobenius manifolds in Singularity Theory

abstract: Let $f,g:\cc^2\ra\cc$ be two quasi-homogeneous polynomials. We compute the $V$-filtration of the restriction of $f$ to any plane curve $C_t=g^{-1}(t)$ and show that the Gorenstein generator $dx\wedge dy/dg$ is a primitive form. Using results of A. Douai and C. Sabbah, we conclude that base space of the miniversal unfolding of $f_t:=f|_{C_t}$ is a Frobenius manifold. At the singular fibre $C_0$ we obtain a non-massive Frobenius manifold.


title: On the stabilization problem for nonholonomic distributions

abstract: Let $M$ be a smooth connected and complete manifold of dimension $n$, and $\Delta$ be a smooth nonholonomic distribution of rank $m\leq n$ on $M$. We prove that, if there exists a smooth Riemannian metric on $\Delta$ for which no nontrivial singular path is minimizing, then there exists a smooth repulsive stabilizing section of $\Delta$ on $M$. Moreover, in dimension three, the assumption of the absence of singular minimizing horizontal paths can be dropped in the Martinet case. The proofs are based on the study, using specific results of nonsmooth analysis, of an optimal control problem of Bolza type, for which we prove that the corresponding value function is semiconcave and is a viscosity solution of a Hamilton-Jacobi equation, and establish fine properties of optimal trajectories.


title: On some questions related to the Krichever correspondence

abstract: We investigate various new properties and examples of one-dimensional and two-dimensional Krichever correspondence developed by Parshin. In particular, we give explicit examples of the Krichever-Parshin map for various plane curves, we introduce analogs of the Schur pairs in a two-dimensional local field and show that they are oft geometrical. At the end we investigate analogs of the KP hierarchy for two-dimensional local skew-fields with arbitrary commutation law instead of the usual law of Weyl algebra. We derive for these hierarchies new partial differential equations, which coincide with the usual KP equation for certain values of parameters.


title: On the approximation of real powers of sparse, infinite, bounded and Hermitian matrices

abstract: We describe a way to approximate the matrix elements of a real power $\alpha$ of a positive (for $\alpha \ge 0$) or non-negative (for $\alpha \in \mathbb{R}$), infinite, bounded, sparse and Hermitian matrix $W$. The approximation uses only a finite part of the matrix $W$.


title: Regularity for minimizers of functionals with nonstandard growth by $A$-harmonic approximation

abstract: We prove partial regularity for minimizers of quasiconvex functionals of the type $\int_\Omega f(x,Du) dx$ with $p(x)$ growth with respect to the second variable. The proof is direct and uses a method of $A$-harmonic approximation.


title: The Hessian of the distance from a surface in the Heisenberg group

abstract: We compute the horizontal Hessian of the signed Carnot-Charatheodory distance from a surface S in the Heisenberg group H. The expression for the Hessian is in terms of the surface's intrinsic curvatures. As an application, we compute the horizontal Hessian of the Carnot-Charatheodory distance from a point in H.


title: Finite abelian subgroups of the Cremona group of the plane

abstract: This work presents the conjugacy classes of finite abelian subgroups of the Cremona group of the plane. Using a well-known theory, this problem amounts to the study of automorphism groups of some Del Pezzo surfaces and conic bundles. We have thus to enumerate all the cases, which gives a long description, and then to show whether two cases are distinct or not, using some conjugacy invariants. For example, we use the non-rational curves fixed by one element of the group, and the action of the whole group on these curves. From this classification, we deduce a sequence of more general results on birational transformations, as for example the existence of infinitely many conjugacy classes of elements of order n, for any even number n, a result false in the odd case. We prove also that a root of some linear transformation of finite order is itself conjugate to a linear transformation.


title: Virtual Manifolds and Localization

abstract: In this paper, we explore the virtual technique that is very useful in studying moduli problem from differential geometric point of view. We introduce a class of new objects "virtual manifolds/orbifolds", on which we develop the integration theory. In particular, the virtual localization formula is obtained.


title: Symplectic virtual localization of Gromov-Witten invariants

abstract: We show that moduli spaces of stable maps admits virtual orbifold structure. The symplectic version of virtual localization formula is obtained.


title: An equivariant noncommutative residue

abstract: Let $\gp$ be a finite group acting on a compact manifold $M$ and $\maA(M)$ denote the algebra of classical complete symbols on $M$. We determine all traces on the cross-product algebra $\maA(M) \rtimes \Gamma$. These traces appear as residues of certain meromorphic 'zeta' functions and can be considered as equivariant generalization of the non-commutative residue trace. The local formula for these traces depends on more than one component of the complete asymptotic expansion. For instance, the local formula for these traces depends also on derivatives in the normal directions to fixed point manifolds of higher order components. As an application, we obtain a formula for the asymptotic occurrence of an irreducible representation of $\gp$ in the eigenspaces of an invariant positive elliptic operator. We also obtain an new construction for Dixmier trace of an invariant operator.


title: Computing polynomials of the Ramanujan $\mathbf{t_n}$ class invariants

abstract: We compute the minimal polynomials of the Ramanujan values $t_n$, where $n\equiv 11 \mod 24$, using Shimura reciprocity law. These polynomials can be used for defining the Hilbert class field of the imaginary quadratic field $\mathbb{Q}(\sqrt{-n})$, and have much smaller coefficients than the Hilbert polynomials.


title: On the coarsest topology preserving continuity

abstract: We study a topology on a space of functions, called sticking topology, with the property to be the weakest among the topologies preserving continuity. In suitable frameworks, this topology preserves borelianity, local integrability, right continuity and other properties. It is coarser than the locally uniform convergence and it allows the presence of gliding humps as we show on examples. We prove relative compactness criteria for this topology and we consider some extensions.


title: On low degree regular sequences in group cohomology

abstract: We investigate small $p$-groups with cohomology rings of depth higher than predicted by Duflot's theorem. In these groups, a sampling would suggest several naive conjectures about the degrees of the additional regular sequence elements. We arrive at counterexamples to the idea that all cohomology rings exceeding Duflot's bound have degree 2 regular sequence elements past Duflot's bound as well as to the idea that regular sequences can be pulled back, preserving degrees, along a field extension.


title: Classification of Levi degenerate homogeneous CR-manifolds in dimension 5

abstract: In this paper we present new examples of homogeneous 2-nondegenerate CR-manifolds of dimension 5 and give, up to local CR-equivalence, a full classification of all CR-manifolds of this type.


title: Elementary divisors of the Shapovalov form on the basic representation of Kac-Moody algebras

abstract: We provide an algorithm to calculate the invariant factors of the Shapovalov form on the standard $\Z$-lattice inside the basic representation of a Kac-Moody algebra of $ADE$ type, and give explicit formulae in some cases. The techniques developed reduce the problem to finding the invariant factors of a family of bilinear forms on the ring of symmetric functions, having Jack's symmetric functions as an orthonormal basis. These results have applications to the representation theory of Iwahori-Hecke algebras at roots of unity and the modular representation theory of symmetric groups.


title: On small distances between ordinates of zeros of $\zeta(s)$ and $\zeta'(s)$

abstract: We prove that for any zero $\beta'+i\gamma'$ of $\zeta'(s)$ there exists a zero $\beta+i\gamma$ of $\zeta(s)$ such that $|\gamma-\gamma'|\ll \sqrt{|\beta'-\tfrac{1}{2}|},$ and we provide some other related results.


title: C*-Algebra-valued-symbol pseudodifferential operators: abstract characterizations

abstract: Given a separable unital C*algebra $C$, let $E_n$ denote the Hilbert module equal to the completion of the Schwartz space of rapidly decreasing smooth functions from $R^n$ to $C$ equipped with the $C$-valued inner product given by integration. Let $B$ denote the space of all smooth functions with bounded derivatives from $R^n$ to $C$. For each $a$ in $B$, let $O(a)$ denote the pseudodifferential operator of symbol $a$. $O$ maps $B$ to $H$, the set of all adjointable operators on $E_n$ which have smooth orbit under the canonical action of the Heisenberg group. We construct a left inverse for $O$, $S:H\to B$, and prove that $S$ is an inverse for $O$ if $C$ is commutative. The case when $C$ is the complex numbers was proven by Cordes in 1979. As a consequence, we prove, for commutative separable unital C*algebras, a characterization of a certain class of pseudodifferential operators conjectured by Rieffel in 1993.


title: Bidynamical Poisson Groupoids

abstract: We give relations between dynamical Poisson groupoids, classical dynamical Yang--Baxter equations and Lie quasi-bialgebras. We show that there is a correspondance between the class of bidynamical Lie quasi-bialgebras and the class of bidynamical Poisson groupoids. We give an explicit, analytical and canonical equivariant solution of the classical dynamical Yang--Baxter equation (classical dynamical $\ell$-matrices) when there exists a reductive decomposition $\g=\l\oplus\m$, and show that any other equivariant solution is formally gauge equivalent to the canonical one. We also describe the dual of the associated Poisson groupoid, and obtain the characterization that a dynamical Poisson groupoid has a dynamical dual if and only if there exists a reductive decomposition $\g=\l\oplus\m$.


title: Metric bundles of split signature and type II supergravity

abstract: We study the geometry of type II supergravity compactifications in terms of an oriented vector bundle $E$, endowed with a bundle metric of split signature and further datum. The geometric structure is associated with a so-called generalised $G$-structure and characterised by an $E$-spinor $\rho$, which we can regard as a differential form of mixed degree. This enables us to reformulate the field equations of type II supergravity as an integrability condition of type $d_H\rho=0$, where $d_H=d+H\wedge$ is the twisted differential on forms. Finally, we investigate some geometric properties of integrable structures and formulate various no-go theorems.


title: Perturbation Expansion and N-th Order Fermi Golden Rule of the Nonlinear Schr\"odinger Equations

abstract: In this paper we consider generalized nonlinear Schr\"odinger equations with external potentials. we compute the forth and the sixed order Fermi Golden Rules (FGR), conjectured in our previous papers, which is used in a study of the asymptotic dynamics of trapped solitons.


title: Unitary local systems, multiplier ideals, and polynomial periodicity of Hodge numbers

abstract: The space of unitary local systems of rank one on the complement of an arbitrary divisor in a complex projective algebraic variety can be described in terms of parabolic line bundles. We show that multiplier ideals provide natural stratifications of this space. We prove a structure theorem for these stratifications in terms of complex tori and convex rational polytopes, generalizing to the quasi-projective case results of Green-Lazarsfeld and Simpson. As an application we show the polynomial periodicity of Hodge numbers of congruence covers in any dimension, generalizing results of E. Hironaka and Sakuma. We extend the structure theorem and polynomial periodicity to the setting of cohomology of unitary local systems. In particular, we obtain a generalization of the polynomial periodicity of Betti numbers of unbranched congruence covers due to Sarnak-Adams. We derive a geometric characterization of finite abelian covers, which recovers the classic one and the one of Pardini. We use this, for example, to prove a conjecture of Libgober about Hodge numbers of abelian covers.


title: Polynomial solutions of the Knizhnik-Zamolodchikov equations and Schur-Weyl duality

abstract: An integral formula for the solutions of Knizhnik-Zamolodchikov (KZ) equation with values in an arbitrary irreducible representation of the symmetric group S_N is presented for integer values of the parameter. The corresponding integrals can be computed effectively as certain iterated residues determined by a given Young diagram and give polynomials with integer coefficients. The derivation is based on Schur-Weyl duality and the results of Matsuo on the original SU(n) KZ equation. The duality between the spaces of solutions with parameters m and -m is discussed in relation with the intersection pairing in the corresponding homology groups.


title: Packing k-edge Trees in Graphs of Restricted Vertex Degrees

abstract: Let v(G) be the number of vertices and t(G,k) the maximum number of disjoint k-edge trees in G. In this paper we show that (a1) if G is a graph with every vertex of degree at least two and at most s, where s > 3, then t(G,2) is at least v(G)/(s+1), (a2) if G is a graph with every vertex of degree at least two and at most 3 and G has no 5-vertex components, then t(G,2) is at least v(G)/4, (a3) if G is a graph with every vertex of degree at least one and at most s and G has no k--vertex component, where k >1 and s > 2, then t(G,k) is at least (v(G) - k)/(sk - k +1), and (a4) the above bounds are attained for infinitely many connected graphs. Our proofs provide polynomial time algorithms for finding the corresponding packings in a graph. Keywords: subgraph packing, 2-edge and k-edge paths, k-edge trees, polynomial time approximation algorithms.


title: An Efficient Approximation of the Traveling Salesman Polytope Using Lifting Methods

abstract: For the Traveling Salesman Polytope on n cities T_n, we construct its approximation Q_k, k=1, 2, . . ., n^(1/3) using a projection of a polytope whose number of facets is polynomial in n (of degree linear in k). We show that T_n is contained in Q_k for each k, and that the scaling of Q_k by k/n+O(1/n) is contained in T_n for each k. We show that certain facets of T_n lie on the boundary of Q_k.


title: The Ornstein Uhlenbeck Bridge and Applications to Markov Semigroups

abstract: For an arbitrary Hilbert space-valued Ornstein-Uhlenbeck process we construct the Ornstein-Uhlenbeck Bridge connecting a starting point $x$ and an endpoint $y$ that belongs to a certain linear subspace of full measure. We derive also a stochastic evolution equation satisfied by the OU Bridge and study its basic properties. The OU Bridge is then used to investigate the Markov transition semigroup associated to a nonlinear stochastic evolution equation with additive noise. We provide an explicit formula for the transition density and study its regularity. Given the Strong Feller property and the existence of an invariant measure we show that the transition semigroup maps $L^p$ functions into continuous functions. We also show that transition operators are $q$-summing for some $q>p>1$, in particular of Hilbert-Schmidt type.


title: On The Dimension of The Virtually Cyclic Classifying Space of a Crystallographic Group

abstract: In this paper we construct a model for the classifying space, BVCG, of a crystallographic group G of rank n relative to the family VC of virtually-cyclic subgroups of G. The model is used to show that there exists no other model for the virtually-cyclic classifying space of G with dimension less than vcd(G)+1, where vcd(G) denotes the virtual cohomological dimension of G. In addition, the dimension of our construction realizes this limit.


title: An elementary and constructive solution to Hilbert's 17th Problem for matrices

abstract: We give a short and elementary proof of a theorem of Procesi, Schacher and (independently) Gondard, Ribenboim that generalizes a famous result of Artin. Let $A$ be an $n \times n$ symmetric matrix with entries in the polynomial ring $\mathbb R[x_1,...,x_m]$. The result is that if $A$ is postive semidefinite for all substitutions $(x_1,...,x_m) \in \mathbb R^m$, then $A$ can be expressed as a sum of squares of symmetric matrices with entries in $\mathbb R(x_1,...,x_m)$. Moreover, our proof is constructive and gives explicit representations modulo the scalar case.


title: When and how an error yields a Dirichlet form

abstract: We consider a random variable $Y$ and approximations $Y\_n$, defined on the same probability space with values in the same measurable space as $Y$. We are interested in situations where the approximations $Y\_n$ allow to define a Dirichlet form in the space $L^2(P\_Y)$ where $P\_Y$ is the law of $Y$. Our approach consists in studying both biases and variances. The article attempts to propose a general theoretical framework. It is illustrated by several examples.


title: Some thoughts upon axiomatized languages with estension tools, a focus on probability theory and error calculus with Dirichlet forms

abstract: A comparison of the "theory of random sequences" developed during the twentieth century and the axiomatic approach of probability theory proposed by Kolmogorov shows the importance of sigma-additivity as extension tool. Similarly, the Cauchy criterion appears to be an extension tool for mathematical analysis. The Dirichlet forms theory possesses also such an extension tool. They are the source of the fruitfulness of these languages and the condition of their creativity. A connection is given with the so-called Richard paradox.


title: A note on spaces of asymptotic dimension one

abstract: Let $X$ be a geodesic metric space with $H_1(X)$ uniformly generated. If $X$ has asymptotic dimension one then $X$ is quasi-isometric to an unbounded tree. As a corollary, we show that the asymptotic dimension of the curve graph of a compact, oriented surface with genus $g \ge 2$ and one boundary component is at least two.


title: Th\'{e}or\`{e}me de Donsker et formes de Dirichlet

abstract: We use the language of errors to handle local Dirichlet forms with square field operator (cf [2]). Let us consider, under the hypotheses of Donsker theorem, a random walk converging weakly to a Brownian motion. If in addition the random walk is supposed to be erroneous, the convergence occurs in the sense of Dirichlet forms and induces the Ornstein-Uhlenbeck structure on the Wiener space. This quite natural result uses an extension of Donsker theorem to functions with quadratic growth. As an application we prove an invariance principle for the gradient of the maximum of the Brownian path computed by Nualart and Vives.


title: Submean variance bound for effective resistance of random electric networks

abstract: We study a model of random electric networks with Bernoulli resistances. In the case of the lattice Z^2, we show that the point-to-point effective resistance between 0 and a vertex v has a variance of order at most (log |v|)^(2/3) whereas its expected value is of order log |v|, when v goes to infinity. When the dimension of Z^d is different than 2, expectation and variance are of the same order. Similar results are obtained in the context of p-resistance. The proofs rely on a modified Poincare inequality due to Falik and Samorodnitsky.


title: The Curie-Weiss model with dynamical external field

abstract: We study a Curie-Weiss model with a random external field generated by a dynamical system. Probabilistic limit theorems (weak law of large numbers, central limit theorems) are proven for the corresponding magnetization.


title: Easily Testable Necessary and Sufficient Algebraic Criteria for Delay-independent Stability of a Class of Neutral Differential Systems

abstract: This paper analyzes the eigenvalue distribution of neutral differential systems and the corresponding difference systems, and establishes the relationship between the eigenvalue distribution and delay-independent stability of neutral differential systems. By using the ``Complete Discrimination System for Polynomials", easily testable necessary and sufficient algebraic criteria for delay-independent stability of a class of neutral differential systems are established. The algebraic criteria generalize and unify the relevant results in the literature. Moreover, the maximal delay bound guaranteeing stability can be determined if the systems are not delay-independent stable. Some numerical examples are provided to illustrate the effectiveness of our results.


title: Flag higher Nash blowups

abstract: In his previous paper, the author has defined a higher version of the Nash blowup and considered it a possible candidate for the one-step resolution. In this paper, we will introduce another higher version of the Nash blowup and prove that it is compatible with products and smooth morphisms. We will also prove that the product of curves can be desingularized via both versions.


title: On Schatten-von Neumann class properties of pseudo-differential operators. Cordes' lemma

abstract: We prove an extended version of Cordes' lemma concerning trace-class properties of some special pseudo-differential operators. This version of Cordes' lemma is used to improve the results in \cite{Arsu} concerning the Schatten-class properties of pseudo-differential operators in the $(X,\tau) $-quantization. Here $X$ is an $n$ dimensional vector space and $\tau $ is an endomorphism of $X$.