title: Ideal Structure in Free Semigroupoid Algebras from Directed Graphs

abstract: A free semigroupoid algebra is the weak operator topology closed algebra generated by the left regular representation of a directed graph. We establish lattice isomorphisms between ideals and invariant subspaces, and this leads to a complete description of the weak operator topology closed ideal structure for these algebras. We prove a distance formula to ideals, and this gives an appropriate version of the Caratheodory interpolation theorem. Our analysis rests on an investigation of predual properties, specifically the $A_n$ properties for linear functionals, together with a general Wold Decomposition for $n$-tuples of partial isometries. A number of our proofs unify proofs for subclasses appearing in the literature.


title: Partially Isometric Dilations of Noncommuting $N$-tuples of Operators

abstract: Given a row contraction of operators on Hilbert space and a family of projections on the space which stabilize the operators, we show there is a unique minimal joint dilation to a row contraction of partial isometries which satisfy natural relations. For a fixed row contraction the set of all dilations forms a partially ordered set with a largest and smallest element. A key technical device in our analysis is a connection with directed graphs. We use a Wold Decomposition for partial isometries to describe the models for these dilations, and discuss how the basic properties of a dilation depend on the row contraction.


title: Higher secant varieties of Segre-Veronese varieties

abstract: We study the dimension of the higher secant varieties $X^s$ of ${\Bbb X} = {\Bbb P}^{n_1}\times ...\times {\Bbb P}^{n_t}$ embedded the morphism given by ${\cal O}_{\Bbb X}({a_1,...,a_t})$. We call it a {\it Segre-Veronese variety} and the embedding a {\it Segre-Veronese embedding}. In several cases (e.g. for 3 factors {\Bbb P}^{1}, or when $s$ is small) we show that $X^s$ has the expected dimension except for a few cases. A list of examples of defective $X^s$'s is given.


title: On the non-balanced property of the category of crossed modules in groups

abstract: An algebraic category $\mathcal{C}$ is called balanced if the cotriple cohomology of any object of $\mathcal{C}$ vanishes in positive dimensions on injective coefficient modules. Important examples of balanced and of non-balanced categories occur in the literature. In this paper we prove that the category of crossed modules in groups is non-balanced.


title: Partial Ordering of Hyper-powersets and Matrix Representation of Belief Functions within DSmT

abstract: In this paper, we examine several issues for ordering or partially ordering elements of hyper-powertsets involved in the recent theory of plausible, uncertain and paradoxical reasoning (DSmT or Dezert-Smarandache Theory) developed by the authors. We will show the benefit of some of these issues to obtain a nice and useful matrix representation of belief functions.


title: Completely positive inner products and strong Morita equivalence

abstract: We develop a general framework for the study of strong Morita equivalence in which $C^*$-algebras and hermitian star products on Poisson manifolds are treated in equal footing. We compare strong and ring-theoretic Morita equivalences in terms of their Picard groupoids for a certain class of unital $^*$-algebras encompassing both examples. Within this class, we show that both notions of Morita equivalence induce the same equivalence relation but generally define different Picard groups. For star products, this difference is expressed geometrically in cohomological terms.


title: Lengths of Finite Dimensional Representations of PBW Algebras

abstract: We present a proof of an upper bound for the lengths of finite dimensional representations of algebras obeying a modified PBW property, including Lie algebras and quantum groups. The sharpness of the bound is proved and discussed.


title: On the J-flow in higher dimensions and the lower boundedness of the Mabuchi energy

abstract: The J-flow is a parabolic flow on Kahler manifolds. It was defined by Donaldson in the setting of moment maps and by Chen as the gradient flow of the J-functional appearing in his formula for the Mabuchi energy. It is shown here that under a certain condition on the initial data, the J-flow converges to a critical metric. This is a generalization to higher dimensions of the author's previous work on Kahler surfaces. A corollary of this is the lower boundedness of the Mabuchi energy on Kahler classes satisfying a certain inequality when the first Chern class of the manifold is negative.


title: Weakly compact approximation in Banach spaces

