title: Gauge equivalence of Dirac structures and symplectic groupoids

abstract: We study gauge transformations of Dirac structures and the relationship between gauge and Morita equivalences of Poisson manifolds. We describe how the symplectic structure of a symplectic groupoid is affected by a gauge transformation of the Poisson structure on its identity section, and prove that gauge-equivalent integrable Poisson structures are Morita equivalent. As an example, we study certain generic sets of Poisson structures on Riemann surfaces: we find complete gauge-equivalence invariants for such structures which, on the 2-sphere, yield a complete invariant of Morita equivalence.


title: Selfsimilar random fractal measure using contraction method in probabilistic metric spaces

abstract: We use contraction method in probabilistic metric spaces to prove existence and uniqueness of selfsimilar random fractal measures.


title: Induced Representations of Quantum Kinematical Algebras and Quantum Mechanics

abstract: Unitary representations of kinematical symmetry groups of quantum systems are fundamental in quantum theory. We propose in this paper its generalization to quantum kinematical groups. Using the method, proposed by us in a recent paper (olmo01), to induce representations of quantum bicrossproduct algebras we construct the representations of the family of standard quantum inhomogeneous algebras $U_\lambda(iso_{\omega}(2))$. This family contains the quantum Euclidean, Galilei and Poincar\'e algebras, all of them in (1+1) dimensions. As byproducts we obtain the actions of these quantum algebras on regular co-spaces that are an algebraic generalization of the homogeneous spaces and $q$--Casimir equations which play the role of $q$--Schr\"odinger equations.


title: Torsion points on curves and common divisors of a^k-1 and b^k-1

abstract: We study the behavior of the greatest common divisor of a^k-1 and b^k-1, where a,b are fixed integers or polynomials, and k varies. In the integer case, we conjecture that when a and b are multiplicatively independent and in addition a-1 and b-1 are coprime, then a^k-1 and b^k-1 are coprime infinitely often. In the polynomial case, we prove a strong version of this conjecture. To do this we use a result of Lang's on the finiteness of torsion points on algebraic curves. We also give a matrix analogue of these results, where for a unimodular matrix A, we look at the greatest common divisor of the elements of the matrix A^k-I.


title: Reconstructing a Simple Polytope from its Graph

abstract: Blind and Mani (1987) proved that the entire combinatorial structure (the vertex-facet incidences) of a simple convex polytope is determined by its abstract graph. Their proof is not constructive. Kalai (1988) found a short, elegant, and algorithmic proof of that result. However, his algorithm has always exponential running time. We show that the problem to reconstruct the vertex-facet incidences of a simple polytope P from its graph can be formulated as a combinatorial optimization problem that is strongly dual to the problem of finding an abstract objective function on P (i.e., a shelling order of the facets of the dual polytope of P). Thereby, we derive polynomial certificates for both the vertex-facet incidences as well as for the abstract objective functions in terms of the graph of P. The paper is a variation on joint work with Michael Joswig and Friederike Koerner (2001).


title: Alexander duality in subdivisions of Lawrence polytopes

abstract: The class of simplicial complexes representing triangulations and subdivisions of Lawrence polytopes is closed under Alexander duality. This gives a new geometric model for oriented matroid duality.


title: Classification of three-dimensional exceptional log canonical hypersurface singularities II

abstract: In this paper the detailed classification of three-dimensional exceptional canonical hypersurface singularities which don't satisfy the condition of well-formedness is given. This result completes the classification of three-dimensional exceptional log canonical hypersurface singularities started in [4] (math.AG 0201025).


title: A nonsmooth variational approach to differential problems. A case study of nonresonance under the first eigenvalue for a strongly nonlinear elliptic problem

abstract: We adapt a technique of nonsmooth critical point theory developed by Degiovanni-Zani for a semilinear problem involving the Laplacian to the the case of the $p$-Laplacian. We suppose only coercivity conditions on the potential and impose no growth condition of the nonlinearity. The coercivity is obtained using similar nonresonance conditions to [Mawhin-Ward-Willem] and to [Landesman-Lazer] in two different results and using some comparison functions and comparison spaces in a third one. It is also shown that neither of the three theorems implies the two others.


title: Nonsmooth Critical Point Theorems Without Compactness

abstract: We establish an abstract critical point theorem for locally Lipschitz functionals that does not require any compactness condition of Palais-Smale type. It generalizes and unifies three other critical point theorems established in [Jabri-Moussaoui] for $C^{1}$-functionals under slightly stronger assumptions. Our approach uses continuous selections of multivalued mappings.


title: Dimensions and singular traces for spectral triples, with applications to fractals

abstract: Given a spectral triple (A,D,H), the functionals on A of the form a -> tau_omega(a|D|^(-t)) are studied, where tau_omega is a singular trace, and omega is a generalised limit. When tau_omega is the Dixmier trace, the unique exponent d giving rise possibly to a non-trivial functional is called Hausdorff dimension, and the corresponding functional the (d-dimensional) Hausdorff functional. It is shown that the Hausdorff dimension d coincides with the abscissa of convergence of the zeta function of |D|^(-1), and that the set of t's for which there exists a singular trace tau_omega giving rise to a non-trivial functional is an interval containing d. Moreover, the endpoints of such traceability interval have a dimensional interpretation. The corresponding functionals are called Hausdorff-Besicovitch functionals. These definitions are tested on fractals in R, by computing the mentioned quantities and showing in many cases their correspondence with classical objects. In particular, for self-similar fractals the traceability interval consists only of the Hausdorff dimension, and the corresponding Hausdorff-Besicovitch functional gives rise to the Hausdorff measure. More generally, for any limit fractal, the described functionals do not depend on the generalized limit omega.


title: Real Multiplication and noncommutative geometry

abstract: Classical theory of Complex Multiplication (CM) shows that all abelian extensions of a complex quadratic field $K$ are generated by the values of appropriate modular functions at the points of finite order of elliptic curves whose endomorphism rings are orders in $K$. For real quadratic fields, a similar description is not known. However, the relevant (still unproved) case of Stark conjectures ([St1]) strongly suggests that such a description must exist. In this paper we propose to use two--dimensional quantum tori corresponding to real quadratic irrationalities as a replacement of elliptic curves with complex multiplication. We discuss some basic constructions of the theory of quantum tori from the perspective of this Real Multiplication (RM) research project.


title: Crossingless matchings and the cohomology of (n,n) Springer varieties

abstract: The sequence of rings $H^n, n\ge 0,$ introduced in math.QA/0103190, controls categorification of the quantum sl(2) invariant of tangles. We prove that the center of $H^n$ is isomorphic to the cohomology ring of the (n,n) Springer variety and show that the braid group action in the derived category of $H^n$-modules descends to the Springer action of the symmetric group.


title: Homomorphisms of the alternating group A_5 into a reductive group

abstract: We show that any two homomorphisms of the alternating group A_5 into E_8 (over the complex numbers) whose images has finite centralizers are conjugate under E_8. This, in conjunction with earlier work of Frey, completes the classification up to G-conjugacy of homomorphisms of A_5 into a simple adjoint algebraic group over the complex numbers.


title: Borsuk's Conjecture Fails in Dimensions 321 and 322

abstract: Borsuk's conjecture states that any bounded set in R^n can be partitioned into n+1 sets of smaller diameter. It is known to be false for all n bigger or equal to 323. Here we show that Borsuk's conjecture fails in dimensions 321 and 322. (This result has been independently discovered by Hinrichs and Richter.)


title: Higher order Nielsen numbers

abstract: Suppose X,Y are manifolds, f,g:X->Y are maps. The well-known Coincidence Problem studies the coincidence set C={x:f(x)=g(x)}. The number m=dimX-dimY is called the codimension of the problem. More general is the Preimage Problem. For a map f:X->Z and a submanifold Y of Z, it studies the preimage set C={x:f(x) in Y}, and the codimension is m=dimX+dimY-dimZ. In case of codimension 0, the classical Nielsen number N(f,Y) is a lower estimate of the number of points in C changing under homotopies of f, and for an arbitrary codimension, of the number of components of C. We extend this theory to take into account other topological characteristics of C. The goal is to find a "lower estimate" of the bordism group Omega_{p}(C) of C. The answer is the Nielsen group S_{p}(f,Y) defined as follows. In the classical definition the Nielsen equivalence of points of C based on paths is replaced with an equivalence of singular submanifolds of C based on bordisms. We let S_{p}^{prime}(f,Y) be the quotient group of Omega_{p}(C) with respect to this equivalence relation, then the Nielsen group of order p is the part of this group preserved under homotopies of f. The Nielsen number N_{p}(f,Y) of order p is the rank of this group (then N(f,Y)=N_{0}(f,Y)). These numbers are new obstructions to removability of coincidences and preimages. Some examples and computations are provided.


title: On Finite-Dimensional Maps II

abstract: Let $f\colon X\to Y$ be a perfect $n$-dimensional surjection of paracompact spaces with $Y$ being a $C$-space. We prove that, for any $m\geq n+1$, almost all (in the sense of Baire category) maps $g$ from $X$ into the $m$-dimensional cube have the following property: $g(f^{-1}(y))$ is at most $n$-dimensional for every $y\in Y$.


title: Ovals and Hyperovals in Desarguesian Nets

abstract: We determine the Desarguesian planes which hold $r$-nets with ovals and those which hold $r$-nets with hyperovals for every $r \le 7$.


title: Continuous Selections and finite C-spaces

abstract: Characterizations of paracompact finite $C$-spaces via continuous selections are given. We apply these results to obtain some properties of finite $C$-spaces. Factorization theorems and a completion theorem for finite $C$- spaces are also established.


title: Fano's inequality is also false for three-dimensional quadric

abstract: A birational transformation of three-dimensional quadric is constructed. The inequalities of fano are not fulfilled for this transformation.


title: Jumping deformations of complete toric varieties

abstract: We construct one-parameter complex analytic families whose special fibers are complete toric varieties. Under some assumptions, the general fibers of these families also become toric varieties and we can explicitly describe the corresponding fans from the data of the fans corresponding to the special fibers. Using these families, we give a deformation family for a certain toric weakened Fano 3-fold. Moreover, we get some examples of toric weakened Fano 4-folds.


title: A_{\infty}-method in Lusternik-Schnirelmann category

abstract: To clarify the method behind the paper "Ganea's conjecture on Lusternik-Schnirelman category" by the author, a generalisation of Berstein-Hilton Hopf invariants is defined as `higher Hopf invariants'. They detect the higher homotopy associativity of Hopf spaces and are studied as obstructions not to increase the LS category by one by attaching a cone. Under a condition between dimension and LS category, a criterion for Ganea's conjecture on LS category is obtained using the generalised higher Hopf invariants, which yields the main result of "Ganea's ..." for all the cases except the case when $p=2$. As an application, conditions in terms of homotopy invariants of the characteristic maps are given to determine the LS category of sphere-bundles-over-spheres. Consequently, a closed manifold $M$ is found not to satisfy Ganea's conjecture on LS category and another closed manifold $N$ is found to have the same LS category as its `punctured submanifold' $N-\{P\}$, $P \in N$. But all examples obtained here support the conjecture in "Ganea's ...".


