title: Weak type $(2,H)$ and weak cotype $(2,H)$ of operator spaces

abstract: Recently an operator space version of type and cotype, namely type $(p,H)$ and cotype $(q,H)$ of operator spaces for $1\leq p \leq 2\leq q \leq \infty$ and a subquadratic and homogeneous Hilbetian operator space $H$ were introduced and investigated by the author. In this paper we define weak type $(2,H)$ (resp. weak cotype $(2,H)$) of operator spaces, which lies strictly between type $(2,H)$ (resp. cotype $(2,H)$) and type $(p,H)$ for all $1\leq p <2$ (resp. cotype $(q,H)$ for all $2<q \leq \infty$). This is an analogue of weak type 2 and weak cotype 2 in the Banach space case, so we develop analogous equivalent formulations. We also consider weak-$H$ space, spaces with weak type $(2,H)$ and weak cotype $(2,H^*)$ simultaneously and establish corresponding equivalent formulations.


title: A note on operator inequalities of Tsallis relative operator entropy

abstract: Tsallis relative operator entropy was defined as a parametric extension of relative operator entropy and the generalized Shannon inequalities were shown in the previous paper. After the review of some fundamental properties of Tsallis relative operator entropy, some operator inequalities related to Tsallis relative operator entropy are shown in the present paper. Our inequalities give the upper and lower bounds of Tsallis relative operator entropy. The operator equality on Tsallis relative operator entropy is also shown by considering the tensor product. This relation generalizes the pseudoadditivity for Tsallis entropy. As a corollary of our operator equality derived from the tensor product manipulation, we show several operator inequalities including the superadditivity and the subadditivity for Tsallis relative operator entropy. Our results are generalizations of the superadditivity and the subadditivity for Tsallis entropy.


title: Algebraic Characterizations of Consensus Problems for Networked Dynamic Systems

abstract: In this paper, we study the consensus problem for networked dynamic systems with arbitrary initial states, and present some structural characterization and direct construction of consensus functions. For the consensus problem under similar transformation, we establish some necessary and sufficient conditions by exploiting the structure of consensus functions. Finally, we discuss the consensus problem for dynamic systems under switching by using the common Lyapunov function method.


title: On Robust Stability of Multivariable Interval Control Systems

abstract: This paper studies robustness of MIMO control systems with parametric uncertainties, and establishes a lower dimensional robust stability criterion. For control systems with interval transfer matrices, we identify the minimal testing set whose stability can guarantee the stability of the entire uncertain set. Our results improve the results in the literature, and provide a constructive solution to the robustness of a family of MIMO control systems.


title: Coordination of Multiple Dynamic Agents with Asymmetric Interactions

abstract: In this paper, we consider multiple mobile agents moving in Euclidean space with point mass dynamics. Using a coordination control scheme, we can make the group generate stable flocking motion. The control laws are a combination of attractive/repulsive and alignment forces, and the control law acting on each agent relies on the position information of all agents in the group and the velocity information of its neighbors. By using the control laws, all agent velocities become asymptotically the same, collisions can be avoided between all agents, and the final tight formation minimizes all agent global potentials. Moreover, we show that the velocity of the center of mass is invariant and is equal to the final common velocity. Furthermore, we study the motion of the group when the velocity damping is taken into account. We prove that the common velocity asymptotically approaches zero, and the final configuration minimizes the global potential of all agents. In this case, we can properly modify the control scheme to generate the same stable flocking. Finally, we provide some numerical simulations to further illustrate our results.


title: Flocking Control of Groups of Mobile Autonomous Agents via Local Feedback

abstract: This paper considers a group of mobile autonomous agents moving in Euclidean space with point mass dynamics. We introduce a set of coordination control laws that enable the group to generate the desired stable flocking motion. The control laws are a combination of attractive/repulsive and alignment forces. By using the control laws, all agent velocities asymptotically approach the desired velocity, collisions can be avoided between agents, and the final tight formation minimizes all agent potentials. Moreover, we prove that the velocity of the center of mass is always equal to the desired velocity or exponentially converges to the desired value. Furthermore, we study the motion of the group when the velocity damping is taken into account. In this case, we can properly modify the control laws to generate the same stable flocking motion. Finally, for the case that not all agents know the desired final velocity, we show that the desired flocking motion can still be obtained. Numerical simulations are worked out to illustrate our theoretical results.


title: No representation of Moore groups and affine groups has any rate of random mixing

abstract: A sequence $a_n\da 0$ forms a rate of random mixing for a unitary system $(G,\mu, \pi, {\cal H})$ if for any $u, v\in {\cal H}$ $$\limsup {|<\pi (g_n^\omega)u, v>|\over a_n} < \infty$$ a.e. $\omega$ in the probability space $(G^{\mathbb N}, \mu ^{\mathbb N})$ of the random walk induced by $\mu$. We study the class of locally compact groups none of whose representation has any rate of random mixing and prove that this class contains Moore groups and certain solvable groups which includes the group of affine transformations on a local field.


title: Secant varieties of toric varieties

abstract: Let $X_P$ be a smooth projective toric variety of dimension $n$ embedded in $\PP^r$ using all of the lattice points of the polytope $P$. We compute the dimension and degree of the secant variety $\Sec X_P$. We also give explicit formulas in dimensions 2 and 3 and obtain partial results for the projective varieties $X_A$ embedded using a set of lattice points $A \subset P\cap\ZZ^n$ containing the vertices of $P$ and their nearest neighbors.


title: Blaschke addition and convex polyhedra

abstract: This is an extended version of a talk on October 4, 2004 at the research seminar ``Differential geometry and applications'' (headed by Academician A. T. Fomenko) at Moscow State University. The paper contains an overview of available (but far from well-known) results about the Blaschke addition of convex bodies, some new theorems on the monotonicity of the volume of convex bodies (in particular, convex polyhedra with parallel faces) as well as description of a software for visualization of polyhedra with prescribed outward normals and face areas.


title: Vanishing of the first $(\sigma,\tau)$-cohomology group of triangular Banach algebras

abstract: In this paper, we define the first topological $(\sigma,\tau)$-cohomology group and examine vanishing of the first $(\sigma,\tau)$-cohomology groups of certain triangular Banach algebras. We apply our results to study the $(\sigma,\tau)$-weak amenability and $(\sigma,\tau)$-amenability of triangular Banach algebras.


title: Spectral Convergence of the Discrete Laplacian on Models of a Metrized Graph

abstract: A metrized graph is a compact singular 1-manifold endowed with a metric. A given metrized graph can be modelled by a family of weighted combinatorial graphs. If one chooses a sequence of models from this family such that the vertices become uniformly distributed on the metrized graph, then the i-th largest eigenvalue of the Laplacian matrices of these combinatorial graphs converges to the i-th largest eigenvalue of the continuous Laplacian operator on the metrized graph upon suitable scaling. The eigenvectors of these matrices can be viewed as functions on the metrized graph by linear interpolation. These interpolated functions form a normal family, any convergent subsequence of which limits to an eigenfunction of the continuous Laplacian operator on the metrized graph.


title: Computation of Poincare-Betti series for monomial rings

abstract: The multigraded Poincare-Betti series P_R^k(x_1,...,x_n; t) of a monomial ring k[x_1,...,x_n]/<M> on a finite number of monomial generators has the form (1+tx_1)(1+tx_2)...(1+tx_n)/b_(R,k)(x_1,...,x_n; t), where b_(R,k)(x_1,...,x_n;t) is a polynomial depending only on the monomial set M and the characteristic of the field k. I present a computer program designed to calculate the polynomial b_(R,k) for a given field characteristic and a given set of monomial generators.


title: Absolute Whitehead torsion

abstract: We refine the Whitehead torsion of a chain equivalence of finite chain complexes in an additive category $\bA$ from an element of $\widetilde{K}^{iso}_1(\bA)$ to an element of the absolute group $K_1^{iso}(\bA)$. We apply this invariant to symmetric Poincar\'e complexes and identify it in terms of more traditional invariants. In the companion paper [1] (joint with Ian Hambleton and Andrew Ranicki) this new invariant is applied to obtain the multiplicativity of the signature of fibre bundles mod 4.


title: La conjecture de Catalan racont\'ee \'a un ami qui a le temps

abstract: Ce texte est une d\'emontration compl\`ete de la conjecture de Catalan \'elabor\' ee \`a la suite d'un s\'eminaire fait \`a Lausanne entre 2002 et 2004, juste apr\`es l'annonce de la merveilleuse preuve de Preda Mihailescu


title: When does the F-signature exist?

abstract: We show that the F-signature of an F-finite local ring R of characteristic p >0 exists when R is either the localization of an $\mathbf{N}$-graded ring at its irrelevant ideal or $\mathbf{Q}$-Gorenstein on its punctured spectrum. This extends results by Huneke, Leuschke, Yao and Singh and proves the existence of the F-signature in the cases where weak F-regularity is known to be equivalent to strong F-regularity.


title: Locally finite simple weight modules over twisted generalized Weyl algebras

abstract: We present methods and explicit formulas for describing simple weight modules over twisted generalized Weyl algebras. When a certain commutative subalgebra is finitely generated over an algebraically closed field we obtain a classification of a class of locally finite simple weight modules as those induced from simple modules over a subalgebra isomorphic to a tensor product of noncommutative tori. As an application we describe simple weight modules over the quantized Weyl algebra.


title: The signature of a fibre bundle is multiplicative mod 4

abstract: We express the signature modulo 4 of a closed, oriented, $4k$-dimensional $PL$ manifold as a linear combination of its Euler characteristic and the new absolute torsion invariant defined in Korzeniewski [11]. Let $F \to E \to B$ be a $PL$ fibre bundle, where $F$, $E$ and $B$ are closed, connected, and compatibly oriented $PL$ manifolds. We give a formula for the absolute torsion of the total space $E$ in terms of the absolute torsion of the base and fibre, and then combine these two results to prove that the signature of $E$ is congruent modulo 4 to the product of the signatures of $F$ and $B$.


title: On computational complexity of Siegel Julia sets

abstract: It has been previously shown by two of the authors that some polynomial Julia sets are algorithmically impossible to draw with arbitrary magnification. On the other hand, for a large class of examples the problem of drawing a picture has polynomial complexity. In this paper we demonstrate the existence of computable quadratic Julia sets whose computational complexity is arbitrarily high.


title: Invariants of real symplectic 4-manifolds out of reducible and cuspidal curves

abstract: We construct invariants under deformation of real symplectic 4-manifolds. These invariants are obtained by counting three different kinds of real rational J-holomorphic curves which realize a given homology class and pass through a given real configuration of (the appropriate number of) points. These curves are cuspidal curves, reducible curves and curves with a prescribed tangent line at some real point of the configuration. They are counted with respect to some sign defined by the parity of their number of isolated real double points and in the case of reducible curves, with respect to some mutiplicity. In the case of the complex projective plane equipped with its standard symplectic form and real structure, these invariants coincide with the ones previously constructed in math.AG/0303145. This leads to a relation between the count of real rational J-holomorphic curves done in math.AG/0303145 and the count of real rational reducible J-holomorphic curves presented here.