abstract: The Banach space $E$ has the weakly compact approximation property (W.A.P. for short) if there is a constant $C < \infty$ so that for any weakly compact set $D \subset E$ and $\epsilon > 0$ there is a weakly compact operator $V: E \to E$ satisfying $\sup_{x\in D} || x - Vx || < \epsilon$ and $|| V|| \leq C$. We give several examples of Banach spaces both with and without this approximation property. Our main results demonstrate that the James-type spaces from a general class of quasi-reflexive spaces (which contains the classical James' space $J$) have the W.A.P, but that James' tree space $JT$ fails to have the W.A.P. It is also shown that the dual $J^*$ has the W.A.P. It follows that the Banach algebras $W(J)$ and $W(J^*)$, consisting of the weakly compact operators, have bounded left approximate identities. Among the other results we obtain a concrete Banach space $Y$ so that $Y$ fails to have the W.A.P., but $Y$ has this approximation property without the uniform bound $C$.


title: Simplicity of generic Steiner bundles

abstract: We prove that a generic Steiner bundle E is simple if and only if the Euler characteristic of the endomorphism bundle of E is less or equal to 1. In particular we show that either E is exceptional or it satisfies the following inequality t\leq(\frac{n+1+\sqrt((n+1)^2-4)}{2})s.


title: Computation of Hyperbolic Structures in Knot Theory

abstract: This chapter from the upcoming Handbook of Knot Theory (eds. Menasco and Thistlethwaite) shows how to construct hyperbolic structures on link complements and perform hyperbolic Dehn filling. Along with a new elementary exposition of the standard ideas from Thurston's work, the article includes never-before-published explanations of SnapPea's algorithms for triangulating a link complement efficiently and for converging quickly to the hyperbolic structure while avoiding singularities in the parameter space.


title: Einstein Metrics on Spheres

abstract: We prove the existence of an abundance of new Einstein metrics on odd dimensional spheres including exotic spheres, many of them depending on continuous parameters. The number of families as well as the number of parameter grows double exponentially with the dimension. Our method of proof uses Brieskorn-Pham singularities to realize spheres (and exotic spheres) as circle orbi-bundles over complex algebraic orbifolds, and lift a Kaehler-Einstein metric from the orbifold to a Sasakian-Einstein metric on the sphere.


title: Toric residue and combinatorial degree

abstract: Consider an n-dimensional projective toric variety X defined by a convex lattice polytope P. David Cox introduced the toric residue map given by a collection of n+1 divisors Z_0,...,Z_n on X. In the case when the Z_i are T-invariant divisors whose sum is X\T the toric residue map is the multiplication by an integer number. We show that this number is the degree of a certain map from the boundary of the polytope P to the boundary of a simplex. This degree can be computed combinatorially. We also study radical monomial ideals I of the homogeneous coordinate ring of X. We give a necessary and sufficient condition for a homogeneous polynomial of semiample degree to belong to I in terms of geometry of toric varieties and combinatorics of fans. Both results have applications to the problem of constructing an element of residue one for semiample degrees.


title: Existence of solutions to degenerate parabolic equations via the Monge-Kantorovich theory

abstract: We obtain solutions of the nonlinear degenerate parabolic equation \[ \frac{\partial \rho}{\partial t} = {div} \Big\{\rho \nabla c^\star [ \nabla (F^\prime(\rho)+V) ] \Big\} \] as a steepest descent of an energy with respect to a convex cost functional. The method used here is variational. It requires less uniform convexity assumption than that imposed by Alt and Luckhaus in their pioneering work \cite{luckhaus:quasilinear}. In fact, their assumption may fail in our equation. This class of problems includes the Fokker-Planck equation, the porous-medium equation, the fast diffusion equation, and the parabolic p-Laplacian equation.


title: A note on pseudo-Anosov maps with small growth rate

abstract: We present an explicit sequence of pseudo-Anosov maps $\phi_k: S_{2k}\to S_{2k}$ of surfaces of genus $2k$ whose growth rates converge to one.


title: The energy of crumpled sheets in Foppl-von Karman plate theory

abstract: We study investigate a long, thin rectangular elastic membrane that is bent through an angle $2 \alpha$, using the Foppl--von Karman ansatz in a geometrically linear setting. We study the associated variational problem, and show the existence of a minimizer for the elastic energy. We also prove rigorous upper and lower bounds for the minimum energy of this configuration in terms of the plate thickness and the bending angle, and we also obtain results for the structure of the elastic ridge along it's length.


title: SAGBI bases and Degeneration of Spherical Varieties to Toric Varieties

abstract: Let X \subset Proj(V) be a projective spherical G-variety, where V is a finite dimensional G-module and G = SP(2n, C). In this paper, we show that X can be deformed, by a flat deformation, to the toric variety corresponding to a convex polytope \Delta(X). The polytope \Delta(X) is the polytope fibred over the moment polytope of X with the Gelfand-Cetlin polytopes as fibres. We prove this by showing that if X is a horospherical variety, e.g. flag varieties and Grassmanians, the homogeneous coordinate ring of X can be embedded in a Laurent polynomial algebra and has a SAGBI basis with respect to a natural term order. Moreover, we show that the semi-group of initial terms, after a linear change of variables, is the semi-group of integral points in the cone over the polytope \Delta(X). The results of this paper are true for other classical groups, provided that a result of A. Okounkov on the representation theory of SP(2n,C) is shown to hold for other classical groups.


title: On Nonstandard Quantizations of osp(2|1) Superalgebra via Contraction and Mapping

abstract: We develop a generic reprersentation-independent contraction procedure for obtaining, for instance, $R_{\sf h}$ and $L$ operators of arbitrary dimensions for the quantized ${\cal U}_{\sf h}(osp(2|1))$ algebra corresponding to the classical $r_2$ matrix from the pertinent quantities of the standard q-deformed ${\cal U}_q(osp(2|1))$ algebra. Also the quantized ${\bf U_h}(osp(2|1))$ algebra corresponding to the classical $r_1$ matrix comprising of the generators of the classical $sl(2)$ algebra is obtained in terms of a nonlinear basis set.


title: Geometry and arithmetic associated to Appell hypergeometric partial differential equations

abstract: In this paper, we study the monodromy of Appell hypergeometric partial differential equations, which lead us to find four derivatives which are associated to the group GL(3). Our four derivatives have the remarkable properties. We find that Appell hypergeometric partial differential equations can be reduced to four nonlinear partial differential equations by the use of our four derivatives. We investigate these four nonlinear partial differential equations. We are interested in some particular cases. In these cases, the system of linear partial differential equations has the remarkable properties. We find the $\eta$-functions associated to the unitary group $U(2, 1)$, which has the interesting properties. Our $\eta$-functions lead us to study the arithmetic of Picard curves, especially the transform problems (moduli problems) and the corresponding modular equations. We give a rational transformation between two irrational integrals which are associated to some algebraic surfaces of degree seven. We find a modular equation which give the relation between the moduli of two Picard curves.


title: Variations of thin piezoelectric shallow shells: Two-dimensional approximation

abstract: In this paper we consider the eigenvalue problem for piezoelectric shallow shells and we show that, as the thickness of the shell goes to zero, the eigensolutions of the three-dimensional piezoelectric shells converge to the eigensolutions of a two-dimensional eigenvalue problem.


title: Real secondary index theory

abstract: In this paper, we study the family index of a family of spin manifolds. In particular, we discuss to which extend the real index (of the Dirac operator of the real spinor bundle if the fiber dimension is divisible by 8) which can be defined in this case contains extra information over the complex index (the index of its complexification). We study this question under the additional assumption that the complex index vanishes on the k-skeleton of B. In this case, using local index theory we define new analytical invariants $\hat c_k\in H^{k-1}(B;\reals/\integers)$. We then continue and describe these invariants in terms of known topological characteristic classes. Moreover, we show that it is an interesting new non-trivial invariant in many examples.


title: Back to the Amitsur-Levitzki theorem: a super version for the orthosymplectic Lie superalgebra osp(1, 2n)

abstract: We prove an Amitsur-Levitzki type theorem for the Lie superalgebras osp(1,2n) inspired by Kostant's cohomological interpretation of the classical theorem. We show that the Lie superalgebras gl(p,q) cannot satisfy an Amitsur-Levitzki type super identity if p, q are non zero and conjecture that neither can any other classical simple Lie superalgebra with the exception of osp(1,2n).


title: Necessary and sufficient conditions for inclusion relations for absolute summability

abstract: We obtain a set of necessary and sufficient conditions for $| \bar{N}, p_{n} |_{k} $ to imply $|\bar{N}, q_{n} |_{s}$ for $1 < k \leq s < \infty$. Using this result we establish several inclusion theorems as well as conditions for the equivalence of $| \bar {N}, p_{n} |_{k}$ and $|\bar{N},q_{n} |_{s}$.


title: You Can See the Arrows in a Quiver Operator Algebra

abstract: We prove that two quiver operator algebras can be isometrically isomorphic only if the quivers (=directed graphs) are isomorphic. We also show how the graph can be recovered from certain representations of the algebra.


title: Sequences of multivalued meromorphic maps and laminar currents

abstract: Let (F_n) be a sequence of (multivalued) meromorphic maps between compact Kaehler manifolds X1 and X2. We study the asymptotic distribution of preimages of points by F_n and the asymptotic distribution of fixed points for multivalued self-maps of a compact Riemann surface. Let (Z_n) be a sequence of holomorphic images of the projective space P^s in a projective manifold. We prove that the currents, defined by integration on Z_n, properly normalized, converge to weakly laminar currents. We also show that the Green currents, of suitable bidimensions, associated to a regular polynomial automorphism, are (weakly) laminar.


title: Cayley-Hamilton Decomposition and Spectral Asymmetry

abstract: This paper has been withdrawn due a crucial mistake due to a crucial mistake in the proof of Lemma 2.3.


title: Cyclic Maps in Rational Homotopy Theory

abstract: The notion of a cyclic map g: A -> X is a natural generalization of a Gottlieb element in pi_n(X). We investigate cyclic maps from a rational homotopy theory point of view. We show a number of results for rationalized cyclic maps which generalize well-known results on the rationalized Gottlieb groups.


title: Relevement geometrique de la base canonique et involution de Sch\"utzenberger

abstract: Let $G$ be a complex simply connected semisimple Lie group, and let $B_V$ be the canonical base of a Weyl module $V$ of $G$. We calculate explicitely the action of the longest element $w_0$ of the Weyl group on $B_V$ in terms of parametrizations. The method is based on results of Berenstein and Zelevinsky on the geometric lifting.


title: Algebraic Aspects of Multiple Zeta Values

abstract: Multiple zeta values have been studied by a wide variety of methods. In this article we summarize some of the results about them that can be obtained by an algebraic approach. This involves "coding" the multiple zeta values by monomials in two noncommuting variables x and y. Multiple zeta values can then be thought of as defining a map \zeta: H^0 -> R, where H^0 is the graded rational vector space generated by the "admissible words" of the noncommutative polynomial algebra Q<x,y>. Now H^0 admits two (commutative) products making \zeta a homomorphism: the shuffle product and the "harmonic" product. The latter makes H^0 a subalgebra of the algebra QSym of quasi-symmetric functions. We also discuss some results about multiple zeta values that can be stated in terms of derivations and cyclic derivations of Q<x,y>, and define an action of the Hopf algebra QSym on Q<x,y> that appears useful. Finally, we apply the algebraic approach to finite partial sums of multiple zeta value series.


title: Elementary divisors of Specht modules

abstract: Let H_q(S_n) be the Iwahori-Hecke algebra of the symmetric group. This algebra is semisimple over the rational function field Q(q), where q is an indeterminate, and its irreducible representations over this field are q-analogues S_q(lambda) of the Specht modules of the symmetric group. The q-Specht modules have an "integral form" which is defined over the Laurent polynomial ring Z_[q,q^{-1}] and they come equipped with a natural bilinear form with values in this ring. Now Z[q,q^{-1}] is not a principal ideal domain. Nonetheless, we try to compute the elementary divisors of the Gram matrix of the bilinear form on S_q(lambda). When they are defined, we give a precise relationship between the elementary divisors of the Specht modules S_q(lambda) and S_q(lambda'), where lambda' is the conjugate partition. We also compute the elementary divisors when lambda is a hook partition and give examples to show that in general elementary divisors do not exist.


title: Little cubes and long knots

abstract: This paper gives a partial description of the homotopy type of K, the space of long knots in 3-dimensional Euclidean space. The primary result is the construction of a homotopy equivalence between K and the free little 2-cubes object over the space of prime knots. In proving the freeness result, a close correspondence is discovered between the Jaco-Shalen-Johannson decomposition of knot complements and the little cubes action on K. Beyond studying long knots in 3-space, we show that for any compact manifold M the space of embeddings of R^n x M in R^n x M with support in I^n x M admits an action of the operad of little (n+1)-cubes. If M=D^k this embedding space is the space of framed long n-knots in R^{n+k}, and the action of the little cubes operad is an enrichment of the monoid structure given by the connected-sum operation.


title: On the asymptotic behavior of large radial data for a focusing non-linear Schr\"odinger equation

abstract: We study the asymptotic behavior of large data radial solutions to the focusing Schr\"odinger equation $i u_t + \Delta u = -|u|^2 u$ in $\R^3$, assuming globally bounded $H^1(\R^3)$ norm (i.e. no blowup in the energy space). We show that as $t \to \pm \infty$, these solutions split into the sum of three terms: a radiation term that evolves according to the linear Schr\"odinger equation, a smooth function localized near the origin, and an error that goes to zero in the $\dot H^1(\R^3)$ norm. Furthermore, the smooth function near the origin is either zero (in which case one has scattering to a free solution), or has mass and energy bounded strictly away from zero, and obeys an asymptotic Pohozaev identity. These results are consistent with the conjecture of soliton resolution.


title: Subquotients of Hecke C^*-algebras

abstract: The Bost-Connes Hecke C^*-algebra can be regarded as a direct limit of subalgebras involving finite sets of primes. Each of these finite-prime analogues of the Bost-Connes algebra is a crossed product by a semigroup N^F, where F is finite. We describe composition series of ideals for these semigroup crossed products in which the intermediate subquotients are finite direct sums of classifiable AT-algebras. We then use similar techniques to identify subquotients of the Bost-Connes algebra as classifiable AT-algebras.


title: The kissing number in four dimensions

abstract: The kissing number problem asks for the maximal number k(n) of equal size nonoverlapping spheres in n-dimensional space that can touch another sphere of the same size. This problem in dimension three was the subject of a famous discussion between Isaac Newton and David Gregory in 1694. In three dimensions the problem was finally solved only in 1953 by Sch\"utte and van der Waerden. In this paper we present a solution of a long-standing problem about the kissing number in four dimensions. Namely, the equality k(4)=24 is proved. The proof is based on a modification of Delsarte's method.


title: On the Generation of Hyper-powersets for the DSmT

abstract: The recent theory of plausible and paradoxical reasoning (DSmT for short, or Dezert-Smarandache Theory), developed by the authors, appears to be a nice promising theoretical tools to solve many information fusion problems (for example in military defense, medicine, etc.), where the Shafer's model cannot be used due to the intrinsic paradoxical nature of the elements of the frame of discernment and where a strong internal conflict between sources arises. The main idea of DSmT is to work on the hyper-powerset of the frame of discernment of the problem under consideration. Although the definition of hyper-powerset is well established, the major difficulty in practice is to generate such hyper-powersets in order to implement DSmT fusion rule on computers. We present in this paper a simple algorithm for generating hyper-powersets and discuss the limitations of our actual computers to generate such hyper-powersets when the dimension of the problem increases.


title: Rationalized Evaluation Subgroups of a Map and the Rationalized G-Sequence

abstract: Let f: X -> Y be a based map of simply connected spaces. The corresponding evaluation map w: map(X,Y;f) -> Y induces a homomorphism of homotopy groups whose image in pi_n(Y) is called the nth evaluation subgroup of f. The nth Gottlieb group of X occurs as the special case in which Y = X and f = 1_X. We identify the homomorphism induced on rational homotopy groups by this evaluation map, in terms of a map of complexes of derivations constructed using Sullivan minimal models. Our identification allows for the characterization of the rationalization of the nth evaluation subgroup of f. It also allows for the identification of several long exact sequences of rational homotopy groups, including the long exact sequence induced on rational homotopy groups by the evaluation fibration. As a consequence, we obtain an identification of the rationalization of the so-called G-sequence of the map f. This is a sequence--in general not exact--of groups and homomorphisms that includes the Gottlieb groups of X and the evaluation subgroups of f. We use these results to study the G-sequence in the context of rational homotopy theory. We give new examples of non-exact G-sequences and uncover a relationship between the homology of the rational G-sequence and negative derivations of rational cohomology. We also relate the splitting of the rational G-sequence of a fibre inclusion to a well-known conjecture in rational homotopy theory.


title: X-Ray of Riemann zeta-function

abstract: We present drawings on the complex plane of the lines Im(zeta(s))=0 and Re(zeta(s))=0. This allow to illustrate many properties of the zeta function of Riemann. This is an expository paper. It does not pretend to prove any new result about the zeta function. But it gives a new perspective to many known results. Also it may prove useful to show to students of Complex Variables or Analytic Number Theory. (This was my initial motivation to make the drawings).


title: Free Torus Actions and Two-Stage Spaces

abstract: We prove the toral rank conjecture of Halperin in some new cases. Our results apply to certain elliptic spaces that have a two-stage Sullivan minimal model, and are obtained by combining new lower bounds for the dimension of the cohomology and new upper bounds for the toral rank. The paper concludes with examples and suggestions for future work.


title: Sheaves of t-structures and valuative criteria for stable complexes

abstract: In this work more questions arise than answers given, for which of course we do not apologize. The core of this paper is concerned with the construction of a ``constant'' t-structure on the bounded derived category of coherent sheaves $D(X\times S)$, with $X$ and $S$ smooth varieties, given a nondegenerate t-structure on $D(X)$ with noetherian heart. While we believe this construction and the methods involved should be generally useful in studying derived categories, we present here but one application: we prove a valuative criterion for separation and properness for the collection P(1) of stable objects of phase 1 under a numerical, locally finite and noetherian Bridgeland-Douglas stability condition $(Z,\cP)$ on $D(X)$, where $X$ is a smooth projective variety. As an immediate result, the number of long-exact sequences in the first named author's output is no longer an embarrassment.


title: On the quantum cohomology of homogeneous varieties

abstract: This is an expository lecture, for the Abel bicentennial (Oslo, 2002), describing some recent work on the (small) quantum cohomology ring of Grassmannians and other homogeneous varieties.


title: 2-Normal Surfaces

abstract: We define a 2-normal surface to be one which intersects every 3-simplex of a triangulated 3-manifold in normal triangles and quadrilaterals, with one or two exceptions. The possible exceptions are a pair of octagons, a pair of unknotted tubes, an octagon and a tube, or a 12-gon. In this paper we use the theory of critical surfaces developed in earlier work to prove the existence of topologically interesting 2-normal surfaces. Our main results are (1) if a ball with normal boundary in a triangulated 3-manifold contains two almost normal 2-spheres then it contains a 2-normal 2-sphere and (2) in a non-Haken 3-manifold with a given triangulation the minimal genus common stabilization of any pair of strongly irreducible Heegaard splittings can be isotoped to an almost normal or a 2-normal surface.


title: Ideals in Toeplitz Algebras

abstract: We determine the ideal structure of the Toeplitz C*-algebra on the bidisk.


title: SL_2-orbits and degenerations of mixed Hodge structure

abstract: We prove an analog of Schmid's $\text{\rm SL}_2$-orbit theorem for a class of variations of mixed Hodge structure which includes logarithmic deformations, degenerations of 1-motives and archimedean heights. In particular, as consequence this theorem, we obtain a simple formula for the asymptotic behavior of the archimedean height of a flat family of algebraic cycles which depends only on the weight filtration and local monodromy.


title: Towards the geometry of double Hurwitz numbers

abstract: Double Hurwitz numbers count branched covers of the projective line with fixed branch points, with simple branching required over all but two points 0 and infinity, and the branching over 0 and infinity specified by partitions of the degree (with m and n parts respectively). Single Hurwitz numbers have a rich structure, explored by authors in many fields. The ELSV formula relates single Hurwitz numbers to intersection theory on the moduli space of curves, and has led to many consequences. We determine the structure of double Hurwitz numbers using geometry, algebra, and representation theory. Our motivation is geometric: we give strong evidence that double Hurwitz numbers are top intersections on a universal Picard variety. In particular, we prove a piecewise-polynomiality result analogous to that implied by the ELSV formula. In the case m=1 and n is arbitrary, we conjecture an ELSV-type formula, and show it to be true in genus 0 and 1. The corresponding Witten-type correlation function has a better structure than that for single Hurwitz numbers, and it satisfies many geometric properties, such as the string and dilaton equations, and a genus expansion ansatz analogous to that of Itzykson and Zuber. We give a symmetric function description of the double Hurwitz generating series, which leads to explicit formulae for double Hurwitz numbers with given m and n. In the case where m is fixed but not necessarily 1, we prove a topological recursion on the corresponding generating series, which leads to closed-form expressions for double Hurwitz numbers and an analogue of the Goulden-Jackson polynomiality conjecture (an early conjectural variant of the ELSV formula).


title: Maximum Weight Independent Sets and Matchings in Sparse Random Graphs. Exact Results using the Local Weak Convergence Method

abstract: Let $G(n,c/n)$ and $G_r(n)$ be an $n$-node sparse random graph and a sparse random $r$-regular graph, respectively, and let ${\cal I}(n,r)$ and ${\cal I}(n,c)$ be the sizes of the largest independent set in $G(n,c/n)$ and $G_r(n)$. The asymptotic value of ${\cal I}(n,c)/n$ as $n\to\infty$, can be computed using the Karp-Sipser algorithm when $c\leq e$. For random cubic graphs, $r=3$, it is only known that $.432\leq\liminf_n {\cal I}(n,3)/n \leq \limsup_n {\cal I}(n,3)\leq .4591$ with high probability (w.h.p.) as $n\to\infty$, as shown by Frieze and Suen and by Bollobas, respectively. In this paper we assume in addition that the nodes of the graph are equipped with non-negative weights, independently generated according to some common distribution, and we consider instead the maximum weight of an independent set. Surprisingly, we discover that for certain weight distributions, the limit $\lim_n {\cal I}(n,c)/n$ can be computed exactly even when $c>e$, and $\lim_n {\cal I}(n,r)/n$ can be computed exactly for some $r\geq 2$. For example, when the weights are exponentially distributed with parameter 1, $\lim_n {\cal I}(n,2e)/n\approx .5517$, and $\lim_n {\cal I}(n,3)/n\approx .6077$. Our results are established using the recently developed local weak convergence method further reduced to a certain local optimality property exhibited by the models we consider.


title: Bounding the Chebychev Functional for a Pair of Sequences in Inner Product Spaces

abstract: Some new bounds for the Chebychev functional of a pair of vectors in inner product spaces are pointed out. Reverses for the celebrated Jensen's inequality for convex functions defined on inner product spaces are given as well.


title: Strong asymptotics for Jacobi polynomials with varying nonstandard parameters

abstract: Strong asymptotics on the whole complex plane of a sequence of monic Jacobi polynomials $P_n^{(\alpha_n, \beta_n)}$ is studied, assuming that $$ \lim_{n\to\infty} \frac{\alpha_n}{n}=A, \qquad \lim_{n\to\infty} \frac{\beta _n}{n}=B, $$ with $A$ and $B$ satisfying $ A > -1$, $ B>-1$, $A+B < -1$. The asymptotic analysis is based on the non-Hermitian orthogonality of these polynomials, and uses the Deift/Zhou steepest descent analysis for matrix Riemann-Hilbert problems. As a corollary, asymptotic zero behavior is derived. We show that in a generic case the zeros distribute on the set of critical trajectories $\Gamma$ of a certain quadratic differential according to the equilibrium measure on $\Gamma$ in an external field. However, when either $\alpha_n$, $\beta_n$ or $\alpha_n+\beta_n$ are geometrically close to $\Z$, part of the zeros accumulate along a different trajectory of the same quadratic differential.


title: Hitchin's connection and differential operators with values in the determinant bundle

abstract: Let $C/M$ be a local universal family of smooth curves and $S/M$ be the family of moduli spaces of stable bundles with a fixed determinant on curves. In this paper, we find locally free sheaves $\Cal G_E$, $S(\Cal G_E)$ on $X=C\times_M S$ such that their first direct images are isomorphic to sheaves $\Cal D^{\le 1}_{S/M}(\Theta)$, $\Cal D^{\le 1}_S(\Theta)$ of 1-st order differential operators on the theta line bundle over $S$. As an application, we give a new construction of Hitchin's projective connection (or KZ-connection). Our main results have clearly an extension to some stable singular curves. Then we construct a logarithmic projective connection (in fact, a logarithmic projective heat operator on the theta line bundle) that extends Hitchin's connection to a coherent sheaf over an open set (with at least codimension two) of the moduli space of stable curves. Such an extension seems not reachable by other methods (as far as we know).


title: Some continuous analogs of expansion in Jacobi polynomials and vector valued hypergeometric orthogonal bases

abstract: We write spectral decomposition of the hypergeometric differential operator on the contour $Re z=1/2$ (multiplicity of spectrum is 2). As a result, we obtain an integral transform that differs from the Jacobi (or Olevsky) transform. We also try to do a step towards vector-valued special functions and construct a 3F2 orthogonal basis in the space of functions having values in 2-dimensional space. This basis is lying in an analytic continuation of continuous dual Hahn polynomials with respect to number $n$ of a polynomial. In Addendum, we discuss a vector-value analog of the Meixner--Pollachek orthogonal system and also perturbations of Laguerre, Meixner, and Jacobi polynomials.


title: A Classification of Certain Finite Double Coset Collections in the Classical Groups

abstract: Let $G$ be a classical algebraic group, $X$ a maximal rank reductive subgroup and $P$ a parabolic subgroup. This paper classifies when $X\G/P$ is finite. Finiteness is proven using geometric arguments about the action of $X$ on subspaces of the natural module for $G$. Infiniteness is proven using a dimension criterion which involves root systems.


title: Unipotent classes in the classical groups parameterized by subgroups

abstract: This paper describes how to use subgroups to parameterize unipotent classes in the classical algebraic group in characteristic 2. These results can be viewed as an extension of the Bala-Carter Theorem, and give a convenient way to compare unipotent classes in a group $G$ with unipotent classes of a subgroup $X$ where $G$ is exceptional and $X$ is a Levi subgroup of classical type.


title: Hopf Galois Extension in Braided Tensor Categories

abstract: The relation between crossed product and $H$-Galois extension in braided tensor category ${\cal C}$ with equivalisers and coequivalisers is established. That is, it is shown that if there exist an equivaliser and a coequivaliser for any two morphisms in ${\cal C}$, then $A = B #_\sigma H$ is a crossed product algebra if and only if the extension $A/B$ is Galois, the canonical epic $q: A\otimes A \to A\otimes_B A$ is split and $A$ is isomorphic as left $B$-modules and right $H$-comodules to $B\otimes H$ in ${\cal C}$.


title: Random complex zeroes, II. Perturbed lattice

abstract: We show that the flat chaotic analytic zero points (i.e. zeroes of a random entire function whose Taylor coefficients are independent complex-valued Gaussian random variables, and the variance of the k-th coefficient is 1/k!) can be regarded as a random perturbation of a lattice in the plane. The distribution of the distances between the zeroes and the lattice points is shift-invariant and has a Gaussian-type decay of the tails.


title: Generalized special Lagrangian fibration for Calabi-Yau hypersurfaces in toric varieties III: The smooth fibres

abstract: In this paper we construct all smooth torus fibres of the generalized special Lagrangian torus fibrations for Calabi-Yau hypersurfaces in toric varieties near the large complex limit.


title: Supersingular K3 surfaces in odd characteristic and sextic double planes

abstract: We show that every supersingular K3 surface is birational to a double cover of a projective plane.


title: Hypergeometric theta functions and elliptic Macdonald polynomials

abstract: Elliptic Macdonald polynomials of sl(2)-type and level 2 are introduced. Suitable limits of elliptic Macdonald polynomials are the standard Macdonald polynomials and conformal blocks. Identities for elliptic Macdonald polynomials, in particular their modular properties, are studied.


title: Erratum to "Homological algebra of homotopy algebras"

abstract: Theorem 6.1.1 of [H.A.H.A.] on the existence of a model structure on the category of operads is not valid in the generality claimed. We present here a counter-example (due to B. Fresse) and a corrected version of the theorem.


title: The homomorphisms between scalar generalized Verma modules associated to maximal parabolic subalgebras

abstract: Let $g$ be a finite-dimensional simple Lie algebra over the complex number field. We classify the homomorphisms between $g$-modules induced from one-dimensional modules of maximal parabolic subalgebras.


title: Infinity Structure of Poincare Duality Spaces

abstract: We show that the complex $C_\bullet X$ of rational simplicial chains on a compact and triangulated Poincar\'e duality space $X$ of dimension $d$ is an A$_\infty$ coalgebra with $\infty$ duality. This is the structure required for an A$_\infty$ version of the cyclic Deligne conjecture. One corollary is that the shifted Hochschild cohomology $HH^{\bullet+d} (C^\bullet X, C_\bullet X)$ of the cochain algebra $C^\bullet X$ with values in $C_\bullet X$ has a BV structure. This implies, if $X$ is moreover simply connected, that the shifted homology $H_{\bullet+d}LX$ of the free loop space admits a BV structure. An appendix by Dennis Sullivan gives a general local construction of $\infty$ structures.


title: On Frobenius-destabilized rank-2 vector bundles over curves

abstract: Let X be a smooth projective curve of genus g \geq 2 over an algebraically closed field k of characteristic p > 0. Let M_X be the moduli space of semistable rank-2 vector bundles over X with trivial determinant. The relative Frobenius map F: X \to X_1 induces by pull-back a rational map V: M_{X_1} \to M_{X}. In this paper we show the following results. 1) For any line bundle L over X, the rank-p vector bundle F_*L is stable. 2) The rational map V has base points, i.e., there exist stable bundles E over X_1 such that F^* E is not semistable. 3) Let B \subset M_{X_1} denote the scheme-theoretical base locus of V. If g=2, p>2 and X ordinary, then B is a 0-dimensional local complete intersection of length {2/3}p(p^2 -1) and the degree of V equals {1/3}p(p^2 +2).


