title: The topology, geometry and conformal structure of properly embedded minimal surfaces

abstract: This paper develops new tools for understanding surfaces with more than one end (and usually, of infinite topology) which properly minimally embed into Euclidean three-space. On such a surface, the set of ends forms a compact Hausdorff space, naturally ordered by the relative heights of the ends in space. One of our main results is that the middle ends of the surface have quadratic area growth, and are thus not limit ends. This implies, for instance, that the surface can have at most two limit ends (at the top and bottom of the ordering), which is a strong topological restriction. There are also restrictions on the asymptotic geometry and conformal structure of such a surface: for example, we prove that if the surface has exactly two limit ends (as do the classical Riemann Staircase examples), then it is recurrent (that is, almost all Brownian paths are dense in the surface, and in particular any positive harmonic function on the surface is constant). These results have played an important role in the proof of several recent advances in the theory, including the uniqueness of the helicoid, the invariance of flux for a coordinate function on a properly immersed minimal surface, and the topological classification of properly embedded minimal surfaces.


title: Matrix factorizations and link homology

abstract: For each positive integer n the HOMFLY polynomial of links specializes to a one-variable polynomial that can be recovered from the representation theory of quantum sl(n). For each such n we build a doubly-graded homology theory of links with this polynomial as the Euler characteristic. The core of our construction utilizes the theory of matrix factorizations, which provide a linear algebra description of maximal Cohen-Macaulay modules on isolated hypersurface singularities.


title: A tighter bound for the number of words of minimum length in an automorphic orbit

abstract: Let u be a cyclic word in a free group F_n of finite rank n that has the minimum length over all cyclic words in its automorphic orbit, and let N(u) be the cardinality of the set {v: |v|=|u| and v=\phi(u) for some \phi \in AutF_n}. In this paper, we prove that N(u) is bounded by a polynomial function of degree 2n-3 with respect to |u| under the hypothesis that if two letters x, y occur in u, then the total number of x and x^{-1} occurring in u is not equal to the total number of y and y^{-1} occurring in u. We also prove that 2n-3 is the sharp bound on the degree of polynomials bounding N(u). As a special case, we deal with N(u) in F_2 under the same hypothesis.


title: A conjectural Lefschetz formula for locally symmetric spaces

abstract: We formulate a conjectural Lefschetz formula for locally symmetric spaces of finite volume. The formula can be verified in the compact case and for Riemann surfaces.


title: A Riemann-Hilbert Approach to the Akhiezer Polynomials

abstract: In this paper we study those polynomials orthogonal with respect to a particular weight over the union of disjoint intervals first introduced by N.I. Akhiezer, via a reformulation as a matrix factorization or Riemann-Hilbert problem. This approach complements the method proposed in a previous paper, that involves the construction of a certain meromorphic function on a hyperelliptic Riemann surface. The method described here is based on the general Riemann-Hilbert scheme of the theory of integrable systems and will enable us to derive, in a very straightforward way, the relevant system of Fuchsian differential equations for the polynomials and the associated system of the Schlesinger deformation equations for certain quantities involving the corresponding recurrence coefficients. Both of these equations were obtained earlier by A. Magnus. In our approach, however, we are able to go beyond Magnus's results by actually solving the equations in terms of the Riemann Theta functions. We also show that the related Hankel determinant can be interpreted as the relevant tau function.


title: Deformation of orthosymplectic Lie superalgebra osp(1|2)

abstract: Triangular deformation of the orthosymplectic Lie superalgebra osp(1|4) is defined by chains of twists. Corresponding classical r-matrix is obtained by a contraction procedure from the trigonometric r-matrix. The carrier space of the constant r-matrix is the Borel subalgebra.


title: Linearization of Poisson brackets

abstract: We review the linearization of Poisson brackets and related problems, in the formal, analytic and smooth categories.


title: $\mathcal{S}$-categories, $\mathcal{S}$-groupoids, Segal categories and quasicategories

abstract: The notes were prepared for a series of talks that I gave in Hagen in late June and early July 2003, and, with some changes, in the University of La Lagu\~{n}a, the Canary Islands, in September, 2003. They aim (i) to revisit some oldish material on abstract homotopy and simplicial ly enriched categories, that seems to be being used in today's resurgence of interest in the area and to try to view it in a new light, or perhaps from new directions; (ii) to introduce Segal categories and various other tools used by the Nice-Toulouse group of abstract homotopy theorists and link them into some of the older ideas; (iii) to introduce Joyal's quasicategories, and show how that theory links in with some old ideas of Boardman and Vogt, Dwyer and Kan, and Cordier and Porter; and finally to ask lots of questions of myself and of the reader.


title: Constant scalar curvature Kahler metrics on fibred complex surfaces

abstract: This article finds constant scalar curvature Kahler metrics on certain compact complex surfaces. The surfaces considered are those admitting a holomorphic submersion to a curve, with fibres of genus at least 2. The proof is via an adiabatic limit. An approximate solution is constructed out of the hyperbolic metrics on the fibres and a large multiple of a certain metric on the base. A parameter-dependent inverse function theorem is then used to perturb the approximate solution to a genuine solution in the same cohomology class. The arguments also apply to certain higher dimensional fibred Kahler manifolds.


title: Teitelbaum's exceptional zero conjecture in the function field case

abstract: The exceptional zero conjecture relates the first derivative of the $p$-adic $L$-function of a rational elliptic curve with split multiplicative reduction at $p$ to its complex $L$-function. Teitelbaum formulated an analogue of Mazur and Tate's refined (multiplicative) version of this conjecture for elliptic curves over the rational function field $\FQ(T)$ with split multiplicative reduction at two places $\fp$ and $\infty$, avoiding the construction of a $\fp$-adic $L$-function. This article proves Teitelbaum's conjecture up to roots of unity by developing Darmon's theory of double integrals over arbitrary function fields. A function field version of Darmon's period conjecture is also obtained.


title: A refinement of the complex convexity theorem via symplectic techniques

abstract: We apply techniques from symplectic geometry to extend and give a new proof of the complex convexity theorem of Gindikin-Kroetz.


title: A higher order Weierstrass approximation theorem - a new proof

abstract: An technically interesting proof of a known theorem.


title: Backward Optimized Orthogonal Matching Pursuit

abstract: A recursive approach for shrinking coefficients of an atomic decomposition is proposed. The corresponding algorithm evolves so as to provide at each iteration a) the orthogonal projection of a signal onto a reduced subspace and b) the index of the coefficient to be disregarded in order to construct a coarser approximation minimizing the norm of the residual error.


title: Relative hyperbolicity and right-angled Coxeter groups

abstract: We show that right-angled Coxeter groups are relatively hyperbolic in the sense defined by Farb, relative to a natural collection of rank-2 parabolic subgroups.


title: Derangements and asymptotics of Laplace transforms of polynomials

abstract: We use a probabilistic approach to describe the behavior as $n -> \infty$ of the Laplace transforms of $P^n$, where $P$ a fixed complex polynomial. As a consequence we obtain a new elementary proof of an result of Gillis-Ismail-Offer in the combinatorial theory of derangements.


title: Configuration space integrals and Taylor towers for spaces of knots

abstract: We describe Taylor towers for spaces of knots arising from Goodwillie-Weiss calculus of the embedding functor and extend the configuration space integrals of Bott and Taubes from spaces of knots to the stages of the towers. We show that certain combinations of integrals, indexed by trivalent diagrams, yield cohomology classes of the stages of the tower, just as they do for ordinary knots.


title: Homotopy theory of presheaves of simplicial groupoids

abstract: We show that the category of presheaves of simplicial groupoids on a site $\mathcal{C}$ is a right proper simplicial model category. We define $G$-torsor of presheaf of 2-groupoids $G$, presheaf of simplicial groups $G$ and presheaf of simplicial groupoids $G$ on a site $\mathcal{C}$ and classify $G$-torsors by the homotopy classes $[\ast, \bar{W}G]$.


title: Symplectic Tori in Homotopy E(1)'s

abstract: This short note presents a simple construction of nonisotopic symplectic tori representing the same primitive homology class in the symplectic 4-manifold E(1)_K, obtained by knot surgery on the rational elliptic surface E(1) with the left-handed trefoil knot K. E(1)_K has the simplest homotopy type among simply-connected symplectic 4-manifolds known to exhibit such property.


title: A discrete form of the theorem that each field endomorphism of R (Q_p) is the identity

abstract: Let K be a field and F denote the prime field in K. Let \tilde{K} denote the set of all r \in K for which there exists a finite set A(r) with {r} \subseteq A(r) \subseteq K such that each mapping f:A(r) \to K that satisfies: if 1 \in A(r) then f(1)=1, if a,b \in A(r) and a+b \in A(r) then f(a+b)=f(a)+f(b), if a,b \in A(r) and a \cdot b \in A(r) then f(a \cdot b)=f(a) \cdot f(b), satisfies also f(r)=r. Obviously, each field endomorphism of K is the identity on \tilde{K}. We prove: \tilde{K} is a countable subfield of K, if char(K) \neq 0 then \tilde{K}=F, \tilde{C}=Q, if each element of K is algebraic over F=Q then \tilde{K}={x \in K: x is fixed for all automorphisms of K}, \tilde{R} is equal to the field of real algebraic numbers, \tilde{Q_p}={x \in Q_p: x is algebraic over Q}.


title: On Isotropic Bessel Models for Principal Series Representations of $SO_{n,n+1}(\Bbb R)$

abstract: We show that principal series representations of the real split odd orthogonal group have non-vanishing rank one bessel models of a very particular type.


title: Reducibility for $SU_n$ and generic elliptic representations

abstract: We examine the reducibility of induced from discrete series representations of $SU_n$ over a $p$--adic field of characteristic zero. Some results are given for groups sharing derived group. We give a relationship between the $R$-groups for $U)n$ and $SU_n.$ Nonabelian $R$-groups are discussed. Elliptic representations are examined and in the generic case we give an explicit description f those $L$--packets containing non-discrete elliptic tempered representations. We exhibit $L$--packets containing both elliptic and non-elliptic components.


title: Boundary spectral behaviour for semiclassical operators in one dimension

abstract: For a class of non-selfadjoint semiclassical operators in dimension one, we get a complete asymptotic description of all eigenvalues near a critical value of the leading symbol of the operator on the boundary of the pseudospectrum.


title: Trace of Frobenius endomorphism of an elliptic curve with complex multiplication

