title: Differential modular forms and some analytic relations between Eisenstein series

abstract: In the present article we define the algebra of differential modular forms and we prove that it is generated by Eisenstein series of weight $2,4$ and 6. We define Hecke operators on them, find some analytic relations between these Eisenstein series and obtain them in a natural way as coefficients of a family of elliptic curves. The fact that a complex manifold over the moduli of polarized Hodge structures in the case $h^{10}=h^{01}=1$ has an algebraic structure with an action of an algebraic group plays a basic role in all of the proofs.


title: John Michael Hammersley (1920-2004)

abstract: In writing this biographical memoir of John Hammersley, we have tried to communicate something of the character of the person, and of the impact of his scientific achievements across lattice models (for example, percolation, self-avoiding walks, first-passage percolation, dimer models), stochastic processes (including subadditive ergodic theory), Monte Carlo methods, applied probability, statistics, and other areas to which he contributed. There is also an extended account of his earlier life, taken from autobiographical notes written around 1994, together with a list of his published work.


title: Quasisymmetric parameterizations of two-dimensional metric planes

abstract: The classical uniformization theorem states that any simply connected Riemann surface is conformally equivalent to the disk, the plane, or the sphere, each equipped with a standard conformal structure. We give a similar uniformization for Ahlfors 2-regular, linearly locally connected metric planes; instead of conformal equivalence, we are concerned with quasisymmetric equivalence.


title: Accessibility and stable ergodicity for partially hyperbolic diffeomorphisms with 1d-center bundle

abstract: We prove that stable ergodicity is C r open and dense among conservative partially hyperbolic diffeomorphisms with one-dimensional center bundle, for all r in [2,infty]. The proof follows Pugh-Shub program: among conservative partially hyperbolic diffeomorphisms with one-dimensional center bundle, accessibility is C r open and dense, and essential accessibility implies ergodicity.


title: A counterexample to the strong version of Freedman's conjecture

abstract: A long-standing conjecture due to Michael Freedman asserts that the 4-dimensional topological surgery conjecture fails for non-abelian free groups, or equivalently that a family of canonical examples of links (the generalized Borromean rings) are not A-B slice. A stronger version of the conjecture, that the Borromean rings are not even weakly A-B slice, where one drops the equivariant aspect of the problem, has been the main focus in search for an obstruction to surgery. We show that the Borromean rings, and more generally all links with trivial linking numbers, are in fact weakly A-B slice. This result shows the lack of a non-abelian extension of Alexander duality in dimension 4, and of an analogue of Milnor's theory of link homotopy for general decompositions of the 4-ball.


title: Thin position and essential planar surfaces

abstract: Abby Thompson proved that if a link $K$ is in thin position but not in bridge position then the knot complement contains an essential meridional planar surface, and she asked whether some thin level surface must be essential. This note is to give a positive answer to this question, showing that the if a link is in thin position but not bridge position then a thinnest level surface is essential. A theorem of Rieck and Sedgwick follows as a consequence, which says that thin position of a connected sum of small knots comes in the obvious way.


title: Inscribing smooth knots with regular polygons

abstract: A regular $n$-gon inscribing a knot is a sequence of $n$ points on a knot, such that the distances between adjacent points are all the same. It is shown that any smooth knot is inscribed by a regular $n$-gon for any $n$.


title: The Classification of Dehn fillings on the outer torus of a 1-bridge braid exterior which produce solid tori

abstract: Let $K= K(w,b,t)$ be a 1-bridge braid in a solid torus $V$, and let $\gamma$ be a $(p,q)$ curve on the torus $T = \partial V$ of the exterior $M_K$ of $K$. It will be shown that Dehn filling on $T$ along $\gamma$ produces a solid torus if and only if $p$ and $q$ satisfy one of four conditions determined by the parameters $(w,b,t)$ of the knot $K$. This solves the classification problem raised by Menasco and Zhang for such Dehn fillings.


title: Depth of pleated surfaces in toroidal cusps of hyperbolic 3-manifolds

abstract: Let $F$ be a closed essential surface in a hyperbolic 3-manifold $M$ with a toroidal cusp $N$. The depth of $F$ in $N$ is the maximal distance from points of $F$ in $N$ to the boundary of $N$. It will be shown that if $F$ is an essential pleated surface which is not coannular to the boundary torus of $N$ then the depth of $F$ in $N$ is bounded above by a constant depending only on the genus of $F$. The result is used to show that an immersed closed essential surface in $M$ which is not coannular to the torus boundary components of $M$ will remain essential in the Dehn filling manifold $M(\gamma)$ after excluding $C_g$ curves from each torus boundary component of $M$, where $C_g$ is a constant depending only on the genus $g$ of the surface.


title: The classification of Toroidal Dehn surgeries on Montesinos knots

abstract: Exceptional Dehn surgeries have been classified for 2-bridge knots and Montesinos knots of length at least 4. In this paper we classify all toroidal Dehn surgeries on Montesinos knots of length 3.


title: Exceptional Dehn surgery on large arborescent knots

abstract: A Dehn surgery on a knot $K$ in $S^3$ is exceptional if it produces a reducible, toroidal or Seifert fibred manifold. It is known that a large arborescent knot admits no such surgery unless it is a type II arborescent knot. The main theorem of this paper shows that up to isotopy there are exactly three large arborescent knots admitting exceptional surgery, each of which admits exactly one exceptional surgery, producing a toroidal manifold.


title: Teichm\"uller Theory of Bordered Surfaces

abstract: We propose the graph description of Teichm\"uller theory of surfaces with marked points on boundary components (bordered surfaces). Introducing new parameters, we formulate this theory in terms of hyperbolic geometry. We can then describe both classical and quantum theories having the proper number of Thurston variables (foliation-shear coordinates), mapping-class group invariance (both classical and quantum), Poisson and quantum algebra of geodesic functions, and classical and quantum braid-group relations. These new algebras can be defined on the double of the corresponding graph related (in a novel way) to a double of the Riemann surface (which is a Riemann surface with holes, not a smooth Riemann surface). We enlarge the mapping class group allowing transformations relating different Teichm\"uller spaces of bordered surfaces of the same genus, same number of boundary components, and same total number of marked points but with arbitrary distributions of marked points among the boundary components. We describe the classical and quantum algebras and braid group relations for particular sets of geodesic functions corresponding to $A_n$ and $D_n$ algebras and discuss briefly the relation to the Thurston theory.


title: Perfect Crystals for U_q(D_4^{(3)})

abstract: A perfect crystal of any level is constructed for the Kirillov-Reshetikhin module of $U_q(D_4^{(3)})$ corresponding to the middle vertex of the Dynkin diagram. The actions of Kashiwara operators are given explicitly. It is also shown that this family of perfect crystals is coherent. A uniqueness problem solved in this paper can be applied to other quantum affine algebras.


title: Existence of Crystal Bases for Kirillov-Reshetikhin Modules of Type D

abstract: We show that a crystal base exists for any Kirillov-Reshetikhin module of type $D_n^{(1)}$, generalizing the result of [(KMN)^2] for the end nodes of the Dynkin diagram of $D_n$.


title: Complex valued Ray--Singer torsion II

abstract: In this paper we extend Witten-Helffer-Sj\"ostrand theory from selfadjoint Laplacians based on fiber wise Hermitian structures, to non-selfadjoint Laplacians based on fiber wise non-degenerate symmetric bilinear forms. As an application we verify, up to sign, the conjecture about the comparison of the Milnor-Turaev torsion with the complex valued analytic torsion, for odd dimensional manifolds. This is done along the lines of Burghelea, Friedlander and Kappeler's proof of the Cheeger-M\"uller theorem.


title: Fuzzy Logic, Informativeness and Bayesian Decision-Making Problems

abstract: This paper develops a category-theoretic approach to uncertainty, informativeness and decision-making problems. It is based on appropriate first order fuzzy logic in which not only logical connectives but also quantifiers have fuzzy interpretation. It is shown that all fundamental concepts of probability and statistics such as joint distribution, conditional distribution, etc., have meaningful analogs in new context. This approach makes it possible to utilize rich conceptual experience of statistics. Connection with underlying fuzzy logic reveals the logical semantics for fuzzy decision making. Decision-making problems within the framework of IT-categories and generalizes Bayesian approach to decision-making with a prior information are considered. It leads to fuzzy Bayesian approach in decision making and provides methods for construction of optimal strategies.


title: Representations of the Complex Classical Cayley-Klein Categories

abstract: Complex classical Cayley-Klein categories ${\bf A({\bj})}$, ${\bf B({\bj})}$, ${\bf C({\bj})}$ and ${\bf D({\bj})}$ are constructed by the method of categorical extension of the complex classical Cayley-Klein groups $SL(2n;{\bj};{\Bbb C}), SO(2n+1;{\bj};{\Bbb C}), Sp(2n;{\bj};{\Bbb C})$ and $SO(2n;{\bj};{\Bbb C})$, respectively. The explicit construction of the irreducible representations of the complex classical Cayley-Klein categories is received. Completeness of lists of the irreducible representations of the complex classical Cayley-Klein categories and the classification theorems are proved.


title: A Tropical Toolkit

abstract: We give an introduction to Tropical Geometry and prove some results in Tropical Intersection Theory. The first part of this paper is an introduction to tropical geometry aimed at researchers in Algebraic Geometry from the point of view of degenerations of varieties using projective not-necessarily-normal toric varieties. The second part is a foundational account of tropical intersection theory with proofs of some new theorems relating it to classical intersection theory. Revised version includes many corrections, more examples, and improved exposition.


title: Traces on Infinite-Dimensional Brauer Algebras

abstract: We describe the central measures for the random walk on graded graphs. Using this description, we obtain the list of all finite traces on three infinite-dimensional algebras: on the Brauer algebra, on the partition algebra, and on the walled Brauer algebra. For the first two algebras, these lists coincide with the list of all finite traces of the infinite symmetric group. For the walled Brauer algebra, the list of finite traces coincide with the list of finite traces of the square of the latter group. We introduce the operation which corresponds to the graph another graph which called "Pasclization" of the initial graph and then give the general criteria for coinsidness of the sets of traces on both graphs.


title: Algebraic extensions in free groups

abstract: The aim of this paper is to unify the points of view of three recent and independent papers (Ventura 1997, Margolis, Sapir and Weil 2001 and Kapovich and Miasnikov 2002), where similar modern versions of a 1951 theorem of Takahasi were given. We develop a theory of algebraic extensions for free groups, highlighting the analogies and differences with respect to the corresponding classical field-theoretic notions, and we discuss in detail the notion of algebraic closure. We apply that theory to the study and the computation of certain algebraic properties of subgroups (e.g. being malnormal, pure, inert or compressed, being closed in certain profinite topologies) and the corresponding closure operators. We also analyze the closure of a subgroup under the addition of solutions of certain sets of equations.


title: On the $D$-dimension of a certain type of threefolds