title: Exact Solution of Discrete Hedging Equation for European Option

abstract: The approach that allows find European option price on the assumption of hedging at discrete times is proposed. The routine allows find the option price not for lognormal distribution functions of underlying asset only but for wide enough classes of distribution functions too. It is shown that there exists a nonzero possibility that market parameters can take values such that to realize the hedging policy becomes impossible. This fact is not in contradiction with Black-Scholes option price model as long as this possibility tends to zero at the limit of continuous hedging.


title: Standard paths in another composition poset

abstract: Bergeron, Bousquet-Melou and Dulucq enumerated paths in the Hasse diagram of the following poset: the underlying set is that of all compositions, and a composition \mu covers another composition \lambda if \mu can be obtained from \lambda by adding 1 to one of the parts of \lambda, or by inserting a part of size 1 into \lambda. We employ the methods they developed in order to study the same problem for the following poset: the underlying set is the same, but \mu covers \lambda if \mu can be obtained from \lambda by adding 1 to one of the parts of \lambda, or by inserting a part of size 1 at the left or at the right of \lambda. This poset is of interest because of its relation to non-commutative term orders.


title: Sharp trace theorems for null hypersurfaces on Einstein metrics with finite curvature flux

abstract: The main objective of the paper is to prove a geometric version of sharp trace and product estimates on null hypersurfaces with finite curvature flux. These estimates play a crucial role to control the geometry of such null hypersurfaces. The paper is based on an invariant version of the classical Littlewood -Paley theory, in a noncommutative setting, defined via heat flow on surfaces.