abstract: Let E be an elliptic curve with complex multiplication by R, where R is an order of discriminant D<-4 of an imaginary quadratic field K . If a prime number p is decomposed completely in the ring class field associated with R, then E has good reduction at a prime ideal P of K dividing p and there exist positive integers u and v such that 4p=u^2-Dv^2. It is well known that square of the trace a_P of Frobenius endomorphism of the reduction of E modulo P is equal to u^2. We determine whether a_P=u or a_P=-u in the case the class number of R is 2 or 3 and D is divided by 3,4 or 5. This article is a revised version of the authors' preprint DMIS-RR-02-5,2002.


title: Variations of Hodge structures of a Teichmueller curve

abstract: Teichmueller curves are geodesic discs in Teichmueller space that project to an algebraic curve in the moduli space $M_g$. We show that for all $g \geq 2$ Teichmueller curves map to the locus of real multiplication in the moduli space of abelian varieties. Remark that McMullen has shown that precisely for $g=2$ the locus of real multiplication is stable under the $\SL_2(\RR)$-action on the tautological bundle $\Omega\M_g$. We also show that Teichmueller curves are defined over number fields and we provide a completely algebraic description of Teichmueller curves in terms of Higgs bundles. As a consequence we show that the absolute Galois group acts on the set of Teichmueller curves.


title: Schrodinger equation with critical Sobolev exponent

abstract: In this paper we study the existence of solutions and their concentration phenomena of a singularly perturbed semilinear Schrodinger equation with the presence of the critical Sobolev exponent.


title: Subdivisions of toric complexes

abstract: We introduce toric complexes as polyhedral complexes consisting of rational cones together with a set of integral generators for each cone, and we define their associated face rings. Abstract simplicial complexes and rational fans can be considered as toric complexes, and the face ring for toric complexes extend Stanley and Reisner's face ring for abstract simplicial complexes and Stanley's face ring for rational fans. Given a toric complex with defining ideal I for the face ring we give a geometrical interpretation of the initial ideals of I with respect to weight orders in terms of subdivisions of the toric complex generalizing a theorem of Sturmfels. We apply our results to study edgewise subdivisions of abstract simplicial complexes.


title: Monotone Maps, Sphericity and Bounded Second Eigenvalue

abstract: We consider {\em monotone} embeddings of a finite metric space into low dimensional normed space. That is, embeddings that respect the order among the distances in the original space. Our main interest is in embeddings into Euclidean spaces. We observe that any metric on $n$ points can be embedded into $l_2^n$, while, (in a sense to be made precise later), for almost every $n$-point metric space, every monotone map must be into a space of dimension $\Omega(n)$. It becomes natural, then, to seek explicit constructions of metric spaces that cannot be monotonically embedded into spaces of sublinear dimension. To this end, we employ known results on {\em sphericity} of graphs, which suggest one example of such a metric space - that defined by a complete bipartitegraph. We prove that an $\delta n$-regular graph of order $n$, with bounded diameter has sphericity $\Omega(n/(\lambda_2+1))$, where $\lambda_2$ is the second largest eigenvalue of the adjacency matrix of the graph, and $0 < \delta \leq \half$ is constant. We also show that while random graphs have linear sphericity, there are {\em quasi-random} graphs of logarithmic sphericity. For the above bound to be linear, $\lambda_2$ must be constant. We show that if the second eigenvalue of an $n/2$-regular graph is bounded by a constant, then the graph is close to being complete bipartite. Namely, its adjacency matrix differs from that of a complete bipartite graph in only $o(n^2)$ entries. Furthermore, for any $0 < \delta < \half$, and $\lambda_2$, there are only finitely many $\delta n$-regular graphs with second eigenvalue at most $\lambda_2$.


title: Double products and hypersymplectic structures on $R^{4n}$

abstract: In this paper we give a procedure to construct hypersymplectic structures on $R^{4n}$ beginning with affine-symplectic data on $R^{2n}$. These structures are shown to be invariant by a 3-step nilpotent double Lie group and the resulting metrics are complete and not necessarily flat. Explicit examples of this construction are exhibited.


title: Bivariant $K$-theory and the Weyl algebra

abstract: We introduce a new version $kk^{\rm alg}$ of bivariant $K$-theory that is defined on the category of all locally convex algebras. A motivating example is the Weyl algebra $W$, i.e. the algebra generated by two elements satisfying the Heisenberg commutation relation, with the fine locally convex topology. We determine its $kk^{\rm alg}$-invariants using a natural extension for $W$. Using similar methods the $kk^{\rm alg}$-invariants can be determined for many other algebras of similar type.


title: A universal dimension formula for complex simple Lie algebras

abstract: We present a universal formula for the dimension of the Cartan powers of the adjoint representation of a complex simple Lie algebra (i.e., a universal formula for the Hilbert functions of homogeneous complex contact manifolds), as well as several other universal formulas. These formulas generalize formulas of Vogel and Deligne and are given in terms of rational functions where both the numerator and denominator decompose into products of linear factors with integer coefficients. We also discuss some consequences of the formulas including a relation with Scorza varieties.


title: Spatially-distributed coverage optimization and control with limited-range interactions

abstract: This paper presents coordination algorithms for groups of mobile agents performing deployment and coverage tasks. As an important modeling constraint, we assume that each mobile agent has a limited sensing/communication radius. Based on the geometry of Voronoi partitions and proximity graphs, we analyze a class of aggregate objective functions and propose coverage algorithms in continuous and discrete time. These algorithms have convergence guarantees and are spatially distributed with respect to appropriate proximity graphs. Numerical simulations illustrate the results.


title: Kostka-Foulkes polynomials and Macdonald spherical functions

abstract: Generalized Hall-Littlewood polynomials (Macdonald spherical functions) and generalized Kostka-Foulkes polynomials ($q$-weight multiplicities) arise in many places in combinatorics, representation theory, geometry, and mathematical physics. This paper attempts to organize the different definitions of these objects and prove the fundamental combinatorial results from ``scratch'', in a presentation which, hopefully, will be accessible and useful for both the nonexpert and researchers currently working in this very active field. The combinatorics of the affine Hecke algebra plays a central role. The final section of this paper can be read independently of the rest of the paper. It presents, with proof, Lascoux and Sch\"utzenberger's positive formula for the Kostka-Foulkes poynomials in the type A case.


title: Turan inequalities and zeros of orthogonal polynomials

abstract: We use Turan type inequalities to give new non-asymptotic bounds on the extreme zeros of orthogonal polynomials in terms of the coefficients of their three term recurrence. Most of our results deal with symmetric polynomials satisfying the three term recurrence $p_{k+1}=x p_k-c_k p_{k-1},$ with a nondecreasing sequence $\{c_k\}$. As a special case they include a non-asymptotic version of Mate, Nevai and Totik result on the largest zeros of orthogonal polynomials with $c_k=k^{\delta} (1+ o(k^{-2/3})).$


title: A Combinatorial Interpretation of The Numbers $6(2n)! /n! (n+2)!$

abstract: It is well known that the numbers $(2m)! (2n)!/m! n! (m+n)!$ are integers, but in general there is no known combinatorial interpretation for them. When $m=0$ these numbers are the middle binomial coefficients $\binom{2n}{n}$, and when $m=1$ they are twice the Catalan numbers. In this paper, we give combinatorial interpretations for these numbers when $m=2$ or 3.


title: Covers of the multiplicative group of an algebraically closed field of characteristic zero

abstract: We study the universal cover of the complex one-dimensional torus as a model-theoretic structure in a natural language. We consider also abstract covers of one-dimensional tori over algebraically closed fields of characteristic zero. The main result states that the structures can be described uniquely up to isomorphism by a simple (non-first order) sentence, given a fixed uncountable cardinality of the underlying field. The proof reduces to the Kummer theory of cyclic Galois extensions over some, not necessarily finitely generated fields.


title: Intrinsic capacities on compact K\"ahler manifolds

abstract: We study fine properties of quasiplurisubharmonic functions on compact K\"ahler manifolds. We define and study several intrinsic capacities which characterize pluripolar sets and show that locally pluripolar sets are globally "quasi-pluripolar".


title: Analytic and pseudo-analytic structures (a survey)

abstract: The paper is an extended version of the talk in the Logic Colloquium-2000 at Paris. We discuss a series of results and problems around Hrushovski's construction of counter-examples to the Trichotomy conjecture.


title: Generating infinite symmetric groups

abstract: Let S=Sym(\Omega) be the group of all permutations of an infinite set \Omega. Extending an argument of Macpherson and Neumann, it is shown that if U is a generating set for S as a group, respectively as a monoid, then there exists a positive integer n such that every element of S may be written as a group word, respectively a monoid word, of length \leq n in the elements of U. Several related questions are noted, and a brief proof is given of a result of Ore's on commutators that is used in the proof of the above result.


title: Closed subgroups of the infinite symmetric group

abstract: Let S=Sym(\Omega) be the group of all permutations of a countably infinite set \Omega, and for subgroups G_1, G_2\leq S let us write G_1\approx G_2 if there exists a finite set U\subseteq S such that < G_1\cup U > = < G_2\cup U >. It is shown that the subgroups closed in the function topology on S lie in precisely four equivalence classes under this relation. Which of these classes a closed subgroup G belongs to depends on which of the following statements about pointwise stabilizer subgroups G_{(\Gamma)} of finite subsets \Gamma\subseteq\Omega holds: (i) For every finite set \Gamma, the subgroup G_{(\Gamma)} has at least one infinite orbit in \Omega. (ii) There exist finite sets \Gamma such that all orbits of G_{(\Gamma)} are finite, but none such that the cardinalities of these orbits have a common finite bound. (iii) There exist finite sets \Gamma such that the cardinalities of the orbits of G_{(\Gamma)} have a common finite bound, but none such that G_{(\Gamma)}=\{1\}. (iv) There exist finite sets \Gamma such that G_{(\Gamma)}=\{1\}. Some questions for further investigation are discussed.


title: Integral closure of ideals and annihilators of homology

abstract: This article outgrew from an effort to understand our basic question: Are the annihilators of the non-zero Koszul homology modules $H_i$ of an unmixed ideal $I$ contained in the integral closure $\bar{I}$ of $I$? We also obtain some variations on a result of Burch, which continue the theme of the paper in that they deal with annihilators of homology and integrally closed ideals.


title: Succinct Definitions in the First Order Theory of Graphs