title: Lusternik-Schnirelmann category of a sphere-bundle over a sphere

abstract: A criterion to determine the L-S category of a total space of a sphere-bundle over a sphere is given in terms of homotopy invariants of its characteristic map, and thus providing a complete answer to Ganea's Problem 4. As a result, we obtain a necessary and sufficient condition for such a total space $N$ to have the same L-S category as its `once punctured submanifold' $N\smallsetminus\{P\}$, $P \in N$. Also a necessary condition for such a total space $M$ to satisfy Ganea's conjecture is obtained.


title: A p-complete version of the Ganea Conjecture for co-H-spaces

abstract: A finite connected CW complex which is a co-H-space is shown to have the homotopy type of a wedge of a bunch of circles and a simply-connected finite complex after almost $p$-completion at a prime $p$.


title: L-S categories of simply-connected compact simple Lie groups of low rank

abstract: We determine the L-S category of Sp(3) by showing that the 5-fold reduced diagonal $\widebar{\Delta}_5$ is given by $\nu^2$, using a Toda bracket and a generalised cohomology theory $h^*$ given by $h^*(X,A) = \{X/A,{\mathbb S}[0,2]\}$, where ${\mathbb S}[0,2]$ is the 3-stage Postnikov piece of the sphere spectrum ${\mathbb S}$. This method also yields a general result that $\cat(Sp(n)) \geq n+2$ for $n \geq 3$, which improves the result of Singhof.


title: Connectivity via nongeneric pencils

abstract: We use slicing by nongeneric pencils of hypersurfaces and prove a new theorem of Lefschetz type for singular non compact spaces, at the homotopy level. As applications, we derive results on the topology of the fibres of polynomial functions or the topology of complements of hypersurfaces in $\mathbb C^n$.


title: Functions on groups and computational complexity

abstract: We give some connections between various functions defined on finitely presented groups (isoperimetric, isodiametric, Todd-Coxeter radius, filling length functions, etc.), and we study the relation between those functions and the computational complexity of the word problem (deterministic time, nondeterministic time, symmetric space). We show that the isoperimetric function can always be linearly decreased (unless it is the identity map). We present a new proof of the Double Exponential Inequality, based on context-free languages.


title: Computation of some Moduli Spaces of covers and explicit S_n and A_n regular Q(T)-extensions with totally real fibers

abstract: We study and compute an infinite family of Hurwitz spaces parameterizing covers of P_C branched at four points and deduce explicit regular S_n and A_n-extensions over Q(T) with totally real fibers.


title: Traces for star products on the dual of a Lie algebra

abstract: In this paper, we describe all traces for the BCH star-product on the dual of a Lie algebra. First we show by an elementary argument that the BCH as well as the Kontsevich star-product are strongly closed if and only if the Lie algebra is unimodular. In a next step we show that the traces of the BCH star-product are given by the $\ad$-invariant functionals. Particular examples are the integration over coadjoint orbits. We show that for a compact Lie group and a regular orbit one can even achieve that this integration becomes a positive trace functional. In this case we explicitly describe the corresponding GNS representation. Finally we discuss how invariant deformations on a group can be used to induce deformations of spaces where the group acts on.


title: Determining the Genus of a Map by Local Observation of a Simple Random Process

abstract: Given a graph embedded in an orientable surface, a process consisting of random excitations and random node and face balancing is constructed and analyzed. It is shown that given a priori bounds g' on the genus and n' on the number of nodes, one can determine the genus of the surface from local observations of the process restricted to any connected subgraph which cannot be separated from the rest of the graph by fewer than 16g' nodes. The observation time and the computation time are polynomial in n'^g'. The process constructs slightly perturbed random ``discrete analytic functions'' on the surface, and the key fact in the analysis is that such a function cannot vanish on a large piece of the surface.


title: The "Action" Variable is not an Invariant for the Uniqueness in the Inverse Scattering Problem

abstract: We give a simple example of non-uniqueness in the inverse scattering for Jacobi matrices: roughly speaking $S$-matrix is analytic. Then, multiplying a reflection coefficient by an inner function, we repair this matrix in such a way that it does uniquely determine a Jacobi matrix of Szeg\"o class; on the other hand the transmission coefficient remains the same. This implies the statement given in the title.


title: Frobenius amplitude and strong vanishing theorems for vector bundles

abstract: The primary goal of this paper is to systematically exploit the method of Deligne-Illusie to obtain Kodaira type vanishing theorems for vector bundles and more generally coherent sheaves on algebraic varieties. The key idea is to introduce a number which provides a cohomological measure of the positivity of a coherent sheaf called the Frobenius or F-amplitude. As the terminology indicates, the definition is most natural over a field of positive characteristic, however it can be forced into characteristic 0 by standard tricks. The F-amplitude enters into the statement of the basic vanishing theorem, and this leads to the problem of calculating, or at least estimating, this number. Most of the work in this paper is devoted to doing this various situations. The key result in this direction is a bound on the F-amplitude of an ample vector bundle. When combined with the vanishing theorem, this has some reasonably down to earth corollaries (both old and new).


title: Module categories over the Drinfeld double of a finite group

abstract: We classify the module categories over the double (possibly twisted) of a finite group.


title: Automorphisms of finite order on Gorenstein del Pezzo surfaces