title: Pseudo-index of Fano manifolds and smooth blow-ups

abstract: Suppose $\pi : X \to Y$ is a smooth blow-up along a submanifold $Z$ of $Y$ between complex Fano manifolds $X$ and $Y$ of pseudo-indices $i_X$ and $i_Y$ respectively (recall that $i_X$ is defined by $i_X := \min \{-K_X \cdot C | C {is a rational curve of} X\}$). We prove that $i_X \leq i_Y$ if $2\dim (Z)< \dim(Y) + i_Y -1$ and show that this result is optimal by classifying the ``boundary'' cases. As expected, these results are obtained by studying rational curves on $X$ and $Y$.


title: Quasideterminants and Casimir elements for the general Lie superalgebra

abstract: We apply the techniques of quasideterminants to construct new families of Casimir elements for the general Lie superalgebra whose images under the Harish-Chandra isomorphism are respectively the elementary, complete and power sums supersymmetric functions


title: The Algorithmic Information Content for randomly perturbed systems

abstract: In this paper we prove estimates on the behaviour of the Kolmogorov-Sinai entropy relative to a partition for randomly perturbed dynamical systems. Our estimates use the entropy for the unperturbed system and are obtained using the notion of Algorithmic Information Content. The main result is an extension of known results to study time series obtained by the observation of real systems.


title: A geometric approach to the Littlewood-Paley theory

abstract: We develop a geometric invariant Littlewood-Paley theory for arbitrary tensors on a compact 2 dimensional manifold. We show that all the important features of the classical LP theory survive with estimates which depend only on very limited regularity assumptions on the metric. We give invariant descriptions of Sobolev and Besov spaces and prove some sharp product inequalities. This theory has being developed in connection to the work of the authors on the geometry of null hypersurfaces with a finite curvature flux condition, see \cite{KR1}, \cite{KR3}. We are confident however that it can be applied, and extended, to many different situations.


title: Resultados motivados por uma caracteriza\c{c}\~ao de operadores pseudo-diferenciais conjecturada por Rieffel (Ph. D. thesis, in Portuguese)

abstract: We work with functions defined in R^n with values in a C^*- algebra A. We consider the set \Sa of the functions of Schwartz (the rapidly decreasing ones) with the usual l_2-norm. We denote \CB^{2n}A the set of functions of class C^\infty with bounded derivatives. We prove, generalizing a result in [10], that pseudodifferential operators with symbol in \CB^{2n}A are continuous in \Sa for the l_2-norm. In[1], Rieffel proves that \CB^nA acts on \Sa, through a deformed product induced by an anti-symmetric matrix, J (this is the so-called left-regular representation of \CB^{2n}A). At the end of chapter 4, Rieffel poses the conjecture that all operators adjointable in \Sa and that commute with the right-regular representation of \CB^nA (for the deformed product above) are precisely the operators of the left-regular representation. We prove this for the case A=C (the complex numbers)(see [14]), using Cordes characterization of Heisenberg-smooth operators on L^2(R^n) as the pseudodifferential operators with symbol in \CB^{2n}C (see [17]). We also prove in this work that, if the natural generalization of Cordes characterization holds, then Rieffel's conjecture also holds.


title: Correspondences of ribbon categories

abstract: Much of algebra and representation theory can be formulated in the general framework of tensor categories. The aim of this paper is to further develop this theory for braided tensor categories. Several results are established that do not have a substantial counterpart for symmetric tensor categories. In particular, we exhibit various equivalences involving categories of modules over algebras in ribbon categories. Finally we establish a correspondence of ribbon categories that can be applied to, and is in fact motivated by, the coset construction in conformal quantum field theory.


title: Hyperbolic Knots

abstract: In 1978, W. Thurston revolutionized low diemsional topology with his work on hyperbolic 3-manifolds. In this paper, we discuss what is currently known about knots in the 3-sphere with hyperbolic complements. Then focus is on geometric invariants coming out of the hyperbolic structures. This is one of a collection of articles to appear in the Handbook of Knot Theory.


title: Dirac operator coupled to instantons on positive definite 4 manifolds

abstract: We study the moduli space of instantons on a simply connected positive definite four manifold by analyzing the classifying map of the index bundle of a family of Dirac operators parametrized by the moduli space. As applications we compute the cohomology ring for the charge 2 moduli space in the rank stable limit.


title: On irreducibility of tensor products of evaluation modules for the quantum affine algebra

abstract: Every irreducible finite-dimensional representation of the quantized enveloping algebra U_q(gl_n) can be extended to the corresponding quantum affine algebra via the evaluation homomorphism. We give in explicit form the necessary and sufficient conditions for irreducibility of tensor products of such evaluation modules.


title: Equivalence of domains arising from duality of orbits on flag manifolds II

abstract: In [GM1], we defined a G_R-K_C invariant subset C(S) of G_C for each K_C-orbit S on every flag manifold G_C/P and conjectured that the connected component C(S)_0 of the identity will be equal to the Akhiezer-Gindikin domain D if S is of nonholomorphic type. This conjecture was proved for closed S in [WZ1,WZ2,FH,M6] and for open S in [M6]. In this paper, we prove the conjecture for all the other orbits when G_R is of non-Hermitian type.


title: Symplectic twist maps without conjugate points

abstract: We consider a sequences of symplectic twist maps corresponding to Frenkel Kontorova variational functional. For such a sequence without conjugate points we construct an invariant Lagrangian subbundle. Using the ideas by E.Hopf from Riemannian geometry we show that absence of conjugate points is a rare property for this class of maps.


title: Zeta functions of groups - singular Pfaffians

abstract: The local normal zeta functions of a finitely generated, torsion-free nilpotent group $G$ of class 2 depend on the geometry of the Pfaffian hypersurface associated to the bilinear form induced by taking commutators in $G$. The smallest examples of zeta functions which are not finitely uniform arise from groups whose associated Pfaffian hypersurfaces are plane curves. In this paper we study groups whose Pfaffians define singular curves, illustrating that the local normal zeta functions may indeed invoke all the degeneracy loci of the Pfaffian.


title: Stabilite en niveau 0 pour les groupes orthogonaux impairs p-adiques

abstract: In this paper, we construct stable distributions on the set of elliptic elements of an odd orthogonal groups (over a p-adic field with p large). Theses distributions are of zero level. They are parametrised by Langlands like parameters. In the second part of the paper, we show how to interpret these distributions in term of characters of discrete series; this is conditional to a result of A.-M. Aubert which announces how to reduce the zero level case to the case of unipotent reduction using the Lusztig's induction. But, modulo this explicit hypothesis, we prove that our computation will determine all the stable linear combinations of discrete series of zero level for $SO(2n+1)$. The link between the parameters of stable distributions and stable linear combinations of discrete series is done by using a Fourier like involution on the set of parameters.


title: Generalized Mukai conjecture for special Fano varieties

abstract: Let X be a Fano variety of dimension n, pseudoindex i_X and Picard number \rho_X. A generalization of a conjecture of Mukai says that \rho_X(i_X-1)\le n. We prove that the conjecture holds if: a) X has pseudoindex i_X \ge \frac{n+3}{3} and either has a fiber type extremal contraction or does not have small extremal contractions b) X has dimension five.