abstract: Let $Y$ be an algebraic manifold of dimension 3 with $H^i(Y, \Omega^j_Y)=0$ for all $j\geq 0$, $i>0$ and $h^0(Y, {\mathcal{O}}_Y) > 1$. Let $X$ be a smooth completion of $Y$ such that the boundary $X-Y$ is the support of an effective divisor $D$ on $X$ with simple normal crossings. We prove that the $D$-dimension of $X$ cannot be 2, i.e., either any two nonconstant regular functions are algebraically dependent or there are three algebraically independent nonconstant regular functions on $Y$. Secondly, if the $D$-dimension of $X$ is greater than 1, then the associated scheme of $Y$ is isomorphic to Spec$\Gamma(Y, {\mathcal{O}}_Y)$. Furthermore, we prove that an algebraic manifold $Y$ of any dimension $d\geq 1$ is affine if and only if $H^i(Y, \Omega^j_Y)=0$ for all $j\geq 0$, $i>0$ and it is regularly separable, i.e., for any two distinct points $y_1$, $y_2$ on $Y$, there is a regular function $f$ on $Y$ such that $f(y_1)\neq f(y_2)$.


title: The extremal truncated moment problem

abstract: For a degree 2n real d-dimensional multisequence \beta^(2n) to have a representing measure, it is necessary for the associated moment matrix M(n) to be positive semidefinite and for the algebraic variety V = V(\beta) associated to \beta to satisfy rank M(n) <= card V as well as the following consistency condition: if a polynomial p vanishes on V, then p(\beta) = 0. We prove that for the extremal case (rank M(n) = card V), positivity of M(n) and consistency are sufficient for the existence of a (unique, rank M(n)-atomic) representing measure. We also show that in the preceding result, consistency cannot always be replaced by recursiveness of M(n).


title: On threefolds without nonconstant regular functions

abstract: We consider smooth threefolds $Y$ defined over $\Bbb{C}$ with $H^i(Y, \Omega^j_Y)=0$ for all $j\geq 0$, $i>0$. Let $X$ be a smooth projective threefold containing $Y$ and $D$ be the boundary divisor with support $X-Y$. We are interested in the following question: What geometry information of $X$ can be obtained from the regular function information on $Y$? Suppose that the boundary $X-Y$ is a smooth projective surface. In this paper, we analyse two different cases, i.e., there are no nonconstant regular functions on $Y$ or there are lots of regular functions on $Y$. More precisely, if $H^0(Y, {\mathcal{O}}_Y)=\Bbb{C}$, we prove that ${1/2}(c_1^2+c_2)\cdot D=\chi({\mathcal{O}}_D)\geq 0$. In particular, if the line bundle ${\mathcal{O}}_D(D)$ is not torsion, then $q=h^1(X, {\mathcal{O}}_X)=0$, ${1/2}(c_1^2+c_2)\cdot D=\chi({\mathcal{O}}_D)=0$, $\chi({\mathcal{O}}_X) >0$ and $K_X$ is not nef. If there is a positive constant $c$ such that $h^0(X, {\mathcal{O}}_X(nD))\geq c n^3$ for all sufficiently large $n$ (we say that $D$ is big or the $D$-dimension of $X$ is 3) and $D$ has no exceptional curves, then $|nD|$ is base point free for $n\gg 0$. Therefore $Y$ is affine if $D$ is big.


title: Hodge Cohomology Criteria For Affine Varieties

abstract: We give several new criteria for a quasi-projective variety to be affine. In particular, we prove that an algebraic manifold $Y$ with dimension $n$ is affine if and only if $H^i(Y, \Omega^j_Y)=0$ for all $j\geq 0$, $i>0$ and $\kappa(D, X)=n$, i.e., there are $n$ algebraically independent nonconstant regular functions on $Y$, where $X$ is the smooth completion of $Y$, $D$ is the effective boundary divisor with support $X-Y$ and $\Omega^j_Y$ is the sheaf of regular $j$-forms on $Y$. This proves Mohan Kumar's affineness conjecture for algebraic manifolds and gives a partial answer to J.-P. Serre's Steinness question \cite{36} in algebraic case since the associated analytic space of an affine variety is Stein [15, Chapter VI, Proposition 3.1].


title: Generalized Browder's and Weyl's Theorems for Banach space operators

abstract: We find necessary and sufficient conditions for a Banach space operator T to satisfy the generalized Browder's theorem, and we obtain new necessary and sufficient conditions to guarantee that the spectral mapping theorem holds for the B-Weyl spectrum and for polynomials in T. We also prove that the spectral mapping theorem holds for the B-Browder spectrum and for analytic functions on an open neighborhood of \sigma(T). As applications, we show that if T is algebraically M-hyponormal, or if T is algebraically paranormal, then the generalized Weyl's theorem holds for f(T), where f \in H(T), the space of functions analytic on an open neighborhood of \sigma(T). We also show that if T is reduced by each of its eigenspaces, then the generalized Browder's theorem holds for f(T), for each f \in H(\sigma(T)).


title: Algebraic Stein Varieties

abstract: It is well-known that the associated analytic space of an affine variety defined over $\mathbb{C}$ is Stein but the converse is not true, that is, an algebraic Stein variety is not necessarily affine. In this paper, we give sufficient and necessary conditions for an algebraic Stein variety to be affine. One of our results is that an irreducible quasi-projective variety $Y$ defined over $\mathbb{C}$ with dimension $d$ ($d\geq 1$) is affine if and only if $Y$ is Stein, $H^i(Y, {\mathcal{O}}_Y)=0$ for all $i>0$ and $\kappa(D, X)= d$ (i.e., $D$ is a big divisor), where $X$ is a projective variety containing $Y$ and $D$ is an effective divisor with support $X-Y$. If $Y$ is algebraic Stein but not affine, we also discuss the possible transcendental degree of the nonconstant regular functions on $Y$. We prove that $Y$ cannot have $d-1$ algebraically independent nonconstant regular functions. The interesting phenomenon is that the transcendental degree can be even if the dimension of $Y$ is even and the degree can be odd if the dimension of $Y$ is odd.


title: Quartically hyponormal weighted shifts need not be 3-hyponormal

abstract: We give the first example of a quartically hyponormal unilateral weighted shift which is not 3-hyponormal.


title: Hyponormality and subnormality for powers of commuting pairs of subnormal operators