abstract: We say that a first order sentence A defines a graph G if A is true on G but false on any graph non-isomorphic to G. Let L(G) (resp. D(G)) denote the minimum length (resp. quantifier rank) of a such sentence. We define the succinctness function s(n) (resp. its variant q(n)) to be the minimum L(G) (resp. D(G)) over all graphs on n vertices. We prove that s(n) and q(n) may be so small that for no general recursive function f we can have f(s(n))\ge n for all n. However, for the function q^*(n)=\max_{i\le n}q(i), which is the least monotone nondecreasing function bounding q(n) from above, we have q^*(n)=(1+o(1))\log^*n, where \log^*n equals the minimum number of iterations of the binary logarithm sufficient to lower n below 1. We show an upper bound q(n)<\log^*n+5 even under the restriction of the class of graphs to trees. Under this restriction, for q(n) we also have a matching lower bound. We show a relationship D(G)\ge(1-o(1))\log^*L(G) and prove, using the upper bound for q(n), that this relationship is tight. For a non-negative integer a, let D_a(G) and q_a(n) denote the analogs of D(G) and q(n) for defining formulas in the negation normal form with at most a quantifier alternations in any sequence of nested quantifiers. We show a superrecursive gap between D_0(G) and D_3(G) and hence between D_0(G) and D(G). Despite it, for q_0(n) we still have a kind of log-star upper bound: q_0(n)\le2\log^*n+O(1) for infinitely many n.


title: Delzant's variation on Scott complexity

abstract: We give an exposition of Delzant's ideas extending the notion of Scott complexity of finitely generated groups to surjective homomorphisms of finitely presented groups to finitely generated groups.


title: Relative Fatou's Theorem for $(-\Delta)^{\alpha/2}$-harmonic Functions in Bounded $\kappa$-fat Open Set

abstract: We give a probabilistic proof of relative Fatou's theorem for $(-\Delta)^{\alpha/2}$-harmonic functions (equivalently for symmetric $\alpha$-stable processes) in bounded $\kappa$-fat open set where $\alpha \in (0,2)$. That is, if $u$ is positive $(-\Delta)^{\alpha/2}$-harmonic function in a bounded $\kappa$-fat open set $D$ and $h$ is singular positive $(-\Delta)^{\alpha/2}$-harmonic function in $D$, then non-tangential limits of $u/h$ exist almost everywhere with respect to the Martin-representing measure of $h$. It is also shown that, under the gaugeability assumption, relative Fatou's theorem is true for operators obtained from the generator of the killed $\alpha$-stable process in bounded $\kappa$-fat open set $D$ through non-local Feynman-Kac transforms. As an application, relative Fatou's theorem for relativistic stable processes is also true if $D$ is bounded $C^{1,1}$-open set.


title: New bounds on the Hermite polynomials

abstract: We shall establish two-side explicit inequalities, which are asymptotically sharp up to a constant factor, on the maximum value of $|H_k(x)| e^{-x^2/2},$ on the real axis, where $H_k$ are the Hermite polynomials.


title: Modular circle quotients and PL limit sets