title: The diophantine equation x^3/3+y^3+z^3-2xyz=0

abstract: We will be presenting two theorems in this paper. The first theorem, which is a new result, is about the non-existence of integer solutions of the cubic diophantine equation. In the proof of this theorem we have used some known results from theory of binary cubic forms and the method of infinite descent, which are well understood in the purview of Elementary Number Theory(ENT). In the second theorem, we show, that the famous Fermat's Last Theorem(FLT) for exponent 3 and the first theorem are equivalent. So Theorem1 and 2 constitute an alternate proof for the non-existence of integer solutions of this famous cubic Fermat's equation. It is well known, that from L.Euler(1770) to F.J.Duarte(1944) many had given proof of FLT for exponent 3. But all proofs uses concepts, which are beyond the scope of ENT. Hence unlike other proofs the proof given here is as an ENT proof of FLT for exponent 3.


title: Power residues of Fourier coefficients of modular forms

abstract: Let r : G_Q -> GL_n Q_l be a motivic l-adic Galois representation. For fixed m > 1 we initiate an investigation of the density of the set of primes p such that the trace of the image of an arithmetic Frobenius at p under r is an m^th power residue modulo p. Based on numerical investigations with modular forms we conjecture (with Ramakrishna) that this density equals 1/m whenever the image of r is open. We further conjecture that for such r the set of these primes p is independent of any set defined by Cebatorev-style Galois theoretic conditions (in an appropriate sense). We then compute these densities for certain m in the complementary case of modular forms of CM-type with rational Fourier coefficients; our proofs are a combination of the Cebatorev density theorem (which does apply in the CM case) and reciprocity laws applied to Hecke characters. We also discuss a potential application (suggested by Ramakrishna) to computing inertial degrees at p in abelian extensions of imaginary quadratic fields unramified away from p.


title: The composition monoid and the composition algebra at q=0 of the Kronecker quiver

abstract: We consider the Kronecker quiver and determine the relations for the specialisation to q=0 of the generic composition algebra as well as those for Reineke's composition monoid. We also obtain a normal form for the varieties occurring in the composition monoid in terms of Schur roots.


title: Pseudo-rotations of the closed annulus : variation on a theorem of J. Kwapisz

abstract: Consider a homeomorphism h of the closed annulus S^1*[0,1], isotopic to the identity, such that the rotation set of h is reduced to a single irrational number alpha (we say that h is an irrational pseudo-rotation). For every positive integer n, we prove that there exists a simple arc gamma joining one of the boundary component of the annulus to the other one, such that gamma is disjoint from its n first iterates under h. As a corollary, we obtain that the rigid rotation of angle alpha can be approximated by homeomorphisms conjugate to h. The first result stated above is an analog of a theorem of J. Kwapisz dealing with diffeomorphisms of the two-torus; we give some new, purely two-dimensional, proofs, that work both for the annulus and for the torus case.


title: Riemann's Zeta Function and Beyond

abstract: In recent years L-functions and their analytic properties have assumed a central role in number theory and automorphic forms. In this expository article, we describe the two major methods for proving the analytic continuation and functional equations of $L$-functions: the method of integral representations, and the method of Fourier expansions of Eisenstein series. Special attention is paid to technical properties, such as boundedness in vertical strips; these are essential in applying the converse theorem, a powerful tool that uses analytic properties of L-functions to establish cases of Langlands functoriality conjectures. We conclude by describing striking recent results which rest upon the analytic properties of L-functions.


title: Representations of polygons of finite groups

abstract: We construct discrete and faithful representations into the isometry group of a hyperbolic space of the fundamental groups of acute negatively curved even-sided polygons of finite groups.


title: Energy and Invariant Measures for Birational Surface Maps

abstract: When a birational surface map is expanding on cohomology there is a canonical way to associate positive closed currents to the map and its inverse. In this paper we use a version of Dirichlet energy to construct the wedge product of these two currents under a very weak additional condition on the map. We show that the resulting measure is invariant and mixing, and we establish that its Lyapunov exponents are finite and non-zero.


title: Bivariate hypergeometric D-modules

abstract: We undertake the study of bivariate Horn systems for generic parameters. We prove that these hypergeometric systems are holonomic, and we provide an explicit formula for their holonomic rank as well as bases of their spaces of complex holomorphic solutions. We also obtain analogous results for the generalized hypergeometric systems arising from lattices of any rank.


title: A quadratic approximation to the Sendov radius near the unit circle

abstract: Define $S(n,\beta)$ to be the set of complex polynomials of degree $n \ge 2$ with all roots in the unit disk and at least one root at $\beta$. For a polynomial $P$, define $|P|_\beta$ to be the distance between $\beta$ and the closest root of the derivative $P'$. Finally, define $r_n(\beta)=\sup \{|P|_\beta : P \in S(n,\beta) \}$. In this notation, a conjecture of Bl. Sendov claims that $r_n(\beta) \le 1$. In this paper we investigate Sendov's conjecture near the unit circle, by computing constants $C_1$ and $C_2$ (depending only on $n$) such that $r_n(\beta) \sim 1 + C_1 (1-|\beta|) + C_2 (1-|\beta|)^2$ for $|\beta|$ near 1. We also consider some consequences of this approximation.


title: Quantum integers and cyclotomy

abstract: A sequence of functions {f_n(q)}_{n=1}^{\infty} satisfies the functional equation for multiplication of quantum integers if f_{mn}(q) = f_m(q)f_n(q^m) for all positive integers m and n. This paper describes the structure of all sequences of rational functions with rational coefficients that satisfy this functional equation.


title: The marginalization paradox does not imply inconsistency for improper priors

abstract: The marginalization paradox involves a disagreement between two Bayesians who use two different procedures for calculating a posterior in the presence of an improper prior. We show that the argument used to justify the procedure of one of the Bayesians is inapplicable. There is therefore no reason to expect agreement, no paradox, and no evidence that improper priors are inherently inconsistent. We show further that the procedure in question can be interpreted as the cancellation of infinities in the formal posterior. We suggest that the implicit use of this formal procedure is the source of the observed disagreement.


title: Generalized Hodge Metrics and BCOV torsion on Calabi-Yau Moduli

abstract: We establish an unexpected relation among the Weil-Petersson metric, the generalized Hodge metrics and the BCOV torsion. Using this relation, we prove that certain kind of moduli spaces of polarized Calabi-Yau manifolds do not admit complete subvarieties. That is, there is no complete family for certain class of polarized Calabi-Yau manifolds. We also give an estimate of the complex Hessian of the BCOV torsion using the relation. After establishing a degenerate version of the Schwarz Lemma of Yau, we prove that the complex Hessian of the BCOV torsion is bounded by the Poincar\'e metric.


title: Derived category of V_{12} Fano threefolds

abstract: A V_{12} Fano threefold is a smooth Fano threefold X of index 1 with Pic X = Z and (-K_X)^3=12. We show that the bounded derived category of coherent sheaves on any V_{12} threefold X admits a semiorthogonal decomposition consisting of two exceptional bundles and of the derived category of a curve of genus 7. As an application we show that the Fano surface of X (the surface parameterizing conics on X) is canonically isomorphic to the symmetric square of the associated genus 7 curve.


title: On degenerations of surfaces

abstract: This paper surveys and gives a uniform exposition of results contained in papers published by the team of authors. The subject is degenerations of surfaces, especially to unions of planes. More specifically, we deduce some properties of the smooth surface which is the general fibre of the degeneration from combinatorial features of the central fibre. In particular we show that there are strong constraints on the invariants of a smooth surface which degenerates to configurations of planes. Finally we consider several examples of embedded degenerations of smooth surfaces to unions of planes. Our interest in these problems has been raised by a series of interesting articles by Guido Zappa in 1950's.


title: On Equi-Weyl Almost Periodic Selections of Multivalued Maps

abstract: We prove that equi-Weyl almost periodic multivalued maps $R \ni t \to F(t)\in cl U$ have equi-Weyl almost periodic selections, where $cl U$ is the collection of non-empty closed sets of a complete metric space $U$.


title: BMW algebras of simply laced type

abstract: It is known that the recently discovered representations of the Artin groups of type A_n, the braid groups, can be constructed via BMW algebras. We introduce similar algebras of type D_n and E_n which also lead to the newly found faithful representations of the Artin groups of the corresponding types. We establish finite dimensionality of these algebras. Moreover, they have ideals I_1 and I_2 with I_2 contained in I_1 such that the quotient with respect to I_1 is the Hecke algebra and I_1/I_2 is a module for the corresponding Artin group generalizing the Lawrence-Krammer representation. Finally we give conjectures on the structure, the dimension and parabolic subalgebras of the BMW algebra, as well as on a generalization of deformations to Brauer algebras for simply laced spherical type other than A_n.


title: Functionals of Dirichlet processes, the Markov Krein Identity and Beta-Gamma processes

abstract: This paper describes how one can use the well-known Bayesian prior to posterior analysis of the Dirichlet process, and less known results for the gamma process, to address the formidable problem of assessing the distribution of linear functionals of Dirichlet processes. In particular, in conjunction with a gamma identity, we show easily that a generalized Cauchy-Stieltjes transform of a linear functional of a Dirichlet process is equivalent to the Laplace functional of a class of, what we define as, beta-gamma processes. This represents a generalization of the Markov-Krein identity for mean functionals of Dirichlet processes. A prior to posterior analysis of beta-gamma processes is given that not only leads to an easy derivation of the Markov-Krein identity, but additionally yields new distributional identities for gamma and beta-gamma processes. These results give new explanations and intepretations of exisiting results in the literature. This is punctuated by establishing a simple distributional relationship between beta-gamma and Dirichlet processes.


title: Ueber die Bestimmung des Grades einer durch Elimination hervorgehenden Gleichung (On the determination of the degree of an equation obtained by elimination)

abstract: [Inserted by J. Maurice Rojas] We give a formula for the number of complex roots of a generic system of two polynomial equations in two unknowns. The formula is completely combinatorial, ultimately depending just on the convex hull of the exponent vectors of the equations. This formula presents the first known pre-cursor to David N. Bernstein's theorem relating mixed volumes and the number of roots in the complex algebraic torus of a system of polynomial equations. More precisely, our formula is a special case of a formula derived in 1994 by T. Y. Li and Xiaoshen Wang.


title: On the determination of the degree of an equation obtained by elimination (translation with commentary)

abstract: In 1841, Ferdinand Minding published ``Ueber die Bestimmung des Grades einer durch Elimination hervorgehenden Gleichung'' in Crelle's Journal. His main theorem represents the first (implicit) appearance of the BKK bound (and even some of its extensions) in the mathematical literature. We present an English translation of this paper and a commentary which explains how Minding's formula relates to the mixed area of lattice polygons.