abstract: Let H_0 (resp. H_\infty denote the class of commuting pairs of subnormal operators on Hilbert space (resp. subnormal pairs), and for an integer k>=1 let H_k denote the class of k-hyponormal pairs in H_0. We study the hyponormality and subnormality of powers of pairs in H_k. We first show that if (T_1,T_2) is in H_1, then the pair (T_1^2,T_2) may fail to be in H_1. Conversely, we find a pair (T_1,T_2) in H_0 such that (T_1^2,T_2) is in H_1 but (T_1,T_2) is not. Next, we show that there exists a pair (T_1,T_2) in H_1 such that T_1^mT_2^n is subnormal (all m,n >= 1), but (T_1,T_2) is not in H_\infty; this further stretches the gap between the classes H_1 and H_\infty. Finally, we prove that there exists a large class of 2-variable weighted shifts (T_1,T_2) (namely those pairs in H_0 whose cores are of tensor form) for which the subnormality of (T_1^2,T_2) and (T_1,T_2^2) does imply the subnormality of (T_1,T_2).


title: Propagation phenomena for hyponormal 2-variable weighted shifts

abstract: We study the class of hyponormal 2-variable weighted shifts with two consecutive equal weights in the weight sequence of one of the coordinate operators. We show that under natural assumptions on the coordinate operators, the presence of consecutive equal weights leads to horizontal or vertical flatness, in a way that resembles the situation for 1-variable weighted shifts. In 1-variable, it is well known that flat weighted shifts are necessarily subnormal (with finitely atomic Berger measures). By contrast, we exhibit a large collection of flat (i.e., horizontally and vertically flat) 2-variable weighted shifts which are hyponormal but not subnormal. Moreover we completely characterize the hyponormality and subnormality of symmetrically flat contractive 2-variable weighted shifts.


title: Spectral pictures of 2-variable weighted shifts

abstract: We study the spectral pictures of (jointly) hyponormal 2-variable weighted shifts with commuting subnormal components. By contrast with all known results in the theory of subnormal single and 2-variable weighted shifts, we show that the Taylor essential spectrum can be disconnected. We do this by obtaining a simple sufficient condition that guarantees disconnectedness, based on the norms of the horizontal slices of the shift. We also show that for every k >= 1 there exists a k-hyponormal 2-variable weighted shift whose horizontal and vertical slices have 1- or 2-atomic Berger measures, and whose Taylor essential spectrum is disconnected.


title: On the arithmetic sums of Cantor sets

abstract: Let $C_\la$ and $C_\ga$ be two affine Cantor sets in $\mathbb{R}$ with similarity dimensions $d_\la$ and $d_\ga$, respectively. We define an analog of the Bandt-Graf condition for self-similar systems and use it to give necessary and sufficient conditions for having $\Ha^{d_\la+d_\ga}(C_\la + C_\ga)>0$ where $C_\la + C_\ga$ denotes the arithmetic sum of the sets. We use this result to analyze the orthogonal projection properties of sets of the form $C_\la \times C_\ga$. We prove that for Lebesgue almost all directions $\theta$ for which the projection is not one-to-one, the projection has zero $(d_\la + d_\ga)$-dimensional Hausdorff measure. We demonstrate the results on the case when $C_\la$ and $C_\ga$ are the middle-$(1-2\la)$ and middle-$(1-2\ga)$ sets.


title: A lower bound for |{a+b: a\in A, b\in B, P(a,b)\not=0}|

abstract: Let A and B be two finite subsets of a field F. In this paper we provide a nontrivial lower bound for |{a+b: a in A, b in B, and P(a,b) not=0}| where $P(x,y)\in F[x,y]$.


title: On Snevily's conjecture and restricted sumsets

abstract: Let G be an additive abelian group whose finite subgroups are all cyclic. Let A_1,...,A_n (n>1) be finite subsets of G with cardinality k>0, and let b_1,...,b_n be pairwise distinct elements of G with odd order. We show that for every positive integer m\leq (k-1)/(n-1) there are more than (k-1)n-(m+1)n(n-1)/2 sets {a_1,...,a_n} such that a_1\in A_1,..., a_n\in A_n, and both a_i\not=a_j and ma_i+b_i\not=ma_j+b_j (or both ma_i\not=ma_j and a_i+b_i\not=a_j+b_j) for all 1\leq i<j\leq n. This extends a recent result of Dasgupta, K\'arolyi, Serra and Szegedy on Snevily's conjecture. Actually stronger results on sumsets with polynomial restrictions are obtained in this paper.


title: CLT for L^{p} moduli of continuity of Gaussian processes

abstract: Let G=\{G(x),x\in R^1\} be a mean zero Gaussian processes with stationary increments and set \si ^2(|x-y|)= E(G(x)-G(y))^2. Let f be a symmetric function with Ef(\eta)<\ff, where \eta=N(0,1). When \si^2(s) is concave or when \si^2(s)=s^r$, $1<r\leq 3/2 we have \lim_{h\downarrow 0}{\int_a^b f(\frac{G(x+h)-G(x)}{\si (h)}) dx - (b-a)Ef(\eta)\over \sqrt{\Phi(h,\si(h),f,a,b)}}= N(0,1) in law where \Phi(h,\si(h),f,a,b) is the variance of the numerator. This result continues to hold when \si^2(s)=s^r, 3/2<r<2, for certain functions f, depending on the nature of the coefficients in their Hermite polynomial expansion. The asymptotic behavior of \Phi(h,\si(h),f,a,b) at zero, is described in a very large number of cases.


title: On representations of quantum groups $U_{q}(f_{m}(K,H))$

abstract: We construct families of irreducible representations for a class of quantum groups $U_{q}(f_{m}(K,H)$. First, we realize these quantum groups as Hyperbolic algebras. Such a realization yields natural families of irreducible weight representations for $U_{q}(f_{m}(K,H))$. Second, we study the relationship between $U_{q}(f_{m}(K,H))$ and $U_{q}(f_{m}(K))$. As a result, any finite dimensional weight representation of $U_{q}(f_{m}(K,H))$ is proved to be completely reducible. Finally, we study the Whittaker model for the center of $U_{q}(f_{m}(K,H))$, and a classification of all irreducible Whittaker representations of $U_{q}(f_{m}(K,H))$ is obtained.


title: Constructing irreducible representations of quantum groups $U_{q}(f_{m}(K))$

abstract: In this paper, we construct families of irreducible representations for a class of quantum groups $U_{q}(f_{m}(K))$. First, we give a natural construction of irreducible weight representations for $U_{q}(f_{m}(K))$ using methods in spectral theory developed by Rosenberg. Second, we study the Whittaker model for the center of $U_{q}(f_{m}(K))$. As a result, the structure of Whittaker representations is determined, and all irreducible Whittaker representations are explicitly constructed. Finally, we prove that the annihilator of a Whittaker representation is centrally generated.


title: On Whittaker modules over a class of algebras similar to $U(sl_{2})$

abstract: Motivated by the study of invariant rings of finite groups on the first Weyl algebras $A_{1}$ (\cite{AHV}) and finding interesting families of new noetherian rings, a class of algebras similar to $U(sl_{2})$ were introduced and studied by Smith in \cite{S}. Since the introduction of these algebras, research efforts have been focused on understanding their weight modules, and many important results were already obtained in \cite{S} and \cite{Ku}. But it seems that not much has been done on the part of nonweight modules. In this note, we generalize Kostant's results in \cite{K} on the Whittaker model for the universal enveloping algebras $U(\frak g)$ of finite dimensional semisimple Lie algebras $\frak g$ to Smith's algebras. As a result, a complete classification of irreducible Whittaker modules (which are definitely infinite dimensional) for Smith's algebras is obtained, and the submodule structure of any Whittaker module is also explicitly described.


title: On Irreducible weight representations of a new deformation $U_{q}(sl_{2})$ of $U(sl_{2})$

abstract: Starting from a Hecke $R-$matrix, Jing and Zhang constructed a new deformation $U_{q}(sl_{2})$ of $U(sl_{2})$, and studied its finite dimensional representations in \cite{JZ}. Especically, this algebra is proved to be just a bialgebra, and all finite dimensional irreducible representations are constructed in \cite{JZ}. In addition, an example is given to show that not every finite dimensional representation of this algebra is completely reducible. In this note, we take a step further by constructing more irreducible representations for this algebra. We first construct points of the spectrum of the category of representations over this new deformation by using methods in noncommutative algebraic geometry. Then applied to the study of representations, our construction recovers all finite dimensional irreducible representations as constructed in \cite{JZ}, and yields new families of infinite dimensional irreducible weight representations of this new deformation $U_{q}(sl_{2})$.


title: Chen-Ruan Cohomology of cotangent orbifolds and Chas-Sullivan String Topology

abstract: In this paper we prove that for an almost complex orbifold, its virtual orbifold cohomology [math.AT/0606573] is isomorphic as algebras to the Chen-Ruan orbifold cohomology of its cotangent orbifold.


title: Morita invariance of the filter dimension and of the inequality of Bernstein

abstract: It is proved that the filter dimenion is Morita invariant. A direct consequence of this fact is the Morita invariance of the inequality of Bernstein: if an algebra $A$ is Morita equivalent to the ring $\CD (X)$ of differential operators on a smooth irreducible affine algebraic variety $X$ of dimension $n\geq 1$ over a field of characteristic zero then the Gelfand-Kirillov dimension $ \GK (M)\geq n = \frac{\GK (A)}{2}$ for all nonzero finitely generated $A$-modules $M$. In fact, a more strong result is proved, namely, a Morita invariance of the holonomic number for finitely generated algebra. As a direct consequence of this fact an affirmative answer is given to the question/conjecture posed by Ken Brown several years ago of whether an analogue of the inequality of Bernstein holds for the (simple) rational Cherednik algebras $H_c$ for integral $c$: $\GK (M)\geq n =\frac{\GK (H_c)}{2}$ for all nonzero finitely generated $H_c$-modules $M$.


title: Disk enumeration on the quintic 3-fold

abstract: Holomorphic disk invariants with boundary in the real Lagrangian of a quintic 3-fold are calculated by localization and proven mirror transforms. A careful discussion of the underlying virtual intersection theory is included. The generating function for the disk invariants is shown to satisfy an extension of the Picard-Fuchs differential equations associated to the mirror quintic. The Ooguri-Vafa multiple cover formula is used to define virtually enumerative disk invariants. The results may also be viewed as providing a virtual enumeration of real rational curves on the quintic.


title: Oblique Matching Pursuit

abstract: A method for selecting a suitable subspace for discriminating signal components through an oblique projection is proposed. The selection criterion is based on the consistency principle introduced by M. Unser and A. Aldroubi and extended by Y. Elder. An effective implementation of this principle for the purpose of subspace selection is achieved by updating of the dual vectors yielding the corresponding oblique projector.


title: Perelman's proof of the Poincar\'e conjecture: a nonlinear PDE perspective

abstract: We discuss some of the key ideas of Perelman's proof of Poincar\'e's conjecture via the Hamilton program of using the Ricci flow, from the perspective of the modern theory of nonlinear partial differential equations.


title: From the Mahler conjecture to Gauss linking integrals

abstract: We establish a version of the bottleneck conjecture, which in turn implies a partial solution to the Mahler conjecture on the product $v(K) = (\Vol K)(\Vol K^\circ)$ of the volume of a symmetric convex body $K \in \R^n$ and its polar body $K^\circ$. The Mahler conjecture asserts that the Mahler volume $v(K)$ is minimized (non-uniquely) when $K$ is an $n$-cube. The bottleneck conjecture (in its least general form) asserts that the volume of a certain domain $K^\diamond \subseteq K \times K^\circ$ is minimized when $K$ is an ellipsoid. It implies the Mahler conjecture up to a factor of $(\pi/4)^n \gamma_n$, where $\gamma_n$ is a monotonic factor that begins at $4/\pi$ and converges to $\sqrt{2}$. This strengthens a result of Bourgain and Milman, who showed that there is a constant $c$ such that the Mahler conjecture is true up to a factor of $c^n$. The proof uses a version of the Gauss linking integral to obtain a constant lower bound on $\Vol K^\diamond$, with equality when $K$ is an ellipsoid. It applies to a more general conjecture concerning the join of any two necks of the pseudospheres of an indefinite inner product space. Because the calculations are similar, we will also analyze traditional Gauss linking integrals in the sphere $S^{n-1}$ and in hyperbolic space $H^{n-1}$.


title: Composition operators on Hardy-Orlicz spaces

abstract: We investigate composition operators on Hardy-Orlicz spaces when the Orlicz function $\Psi$ grows rapidly: compactness, weak compactness, to be $p$-summing, order bounded,..., and show how these notions behave according to the growth of $\Psi$. We introduce an adapted version of Carleson measure. We construct various examples showing that our results are essentially sharp. In the last part, we study the case of Bergman-Orlicz spaces.


title: How to determine the law of the noise driving a SPDE

abstract: We consider a stochastic partial differential equation (SPDE) on a lattice \partial_t X=(\Delta-m^2)X-\lambda X^p+\eta where $\eta$ is a space-time L\'evy noise. A perturbative (in the sense of formal power series) strong solution is given by a tree expansion, whereas the correlation functions of the solution are given by a perturbative expansion with coefficients that are represented as sums over a certain class of graphs, called Parisi-Wu graphs. The perturbative expansion of the truncated (connected) correlation functions is obtained via a Linked Cluster Theorem as a sums over connected graphs only. The moments of the stationary solution can be calculated as well. In all these solutions the cumulants of the single site distribution of the noise enter as multiplicative constants. To determine them, e.g. by comparison with a empirical correlation function, one can fit these constants (e.g. by the methods of least squares) and thereby one (approximately) determines law of the noise.


title: Iterated homotopy fixed points for the Lubin-Tate spectrum, with an Appendix: An example of a discrete G-spectrum that is not hyperfibrant

abstract: When G is a profinite group and H and K are closed subgroups, with H normal in K, it is not known, in general, how to form the iterated homotopy fixed point spectrum (Z^{hH})^{hK/H}, where Z is a continuous G-spectrum and all group actions are to be continuous. However, we show that, if G=G_n, the extended Morava stabilizer group, and Z=L_{K(n)}(E_n \wedge X), where L_{K(n)} is Bousfield localization with respect to Morava K-theory, E_n is the Lubin-Tate spectrum, and X is any spectrum with trivial G_n-action, then the iterated homotopy fixed point spectrum can always be constructed. Also, we show that (E_n^{hH})^{hK/H} is just E_n^{hK}, extending a result of Devinatz and Hopkins.


title: Strongly singular Radon transforms on the Heisenberg group and folding singularities

abstract: We prove sharp $L^2$ regularity results for classes of strongly singular Radon transfoms on the Heisenberg group by means of oscillatory integrals. We show that the problem in question can be effectively treated by establishing uniform estimates for certain oscillatory integrals whose canonical relations project with two-sided fold singularities; this new approach also allows us to treat operators which are not necessarily translation invariant.


title: Strongly singular integral operators associated to different quasi-norms on the Heisenberg group

abstract: In this article we study the behavior of strongly singular integrals associated to three different, albeit equivalent, quasi-norms on Heisenberg groups; these quasi-norms give rise to phase functions whose mixed Hessians may or may not drop rank along suitable varieties. In the particular case of the Koranyi norm we improve on previous arguments of the second author and obtain sharp $L^2$ estimates for the associated operators.


title: Bipartite Rainbow Numbers of Matchings

abstract: Given two graphs $G$ and $H$, let $f(G,H)$ denote the maximum number $c$ for which there is a way to color the edges of $G$ with $c$ colors such that every subgraph $H$ of $G$ has at least two edges of the same color. Equivalently, any edge-coloring of $G$ with at least $rb(G,H)=f(G,H)+1$ colors contains a rainbow copy of $H$, where a rainbow subgraph of an edge-colored graph is such that no two edges of it have the same color. The number $rb(G,H)$ is called the {\it rainbow number of $H$ with respect to $G$}, and simply called the {\it bipartite rainbow number of $H$} if $G$ is the complete bipartite graph $K_{m,n}$. Erd\H{o}s, Simonovits and S\'{o}s showed that $rb(K_n,K_3)=n$. In 2004, Schiermeyer determined the rainbow numbers $rb(K_n,K_k)$ for all $n\geq k\geq 4$, and the rainbow numbers $rb(K_n,kK_2)$ for all $k\geq 2$ and $n\geq 3k+3$. In this paper we will determine the rainbow numbers $rb(K_{m,n},kK_2)$ for all $k\geq 1$.


title: Puzzles of Quasi-Finite Type, Zeta Functions and Symbolic Dynamics for Multi-Dimensional Maps

abstract: We introduce "puzzles of quasi-finite type" which are the counterparts of our subshifts of quasi-finite type (Invent. Math. 159 (2005)) in the setting of combinatorial puzzles as defined in complex dynamics. We are able to analyze these dynamics defined by entropy conditions rather completely, obtaining a complete classification with respect to large entropy measures and a description of their measures with maximum entropy and periodic orbits. These results can in particular be applied to entropy-expanding maps like (x,y)-->(1.8-x^2+sy,1.9-y^2+sx) for small s. We prove in particular the meromorphy of the Artin-Mazur zeta function on a large disk. This follows from a similar new result about strongly positively recurrent Markov shifts where the radius of meromorphy is lower bounded by an "entropy at infinity" of the graph.


title: Transferring homotopy commutative algebraic structures

abstract: We show that the sum over planar trees formula of Kontsevich and Soibelman transfers C-infinity structures along a contraction. Applying this result to a cosimplicial commutative algebra A^* over a field of characteristic zero, we exhibit a canonical unital C-infinity structure on Tot(A^*), which is unital if A^* is; in particular, we obtain a canonical C-infinity structure on the cochain complex of a simplicial set.


title: Khovanov homology and Rasmussen's s-invariants for pretzel knots

abstract: We calculated the rational Khovanov homology of some class of pretzel knots, by using the spectral sequence constructed by P. Turner. Moreover, we determined the Rasmussen's s-invariant of almost of pretzel knots with three pretzels.


title: Iterated Differential Forms III: Integral Calculus

abstract: Basic elements of integral calculus over algebras of iterated differential forms, are presented. In particular, defining complexes for modules of integral forms are described and the corresponding berezinians and complexes of integral forms are computed. Various applications and the integral calculus over the algebra $\Lambda_{\infty}$ will be discussed in subsequent notes.


title: Complex and CR-structures on compact Lie groups associated to Abelian actions

abstract: It was shown by Samelson and Wang that each compact Lie group K of even dimension admits left-invariant complex structures. When K has odd dimension it admits a left-invariant CR-structure of maximal dimension. This has been proved recently by Charbonnel and Khalgui who have also given a complete algebraic description of these structures. In this article we present an alternative and more geometric construction of this type of invariant structures on a compact Lie group K when it is semisimple. We prove that each left-invariant complex structure, or each CR-structure of maximal dimension with a transverse CR-action by R, is induced by a holomorphic C^l action on a quasi-projective manifold X naturally associated to K. We then show that X admits more general Abelian actions, also inducing complex or CR structures on K which are generically non-invariant.


title: LASSO-Patternsearch algorithm with application to ophthalmology and genomic data

abstract: The LASSO-Patternsearch algorithm is proposed to efficiently identify patterns of multiple dichotomous risk factors for outcomes of interest in demographic and genomic studies. The patterns considered are those that arise naturally from the log linear expansion of the multivariate Bernoulli density. The method is designed for the case where there is a possibly very large number of candidate patterns but it is believed that only a relatively small number are important. A LASSO is used to greatly reduce the number of candidate patterns, using a novel computational algorithm that can handle an extremely large number of unknowns simultaneously. The patterns surviving the LASSO are further pruned in the framework of (parametric) generalized linear models. A novel tuning procedure based on the GACV for Bernoulli outcomes, modified to act as a model selector, is used at both steps. We applied the method to myopia data from the population-based Beaver Dam Eye Study, exposing physiologically interesting interacting risk factors. We then applied the method to data from a generative model of Rheumatoid Arthritis based on Problem 3 from the Genetic Analysis Workshop 15, successfully demonstrating its potential to efficiently recover higher order patterns from attribute vectors of length typical of genomic studies.


title: Iterated Differential Forms IV: C-Spectral Sequence

abstract: For the multiple differential algebra of iterated differential forms (see math.DG/0605113 and math.DG/0609287) on a diffiety (O,C) an analogue of C-spectral sequence is constructed. The first term of it is naturally interpreted as the algebra of secondary iterated differential forms on (O,C). This allows to develop secondary tensor analysis on generic diffieties, some simplest elements of which are sketched here. The presented here general theory will be specified to infinite jet spaces and infinitely prolonged PDEs in subsequent notes.


title: 2-clean rings

abstract: A ring $R$ is said to be $n$-clean if every element can be written as a sum of an idempotent and $n$ units. The class of these rings contains clean ring and $n$-good rings in which each element is a sum of $n$ units. In this paper, we show that for any ring $R$, the endomorphism ring of a free $R$-module of rank at least 2 is 2-clean and that the ring $B(R)$ of all $\omega\times \omega$ row and column-finite matrices over any ring $R$ is 2-clean. Finally, the group ring $RC_{n}$ is considered where $R$ is a local ring. \vskip 0.5cm {\bf Key words:}\quad 2-clean rings, 2-good rings, free modules, row and column-finite matrix rings, group rings.


title: Stochastic Models for Speciation Events in Phylogenetic trees

abstract: In a phylogenetic tree, we often don't have information about the time a speciation event (inner node) occured. Under a neutral model for speciation, I develop fast algorithms for calculating the probability that an inner node i is the k-th speciation event. For the Yule and the coalescent model, I develop an edge length estimation as well. Various properties of the Yule model are discussed throughout the thesis.


title: Global Exponential Stability of Almost Periodic Solution for A Large Class of Delayed Dynamical Systems

abstract: Research of delayed neural networks with variable self-inhibitions, inter-connection weights, and inputs is an important issue. %In the real world, self-inhibitions, %inter-connection weights, and inputs should vary through time. In In this paper, we discuss a large class of delayed dynamical systems with almost periodic self-inhibitions, inter-connection weights, and inputs. This model is universal and includes delayed systems with time-varying delays, distributed delays as well as combination of both. We prove that under some mild conditions, the system has a unique almost periodic solution, which is globally exponentially stable. We propose a new approach, which is independent of existing theory concerning with existence of almost periodic solution for dynamical systems.


title: Spectral calculations in rings

abstract: We examine the validity of certain spectral integral formulas in topological rings. We consider the sign and square-root functions in polymetric rings containing $\frac12$. It turns out that formal analogues of classical transformation kernels and the resolvent identity can be used to understand the situation. In the lack of $\frac12$, the functions $\frac12-\frac12\sgn(\frac12-z)$ and $\frac12-\sqrt{\frac14-z}$ can be generalized, respectively.


title: Quantum families of maps and quantum semigroups on finite quantum spaces

abstract: Quantum families of maps between quantum spaces are defined and studied. We prove that quantum semigroup (and sometimes quantum group) structures arise naturally on such objects out of more fundamental properties. As particular cases we study quantum semigroups of maps preserving a fixed state and quantum commutants of given quantum families of maps.


title: Brill-Noether Sheaves

abstract: We construct a $\bar Q_l$-linear Tannakian category attached to a smooth projective curve C equivalent to the category of finite dimensional $\bar Q_l$-representations Rep(G), where G is $Sp(2g-2,\bar Q_l)$ or $Sl(2g-2,\bar Q_l)$ depending on whether C is hyperelliptic or not.


title: On duality of spaces of harmonic vector fields

abstract: A differential form defined on a Riemannian manifold is said to harmonic if it is closed and co-closed. Harmonic differential forms are a natural multi-dimensional extension of the concept of analytic function of complex variable. In this paper we characterize continuous linear functionals acting of the space of germs of harmonic differential forms on a compact set. This result provides a multi-dimensional analog of a theorem by G. K\"othe on the dual of the space of germs of analytic functions of complex variables on a compact.


title: Faultfree Tromino Tilings of Rectangles

abstract: In this paper we consider faultfree tromino tilings of rectangles and characterize rectangles that admit such tilings. We introduce the notion of {\it crossing numbers} for tilings and derive bounds on the crossing numbers of faultfree tilings. We develop an iterative scheme for generating faultfree tromino tilings for rectangles and derive the closed form expression for the exact number of faultfree tromino tilings for $4\times3t$ rectangles and the exact generating function for $5\times 3t$ rectangles, $t\geq 1$. Our iterative scheme generalizes to arbitrary rectangles; for $6\times 6t$ and $7\times 6t$ rectangles, $t\geq 1$, we derive generating functions for estimating lower bounds on the number of faultfree tilings. We also derive an upper bound on the number of tromino tilings of an $m\times n$ rectangle, where $3|mn$ and $m,n>0$.


title: On Periodic Dynamical Systems

abstract: In this paper, we investigate the existence and the global stability of periodic solution for dynamical systems with periodic interconnections, inputs and self-inhibitions. The model is very general, the conditions are quite weak and the results obtained are universal.


title: Radon transform on real, complex and quaternionic Grassmannians

abstract: Let $G_{n,k}(\bbK)$ be the Grassmannian manifold of $k$-dimensional $\bbK$-subspaces in $\bbK^n$ where $\bbK=\mathbb R, \mathbb C, \mathbb H$ is the field of real, complex or quaternionic numbers. For $1\le k < k^\prime \le n-1$ we define the Radon transform $(\mathcal R f)(\eta)$, $\eta \in G_{n,k^\prime}(\bbK)$, for functions $f(\xi)$ on $G_{n,k}(\bbK)$ as an integration over all $\xi \subset \eta$. When $k+k^\prime \le n$ we give an inversion formula in terms of the G\aa{}rding-Gindikin fractional integration and the Cayley type differential operator on the symmetric cone of positive $k\times k$ matrices over $\bbK$. This generalizes the recent results of Grinberg-Rubin for real Grassmannians.


title: An introduction to b-minimality

abstract: We give a survey with some explanations but no proofs of the new notion of b-minimality by the author and F. Loeser [b-minimality, J. Math. Log., 7 no. 2 (2007) 195--227, math.LO/0610183]. We compare this notion with other notions like o-minimality, C-minimality, p-minimality, and so on.


title: Gauss paragraphs of classical links and a characterization of virtual link groups

abstract: A classical link in 3-space can be represented by a Gauss paragraph encoding a link diagram in a combinatorial way. A Gauss paragraph may code not a classical link diagram, but a diagram with virtual crossings. We present a criterion and a linear algorithm detecting whether a Gauss paragraph encodes a classical link. We describe Wirtinger presentations realizable by virtual link groups.


title: Compatibility, multi-brackets and integrability of systems of PDEs

abstract: We establish an efficient compatibility criterion for a system of generalized complete intersection type in terms of certain multi-brackets of differential operators. These multi-brackets generalize the higher Jacobi-Mayer brackets, important in the study of evolutionary equations and the integrability problem. We also calculate Spencer delta-cohomology of generalized complete intersections and evaluate the formal functional dimension of the solutions space. The results are applied to establish new integration methods and solve several differential-geometric problems.


title: On Regular Locally Scalar Representations of Graph $\widetilde{D}_4$ in Hilbert Spaces

abstract: We classify regular locally scalar (= orthoscalar) representations of graph $\widetilde{D}_4$ in Hilbert spaces


title: Sierpinski's triangle and the Prouhet-Thue-Morse word

abstract: Sierpinski's triangle is a fractal and the Prouhet-Thue-Morse word is sufficiently chaotic to avoid cubes. Here we observe that there is at least a tenuous connection between them: the Sierpinski triangle is evident in Pascal's triangle mod 2 whose inverse, as an infinite lower-triangular matrix, involves the Prouhet-Thue-Morse word.


title: Theory of Submanifolds, Associativity Equations in 2D Topological Quantum Field Theories, and Frobenius Manifolds

abstract: We prove that the associativity equations of two-dimensional topological quantum field theories are very natural reductions of the fundamental nonlinear equations of the theory of submanifolds in pseudo-Euclidean spaces and give a natural class of potential flat torsionless submanifolds. We show that all potential flat torsionless submanifolds in pseudo-Euclidean spaces bear natural structures of Frobenius algebras on their tangent spaces. These Frobenius structures are generated by the corresponding flat first fundamental form and the set of the second fundamental forms of the submanifolds (in fact, the structural constants are given by the set of the Weingarten operators of the submanifolds). We prove in this paper that each N-dimensional Frobenius manifold can locally be represented as a potential flat torsionless submanifold in a 2N-dimensional pseudo-Euclidean space. By our construction this submanifold is uniquely determined up to motions. Moreover, in this paper we consider a nonlinear system, which is a natural generalization of the associativity equations, namely, the system describing all flat torsionless submanifolds in pseudo-Euclidean spaces, and prove that this system is integrable by the inverse scattering method.


title: Medial Commutativity

abstract: It is shown that all the assumptions for symmetric monoidal categories flow out of a unifying principle involving natural isomorphisms of the type ${(A\otimes B)\otimes(C\otimes D)\to(A\otimes C)\otimes(B\otimes D)}$, called medial commutativity. Medial commutativity in the presence of the unit object enables us to define associativity and commutativity natural isomorphisms. In particular, Mac Lane's pentagonal and hexagonal coherence conditions for associativity and commutativity are derived from the preservation up to a natural isomorphism of medial commutativity by the biendofunctor $\otimes$. This preservation boils down to an isomorphic representation of the Yang-Baxter equation of symmetric and braid groups. The assumptions of monoidal categories, and in particular Mac Lane's pentagonal coherence condition, are explained in the absence of commutativity, and also of the unit object, by a similar preservation of associativity by the biendofunctor $\otimes$. In the final section one finds coherence conditions for medial commutativity in the absence of the unit object. These conditions are obtained by taking the direct product of the symmetric groups $S_{n \choose i}$ for $0\leq i\leq n$.


title: Tr\'{e}maux trees and planarity

abstract: We present a simplified version of the DFS-based Left-Right planarity testing and embedding algorithm implemented in Pigale which has been considered as the fastest implemented one [J.M. Boyer, P.F. Cortese, M. Patrignani, and G. Di Battista. Stop minding your P's and Q's: implementing fast and simple DFS-based planarity and embedding algorithm. In Graph Drawing, volume 2912 of Lecture Notes in Computer Science, pages 25-36. Springer, 2004.]. We give here a simple full justification of the algorithm, based on a preliminary extended study of topological properties of DFS trees.


title: On the wgsc and qsf tameness conditions for finitely presented groups

abstract: A finitely presented group is weakly geometrically simply connected (wgsc) if it is the fundamental group of some compact polyhedron whose universal covering is wgsc i.e. it has an exhaustion by compact connected and simply connected sub-polyhedra. We show that this condition is almost-equivalent to Brick's qsf property, which amounts to finding an exhaustion approximable by finite simply connected complexes, and also to the tame combability introduced and studied by Mihalik and Tschantz. We further observe that a number of standard constructions in group theory yield qsf groups and analyze specific examples. We show that requiring the exhaustion be made of metric balls in some Cayley complex is a strong constraint, not verified by general qsf groups. In the second part of this paper we give sufficient conditions under which groups which are extensions of finitely presented groups by finitely generated (but infinitely presented) groups are qsf. We prove, in particular, that the finitely presented HNN extension of the Grigorchuk group is qsf.


title: Regular embeddings of multigraphs

abstract: We prove that the vertex set of any twin-free multigraph G has an embedding into some point set P of some Euclidean space Rk, such that the automorphism group of G is isomorphic to the isometry group of Rk globally preserving P.


title: Reflection groups in algebraic geometry

abstract: This is a survey on appearances of reflection groups, real and complex, in algebraic geometry. We also include a brief introduction into the theory of reflection groups.


title: Two sufficient conditions for Poisson approximations in the ferromagnetic Ising model

abstract: A $d$-dimensional ferromagnetic Ising model on a lattice torus is considered. As the size of the lattice tends to infinity, two conditions ensuring a Poisson approximation for the distribution of the number of occurrences in the lattice of any given local configuration are suggested. The proof builds on the Stein--Chen method. The rate of the Poisson approximation and the speed of convergence to it are defined and make sense for the model. Thus, the two sufficient conditions are traduced in terms of the magnetic field and the pair potential. In particular, the Poisson approximation holds even if both potentials diverge.


title: On Gale and braxial polytopes

abstract: Cyclic polytopes are characterized as simplicial polytopes satisfying Gale's evenness condition (a combinatorial condition on facets relative to a fixed ordering of the vertices). Periodically-cyclic polytopes are polytopes for which certain subpolytopes are cyclic. Bisztriczky discovered a class of periodically-cyclic polytopes that also satisfy Gale's evenness condition. The faces of these polytopes are braxtopes, a certain class of nonsimplicial polytopes studied by the authors. In this paper we prove that the periodically-cyclic Gale polytopes of Bisztriczky are exactly the polytopes that satisfy Gale's evenness condition and are braxial (all faces are braxtopes). The existence of other periodically-cyclic Gale polytopes is open.


title: Shellable complexes and topology of diagonal arrangements

abstract: We prove that if a simplicial complex is shellable, then the intersection lattice for the corresponding diagonal arrangement is homotopy equivalent to a wedge of spheres. Furthermore, we describe precisely the spheres in the wedge, based on the data of shelling. Also, we give some examples of diagonal arrangements where the complement is K(\pi,1), coming from rank 3 matroids.


title: Two bounds for the x-ray transform

abstract: We use the arithmetic-combinatorial method of Katz and Tao to give mixed-norm estimates for the x-ray transform on R^d when d \geq 4. As an application, we obtain an improved estimate for the Hausdorff dimension of (d,k) sets, which are subsets of R^d containing a translate of every k-plane.


title: A Generalized Maximum Principle for Yau's Square Operator, with Applications to the Steady State Space

abstract: We derive, for the square operator of Yau, an analogue of the Omori-Yau maximum principle for the Laplacian. We then apply it to obtain nonexistence results concerning complete spacelike hypersurfaces with constant higher order mean curvature in the Steady State space.


title: Directions of automorphisms of Lie groups over local fields compared to the directions of Lie algebra automorphisms

abstract: To each totally disconnected, locally compact topological group G and each group A of automorphisms of G, a pseudo-metric space of ``directions'' has been associated by U. Baumgartner and the second author. Given a Lie group G over a local field, it is a natural idea to try to define a map from the space of directions of analytic automorphisms of G to the space of directions of automorphisms of the Lie algebra L(G) of G, which takes the direction of an analytic automorphism of G to the direction of the associated Lie algebra automorphism. We show that, in general, this map is not well-defined. However, the pathology cannot occur for a large class of linear algebraic groups (called ``generalized Cayley groups'' here). For such groups, the assignment just proposed defines a well-defined isometric embedding from the space of directions of inner automorphisms of G to the space of directions of automorphisms of L(G). Some counterexamples concerning the existence of small joint tidy subgroups for flat groups of automorphisms are also provided.


title: There are no projective surfaces in M_4

abstract: This paper has been withdrawn by the author due to a crucial error


title: Basis-conjugating automorphisms of a free group and associated Lie algebras

abstract: Let F_n = <x_1,...,x_n> denote the free group with generators {x_1,...,x_n}. Nielsen and Magnus described generators for the kernel of the canonical epimorphism from the automorphism group of F_n to the general linear group over the integers. In particular among them are the automorphisms chi_{k,i} which conjugate the generator x_k by the generator x_i leaving the x_j fixed for j not k. A computation of the cohomology ring as well as the Lie algebra obtained from the descending central series of the group generated by chi_{k,i} for i<k is given here. Partial results are obtained for the group generated by all chi_{k,i}.


title: Convex rank 1 subsets of Euclidean buildings (of type $A_2$)

abstract: For a Euclidean building $X$ of type $A_{2}$, we classify the 0-dimensional subbuildings $A$ of $\partial_{T}X$ that occur as the asymptotic boundary of closed convex subsets. In particular, we show that triviality of the holonomy of a triple (of points of $A$) is (essentially) sufficient. To prove this, we construct new convex subsets as the union of convex sets.


title: Quantization of Arbitrary Hamiltonians

abstract: In this paper we discuss a method to apply Quantization rules for arbitrary Hamiltonians that are not necessarily Polynomials in variable p, so we have H of the form H(x,p)=F(x,p)+g(x) the method uses the results of "Fractional Calculus" for derivatives and integrals.


title: A formula for topology/deformations and its significance

abstract: The formula is $\partial{e}=({\rm ad}_e)b+\sum_{i=0}^\infty{\frac{B_i}{i!}}({\rm ad}_e)^i(b-a)\>,$ with $\partial{a}+{1\over2}[a,a] =0$ and $\partial{b}+{1\over2}[b,b] =0$, where $a$, $b$ and $e$ in degrees $-1$, $-1$ and 0 are the free generators of a completed free graded Lie algebra $L[a,b,e]$. The coefficients are defined by ${x\over{e^x-1}}=\sum_{n=0}^\infty{B_n\over{}n!}x^n$. The theorem is that (I) this formula for $\partial$ on generators extends to a derivation of square zero on $L[a,b,e]$, (II) the formula for $\partial{e}$ is unique satisfying the first property, once given the formulae for $\partial{a}$ and $\partial{b}$, along with the condition that the "flow" generated by $e$ moves $a$ to $b$ in unit time. The immediate significance of this formula is that it computes the infinity cocommutative coalgebra structure on the chains of the closed interval. It may be derived and proved using the geometrical idea of flat connections and one parameter groups or flows of gauge transformations. The deeper significance of such general DGLAs which want to combine deformation theory and rational homotopy theory is proposed as a research problem.


title: Local finiteness for cubulations of CAT(0) groups

abstract: Let X be a proper CAT(0) space. A halfspace system (or cubulation) of X is a set H of open halfspaces closed under closure-complementation and such that every point in X has a neighbourhood intersecting only finitely many walls of H. Given a cubulation H, one uses the Sageev-Roller construction to form a cubing C(H). One setting in which cubulations were studied is that of a Coxeter group (W,R) acting on its Davis-Moussong complex, with elements of H being the halfspaces defined by reflections. For this setting, Niblo and Reeves had shown that C(H) is a finite-dimensional, locally-finite cubing. Their proof explicitly uses the `parallel walls property' of Coxeter groups, proved by Brink and Howlett, and heavily relies on meticulous calculations with the root system associated with (W,R). We generalize their local finiteness result using the visual boundary of X, endowed with the cone topology. We introduce an asymptotic condition on H (`uniformness'), and show it is equivalent to H having the parallel walls property together with boundedness of chambers. Uniformness regards the way in which boundary points are approximated by the walls of H. We prove that if G is a group acting geometrically on a CAT(0) space X and H is a uniform cubulation of X invariant under G, then C(H) is locally-finite. We also show that the obvious map of $X$ into $C(H)$ is a quasi-isometry, and use this to give quantitative results strengthening the parallel walls property.


title: On some exceptional cases in the integrability of the three-body problem

abstract: We consider the Newtonian planar three--body problem with positive masses $m_1$, $m_2$, $m_3$. We prove that it does not have an additional first integral meromorphic in the complex neighborhood of the parabolic Lagrangian orbit besides three exceptional cases $ \sum m_i m_j/(\sum m_k)^2= 1/3$, $2^3/3^3$, $2/3^2$ where the linearized equations are shown to be partially integrable. This result completes the non-integrability analysis of the three-body problem started in our previous papers and based of the Morales-Ramis-Ziglin approach.


title: A definition of the crystal commutor using Kashiwara's involution

abstract: Henriques and Kamnitzer defined and studied a commutor for the category of crystals of a finite dimentional complex reductive Lie algebra. We show that the action of this commutor on highest weight elements can be expressed very simply using Kashiwara's involution on the Verma crystal.


title: Controllability of the Laguerre and the Jacobi Equations

abstract: In this paper we study the controllability of the controlled Laguerre equation and the controlled Jacobi equation. For each case, we found conditions which guarantee when such systems are approximately controllable on the interval $[0, t_1]$. Moreover, we show that these systems can never be exactly controllable


title: A sharper estimate on the Betti numbers of sets defined by quadratic inequalities

abstract: In this paper we consider the problem of bounding the Betti numbers, $b_i(S)$, of a semi-algebraic set $S \subset \R^k$ defined by polynomial inequalities $P_1 \geq 0,...,P_s \geq 0$, where $P_i \in \R[X_1,...,X_k]$ and $\deg(P_i) \leq 2$, for $1 \leq i \leq s$. We prove that for $0\le i\le k-1$, \[ b_i(S) \le{1/2}(\sum_{j=0}^{min\{s,k-i\}}{{s}\choose j}{{k+1}\choose {j}}2^{j}). \] In particular, for $2\le s\le \frac{k}{2}$, we have \[ b_i(S)\le {1/2} 3^{s}{{k+1}\choose {s}} \leq {1/2} (\frac{3e(k+1)}{s})^s. \] This improves the bound of $k^{O(s)}$ proved by Barvinok. This improvement is made possible by a new approach, whereby we first bound the Betti numbers of non-singular complete intersections of complex projective varieties defined by generic quadratic forms, and use this bound to obtain bounds in the real semi-algebraic case.


title: Parabolic equations with VMO coefficients in spaces with mixed norms

abstract: An $L_{q}(L_{p})$-theory of divergence and non-divergence form parabolic equations is presented. The main coefficients are supposed to belong to the class $VMO_{x}$, which, in particular, contains all measurable functions depending only on $t$. The method of proving simplifies the methods previously used in the case $p=q$.


title: The Conley Conjecture

abstract: We prove the Conley conjecture for a closed symplectically aspherical symplectic manifold: a Hamiltonian diffeomorphism of a such a manifold has infinitely many periodic points. More precisely, we show that a Hamiltonian diffeomorphism with finitely many fixed points has simple periodic points of arbitrarily large period. This theorem generalizes, for instance, a recent result of Hingston establishing the Conley conjecture for tori.


title: Homological projective duality for Grassmannians of lines

abstract: We show that homologically projectively dual varieties for Grassmannians Gr(2,6) and Gr(2,7) are given by certain noncommutative resolutions of singularities of the corresponding Pfaffian varieties. As an application we describe the derived categories of linear sections of these Grassmannians and Pfaffians. In particular, we show that (1) the derived category of a Pfaffian cubic 4-fold admits a semiorthogonal decompositions consisting of 3 exceptional line bundles, and of the derived category of a K3-surface; (2) mutually orthogonal Calabi-Yau linear sections of Gr(2,7) and of the corresponding Pfaffian variety are derived equivalent. We also conjecture a rationality criterion for cubic 4-folds in terms of their derived categories.


title: Computing Fano 3-folds of index >=3

abstract: We use the computer algebra system Magma to study graded rings of Fano 3-folds of index >=3 in terms of their Hilbert series.


title: Trace formulas and class number sums

abstract: We specialize the Eichler-Selberg trace formula to obtain trace formulas for the prime-to-level Hecke action on cusp forms for certain congruence groups of arbitrary level. As a consequence, we determine the asymptotic in the prime p of the number of (weighted) SL(2,Z)-conjugation orbits of 2 by 2 matrices of determinant p whose reductions modulo N lie in a given conjugacy class in GL(2,Z/NZ). This generalizes an 1885 result of Hurwitz.


title: Classification et changement de bases pour les s\'{e}ries discr\`{e}tes des groupes unitaires p-adiques

abstract: This paper deals with the Langlands' classification for discrete series of unitary quasi-split p-adic groups. We show that such a classification follows from Arthur's work on the simple trace formula which we can use now thanks to Laumon-Ngo's proof of the fundamental lemma and Waldspurger's work on the consequences of it on the transfer.


title: Hypotheses Testing: Poisson Versus Self-correcting

abstract: We consider the problem of hypotheses testing with the basic simple hypothesis: observed sequence of points corresponds to stationary Poisson process with known intensity against a composite one-sided parametric alternative that this is a self-correcting point process. The underlying family of measures is locally asymptotically quadratic and we describe the behavior of score function, likelihood ratio and Wald tests in the asymptotics of large samples. The results of numerical simulations are presented.


title: Generating functions for Hecke operators

abstract: Fix a prime N, and consider the action of the Hecke operator T_N on the space M_k(SL(2,Z)) of modular forms of full level and varying weight k. The coefficients of the matrix of T_N with respect to the basis {E_4^i E_6^j | 4i + 6j = k} for M_k(SL(2,Z)) can be combined for varying k into a generating function F_N. We show that this generating function is a rational function for all N, and present a systematic method for computing F_N. We carry out the computations for N = 2, 3, 5, and indicate and discuss generalizations to spaces of modular forms of arbitrary level.


title: A remark on the non-rationality Problem for generic cubic fourfolds

abstract: It is proved that the non-rationality of a generic cubic fourfold follows from a conjecture on the non-decomposability in the direct sum of non-trivial polarized Hodge structures of the polarized Hodge structure on transcendental cycles on a projective surface.


title: The hypersurfaces with conformal normal Gauss map in H^n+1 and S_{1}^{n+1}

abstract: In this paper we introduce the fourth fundamental form for the hypersurfaces in $H^{n+1}$ and the space-like hypersurfaces in $S_{1}^{n+1}$ and discuss the conformality of the normal Gauss maps of the hypersurfaces in $H^{n+1}$ and $S_{1}^{n+1}$. Particularly, we discuss the surfaces with conformal normal Gauss maps in $H^{3}$ and $S_{1}^{3}$ and prove a duality property. We give the Weierstrass representation formula for the space-like surfaces in $S_{1}^{3}$ with conformal normal Gauss maps. We also state the similar results for the time-like surfaces in $S_{1}^{3}.$


title: Orbifold quantum cohomology of weighted projective spaces

abstract: This article is a revised, short and english version of my PhD thesis. First, we show a mirror theorem : the Frobenius manifold associated to the orbifold quantum cohomology of weighted projective space is isomorphic to the one attached to a specific Laurent polynomial. Secondly, we show a reconstruction theorem, that is, we can reconstruct in an algorithmic way the full genus 0 Gromov-Witten potential from the 3-point invariants.


title: Ergodic properties of geometrical crystallization processes, I

abstract: We are interested here in a birth-and-growth process where germs are born according to a Poisson point process with invariant under translation in space intensity measure. The germs can be born in free space and then start growing until occupying the available space. In order to consider various way of growing, we describe the crystals at each time through their geometrical properties. In this general framework, the crystallization process can be caracterized by the random field giving for a point in the space state the first time this point is reached by a crystal. We prove under general conditions that this random field is mixing in the sens of ergodic theory and obtain estimates for the coefficient of absolute regularity.


title: Detecting free splittings in relatively hyperbolic groups

abstract: We describe an algorithm which determines whether or not a group which is hyperbolic relative to abelian groups admits a nontrivial splitting over a finite group.


title: On pi-adic expansion of singular integers of the p-cyclotomic field

abstract: Let p be an odd prime. Let F_p^* be the no-null part of the finite field of p elements. Let K = Q(zeta) be the p-cyclotomic field and let O_K be the ring of integers of K. Let pi be the prime ideal of K lying over p. An integer B \in O_K is said singular if B^{1/p} not \in K and if B O_K = b^p where b is an ideal of O_K. An integer B \in O_K is said semi-primary if B = beta mod pi^2 where the natural beta is coprime with p. Let sigma be a Q-isomorphism of the field K generating the Galois group Gal(K/Q). When p is irregular, there exists at least one subgroup Gamma of order p of the class group of K annihilated by a polynomial sigma - mu with mu \in F_p^*. We prove the existence, for each Gamma, of singular semi-primary integers B where B O_K= b^p with class Cl(b) \in Gamma and B^{sigma-mu} \in K^p and we describe their pi-adic expansion. This paper is at a strictly elementary level.


title: A "metric" complexity for weakly chaotic systems

abstract: We consider the number of Bowen sets which are necessary to cover a large measure subset of the phase space. This introduce some complexity indicator characterizing different kind of (weakly) chaotic dynamics. Since in many systems its value is given by a sort of local entropy, this indicator is quite simple to be calculated. We give some example of calculation in nontrivial systems (interval exchanges, piecewise isometries e.g.) and a formula similar to the Ruelle-Pesin one, relating the complexity indicator to some initial condition sensitivity indicators playing the role of positive Lyapunov exponents.


title: Geometry of vector bundle extensions and applications to a generalised theta divisor

abstract: Let E and F be vector bundles over a complex projective smooth curve X, and suppose that 0 -> E -> W -> F -> 0 is a nontrivial extension. Let G be a subbundle of F, and D an effective divisor on X. We give a criterion for the subsheaf G(-D) \subset F to lift to W, in terms of the geometry of a scroll in the extension space \PP H^1 (X, Hom(F, E)). We use this criterion to describe the tangent cone to the generalised theta divisor on the moduli space of semistable bundles of rank r and slope g-1 over X, at a stable point. This gives a generalisation of a case of the Riemann-Kempf singularity theorem for line bundles over X. In the same vein, we generalise the geometric Riemann-Roch theorem to vector bundles of slope g-1 and arbitrary rank.


title: Towers of recollement and bases for diagram algebras: planar diagrams and a little beyond

abstract: The recollement approach to the representation theory of sequences of algebras is extended to pass basis information directly through the globalisation functor. The method is hence adapted to treat sequences that are not necessarily towers by inclusion, such as symplectic blob algebras (diagram algebra quotients of the type-$\hati{C}$ Hecke algebras). By carefully reviewing the diagram algebra construction, we find a new set of functors interrelating module categories of ordinary blob algebras (diagram algebra quotients of the type-${B}$ Hecke algebras) at {\em different} values of the algebra parameters. We show that these functors generalise to determine the structure of symplectic blob algebras, and hence of certain two-boundary Temperley-Lieb algebras arising in Statistical Mechanics. We identify the diagram basis with a cellular basis for each symplectic blob algebra, and prove that these algebras are quasihereditary over a field for almost all parameter choices, and generically semisimple. (That is, we give bases for all cell and standard modules.)


title: On automorphisms group of some K3 surfaces

abstract: In this paper we study the automorphisms group of some K3 surfaces which are double covers of the projective plane ramified over a smooth sextic plane curve. More precisely, we study some particlar case of a K3 surface of Picard rank two.


title: Kedlaya's algorithm in larger characteristic

abstract: We show that the linear dependence on $p$ of the running time of Kedlaya's point-counting algorithm in characteristic $p$ may be reduced to $p^{1/2}$.


title: Quantum Langlands duality and conformal field theory

abstract: V. Drinfeld proposed conjectures on geometric Langlands correspondence and its quantum deformation. We refine these conjectures and propose their relationship with algebraic conformal field theory.


title: Nodal domains and spectral minimal partitions

abstract: We consider two-dimensional Schr\"odinger operators in bounded domains. We analyze relations between nodal domains of eigenfunctions, spectral minimal partitions and spectral properties of the corresponding operator. The main results concern the existence and regularity of the minimal partitions associated with the nodal sets as the nodal domains of Courant-sharp eigenfunctions.


title: The Hopf algebras of type B quasisymmetric functions and peak functions

abstract: We show that with the appropriate choice of coproduct, the type B quasisymmetric functions form a Hopf algebra, and the recently introduced type B peak functions form a Hopf subalgebra.


title: New results related to a conjecture of Manickam and Singhi

abstract: In 1998 Manickam and Singhi conjectured that for every positive integer $d$ and every $n \ge 4d$, every set of $n$ real numbers whose sum is nonnegative contains at least $\binom {n-1}{d-1}$ subsets of size $d$ whose sums are nonnegative. In this paper we establish new results related to this conjecture. We also prove that the conjecture of Manickam and Singhi does not hold for $n=2d+2$.


title: Connections over twisted tensor products of algebras

abstract: Motivated by some results in classical differential geometry, we give a constructive procedure for building up a connection over a (twisted) tensor product of two algebras, starting from connections defined on the factors. The curvature for the product connection is explicitly calculated, and shown to be independent of the choice of the twisting map and the module twisting map used to define the product connection. As a consequence, we obtain that a product of two flat connections is again a flat connection. We show that our constructions also behaves well with respect to bimodule structures, namely being the product of two bimodule connections again a bimodule connection. As an application of our theory, all the product connections on the quantum plane are computed.


title: p-Capacity and p-hyperbolicity of submanifolds

abstract: We use drifted Brownian motion in warped product model spaces as comparison constructions to show $p$-hyperbolicity of a large class of submanifolds for $p\ge 2$. The condition for $p$-hyperbolicity is expressed in terms of upper support functions for the radial sectional curvatures of the ambient space and for the radial convexity of the submanifold. In the process of showing $p$-hyperbolicity we also obtain explicit lower bounds on the $p$-capacity of finite annular domains of the submanifolds in terms of the drifted 2-capacity of the corresponding annuli in the respective comparison spaces.


title: Automorphisms of two-dimensional right-angled Artin groups

abstract: We study the outer automorphism group of a right-angled Artin group A_G in the case where the defining graph G is connected and triangle-free. We give an algebraic description of Out(A_G) in terms of maximal join subgraphs in G and prove that the Tits' alternative holds for Out(A_G). We construct an analogue of outer space for Out(A_G) and prove that it is finite dimensional, contractible, and has a proper action of Out(A_G). We show that Out(A_G) has finite virtual cohomological dimension, give upper and lower bounds on this dimension and construct a spine for outer space realizing the most general upper bound.


title: An additive theorem and restricted sumsets

abstract: Let G be any additive abelian group with cyclic torsion subgroup, and let A, B and C be finite subsets of G with cardinality n>0. We show that there is a numbering {a_i}_{i=1}^n of the elements of A, a numbering {b_i}_{i=1}^n of the elements of B and a numbering {c_i}_{i=1}^n of the elements of C, such that all the sums a_i+b_i+c_i (i=1,...,n) are distinct. Consequently, each subcube of the Latin cube formed by the Cayley addition table of Z/NZ contains a Latin transversal. This additive theorem can be further extended via restricted sumsets in a field.


title: Polydifferentials and the deformation functor of curves with automorphisms II

abstract: We apply the known results on the Galois module structure of the sheaf of polydifferentials in order to study the dimension of the tangent space of the deformation functor of curves with automorphisms. We are able to find the dimension for the case of weakly ramified covers and for the case of the action of a cyclic group of order $p^v$.


title: A commutator description of the solvable radical of a finite group

abstract: We are looking for the smallest integer k>1 providing the following characterization of the solvable radical R(G) of any finite group G: R(G) coincides with the collection of all g such that for any k elements a_1,a_2,...,a_k the subgroup generated by the elements g, a_iga_i^{-1}, i=1,...,k, is solvable. We consider a similar problem of finding the smallest integer l>1 with the property that R(G) coincides with the collection of all g such that for any l elements b_1,b_2,...,b_l the subgroup generated by the commutators [g,b_i], i=1,...,l, is solvable. Conjecturally, k=l=3. We prove that both k and l are at most 7. In particular, this means that a finite group G is solvable if and only if in each conjugacy class of G every 8 elements generate a solvable subgroup.


title: Colored posets and colored quasisymmetric functions

abstract: The colored quasisymmetric functions, like the classic quasisymmetric functions, are known to form a Hopf algebra with a natural peak subalgebra. We show how these algebras arise as the image of the algebra of colored posets. To effect this approach we introduce colored analogs of $P$-partitions and enriched $P$-partitions. We also frame our results in terms of Aguiar, Bergeron, and Sottile's theory of combinatorial Hopf algebras and its colored analog.


title: A geometrical proof of the Hartogs extension theorem

abstract: 100 years ago exactly, in 1906, Hartogs published a celebrated extension phenomenon (birth of Several Complex Variables), whose global counterpart was stated in full generality later by Osgood (1929): holomorphic functions in a connected neighborhood V(bD) of a connected boundary bD contained in C^n (n >= 2) do extend holomorphically and uniquely to the domain D. It was a long-standing open problem to derive a proof using only analytic discs, as did Hurwitz (1897), Hartogs (1906) and E.E. Levi (1911) in some special, model cases. Quite unexpectedly, Fornaess in 1998 exhibited a topologically strange (nonpseudoconvex) domain D^F in C^2 that cannot be filled in by holomorphic discs, when one makes the additional requirement that discs must all lie entirely inside D^F. However, one should point out that the standard, unrestricted disc method usually allows discs to go outsise the domain (just think of Levi pseudoconcavity). Confirming these rather ancient expectations, we show that the global Hartogs extension theorem can be established in such a natural way.


title: Canonical equivalence relations on nets of $PS_{c_0}$

abstract: We give a list of canonical equivalence relations on discrete nets of the positive unit sphere of $c_0$. This generalizes results of W. T. Gowers and A. D. Taylor.


title: Zeros of OPUC and Long Time Asymptotics of Schur and Related Flows

abstract: We provide a complete analysis of the asymptotics for the semi-infinite Schur flow: $\alpha_j(t)=(1- |\alpha_j(t)|^2) (\alpha_{j+1}(t)-\alpha_{j-1}(t))$ for $\alpha_{-1}(t)= 1$ boundary conditions and $n=0,1,2,...$, with initial condition $\alpha_j(0)\in (-1,1)$. We also provide examples with $\alpha_j(0)\in\mathbb{D}$ for which $\alpha_0(t)$ does not have a limit. The proofs depend on the solution via a direct/inverse spectral transform.


title: Varia: Ideals and Equivalence Relations, beta-version

abstract: We present a selection of basic results on Borel reducibility of Borel ideals and equivalence relations, especially those with comparably short proofs. The focal point are reducibility/irreducibility results related to some special equivalences like $E_0, E_1, E_2, E_3, E_\infty, Z_0,$ and Banach-induced equivalences $l_p,$ in particular several dichotomy theorems. The bulk of results included in the book were obtained in the 1990s, but some rather recent theorems are presented as well, like Rosendal's proof that Borel ideals are cofinal within Borel equivalences of general form.


title: Poisson Brackets of Orthogonal Polynomials

abstract: For the standard symplectic forms on Jacobi and CMV matrices, we compute Poisson brackets of OPRL and OPUC, and relate these to other basic Poisson brackets and to Jacobians of basic changes of variable.


title: Vanishing of the first reduced cohomology with values in an $L^p$-representation

abstract: We prove that the first reduced cohomology with values in a mixing Lp-representation, p larger than 1, vanishes for a class of amenable groups including connected amenable Lie groups. In particular this solves for this class of amenable groups a conjecture of Gromov saying that every finitely generated amenable group has no first reduced lp-cohomology. As a byproduct, we prove a conjecture by Pansu. Namely, the first reduced Lp-cohomology on homogeneous, closed at infinity, Riemannian manifolds vanishes. We also prove that a Gromov hyperbolic geodesic metric measure space with bounded geometry admitting a bi-Lipschitz embedded 3-regular tree has non-trivial first reduced Lp-cohomology for large enough p. Combining our results with those of Pansu, we characterize Gromov hyperbolic homogeneous manifolds: these are the ones having non-zero first reduced Lp-cohomology for some p larger than 1.


title: Extremal metrics and K-stability (PhD thesis)

abstract: In this thesis we study the relationship between the existence of canonical metrics on a complex manifold and stability in the sense of geometric invariant theory. We introduce a modification of K-stability of a polarised variety which we conjecture to be equivalent to the existence of an extremal metric in the polarisation class. A variant for a complete extremal metric on the complement of a smooth divisor is also given. On toric surfaces we prove a Jordan-Holder type theorem for decomposing semistable surfaces into stable pieces. On a ruled surface we compute the infimum of the Calabi functional for the unstable polarisations, exhibiting a decomposition analogous to the Harder-Narasimhan filtration of an unstable vector bundle.


title: Monodromy of trigonometric KZ equations

abstract: The famous Drinfeld-Kohno theorem for simple Lie algebras states that the monodromy representation of the Knizhnik-Zamolodchikov equations for these Lie algebras expresses explicitly via R-matrices of the corresponding Drinfeld-Jimbo quantum groups. This result was generalized by the second author to simple Lie superalgebras of type A-G. In this paper, we generalize the Drinfeld-Kohno theorem to the case of the trigonometric Knizhnik-Zamolodchikov equations for simple Lie superalgebras of type A-G. The equations contain a classical r-matrix on the Lie superalgebra, and the answer expresses through the quantum R-matrix of the corresponding quantum group. The proof is based on the quantization theory for Lie bialgebras developed by the first author and D. Kazhdan.


title: An infinite-dimensional phenomenon in finite-dimensional metric topology

abstract: We show that there are homotopy equivalences $h:N\to M$ between closed manifolds which are induced by cell-like maps $p:N\to X$ and $q:M\to X$ but which are not homotopic to homeomorphisms. The phenomenon is based on construction of cell-like maps that kill certain $\mathbb L$-classes. The image space in these constructions is necessarily infinite-dimensional. In dimension $>6$ we classify all such homotopy equivalences. As an application, we show that such homotopy equivalences are realized by deformations of Riemannian manifolds in Gromov-Hausdorff space preserving a contractibility function.


title: Convexity of Morse Stratifications and Gradient Spines of 3-Manifolds

abstract: We notice that a generic nonsingular gradient field $v = \nabla f$ on a compact 3-fold $X$ with boundary canonically generates a simple spine $K(f, v)$ of $X$. We study the transformations of $K(f, v)$ that are induced by deformations of the data $(f, v)$. We link the Matveev complexity $c(X)$ of $X$ with counting the \emph{double-tangent} trajectories of the $v$-flow, i.e. the trajectories that are tangent to the boundary $\d X$ at a pair of distinct points. Let $gc(X)$ be the minimum number of such trajectories, minimum being taken over all nonsingular $v$'s. We call $gc(X)$ the \emph{gradient complexity} of $X$. Next, we prove that there are only finitely many $X$ of bounded gradient complexity, provided that $X$ is irreducible and boundary irreducible with no essential annuli. In particular, there exists only finitely many hyperbolic manifolds $X$ with bounded $gc(X)$. For such $X$, their normalized hyperbolic volume gives an upper bound of $gc(X)$. If an irreducible and boundary irreducible $X$ with no essential annuli admits a nonsingular gradient flow with no double-tangent trajectories, then $X$ is a standard ball. All these and many other results of the paper rely on a careful study of the stratified geometry of $\d X$ relative to the $v$-flow. It is characterized by failure of $\d X$ to be \emph{convex} with respect to a generic flow $v$. It turns out, that convexity or its lack have profound influence on the topology of $X$. This interplay between intrinsic concavity of $\d X$ with respect to any gradient-like flow and complexity of $X$ is in the focus of the paper.


title: Coarse decompositions of boundaries for CAT(0) groups

abstract: In this work we introduce a new combinatorial notion of boundary $\Re C$ of an $\omega$-dimensional cubing $C$. $\Re C$ is defined to be the set of almost-equality classes of ultrafilters on the standard system of halfspaces of $C$, endowed with an order relation reflecting the interaction between the Tychonoff closures of the classes. When $C$ arises as the dual of a cubulation -- or discrete system of halfspaces -- $\HH$ of a CAT(0) space $X$ (for example, the Niblo-Reeves cubulation of the Davis-Moussong complex of a finite rank Coxeter group), we show how $\HH$ induces a function $\rho:\bd X\to\Re C$. We develop a notion of uniformness for $\HH$, generalizing the parallel walls property enjoyed by Coxeter groups, and show that, if the pair $(X,\HH)$ admits a geometric action by a group $G$, then the fibers of $\rho$ form a stratification of $\bd X$ graded by the order structure of $\Re C$. We also show how this structure computes the components of the Tits boundary of $X$. Finally, using our result from another paper, that the uniformness of a cubulation as above implies the local finiteness of $C$, we give a condition for the co-compactness of the action of $G$ on $C$ in terms of $\rho$, generalizing a result of Williams, previously known only for Coxeter groups.


title: The Seiberg-Witten equations and the Weinstein conjecture

abstract: Let M denote a compact, oriented 3-manifold and let a denote a contact 1-form on M. This article proves that the vector field that generates the kernel of the 2-form da has at least one closed, integral curve.


title: Resonance varieties over fields of positive characteristic

abstract: This is a revision and update of the part of the preprint math.CO/0405210 concerning field coefficients, line complexes, and the Hessian arrangement. The material from that paper concerning coefficients in arbitrary commutative rings and the deleted B_3 arrangement will appear separately.


title: Generalized persistency of excitation

abstract: The paper presents the generalized persistency of excitation conditions. They are not only valid for much broader range of applications than their classical counterparts but also elegantly prove the validity of the latter. The novelty and the significance of the approach presented in this publication is due to employing the time averaging technique.


title: Gelfand-Graev characters of the finite unitary groups

abstract: Gelfand-Graev characters and their degenerate counterparts have an important role in the representation theory of finite groups of Lie type. Using a characteristic map to translate the character theory of the finite unitary groups into the language of symmetric functions, we study degenerate Gelfand-Graev characters of the finite unitary group from a combinatorial point of view. In particular, we give the values of Gelfand-Graev characters at arbitrary elements, recover the decomposition multiplicities of degenerate Gelfand-Graev characters in terms of tableau combinatorics, and conclude with some multiplicity consequences.


title: On the Cubical Homology Groups of Free Partially Commutative Monoids

abstract: We study a Leech homology of a locally bounded free partially commutative monoid $M(E,I)$. Given a contravariant natural system of abelian groups $F$ on $M(E,I)$ we build a precubical set $T(E,I)$ with a homological system of abelian groups $\bar{F}$ and prove that the Leech homology groups $H_n(M(E,I),F)$ are isomorphic to the cubical homology groups $H_n(T(E,I),\bar{F})$, $n\geq 0$. As a consequence we have confirmed a conjecture that if the free partially commutative monoid does not contain $>n$ mutually commuting generators, then its the homological dimension $\leq n$. We have built the complexes of finite length for a computation of the Leech homology of such monoids and the Hochschild homology of their monoid rings. The results are applied to the homology of asynchronous transition systems. We give the positive answer to a question that the homological dimension of the asynchronous system does not greater than the maximal number of its mutually independent events. We have built the complex for computing the integral homology groups of an asynchronous transition system by the Smith normal form of integer matrices.


title: Categorification of level two representations of quantum sl(N) via generalized arc rings

abstract: We build extensions of the arc rings, relate their centers to the cohomology rings of the Springer varieties, and categorify all level two representations of quantum sl(N).


title: Computing in unipotent and reductive algebraic groups

abstract: The unipotent groups are an important class of algebraic groups. We show that techniques used to compute with finitely generated nilpotent groups carry over to unipotent groups. We concentrate particularly on the maximal unipotent subgroup of a split reductive group and show how this improves computation in the reductive group itself.


title: Threefold Flops via Matrix Factorization

abstract: The explicit McKay correspondence, as formulated by Gonzalez-Sprinberg and Verdier, associates to each exceptional divisor in the minimal resolution of a rational double point a matrix factorization of the equation of the rational double point. We study deformations of these matrix factorizations, and show that they exist over an appropriate "partially resolved" deformation space for rational double points of types A and D. As a consequence, all simple flops of lengths 1 and 2 can be described in terms of blowups defined from matrix factorizations. We also formulate conjectures which would extend these results to rational double points of type E and simple flops of length greater than 2.


title: Lie group structures on automorphism groups of real-analytic CR manifolds

abstract: Given any real-analytic CR manifold M, we provide general conditions on M guaranteeing that the group of all its global real-analytic CR automorphisms is a Lie group (in an appropriate topology). Our conditions are in particular satisfied when M is an arbitrary compact real-analytic hypersurface embedded in some Stein manifold.


title: Achievement of continuity of $(\phi,\psi)$-derivations without continuity

abstract: Suppose that $\calak$ is a $C^*$-algebra acting on a Hilbert space $\calhk$, and that $\phi, \psi$ are mappings from $\calak$ into $B(\calhk)$ which are not assumed to be necessarily linear or continuous. A $(\phi, \psi)$-derivation is a linear mapping $d: \calak \to B(\calhk)$ such that $$d(ab)=\phi(a)d(b)+d(a)\psi(b)\quad (a,b\in \calak).$$ We prove that if $\phi$ is a multiplicative (not necessarily linear) $*$-mapping, then every $*$-$(\phi,\phi)$-derivation is automatically continuous. Using this fact, we show that every $*$-$(\phi,\psi)$-derivation $d$ from $\calak$ into $B(\calhk)$ is continuous if and only if the $*$-mappings $\phi$ and $\psi$ are left and right $d$-continuous, respectively.


title: Efficient initial designs for binary response data

abstract: In this paper we introduce a binary search algorithm that efficiently finds initial maximum likelihood estimates for sequential experiments where a binary response is modeled by a continuous factor. The problem is motivated by switching measurements on superconducting Josephson junctions. In this quantum mechanical experiment, the current is the factor controlled by the experimenter and a binary response indicating the presence or the absence of a voltage response is measured. The prior knowledge on the model parameters is typically poor, which may cause the common approaches of initial estimation to fail. The binary search algorithm is designed to work reliably even when the prior information is very poor. The properties of the algorithm are studied in simulations and an advantage over the initial estimation with equally spaced factor levels is demonstrated. We also study the cost-efficiency of the binary search algorithm and find the approximately optimal number of measurements per stage when there is a cost related to the number of stages in the experiment. KEY WORDS: optimal design, binary search, logistic regression, complementary log-log, quantum physics, switching measurement


title: The number of conjugacy classes of elements of the Cremona group of some given finite order

abstract: This note presents the study of the conjugacy classes of elements of some given finite order n in the Cremona group of the plane. In particular, it is shown that the number of conjugacy classes is infinite if n is even, n=3 or n=5, and that it is equal to 3 (respectively 9) if n=9 (respectively 15), and is exactly 1 for all remaining odd orders. Some precise representative elements of the classes are given.


title: Parabolic curves for diffeomorphisms in (C^2,0)

abstract: We give a simple proof of existence of parabolic curves for tangent to the identity diffeomorphisms in (C^2,0) with isolated fixed point.