abstract: In this note we shall determine all actions of groups of prime order p with p > 3 on Gorenstein del Pezzo (singular) surfaces Y of Picard number 1. We show that every order-p element in Aut(Y) (= Aut(Y'), Y' being the minimal resolution of Y) is lifted from a projective transformation of the projective plane. We also determine when Aut(Y) is finite in terms of the self intersection of the canonical divisor of Y, Sing(Y) and the number of singular members in the anti-canonical linear system of Y. In particular, we show that either |Aut(Y)| = 2^a 3^b for some 0 < a+b < 8, or for every prime p > 3 there is at least one element g_p of order p in Aut(Y) (hence |Aut(Y)| is infinite).


title: Infinite and natural numbers

abstract: The infinite numbers of the set M of finite and infinite natural numbers are defined starting from the sequence 0\Phi, where 0 is the first natural number, \Phi is a succession of symbols S and xS is the successor of the natural number x. The concept of limit of the natural number n, when n tends to infinite, is examined. Definitions and theorems about operations with elements of M, equivalence and equality of natural numbers, distance between elements of M and the order of the elements are presented.


title: Geometric Syzygies of Mukai Varieties and General Canonical Curves with Genus at most 8

abstract: We describe the spaces of minimal rank last syzygies for the Mukai Varieties of sectional genus 6,7 and 8. Based on this we show: 1. The first geometric syzygies of a general canonical curve of genus 6 form a non degenerate configuration of 5 lines in P^4. 2. The first geometric syzygies of a general canonical curve of genus 7 form a non degenerate, linearly normal, ruled surface of degree 84 on a spinor variety S in P^15. 3. The second geometric syzygies of a general canonical curve of genus 8 form a non degenerate configuration of 14 conics on a 2-uple embedded P^5 in P^20. This proves a natural generalization of Green's conjecture [1984], namely that the geometric syzygies should span the space of all syzygies, in these cases. We have generalized results 1 and 3 to general curves of even genus in math.AG/0108078. Result 2 is the main new result of this paper.


title: Moduli Spaces of Abelian Differentials: The Principal Boundary, Counting Problems and the Siegel--Veech Constants

abstract: A holomorphic 1-form on a compact Riemann surface S naturally defines a flat metric on S with cone-type singularities. We present the following surprising phenomenon: having found a geodesic segment (saddle connection) joining a pair of conical points one can find with a nonzero probability another saddle connection on S having the same direction and the same length as the initial one. The similar phenomenon is valid for the families of parallel closed geodesics. We give a complete description of all possible configurations of parallel saddle connections (and of families of parallel closed geodesics) which might be found on a generic flat surface S. We count the number of saddle connections of length less than L on a generic flat surface S; we also count the number of admissible configurations of pairs (triples,...) of saddle connections; we count the analogous numbers of configurations of families of closed geodesics. By the previous result of A.Eskin and H.Masur these numbers have quadratic asymptotics with respect to L. Here we explicitly compute the constant in this quqadratic asymptotics for a configuration of every type. The constant is found from a Siegel--Veech formula. To perform this computation we elaborate the detailed description of the principal part of the boundary of the moduli space of holomorphic 1-forms and we find the numerical value of the normalized volume of the tubular neighborhood of the boundary. We use this for evaluation of integrals over the moduli space.


title: Braids and symplectic four-manifolds with abelian fundamental group

abstract: We explain how a version of Floer homology can be used as an invariant of symplectic manifolds with $b_1>0$. As a concrete example, we look at four-manifolds produced from braids by a surgery construction. The outcome shows that the invariant is nontrivial; however, it is an open question whether it is stronger than the known ones.


title: Interruptible exact sampling in the passive case

abstract: We establish, for various scenarios, whether or not interruptible exact stationary sampling is possible when a finite-state Markov chain can only be viewed passively. In particular, we prove that such sampling is not possible using a single copy of the chain. Such sampling is possible when enough copies of the chain are available, and we provide an algorithm that terminates with probability one.


title: Unique representation bases for the integers

abstract: Arbitrarily sparse sets A of integers are constructed with the property that every integer can be represented uniquely in the form n = a + a', where a and a' belong to the set A and a < a' or a = a'. Some related open problems are stated.


title: Fano's inequality is false for a simple Cremona transformation of five-dimensional projective space

abstract: A Cremona transformation of five-dimensional projective space is constructed. The degree of the transformation is 7. The inequalities of Fano are not fulfilled for this transformation.


title: On the space of almost complex structures

abstract: The space ${\mathcal A}$ of almost complex structures on a closed manifold $M$ is studied. A natural parametrization of the space ${\mathcal A}$ is defined. It is shown, that ${\mathcal A}$ is a infinite dimensional complex weak Pseudo-Riemannian manifold. A curvature of the space ${\mathcal A}$ is found. The space ${\mathcal A}_\omega$ of associated almost complex structures on a symplectic manifold $M,\omega$ and space ${\mathcal AO}$ of orthogonal almost complex structures on a Riemannian manifold $M,g_0$ are considered in more detail.


title: Upper and lower bounds for normal derivatives of Dirichlet eigenfunctions

abstract: Suppose that $M$ is a compact Riemannian manifold with boundary and $u$ is an $L^2$-normalized Dirichlet eigenfunction with eigenvalue $\lambda$. Let $\psi$ be its normal derivative at the boundary. Scaling considerations lead one to expect that the $L^2$ norm of $\psi$ will grow as $\lambda^{1/2}$ as $\lambda \to \infty$. We prove an upper bound of the form $\|\psi \|_2^2 \leq C\lambda$ for any Riemannian manifold, and a lower bound $c \lambda \leq \|\psi \|_2^2$ provided that $M$ has no trapped geodesics (see the main Theorem for a precise statement). Here $c$ and $C$ are positive constants that depend on $M$, but not on $\lambda$. The proof of the upper bound is via a Rellich-type estimate and is rather simple, while the lower bound is proved via a positive commutator estimate.


title: A strengthening of the Nyman-Beurling criterion for the Riemann Hypothesis

abstract: Let $\rho(x)=x-[x]$, $\chi=\chi_{(0,1)}$. In $L_2(0,\infty)$ consider the subspace $\B$ generated by $\{\rho_a | a \geq 1\}$ where $\rho_a(x):=\rho(\frac{1}{ax})$. By the Nyman-Beurling criterion the Riemann hypothesis is equivalent to the statement $\chi\in\bar{\B}$. For some time it has been conjectured, and proved in this paper, that the Riemann hypothesis is equivalent to the stronger statement that $\chi\in\bar{\Bnat}$ where $\Bnat$ is the much smaller subspace generated by $\{\rho_a | a\in\Nat\}$.


title: Doubles melanges des polylogarithmes multiples aux racines de l'unit'e

abstract: The values at positive integers of the polyzeta functions are solutions of the polynomial equations arising from Drinfeld's associators, which have numerous applications in quantum algebra. Considered as iterated integrals they become periods of the motivic fundamental groupoid of $\mathbb{P}^1\setminus\{0,1,\infty\}$. From there comes a fundamental, yet no more explicit, system of algebraic relations; it implies the system of associators. We focus here on the combinatorics properties of another system of relations, the ``double shuffles'', which comes from elementary series and integrals manipulations. We show that it shares a torsor property with associators and ``motivic'' relations, is implied by the latter and defines a polynomial algebra over $\mathbb{Q}$ (a result first due to J. Ecalle). We obtain these results for more general numbers: values of Goncharov's multiple polylogarithms at roots of unity. These results were previously announced in math.QA:0012024. Here is the detailed proof.


title: Euler characteristic of the configuration space of a complex

abstract: A closed form formula (generating function) for the Euler characteristic of the configuration space of $\scriptstyle n$ particles in a simplicial complex is given.


title: Singularities and Topology of Meromorphic Functions

abstract: We present several aspects of the "topology of meromorphic functions", which we conceive as a general theory which includes the topology of holomorphic functions, the topology of pencils on quasi-projective spaces and the topology of polynomial functions.


title: Analysis and Probability over Infinite Extensions of a Local Field, II: A Multiplicative Theory

abstract: Let $V$ be a projective limit, with respect to the renormalized norm mappings, of the groups of principal units corresponding to a strictly increasing sequence of finite separable totally and tamely ramified Galois extensions of a local field. We study the structure of the dual group $V'$, introduce and investigate a fractional differentiation operator on $V$, and the corresponding L\'evy process. Part I: Potential Anal., 10 (1999), 305-325.


title: Traffic Flow on a Road Network

abstract: This paper is concerned with a fluidodynamic model for traffic flow. More precisely, we consider a single conservation law, deduced from conservation of the number of cars, defined on a road network that is a collection of roads with junctions. The evolution problem is underdetermined at junctions, hence we choose to have some fixed rules for the distribution of traffic plus an optimization criteria for the flux. We prove existence, uniqueness and stability of solutions to the Cauchy problem. Our method is based on wave front tracking approach, (B), and works also for boundary data and time dependent coefficients of traffic distribution at junctions, so including traffic lights.


title: Sharp polynomial estimates for the decay of correlations

abstract: We generalize a method developed by Sarig to obtain polynomial lower bounds for correlation functions for maps with a countable Markov partition. A consequence is that LS Young's estimates on towers are always optimal. Moreover, we show that, for functions with zero average, the decay rate is better, gaining a factor 1/n. This implies a Central Limit Theorem in contexts where it was not expected, e.g. x+Cx^(1+\alpha) with 1/2 < \alpha < 1. The method is based on a general result on renewal sequences of operator, and gives an asymptotic estimate up to any precision of such operators.


title: Imaginary vectors in the dual canonical basis of $U_q(n)$

abstract: Let $n$ be the maximal nilpotent subalgebra of a simple complex Lie algebra $g$. We introduce the notion of imaginary vector in the dual canonical basis of $U_q(n)$, and we give examples of such vectors for types $A_n (n\ge 5)$, $B_n (n\ge 3)$, $C_n (n\ge 3)$, $D_n (n\ge 4)$, and all exceptional types. This disproves a conjecture of Berenstein and Zelevinsky about $q$-commuting products of vectors of the dual canonical basis. It also shows the existence of finite-dimensional irreducible representations of quantum affine algebras whose tensor square is not irreducible.


title: Existence of perfect Morse functions on spaces with semi-free circle action

abstract: Let $M$ be a compact oriented simply-connected manifold of dimension at least 8. Assume $M$ is equipped with a torsion-free semi-free circle action with isolated fixed points. We prove $M$ has a perfect invariant Morse-Smale function. The major ingredient in the proof is a new cancellation theorem for the invariant Morse theory.


title: Perverse Sheaves on Real Loop Grassmannians

abstract: The aim of this paper is to identify a certain tensor category of perverse sheaves on the real loop Grassmannian of a real form $G_{\mathbb R}$ of a connected reductive complex algebraic group $G$ with the category of finite-dimensional representations of a connected reductive complex algebraic subgroup $\check H$ of the dual group $\check G$. The root system of $\check H$ is closely related to the restricted root system of the real form $G_{\mathbb R}$. The fact that $\check H$ is reductive implies that an interesting family of real algebraic maps satisfies the conclusion of the Decomposition Theorem of Beilinson-Bernstein-Deligne.


title: Frequency Response of Uncertain Systems: Strong Kharitonov-Like Results

abstract: In this paper, we study the frequency response of uncertain systems using Kharitonov stability theory on first order complex polynomial set. For an interval transfer function, we show that the minimal real part of the frequency response at any fixed frequency is attained at some prescribed vertex transfer functions. By further geometric and algebraic analysis, we identify an index for strict positive realness of interval transfer functions. Some extensions and applications in positivity verification and robust absolute stability of feedback control systems are also presented.


title: Defining relations for classical Lie superalgebras without Cartan matrices

abstract: The analogs of Chevalley generators are offered for simple (and close to them) Z-graded complex Lie algebras and Lie superalgebras of polynomial growth without Cartan matrix. We show how to derive the defining relations between these generators and explicitly write them for a "most natural" ("distinguished" in terms of Penkov and Serganova) system of simple roots. The results are given mainly for Lie superalgebras whose component of degree zero is a Lie algebra (other cases being left to the reader). Observe presentations of exceptional Lie superalgebras and Lie superalgebras of hamiltonian vector fields. Now we can, at last, q-quantize the Lie Lie superalgebras of hamiltonian vector fields and Poisson superalgebras.


title: Affine extension of noncrystallographic Coxeter groups and quasicrystals

abstract: Unique affine extensions $H^{\aff}_2$, $H^{\aff}_3$ and $H^{\aff}_4$ are determined for the noncrystallographic Coxeter groups $H_2$, $H_3$ and $H_4$. They are used for the construction of new mathematical models for quasicrystal fragments with 10-fold symmetry. The case of $H^{\aff}_2$ corresponding to planar point sets is discussed in detail. In contrast to the cut-and-project scheme we obtain by construction finite point sets, which grow with a model specific growth parameter.


title: Periods and mixed motives

abstract: We define motivic multiple polylogarithms and prove the double shuffle relations for them. We use this to study the motivic fundamental group of the multiplicative group - {N-th roots of unity} and relate it to geometry of modular varieties. In particular we get new information about the actionof the Galois group on the pro-l completion of the above fundamental group. This paper is the second part of "Multiple polylogarithms and mixed Tate motives" math.AG/0103059


title: Performance Evaluation of Switched Discrete Event Systems

abstract: This paper discusses the asymptotic periodic behavior of a class of switched discrete event systems, and shows how to evaluate the asymptotic performance of such systems.


title: Riemann Surfaces and 3-Regular Graphs

abstract: In this thesis we consider a way to construct a rich family of compact Riemann Surfaces in a combinatorial way. Given a 3-regualr graph with orientation, we construct a finite-area hyperbolic Riemann surface by gluing triangles according to the combinatorics of the graph. We then compactify this surface by adding finitely many points. We discuss this construction by considering a number of examples. In particular, we see that the surface depends in a strong way on the orientation. We then consider the effect the process of compactification has on the hyperbolic metric of the surface. To that end, we ask when we can change the metric in the horocycle neighbourhoods of the cusps to get a hyperbolic metric on the compactification. In general, the process of compactification can have drastic effects on the hyperbolic structure. For instance, if we compactify the 3-punctured sphere we lose its hyperbolic structure. We show that when the cusps have lengths > 2\pi, we can fill in the horocycle neighbourhoods and retain negative curvature. Furthermore, the last condition is sharp. We show by examples that there exist curves arbitrarily close to horocycles of length 2\pi, which cannot be so filled in. Such curves can even be taken to be convex.


title: On cubic functors

abstract: We prove that the description of cubic functors is a wild problem in the sense of the representation theory. On the contrary, we describe several special classes of such functors (2-divisible, weakly alternative, vector spaces and torsion free ones). We also prove that cubic functors can be defined locally and obtain corollaries about their projective dimensions and torsion free parts.


title: On Cohen-Macaulay modules over surface singularities

abstract: A description of Cohen-Macaulay modules over cusp surface singularities and over unimodule hypersurface singularities of type T is given. It is proved that among minimally elliptic singularities and their quotients only simple elliptic and cusps are tame, all others are wild (with respect to the classification of Cohen-Macaulay modules).


title: An elementary proof of Apery's theorem

abstract: We present a new `elementary' proof of the irrationality of $\zeta(3)$ based on some recent `hypergeometric' ideas of Yu.Nesterenko, T.Rivoal, and K.Ball, and on Zeilberger's algorithm of creative telescoping.


title: An estimate for the volume entropy of nonpositively curved graph manifolds

abstract: Let M be a closed 3-dimensional graph manifold. We prove that h(g)>1 for each geometrization g of M, where h(g) is the topological entropy of geodesic flow of g.


title: A Cup Product in the Galois Cohomology of Number Fields

abstract: Let K be a number field containing the group of n-th roots of unity and S a set of primes of K including all those dividing n and all real archimedean places. We consider the cup product on the first Galois cohomology group of the maximal S-ramified extension of K with coefficients in n-th roots of unity, which yields a pairing on a subgroup of the multiplicative group of K containing the S-units. In this general situation, we determine a formula for the cup product of two elements which pair trivially at all local places. Our primary focus is the case that K is the cyclotomic field of p-th roots of unity for n = p an odd prime and S consists of the unique prime above p in K. We describe a formula for this cup product in the case that one element is a p-th root of unity. We explain a conjectural calculation of the restriction of the cup product to p-units for all p < 10,000 and conjecture its surjectivity for all p satisfying Vandiver's conjecture. We prove this for the smallest irregular prime p = 37, via a computation related to the Galois module structure of p-units in the unramified extension of K of degree p. We describe a number of applications: to a product map in K-theory, to the structure of S-class groups in Kummer extensions of K, to relations in the Galois group of the maximal pro-p extension of K unramified outside p, to relations in the graded Z_p-Lie algebra associated to the representation of the absolute Galois group of Q in the outer automorphism group of the pro-p fundamental group of P^1 minus three points, and to Greenberg's pseudo-nullity conjecture.


title: The Geometry of Polygons in R^5 and Quaternions

abstract: We consider the moduli space M_r of polygons with fixed side lengths in five-dimensional eucledian space. We analyze the local structure of its singularities and exhibit a real-analytic equivalence between M_r and a weighted quotient of the n-fold product of the quaternionic projective line HP^1 by the diagonal PSL(2,H)-action. We explore the relation between M_r and the fixed point set of an anti-symplectic involution on a GIT quotient Gr(2,4)^n/SL(4,C). We generalize the Gel'fand-MacPherson correspondence to more general complex Grassmannians and to the quaternionic context, and realize our space M_r as a quotient of a subspace in the quaternionic Grassmannian Gr_H(2,n) by the action of the group Sp(1)^n. We also give analogues of the Gel'fand-Tsetlin coordinates on the space of quaternionic Hermitean matrices and briefly describe generalized action-angle coordinates on M_r.


title: Isotopies of planar compacta need not extend to isotopies of planar continua

abstract: We construct an isotopy of a planar compactum that is not the restriction of an isotopy of any planar continuum.


title: Non-commutative extensions of two-dimensional topological field theories and Hurwitz numbers for real algebraic curves

abstract: It is well-known that classical two-dimensional topological field theories are in one-to-one correspondence with commutative Frobenius algebras. An important extension of classical two-dimensional topological field theories is provided by open-closed two-dimensional topological field theories. In this paper we extend open-closed two-dimensional topological field theories to nonorientable surfaces. We call them Klein topological field theories(KTFT). We prove that KTFTs bijectively correspond to algebras with certain additional structures, called structure algebras. Semisimple structure algebras are classified. Starting from an arbitrary finite group, we construct a structure algebra and prove that it is semisimple. We define an analog of Hurwitz numbers for real algebraic curves and prove that they are correlators of a KTFT. The structure algebra of this KTFT is the structure algebra of the symmetric group.

categories: math.GT hep-th math-ph math.AG math.MP math.RA


title: On Euler Characteristic of equivariant sheaves

abstract: Let $k$ be an algebraically closed field of characteristic $p>0$ and let $\ell$ be another prime number. O. Gabber and F. Loeser proved that for any algebraic torus $T$ over $k$ and any perverse $\ell$-adic sheaf $\calF$ on $T$ the Euler characteristic $\chi(\calF)$ is non-negative. We conjecture that the same result holds for any perverse sheaf $\calF$ on a reductive group $G$ over $k$ which is equivariant with respect to the adjoint action. We prove the conjecture when $\calF$ is obtained by Goresky-MacPherson extension from the set of regular semi-simple elements in $G$. From this we deduce that the conjecture holds for $G$ of semi-simple rank 1.


title: On an analytic estimate in the theory of the Riemann Zeta function and a Theorem of Baez-Duarte

abstract: We establish a uniform upper estimate for the values of zeta(s)/zeta(s+A), 0<= A, on the critical line (conditionally on the Riemann Hypothesis). We use this to give a variant, purely complex analytic, to Baez-Duarte's proof of a strengthened Nyman-Beurling criterion for the validity of the Riemann Hypothesis.


title: Complete invariants for Hamiltonian torus actions with two dimensional quotients

abstract: We study torus actions on symplectic manifolds with proper moment maps in the case that each reduced space is two-dimensional. We provide a complete set of invariants for such spaces. Our proof uses sheaves of groupoids of Hamiltonian spaces.


title: On the geometry of the compactification of the universal Picard variety

abstract: Here we focus on the geometry of $\pdgbar$, the compactification of the universal Picard variety constructed by L. Caporaso. In particular, we show that the moduli space of spin curves constructed by M. Cornalba naturally injects into $\pdgbar$ and we give generators and relations of the rational divisor class group of $\pdgbar$, extending previous work by A. Kouvidakis.


title: A characterization of Morita equivalence pairs

abstract: We characterize the pairs of operator spaces which occur as pairs of Morita equivalence bimodules between non-selfadjoint operator algebras in terms of the mutual relation between the spaces. We obtain a characterization of the operator spaces which are completely isometrically isomorphic to imprimitivity bimodules between some strongly Morita equivalent (in the sense of Rieffel) C*-algebras. As corollaries, we give representation results for such operator spaces.


title: Spectral synthesis and masa-bimodules

abstract: Generalizing a result of Arveson on finite width CSL algebras, we prove that finite width masa-bimodules satisfy spectral synthesis. Introducing a new class of masa-bimodules, we show that there exists a non-synthetic masa-bimodule, such that the maximal algebras over which it is a bimodule, are synthetic.


title: Growth of self-similar graphs

abstract: Locally finite self-similar graphs with bounded geometry and without bounded geometry as well as non-locally finite self-similar graphs are characterized by the structure of their cell graphs. Geometric properties concerning the volume growth and distances in cell graphs are discussed. The length scaling factor $\nu$ and the volume scaling factor $\mu$ can be defined similarly to the corresponding parameters of continuous self-similar sets. There are different notions of growth dimensions of graphs. For a rather general class of self-similar graphs it is proved that all these dimensions coincide and that they can be calculated in the same way as the Hausdorff dimension of continuous self-similar fractals: \[\dim X=\frac{\log \mu}{\log \nu}.\]


title: Green functions on self-similar graphs and bounds for the spectrum of the Laplacian

abstract: Combining the study of the simple random walk on graphs, generating functions (especially Green functions), complex dynamics and general complex analysis we introduce a new method of spectral analysis on self-similar graphs. We give an axiomatic definition of self-similar graphs which correspond to general nested but not necessarily finitely ramified fractals. For this class of graphs a graph theoretic analogue to the Banach fixed point theorem is proved. Functional equations and a decomposition algorithm for the Green functions of self-similar graphs with some more symmetric structure are obtained. Their analytic continuations are given by rapidly converging expressions. We study the dynamics of a certain complex rational Green function $d$ on finite directed subgraphs. If the Julia set $\cj$ of $d$ is a Cantor set, then the reciprocal spectrum $\spec^{-1}P=\{1/z\mid z\in\spec P\}$ of the Markov transition operator $P$ can be identified with the set of singularities of any Green function of the whole graph. Finally we get explicit upper and lower bounds for the reciprocal spectrum, where $\cd$ is a countable set of the $d$-backwards iterates of a certain finite set of real numbers.


title: On K_1 and K_2 of algebraic surfaces

abstract: We study the higher Chow groups $CH^2(X,1)$ and $CH^3(X,2)$ of smooth, projective algebraic surfaces over a field of char 0. We develop a theoretical framework to study them by using so-called higher normal functions and higher infinitesimal invariants when the cycles are supported on normal crossing divisors. Then we investigate their structure on hypersurfaces in projective 3-space. This leads to vanishing or decomposbility results. On the other hand we find examples of these groups in degrees 4 and 5 where the result is a highly indecomposably (hence big) abelian group. Part of the examples are due to Alberto Collino.


title: Normalisateurs et groupes d'Artin-Tits de type sph\'erique

abstract: Let $(A_S,S)$ be an Artin-Tits and $X$ a subset of $S$ ; denote by $A_X$ the subgroup of $A_S$ generated by $X$. When $A_S$ is of spherical type, we prove that the normalizer and the commensurator of $A_X$ in $A_S$ are equal and are the product of $A_X$ by the quasi-centralizer of $A_X$ in $A_S$. Looking to the associated monoids $A_S^+$ and $A_X^+$, we describe the quasi-centralizer of $A_X^+$ in $A_S^+$ thanks to results in Coxeter groups. These two results generalize earlier results of Paris. Finaly, we compare, in the spherical case, the normalizer of a parabolic subgroup in the Artin-Tits group and in the Coxeter group.


title: A generalized Verdier-type Riemann-Roch theorem for Chern-Schwartz-MacPherson classes

abstract: We give a general formula for the defect appearing in the Verdier-type Riemann-Roch formula for Chern-Schwartz-MacPherson classes in the case of a regular embedding. Our proof of this formula uses the constructible function version of Verdier's specialization functor, together with a specialization property of Chern-Schwartz-MacPherson classes and the corresponding Riemann-Roch theorem for smooth morphisms. As a very special case we get a formula for the Milnor-class of a local complete intersection in a smooth manifold, which in the case of a hypersurface gives back a result of Parusinski-Pragacz.


title: Topological Field Theory Interpretation of String Topology

abstract: The string bracket introduced by Chas and Sullivan [math.GT/9911159] is reinterpreted from the point of view of topological field theories in the Batalin-Vilkovisky or BRST formalisms. Namely, topological action functionals for gauge fields (generalizing Chern-Simons and BF theories) are considered together with generalized Wilson loops. The latter generate a (Poisson or Gerstenhaber) algebra of functionals with values in the $S^1$-equivariant cohomology of the loop space of the manifold on which the theory is defined. It is proved that, in the case of $GL_n$ with standard representation, the (Poisson or BV) bracket of two generalized Wilson loops applied to two cycles is the same as the generalized Wilson loop applied to the string bracket of the cycles. Generalizations to other groups are briefly described.


title: Generalizations of the Lie superalgebras of supermatrices of complex size and related topics

abstract: A class of simple filtered Lie algebras of polynomial growth with increasing filtration is distinguished and presentations of these algebras are explicitely described for the simplest examples. Lie (super)algebras of this class appear in relation with Calogero--Sutherland model, high-spin supergravity, etc.; they are associated with the associative algebras of twisted differential operators on the big Schubert cell of the flag varieties. The Lie algebra of matrices of complex size introduced by Feigin is a simplest example of our algebras. Usually, they posess a trace and an invariant symmetric bilinear form; hence, analogs of dynamical systems such as Yang-Baxter, KdV, Leznov--Saveliev, etc. are associated with them. In particular, in the space of pseudodifferential operators there are analogs of the KdV hierarchies associated with sl(n) for n complex in the same way as the KdV hierarchy is associated with sl(n) for n integer are those studied by Gelfand--Dickey and Khesin--Malikov. We briefly describe such dynamical systems, and generalizations of the classical orthogonal polynomials.


title: Bounds on genus and geometric intersections from cylindrical end moduli spaces

abstract: In this paper we present a way of computing a lower bound for genus of any smooth representative of a homology class of positive self-intersection in a smooth four-manifold $X$ with second positive Betti number $b_2^+(X)=1$. We study the solutions of the Seiberg-Witten equations on the cylindrical end manifold which is the complement of the surface representing the class. The result can be formulated as a form of generalized adjunction inequality. The bounds obtained depend only on the rational homology type of the manifold, and include the Thom conjecture as a special case. We generalize this approach to derive lower bounds on the number of intersection points of $n$ algebraically disjoint surfaces of positive self-intersection in manifolds with $b_2^+(X)=n$.


title: Affine isoperimetric inequalities for piecewise linear surfaces

abstract: This paper considers affine analogues of the isoperimetric inequality in the sense of piecewise linear topology. Given a closed polygon P embedded in R^d having n edges, we give upper and lower bounds for the minimal number of triangles needed to forma triangulated embedded orientable surface in R^d having P as its geometric boundary. The most interesting case is dimension dimension 3, where we give an upper bound of 7 n^2 triangles, and a lower bound for some polygons P that require at least 1/2 n^2 triangles. In dimension 2 and dimensions 5 and above one needs only O(n) triangles. The case of dimension 4 is not completely resolved.


title: Casimir operators for Lie superalgebras

abstract: Casimir operators -- the generators of the center of the enveloping algebra -- are described for simple or close to them ``classical'' finite dimensional Lie superalgebras with nondegenerate symmetric even bilinear form in Sergeev A., The invariant polynomials on simple Lie superalgebras. Represent. Theory 3 (1999), 250--280; math-RT/9810111 and for the ``queer'' series in Sergeev A., The centre of enveloping algebra for Lie superalgebra Q(n, C). Lett. Math. Phys. 7, no. 3, 1983, 177--179. Here we consider the remaining cases, and state conjectures proved for small values of parameter. Under deformation (quantization) the Poisson Lie superalgebra po(0|2n) on purely odd superspace turns into gl(2^{n-1}|2^{n-1}) and, conjecturally, the lowest terms of the Taylor series expansion with respect to the deformation parameter (Planck's constant) of the Casimir operators for gl(2^{n-1}|2^{n-1}) are the Casimir operators for po(0|2n). Similarly, quantization sends po(0|2n-1) into q(2^{n-1}) and the above procedure makes Casimir operators for q(2^{n-1}) into same for po(0|2n-1). Casimir operators for the Lie superalgebra vect(0|m) of vector fields on purely odd superspace are only constants for m>2. Conjecturally, same is true for the Lie superalgebra svect(0|m) of divergence free vector fields, and its deform, for m>3. Invariant polynomials on po(0|2n-1) are also described. They do not correspond to Casimir operators.


title: The Howe duality and Lie superalgebras

abstract: Howe's duality is considered from a unifying point of view based on Lie superalgebras. New examples are offered. In particular, we construct several simplest spinor-oscillator representations and compute their highest weights for the 'stringy' Lie superalgebras (i.e., Lie superalgebras of complex vector fields (or their nontrivial central extensions) on the supercircle $S^{1|n}$ and its two-sheeted cover associated with the M\"obius bundle).


title: Enveloping algebra U(gl(3)) and orthogonal polynomials in several discrete indeterminates

abstract: Let A be an associative complex algebra and L an invariant linear functional on it (trace). Let i be an involutive antiautomorphism of A such that L(i(a))=L(a) for any a in A. Then A admits a symmetric invariant bilinear form (a, b)=L(a i(b)). For A=U(sl(2))/m, where m is any maximal ideal of U(sl(2)), Leites and I have constructed orthogonal basis whose elements turned out to be, essentially, Chebyshev and Hahn polynomials in one discrete variable. Here I take A=U(gl(3))/m for the maximal ideals m which annihilate irreducible highest weight gl(3)-modules of particular form (generalizations of symmetric powers of the identity representation). In this way we obtain multivariable analogs of Hahn polynomials.


title: The coloured quantum plane

abstract: We study the quantum plane associated to the coloured quantum group GL_{q}^{\lambda,\mu}(2) and solve the problem of constructing the corresponding differential geometric structure. This is achieved within the R-matrix framework generalising the Wess-Zumino formalism and leads to the concept of coloured quantum space. Both, the coloured Manin plane as well as the bicovariant differential calculus exhibit the colour exchange symmetry. The coloured h-plane corresponding to the coloured Jordanian quantum group GL_{h}^{\lambda,\mu}(2) is also obtained by contraction of the coloured q-plane.


title: Indecomposable representations of Lie superalgebras

abstract: In 1960's I. Gelfand posed a problem: describe indecomposable representations of any simple infinite dimensional Lie algebra of polynomial vector fields. Here, by applying the elementary technique of Gelfand and Ponomarev, a toy model of the problem is solved: finite dimensional indecomposable representations of vect(0|2), the Lie superalgebra of vector fields on the (0|2)-dimensional superspace, are described. Since vect (0|2) is isomorphic to sl(1|2) and osp(2|2), their representations are also described. The result is generalized in two directions: for sl(1|n) and osp(2|2n). Independently and differently J. Germoni described indecomposable representation of the series sl(1|n) and several individual Lie superalgebras. Partial results for other simple Lie superalgebras without Cartan matrix are reviewed. In particular, it is only for vect(0|2) and sh(0|4) that the typical irreducible representations can not participate in indecomposable modules; for other simple Lie superalgebras without Cartan matrix (of series vect(0|n), svect(0|n)$, svect(0|n)', spe(n) for n>2 and sh(0|m) for m>4) one can construct indecomposable representations with arbitrary composition factors. Several tame open problems are listed, among them a description of odd parameters


title: Vertex Algebroids I

abstract: We give a ``coordinate free'' construction and prove the uniqueness of the vertex algebroid which gives rise to the chiral de Rham complex.


title: On Markov's Theorem

abstract: We give a new proof of Markov's classical theorem relating any two closed braid representations of the same knot or link. The proof is based upon ideas in a forthcoming paper by the authors, "Stabilization in the braid groups". The new proof of the classical Markov theorem is used by Nancy Wrinkle in her forthcoming manuscript "The Markov Theorem for transverse knots".


title: A survey on the bicanonical map of surfaces with $p_g=0$ and $K^2\ge 2$

abstract: We give an up-to-date overview of the known results on the bicanonical map of surfaces of general type with $p_g=0$ and $K^2\ge 2$.


title: Acyclic resolutions for arbitrary groups

abstract: We prove that for every abelian group G and every compactum X with $\dim_G X \leq n \geq 2$ there is a G-acyclic resolution $r: Z \lo X$ from a compactum Z with $\dim_G Z \leq n$ and $\dim Z \leq n+1$ onto X.


title: Density results for automorphic forms on Hilbert modular groups

abstract: We give density results for automorphic representations of Hilbert modular groups. In particular, we show that there are infinitely many automorphic representations that have a prescribed discrete series factor at some (but not all) real places.


title: A construction of finite-dimensional faithful representation of Lie algebra

abstract: We give a natural proof of the Ado theorem.


title: Sur le nombre de points algebriques ou une fonction analytique transcendante prend des valeurs algebriques

abstract: We study the set of algebraic numbers of bounded height and bounded degree where an analytic transcendental function takes algebraic values.


title: Stationary quantum stochastic processes from the cohomological point of view

abstract: Stationary quantum stochastic process j is introduced as a *-homomorphism embedding an involutive graded algebra $\tilde K=\oplus_{i=1}^{\infty}K_i$ into a ring of (abelian) cohomologies of the one-parameter group $\alpha$ consisting of *-automorphisms of certain operator algebra in a Hilbert space such that every x from $K_i$ is translated into an additive $i-\alpha$-cocycle j(x). It is shown that (noncommutative) multiplicative markovian cocycle defines a perturbation of the stationary quantum stochastic process in the sense of such definition. The $E_0$-semigroup $\tilde \beta$ on the von Neumann algebra $\cal N$ associated with the markovian perturbation of K-flow j posseses the restriction $\tilde \beta |_{{\cal N}_0}, {\cal N}_0\subset {\cal N}$, which is conjugate to the flow of Powers shifts $\beta$ associated with j. It yields for $\tilde \beta$ an analogue of the Wold decomposition for classical stochastic process on completely nondeterministic and deterministic parts. The examples of quantum stationary stochastic processes on the algebras of canonical commutation, anticommutation and square of white noise relations are considered. In the model situation of the space $L^2(\mathbb R)$ all markovian cocycles of the group of shifts are described up to unitary equivalence of perturbations.


title: Invariant operators on supermanifolds and Standard Models

abstract: Here we continue to list the differential operators invariant with respect to the 15 exceptional simple Lie superalgebras of polynomial vector fields. A part of the list (for operators acting on tensors with finite dimensional fibers) was earlier obtained in 2 of the 15 cases by Kochetkov and in one more instance by Kac and Rudakov. Broadhurst and Kac conjectured that some of these structures pertain to the Standard Models of elementary particles and the Grand Unified Theories. So, GUT, if any exists, will be formulated in terms of operators we found, or their r-nary analogs to be found. Calculations are performed with the aid of Grozman's Mathematica-based SuperLie package. When degeneracy conditions are violated (absence of singular vectors) the corresponding module of tensor fields is irreducible. We consider generalized tensors corresponding to fibers of countable infinite dimension, not only finite dimensional ones. We also verified some of the earlier findings.


title: On unconventional integrations and cross ratio on supermanifolds

abstract: The conventional integration theory on supermanifolds had been constructed so as to possess (an analog of) Stokes' formula. In it, the exterior differential d is vital and the integrand is a section of a fiber bundle of finite rank. Other, not so popular, but, nevertheless, known integrations are analogs of Berezin integral associated with infinite dimensional fibers. Here I offer other unconventional integrations that appear thanks to existence of several versions of traces and determinants and do not allow Stokes formula. Such unconventional integrations have no counterpart on manifolds except in characteristic p. Another type of invariants considered are analogs of the cross ratio for ``classical superspaces''. As a digression, homological fields corresponding to simple Lie algebras and superalgebras are described.


title: Rational surfaces and symplectic 4-manifolds with one basic class

abstract: We present constructions of simply connected symplectic 4-manifolds which have (up to sign) one basic class and which fill up the geographical region between the half-Noether and Noether lines.


title: Remark about the spectrum of the p-form Laplacian under a collapse with curvature bounded below

abstract: We give a lower bound on the number of small positive eigenvalues of the p-form Laplacian in a certain type of collapse with curvature bounded below.


title: Torsion numbers of augmented groups: with applications to knots and links

abstract: Torsion and Betti numbers for knots are special cases of more general invariants associated to a finitely generated group G and epimorphism from G to the integers. The sequence of Betti numbers is always periodic; under mild hypotheses, the sequence of torsion numbers satisfies a linear homogeneous recurrence relation with constant coeffiencts. Generally, the torsion number sequence exhibits exponential growth rate. However, again under mild hypotheses, the p-part has trivial growth for any prime p. Applications to branched cover homology for knots and links are presented.


title: Multi-Model Cantor Sets

abstract: In this paper we define a new class of metric spaces, called multi-model Cantor sets. We compute the Hausdorff dimension and show that the Hausdorff measure of a multi-model Cantor set is finite and non-zero. We then show that a bilipschitz map from one multi-model Cantor set to another has constant Radon-Nikodym derivative on some clopen. We use this to obtain an invariant up to bilipschitz homeomorphism.


title: Remarks on definition of Khovanov homology

abstract: Mikhail Khovanov in math.QA/9908171 defined, for a diagram of an oriented classical link, a collection of groups numerated by pairs of integers. These groups were constructed as homology groups of certain chain complexes. The Euler characteristics of these complexes are coefficients of the Jones polynomial of the link. The goal of this note is to rewrite this construction in terms more friendly to topologists. A version of Khovanov homology for framed links is introduced. For framed links whose Kauffman brackets are involved in a skein relation, these homology groups are related by an exact sequence.


title: Multicomponent dynamical systems: SRB measures and phase transitions

abstract: We discuss a notion of phase transitions in multicomponent systems and clarify relations between deterministic chaotic and stochastic models of this type of systems. Connections between various definitions of SRB measures are considered as well.


title: Nonrelativistic limit of Klein-Gordon-Maxwell to Schrodinger-Poisson

abstract: We prove that in the nonrelativistic limit, solutions of the Klein-Gordon-Maxwell system in 1+3 dimensions converge in the energy space to solutions of a Schrodinger-Poisson system, under appropriate conditions on the initial data. This requires the splitting of the scalar Klein-Gordon field into a sum of two fields, corresponding, in the physical interpretation, to electrons and positrons.


title: Global bifurcation of homoclinic solutions of hamiltonian systems

abstract: We provide global bifurcation results for a class of nonlinear hamiltonian systems


title: Linear combinations of sections and tails of Mittag-Leffler functions and their zeros

abstract: The zero distribution of sections of Mittag-Leffler functions of order >1 was studied in 1983 by A. Edrei, E.B. Saff and R.S. Varga. In the present paper, we study the zero distribution of linear combinations of sections and tails of Mittag-Leffler functions of order >1.


title: Some Algorithmic Problems in Polytope Theory

abstract: This is a survey on algorithmic questions about combinatorial and geometric properties of convex polytopes. We give a list of 35 problems; for each the current state of knowledege on its theoretical complexity status is reported. The problems are grouped into the sections ``Coordinate Descriptions'', ``Combinatorial Structure'', ``Isomorphism'', ``Optimization'', ``Realizability'', and ``Beyond Polytopes''.


title: Twisting of quantum spaces and twisted coHom objects

abstract: Twisting process for quantum linear spaces is defined. It consists in a particular kind of globally defined deformations on finitely generated algebras. Given a quantum space (A_1,A), a multiplicative cosimplicial quasicomplex C[A_1] in the category Grp is associated to A_1, in such a way that for every n a subclass of linear automorphisms of A^{\otimes n} is obtained from the groups C^n[A_1]. Among the elements of this subclass, the counital 2-cocycles are those which define the twist transformations. In these terms, the twisted internal coHom objects, constructed in a previous paper (cf. math.QA/0112233), can be described as twisting of the proper coHom objects, enabling us in turn to generalize the mentioned construction. The quasicomplexes C[V], V a vector space, are studied in detail, showing for instance that, when V is a coalgebra, the quasicomplexes related to Drinfeld twisting, corresponding to bialgebras generated by V, are subobjects of C[V].


title: Lifts of points on curves and exponential sums

abstract: We give bounds for exponential sums over curves defined over Galois rings. We first define summation subsets as the images of lifts of points from affine opens of the reduced curve, and we give bounds for the degrees of their coordinate functions. Then we get bounds for exponential sums, extending results of Kumar et al., Winnie Li over the projective line, and Voloch Walker over elliptic and $C_{ab}$ curves.


title: Robust transitivity and topological mixing for $C^1$-flows

abstract: We prove that non-trivial homoclinic classes of $C^r$-generic flows are topologically mixing. This implies that given $\Lambda$ a non-trivial $C^1$-robustly transitive set of a vector field $X$, there is a $C^1$-perturbation $Y$ of $X$ such that the continuation $\Lambda_Y$ of $\Lambda$ is a topologically mixing set for $Y$. In particular, robustly transitive flows become topologically mixing after $C^1$-perturbations. These results generalize a theorem by Bowen on the basic sets of generic Axiom A flows. We also show that the set of flows whose non-trivial homoclinic classes are topologically mixing is \emph{not} open and dense, in general.


title: Uhlenbeck spaces for $A^2$ and affine Lie algebra $\hat{sl}_n$

abstract: We introduce an Uhlenbeck closure of the space of based maps from projective line to the Kashiwara flag scheme of an untwisted affine Lie algebra. For the algebra $\hat{sl}_n$ this space of based maps is isomorphic to the moduli space of locally free parabolic sheaves on $P^1\times P^1$ trivialized at infinity. The Uhlenbeck closure admits a resolution of singularities: the moduli space of torsion free parabolic sheaves on $P^1\times P^1$ trivialized at infinity. We compute the Intersection Cohomology sheaf of the Uhlenbeck space using this resolution of singularities. The moduli spaces of parabolic sheaves of various degrees are connected by certain Hecke correspondences. We prove that these correspondences define an action of $\hat{sl}_n$ in the cohomology of the above moduli spaces.


title: Classification of 6-dimensional real Manin triples

abstract: We present a complete list of 6-dimensional Manin triples or, equivalently, of 3-dimensional Lie bialgebras. We start from the well known classification of 3-dimensional real Lie algebras and assume the canonical bilinear form on the 6-dimensional Drinfeld double. Then we solve the Jacobi identities for the dual algebras. Finally we find mutually non-isomorphic Manin triples. The complete list consists of 78 classes of Manin triples, or 44 Lie bialgebras if one considers dual bialgebras equivalent.


title: Classification of 6-dimensional real Drinfeld doubles

abstract: Starting from the classification of real Manin triples done in a previous paper we look for those that are isomorphic as 6-dimensional Lie algebras with the ad-invariant form used for construction of the Manin triples. We use several invariants of the Lie algebras to distinguish the non-isomorphic structures and give explicit form of maps between Manin triples that are decompositions of isomorphic Drinfeld doubles. The result is a complete list of 6-dimensional real Drinfeld doubles. It consists of 22 classes of non-isomorphic Drinfeld doubles.


title: Invariants of tangles with flat connections in their complements.I. Invariants and holonomy R-matrices

abstract: The notion of holonomy $R$-matrices is introduced. It is shown how to define invariants of tangles with flat connections in a principle $G$-bundle of the complement of a tangle using holonomy $R$-matrices.


title: Invariants of links with flat connections in their complements.II. Holonomy R-matrices related to quantized universal enveloping algebras at roots of 1

abstract: Holonomy R-matrices parametrized by finite-dimensional representations are constructed for quantized universal enveloping algebras of simple Lie algebras at roots of 1.


title: The Riemann tensor for nonholonomic manifolds

abstract: For every nonholonomic manifold, i.e., manifold with nonintegrable distribution, the analog of the Riemann tensor is introduced. It is calculated here for the contact and Engel structures: for the contact structure it vanishes (another proof of Darboux's canonical form); for the Engel distribution the target space of the tensor is of dimension 2. In particular, the Lie algebra preserving the Engel distribution is described. The tensors introduced are interpreted as modifications of the Spencer cohomology and, as such, provide with a new way to solve partial differential equations. Goldschmidt's criteria for formal integrability (vanishing of certain Spencer cohomology) are only applicable to ``one half'' of all differential equations, the ones whose symmetries are induced by point transformations. Lie's theorem says that the ``other half'' consists of differential equations whose symmetries are induced by contact transformations. Therefore, we can now extend Goldschmidt's criteria for formal integrability to all differential equations.


title: The Lawrence--Krammer representation is unitary

abstract: We show that the Lawrence--Krammer representation is unitary. We explicitly present the non-singular matrix representing the sesquilinear pairing invariant under the action. We show that reversing the orientation of a braid is equivalent to the transposition of its Lawrence--Krammer matrix followed by a certain conjugation. As corollaries it is shown that the characteristic polynomial of the Lawrence--Krammer matrix is invariant under substitution of its variables with their inverses up to multiplication by units, and is not a complete conjugacy invariant for braids.


title: Hausdorff dimension of the set of extreme points of a self-similar set

abstract: If the system S of contracting similitudes on $ R^2$ satisfies open convex set condition, then the set F of extreme points of the convex hull $\tilde{K}$ of it's invariant self-similar set K has Hausdorff dimension 0 . If, additionally, all the rotation angles of the similitudes are commensurable with $\pi$, then the set F is finite and the convex hull $\tilde{K}$ is a convex polygon.


title: Regular obstructed categories and TQFT

abstract: A proposal of the concept of $n$-regular obstructed categories is given. The corresponding regularity conditions for mappings, morphisms and related structures in categories are considered. An n-regular TQFT is introduced. It is shown the connection of time reversibility with the regularity.


title: Kashiwara-Vergne-Rouviere methods for symmetric spaces

abstract: This article follows our previous work on Campbell-Hausdorff formula. We study the case of symmetric spaces. We recover, by using a Kontsevich's deformation of the Baker-Campbell-Hausdorff formula, Rouviere's results on the convolution of invariant distributions, for solvable symmetric spaces and "very symmetric spaces".


title: The centralizer of two numbers under the natural action of $S_k$ on [k], the maximal parabolic subgroup of $S_k$, and generalized patterns

abstract: A natural generalization of single pattern avoidance is subset avoidance. A complete study of subset avoidance for the case k=3 is carried out in [SS]. For k>3 situation becomes more complicated, as the number of possible cases grows rapidly. Recently, several authors have considered the case of general k when T has some nice algebraic properties. Barcucci, Del Lungo, Pergola, and Pinzani in [BDPP) treated the case when $T=T_1$ is the centralizer of k-1 and k under the natural action of $S_k$ on [k]. Mansour and Vainshtein in [MVp] treated the case when $T=T_2$ is maximal parabolic group of $S_k$. Recently, Babson and Steingrimsson (see [BS]) introduced generalized permutations patterns that allow the requirement that two adjacent letters in a pattern must be adjacent in the permutation. In this paper we present an analogue with generalization for the case $T_1$ and for the case $T_2$ by using generalized patterns instead of classical patterns.


title: Restricted permutations by patterns of type $(2,1)$

abstract: Recently, Babson and Steingrimsson (see \cite{BS}) introduced generalized permutations patterns that allow the requirement that two adjacent letters in a pattern must be adjacent in the permutation. In this paper we study the generating functions for the number of permutations on $n$ letters avoiding a generalized pattern $ab\mn c$ where $(a,b,c)\in S_3$, and containing a prescribed number of occurrences of generalized pattern $cd\mn e$ where $(c,d,e)\in S_3$. As a consequence, we derive all the previously known results for this kind of problems, as well as many new results.


title: Abelian complex structures on solvable Lie algebras

abstract: We obtain a characterization of the real Lie algebras admitting abelian complex structures in terms of certain affine Lie algebras $\frak a \frak f \frak f (A)$, where $A$ is a commutative algebra. These affine Lie algebras are natural generalizations of $\frak a \frak f \frak f (\Bbb C)$ and the corresponding Lie groups are complex affine manifolds. It turns out that all 4-dimensional Lie algebras carrying abelian complex structures are central extensions of such affine Lie algebras.


title: Simple examples of symplectic fourfolds with exotic properties

abstract: We construct examples of simply connected nonalgebraic symplectic fourfolds with a prescribed number of nonintersecting symplectic curves with positive self-intersections.


title: Weyl algebra modules

abstract: We investigate weight modules for finite and infinite Weyl algebras, classifying all such simple modules. We also study the representation type of the blocks of locally-finite weight module categories and describe indecomposable modules in tame blocks.


title: Unramified correspondences

abstract: We study correspondences between algebraic curves defined over the separable closure of $\Q$ or $\F_p$.


title: Galois Module Structure of $p$th-Power Classes of Extensions of Degree p

abstract: For fields F of characteristic not p containing a primitive $p$th root of unity, we determine the Galois module structure of the group of $p$th-power classes of K for all cyclic extensions K/F of degree p.


title: Equivalence of time-domain inverse problems and boundary spectral problems

abstract: We consider inverse problems for wave, heat and Schr\"odinger-type operators and corresponding spectral problems on domains of ${\bf R}^n$ and compact manifolds. Also, we study inverse problems where coefficients of partial differential operator have to be found when one knows how much energy it is required to force the solution to have given boundary values, i.e., one knows how much energy is needed to make given measurements. The main result of the paper is to show that all these problems are shown to be equivalent.


title: On polynomials and surfaces of variously positive links

abstract: It is known that the minimal degree of the Jones polynomial of a positive knot is equal to its genus, and the minimal coefficient is 1. We extend this result to almost positive links and partly identify the 3 following coefficients for special types of positive links. We also give counterexamples to the Jones polynomial-ribbon genus conjectures for a quasipositive knot. Then we show that the Alexander polynomial completely detects the minimal genus and fiber property of canonical Seifert surfaces associated to almost positive (and almost alternating) link diagrams.


title: A Fitting Lemma for Z/2-graded modules

abstract: We study the annihilator of the cokernel of a map of free Z/2-graded modules over a Z/2-graded skew-commutative algebra in characteristic 0 and define analogues of its Fitting ideals. We show that in the ``generic'' case the annihilator is given by a Fitting ideal, and explain relations between the Fitting ideal and the annihilator that hold in general. Our results generalize the classical Fitting Lemma, and extend the key result of Green [1999]. They depend on the Berele-Regev theory of representations of general linear Lie super-algebras.


title: Bestvina's normal form complex and the homology of Garside groups

abstract: A Garside group is a group admitting a finite lattice generating set D. Using techniques developed by Bestvina for Artin groups of finite type, we construct K(\pi,1)s for Garside groups. This construction shows that the (co)homology of any Garside group G is easily computed given the lattice D, and there is a simple sufficient condition that implies G is a duality group. The universal covers of these K(\pi,1)s enjoy Bestvina's weak non-positive curvature condition. Under a certain tameness condition, this implies that every solvable subgroup of G is virtually abelian.


title: On the existence of F-crystals

abstract: Let (N,F) be an F-isocrystal, with associated Newton vector \nu in (Q^n)_+. To any lattice M in N (an F-crystal) is associated its Hodge vector \mu(M) in (Z^n)_+. By Mazur's inequality we have \mu(M)>= \nu. We show that, conversely, for any \mu in (Z^n)_+ with \mu >= \nu, there exists a lattice M in N such that \mu=\mu(M). We also give variants of this existence theorem for symplectic F-isocrystals, and for periodic lattice chains.


title: Equitable coloring of k-uniform hypergraphs

abstract: Let $H$ be a $k$-uniform hypergraph with $n$ vertices. A {\em strong $r$-coloring} is a partition of the vertices into $r$ parts, such that each edge of $H$ intersects each part. A strong $r$-coloring is called {\em equitable} if the size of each part is $\lceil n/r \rceil$ or $\lfloor n/r \rfloor$. We prove that for all $a \geq 1$, if the maximum degree of $H$ satisfies $\Delta(H) \leq k^a$ then $H$ has an equitable coloring with $\frac{k}{a \ln k}(1-o_k(1))$ parts. In particular, every $k$-uniform hypergraph with maximum degree $O(k)$ has an equitable coloring with $\frac{k}{\ln k}(1-o_k(1))$ parts. The result is asymptotically tight. The proof uses a double application of the non-symmetric version of the Lov\'asz Local Lemma.


title: Edge coloring complete uniform hypergraphs with many components

abstract: Let $H$ be a hypergraph. For a $k$-edge coloring $c : E(H) \to \{1,...,k\}$ let $f(H,c)$ be the number of components in the subhypergraph induced by the color class with the least number of components. Let $f_k(H)$ be the maximum possible value of $f(H,c)$ ranging over all $k$-edge colorings of $H$. If $H$ is the complete graph $K_n$ then, trivially, $f_1(K_n)=f_2(K_n)=1$. In this paper we prove that for $n \geq 6$, $f_3(K_n)=\lfloor n/6 \rfloor+1$ and supply close upper and lower bounds for $f_k(K_n)$ in case $k \geq 4$. Several results concerning the value of $f_k(K_n^r)$, where $K_n^r$ is the complete $r$-uniform hypergraph on $n$ vertices, are also established.


title: Reduction formulae for Karlsson-Minton type hypergeometric functions

abstract: We prove a master theorem for hypergeometric functions of Karlsson-Minton type, stating that a very general multilateral U(n) Karlsson-Minton type hypergeometric series may be reduced to a finite sum. This identity contains the Karlsson-Minton summation formula and many of its known generalizations as special cases, and it also implies several "Bailey-type" identities for U(n) hypergeometric series, including multivariable 10-W-9 transformations of Milne and Newcomb and of Kajihara. Even in the one-variable case our identity is new, and even in this case its proof depends on the theory of multivariable hypergeometric series.


title: Genericity of zero Lyapunov exponents

abstract: We show that, for any compact surface, there is a residual (dense $G_\delta$) set of $C^1$ area preserving diffeomorphisms which either are Anosov or have zero Lyapunov exponents a.e. This result was announced by R. Mane, but no proof was available. We also show that for any fixed ergodic dynamical system over a compact space, there is a residual set of continuous $SL(2,R)$-cocycles which either are uniformly hyperbolic or have zero exponents a.e.


title: On the formation of singularities of solutions of nonlinear differential systems in antistokes directions

abstract: We determine the position and the type of spontaneous singularities of solutions of generic analytic nonlinear differential systems in the complex plane, arising along antistokes directions towards irregular singular points of the system. Placing the singularity of the system at infinity we look at equations of the form $\mathbf{y}'=\mathbf{f}(x^{-1},\mathbf{y})$ with $\mathbf{f}$ analytic in a neighborhood of $(0,\mathbf{0})$, with genericity assumptions; $x=\infty$ is then a rank one singular point. We analyze the singularities of those solutions $\mathbf{y}(x)$ which tend to zero for $x\to \infty$ in some sectorial region, on the edges of the maximal region (also described) with this property. After standard normalization of the differential system, it is shown that singularities occuring in antistokes directions are grouped in nearly periodical arrays of similar singularities as $x\to\infty$, the location of the array depending on the solution while the (near-) period and type of singularity are determined by the form of the differential system.


title: Asymptotic properties of a family of solutions of the Painleve equation PVI

abstract: In this paper we study the asymptotic behavior for large argument of a family of solutions of the Painlev\'e equation P$_{\rm VI} arising in the context of Random Matrix Theory [1]. We show this family of solutions are uniquely determined by their asymptotic properties.


title: On comparing the writhe of a smooth curve to the writhe of an inscribed polygon

abstract: We find bounds on the difference between the writhing number of a smooth curve, and the writhing number of a polygon inscribed within. The proof is based on an extension of Fuller's difference of writhe formula to the case of polygonal curves. The results establish error bounds useful in the computation of writhe.


title: Exponential Iterated Integrals and the Relative Solvable Completion of the Fundamental Group of a Manifold

abstract: We develop a class of integrals on a manifold M called exponential iterated integrals, an extension of K. T. Chen's iterated integrals. It is shown that the matrix entries of any upper triangular representation of the fundamental group of M can be expressed via these new integrals. The ring of exponential iterated integrals contains the coordinate rings for a class of universal representations, called relative solvable completions, of the fundamental group. We consider exponential iterated integrals in the particular case of fibered knot complements, where the fundamental group always has a faithful relative solvable completion.


title: Stability of Polytopic Polynomial Matrices

abstract: This paper gives a necessary and sufficient condition for robust D-stability of Polytopic Polynomial Matrices. Edge theorem is extended to multi-input-multi-output case.


title: A Recipe for Construction of the Critical Vertices for Left-Sector Stability of Interval Polynomials

abstract: For the left-sector stability of interval polynomials, it suffices to check a subset of its vertex polynomials. This paper provides a recipe for construction of these critical vertices. Illustrative examples are presented.


title: Geometric Characterization of Strictly Positive Real Regions and its Applications

abstract: Strict positive realness (SPR) is an important concept in absolute stability theory, adaptive control, system identification, etc. This paper characterizes the strictly positive real regions in coefficient space and presents a robust design method for SPR transfer functions. We first introduce the concepts of SPR regions and weak SPR regions and show that the SPR region associated with a fixed polynomial is unbounded, whereas the weak SPR region is bounded. We then prove that the intersection of several weak SPR regions associated with different polynomials can not be a single point. Furthermore, we show how to construct a point in the SPR region from a point in the weak SPR region. Based on these theoretical development, we propose an algorithm for robust design of SPR transfer functions. This algorithm works well for both low order and high order polynomial families. Illustrative examples are provided to show the effectiveness of this algorithm.


title: Robust Performance of A Class of Control Systems

abstract: Some Kharitonov-like robust Hurwitz stability criteria are established for a class of complex polynomial families with nonlinearly correlated perturbations. These results are extended to the polynomial matrix case and non-interval D-stability case. Applications of these results in testing of robust strict positive realness of real and complex interval transfer function families are also presented.


title: Robust SPR Synthesis for Low-Order Polynomial Segments and Interval Polynomials

abstract: We prove that, for low-order (n < 5) stable polynomial segments or interval polynomials, there always exists a fixed polynomial such that their ratio is SPR-invariant, thereby providing a rigorous proof of Anderson's claim on SPR synthesis for the fourth-order stable interval polynomials. Moreover, the relationship between SPR synthesis for low-order polynomial segments and SPR synthesis for low-order interval polynomials is also discussed.


title: Combining solutions of semilinear partial differential equations in R^n with critical exponent

abstract: Let $u_1$ and $u_2$ be two different positive smooth solutions of the equation $\Delta u + n (n - 2) u^{{n + 2}\over {n - 2}} = 0$ in $R^n (n \ge 3).$ By a result of Gidas, Ni and Nirenberg, $u_1$ and $u_2$ are radially symmetric above the points $\xi_1$ and $\xi_2$, respectively. Let $u$ be a positive $C^2$-function on $R^n$ such that $u = u_1$ in $\Omega_1$ and $u = u_2$ in $\Omega_2$, where $\Omega_1$ and $\Omega_2$ are disjoint non-empty open domains in ${\R}^n$. $u$ satisfies the equation $\Delta u + n (n - 2) K u^{{n + 2}\over {n - 2}} = 0$ in $R^n.$ By the same result of Gidas, Ni and Nirenberg, $K \not\equiv 1$ in $R^n$. In this paper we discuss lower bounds on $\displaystyle{\sup_{\R^n} |K - 1|} .$ Relation with decay estimates at the isolated singularity via the Kelvin transform is also considered.


title: Blow-up solutions of nonlinear elliptic equations in R^n with critical exponent

abstract: For an integer $n \ge 3$ and any positive number $\epsilon$ we establish the existence of smooth functions K on $R^n \setminus \{0 \}$ with $|K - 1| \le \epsilon$, such that the equation $\Delta u + n (n - 2) K u^{{n + 2}\over {n - 2}} = 0$ in $R^n \setminus \{0 \}$ has a smooth positive solution which blows up at the origin (i.e., u does not have slow decay near the origin). Furthermore, we show that in some cases K can be extended as a Lipschitz function on ${\R}^n.$ These provide counter-examples to a conjecture of C.-S. Lin when n > 4, and Taliaferro's conjecture.


title: Degenerate Integrability of Spin Calogero-Moser Systems and the duality with the spin Ruijsenaars systems

abstract: It is shown that spin Calogero-Moser systems are completely integrable in a sense of degenerate integrability. Their Liouville tori have dimension less then half of the dimension of the phase space. It is also shown that rational spin Ruijsenaars systems are degenerately integrable and dual to spin Calogero- Moser systems in a sense that action-algle variables of one are angle-action variables of the other.


title: On the image of the Lawrence-Krammer representation

abstract: A non-singular sesquilinear form is constructed that is preserved by the Lawrence-Krammer representation. It is shown that if the polynomial variables q and t of the Lawrence-Krammer representation are chosen to be appropriate algebraically independant unit complex numbers, then the form is negative-definite Hermitian. Since unitary matrices diagonalize, the conjugacy class of a matrix in the unitary group is determined by its eigenvalues. It is shown that the eigenvalues of a Lawrence-Krammer matrix satisfy some symmetry relations. Using the fact that non-invertible knots exist, the symmetry relations imply that there are matrices in the image of the Lawrence-Krammer representation that are conjugate in the unitary group, yet the braids that they correspond to are not conjugate. The two primary tools involved in constructing the form are Bigelow's interpretation of the Lawrence-Krammer representation, together with Morse theory on manifolds with corners.


title: Semistable reduction for overconvergent F-isocrystals on a curve

abstract: Given a smooth affine curve X over a field k of positive characteristic, and an overconvergent F-isocrystal on X, we prove after replacing k by a finite purely inseparable extension, there exists a finite separable cover of X, the pullback of the isocrystal along which extends to a log-F-isocrystal on a smooth compactification. This resolves a weak form of the global version of a conjecture of Crew; the proof uses the local version of the conjecture, established separately by Andre, Mebkhout and the author.


title: A self-avoiding walk with attractive interactions

abstract: A self-avoiding walk with small attractive interactions is described here. The existence of the connective constant is established, and the diffusive behavior is proved using the method of the lace expansion.


title: Conformal Extentsion of Metrics of Negative Curvature

abstract: We consider the problem of extending a conformal metric of negative curvature, given outside a neighbourhood of 0 in the unit disk $\DD$, to a conformal metric of negative curvature in $\DD$. We give conditions under which such an extension is possible, and also give obstructions to such an extension. The methods we use are based on a maximum principle and the Ahlfors--Schwarz Lemma. We apply these considerations to compactification of Riemann surfaces.


title: On a Class of Symplectic Similarity Transformation Matrices

abstract: We present a class of symplectic matrices which transform by similarity given $2n\times 2n$ -dimensional matrix into Bunse-Gerstner form. If the given matrix is skew-Hamiltonian, the transformation gives a solution of an antisymmetric Riccati matrix equation, resulting from optimal control of linear systems.


title: Hyperbolic localization of intersection cohomology

abstract: For a normal variety X defined over an algebraically closed field with an action of the multiplicative group G_m, we consider the ``hyperbolic localization'' functor from D^b(X) to D^b(X^T), which localizes using closed supports in the directions flowing into the fixed points, and compact supports in the directions flowing out. We show that the hyperbolic localization of the intersection cohomology sheaf is a direct sum of intersection cohomology sheaves.


title: Lower bounds for Kazhdan-Lusztig polynomials from patterns

abstract: We give a lower bound for the value at q=1 of a Kazhdan-Lustig polynomial in a Weyl group W in terms of "patterns''. This is expressed by a "pattern map" from W to W' for any parabloic subgroup W'. This notion generalizes the concept of patterns and pattern avoidance for permutations to all Weyl groups. The main tool of the proof is a "hyperbolic localization" on intersection cohomology; see the related paper http://front.math.ucdavis.edu/math.AG/0202251


title: Residue formulae for vector partitions and Euler-MacLaurin sums

abstract: Given a finite set of vectors spanning a lattice and lying in a halfspace of a real vector space, to each vector $a$ in this vector space one can associate a polytope consisting of nonnegative linear combinations of the vectors in the set which sum up to $a$. This polytope is called the partition polytope of $a$. If $a$ is integral, this polytope contains a finite set of lattice points corresponding to nonnegative integral linear combinations. The partition polytope associated to an integral $a$ is a rational convex polytope, and any rational convex polytope can be realized canonically as a partition polytope. We consider the problem of counting the number of lattice points in partition polytopes, or, more generally, computing sums of values of exponential-polynomial functions on the lattice points in such polytopes. We give explicit formulae for these quantities using a notion of multi-dimensional residue due to Jeffrey-Kirwan. We show, in particular, that the dependence of these quantities on $a$ is exponential-polynomial on "large neighborhoods" of chambers. Our method relies on a theorem of separation of variables for the generating function, or, more generally, for periodic meromorphic functions with poles on an arrangement of affine hyperplanes.


title: Invariants of Lie algebroids

abstract: Several new invariants for Lie algebroids have been discovered recently. We give an overview of these invariants and establish several relationships between them.


title: Kaehler metrics on G^C

abstract: We study G-invariant Kaehler metrics on G^C from the Hamiltonian point of view. As an application we show that there exist (GxG)-invariant Ricci-flat Kaehler metrics on G^C for any compact semisimple Lie group G.


title: Sur Les Actions Symplectiques Quasi-Primitives

abstract: A transitive smooth action of a connected Lie group G on a manifold M is called almost primitive (resp. primitive) if G doesn't contain any proper subgroup (resp. any proper normal subgroup) whose induced action on M is transitive as well. The aim of the present work is to investigate some combinatory properties of symplectic actions of completely solvable Lie groups.


title: Sur la Conjecture Des Tores Plats

abstract: The present work is devoted to compact completely solvable solvmanifolds which admit Kahlerian metrics whose Kahler forms are homogeneous. In particular, we show that such manifolds are diffeomorphic to flat tori. Our proof is based on Dynkin diagrams associated to left invariant closed 2-forms in completely solvable Lie groups. These diagrams are shown to be closely related to Lagrangian foliations,primitive degrees of homogeneous spaces, and geometric structures such as $(\bkR^ n, Aff (\bkR^ n))$-structures on symplectic homogeneous spaces.


title: The classification of finite-dimensional triangular Hopf algebras over an algebraically closed field of characteristic 0

abstract: We explain that a new theorem of Deligne on symmetric tensor categories implies, in a straightforward manner, that any finite dimensional triangular Hopf algebra over an algebraically closed field of characteristic zero has Chevalley property, and in particular the list of finite dimensional triangular Hopf algebras over such a field given in math.QA/0008232, math.QA/0101049 is complete. We also use Deligne's theorem to settle a number of questions about triangular Hopf algebras, raised in our previous publications, and generalize Deligne's result to nondegenerate semisimple categories in characteristic $p$, by using lifting methods developed in math.QA/0203060.


title: The cohomology of Koszul-Vinberg algebras

abstract: This work is devoted to an intrinsic cohomology theory of Koszul-Vinberg algebras and their modules. Our results may be regarded as improvements of the attempt by Albert Nijenhuis in [NA]. The relationships between the cohomology theory developed here and some classical problems are pointed out, e.g. extensions of algebras and modules, and deformation theory. The real Koszul-Vinberg cohomology of locally flat manifolds is initiated. Thus regarding the idea raised by M. Gerstenhaber we can state : The category of KV-algebras has its proper cohomology theory.


title: A counterexample to a group completion conjecture of JC Moore

abstract: We provide a simple explicit counterexample to a group completion conjecture for simplicial monoids attributed to JC Moore.