title: Motions on n-Simplex Graphs with m-value memory

abstract: We introduce the idea of an n-simplex graph and games upon simplicial complexes. We then define moves on a labeled graph and pose the problem of whether given two labelings of a graph it is possible to change one into another via these moves. We then solve the problem for a given class of graphs. Once having found a solution for a given class of graphs we determine the number of different solutions that exist. We then use this to find an algorithm to determine whether a graph is (n+1)-colorable, and in particular, whether it is 3-colorable.


title: Combinatorial Hopf algebras and generalized Dehn-Sommerville relations

abstract: A combinatorial Hopf algebra is a graded connected Hopf algebra over a field $F$ equipped with a character (multiplicative linear functional) $\zeta:H\to F$. We show that the terminal object in the category of combinatorial Hopf algebras is the algebra $QSym$ of quasi-symmetric functions; this explains the ubiquity of quasi-symmetric functions as generating functions in combinatorics. We illustrate this with several examples. We prove that every character decomposes uniquely as a product of an even character and an odd character. Correspondingly, every combinatorial Hopf algebra $(H,\zeta)$ possesses two canonical Hopf subalgebras on which the character $\zeta$ is even (respectively, odd). The odd subalgebra is defined by certain canonical relations which we call the generalized Dehn-Sommerville relations. We show that, for $H=QSym$, the generalized Dehn-Sommerville relations are the Bayer-Billera relations and the odd subalgebra is the peak Hopf algebra of Stembridge. We prove that $QSym$ is the product (in the categorical sense) of its even and odd Hopf subalgebras. We also calculate the odd subalgebras of various related combinatorial Hopf algebras: the Malvenuto-Reutenauer Hopf algebra of permutations, the Loday-Ronco Hopf algebra of planar binary trees, the Hopf algebras of symmetric functions and of non-commutative symmetric functions.


title: Change of Variable for Multi-dimensional Integral

abstract: The change of variable theorem is proved under the sole hypothesis of differentiability of the transformation. Specifically, it is shown under this hypothesis that the transformed integral equals the given one over every measurable subset on which the transformation is injective; that countably many of these subsets cover the domain of invertibility; and that its complement -- the domain of non-invertibility -- is measurable and so may be broken off and handled separately.


title: Multilinear eigenfunction estimates for the Laplace spectral projectors on compact manifolds

abstract: The purpose of this note is to extend to any space dimension the bilinear estimate for eigenfunctions of the Laplace operator on a compact manifold (without boundary) obtained in a previous work in dimension 2. We also give some related trilinear estimates.


title: Stratified Morse Theory with Tangential Conditions

abstract: Our objective is to develop a stratified Morse theory with tangential conditions. We define a continuous strata-wise smooth Morse function on an abstract stratified space by using control conditions and radiality assumptions on the gradient vector field. For critical points of a Morse function one can show that the local unstable set is a manifold and the local stable set is itself an abstract stratified space. We also give a normal form for the gradient dynamics in the neighborhood of critical points. For a stratified Morse pair which satisfies the generic Morse-Smale condition we can build the Morse-Witten complex and show that its homology is equivalent to the singular homology of the space.


title: Generators of algebraic covariant derivative curvature tensors and Young symmetrizers

abstract: We show that the space of algebraic covariant derivative curvature tensors R' is generated by Young symmetrized tensor products W*U or U*W, where W and U are covariant tensors of order 2 and 3 whose symmetry classes are irreducible and characterized by the following pairs of partitions: {(2),(3)}, {(2),(2 1)} or {(1 1),(2 1)}. Each of the partitions (2), (3) and (1 1) describes exactly one symmetry class, whereas the partition (2 1) characterizes an infinite set S of irreducible symmetry classes. This set S contains exactly one symmetry class S_0 whose elements U can not play the role of generators of tensors R'. The tensors U of all other symmetry classes from S\{S_0} can be used as generators for tensors R'. Foundation of our investigations is a theorem of S. A. Fulling, R. C. King, B. G. Wybourne and C. J. Cummins about a Young symmetrizer that generates the symmetry class of algebraic covariant derivative curvature tensors. Furthermore we apply ideals and idempotents in group rings C[Sr], the Littlewood-Richardson rule and discrete Fourier transforms for symmetric groups Sr. For certain symbolic calculations we used the Mathematica packages Ricci and PERMS.


title: A trace formula and high energy spectral asymptotics for the perturbed Landau Hamiltonian

abstract: A two-dimensional Schr\"odinger operator with a constant magnetic field perturbed by a smooth compactly supported potential is considered. The spectrum of this operator consists of eigenvalues which accumulate to the Landau levels. We call the set of eigenvalues near the $n$'th Landau level an $n$'th eigenvalue cluster, and study the distribution of eigenvalues in the $n$'th cluster as $n\to\infty$. A complete asymptotic expansion for the eigenvalue moments in the $n$'th cluster is obtained and some coefficients of this expansion are computed. A trace formula involving the first eigenvalue moments is obtained.


title: On a small cancellation theorem of Gromov

abstract: We give a combinatorial proof of a theorem of Gromov, which extends the scope of small cancellation theory to group presentations arising from labelled graphs.


title: The Diameter of the Isomorphism Class of a Banach Space

abstract: We prove that if X is a separable infinite dimensional Banach space then its isomorphism class has infinite diameter with respect to the Banach-Mazur distance. One step in the proof is to show that if X is elastic then X contains an isomorph of c_0. We call X elastic if for some K < infinity for every Banach space Y which embeds into X, the space Y is K-isomorphic to a subspace of X. We also prove that if X is a separable Banach space such that for some K < infinity every isomorph of X is K-elastic then X is finite dimensional.


title: Curvature homogeneous spacelike Jordan Osserman pseudo-Riemannian manifolds

abstract: Let s be at least 2. We construct Ricci flat pseudo-Riemannian manifolds of signature (2s,s) which are not locally homogeneous but whose curvature tensors never the less exhibit a number of important symmetry properties. They are curvature homogeneous; their curvature tensor is modeled on that of a local symmetric space. They are spacelike Jordan Osserman with a Jacobi operator which is nilpotent of order 3; they are not timelike Jordan Osserman. They are k-spacelike higher order Jordan Osserman for $2\le k\le s$; they are k-timelike higher order Jordan Osserman for $s+2\le k\le 2s$, and they are not k timelike higher order Jordan Osserman for $2\le s\le s+1$.


title: Immersions of Non-orientable Surfaces

abstract: Let F be a closed non-orientable surface. We classify all finite order invariants of immersions of F into R^3, with values in any Abelian group. We show they are all functions of the universal order 1 invariant that we construct as T \oplus P \oplus Q where T is a Z valued invariant reflecting the number of triple points of the immersion, and P,Q are Z/2 valued invariants characterized by the property that for any regularly homotopic immersions i,j:F\to R^3, P(i)-P(j) \in Z/2 (respectively Q(i)-Q(j) \in Z/2) is the number mod 2 of tangency points (respectively quadruple points) occurring in any generic regular homotopy between i and j. For immersion i:F\to R^3 and diffeomorphism h:F\to F such that i and i \circ h are regularly homotopic we show: P(i\circ h)-P(i) = Q(i\circ h)-Q(i) = (rank(h_* - Id) + E(\det h_**)) mod 2 where h_* is the map induced by h on H_1(F;Z/2), h_** is the map induced by h on H_1(F;Q) (Q=the rationals), and for 0 \neq q \in Q, E(q) \in Z/2 is 0 or 1 according to whether q is positive or negative, respectively.


title: Generic vanishing, gaussian maps, and Fourier-Mukai transform

abstract: In the first part of this paper we prove a vanishing criterion for higher direct images of projective families of line bundles on a Cohen-Macaulay variety X. The result involves certain first-order deformations of certain curves on X, and makes essential use of the notion of global co-gaussian maps, a generalization of Wahl's gaussian maps. In the second part we apply the criterion above, combined with Fourier-Mukai transform on abelian varieties, to prove an algebraic version of Green-Lazarsfeld's Generic Vanishing Theorem. In fact we prove a stronger result concerning higher direct images of Poincar\'e line bundles, which -- in the compact K\"ahler setting -- was conjectured by Green and Lazarsfeld and was recently proved, by completely different methods, by Hacon (math.AG/0308198)


title: Hermitian-holomorphic (2)-Gerbes and tame symbols

abstract: We observe that the line bundle associated to the tame symbol of two invertible holomorphic functions also carries a fairly canonical hermitian metric, hence it represents a class in a Hermitian holomorphic Deligne cohomology group. We put forward an alternative definition of hermitian holomorphic structure on a gerbe which is closer to the familiar one for line bundles and does not rely on an explicit ``reduction of the structure group.'' Analogously to the case of holomorphic line bundles, a uniqueness property for the connective structure compatible with the hermitian-holomorphic structure on a gerbe is also proven. Similar results are proved for 2-gerbes as well. We then show the hermitian structures so defined propagate to a class of higher tame symbols previously considered by Brylinski and McLaughlin, which are thus found to carry corresponding hermitian-holomorphic structures. Therefore we obtain an alternative characterization for certain higher Hermitian holomorphic Deligne cohomology groups.


title: Reachability problems for products of matrices in semirings

abstract: We consider the following matrix reachability problem: given $r$ square matrices with entries in a semiring, is there a product of these matrices which attains a prescribed matrix? We define similarly the vector (resp. scalar) reachability problem, by requiring that the matrix product, acting by right multiplication on a prescribed row vector, gives another prescribed row vector (resp. when multiplied at left and right by prescribed row and column vectors, gives a prescribed scalar). We show that over any semiring, scalar reachability reduces to vector reachability which is equivalent to matrix reachability, and that for any of these problems, the specialization to any $r\geq 2$ is equivalent to the specialization to $r=2$. As an application of this result and of a theorem of Krob, we show that when $r=2$, the vector and matrix reachability problems are undecidable over the max-plus semiring $(Z\cup\{-\infty\},\max,+)$. We also show that the matrix, vector, and scalar reachability problems are decidable over semirings whose elements are ``positive'', like the tropical semiring $(N\cup\{+\infty\},\min,+)$.


title: Mod 2 indecomposable orthogonal invariants

abstract: Over an algebraically closed base field $k$ of characteristic 2, the ring $R^G$ of invariants is studied, $G$ being the orthogonal group O(n) or the special orthogonal group SO(n) and acting naturally on the coordinate ring $R$ of the $m$-fold direct sum $k^n \oplus...\oplus k^n$ of the standard vector representation. It is proved for O(n) $(n\geq 2)$ and for SO(n) $(n\geq 3)$ that there exist $m$--linear invariants with $m$ arbitrarily large that are indecomposable (i. e., not expressible as polynomials in invariants of lower degree). In fact, they are explicitly constructed for all possible values of $m$. Indecomposability of corresponding invariants over $\mathbb Z$ immediately follows. The constructions rely on analysing the Pfaffian of the skew-symmetric matrix whose entries above the diagonal are the scalar products of the vector variables.