abstract: We say that a collection Gamma of geodesics in the hyperbolic plane H^2 is a modular pattern if Gamma is invariant under the modular group PSL_2(Z), if there are only finitely many PSL_2(Z)-equivalence classes of geodesics in Gamma, and if each geodesic in Gamma is stabilized by an infinite order subgroup of PSL_2(Z). For instance, any finite union of closed geodesics on the modular orbifold H^2/PSL_2(Z) lifts to a modular pattern. Let S^1 be the ideal boundary of H^2. Given two points p,q in S^1 we write pq if p and q are the endpoints of a geodesic in Gamma. (In particular pp.) We show that is an equivalence relation. We let Q_Gamma=S^1/ be the quotient space. We call Q_Gamma a modular circle quotient. In this paper we will give a sense of what modular circle quotients `look like' by realizing them as limit sets of piecewise-linear group actions


title: Groups of small homological dimension and the Atiyah Conjecture

abstract: A group G has homological dimension less or equal to 1 if it is locally free. We prove the converse provided that G satisfies the Atiyah Conjecture about L^2-Betti numbers. We also show that a finitely generated elementary amenable group G of cohomological dimension less or equal to 2 possesses a finite 2-dimensional model for BG and in particular that G is finitely presented and the trivial ZG-module Z has a 2-dimensional resolution by finitely generated free ZG-modules.


title: Integer concave cocirculations and honeycombs

abstract: A convex triangular grid is represented by a planar digraph $G$ embedded in the plane so that (a) each bounded face is surrounded by three edges and forms an equilateral triangle, and (b) the union $\Rscr$ of bounded faces is a convex polygon. A real-valued function $h$ on the edges of $G$ is called a concave cocirculation if $h(e)=g(v)-g(u)$ for each edge $e=(u,v)$, where $g$ is a concave function on $\Rscr$ which is affinely linear within each bounded face of $G$. Knutson and Tao [J. Amer. Math. Soc. 12 (4) (1999) 1055--1090] proved an integrality theorem for so-called honeycombs, which is equivalent to the assertion that an integer-valued function on the boundary edges of $G$ is extendable to an integer concave cocirculation if it is extendable to a concave cocirculation at all. In this paper we show a sharper property: for any concave cocirculation $h$ in $G$, there exists an integer concave cocirculation $h'$ satisfying $h'(e)=h(e)$ for each boundary edge $e$ with $h(e)$ integer and for each edge $e$ contained in a bounded face where $h$ takes integer values on all edges. On the other hand, we explain that for a 3-side grid $G$ of size $n$, the polytope of concave cocirculations with fixed integer values on two sides of $G$ can have a vertex $h$ whose entries are integers on the third side but $h(e)$ has denominator $\Omega(n)$ for some interior edge $e$. Also some algorithmic aspects and related results on honeycombs are discussed.


title: Partition Algebras

abstract: The partition algebras are algebras of diagrams (which contain the group algebra of the symmetric group and the Brauer algebra) such that the multiplication is given by a combinatorial rule and such that the structure constants of the algebra depend polynomially on a parameter. This is a survey paper which proves the primary results in the theory of partition algebras. Some of the results in this paper are new. This paper gives: (a) a presentation of the partition algebras by generators and relations, (b) shows that each partition algebra has an ideal which is isomorphic to a basic construction and such that the quotient is isomorphic to the group algebra of the symmetric gropup, (c) shows that partition algebras are in "Schur-Weyl duality" with the symmetric groups on tensor space, (d) provides a construction of "Specht modules" for the partition algebras (integral lattices in the generic irreducible modules), (e) determines (with a couple of exceptions) the values of the parameter where the partition algebras are semisimple, (f) provides "Murphy elements" for the partition algebras that play exactly analogous roles to the classical Murphy elements for the group algebra of the symmetric group. The primary new results in this paper are (a) and (f).


title: Removability: First order Sobolev space, PDE solutions, holomorphic functions. - Sobolev space constructed in a new way

abstract: Holomorphic removability is of importance in dynanical systems theory. P.W.Jones found that Sobolev removability can serve as a substitute. He proved a strong strong result for H\"older domains. The present work gives some results on the this and related matters.


title: Quivers with relations arising from clusters (A_n case)

abstract: Cluster algebras were introduced by S. Fomin and A. Zelevinsky in connection with dual canonical bases. Let U be a cluster algebra of type A_n. We associate to each cluster C of U an abelian category Cat_C such that the indecomposable objects of Cat_C are in natural correspondence with the cluster variables of U which are not in C. We give an algebraic realization and a geometric realization of Cat_C. Then, we generalize the ``denominator Theorem'' of Fomin and Zelevinsky to any cluster.


title: Affine braids, Markov traces and the category O

abstract: This paper provides a unified approach to results on representations of affine Hecke algebras, cyclotomic Hecke algebras, affine BMW algebras, cyclotomic BMW algebras, Markov traces, Jacobi-Trudi type identities, dual pairs (Zelevinsky), and link invariants (Turaev). The key observation in the genesis of this paper was that the technical tools used to obtain the results in Orellana and Suzuki, two a priori unrelated papers, are really the same. Here we develop this method and explain how to apply it to obtain results similar to those in Orellana and Suzuki in more general settings. Some specific new results which are obtained are the following: (a) a generalization of the results on Markov traces obtained by Orellana to centralizer algebras coming from quantum groups of all Lie types, (b) a generalization of the results of Suzuki to show that Kazhdan-Lusztig polynomials of all finite Weyl groups occur as decomposition numbers in the representation theory of affine braid groups of type A, (c) a generalization of the functors used by Zelevinsky to representations of affine braid groups of type A, (d) a definition of the affine BMW-algebra (Birman-Murakami-Wenzl) and show that it has a representation theory analogous to that of affine Hecke algebras. In particular there are ``standard modules'' for these algebras which have composition series where multiplicites of the factors are given by Kazhdan-Lusztig polynomials for Weyl groups of types A,B,and C, (e) we generalize the results of Leduc and Ram on constructing representations of centralizer algebras to affine centralizer algebras.


Analysis of systematic scan Metropolis algorithms using Iwahori-Hecke algebra techniques


title: Quasi-symmetric functions and mod p multiple harmonic sums

abstract: We present a number of results about (finite) multiple harmonic sums modulo a prime, which provide interesting parallels to known results about multiple zeta values (i.e., infinite multiple harmonic series). In particular, we prove a "duality" result for mod p multiple harmonic sums similar to (but distinct from) that for multiple zeta values. We also exploit the Hopf algebra structure of the quasi-symmetric functions to do calculations with multiple harmonic sums mod p, and obtain, for each weight through 9, a set of generators for the space of weight-n multiple harmonic sums mod p. When combined with recent work, the results of this paper offer significant evidence that the number of quantities needed to generate the weight-n multiple harmonic series mod p is the n-th Padovan number (OEIS sequence A000931).


title: Hamiltonian 2-forms in Kahler geometry, II Global Classification

abstract: We present a classification of compact Kaehler manifolds admitting a hamiltonian 2-form (which were classified locally in part I of this work). This involves two components of independent interest. The first is the notion of a rigid hamiltonian torus action. This natural condition, for torus actions on a Kaehler manifold, was introduced locally in part I, but such actions turn out to be remarkably well behaved globally, leading to a fairly explicit classification: up to a blow-up, compact Kaehler manifolds with a rigid hamiltonian torus action are bundles of toric Kaehler manifolds. The second idea is a special case of toric geometry, which we call orthotoric. We prove that orthotoric Kaehler manifolds are diffeomorphic to complex projective space, but we extend our analysis to orthotoric orbifolds, where the geometry is much richer. We thus obtain new examples of Kaehler--Einstein 4-orbifolds. Combining these two themes, we prove that compact Kaehler manifolds with hamiltonian 2-forms are covered by blow-downs of projective bundles over Kaehler products, and we describe explicitly how the Kaehler metrics with a hamiltonian 2-form are parameterized. We explain how this provides a context for constructing new examples of extremal Kaehler metrics - in particular a subclass of such metrics which we call weakly Bochner-flat. We also provide a self-contained treatment of the theory of compact toric Kaehler manifolds, since we need it and find the existing literature incomplete.


title: Symplectic invariants of some families of Lagrangian T^3 fibrations

abstract: In this paper we construct and classify Lagrangian T^3-fibrations on non compact symplectic manifolds with singular fibres of prescribed topological type. This contributes to the understanding of the structure of the singular fibres that may appear on a mirror pair of T^3-fibred Calabi-Yau 3-folds.


title: Affine Hecke algebras, cyclotomic Hecke algebras and Clifford theory

abstract: We show that the Young tableaux theory and constructions of the irreducible representations of the Weyl groups of type A, B and D, Iwahori-Hecke algebras of types A, B, and D, the complex reflection groups G(r,p,n) and the corresponding cyclotomic Hecke algebras H_{r,p,n}, can be obtained, in all cases, from the affine Hecke algebra of type A. The Young tableaux theory was extended to affine Hecke algebras (of general Lie type) in recent work of A. Ram. We also show how (in general Lie type) the representations of general affine Hecke algebras can be constructed from the representations of simply connected affine Hecke algebras by using an extended form of Clifford theory. This extension of Clifford theory is given in the Appendix.


title: Calibrated representations of affine Hecke algebras

abstract: This paper introduces the notion of calibrated representations for affine Hecke algebras and classifies and constructs all finite dimensional irreducible calibrated representations. The main results are that (1) irreducible calibrated representations are indexed by placed skew shapes, (2) the dimension of an irreducible calibrated representation is the number of standard Young tableaux corresponding to the placed skew shape and (3) each irreducible calibrated representation is constructed explicitly by formulas which describe the action of each generator of the affine Hecke algebra on a specific basis in the representation space. This construction is a generalization of A. Young's seminormal construction of the irreducible representations of the symmetric group. In this sense Young's construction has been generalized to arbitrary Lie type.


title: A dual braid monoid for the free group

abstract: We construct a quasi-Garside monoid structure for the free group. This monoid should be thought of as a dual braid monoid for the free group, generalising the constructions by Birman-Ko-Lee and by the author of new Garside monoids for Artin groups of spherical type. Conjecturally, an analog construction should be available for arbitrary Artin groups and for braid groups of well-generated complex reflection groups.


title: Standard Young tableaux for finite root systems

abstract: The study of representations of affine Hecke algebras has led to a new notion of shapes and standard Young tableaux which works for the root system of any finite Coxeter group. This paper is completely independent of affine Hecke algebra theory and is purely combinatorial. We define generalized shapes and standard Young tableaux and show that these new objects coincide with the classical ones for root systems of Type A. The classical notions of conjugation of shapes, ribbon shapes, axial distances, and the row reading and column reading standard tableaux, have natural generalizations to the root system case. In the final section we give an interpretation of the shapes and standard tableaux for root systems of Type C which is in a form similar to classical theory of shapes and standard tableaux.


title: Skew shape representations are irreducible

abstract: In this paper all of the classical constructions of A. Young are generalized to affine Hecke algebras of type A. It is proved that the calibrated irreducible representations of the affine Hecke algebra are indexed by placed skew shapes and that these representations can be constructed explicitly with a generalization of Young's seminormal construction of the irreducible representations of the symmetric group. The seminormal construction of an irreducible calibrated module does not produce a basis on which the affine Hecke algebra acts integrally but using it one is able to pick out a different basis, an analogue of Young's natural basis, which does generate an integral lattice in the module. Analogues of the "Garnir relations" play an important role in the proof. The Littlewood-Richardson coefficients arise naturally as the decomposition multiplicities for the restriction of an irreducible representation of the affine Hecke algebra to the Iwahori-Hecke algebra.


title: Representations of rank two affine Hecke algebras

abstract: This paper classifies and constructs explicitly all the irreducible representations of affine Hecke algebras of rank two root systems. The methods used to obtain this classification are primarily combinatorial and are, for the most part, an application of the methods used in a recent preprint of Ram. A special effort has been made special effort to describe how the classification here relates to the classifications by Langlands parameters (coming from p-adic group theory) and by indexing triples (coming from a q-analogue of the Springer correspondence). The examples here illustrate and clarify results of Ram, Kazhdan-Lusztig, Chriss-Ginzburg, Barbasch-Moy, Evens, Kriloff, and Heckman-Opdam. Much of the power of the combinatorial methods which are now available is evident from the calculations in this paper. One hopes that eventually there will be a combinatorial construction of all irreducible representations of all affine Hecke algebras. Such a construction may depend heavily on the rank two cases. This idea is analogous to the way that the rank two cases are the basic building blocks in the presentations of Coxeter groups by ``braid'' relations and the presentations of Kac-Moody Lie algebras (and quantum groups) by Serre relations.


title: Products of Characters and Finite $p$-groups III

abstract: Let $G$ be a finite $p$-group and $\chi,\psi$ be irreducible characters of $G$. We study the character $\chi\psi$ when $\chi\psi$ has at most $p-1$ distinct irreducible constituents.


title: Affine Hecke algebras and generalized standard Young tableaux

abstract: This paper introduces calibrated representations for affine Hecke algebras and classifies and constructs all finite dimensional irreducible calibrated representations. The primary technique is to provide indexing sets for controlling the weight space structure of finite dimensional modules for the affine Hecke algebra. Using these indexing sets we show that (1) irreducible calibrated representations are indexed by skew local regions, (2) the dimension of an irreducible calibrated representation is the number of chambers in the local region, (3) each irreducible calibrated representation is constructed explicitly by formulas which describe the action of the generators of the affine Hecke algebra on a specific basis in the representation space. The indexing sets for weight spaces are generalizations of standard Young tableaux and the construction of the irreducible calibrated affine Hecke algebra modules is a generalization of A. Young's seminormal construction of the irreducible representations of the symmetric group. In this sense Young's construction has been generalized to arbitrary Lie type.


q-rook monoid algebras, Hecke algebras and Schur-Weyl duality


title: A Pieri-Chevalley formula in the K-theory of a G/B-bundle

abstract: The main result of this announcement is a formula for the tensor product of the class of a homogeneous line bundle with a Schubert class, expressed as a K(X)-linear combination of Schubert classes. We believe that this formula is the most general uniform result in the intersection theory of Schubert classes: it is related to a recent result of Fulton and Lascoux who presented a similar formula for a GL_n(C)/B-bundle. Indeed, in this case, their formula and ours coincide once one knows how to translate between their combinatorics with tableaux and ours with Littelmann paths. O. Mathieu has also proved the positivity which is implied by our formula. Applying the Chern character to our formula, and equating the lowest order terms we obtain a relative version of the classical result of Chevalley alluded to in the title of this paper.


title: A Pieri-Chevalley formula for K(G/B)

abstract: The ring K(G/B) is isomorphic to a quotient of a Laurent polynomial ring by an ideal generated by certain W-symmetric functions and has a basis given by classes O_w, where O_w is the class of the structure sheaf of the Schubert variety X_w. In this paper we give an explicit combinatorial formula for the tensor product of a (negative) line bundle with the structure sheaf of a Schubert variety, expanded in terms of the Schubert class basis O_w. Chevalley's classical formula for the class of a hyperplane section of a Schubert variety in H^*(G/B) can be recovered from our formula by applying the Chern character and comparing lowest degree terms. The higher order terms of our formula may yield further interesting identities in cohomology. Fulton and Lascoux have given a formula similar to ours for the GL_n(C) case. Our formula is a generalization of their formula to general type. In our work the column strict tableaux used by Fulton and Lascoux are replaced by Littelmann's path model.


title: A Characterization of Norm Compactness in the Bochner Space $L^p (G ; B)$ For an Arbitrary Locally Compact Group $G$

abstract: In this paper, we generalize a result of N. Dinculeanu which characterizes norm compactness in the Bochner space $L^p(G ; B)$ in terms of an approximate identity and translation operators, where $G$ is a locally compact abelian group and $B$ is a Banach space. Our characterization includes the case where $G$ is nonabelian, and we weaken the hypotheses on the approximate identity used, providing new results even for the case $B = \mathbb{C}$ and $G = \mathbb{R}^n.$


title: Bounds on discriminants with one class per genus

abstract: We assume a condition on the zeros of Dirichlet L-functions related to the GUE distribution to show there are no discriminants greater than d_{66}\approx 1.9 x 10^{130} with one class per genus.


title: L'Application Canonique $J:H^2(X) \otimes H^2(X)->H^1(X\otimes X)$ n'est pas Surjective en G\'en\'eral

abstract: We introduce the $H^1$-projective property, and use it to construct a Banach space $X$ such that the natural map $J:H^2(X)\otimes H^2(X) -> H^1(X\otimes X)$ is not onto.


title: $H^1$-Projective Banach Spaces

abstract: We study the $H^1$-projective Banach spaces. We prove that they have the Analytic Radon-Nikodym Property, and that they are cotype 2 spaces which satisfy Grothendieck's Theorem. We show also that the ultraproduct of $H^1$-projective spaces is $H^1$-projective. Other results are also discussed.


title: On The Interpolation of Injective or Projective Tensor Products of Banach Spaces

abstract: We prove a general result on the factorization of matrix-valued analytic functions. We deduce that if $(E_0,E_1)$ and $(F_0,F_1)$ are interpolation pairs with dense intersections, then under some conditions on the spaces $E_0$, $E_1$, $F_0$ and $F_1$, we have $$ [E_0\hat\otimes F_0,E_1\hat\otimes F_1]_t= [E_0, E_1]_t\hat\otimes[F_0, F_1]_t, 0 < t< 1.$$ We find also conditions on the spaces $E_0$, $E_1$, $F_0$ and $F_1$, so that the following holds $$ [E_0\wcheck\otimes F_0,E_1\wcheck\otimes F_1]_t= [E_0,E_1]_t\wcheck\otimes [F_0,F_1]_t, 0 <t< 1.$$ Some applications of these results are also considered.


title: Lutz twist and contact surgery

abstract: For any knot T transverse to a given contact structure on a 3-manifold, we exhibit a Legendrian two-component link such that T equals the transverse push-off of one of the link components and contact (+1)-surgery on the link has the same effect as a Lutz twist along T.


title: Alternating sign matrices with one -1 under vertical reflection

abstract: We define a bijection that transforms an alternating sign matrix A with one -1 into a pair (N,E) where N is a (so called) ``neutral'' alternating sign matrix (with one -1) and E is an integer. The bijection preserves the classical parameters of Mills, Robbins and Rumsey as well as three new parameters (including E). It translates vertical reflection of A into vertical reflection of N. A hidden symmetry allows the interchange of E with one of the remaining two new parameters. A second bijection transforms (N,E) into a configuration of lattice paths called ``mixed configuration''.


title: Periodic Integral Transforms and C*-algebras

abstract: We construct canonical integral transforms, analogous to the Fourier transform, that have periods six and three. The existence of such transforms is shown to arise naturally from the expectation that the Schwartz space on the real line, viewed as the Heisenberg module of Rieffel and Connes over the rotation C*-algebra, should extend to a module action over the crossed product of the latter by the canonical automorphisms of orders three and six (which does in fact happen and is shown here).


title: On the period of the continued fraction expansion of ${\sqrt {2^{2n+1}+1}}$

abstract: In this paper, we prove that the period of the continued fraction expansion of ${\sqrt {2^{n}+1}}$ tends to infinity when $n$ tends to infinity through odd positive integers.


title: Viterbi Sequences and Polytopes

abstract: A Viterbi path of length n of a discrete Markov chain is a sequence of n+1 states that has the greatest probability of ocurring in the Markov chain. We divide the space of all Markov chains into Viterbi regions in which two Markov chains are in the same region if they have the same set of Viterbi paths. The Viterbi paths of regions of positive measure are called Viterbi sequences. Our main results are (1) each Viterbi sequence can be divided into a prefix, periodic interior, and suffix, and (2) as n increases to infinity (and the number of states remains fixed), the number of Viterbi regions remains bounded. The Viterbi regions correspond to the vertices of a Newton polytope of a polynomial whose terms are the probabilities of sequences of length n. We characterize Viterbi sequences and polytopes for two- and three-state Markov chains.


title: Concerning problems about cardinal invariants on Boolean algebras

abstract: The present status of the problems in my book "Cardinal Invariants on Boolean algebras" (Birkhauser 1996) is described, with a description of solutions or partial solutions, and references.


title: The deformation theory of representations of the fundamental group of a smooth variety

abstract: Consider the functor describing deformations of a representation of the fundamental group of a variety X. This paper is chiefly concerned with establishing an analogue in finite characteristic of a result proved by Goldman and Millson for compact Kahler manifolds. By applying the Weil Conjectures instead of Hodge theory, we see that if X is a smooth proper variety defined over a finite field, and we consider deformations of certain continuous l-adic representations of the algebraic fundamental group, then the hull of the deformation functor will be defined by quadratic equations. Moreover, if X is merely smooth, then the hull will be defined by equations of degree at most four.


title: Relative Seiberg-Witten and Ozsvath-Szabo 4-dimensional invariants with respect to embedded surfaces

abstract: We study the invariants of surfaces in 4-manifolds extracted from the Seiberg-Witten and the Ozsvath-Szabo invariants of their fiber sums with auxiliary Lefschetz fibrations. Such invariants involve relative Spin_c structures and can be treated as refinements of the usual Seiberg-Witten and Ozsvath-Szabo invariants. We prove for instance the adjunction inequality for membranes, which estimates their genus.


title: On Triples, Operads, and Generalized Homogeneous Functors

abstract: We study the splitting of the Goodwillie towers of functors in various settings. In particular, we produce splitting criteria for functors $F: \A \to M_A$ from a pointed category with coproducts to $A$-modules in terms of differentials of $F$. Here $A$ is a commutative $S$-algebra. We specialize to the case when $\A$ is the category of $\a$-algebras for an operad $\a$ and $F$ is the forgetful functor, and derive milder splitting conditions in terms of the derivative of $F$. In addition, we describe how triples induce operads, and prove that, roughly speaking, a triple $T$ is naturally equivalent to the product of its Goodwillie layers if and only if it is an algebra over its induced operad.


title: Tensor categories (after P. Deligne)

abstract: These notes give an exposition of Deligne's theorem on the existense of super fiber functor.


title: Commutators of singular integrals on generalized $L^p$ spaces with variable exponent

abstract: A classical theorem of Coifman, Rochberg, and Weiss on commutators of singular integrals is extended to the case of generalized $L^p$ spaces with variable exponent.


title: Twisted conjugacy in free groups and Makanin's question

abstract: We discuss the following question of G. Makanin from ``Kourovka notebook'': does there exist an algorithm to determine is for an arbitrary pair of words $U$ and $V$ of a free group $F_n$ and an arbitrary automorphism $\phi \in Aut(F_n)$ the equation $\phi (X) U = V X$ solvable in $F_n$? We give the affirmative answer in the case when an automorphism is virtually inner, i.e. some its non-zero power is an inner automorphism of $F_n$.


title: The classification of flag-transitive Steiner 3-designs

abstract: We solve the long-standing open problem of classifying all 3-(v,k,1) designs with a flag-transitive group of automorphisms (cf. A. Delandtsheer, Geom. Dedicata 41 (1992), p. 147; and in: "Handbook of Incidence Geometry", ed. by F. Buekenhout, Elsevier Science, Amsterdam, 1995, p. 273; but presumably dating back to 1965). Our result relies on the classification of the finite 2-transitive permutation groups.


title: Local braid monodromies and local fundamental groups of tangented conic-line arrangements

abstract: This paper is the first part of a series of three papers about the fundamental groups of conic-line arrangements consist of two tangented conics and up to two additional tangented lines. In this part, we compute the local braid monodromies and the local fundamental groups of the singularities which appear in such arrangements.


title: Bounds in time for the Klein-Gordon-Schroedinger and the Zakharov system

abstract: It is shown that the spatial Sobolev norms of regular global solutions of the (2+1),(3+1) and (4+1)-dimensional Klein-Gordon-Schroedinger system and the (2+1) and (3+1)-dimensional Zakharov system grow at most polynomially with the bound depending on the regularity class of the data. The proof uses the Fourier restriction norm method.


title: Multitype Contact Process with Frozen states

abstract: We study a generalization of the two colors multitype contact process intended to mimic an example of interspecific competition called allelopathy.


title: Euclidean scissor congruence groups and mixed Tate motives over dual numbers

abstract: We define Euclidean scissor congruence groups for an arbitrary algebraically closed field F and propose their conjectural description. We suggest how they should be related to mixed Tate motives over dual numbers for F.


title: Scattering Theory for the Schr"odinger Equation in some external time dependent magnetic fields

abstract: We study the theory of scattering for a Schr"odinger equation in an external time dependent magnetic field in the Coulomb gauge, in space dimension 3. The magnetic vector potential is assumed to satisfy decay properties in time that are typical of solutions of the free wave equation, and even in some cases to be actually a solution of that equation. That problem appears as an intermediate step in the theory of scattering for the Maxwell-Schr"odinger (MS) system. We prove in particular the existence of wave operators and their asymptotic completeness in spaces of relatively low regularity. We also prove their existence or at least results going in that direction in spaces of higher regularity. The latter results are relevant for the MS system. As a preliminary step, we study the Cauchy problem for the original equation by energy methods, using as far as possible time derivatives instead of spaces derivatives.


title: Common divisors of a^n-1 and b^n-1 over function fields

abstract: Ailon and Rudnick have shown that if $a,b \in C[T]$ are multiplicatively independent polynomials, then $\deg(\gcd(a^n-1,b^n-1))$ is bounded for all $n\ge1$. We show that if instead $a,b \in F[T]$ for a finite field $F$ of characteristic $p$, then $\deg(\gcd(a^n-1,b^n-1))$ is larger than $Cn$ for a constant $C=C(a,b)>0$ and for infinitely many $n$, even if $n$ is restricted in various reasonable ways (e.g., $gec(n,p)=1$).


title: Quasi-isometric rigidity of higher rank S-arithmetic lattices

abstract: We show that S-arithmetic lattices in semisimple Lie groups with no rank one factors are quasi-isometrically rigid.


title: Critical lattices, elliptic curves and their possible dynamics

abstract: We present a combinatorial geometry and dynamical systems framework for the investigation and proof of the Minkowski conjecture about critical determinant of the region $ |x|^p + |y|^p < 1, p > 1. $ The application of the framework may drastically reduce the investigation of sufficiently smooth real functions of many variables. Incidentally, we establish connections between critical lattices, dynamical systems and elliptic curves.


title: Valence of complex-valued planar harmonic functions

abstract: The valence of a function $f$ at a point $w$ is the number of distinct, finite solutions to $f(z) = w$. Let $f$ be a complex-valued harmonic function in an open set $R \subseteq \mathbb{C}$. Let $S$ denote the critical set of $f$ and $C(f)$ the global cluster set of $f$. We show that $f(S) \cup C(f)$ partitions the complex plane into regions of constant valence. We give some conditions such that $f(S) \cup C(f)$ has empty interior. We also show that a component $R_0 \subseteq R \backslash f^{-1}(f(S) \cup C(f))$ is a $n_0$-fold covering of some component $\Omega_0 \subseteq \mathbb{C} \backslash (f(S) \cup C(f))$. If $\Omega_0$ is simply connected, then $f$ is univalent on $R_0$. We explore conditions for combining adjacent components to form a larger region of univalence. Those results which hold for $C^1$ functions on open sets in $\mathbb{R}^2$ are first stated in that form and then applied to the case of planar harmonic functions. If $f$ is a light, harmonic function in the complex plane, we apply a structure theorem of Lyzzaik to gain information about the difference in valence between components of $\mathbb{C} \backslash (f(S) \cup C(f))$ sharing a common boundary arc in $f(S) \backslash C(f)$.


title: Quasiflats with holes in reductive groups

abstract: We give a new proof of a theorem of Kleiner-Leeb: that any quasi-isometrically embedded Euclidean space in a product of symmetric spaces and Euclidean buildings is contained in a metric neighborhood of finitely many flats, as long as the rank of the Euclidean space is not less than the rank of the target. A bound on the size of the neighborhood and on the number of flats is determined by the size of the quasi-isometry constants. Without using asymptotic cones, our proof focuses on the intrinsic geometry of symmetric spaces and Euclidean buildings by extending the proof of Eskin-Farb's quasiflat with holes theorem for symmetric spaces with no Euclidean factors.


title: The First Order Definability of Graphs with Separators via the Ehrenfeucht Game

abstract: We say that a first order formula $\Phi$ defines a graph $G$ if $\Phi$ is true on $G$ and false on every graph $G'$ non-isomorphic with $G$. Let $D(G)$ be the minimal quantifier rank of a such formula. We prove that, if $G$ is a tree of bounded degree or a Hamiltonian (equivalently, 2-connected) outerplanar graph, then $D(G)=O(\log n)$, where $n$ denotes the order of $G$. This bound is optimal up to a constant factor. If $h$ is a constant, for connected graphs with no minor $K_h$ and degree $O(\sqrt n/\log n)$, we prove the bound $D(G)=O(\sqrt n)$. This result applies to planar graphs and, more generally, to graphs of bounded genus.


title: On the length of continued fractions for values of quotients of power sums

abstract: Generalizing a result of Pourchet, we prove that, if $\alpha,\beta$ are power sums satisfying suitable conditions, the length of the continued fraction of the ratio $\alpha(n)/\beta(n)$ tends to infinity with $n$.


title: On the Lengths of Symmetry Breaking-Preserving Games on Graphs

abstract: Given a graph $G$, we consider a game where two players, $A$ and $B$, alternatingly color edges of $G$ in red and in blue respectively. Let $l(G)$ be the maximum number of moves in which $B$ is able to keep the red and the blue subgraphs isomorphic, if $A$ plays optimally to destroy the isomorphism. This value is a lower bound for the duration of any avoidance game on $G$ under the assumption that $B$ plays optimally. We prove that if $G$ is a path or a cycle of odd length $n$, then $\Omega(\log n)\le l(G)\le O(\log^2 n)$. The lower bound is based on relations with Ehrenfeucht games from model theory. We also consider complete graphs and prove that $l(K_n)=O(1)$.


title: Partial Regularity and Amplitude

abstract: This is a sequel to the paper "Frobenius amplitude and strong vanishing theorems for vector bundles" (math.AG/0202129). We introduce a more elementary variant of the notion of F-amplitude from the earlier paper which we call amplitude. This provides another measure of positivity of a vector bundle which is related to a number of preexisting positivity notions such as k-ampleness or q-convexity. We use this to refine the estimates of F-amplitude from the first paper, and to deduce some further vanishing theorems as a consequence. We also give some new proofs of some known vanishing theorems for Abelian and toric varieties by analogous methods. For technical reasons, we need to develop a theory of partial Castelnuovo-Mumford regularity which provides a rough measure of the cohomological complexity of a sheaf. Since this material may have independent interest, it is contained in a section which can be read on its own.


title: Isospectral flat 3-manifolds

abstract: There is a well-known problem about isospectrality of Riemannian manifolds: whether isospectral manifolds are isometric. In this work we give an answer to this problem for 3-dimensional compact flat manifolds.


title: There is no Bogomolov type restriction theorem for strong semistability in positive characteristic

abstract: We give an example of a strongly semistable vector bundle of rank two on the projective plane such that there exist smooth curves of arbitrary high degree with the property that the restriction of the bundle to the curve is not strongly semistable anymore. This shows that a Bogomolov type restriction theorem does not hold for strong semistability in positive characteristic.


title: $S^1$-fixed-points in hyper-Quot-schemes and an exact mirror formula for flag manifolds from the extended mirror principle diagram

abstract: In [L-L-Y1, III: Sec. 5.4] on mirror principle, a method was developed to compute the integral $\int_{X}\tau^{\ast}e^{H\cdot t}\cap {\mathbf 1}_d$ for a flag manifold $X=\Fl_{r_1, ..., r_I}({\Bbb C}^n)$ via an extended mirror principle diagram. This method turns the required localization computation on the augmented moduli stack $\bar{\cal M}_{0,0}(\CP^1\times X)$ of stable maps to a localization computation on a hyper-Quot-scheme $\HQuot({\cal E}^n)$. In this article, the detail of this localization computation on $\HQuot({\cal E}^n)$ is carried out. The necessary ingredients in the computation, notably, the $S^1$-fixed-point components and the distinguished ones $E_{(A;0)}$ in $\HQuot({\cal E}^n)$, the $S^1$-equivariant Euler class of $E_{(A;0)}$ in $\HQuot({\cal E}^n)$, and a push-forward formula of cohomology classes involved in the problem from the total space of a restrictive flag manifold bundle to its base manifold are given. With these, an exact expression of $\int_{X}\tau^{\ast}e^{H\cdot t}\cap {\mathbf 1}_d$ is obtained. Comments on the Hori-Vafa conjecture are given in the end.


title: A General Divergence Measure for Monotonic Functions and Applications in Information Theory

abstract: A general divergence measure for monotonic functions is introduced. Its connections with the f-divergence for convex functions are explored. The main properties are pointed out.


title: An efficient geometric integrator for thermostatted anti-/ferromagnetic models

abstract: (Anti)-/ferromagnetic Heisenberg spin models arise from discretization of Landau-Lifshitz models in micromagnetic modelling. In many applications it is essential to study the behavior of the system at a fixed temperature. A formulation for thermostatted spin dynamics was given by Bulgac and Kusnetsov which incorporates a complicated nonlinear dissipation/driving term while preserving spin length. It is essential to properly model this term in simulation, and simplified schemes give poor numerical performance, e.g. requiring an excessively small timestep for stable integration. In this paper we present an efficient, structure-preserving method for thermostatted spin dynamics.


title: The square of white noise as a Jacobi field

abstract: We identify the representation of the square of white noise obtained by L. Accardi, U. Franz and M. Skeide in [Comm. Math. Phys. 228 (2002), 123--150] with the Jacobi field of a L\'evy process of Meixner's type.


title: Metric Diophantine approximation with respect to planar distance functions

abstract: We outline a proof of an analogue of Khintchine's Theorem in R^2, where the ordinary height is replaced by a distance function satisfying an irrationality condition as well as certain decay and symmetry conditions.


abstract: We study Lagrangian submanifolds foliated by (n-1)-spheres in R^2n for n>2. We give a parametrization valid for such submanifolds, and refine that description when the submanifold is special Lagrangian, self-similar or Hamiltonian stationary. In all these cases, the submanifold is centered, i.e. invariant under the action of SO(n). It suffices then to solve a simple ODE in two variables to describe the geometry of the solutions.


title: Subspace arrangements defined by products of linear forms

abstract: We consider the vanishing ideal of an arrangement of linear subspaces in a vector space and investigate when this ideal can be generated by products of linear forms. We introduce a combinatorial construction (blocker duality) which yields such generators in cases with a lot of combinatorial structure, and we present the examples that motivated our work. We give a construction which produces all elements of this type in the vanishing ideal of the arrangement. This leads to an algorithm for deciding if the ideal is generated by products of linear forms. We also consider generic arrangements of points in ${\bf P}^2$ and lines in ${\bf P}^3.$


title: Arc spaces, motivic integration and stringy invariants

abstract: We provide a gentle introduction to arc spaces, motivic integration and stringy invariants. We explain the basic concepts and first results, including the p-adic number theoretic pre-history, and we provide concrete examples. The text is a slightly adapted version of the 'extended abstract' of the author's talks at the 12th MSJ-IRI "Singularity Theory and Its Applications" (2003) in Sapporo. At the end we included a list of various recent results.


title: Caract\`eres num\'eriques

abstract: The postulation of Arithmetically Cohen-Macaulay (ACM) subschemes of the projective space ${\mathbb P}^N_k$ is well-known in the case of codimension 2. There are many different ways of recording this numerical information : numerical character of Gruson/Peskine, $h$-vector, postulation character of Martin-Deschamps/Perrin... The first aim of this paper is to show the equivalence between these notions. The second, and most important aim, is to study the postulation of codimension 3 ACM subschemes of ${\mathbb P}^N$. We use a result of Macaulay which describes all the Hilbert functions of the quotients of a polynomial ring. By iterating the number of variables, we obtain a new form of the growth of these functions.


title: Banach space valued Cauchy-Riemann equations with totally real boundary conditions

abstract: The main purpose of this paper is to give a general regularity result for Cauchy-Riemann equations in complex Banach spaces with totally real boundary conditions. The usual elliptic $L^p$-regularity results hold true under one crucial assumption: The totally real submanifold has to be modelled on an $L^p$-space or a closed subspace thereof. Secondly, we describe a class of examples of such totally real submanifolds, namely gauge invariant Lagrangian submanifolds in the space of connections over a Riemann surface. These pose natural boundary conditions for the anti-self-duality equation on 4-manifolds with a boundary space-time splitting, leading towards the definition of a Floer homology for 3-manifolds with boundary, which is the first step in a program by Salamon for the proof of the Atiyah-Floer conjecture. The principal part of such a boundary value problem is an example of a Banach space valued Cauchy-Riemann equation with totally real boundary condition.


title: Anti-self-dual instantons with Lagrangian boundary conditions II: Bubbling

abstract: We study bubbling phenomena of anti-self-dual instantons on $\H^2\times\S$, where $\S$ is a closed Riemann surface. The restriction of the instanton to each boundary slice $\{z\}\times\S$, $z\in\pd\H^2$ is required to lie in a Lagrangian submanifold of the moduli space of flat connections over $\S$ that arises from the restrictions to the boundary of flat connections on a handle body. We establish an energy quantization result for sequences of instantons with bounded energy near $\{0\}\times\S$: Either their curvature is in fact uniformly bounded in a neighbourhood of that slice (leading to a compactness result) or there is a concentration of some minimum quantum of energy. We moreover obtain a removable singularity result for instantons with finite energy in a punctured neighbourhood of $\{0\}\times\S$. This completes the analytic foundations for the construction of an instanton Floer homology for 3-manifolds with boundary. This Floer homology is an intermediate object in the program proposed by Salamon for the proof of the Atiyah-Floer conjecture for homology-3-spheres. In the interior case, for anti-self-instantons on $\R^2\times\S$, our methods provide a new approach to the removable singularity theorem by Sibner-Sibner for codimension 2 singularities with a holonomy condition.


title: The structure of the pro-l-unipotent fundamental group of a smooth variety

abstract: By developing a theory of deformations over nilpotent Lie algebras, based on Schlessinger's deformation theory over Artinian rings, this paper investigates the pro-l-unipotent fundamental group of a variety X. If X is smooth and proper, defined over a finite field, then the Weil conjectures imply that this group is quadratically presented. If X is smooth and non-proper, then the group is defined by equations of bracket length at most four.


title: A finiteness theorem for Markov bases of hierarchical models

abstract: We show that the complexity of the Markov bases of multidimensional tables stabilizes eventually if a single table dimension is allowed to vary. In particular, if this table dimension is beyond a computable bound, the Markov bases consist of elements of Markov bases of smaller tables. We give an explicit formula for this bound in terms of Graver bases. We also compute these Markov and Graver complexities for all $K \times 2 \times 2 \times 2 $ tables.


title: Hamiltonian theory of constrained impulsive motion

abstract: This paper considers systems subject to nonholonomic constraints which are not uniform on the whole configuration manifold. When the constraints change, the system undergoes a transition in order to comply with the new imposed conditions. Building on previous work on the Hamiltonian theory of impact, we tackle the problem of mathematically describing the classes of transitions that can occur. We propose a comprehensive formulation of the Transition Principle that encompasses the various impulsive regimes of Hamiltonian systems. Our formulation is based on the partial symplectic formalism, which provides a suitable framework for the dynamics of nonholonomic systems. We pay special attention to mechanical systems and illustrate the results with several examples.


title: The curvature of a Hessian metric

abstract: Following P. M. H. Wilson's paper on sectional curvatures of Kahler moduli, we consider a natural Riemannian metric on a hypersurface f=1 in a real vector space, defined using the Hessian of a homogeneous polynomial f. We give examples to answer a question by Wilson about when this metric has nonpositive curvature. Also, we exhibit a large class of polynomials f on R^3 such that the associated metric has constant negative curvature. Dubrovin found another such polynomial on R^3, the Maschke sextic. We ask if these examples are the only ones with constant negative curvature, and we prove some partial results. This question is related both to the WDVV equations from string theory and to the "Clebsch covariant" from 19th-century invariant theory.


title: Generalizations of Chebyshev Polynomials and Polynomial Mappings

abstract: We show how polynomial mappings of degree k from a union of disjoint intervals onto [-1,1] generate a countable number of special cases of a certain generalization of the Chebyshev Polynomials. We also derive a new expression for these generalized Chebyshev Polynomials for any number of disjoint intervals from which the coefficients of x^n can be found explicitly in terms of the end points and the recurrence coefficients. We find that this representation is useful for specializing to the polynomial mapping cases for small k where we will have algebraic expressions for the recurrence coefficients in terms of the end points. We study in detail certain special cases of the polynomials for small k and prove a theorem concerning the location of the zeroes of the polynomials. We also derive an expression for the discriminant for the case of two intervals that is valid for any configuration of the end points.


title: Discontinuous finite element approximation of quasistatic crack growth in finite elasticity

abstract: We propose a time-space discretization of a general notion of quasistatic growth of brittle fractures in elastic bodies proposed in [13] by G. Dal Maso, G.A. Francfort, and R. Toader, which takes into account body forces and surface loads. We employ adaptive triangulations and prove convergence results for the total, elastic and surface energies. In the case in which the elastic energy is strictly convex, we prove also a convergence result for the deformations.


title: Size effects on quasistatic growth of fractures

abstract: We perform an analysis of the size effect for quasistatic growth of fractures in linearly isotropic elastic bodies under antiplanar shear. In the framework of the variational model proposed by G.A. Francfort and J.-J. Marigo in [14], we prove that if the size of the body tends to infinity, and even if the surface energy is of cohesive form, under suitable boundary displacements the fracture propagates following the Griffith's functional.


title: Random Bulgarian solitaire

abstract: We consider a stochastic variant of the game of Bulgarian solitaire [M. Gardner (1983), Sci. Amer. 249, 12-21]. For the stationary measure of the random Bulgarian solitaire, we prove that most of its mass is concentrated on (roughly) triangular configurations of certain type.


title: Boundary regularity of conformally compact Einstein metrics

abstract: We show that C^2 conformally compact Riemannian Einstein metrics have conformal compactifications that are smooth up to the boundary in dimension 3 and all even dimensions, and polyhomogeneous in odd dimensions greater than 3.


title: Representations of trigonometric Cherednik algebras of rank 1 in positive characteristic

abstract: In this paper, we classify the irreducible representations of the trigonometric Cherednik algebras of rank 1 in characteristic p > 0. There are two cases. One is the "quantum" case, where "Planck's constant" is nonzero and generic irreducible representations have dimension 2p. In this case, smaller representations exist if and only if the "coupling constant" k is in F_p; namely, if 0 <= k <= p-1, then there exist irreducible representations of dimensions p-k and p+k. The other case is the "classical" case, where "Planck's constant" is zero and generic irreducible representations have dimension 2p. In that case, one-dimensional representations exist if and only if the "coupling constant" k is zero.


title: A survey of max-type recursive distributional equations

abstract: In certain problems in a variety of applied probability settings (from probabilistic analysis of algorithms to statistical physics), the central requirement is to solve a recursive distributional equation of the form X =^d g((\xi_i,X_i),i\geq 1). Here (\xi_i) and g(\cdot) are given and the X_i are independent copies of the unknown distribution X. We survey this area, emphasizing examples where the function g(\cdot) is essentially a ``maximum'' or ``minimum'' function. We draw attention to the theoretical question of endogeny: in the associated recursive tree process X_i, are the X_i measurable functions of the innovations process (\xi_i)?


title: Bivariate Uniqueness and Endogeny for the Logistic Recursive Distributional Equation

abstract: In this article we prove the bivariate uniqueness property for a particular ``max-type'' recursive distributional equation (RDE). Using the general theory developed by Aldous and Bandyopadhyay (2005) we then show that the corresponding recursive tree process (RTP) has no external randomness, more preciously, the RTP is endogenous. The RDE we consider is so called the Logistic RDE, which appears in Aldous' (2001) proof of the $\zeta(2)$-limit of the random assignment problem using the local weak convergence method. Thus this work provides a non-trivial application of the general theory developed by Aldous and Bandyopadhyay (2005).


title: Markov property of monotone L\'evy processes

abstract: Monotone L\'evy processes with additive increments are defined and studied. It is shown that these processes have a natural Markov structure and their Markov transition semigroups are characterized using the monotone L\'evy-Khintchine formula. Monotone L\'evy processes turn out to be related to classical L\'evy processes via Attal's ``remarkable transformation.'' A monotone analogue of the family of exponential martingales associated to a classical L\'evy process is also defined.


title: If they are limit periodic?

abstract: We prove a partial result concerning the long-standing problem on limit periodicity of the Jacobi matrix associated with the balanced measure on the Julia set of an expending polynomial. Besides this, connections of the problem with the Faybusovich--Gekhtman flow and many other objects (the Hilbert transform, the Schwarz derivative, the Ruelle and Laplace operators) that, we sure, are of an independent interest, are discussed.


title: A metric theorem for restricted Diophantine approximation in positive characteristic

abstract: We calculate the measure and Hausdorff dimension of sets of matrices over fields of formal power series with good approximation properties for a restricted set of denominators.


title: Classification of Material G-structures

abstract: A geometrical interpretation of the $G$-structures associated to elastic material bodies is given. In addition, characterizations of their integrability are obtained. Since the lack of integrability is a geometrical measure of the lack of homogeneity, the corresponding inhomogeneity conditions are obtained


title: Green-Lazarsfeld's Gonality Conjecture for a Generic Curve of Odd Genus

abstract: The gonality conjecture predicts that the gonality of a curve can be read off Koszul cohomology of line bundles of sufficiently large degree. We verify this conjecture for generic curves of odd genus. The even-genus case was previously solved in the joint work arXiv:math.AG/0301261.


title: Realizations of Differential Operators on Conic Manifolds with Boundary

abstract: We study the closed extensions (realizations) of differential operators subject to homogeneous boundary conditions on weighted L_p-Sobolev spaces over a manifold with boundary and conical singularities. Under natural ellipticity conditions we determine the domains of the minimal and the maximal extension. We show that both are Fredholm operators and give a formula for the relative index.


title: Singularity exchange at the frontier of the space

abstract: In deformations of polynomial functions one may encounter ``singularity exchange at infinity'' when singular points disappear from the space and produce ``virtual'' singularities which have an influence on the topology of the limit polynomial. We find several rules of this exchange phenomenon, in which the total quantity of singularity turns out to be not conserved in general.


title: Microlocal analysis of generalized functions: pseudodifferential techniques and propagation of singularities

abstract: We characterize microlocal regularity of Colombeau generalized functions by an appropriate extension of the classical notion of micro-ellipticity to pseudodifferential operators with slow scale generalized symbols. Thus we obtain an alternative, yet equivalent, way to determine generalized wave front sets, which is analogous to the original definition of the wave front set of distributions via intersections over characteristic sets. The new methods are then applied to regularity theory of generalized solutions of (pseudo-)differential equations, where we extend the general noncharacteristic regularity result for distributional solutions and consider propagation of generalized singularities for homogeneous first-order hyperbolic equations.


title: A Tur\'{a}n Type Problem Concerning the Powers of the Degrees of a Graph (revised)

abstract: For a graph $G$ whose degree sequence is $d_{1},..., d_{n}$, and for a positive integer $p$, let $e_{p}(G)=\sum_{i=1}^{n}d_{i}^{p}$. For a fixed graph $H$, let $t_{p}(n,H)$ denote the maximum value of $e_{p}(G)$ taken over all graphs with $n$ vertices that do not contain $H$ as a subgraph. Clearly, $t_{1}(n,H)$ is twice the Tur\'{a}n number of $H$. In this paper we consider the case $p>1$. For some graphs $H$ we obtain exact results, for some others we can obtain asymptotically tight upper and lower bounds, and many interesting cases remain open.


title: The disjoint curve property

abstract: A Heegaard splitting of a closed, orientable three-manifold satisfies the disjoint curve property if the splitting surface contains an essential simple closed curve and each handlebody contains an essential disk disjoint from this curve [Thompson, 1999]. A splitting is full if it does not have the disjoint curve property. This paper shows that in a closed, orientable three-manifold all splittings of sufficiently large genus have the disjoint curve property. From this and a solution to the generalized Waldhausen conjecture it would follow that any closed, orientable three manifold contains only finitely many full splittings.


title: Riemann-Roch-Hirzebruch theorem and Topological Quantum Mechanics

abstract: In the present paper we discuss an independent on the Grothendieck-Sato isomorphism approach to the Riemann-Roch-Hirzebruch formula for an arbitrary differential operator. Instead of the Grothendieck-Sato isomorphism, we use the Topological Quantum Mechanics (more or less equivalent to the well-known constructions with the Massey operations from [KS], [P], [Me]). The statement that the Massey operations can "produce" the integral in some set-up, has an independent from the RRH theorem interest. We finish the paper by some open questions arising when the main construction is applied to the cyclic homology (instead of the Hochschild homology).


title: Simple Hironaka resolution in characteristic zero

abstract: Building upon work of Villamayor and Bierstone-Milman we give a proof of the canonical Hironaka principalization and desingularization. The idea of "homogenized ideals" introduced in the paper gives {\it a priori} the canonicity of algorithm and radically simplifies the proof.


title: Conditional Intensity and Gibbsianness of Determinantal Point Processes

abstract: The Papangelou intensities of determinantal (or fermion) point processes are investigated. These exhibit a monotonicity property expressing the repulsive nature of the interaction, and satisfy a bound implying stochastic domination by a Poisson point process. We also show that determinantal point processes satisfy the so-called condition $(\Sigma_{\lambda})$ which is a general form of Gibbsianness. Under a continuity assumption, the Gibbsian conditional probabilities can be identified explicitly.


title: Implicitization of rational surfaces using toric varieties

abstract: A parameterized surface can be represented as a projection from a certain toric surface. This generalizes the classical homogeneous and bihomogeneous parameterizations. We extend to the toric case two methods for computing the implicit equation of such a rational parameterized surface. The first approach uses resultant matrices and gives an exact determinantal formula for the implicit equation if the parameterization has no base points. In the case the base points are isolated local complete intersections, we show that the implicit equation can still be recovered by computing any non-zero maximal minor of this matrix. The second method is the toric extension of the method of moving surfaces, and involves finding linear and quadratic relations (syzygies) among the input polynomials. When there are no base points, we show that these can be put together into a square matrix whose determinant is the implicit equation. Its extension to the case where there are base points is also explored.


title: Lattice congruences of the weak order

abstract: We study the congruence lattice of the poset of regions of a hyperplane arrangement, with particular emphasis on the weak order on a finite Coxeter group. Our starting point is a theorem from a previous paper which gives a geometric description of the poset of join-irreducibles of the congruence lattice of the poset of regions in terms of certain polyhedral decompositions of the hyperplanes. For a finite Coxeter system (W,S) and a subset K of S, let \eta_K:w \mapsto w_K be the projection onto the parabolic subgroup W_K. We show that the fibers of \eta_K constitute the smallest lattice congruence with 1\equiv s for every s\in(S-K). We give an algorithm for determining the congruence lattice of the weak order for any finite Coxeter group and for a finite Coxeter group of type A or B we define a directed graph on subsets or signed subsets such that the transitive closure of the directed graph is the poset of join-irreducibles of the congruence lattice of the weak order.


title: Resolutions of homogeneous bundles on P^2

abstract: In this paper we characterize minimal free resolutions of homogeneous bundles on P^2. Besides we study stability and simplicity of homogeneous bundles on P^2 by means of their minimal free resolutions; in particular we give a criterion to see when a homogeneous bundle is simple by means of its minimal free resolution in the case the first bundle of the resolution is irreducible.


title: A Faster Product for Pi and a New Integral for ln(Pi/2)

abstract: From a global series for the alternating zeta function, we derive an infinite product for pi that resembles the product for $e^\gamma$ ($\gamma$ is Euler's constant) in math.CA/0306008. (An alternate derivation accelerates Wallis's product by Euler's transformation.) We account for the resemblance via an analytic continuation of the polylogarithm. An application is a 1-dim. analog for ln(pi/2) of the 2-dim. integrals for ln(4/pi) and $\gamma$ in math.CA/0211148.


title: The BIC of a singular foliation defined by an abelian group of isometries

abstract: We study the cohomology properties of the singular foliation $\F$ determined by an action $\Phi \colon G \times M\to M$ where the abelian Lie group $G$ preserves a riemannian metric on the compact manifold $M$. More precisely, we prove that the basic intersection cohomology $\lau{\IH}{*}{\per{p}}{\mf}$ is finite dimensional and verifies the Poincar\'e Duality. This duality includes two well-known situations: -- Poincar\'e Duality for basic cohomology (the action $\Phi$ is almost free). -- Poincar\'e Duality for intersection cohomology (the group $G$ is compact and connected).


title: Operator Algebras and Mauldin Williams Graphs

abstract: We describe a method for associating a $C^{*}$-correspondence to a Mauldin-Williams graph and show that the Cuntz-Pimsner algebra of this $C^{*}$-correspondence is isomorphic to the $C^{*}$-algebra of the underlying graph. In addition, we analyze certain ideals of these $C^{*}$-algebras. We also investigate Mauldin-Williams graphs and fractal $C^{*}$-algebras in the context of the Rieffel metric. This generalizes the work of Pinzari, Watatani and Yonetani. Our main result here is a {}``no go'' theorem showing that such algebras must come from the commutative setting.


title: Instanton counting via affine Lie algebras I: Equivariant J-functions of (affine) flag manifolds and Whittaker vectors

abstract: For a semi-simple simply connected algebraic group G we introduce certain parabolic analogues of the Nekrasov partition function (introduced by Nekrasov and studied recently by Nekrasov-Okounkov and Nakajima-Yoshioka for G=SL(n)). These functions count (roughly speaking) principal G-bundles on the projective plane with a trivialization at infinity and with a parabolic structure at the horizontal line. When the above parabolic subgroup is a Borel subgroup we show that the corresponding partition function is basically equal to the Whittaker matrix coefficient in the universal Verma module over certain affine Lie algebra - namely, the one whose root system is dual to that of the affinization of Lie(G). We explain how one can think about this result as the affine analogue of the results of Givental and Kim about Gromov-Witten invariants (more precisely, equivariant J-functions) of flag manifolds. Thus the main result of the paper may considered as the computation of the equivariant J-function of the affine flag manifold associated with G (in particular, we reprove the corresponding results for the usual flag manifolds) via the corresponding "Langlands dual" affine Lie algebra. As the main tool we use the algebro-geometric version of the Uhlenbeck space introduced by Finkelberg, Gaitsgory and the author. The connection of these results with the Seiberg-Witten prepotential will be treated in a subsequent publication.


title: Calderon's inverse problem for anisotropic conductivity in the plane

abstract: We study inverse conductivity problem for an anisotropic conductivity in $L^\infty$ in bounded and unbounded domains. Also, we give applications of the results in the case when Dirichlet-to-Neumann and Neumann-to-Dirichlet maps are given only on a part of the boundary.


title: The uniqueness of the spectral flow on spaces of unbounded self--adjoint Fredholm operators

abstract: We discuss several natural metrics on spaces of unbounded self--adjoint operators and their relations, among them the Riesz and the graph metric. We show that the topologies of the spaces of Fredholm operators resp. invertible operators depend heavily on the metric. Nevertheless we prove that in all cases the spectral flow is up to a normalization the only integer invariant of non-closed paths which is path additive and stable under homotopies with endpoints varying in the space of invertible self-adjoint operators. Furthermore we show that for certain Riesz continuous paths of self--adjoint Fredholm operators the spectral flow can be expressed in terms of the index of the pair of positive spectral projections at the endpoints. Finally we review the Cordes--Labrousse theorem on the stability of the Fredholm index with respect to the graph metric in a modern language and we generalize it to the Clifford index and to the equivariant index.


title: Surfaces in the four-space and the Davey--Stewartson equations

abstract: We show that any equation from the Davey--Stewartson hierarchy induces an infinite family of geometrically different deformations of tori in $\R^4$ preserving the Willmore functional. We expose a derivation of the Weierstrass representation for surfaces in the four-space which is not unique in difference from the case of surfaces in the three-space. This non-uniqueness implies that the spectral curve of a torus in $\R^4$ is not uniquely defined as a complex curve formed by the Floquet multipliers.


title: Four-dimensional compact solvmanifolds with and without complex analytic structures

abstract: We classify four-dimensional compact solvmanifolds up to diffeomorphism, while determining which of them have complex analytic structures. In particular, we shall see that a four-dimensional compact solvmanifold S can be written, up to double covering, as G/L where G is a simply connected solvable Lie group and L is a lattice of G, and every complex structure J on S is the canonical complex structure induced from a left-invariant complex structure on G. We also give a complete list of all the complex structures on four-dimensional compact homogeneous spaces, referring to their corresponding complex surfaces.


title: Algebras of operations in K-theory

abstract: We describe explicitly the algebras of degree zero operations in connective and periodic p-local complex K-theory. Operations are written uniquely in terms of certain infinite linear combinations of Adams operations, and we give formulas for the product and coproduct structure maps. It is shown that these rings of operations are not Noetherian. Versions of the results are provided for the Adams summand and for real K-theory.


title: Mean convergence of orthogonal Fourier series and interpolating polynomials

abstract: For a family of weight functions that include the general Jacobi weight functions as special cases, exact condition for the convergence of the Fourier orthogonal series in the weighted $L^p$ space is given. The result is then used to establish a Marcinkiewicz-Zygmund type inequality and to study weighted mean convergence of various interpolating polynomials based on the zeros of the corresponding orthogonal polynomials.


title: On polynomials of least deviation from zero in several variables

abstract: A polynomial of the form $x^\alpha - p(x)$, where the degree of $p$ is less than the total degree of $x^\alpha$, is said to be least deviation from zero if it has the smallest uniform norm among all such polynomials. We study polynomials of least deviation from zero over the unit ball, the unit sphere and the standard simplex. For $d=3$, extremal polynomial for $(x_1x_2x_3)^k$ on the ball and the sphere is found for $k=2$ and 4. For $d \ge 3$, a family of polynomials of the form $(x_1... x_d)^2 - p(x)$ is explicit given and proved to be the least deviation from zero for $d =3,4,5$, and it is conjectured to be the least deviation for all $d$.


title: Generalized translation operator and approximation in several variables

abstract: Generalized translation operators for orthogonal expansions with respect to families of weight functions on the unit ball and on the standard simplex are studied. They are used to define convolution structures and modulus of smoothness for these regions, which are in turn used to characterize the best approximation by polynomials in the weighted $L^p$ spaces. In one variable, this becomes the generalized translation operator for the Gegenbauer polynomial expansions.


title: On discrete orthogonal polynomials of several variables

abstract: Let $V$ be a set of isolated points in $\RR^d$. Define a linear functional $\CL$ on the space of real polynomials restricted on $V$, $\CL f = \sum_{x \in V} f(x)\rho(x)$, where $\rho$ is a nonzero function on $V$. Polynomial subspaces that contain discrete orthogonal polynomials with respect to the bilinear form $<f,g> = \CL(f g)$ are identified. One result shows that the discrete orthogonal polynomials still satisfy a three-term relation and Favard's theorem holds in this general setting.


title: Intersection theory of coassociative submanifolds in G_(2)-manifolds and Seiberg-Witten invariants

abstract: We study the problem of counting instantons with coassociative boundary condition in (almost) G_(2)-manifolds. This is analog to the open Gromov-Witten theory for counting holomorphic curves with Lagrangian boundary condition in Calabi-Yau manifolds. We explain its relationship with the Seiberg-Witten invariants for coassociative submanifolds.


title: Chern-Weil map for principal bundles over groupoids

abstract: The theory of principal $G$-bundles over a Lie groupoid is an important one, unifying the various types of principal $G$-bundles, including those over manifolds, those over orbifolds, as well as equivariant principal $G$-bundles. In this paper, we study the differential geometry of these objects, including connections and holonomy maps. We also introduce a Chern-Weil map for these principal bundles and prove that the characteristic classes obtained coincide with the universal characteristic classes. As an application, we recover the equivariant Chern-Weil map of Bott-Tu. We also obtain an explicit chain map between the Weil model and the simplicial model of equivariant cohomology which reduces to the Bott-Shulman map $S({\mathfrak g}^*)^G \to H^*(BG)$ when the manifold is a point.


title: Involutions of knots that fix unknotting tunnels

abstract: Let K be a knot that has an unknotting tunnel tau. We prove that K admits a strong involution that fixes tau pointwise if and only if K is a two-bridge knot and tau its upper or lower tunnel.