title: Abelian varieties over Q with bad reduction in one prime only

abstract: Let l be a prime. We show that there do not exist any non-zero semi-stable abelian varieties over Q with good reduction outside l if and only if l=2, 3, 5, 7 or 13. We show that any semi-stable abelian variety over Q with good reduction outside l=11 is isogenous to a power of the Jacobian variety of the modular curve X_0(11). In addition we show that there do not exist any non-zero abelian varieties over Q with good reduction outside l acquiring semi-stable reduction at l over a tamely ramified extension if and only if l \le 5.


title: A Sublinear Algorithm of Sparse Fourier Transform for Nonequispaced Data

abstract: We present a sublinear randomized algorithm to compute a sparse Fourier transform for nonequispaced data. Suppose a signal S is known to consist of N equispaced samples, of which only L<N are available. If the ratio p=L/N is not close to 1, the available data are typically non-equispaced samples. Then our algorithm reconstructs a near-optimal B-term representation R with high probability 1-delta, in time and space poly(B,log(L),log p, log(1/delta), epsilon^{-1}, such that ||S-R||^2 < (1+epsilon) ||S-R_{opt}^B||^2, where R_{opt}^B is the optimal B-term Fourier representation of signal S. The sublinear poly(logL) time is compared to the superlinear O(Nlog N+L) time requirement of the present best known Inverse Nonequispaced Fast Fourier Transform (INFFT) algorithms. Numerical experiments support the advantage in speed of our algorithm over other methods for sparse signals: it already outperforms INFFT for large but realistic size N and works well even in the situation of a large percentage of missing data and in the presence of noise.


title: Towards relative invariants of real symplectic 4-manifolds

abstract: Let $(X, \omega, c_X)$ be a real symplectic 4-manifold with real part $R X$. Let $L \subset R X$ be a smooth curve such that $[L] = 0 \in H_1 (R X ; Z / 2Z)$. We construct invariants under deformation of the quadruple $(X, \omega, c_X, L)$ by counting the number of real rational $J$-holomorphic curves which realize a given homology class $d$, pass through an appropriate number of points and are tangent to $L$. As an application, we prove a relation between the count of real rational $J$-holomorphic curves done in math.AG/0303145 and the count of reducible real rational curves done in math.SG/0502355. Finally, we show how these techniques also allow to extract an integer valued invariant from a classical problem of real enumerative geometry, namely about counting the number of real plane conics tangent to five given generic real conics.


title: Extension of p-local finite groups

abstract: A p-local finite group consists of a finite p-group S, together with a pair of categories which encode ``conjugacy'' relations among subgroups of S, and which are modelled on the fusion in a Sylow p-subgroup of a finite group. It contains enough information to define a classifying space which has many of the same properties as p-completed classifying spaces of finite groups. In this paper, we study and classify extensions of p-local finite groups, and also compute the fundamental group of the classifying space of a p-local finite group.


title: On a planar variant of the Kakeya problem

abstract: A K^n_2-set is a set of zero Lebesgue measure containing a translate of every plane in an (n-2)-dimensional manifold in Gr(n,2), where the manifold fulfills a curvature condition. We show that this is a natural class of sets with respect to the Kakeya problem and prove that dim_H(E)\ge 7/2 for all K^4_2-sets E. When the underlying field is replaced by the complex numbers C, we get dim_H(E)\ge 7 for all K^4_2-sets over C, and we construct an example to show that this is sharp. Thus K^4_2-sets over C do not necessarily have full Hausdorff dimension.


title: Stability of Planar Nonlinear Switched Systems

abstract: We consider the time-dependent nonlinear system $\dot q(t)=u(t)X(q(t))+(1-u(t))Y(q(t))$, where $q\in\R^2$, $X$ and $Y$ are two %$C^\infty$ smooth vector fields, globally asymptotically stable at the origin and $u:[0,\infty)\to\{0,1\}$ is an arbitrary measurable function. Analysing the topology of the set where $X$ and $Y$ are parallel, we give some sufficient and some necessary conditions for global asymptotic stability, uniform with respect to $u(.)$. Such conditions can be verified without any integration or construction of a Lyapunov function, and they are robust under small perturbations of the vector fields.


title: Perfect forms and the moduli space of abelian varieties

abstract: Perfect quadratic forms give a toroidal compactification of the moduli space of principally polarized abelian g-folds that is Q-factorial and whose ample classes are characterized, over any base. In characteristic zero it has canonical singularities if g is at least 5, and is the canonical model (in the sense of Mori and Reid) if g is at least 12.


title: Chains in the Bruhat order

abstract: We study a family of polynomials whose values express degrees of Schubert varieties in the generalized complex flag manifold G/B. The polynomials are given by weighted sums over saturated chains in the Bruhat order. We derive several explicit formulas for these polynomials, and investigate their relations with Schubert polynomials, harmonic polynomials, Demazure characters, and generalized Littlewood-Richardson coefficients. In the second half of the paper, we concern with the case of to the classical flag manifold of Lie type A and discuss related combinatorial objects: flagged Schur polynomials, 312-avoiding permutations, generalized Gelfand-Tsetlin polytopes, the inverse Schubert-Kostka matrix, parking functions, and binary trees.


title: Classifying semi-free Hamiltonian $S^1$-manifolds

abstract: In this paper we describe a method to establish when a symplectic manifold $M$ with semi-free Hamiltonian $S^{1}$-action is unique up to isomorphism (equivariant symplectomorphism). This will rely on a study of the symplectic topology of the reduced spaces. We prove that if the reduced spaces satisfy a rigidity condition, then the manifold $M$ is uniquely determined by fixed point data. In particular we can prove that there is a unique family up to isomorphism of 6-dimensional symplectic manifolds with semi-free $S^1$-action and isolated fixed points.


title: Extended affine Weyl groups and Frobenius manifolds -- II

abstract: For the root system of type $B_l$ and $C_l$, we generalize the result of \cite{DZ1998} by showing the existence of a Frobenius manifold structure on the orbit space of the extended affine Weyl group that corresponds to any vertex of the Dynkin diagram instead of a particular choice of \cite{DZ1998}.


title: Geometric invariant theory and projective toric varieties

abstract: This is an expository paper in which we define projective GIT quotients and introduce toric varieties from this perspective. It is intended primarily for readers who are learning either invariant theory or toric geometry for the first time.


title: Asymptotic geometry of the mapping class group and Teichmueller space

abstract: In this work, we study the asymptotic geometry of the mapping class group and Teichmueller space. We introduce tools for analyzing the geometry of `projection' maps from these spaces to curve complexes of subsurfaces; from this we obtain information concerning the topology of their asymptotic cones. We deduce several applications of this analysis. One of which is that the asymptotic cone of the mapping class group of any surface is tree-graded in the sense of Drutu and Sapir; this tree-grading has several consequences including answering a question of Drutu and Sapir concerning relatively hyperbolic groups. Another application is a generalization of the result of Brock and Farb that for low complexity surfaces Teichmueller space, with the Weil-Petersson metric, is delta-hyperbolic. Although for higher complexity surfaces these spaces are not delta-hyperbolic, we establish the presence of previously unknown negative curvature phenomena in the mapping class group and Teichmueller space for arbitrary surfaces.


title: On divisorial filtrations on sheaves

abstract: A notion of Poincar\'e series was introduced by A.Campillo et al. It was developed by Delgado and Gusein-Zade for a multi-index filtration corresponding to the sequence of blow-ups. The present paper suggests the way to generalize the notion of Poincar\'e series to the case of arbitrary locally free sheaf on the modification of complex plane $\mathbb{C}^2$. This series is expressed through the topological invariants of the sheaf. For the sheaf of holomorphic functions the answer coincides with the Poincar\'e series found before.


title: Sur la construction de mesures selles

abstract: We build saddle measures (in a weak sense) for holomorphic endomorphisms of CP^2.


title: Transforms for minimal surfaces in the 5-sphere

abstract: We define two transforms between minimal surfaces with non-circular ellipse of curvature in the 5-sphere, and show how this enables us to construct, from one such surface, a sequence of such surfaces. We also use the transforms to show how to associate to such a surface a corresponding ruled minimal Lagrangian submanifold of complex projective 3-space. We illustrate this explicitly in the case of bipolar minimal surfaces.


title: Khovanov-Jacobsson numbers and invariants of surface-knots derived from Bar-Natan's theory

abstract: Khovanov introduced a cohomology theory for oriented classical links whose graded Euler characteristic is the Jones polynomial. Since Khovanov's theory is functorial for link cobordisms between classical links, we obtain an invariant of a surface-knot, called the {\it Khovanov-Jacobsson number}, by considering the surface-knot as a link cobordism between empty links. In this paper, we define an invariant of a surface-knot which is a generalization of the Khovanov-Jacobsson number by using Bar-Natan's theory, and prove that any $T^2$-knot has the trivial Khovanov-Jacobsson number.


title: On sl(2,R)-relative cohomology of the Lie algebra of vector fields and differential operators

abstract: Let Vect(R) be the Lie algebra of smooth vector fields on R. The space of symbols Pol(T^* R) admits a non-trivial deformation (given by differential operators on weighted densities) as a Vect(R)-module that becomes trivial once the action is restricted to sl(2). The deformations of Pol(T^* R), which become trivial once the action is restricted to sl(2) and such that the Vect(R)-action on them is expressed in terms of differential operators, are classified by the elements of the weight basis of H^2(Vect(R),sl(2);D_{\lambda,\mu}). The main result of this paper is computation of this cohomology. In addition to relative cohomology, we exhibit 2-cocycles spanning H^2(g; D_{\lambda,\mu}) for g=Vect(R) and sl(2).


title: Multiplicities in the trace cocharacter sequence of two $4\times 4$ matrices

abstract: We find explicitly the generating functions of the multiplicities in the pure and mixed trace cocharacter sequences of two $4\times 4$ matrices over a field of characteristic 0. We determine the asymptotic behavior of the multiplicities and show that they behave as polynomials of 14th degree.


title: Sum-free set in finite abelian groups

abstract: Let A be a subset of a finite abelian group G. We say that A is sum-free if there is no solution of the equation x + y = z, with x, y, z belonging to the set A. In this paper we shall characterise the largest possible sum-free subsets of G in case the order of G is only divisible by primes which are congruent to 1 modulo 3. The result is based on a recent result of Ben Green and Imre Ruzsa.


title: Functional quantization and metric entropy for Riemann-Liouville processes

abstract: We derive a high-resolution formula for the $L^2$-quantization errors of Riemann-Liouville processes and the sharp Kolmogorov entropy asymptotics for related Sobolev balls. We describe a quantization procedure which leads to asymptotically optimal functional quantizers. Regular variation of the eigenvalues of the covariance operator plays a crucial role.


title: On the distribution of prime numbers (II)

abstract: Recently, I have defined the so called PDF's (prime distribution factors) which govern the distribution of prime numbers of the type $p,p+a_i$ being all primes up to some number $n$. It was shown that the PDF's are expressible in terms of the basic PDF's which are defined as $a_i-a_j$ or $a_i$ being composed of primes which are less or equal to the number of primes. For example, $p,p+2$ (twin primes), or $p,p+2,p+6$ being all primes (basic triplets). We give here a conjecture for the number of basic prime PDF's in terms of Hardy-Littlewood numbers, thus completing the determination of PDF's. These conjectures are supported by extensive calculations.


title: The planar Chain Rule and the Differential Equation for the planar Logarithms

abstract: A planar monomial is by definition an isomorphism class of a finite, planar, reduced rooted tree. If $x$ denotes the tree with a single vertex, any planar monomial is a non-associative product in $x$ relative to $m-$array grafting. A planar power series $f(x)$ over a field $K$ in $x$ is an infinite sum of $K-$multiples of planar monomials including the unit monomial represented by the empty tree. For every planar power series $f(x)$ there is a universal differential $d f(x)$ which is a planar power series in $x$ and a planar polynomial in a variable $y$ which is the differential $d x$ of $x$. We state a planar chain rule and apply it to prove that the derivative $\frac{d}{dx}(Exp_k(x))$ is the $k-$ary planar exponential series. A special case of the planar chain rule is proved and it derived that the planar universe series $Log_k (1+x)$ of $Exp_k(x)$ satisfies the differential equation $\biggl((1+x) \frac{d}{dx}\biggl)(Log_k(1+x)) = 1$ where $(1+x) \frac {d}{dx}$ is the derivative which when applied to $x$ results in $1 + x.$


title: Planar Shuffle Product, Co-Addition and the non-associative Exponential

abstract: In this note we introduce the concept of a shuffle product $\sq$ for planar tree polynomials and give a formula to compute the planar shuffle product $S \ \sq T$ of two finite planar reduced rooted trees $S, T.$ It is shown that $\sq$ is dual to the co-addition $\Delta$ which leads to a formula for the coefficients of $\Delta(f).$ It is also proved that $\Delta(EXP) = EXP {\hat \otimes} EXP$ where $EXP$ is the generic planar tree exponential series, see [G]. Systems of quadratic relations for the coefficients of EXP are derived.


title: Mersenne Binomials and the Coefficients of the non-associative Exponential

abstract: The non-associative exponential series $exp(x)$ is a power series with monomials from the magma $M$ of finite, planar rooted trees. The coefficient $a(t)$ of $exp(x)$ relative to a tree $t$ of degree $n$ is a rational number and it is shown that $$\hat{a}(t) := \frac{a(t)}{2^{n-1}\cdot \prod^{n-1}_{i=1}(2^i - 1)}$$ is an integer which is a product of Mersenne binomials. One obtains summation formulas $$\sum \hat{a}(t) = \omega(n)$$ where the sum is extended over all trees $t$ in $M$ of degree $n$ and $$\omega(n) = \frac{2^{n-1}}{n!} \prod^{n-1}_{i=1} (2^i - 1).$$ The prime factorization of $\omega(n)$ is described. The sequence $(\omega(n))_{n \ge 1}$ seems to be of interest.


title: Planar Binomial Coefficients

abstract: The notion of binomial coefficients $T \choose S$ of finite planar, reduced rooted trees $T, S$ is defined and a recursive formula for its computation is shown. The nonassociative binomial formula $$(1 + x)^T = \displaystyle \sum_S {T \choose S} x^S$$ for powers relative to $T$ is derived. Similarly binomial coefficients $ T \choose S, V$ of the second kind are introduced and it is shown that $(x \otimes 1 + 1 \otimes x)^T= \displaystyle \sum_{S, V} {T \choose S, V} (x^S \otimes x^V)$ The roots $\sqrt[T]{1+x}= (1 + x) ^{T^{-1}}$ which are planar power series $f$ such that $ f^T= 1+x$ are considered. Formulas for their coefficients are given.


title: The planar Tree Lagrange Inversion Formula

abstract: A planar tree power series over a field $K$ is a formal expression $$\sum c_T \cdot T$$ where the sum is extended over all isomorphism classes of finite planar reduced rooted trees $T$ and where the coefficients $c_T$ are in $K$. Mulitplications of these power series is induced by planar grafting of trees and turns the K-vectorspace $K\{x\}_\infty$ of those power series into an algebra, see [G]. If $f \in K \{x\}_\infty$ there is a unique $g(x) \in K \{x\}_\infty$ of order $> 0$ such that $$ g(x) = x \cdot f(g(x))$$ where $f(g(x))$ is obtained by substituting $g(x)$ for $x$ in $f(x).$ Formulas for the coefficients of $g$ in terms of the coefficients of $f$ are obtained by the use of the planar tree Lukaciewicz language. This result generalizes the classical Lagrange inversion formula, see [C],[R],[Sch].


title: Motivic decomposition of anisotropic varieties of type F_4 into generalized Rost motives

abstract: This an extended version of the previous preprint dated by February 2005. We prove that the Chow motive of an anisotropic projective homogeneous variety of type F4 is isomorphic to the direct sum of twisted copies of a generalized Rost motive. In particular, we provide an explicit construction of a generalized Rost motive for a generically splitting variety for a symbol in K_3^M(k)/3. We also establish a motivic isomorphism between two anisotropic non-isomorphic projective homogeneous varieties of type F4. All our results hold for Chow motives with integral coefficients.


title: Some more semi-finite forms of bilateral basic hypergeometric series

abstract: We prove some new semi-finite forms of bilateral basic hypergeometric series. One of them yields in a direct limit Bailey's celebrated ${}_6\psi_6$ summation formula, answering a question recently raised by Chen and Fu ({\em Semi-Finite Forms of Bilateral Basic Hypergeometric Series}, Proc. Amer. Math. Soc., to appear).


title: The Classical Smarandache Function and a Formula for Twin Primes

abstract: This short paper presents an exact formula for counting twin prime pairs less than or equal to x in terms of the classical Smarandache Function. An extension of the formula to count prime pairs (p, p+2n), n > 1, is also given.


title: The poset of positive roots and its relatives

abstract: Let $\Delta$ be a root system with a subset of positive roots, $\Delta^+$. We consider edges of the Hasse diagrams of some posets associated with $\Delta^+$. For each edge one naturally defines its type, and we study the partition of the set of edges into types. For $\Delta^+$, the type is a simple root, and for the posets of ad-nilpotent and Abelian ideals the type is an affine simple roots. We give several descriptions of the set of edges of given type and uniform expressions for the number of edges. By a result of Peterson, the number of Abelian ideals is $2^n$, where $n$ is the rank of $\Delta$. We prove that the number of edges of the corresponding Hasse diagram is $(n+1)2^{n-2}$. For $\Delta^+$ and the Abelian ideals, we compute the number of edges of each type and prove that the number of edges of type $\alpha$ depends only on the length of $\alpha$.


title: Two covering polynomials of a finite poset, with applications to root systems and ad-nilpotent ideals

abstract: We introduce two polynomials (in $q$) associated with a finite poset $P$ that encode some information on the covering relation in $P$. If $P$ is a distributive lattice, and hence $P$ is isomorphic to the poset of dual order ideals in a poset $L$, then these polynomials coincide and the coefficient of $q$ equals the number of $k$-element antichains in $L$. In general, these two covering polynomials are different, and we introduce a deviation polynomial of $P$, which measures the difference between these two. We then compute all these polynomials in the case, where $P$ is one of the posets associated with an irreducible root system. These are 1) the posets of positive roots, 2) the poset of ad-nilpotent ideals, and 3) the poset of Abelian ideals.


title: Multiplier ideals in algebraic geometry

abstract: In this expository introductory text we discuss the multiplier ideals in algebraic geometry. We state Kawamata-Viehweg's and Nadel's vanishing theorems, give a proof (following Ein and Lazarsfeld) of Koll\'ar's bound on the maximal multiplicity of the theta divisor, and explain the asymptotic constructions and the ideas of Siu's proof of the deformation invariance of plurigenera. We also indicate the analytic interpretation of the theory.


title: Quotients of Standard Hilbert Modules

abstract: We initiate a study of Hilbert modules over the polynomial algebra A=C[z_1,...,z_d] that are obtained by completing A with respect to an inner product having certain natural properties. A standard Hilbert module is a finite multiplicity version of one of these. Standard Hilbert modules occupy a position analogous to that of free modules of finite rank in commutative algebra, and their quotients by submodules give rise to universal solutions of nonlinear relations. Essentially all of the basic Hilbert modules that have received attention over the years are standard - including the Hilbert module of the d-shift, the Hardy and Bergman modules of the unit ball, modules associated with more general domains in complex d-space, and those associated with projective algebraic varieties. We address the general problem of determining when a quotient H/M of an essentially normal standard Hilbert module H is essentially normal. This problem has been resistant. Our main result is that it can be "linearized" in that the nonlinear relations defining the submodule M can be reduced, appropriately, to linear relations through an iteration procedure, and we give a concrete description of linearized quotients.


title: Kolmogorov-Sinai entropy of a generalized Markov shift

abstract: In this paper we calculate Kolmogorov-Sinai entropy $h_M(S)$ of the generalized Markov shift associated with a contractive Markov system (CMS) \cite{Wer1} using the coding map constructed in \cite{Wer3}. We show that \[h_M(S)=-\sum\limits_{e\in E}\int\limits_{K_{i(e)}} p_e\log p_ed\mu\] where $\mu$ is a unique invariant Borel probability measure of the CMS. I. Werner, Contractive Markov systems, J. London Math. Soc. (2005) 236-258. I. Werner, Coding map for a contractive Markov system, Math. Proc. Camb. Phil. Soc. to appear 140 (2), March 2006.


title: Dynamical Systems Applied to Asymptotic Geometry

abstract: In the paper we discuss two questions about smooth expanding dynamical systems on the circle. (i) We characterize the sequences of asymptotic length ratios which occur for systems with H\"older continuous derivative. The sequences of asymptotic length ratios are precisely those given by a positive H\"older continuous function $s$ (solenoid function) on the Cantor set $C$ of 2-adic integers satisfying a functional equation called the matching condition. The functional equation for the 2-adic integer Cantor set is $s(2x+1)=\frac{s(x)}{s(2x)}(1+\frac{1}{s(2x-1)})-1.$ We also present a one-to-one correspondence between solenoid functions and affine classes of 2-adic quasiperiodic tilings of the real line that are fixed points of the 2-amalgamation operator. (ii) We calculate the precise maximum possible level of smoothness for a representative of the system, up to diffeomorphic conjugacy, in terms of the functions $s$ and $cr(x)=(1+s(x))/(1+(s(x+1))^{-1})$. For example, in the Lipschitz structure on $C$ determined by $s$, the maximum smoothness is $C^{1+\alpha}$ for $0<\alpha\le 1$ if, and only if, $s$ is $\alpha$-H\"older continuous. The maximum smoothness is $C^{2+\alpha}$ for $0<\alpha\le 1$ if, and only if, $cr$ is $(1+\alpha)$-H\"older. A curious connection with Mostow type rigidity is provided by the fact that $s$ must be constant if it is $\alpha$-H\"older for $\alpha > 1$.


title: Minimizing Polynomials Over Semialgebraic Sets

abstract: This paper concerns a method for finding the minimum of a polynomial on a semialgebraic set, i.e., a set in $\re^m$ defined by finitely many polynomial equations and inequalities, using the Karush-Kuhn-Tucker (KKT) system and sum of squares (SOS) relaxations. This generalizes results in the recent paper \cite{njw_grad}, which considers minimizing polynomials on algebraic sets, i.e., sets in $\re^m$ defined by finitely many polynomial equations. Most of the theorems and conclusions in \cite{njw_grad} generalize to semialgebraic sets, even in the case where the semialgebraic set is not compact. We discuss the method in some special cases, namely, when the semialgebraic set is contained in the nonnegative orthant $\re^n_+$ or in box constraints $[a,b]_n$. These constraints make the computations more efficient.


title: On the number of fully packed loop configurations with a fixed associated matching

abstract: We show that the number of fully packed loop configurations corresponding to a matching with $m$ nested arches is polynomial in $m$ if $m$ is large enough, thus essentially proving two conjectures by Zuber [Electronic J. Combin. 11 (2004), Article #R13].


title: A theory of hyperfinite sets

abstract: We develop an axiomatic set theory -- the Theory of Hyperfinite Sets THS, which is based on the idea of existence of proper subclasses of big finite sets. We demonstrate how theorems of classical continuous mathematics can be transfered to THS, prove consistency of THS and present some applications.


title: Potential theory and forcing

abstract: We isolate a combinatorial property of capacities leading to a construction of proper forcings. Then we show that many classical capacities such as the Newtonian capacity satisfy the property.


title: Thick surfaces in hyperbolic 3-manifolds

abstract: We show that every closed, virtually fibered hyperbolic 3-manifold contains immersed, quasi-Fuchsian surfaces with convex cores of arbitrarily large thickness.


title: Galois Theory of Parameterized Differential Equations and Linear Differential Algebraic Groups

abstract: We present a Galois theory of parameterized linear differential equations where the Galois groups are linear differential algebraic groups, that is, groups of matrices whose entries are functions of the parameters and satisfy a set of differential equations with respect to these parameters. We present the basic constructions and results, give examples, discuss how isomonodromic families fit into this theory and show how results from the theory of linear differential algebraic groups may be used to classify systems of second order linear differential equations.


title: Spin representations and centralizer algebras for the Spinor groups

abstract: We pursue an analogy of the Schur-Weyl reciprocity for the spinor groups and pick up the irreducible spin representations in the tensor space $\Delta \textstyle{\bigotimes \bigotimes^k V}$. Here $\Delta$ is the fundamental representation of $Pin(N)$ and $V$ is the natural (vector) representation of the orthogonal group O(N). We consider the centralizer algebra $\mathbf{CP_k} = Pin(N)(\Delta \textstyle{\bigotimes \bigotimes^k V})$ for $Pin(N)$, the double covering group of O(N) and define two kinds of linear basis in $\mathbf{CP_k}$ (one comes from invariant theory and the other from representation theory), both of which are parameterized by the 'generalized Brauer diagrams'. We develop analogous argument to the original Brauer centralizer algebra for O(N) and determine the transformation matrices between the above two basis and give the multiplication rules of those basis. Finally we define the subspaces in $\Delta \textstyle{\bigotimes \bigotimes^k V}$, on which the symmetric group $\frak{S}_k$ and $Pin(N)$ or $Spin(N)$ act as a dual pair.


title: Microlocal propagation near radial points and scattering for symbolic potentials of order zero

abstract: In this paper, the scattering and spectral theory of $H=\Delta_g+V$ is developed, where $\Delta_g$ is the Laplacian with respect to a scattering metric $g$ on a compact manifold $X$ with boundary and $V\in C^\infty(X)$ is real; this extends our earlier results in the two-dimensional case. Included in this class of operators are perturbations of the Laplacian on Euclidean space by potentials homogeneous of degree zero near infinity. Much of the particular structure of geometric scattering theory can be traced to the occurrence of radial points for the underlying classical system; a general framework for microlocal analysis at these points forms the main part of the paper.


title: On the representation categories of matrix quantum groups of type $A$

abstract: A quantum groups of type $A$ is defined in terms of a Hecke symmetry. We show in this paper that the representation category of such a quantum group is uniquely determined as an abelian braided monoidal category by the bi-rank of the Hecke symmetry.


title: Gaussian fluctuations for non-Hermitian random matrix ensembles

abstract: Consider an ensemble of $N\times N$ non-Hermitian matrices in which all entries are independent identically distributed complex random variables of mean zero and absolute mean-square one. If the entry distributions also possess bounded densities and finite $(4+\epsilon)$ moments, then Z. D. Bai [Ann. Probab. 25 (1997) 494--529] has shown the ensemble to satisfy the circular law: after scaling by a factor of $1/\sqrt{N}$ and letting $N\to \infty$, the empirical measure of the eigenvalues converges weakly to the uniform measure on the unit disk in the complex plane. In this note, we investigate fluctuations from the circular law in a more restrictive class of non-Hermitian matrices for which higher moments of the entries obey a growth condition. The main result is a central limit theorem for linear statistics of type $X_N(f)=\sum_{k=1}^Nf(\lambda_k)$ where $\lambda_1,\lambda_2,...,\lambda_N$ denote the ensemble eigenvalues and the test function $f$ is analytic on an appropriate domain. The proof is inspired by Bai and Silverstein [Ann. Probab. 32 (2004) 533--605], where the analogous result for random sample covariance matrices is established.


title: The canonical subgroup: a "subgroup-free" approach

abstract: Beyond the crucial role they play in the foundations of the theory of overconvergent modular forms, canonical subgroups have found new applications to analytic continuation of overconvergent modular forms. For such applications, it is essential to understand various ``numerical'' aspects of the canonical subgroup, and in particular, the precise extent of its overconvergence. We develop a theory of canonical subgroups for a general class of curves (including the unitary and quaternionic Shimura curves), using formal and rigid geometry. In our approach, we use the common geometric features of these curves rather than their (possible) specific moduli-theoretic description.


title: Topological fundamental groups can distinguish spaces with isomorphic homotopy groups

abstract: We exhibit a map f between aspherical spaces X and Y such that f induces an isomorphism on homotopy groups but, with natural topologies, X and Y fail to have homeomorphic fundamental groups. Thus the topological fundamental group has the capacity to distinguish homotopy type when the Whitehead theorem fails.


title: From triangulated categories to Lie algebras: A theorem of Peng and Xiao

abstract: We present a simplified and more intuitive proof of a theorem of Peng and Xiao, which constructs a Lie algebra from any 2-periodic triangulated k-category (satisfying some finiteness assumptions).


title: A cylindrical reformulation of Heegaard Floer homology

abstract: We reformulate Heegaard Floer homology in terms of holomorphic curves in the cylindrical manifold Sigma x [0,1] x R, where Sigma is the Heegaard surface, instead of Sym^g(Sigma). We then show that the entire invariance proof can be carried out in our setting. In the process, we derive a new formula for the index of the dbar-operator in Heegaard Floer homology, and shorten several proofs. After proving invariance, we show that our construction is equivalent to the original construction of Ozsvath-Szabo. We conclude with a discussion of elaborations of Heegaard Floer homology suggested by our construction, as well as a brief discussion of the relation with a program of C Taubes.


title: Generators of D-modules in positive characteristic

abstract: Let R be either a polynomial or a formal power series ring in a finite number of variables over a field k of characteristic p > 0 and let D be the ring of klinear differential operators of R. In this paper we prove that if f is a non-zero element of R then R[1/f], obtained from R by inverting f, is generated as a D-module by 1/f . This is very much in contrast to the characteristic zero situation where the corresponding statement is false (there the generation is governed by the roots of the Bernstein polynomial of f). In fact we prove analogs of the above result for a considerably wider class of rings R and a considerably wider class of D-modules.


title: Littlewood-Paley decompositions and Besov spaces on Lie groups of polynomial growth

abstract: We introduce a Littlewood-Paley decomposition related to any sub-Laplacian on a Lie group G of polynomial volume growth; this allows us to prove a Littlewood-Paley theorem in this general setting and to provide a dyadic characterization of Besov spaces equivalent to the classical definition through the heat kernel.


title: A Least Squares Functional for Solving Inverse Sturm-Liouville Problems

abstract: We present a variational algorithm for solving the classical inverse Sturm-Liouville problem in one dimension when two spectra are given. All critical points of the least squares functional are at global minima, which which suggests minimization by a (conjugate) gradient descent algorithm. Numerical examples show that the resulting algorithm works quite reliable without tuning for particular cases, even in the presence of noise. With the right choice of parameters the minimization procedure converges very quickly.


title: A very short proof of Cauchy's interlace theorem for eigenvalues of Hermitian matrices

abstract: Cauchy's interlace theorem states that the characteristic polynomial of a symmetric matrix is interlaced by the characteristic polynomial of any principle submatrix. We prove this in two sentences using only the linearity of the determinant, and the fact that all eigenvalues of a symmetric matrix are real.


title: An application of free Lie algebras to current algebras and their representation theory

abstract: We realize the current algebra of a Kac-Moody algebra as a quotient of a semi-direct product of the Kac-Moody Lie algebra and the free Lie algebra of the Kac-Moody algebra. We use this realization to study the representations of the current alg ebra. In particular we see that every ad-invariant ideal in the symmetric algebra of the Kac-Moody algebra gives rise in a canonical way to a representation of the current algebra. These representations include certain well-known families of representations of the current algebra of a simple Lie algebra. Another family of examples, which are the classical limits of the Kirillov-Reshe tikhin modules, are also obtained explicitly by using a construction of Kostant. Finally we study extensi ons in the category of finite dimensional modules of the current algebra of a simple Lie algebra.


title: Lifted closure operators

abstract: In this paper, we study the properties of closure operators obtained as initial lifts along a reflector, and compactness with respect to them in particular. Applications in the areas of topology, topological groups and topological *-algebras are presented.


title: Holomorphic extensions of representations: (II) geometry and harmonic analysis

abstract: We continue our discussion from part I.


title: Operateurs differentiels globaux sur les courbes elliptiques

abstract: Let X a proper smooth curve over the field of complex numbers. Localization of the Heisenberg algebra gives the algebra of global sections of the ring of differential operators on the Jacobian J of X. It seems natural to ask for same kind of relations over a characteristic p > 0 field replacing the Heisenberg algebra by its entire form. We propose a conjecture about the constuction of an arrow between the two objects when X is an elliptic curve.


title: On simple ideal hyperbolic Coxeter polytopes

abstract: A polytope in the hyperbolic space $\H^n$ is called an {\it ideal polytope} if all its vertices belong to the boundary of $\H^n$. We prove that no simple ideal Coxeter polytope exist in $\H^n$ for $n>8$.


title: When a C*-algebra is a coefficient algebra for a given endomorphism

abstract: The paper presents a criterion for a C*-algebra to be a coefficient algebra associated with a given endomorphism


title: Crossed product of a C*-algebra by an endomorphism, coefficient algebras and transfer operators

abstract: The paper presents a construction of the crossed product of a C*-algebra by an endomorphism generated by partial isometry


title: Two multicolor Ramsey numbers

abstract: Two new bounds for multicolor Ramsey numbers are proved: $R(K_3,K_3,C_4,C_4)\geq 27$ and $R_4(C_4)\leq 19$.


title: On the homotopy Lie algebra of an arrangement

abstract: Let A be a graded-commutative, connected k-algebra generated in degree 1. The homotopy Lie algebra g_A is defined to be the Lie algebra of primitives of the Yoneda algebra, Ext_A(k,k). Under certain homological assumptions on A and its quadratic closure, we express g_A as a semi-direct product of the well-understood holonomy Lie algebra h_A with a certain h_A-module. This allows us to compute the homotopy Lie algebra associated to the cohomology ring of the complement of a complex hyperplane arrangement, provided some combinatorial assumptions are satisfied. As an application, we give examples of hyperplane arrangements whose complements have the same Poincar\'e polynomial, the same fundamental group, and the same holonomy Lie algebra, yet different homotopy Lie algebras.


title: Resolutions of ideals of fat points with support in a hyperplane

abstract: Our results concern minimal graded free resolutions of fat point ideals for points in a hyperplane. Suppose, for example, that I(m,d) is the ideal defining r given points of multiplicity m in the projective space P^d. Assume that the given points lie in a hyperplane P^{d-1} in P^d, and that the ground field k is algebraically closed of characteristic 0. We give an explicit minimal graded free resolution of I(m,d) in k[P^d] in terms of the minimal graded free resolutions of the ideals I(j,d-1) in k[P^{d-1}] with j < m+1. As a corollary, we give the following formula for the Poincare polynomial P_{m,d} of I(m,d) in terms of the Poincare polynomials P_{j,d-1} of I(j,d-1): P_{m,d} = (1 + XT)(\Sigma_{0<j\le m} T^{m-j}(P_{j,d-1} - 1)) + 1 + XT^m.


title: The (unexpected) importance of knowing $\alpha$

abstract: In order to determine the Hilbert function of the ideal of a fat point subscheme of projective space, we show that it is enough to determine, both for the subscheme itself and the subschemes obtained from it by successively adjoining to it additional general points, the least degrees in which the ideals of the subschemes are nonzero. This point of view gives rise to the following conjecture: if C is any reduced irreducible curve on a surface X obtained by blowing up P^2 at any finite number of generic points, then C^2 > g-2, where g is the arithmetic genus of C. This conjecture is shown to be equivalent to the usual well-known conjectures for computing dimensions of complete linear systems on X.


title: Stabilizers of closed sets in the Urysohn space

abstract: Answering a question of Gao and Kechris, we show that, given any polish group G, there exists a closed subset F of Urysohn's universal metric space U such that G is (topologically) isomorphic to the subgroup of isometries of U which map F onto itself.


title: Concerning life annuities

abstract: This seems to be the first English translation of this paper from the French original, ``Sur les rentes viageres''. In the paper, Euler gives a general formula for calculating the price of a life annuity that yields a certain amount per year, assuming the annuity manager can get a 5 percent return, for people of different ages. He also gives formulas to calculate the price of annuities that only start to pay out a certain number of years after they are purchased. He gives many numerical examples, giving tables for the prices of annuities for annuitants up to 90 years old.


title: A repertoire for additive functionals of uniformly distributed m-ary search trees

abstract: Using recent results on singularity analysis for Hadamard products of generating functions, we obtain the limiting distributions for additive functionals on $m$-ary search trees on $n$ keys with toll sequence (i) $n^\alpha$ with $\alpha \geq 0$ ($\alpha=0$ and $\alpha=1$ correspond roughly to the space requirement and total path length, respectively); (ii) $\ln \binom{n}{m-1}$, which corresponds to the so-called shape functional; and (iii) $\mathbf{1}_{n=m-1}$, which corresponds to the number of leaves.


title: Representations of product systems over semigroups and dilations of commuting CP maps

abstract: We study completely contractive representations of product systems of $C^*$-correspondences over semigroups. For a product system of $C^*$-correspondences over the semigroup $\mathbb{N}^2$, we prove that every such representation can be dilated to an isometric (or Toeplitz) representation. We use it to prove that every pair of commuting CP maps on a von Neumann algebra $M$ can be dilated to a commuting pair of endomorphisms (on a larger von Neumann algebra).


title: Marked length spectrum of magnetized surfaces

abstract: The main result presented here is that the flow associated with a riemannian metric and a non zero magnetic field on a compact oriented surface without boundary, under assumptions of hyperbolic type, cannot have the same length spectrum of topologically corresponding periodic orbits as the geodesic flow associated with another riemannian metric having a negative curvature and the same total volume. The main tool is a regularization inspired by U. Hamenst\"adt's methods.


title: An arithmetic theorem and its demonstration

abstract: Translated from the Latin original, "Theorema arithmeticum eiusque demonstratio", Commentationes arithmeticae collectae 2 (1849), 588-592. E794 in the Enestroem index. For m distinct numbers a,b,c,d,...,\upsilon,x this paper evaluates \[ \frac{a^n}{(a-b)(a-c)(a-d)...(a-x)}+\frac{b^n}{(b-a)(b-c)(b-d)...(b-x)} +...+\frac{x^n}{(x-a)(x-b)(x-c)...(x-\upsilon)}. \] When $n \leq m-2$, the sum is 0, which Euler had already shown in sect. 1169 of his Institutiones calculi integralis, vol. I, E366. When $n=m-1$ the sum is $=1$. When $n \geq m$, then using Newton's identities Euler gets expressions in terms of sums of powers of the numbers a,b,c,d,...,\upsilon,x. The notation used in this paper is confus(ing/ed), and indeed the editors of the Opera omnia made several corrections to the original publication. Near the end of the paper, "... for each of them one searches for what the character will be..." is the only reading of the sentence I can come up with. Examples of a work that refers to this theorem is J.-P. Serre, Corps locaux, 2nd ed., ch. III, sect. 6 (for $n \leq m-1$), and D. E. Knuth, The Art of Computer Programming, vol. 1, sect. 1.2.3, exercise 33.


title: The group of automorphisms of the category of free associative algebras

abstract: In this paper, the problem formulated in [8] is solved. We prove, that the group of automorphisms of the category of free associative algebras is generated by semi-inner and mirror automorphisms


title: The group of automorphisms of semigroup End

abstract: In this paper is proved that the group of automorphisms of semigroup End(P[X]), if P is algebraically closed field, is generated by semi-inner automorphisms.


title: The colored Jones polynomials and the Alexander polynomial of the figure-eight knot

abstract: The volume conjecture and its generalization state that the series of certain evaluations of the colored Jones polynomials of a knot would grow exponentially and its growth rate would be related to the volume of a three-manifold obtained by Dehn surgery along the knot. In this paper, we show that for the figure-eight knot the series converges in some cases and the limit equals the inverse of its Alexander polynomial.


title: Orbifold cohomology of torus quotients

abstract: We introduce the_inertial cohomology ring_ NH^*_T(Y) of a stably almost complex manifold carrying an action of a torus T. We show that in the case that Y has a locally free action by T, the inertial cohomology ring is isomorphic to the Chen-Ruan orbifold cohomology ring H_{CR}^*(Y/T) of the quotient orbifold Y/T. For Y a compact Hamiltonian T-space, we extend to orbifold cohomology two techniques that are standard in ordinary cohomology. We show that NH^*_T(Y) has a natural ring surjection onto H_{CR}^*(Y//T), where Y//T is the symplectic reduction of Y by T at a regular value of the moment map. We extend to NH^*_T(Y) the graphical GKM calculus (as detailed in e.g. [Harada-Henriques-Holm]), and the kernel computations of [Tolman-Weitsman, Goldin]. We detail this technology in two examples: toric orbifolds and weight varieties, which are symplectic reductions of flag manifolds. The Chen-Ruan ring has been computed for toric orbifolds, with \Q coefficients, in [Borisov-Chen-Smith]); symplectic toric orbifolds obtained by reduction by a connected torus (though with different computational methods), and extend them to \Z coefficients in certain cases, including weighted projective spaces.


title: Formulae of one-partition and two-partition Hodge integrals

abstract: Based on the duality between open-string theory on noncompact Calabi-Yau threefolds and Chern-Simons theory on three manifolds, M Marino and C Vafa conjectured a formula of one-partition Hodge integrals in term of invariants of the unknot (hep-th/0108064). Many Hodge integral identities, including the lambda_g conjecture and the ELSV formula, can be obtained by taking limits of the Marino-Vafa formula. Motivated by the Marino-Vafa formula and formula of Gromov-Witten invariants of local toric Calabi-Yau threefolds predicted by physicists, J Zhou conjectured a formula of two-partition Hodge integrals in terms of invariants of the Hopf link (math.AG/0310282) and used it to justify physicists' predictions (math.AG/0310283). In this expository article, we describe proofs and applications of these two formulae of Hodge integrals based on joint works of K Liu, J Zhou and the author (math.AG/0306257, math.AG/0306434, math.AG/0308015, math.AG/0310272). This is an expansion of the author's talk of the same title at the BIRS workshop: "The Interaction of Finite Type and Gromov-Witten Invariants", November 15--20, 2003.


title: Nilpotent extensions of minimal homeomorphisms

abstract: In this paper we study topological cocycles for minimal homeomorphisms on a compact metric space. We introduce a notion of an essential range for topological cocycles with values in a locally compact group, and we show that this notion coincides with the well known topological essential range if the group is abelian. We define then a regularity condition for cocycles and prove several results on the essential ranges and the orbit closures of the skew product of regular cocycles. Furthermore we show that recurrent cocycles for a minimal rotation on a locally connected compact group are always regular, supposed that their ranges are in a nilpotent group, and then their essential ranges are almost connected.


title: A Bayes method for a monotone hazard rate via S-paths

abstract: A class of random hazard rates, which is defined as a mixture of an indicator kernel convolved with a completely random measure, is of interest. We provide an explicit characterization of the posterior distribution of this mixture hazard rate model via a finite mixture of S-paths. A closed and tractable Bayes estimator for the hazard rate is derived to be a finite sum over S-paths. The path characterization or the estimator is proved to be a Rao--Blackwellization of an existing partition characterization or partition-sum estimator. This accentuates the importance of S-paths in Bayesian modeling of monotone hazard rates. An efficient Markov chain Monte Carlo (MCMC) method is proposed to approximate this class of estimates. It is shown that S-path characterization also exists in modeling with covariates by a proportional hazard model, and the proposed algorithm again applies. Numerical results of the method are given to demonstrate its practicality and effectiveness.


title: The representation of a meromorphic function as the quotient of entire functions and Paley problem in C^n: survey of some results

abstract: The classical representation problem for a meromorphic function f in C^n, n>=1, consists in representing f as the quotient f=g/h of two entire functions g and h, each with logarithm of modulus majorized by a function as close as possible to the Nevanlinna characteristic. Here we introduce generalizations of the Nevanlinna characteristic and give a short survey of classical and recent results on the representation of a meromorphic function in terms such characteristics. When f has a finite lower order, the Paley problem on best possible estimates of the growth of entire functions g and h in the representations f=g/h will be considered. Also we point out to some unsolved problems in this area.


title: High-resolution asymptotics for the angular bispectrum of spherical random fields

abstract: In this paper we study the asymptotic behavior of the angular bispectrum of spherical random fields. Here, the asymptotic theory is developed in the framework of fixed-radius fields, which are observed with increasing resolution as the sample size grows. The results we present are then exploited in a set of procedures aimed at testing non-Gaussianity; for these statistics, we are able to show convergence to functionals of standard Brownian motion under the null hypothesis. Analytic results are also presented on the behavior of the tests in the presence of a broad class of non-Gaussian alternatives. The issue of testing for non-Gaussianity on spherical random fields has recently gained enormous empirical importance, especially in connection with the statistical analysis of cosmic microwave background radiation.


title: Dual Approach to Certain Questions for Weighted Spaces of Holomorphic Functions

abstract: We set new dual problems for the weighted spaces of holomorphic functions of one variable in domains on the complex plane, namely: nontriviallity of a given space, description of zero sets, description of (non-)uniqueness sets, the representation of meromorphic functions as a quotient of holomorphic functions from a given space.


title: Existence of KPP fronts in spatially-temporally periodic advection and variational principle for propagation speeds

abstract: We prove the existence of Kolmogorov-Petrovsky-Piskunov (KPP) type traveling fronts in space-time periodic and mean zero incompressible advection, and establish a variational (minimization) formula for the minimal speeds. We approach the existence by considering limit of a sequence of front solutions to a regularized traveling front equation where the nonlinearity is combustion type with ignition cut-off. The limiting front equation is degenerate parabolic and does not permit strong solutions, however, the necessary compactness follows from monotonicity of fronts and degenerate regularity. We apply a dynamic argument to justify that the constructed KPP traveling fronts propagate at minimal speeds, and derive the speed variational formula. The dynamic method avoids the degeneracy in traveling front equations, and utilizes the parabolic maximum principle of the governing reaction-diffusion-advection equation. The dynamic method does not rely on existence of traveling fronts.


title: Ideal triangulations of 3-manifolds II: taut and angle structures

abstract: This is the second in a series of papers in which we investigate ideal triangulations of the interiors of compact 3-manifolds with tori or Klein bottle boundaries. Such triangulations have been used with great effect, following the pioneering work of Thurston. Ideal triangulations are the basis of the computer program SNAPPEA of Weeks and the program SNAP of Coulson, Goodman, Hodgson and Neumann. Casson has also written a program to find hyperbolic structures on such 3-manifolds, by solving Thurston's hyperbolic gluing equations for ideal triangulations. In this second paper, we study the question of when a taut ideal triangulation of an irreducible atoroidal 3-manifold admits a family of angle structures. We find a combinatorial obstruction, which gives a necessary and sufficient condition for the existence of angle structures for taut triangulations. The hope is that this result can be further developed to give a proof of the existence of ideal triangulations admitting (complete) hyperbolic metrics. Our main result answers a question of Lackenby. We give simple examples of taut ideal triangulations which do not admit an angle structure. Also we show that for `layered' ideal triangulations of once-punctured torus bundles over the circle, that if the manodromy is pseudo Anosov, then the triangulation admits angle structures if and only if there are no edges of degree 2. Layered triangulations are generalisations of Thurston's famous triangulation of the Figure 8 knot space. Note that existence of an angle structure easily implies that the 3-manifold has a CAT(0) or relatively word hyperbolic fundamental group.


title: Resonance, linear syzygies, Chen groups, and the Bernstein-Gelfand-Gelfand correspondence

abstract: If \A is a complex hyperplane arrangement, with complement X, we show that the Chen ranks of G=\pi_1(X) are equal to the graded Betti numbers of the linear strand in a minimal, free resolution of the cohomology ring A=H^*(X,\k), viewed as a module over the exterior algebra E on \A: \theta_k(G) = \dim_\k Tor^E_{k-1}(A,\k)_k, where \k is a field of characteristic 0, and k\ge 2. The Chen ranks conjecture asserts that, for k sufficiently large, \theta_k(G) =(k-1) \sum_{r\ge 1} h_r \binom{r+k-1}{k}, where h_r is the number of r-dimensional components of the projective resonance variety R^1(\A). Our earlier work on the resolution of A over E and the above equality yield a proof of the conjecture for graphic arrangements. Using results on the geometry of R^1(\A) and a localization argument, we establish the conjectured lower bound for the Chen ranks of an arbitrary arrangement \A. Finally, we show that there is a polynomial P(t) of degree equal to the dimension of R^1(\A), such that \theta_k(G) = P(k), for k sufficiently large.


title: Elliptic K3 surfaces with geometric Mordell-Weil rank 15

abstract: We prove that the elliptic surface y^2=x^3+2(t^8+14t^4+1)x+4t^2(t^8+6t^4+1) has geometric Mordell-Weil rank 15. This completes a list of Kuwata, who gave explicit examples of elliptic K3-surfaces with geometric Mordell-Weil rank 0,1,..., 14, 16, 17,18.


title: Always Finite Entropy and Lyapunov exponents of two-dimensional cellular automata

abstract: Given a new definition for the entropy of a cellular automata acting on a two-dimensional space, we propose an inequality between the entropy of the shift on a two-dimensional lattice and some angular analog of Lyapunov exponents.


title: Crossratios, Surface Groups, SL(n,R) and C^{1}(S^1)\rtimes Diff (S^1)

abstract: We present results connecting crossratios, representations of surface groups in $SL(n,\mathbb R)$ and in an infinite dimensional group related to the group of diffeomorphisms of the circle. More precisely, we show that representations of a surface group in $SL(n,\mathbb R)$ can be interpreted as crossratios satisfying specific algebraic relations, and we explain that all these representations sit together in a space of representations with values in the infinite dimensional group $C^{1,h}(S^1)\rtimes Diff^{h}(S^1)$.


title: Overholonomic arithmetical D-modules

abstract: Let $k$ be a perfect field of characteristic $p >0$, $U$ be a variety over $k$ and $F$ be a power of Frobenius. We construct the category of overholonomic arithmetical ($F$-)$\D$-modules over $U$ and the category of overholonomic ($F$-)complexes over $U$. We prove that overholonomic complexes over $U$ are stables by direct images, inverse images, extraordinary inverse images, extraordinary direct images, dual functors. Moreover, in the smooth case, we check that unit-root overconvergent $F$-isocrystals are overholonomic. In particular, they are holonomic.


title: Special metric structures and closed forms

abstract: The primary aim of this thesis is to investigate metrics which are induced by a differential form and arise as a critical point of Hitchin's variational principle. Firstly, we investigate metrics associated with the structure group PSU(3) acting in its adjoint representation. We derive various obstructions to the existence of a topological reduction to PSU(3). For compact manifolds, we also find sufficient conditions if the PSU(3)-structure lifts to an SU(3)-structure. We give a Riemannian characterisation of topological PSU(3)-structures through an invariant spinor valued 1-form and show that the PSU(3)-structure is integrable if and only if the spinor valued 1-form defines a co-closed Rarita-Schwinger field. Moreover, we construct non-symmetric (compact) examples. Secondly, we consider even or odd forms which can be naturally interpreted as spinors for a spin structure on $T\oplus T^*$. As such, the forms we consider induce a reduction from $Spin(7,7)$ to $G_2\times G_2$. We give a topological classification of $G_2\times G_2$-structures. We prove that the condition for being a critical point is equivalent to the supersymmetry equations on spinors in supergravity theory of type IIA/B with NS-NS background fields. Examples are systematically constructed by the device of T-duality.


title: Diagonal Compressed Random Variables in a Graph W*-probability Spaces

abstract: In [15] and [16], we constructed a graph W*-probability space over its diagonal subalgebra. To study this strudture is a good example of Speicher's amalgamated W*-probability spaces. In this paper, we will observe the diagonal compressed random variables. we will compute the moments and cumulants of them and we will show that the freeness on diagonal compressed random variables in the graph W*-probability space is preserved by that of (uncompressed) random variables.


title: Bar-Natan's Khovanov homology for coloured links

abstract: Using Bar-Natan's Khovanov homology we define a homology theory for coloured, oriented, framed links. We then compute this explicitly.


title: Schur positivity and Schur log-concavity

abstract: We prove Okounkov's conjecture, a conjecture of Fomin-Fulton-Li-Poon, and a special case of Lascoux-Leclerc-Thibon's conjecture on Schur positivity and give several more general statements using a recent result of Rhoades and Skandera. An alternative proof of this result is provided. We also give an intriguing log-concavity property of Schur functions.


title: K\"unneth projectors for open varieties

abstract: We consider correspondences on smooth quasiprojective varieties $U$. An algebraic cycle inducing the K\"unneth projector onto $H^1(U)$ is constructed. Assuming normal crossings at infinity, the existence of relative motivic cohomology is shown to imply the independence of $\ell$ for traces of open correspondences.


title: Squeezing in Floer theory and refined Hofer-Zehnder capacities of sets near symplectic submanifolds

abstract: We use Floer homology to study the Hofer-Zehnder capacity of neighborhoods near a closed symplectic submanifold M of a geometrically bounded and symplectically aspherical ambient manifold. We prove that, when the unit normal bundle of M is homologically trivial in degree dim(M) (for example, if codim(M) > dim(M)), a refined version of the Hofer-Zehnder capacity is finite for all open sets close enough to M. We compute this capacity for certain tubular neighborhoods of M by using a squeezing argument in which the algebraic framework of Floer theory is used to detect nontrivial periodic orbits. As an application, we partially recover some existence results of Arnold for Hamiltonian flows which describe a charged particle moving in a nondegenerate magnetic field on a torus. We also relate our refined capacity to the study of Hamiltonian paths with minimal Hofer length.


title: Topological and affine structure of complete flat manifolds

abstract: The results of the paper concern the topological structure of complete riemannian manifolds with cyclic holonomy groups and low-dimensional orientable complete flat manifolds. We also discuss related results such as the affine classification of orientable complete flat 4-manifolds, an algebraic criterion of an affine equivalence, the relationship between holonomy homomorphisms and some algebraic and geometric invariants.


title: A New Domain Decomposition Method for the Compressible Euler Equations

abstract: In this work we design a new domain decomposition method for the Euler equations in 2 dimensions. The basis is the equivalence via the Smith factorization with a third order scalar equation to whom we can apply an algorithm inspired from the Robin-Robin preconditioner for the convection-diffusion equation. Afterwards we translate it into an algorithm for the initial system and prove that at the continuous level and for a decomposition into 2 sub-domains, it converges in 2 iterations. This property cannot be preserved strictly at discrete level and for arbitrary domain decompositions but we still have numerical results which confirm a very good stability with respect to the various parameters of the problem (mesh size, Mach number, ....).


title: The pro-unipotent radical of the pro-algebraic fundamental group of a compact Kaehler manifold

abstract: The aim of this paper is to study the pro-algebraic fundamental group of a compact Kaehler manifold. Following work by Simpson, the structure of this group's pro-reductive quotient is already well understood. We show that Hodge-theoretic methods can also be used to establish that the pro-unipotent radical is quadratically presented. This generalises both Deligne et al.'s result on the de Rham fundamental group, and Goldman and Millson's result on deforming representations of Kaehler groups, and can be regarded as a consequence of formality of the schematic homotopy type. New examples are given of groups which cannot arise as Kaehler groups.


title: Local chromatic number and distinguishing the strength of topological obstructions

abstract: The local chromatic number of a graph G is the number of colors appearing in the most colorful closed neighborhood of a vertex minimized over all proper colorings of G. We show that two specific topological obstructions that have the same implications for the chromatic number have different implications for the local chromatic number. These two obstructions can be formulated in terms of the homomorphism complex Hom(K_2,G) and its suspension, respectively. These investigations follow the line of research initiated by Matousek and Ziegler who recognized a hierarchy of the different topological expressions that can serve as lower bounds for the chromatic number of a graph. Our results imply that the local chromatic number of 4-chromatic Kneser, Schrijver, Borsuk, and generalized Mycielski graphs is 4, and more generally, that 2r-chromatic versions of these graphs have local chromatic number at least r+2. This lower bound is tight in several cases by results in an earlier paper of the first two authors.


title: Limit theorems in the stadium billiard

abstract: We prove that the Birkhoff sums for ``almost every'' relevant observable in the stadium billiard obey a non-standard limit law. More precisely, the usual central limit theorem holds for an observable if and only if its integral along a one-codimensional invariant set vanishes, otherwise a $\sqrt{n\log n}$ normalization is needed. As one of the two key steps in the argument, we obtain a limit theorem that holds in Young towers with exponential return time statistics in general, an abstract result that seems to be applicable to many other situations.


title: Sur la forme de la boule unit\'{e} de la norme stable unidimensionnelle

abstract: For a Riemannian polyhedra, we study the geometry of the unit ball for the unidimensional stable norm (stable ball). In the case of a unidimensional Riemannian polyhedra (graph), we show that the stable ball is a polytope whose vertices are completely described by combinatorial properties of the graph. We study then the realizable forms as stable ball of Riemannan manifolds of dimension larger than three. For a Riemannian manifold $(M, g)$ fixed, we show that a broad class of polytopes can appear as stable ball of metrics in the conformal class of $g$. We use for that a polyhedral technique.


title: The Stable Ideals of a Continuous Nest Algebra II

abstract: We continue the study of the rich family of norm-closed, automorphism invariant ideals of a continuous nest algebra. First we present a unified framework which captures all stable ideals as the kernels of limits of diagonal compressions. We then characterize when two such limits give rise to the same ideal, and we obtain detailed information of the structure of sums and intersections of ideals.


title: Commutative Hopf algebras of permutations and trees

abstract: We propose several constructions of commutative or cocommutative Hopf algebras based on various combinatorial structures, and investigate the relations between them. A commutative Hopf algebra of permutations is obtained by a general construction based on graphs, and its non-commutative dual is realized in three different ways, in particular as the Grossman-Larson algebra of heap ordered trees. Extensions to endofunctions, parking functions, set partitions, planar binary trees and rooted forests are discussed. Finally, we introduce one-parameter families interpolating between different structures constructed on the same combinatorial objects.


title: A Genus-3 Topological Recursion Relation

abstract: In this paper, we give a new genus-3 topological recursion relation for Gromov-Witten invariants of compact symplectic manifolds. This formula also applies to intersection numbers on moduli spaces of spin curves. A by-product of the proof of this formula is a new relation in the tautological ring of the moduli space of 1-pointed genus-3 stable curves.


title: Regularity of coboundaries for non uniformly expanding Markov maps

abstract: We prove that solutions $u$ of the equation $f=u-u\circ T$ are automatically Holder continuous when $f$ is Holder continuous, and $T$ is non uniformly expanding and Markov. This result applies in particular to Young towers and to intermittent maps.


title: Partial Signatures and the Yoshida-Nicolaescu Theorem

abstract: In this article, we give a simple and direct proof of the Yoshida-Nicolaescu Theorem in a more general context by using the theory of partial signatures. We do not impose the usual condition of non-degeneracy at the endpoints and use a natural definition of the Maslov index.


title: On a p-adic interpolation function for the q-extension of the generalized Bernoulli polynomials and Its derivative

abstract: We construct the q-extension of the Hurwitz's type L-function which interpolates the q-extension of generalized Bernoulli polynomials attached to $chi$.


title: Factorization Theorem for Projective Varieties with Finite Quotient Singularities

abstract: In this paper, we prove that any two birational projective varieties with finite quotient singularities can be realized as two geometric GIT quotients of a non-singular projective variety by a reductive algebraic group. Then, by applying the theory of Variation of Geometric Invariant Theory Quotients ([3]), we show that they are related by a sequence of GIT wall-crossing flips.


title: Geometric Invariant Theory and Birational Geometry

abstract: In this paper we will survey some recent developments in the last decade or so on variation of Geometric Invariant Theory and its applications to Birational Geometry such as the weak Factorization Theorems of nonsingular projective varieties and more generally projective varieties with finite quotient singularities. Along the way, we will also mention some progresses on birational geometry of hyperK\"ahler manifolds as well as certain open problems and conjectures.


title: Sign balance for finite groups of Lie type

abstract: A product formula for the parity generating function of the number of 1's in invertible matrices over Z_2 is given. The computation is based on algebraic tools such as the Bruhat decomposition. The same technique is used to obtain a parity generating function also for symplectic matrices over Z_2. We present also a generating function for the sum of entries of matrices over an arbitrary finite field F_q calculated in F_q. These formulas are new appearances of the Mahonian distribution.


title: Generalized Markoff Maps and McShane's Identity

abstract: We study general representations of the free group on two generators into $SL(2,C)$, and the connection with generalized Markoff maps, following Bowditch. We show that Bowditch's Q-conditions for generalized Markoff maps are sufficient for the generalized McShane identity to hold for the corresponding representations and that the subset of representations satisfying these conditions is the largest open subset in the relative character variety on which the mapping class group acts properly discontinuously. Moreover we generalize Bowditch's results on variations of McShane's identity for complete, finite volume hyperbolic 3-manifolds which fiber over the circle, with the fiber a punctured-torus, to identities for incomplete hyperbolic structures on such manifolds, hence obtaining identities for closed hyperbolic 3-manifolds which are obtained by doing hyperbolic Dehn surgery on such manifolds.


title: The Generalized Word Problem for Braid Groups

abstract: The braid group has recently attracted much attention. This is primarily based upon the discovery of its usage in various cryptosystems [AAG],[KLCHKP]. One major focus of current research has been in solving decision problems in braid groups and analyzing their complexity. Among the decision problems which have been investigated are: the word problem, the conjugacy problem and the conjugacy search problem. One decision problem which has not been thoroughly pursued is the generalized word problem. It can be shown that this problem is, in general, unsolvable for braid groups of index greater then or equal to 5. However, we will show that for the special case of cyclic subgroups, this problem is, in almost all cases, solvable. We will design an algorithm, implement it on a multitape Turing machine, and analyze its complexity.


title: Partial derivatives of a generic subspace of a vector space of forms: quotients of level algebras of arbitrary type

abstract: Given a vector space $V$ of homogeneous polynomials of the same degree over an infinite field, consider a generic subspace $W$ of $V$. The main result of this paper is a lower-bound (in general sharp) for the dimensions of the spaces spanned in each degree by the partial derivatives of the forms generating $W$, in terms of the dimensions of the spaces spanned by the partial derivatives of the forms generating the original space $V$. Rephrasing our result in the language of commutative algebra (where this result finds its most important applications), we have: let $A$ be a type $t$ artinian level algebra with $h$-vector $h=(1,h_1,h_2,...,h_e)$, and let, for $c=1,2,...,t-1$, $H^{c,gen}=(1,H_1^{c,gen},H_2^{c,gen},...,H_e^{c,gen})$ be the $h$-vector of the generic type $c$ level quotient of $A$ having the same socle degree $e$. Then we supply a lower-bound (in general sharp) for the $h$-vector $H^{c,gen}$. Explicitly, we will show that, for any $u\in \lbrace 1,...,e\rbrace $, $$H_u^{c,gen}\geq {1\over t^2-1}((t-c)h_{e-u}+(ct-1)h_u).$$ This result generalizes a recent theorem of Iarrobino (which treats the case $t=2$). Finally, we begin to obtain, as a consequence, some structure theorems for level $h$-vectors of type bigger than 2, which is, at this time, a very little explored topic.


title: Deformation of finite morphisms and smoothing of ropes

abstract: In this article we present a unified way to smooth certain multiple structures called ropes on smooth varieties. We prove that most ropes of arbitrary multiplicity, supported on smooth curves can be smoothed. By a rope being smoothable we mean that the rope is the flat limit of a family of smooth, irreducible curves. To construct a smoothing, we connect, on the one hand, deformations of a finite morphism to projective space and, on the other hand, morphisms from a rope to projective space. We also prove a general result of independent interest, namely, finite covers onto smooth irreducible curves embedded in projective space can be deformed to a family of $1:1$ maps. We apply our general theory to prove the smoothing of ropes of \multiplicity 3 on $\bold P^1$. Even though this article focuses on ropes of dimension 1, our method yields a general approach to deal with the smoothing of ropes of higher dimension.


title: Intersections of Schubert varieties and other permutation array schemes

abstract: Using a blend of combinatorics and geometry, we give an algorithm for algebraically finding all flags in any zero-dimensional intersection of Schubert varieties with respect to three transverse flags, and more generally, any number of flags. In particular, the number of flags in a triple intersection is also a structure constant for the cohomology ring of the flag manifold. Our algorithm is based on solving a limited number of determinantal equations for each intersection (far fewer than the naive approach). These equations may be used to compute Galois and monodromy groups of intersections of Schubert varieties. We are able to limit the number of equations by using the permutation arrays of Eriksson and Linusson, and their permutation array varieties, introduced as generalizations of Schubert varieties. We show that there exists a unique permutation array corresponding to each realizable Schubert problem and give a simple recurrence to compute the corresponding rank table, giving in particular a simple criterion for a Littlewood-Richardson coefficient to be 0. We describe pathologies of Eriksson and Linusson's permutation array varieties (failure of existence, irreducibility, equidimensionality, and reducedness of equations), and define the more natural permutation array schemes. In particular, we give several counterexamples to the Realizability Conjecture based on classical projective geometry. Finally, we give examples where Galois/monodromy groups experimentally appear to be smaller than expected.


title: Circle bundles over 4-manifolds

abstract: Every 1-connected topological 4-manifold M admits a $S^{1}$-covering by $#_{r-1}S^{2}\times S^{3}$, where $r=$rank$H^{2}(M;\QTR{Bbb}{Z})$.


title: Real zeros and size of Rankin-Selberg L-functions in the level aspect

abstract: In this paper, some asymptotic formulas are proved for the harmonic mollified second moment of a family of Rankin-Selberg L-functions. One of the main new input is a substantial improvement of the admissible length of the mollifier which is done by solving a shifted convolution problem by a spectral method on average. A first consequence is a new subconvexity bound for Rankin-Selberg L-functions in the level aspect. Moreover, infinitely many Rankin-Selberg L-functions having at most eight non-trivial real zeros are produced and some new non-trivial estimates for the analytic rank of the family studied are obtained.


title: New constructions of domain decomposition methods for systems of PDEs

abstract: We propose new domain decomposition methods for systems of partial differential equations in two and three dimensions. The algorithms are derived with the help of the Smith factorization of the operator. This could also be validated by numerical experiments.


title: \psi^3 as an upper triangular matrix

abstract: In the 2-local stable homotopy category the group of left-bu-module automorphisms of bu\wedge bo which induce the identity on mod 2 homology is isomorphic to the group of infinite upper triangular matrices with entries in the 2-adic integers. We identify the conjugacy class of the matrix corresponding to 1\wedge\psi^3, where \psi^3 is the Adams operation.


title: The proof of Tchakaloff's Theorem

abstract: We provide a simple proof of Tchakaloff's Theorem on the existence of cubature formulas of degree $m$ for Borel measures with moments up to order $m$. The result improves known results for non-compact supports, since we do not need conditions on $(m+1)$st moments.


title: On continuity of correspondences of probability measures in the category of Tychonov spaces

abstract: We consider the correspondence assigning to every Radon measure on two Tychonoff coordinate spaces the set of probability measures with these marginals. It is proved that this correspondence is continuous.


title: Integer Triangles with R/r=N

abstract: We consider the problem of finding integer-sided triangles with R/r an integer, where R and r are the radii of the circumcircle and incircle respectively. We show that such triangles are relatively rare.


title: On the theory of 1-motives

abstract: This is an overview and a preview of the theory of "mixed motives of level 1" explaining some results, projects, ideas and indicating a bunch of problems.


title: Non-Trivial Realizations of Virtual Link Diagrams

abstract: A realization of a virtual link diagram is obtained by choosing over/under markings for each virtual crossing. Any realization can also be obtained from some representation of the virtual link. (A representation of a virtual link is a link diagram on an oriented 2-dimensional surface.) We prove that if a minimal genus representation meets certain criteria then there is a minimal genus representation resulting in a knotted realization.


title: The index of representations associated with stabilisers

abstract: Let $Q$ be an algebraic group and $V$ a $Q$-module. The index of $V$ is the minimal codimension of the $Q$-orbits in the dual space $V^*$. There is a general inequality, due to Vinberg, relating the index of $V$ and the index of $Q_v$-module $V/q.v$ for any $v\in V$. In this article, we study conditions that guarantee us the equality. It was recently proved by Charbonnel (Bull. Soc. Math. France. v.132, 2004) that such an equality holds for the adjoint representation of a semisimple group. Another proof for the classical series was given by the second author, see math.RT/0407065. One of our goals, which is almost achieved, is to understand what is going on in the case of isotropy representations of symmetric spaces.


title: $\infty$-Open-multicommutativity in the category $\comp$

abstract: In this paper the notion of $\infty$-open-multicommutativity of functors in the category of compact Hausdorff spaces is considered. This property is a generalization of the open-multicommutativity on the case of infinite diagrams. It is proved that every open-multicommutative functor is $\infty$-open-multicommutative.


title: On the Homotopy Type of the Fredholm Lagrangian Grassmannian

abstract: In this article, we show that the Fredholm Lagrangian Grassmannian is homotopy equivalent with the space of compact perturbations of a fixed lagrangian. As a corollary, we obtain that the Maslov index with respect to a lagrangian is a isomorphism between the fundamental group of the Fredholm Lagrangian Grassmannian and the integers.


title: Geometric invariants of fanning curves

abstract: We study the geometry of an important class of generic curves in the Grassmannian manifolds of $n$-dimensional subspaces and Lagrangian subspaces of $R^{2n}$ under the action of the linear and linear symplectic group.


title: Surfaces immersed in su(N+1) Lie algebras obtained from the CP^N sigma models

abstract: We study some geometrical aspects of two dimensional orientable surfaces arrising from the study of CP^N sigma models. To this aim we employ an identification of R^(N(N+2)) with the Lie algebra su(N+1) by means of which we construct a generalized Weierstrass formula for immersion of such surfaces. The structural elements of the surface like its moving frame, the Gauss-Weingarten and the Gauss-Codazzi-Ricci equations are expressed in terms of the solution of the CP^N model defining it. Further, the first and second fundamental forms, the Gaussian curvature, the mean curvature vector, the Willmore functional and the topological charge of surfaces are expressed in terms of this solution. We present detailed implementation of these results for surfaces immersed in su(2) and su(3) Lie algebras.


title: Time Optimal Synthesis for Left--Invariant Control Systems on SO(3)

abstract: Consider the control system given by $\dot x=x(f+ug)$, where $x\in SO(3)$, $|u|\leq 1$ and $f,g\in so(3)$ define two perpendicular left-invariant vector fields normalized so that $\|f\|=\cos(\al)$ and $\|g\|=\sin(\al)$, $\al\in ]0,\pi/4[$. In this paper, we provide an upper bound and a lower bound for $N(\alpha)$, the maximum number of switchings for time-optimal trajectories. More precisely, we show that $N_S(\al)\leq N(\al)\leq N_S(\al)+4$, where $N_S(\al)$ is a suitable integer function of $\al$ which for $\al\to 0$ is of order $\pi/(4\alpha).$ The result is obtained by studying the time optimal synthesis of a projected control problem on $R P^2$, where the projection is defined by an appropriate Hopf fibration. Finally, we study the projected control problem on the unit sphere $S^2$. It exhibits interesting features which will be partly rigorously derived and partially described by numerical simulations.


title: Universal finitary codes with exponential tails

abstract: In 1977, Keane and Smorodinsky showed that there exists a finitary homomorphism from any finite-alphabet Bernoulli process to any other finite-alphabet Bernoulli process of strictly lower entropy. In 1996, Serafin proved the existence of a finitary homomorphism with finite expected coding length. In this paper, we construct such a homomorphism in which the coding length has exponential tails. Our construction is source-universal, in the sense that it does not use any information on the source distribution other than the alphabet size and a bound on the entropy gap between the source and target distributions. We also indicate how our methods can be extended to prove a source-specific version of the result for Markov chains.


title: OPUC on One Foot

abstract: We present an expository introduction to orthogonal polynomials on the unit circle.


title: Jost Functions and Jost Solutions for Jacobi Matrices, I. A Necessary and Sufficient Condition for Szego Asymptotics

abstract: We provide necessary and sufficient conditions for a Jacobi matrix to produce orthogonal polynomials with Szeg\H{o} asymptotics off the real axis. A key idea is to prove the equivalence of Szeg\H{o} asymptotics and of Jost asymptotics for the Jost solution. We also prove $L^2$ convergence of Szeg\H{o} asymptotics on the spectrum.


title: Jost Functions and Jost Solutions for Jacobi Matrices, II. Decay and Analyticity

abstract: We present necessary and sufficient conditions on the Jost function for the corresponding Jacobi parameters $a_n -1$ and $b_n$ to have a given degree of exponential decay.


title: Tautological equations in genus 2 via invariance conjectures

abstract: We verify the Invariance Conjectures of tautological equations in genus two. In particular, a uniform derivation of all known genus two equations is given.


title: Meromorphic Szego functions and asymptotic series for Verblunsky coefficients

abstract: We prove that the Szeg\H{o} function, $D(z)$, of a measure on the unit circle is entire meromorphic if and only if the Verblunsky coefficients have an asymptotic expansion in exponentials. We relate the positions of the poles of $D(z)^{-1}$ to the exponential rates in the asymptotic expansion. Basically, either set is contained in the sets generated from the other by considering products of the form, $z_1 ... z_\ell \bar z_{\ell-1}... \bar z_{2\ell-1}$ with $z_j$ in the set. The proofs use nothing more than iterated Szeg\H{o} recursion at $z$ and $1/\bar z$.


title: The $k$-orbit theory and Fein-Kantor-Schacher Theorem

abstract: By the investigation of $k$-orbits symmetry properties it is obtained a simple proof of the B. Fein, W. M. Kantor and M. Schacher Theorem: any transitive permutation group contains a non-trivial fixed-point-free prime-power element. Key words: $k$-orbits, partitions, permutations, symmetry, groups


title: Dehn Filling and Asymptotically Hyperbolic Einstein Manifolds

abstract: In this article, we extend Anderson's higher-dimensional Dehn filling construction to a large class of infinite-volume hyperbolic manifolds. This gives an infinite family of topologically distinct asymptotically hyperbolic Einstein manifolds with the same conformal infinity. The construction involves finding a sequence of approximate solutions to the Einstein equations and then perturbing them to exact ones.