title: Low Frequency Stability of Multi-dimensional Inviscid Planar Detonation Waves

abstract: This paper was withdrawn by the authors due an error in the elimination of the front in the linearized interior equations (28)-(29).


title: Total positivity in the De Concini-Procesi compactification

abstract: We study the nonnegative part \bar{G_{>0}} of the De Concini-Procesi compactification of a reductive algebraic group G, as defined by Lusztig. Using positivity properties of the canonical basis and parametrization of flag varieties, we will give an explicit description of \bar{G_{>0}}. This answers the question of Lusztig in [L4]. We will also prove that \bar{G_{>0}} has a cell decomposition which was conjectured by Lusztig.


title: Pseudofunctorial behavior of Cousin complexes on formal schemes

abstract: On a suitable category of formal schemes equipped with codimension functions we construct a canonical pseudofunctor (-)^# taking values in the corresponding categories of Cousin complexes. Cousin complexes on such a formal scheme X functorially represent derived-category objects F by the local cohomologies H_x^{codim(x)}(F) (x \in X) together with "residue maps" from the cohomology at x to that at each immediate specialization of x; this representation is faithful when restricted to F which are Cohen-Macaulay (CM), i.e., H_x^i(F)=0 unless i=codim(x). Formal schemes provide a framework for treating local and global duality as aspects of a single theory. One motivation has been to gain a better understanding of the close relation between local properties of residues and global variance properties of dualizing complexes (which are CM). Our construction, depending heavily on local phenomena, is inspired by, but generalizes and makes more concrete, that of the classical pseudofunctor (-)^\Delta taking values in residual complexes, on which the proof of Grothendieck's (global) Duality Theorem in Hartshorne's "Residues and Duality" is based. Indeed, it is shown in a subsequent paper by Sastry that (-)^# is a good concrete approximation to the fundamental duality pseudofunctor (-)^!. The pseudofunctor (-)^# takes residual complexes to residual complexes, so contains a canonical representative of (-)^\Delta; and it generalizes as well several other functorial (but not pseudofunctorial) constructions of residual complexes which appeared in the 1990s.


title: On the dimension of the stability group for a Levi non-degenerate hypersurface

abstract: We classify locally defined non-spherical real-analytic hypersurfaces in complex space whose Levi form has no more than one negative eigenvalue and for which the dimension of the group of local CR-automorphisms has the second largest value.


title: Legendrian Vertical Circles in Small Seifert Spaces

abstract: We discuss the relations between the $e_0$ invariants of a small Seifert space and the twisting numbers of Legendrian vertical circles in it.


title: On the equivariant reduction of structure group of a principal bundle to a Levi subgroup

abstract: Let $M$ be an irreducible projective variety over an algebraically closed field $k$ of characteristic zero equipped with an action of a group $\Gamma$. Let $E_G$ be a principal $G$--bundle over $M$, where $G$ is a connected reductive algebraic group over $k$, equipped with a lift of the action of $\Gamma$ on $M$. We give conditions for $E_G$ to admit a $\Gamma$--equivariant reduction of structure group to $H$, where $H \subset G$ is a Levi subgroup. We show that for $E_G$, there is a naturally associated conjugacy class of Levi subgroups of $G$. Given a Levi subgroup $H$ in this conjugacy class, $E_G$ admits a $\Gamma$--equivariant reduction of structure group to $H$, and furthermore, such a reduction is unique up to an automorphism of $E_G$ that commutes with the action of $\Gamma$.


title: Cycles representing the Todd class of a toric variety

abstract: In this paper, we describe a way to construct cycles which represent the Todd class of a toric variety. Given a lattice with an inner product we assign a rational number m(s) to each rational polyhedral cone s in the lattice, such that for any toric variety X with fan S, the Todd class of X is the sum over all cones s in S of m(s)[V(s)]. This constitutes an improved answer to an old question of Danilov. In a similar way, beginning with the choice of a complete flag in the lattice, we obtain the cycle Todd classes constructed by Morelli. Our construction is based on an intersection product on cycles of a simplicial toric variety developed by the second-named author. Important properties of the construction are established by showing a connection to the canonical representation of the Todd class of a simplicial toric variety as a product of torus-invariant divisors developed by the first-named author.


title: Boundedness of Pseudodifferential Operators of C^*-Algebra-Valued Symbol

abstract: Let us consider the set S^A(\R^n) of rapidly decreasing functions G:\R^n \to A, where A is a separable C^*-algebra. We prove a version of the Calder\'on-Vaillancourt theorem for pseudodifferential operators acting on S^A(\R^n) whose symbol is A-valued. Given a skew-symmetric matrix, J, we prove that a pseudodifferential operator that commutes with G(x+JD), G\in S^A(\R^n), is of the form F(x-JD), for F a C^\infty-function with bounded derivatives of all orders.


title: The Fesenko groups have finite width

abstract: We prove that the Fesenko Groups, which occur as natural closed subgroups of the Nottingham Group, have finite width and infinite obliquity.


title: N particles approximation of the Vlasov equations with singular potential

abstract: On demontre la convergence pour tout temps d'une approximation de l'equation de Vlasov par un systeme de particules sans regularisation du champ, ceci pour des potentiels singuliers, avec une force du type $1/|x|^{\alpha}$, pour \alpha plus petit que 1.


title: Semistability vs. nefness for (Higgs) vector bundles

abstract: According to Miyaoka, a vector bundle E on a smooth projective curve is semistable if and only if a certain numerical class in the projectivized bundle PE is nef. We establish a similar criterion for the semistability of Higgs bundles: namely, such a bundle is semistable if and only if for every integer s between 0 and the rank of E, a suitable numerical class in the scheme parametrizing the rank s locally-free Higgs quotients of E is nef. We also extend this result to higher-dimensional complex projective varieties by showing that the nefness of the above mentioned classes is equivalent to the semistability of the Higgs bundle E together with the vanishing of the discriminant of E.


title: Einstein metrics on some exotic negatively curved manifolds

abstract: This paper was withdrawn by the author due to an error in the proof of the main result; essentially the parameter R used in the proof may depend on the manifold (M, g), not just on dimension and pinching constant.


title: Tridiagonal pairs and the quantum affine algebra $U_q({\hat {sl}}_2)$

abstract: Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. By definition a Leonard pair on $V$ is a pair of linear transformations $A:V\to V$ and $A^*:V\to V$ that satisfy the following two conditions: (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^*$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A$ is diagonal and the matrix representing $A^*$ is irreducible tridiagonal. There is a correspondence between Leonard pairs and a family of orthogonal polynomials consisting of the $q$-Racah and some related polynomials of the Askey scheme. In this paper we discuss a mild generalization of a Leonard pair which we call a tridiagonal pair. We will show how certain tridiagonal pairs are associated with finite dimensional modules for the quantum affine algebra $U_q({\hat {sl}}_2)$.


title: Special linear Systems on Toric Varieties

abstract: We consider linear systems on toric varieties of any dimension, with invariant base points, giving a characterization of special linear systems. We then make a new conjecture for linear systems on rational surfaces.


title: Second-order fluctuations and current across characteristic for a one-dimensional growth model of independent random walks

abstract: Fluctuations from a hydrodynamic limit of a one-dimensional asymmetric system come at two levels. On the central limit scale n^{1/2} one sees initial fluctuations transported along characteristics and no dynamical noise. The second order of fluctuations comes from the particle current across the characteristic. For a system made up of independent random walks we show that the second-order fluctuations appear at scale n^{1/4} and converge to a certain self-similar Gaussian process. If the system is in equilibrium, this limiting process specializes to fractional Brownian motion with Hurst parameter 1/4. This contrasts with asymmetric exclusion and Hammersley's process whose second-order fluctuations appear at scale n^{1/3}, as has been discovered through related combinatorial growth models.


title: Sklyanin algebras and Hilbert schemes of points

abstract: We construct projective moduli spaces for torsion-free sheaves on noncommutative projective planes. These moduli spaces vary smoothly in the parameters describing the noncommutative plane and have good properties analogous to those of moduli spaces of sheaves over the usual (commutative) projective plane P^2. The generic noncommutative plane corresponds to the Sklyanin algebra S constructed from an automorphism sigma of infinite order on an elliptic curve E < P^2. In this case, the fine moduli space of line bundles over S with first Chern class zero and Euler characteristic (1-n) provides a symplectic variety that is a deformation of the Hilbert scheme of n points on P^2 - E.


title: A note on mean curvature, Maslov class and symplectic area of Lagrangian immersions

abstract: In this note we prove a simple relation between the mean curvature form, symplectic area, and the Maslov class of a Lagrangian immersion in a K\"ahler-Einstein manifold. An immediate consequence is that in K\"ahler-Einstein manifolds with positive scalar curvature, minimal Lagrangian immersions are monotone.


title: Monopoles over 4-manifolds containing long necks, I

abstract: We study moduli spaces of Seiberg-Witten monopoles over spin^c Riemannian 4-manifolds with long necks and/or tubular ends. This first part discusses compactness, exponential decay, and transversality. As applications we prove two vanishing theorems for Seiberg-Witten invariants.


title: Equivariant symplectic Hodge theory and the $d_G\delta$-lemma

abstract: Consider a Hamiltonian action of a compact Lie group on a symplectic manifold which has the strong Lefschetz property. We establish an equivariant version of the Merkulov-Guillemin $d\delta$-lemma and an improved version of the Kirwan-Ginzburg equivariant formality theorem, which says that every cohomology class has a \emph{canonical} equivariant extension.


title: Real linear quaternionic operators

abstract: In a recent paper [J.Math.Phys. vol42, 2236-2265 (2001)], we discussed differential operators within a quaternionic formulation of quantum mechanics. In particular, we proposed a practical method to solve quaternionic and complex linear second order differential equations with constant coefficients. In this paper, we extend our discussion to real linear quaternionic differential equations. The method of resolution is based on the Jordan canonical form of quaternionic matrices associoated to real linear differential operators.


title: Topological Recursion Relations by Localization

abstract: Let M_{g,n} be the moduli space of stable genus g curves with n marked points. M_{g,n} has boundary strata consisting of nodal curves. The fundamental classes of these boundary strata may be linearly dependent in the Chow group A_*(M_{g,n}). Relations among these boundary strata can be found by exploiting a localization trick involving stable maps to P^1. This note explains this trick and applies it to give a new derivation of Getzler's relation among codimension 2 boundary strata in M_{1,4}.


title: Endomorphisms of Polynomial Rings with Invertible Jacobians

abstract: This article has been withdrown.


title: The Singular Set of 1-1 Integral Currents

abstract: We prove that 2 dimensional Integral currents (i.e. integer multiplicity 2 dimensional rectifiable currents) which are almost complex cycles in an almost complex manifold admitting locally a compatible symplectic form are smooth surfaces aside from isolated points and therefore are J-holomorphic curves.


title: On the Group of Automorphisms of Cyclic Covers of the Riemann Sphere

abstract: This note uses some recent calculations of Conder and Bujalance (on classifying finite index group extensions of Fuchsian groups with abelian quotient and torsion free kernel) in order to determine the full automorphism groups of some cylic coverings of the line (including curves of Fermat and Lefschetz type). The answer is complete for cyclic covers that branch over three points.


title: Normal bundles of rational curves in projective spaces

abstract: We determine the splitting (isomorphism) type of the normal bundle of a generic genus-0 curve with 1 or 2 components in any projective space, as well as the (sometimes nontrivial) way the bundle deforms locally with a general deformation of the curve. We deduce an enumerative formula for divisorial loci of smooth rational curves whose normal bundle is of non-generic splitting type.


title: Group Actions on Posets

abstract: In this paper we study quotients of posets by group actions. In order to define the quotient correctly we enlarge the considered class of categories from posets to loopfree categories: categories without nontrivial automorphisms and inverses. We view group actions as certain functors and define the quotients as colimits of these functors. The advantage of this definition over studying the quotient poset (which in our language is the colimit in the poset category) is that the realization of the quotient loopfree category is more often homeomorphic to the quotient of the realization of the original poset. We give conditions under which the quotient commutes with the nerve functor, as well as conditions which guarantee that the quotient is again a poset.


title: Complexes of graph homomorphisms

abstract: $Hom(G,H)$ is a polyhedral complex defined for any two undirected graphs $G$ and $H$. This construction was introduced by Lov\'asz to give lower bounds for chromatic numbers of graphs. In this paper we initiate the study of the topological properties of this class of complexes. We prove that $Hom(K_m,K_n)$ is homotopy equivalent to a wedge of $(n-m)$-dimensional spheres, and provide an enumeration formula for the number of the spheres. As a corollary we prove that if for some graph $G$, and integers $m\geq 2$ and $k\geq -1$, we have $\varpi_1^k(\thom(K_m,G))\neq 0$, then $\chi(G)\geq k+m$; here $Z_2$-action is induced by the swapping of two vertices in $K_m$, and $\varpi_1$ is the first Stiefel-Whitney class corresponding to this action. Furthermore, we prove that a fold in the first argument of $Hom(G,H)$ induces a homotopy equivalence. It then follows that $Hom(F,K_n)$ is homotopy equivalent to a direct product of $(n-2)$-dimensional spheres, while $Hom(\bar{F},K_n)$ is homotopy equivalent to a wedge of spheres, where $F$ is an arbitrary forest and $\bar{F}$ is its complement.


title: Some relations for one-part double Hurwitz numbers

abstract: In this very short note we slightly generalize some relations for one-part double Hurwitz numbers from math.AG/0209282.


title: Dynamics of two-dimensional time-periodic Euler fluid flows

abstract: This paper investigates the dynamics of time-periodic Euler flows in multi-connected, planar fluid regions which are ``stirred'' by the moving boundaries. The classical Helmholtz theorem on the transport of vorticity implies that if the initial vorticity of such a flow is generic among real-valued functions in the $C^k$-topology ($k \geq 2$) or is $C^\omega$ and nonconstant, then the flow has zero topological entropy. On the other hand, it is shown that for constant initial vorticity there are stirring protocols which always yield time-periodic Euler flows with positive entropy. These protocols are those that generate flow maps in pseudoAnosov isotopy classes. These classes are a basic ingredient of the Thurston-Nielsen theory and a further application of that theory shows that pseudoAnosov stirring protocols with generic initial vorticity always yield solutions to Euler's equations for which the sup norm of the gradient of the vorticity grows exponentially in time. In particular, such Euler flows are never time-periodic.


title: Exact Sampling from Perfect Matchings of Dense Nearly Regular Bipartite Graphs

abstract: We present the first algorithm for generating random variates exactly uniformly from the set of perfect matchings of a bipartite graph with a polynomial expected running time over a nontrivial set of graphs. Previous Markov chain approaches obtain approximately uniform variates for arbitrary graphs in polynomial time, but their general running time is $\Theta(n^{26} (\ln n)^2).$ Our algorithm employs acceptance/rejection together with a new upper limit on the permanent of a form similar to Bregman's Theorem. For a graph with $2n$ nodes where the degree of every node is nearly $\gamma n$ for a constant $\gamma$, the expected running time is $O(n^{1.5 + .5/\gamma})$. Under these conditions, Jerrum and Sinclair showed that a Markov chain of Broder can generate approximately uniform variates in $\Theta(n^{4.5 + .5/\gamma} \ln n)$ time, making our algorithm significantly faster on this class of graph. With our approach, approximately counting the number of perfect matchings (equivalent to finding the permanent of a 0-1 matrix and so $\sharp P$ complete) can be done without use of selfreducibility.


title: The Stable Equivalence and Cancellation Problems

abstract: Let $K$ be an arbitrary field of characteristic 0, and $\Aff^n$ the $n$-dimensional affine space over $K$. A well-known cancellation problem asks, given two algebraic varieties $V_1, V_2 \subseteq \Aff^n$ with isomorphic cylinders $V_1 \times \Aff^1$ and $V_2 \times \Aff^1$, whether $V_1$ and $V_2$ themselves are isomorphic. In this paper, we focus on a related problem: given two varieties with equivalent (under an automorphism of $\Aff^{n+1}$) cylinders $V_1 \times \Aff^1$ and $V_2 \times \Aff^1$, are $V_1$ and $V_2$ equivalent under an automorphism of $\Aff^n$? We call this stable equivalence problem. We show that the answer is positive for any two curves $V_1, V_2 \subseteq \Aff^2$. For an arbitrary $n \ge 2$, we consider a special, arguably the most important, case of both problems, where one of the varieties is a hyperplane. We show that a positive solution of the stable equivalence problem in this case implies a positive solution of the cancellation problem.


title: Resolution of Some Open Problems Concerning Multiple Zeta Evaluations of Arbitrary Depth

abstract: We prove some new evaluations for multiple polylogarithms of arbitrary depth. The simplest of our results is a multiple zeta evaluation one order of complexity beyond the well-known Broadhurst-Zagier formula. Other results we provide settle three of the remaining outstanding conjectures of Borwein, Bradley, and Broadhurst. A complete treatment of a certain arbitrary depth class of periodic alternating unit Euler sums is also given.


title: Multiple Polylogarithms: A Brief Survey

abstract: We survey various results and conjectures concerning multiple polylogarithms and the multiple zeta function. Among the results, we announce our resolution of several conjectures on multiple zeta values. We also provide a new integral representation for the general multiple polylogarithm, and develop a q-analogue of the shuffle product.


title: Coupling of the Legendre polynomials with kernels $|x-y|^\alpha$ and $\ln|x-y|$

abstract: Double integrals that represent matrix elements of the power and logarithmic potentials in the Legendre polynoiomial basis on [-1,1] are found in a closed form. Several proofs are given, which involve different special functions and identities. A connection of the new formulae and Whipple's hypergeometric summation formula is shown.


title: A multiple sum involving the Moebius function

abstract: We consider a multiple arithmetical sum involving the Moebius function which despite its elementary appearance is in fact of a highly intriguing nature. We establish an asymptotic formula for the quadruple case that raises the first genuinely non-trivial situation. This is a rework of an old unpublished note of ours.


title: Quasi-actions on trees and Property (QFA)

abstract: We prove some general results about quasi-actions on trees and define Property (QFA), which is analogous to Serre's Property (FA), but in the coarse setting. This property is shown to hold for a class of groups, including $SL(n,\Z)$ for $n\geq 3$. We also give a way of thinking about Property (QFA) by breaking it down into statements about particular classes of trees.


title: Minimal rational curves in moduli spaces of stable bundles

abstract: In this short note, we show that any rational curve passing through the generic point in a moduli space of stable bundles with rank $r$ and fixed determinant on a smooth projective curve of genus $g\ge 4$ has degree (with respect to the anti-canonical line bundle of the moduli space) at least $2r$. It has degree $2r$ if and only if it is a Hecke curve.


title: Homotopy types of stabilizers and orbits of Morse functions on surfaces

abstract: Let $M$ be a smooth compact surface, orientable or not, with boundary or without it, $P$ either the real line $R^1$ or the circle $S^1$, and $Diff(M)$ the group of diffeomorphisms of $M$ acting on $C^{\infty}(M,P)$ by the rule $h\cdot f\mapsto f \circ h^{-1}$, where $h\in Diff(M)$ and $f \in C^{\infty}(M,P)$. Let $f:M \to P$ be a Morse function and $O(f)$ be the orbit of $f$ under this action. We prove that $\pi_k O(f)=\pi_k M$ for $k\geq 3$, and $\pi_2 O(f)=0$ except for few cases. In particular, $O(f)$ is aspherical, provided so is $M$. Moreover, $\pi_1 O(f)$ is an extension of a finitely generated free abelian group with a (finite) subgroup of the group of automorphisms of the Reeb graph of $f$. We also give a complete proof of the fact that the orbit $O(f)$ is tame Frechet submanifold of $C^{\infty}(M,P)$ of finite codimension, and that the projection $Diff(M) \to O(f)$ is a principal locally trivial $S(f)$-fibration.


title: Noncommutative algebras related with Schubert calculus on Coxeter groups

abstract: For any finite Coxeter system $(W,S)$ we construct a certain noncommutative algebra, so-called {\it bracket algebra}, together with a familiy of commuting elements, so-called {\it Dunkl elements.} Dunkl elements conjecturally generate an algebra which is canonically isomorphic to the coinvariant algebra of the group $W.$ We prove this conjecture for classical Coxeter groups and $I_2(m)$. We define a ``quantization'' and a multiparameter deformation of our construction and show that for Lie groups of classical type and $G_2,$ the algebra generated by Dunkl elements in the quantized bracket algebra is canonically isomorphic to the small quantum cohomology ring of the corresponding flag variety, as described by B. Kim. For crystallographic Coxeter systems we define {\it quantum Bruhat representation} of the corresponding bracket algebra. We study in more detail relations and structure of $B_n$-, $D_n$- and $G_2$-bracket algebras, and as an application, discover {\it Pieri type formula} in the $B_n$-bracket algebra. As a corollary, we obtain Pieri type formula for multiplication of arbitrary $B_n$-Schubert classes by some special ones. Our Pieri type formula is a generalization of Pieri's formulas obtained by A. Lascoux and M.-P. Sch\"utzenberger for flag varieties of type $A.$ We also introduce a super-version of the bracket algebra together with a family of pairwise anticommutative elements which describes ``noncommutative differential geometry on a finite Coxeter group'' in a sense of S. Majid.