title: Ornstein-Zernike Theory for the finite range Ising models above T_c

abstract: We derive precise Ornstein-Zernike asymptotic formula for the decay of the two-point function in the general context of finite range Ising type models on Z^d. The proof relies in an essential way on the a-priori knowledge of the strict exponential decay of the two-point function and, by the sharp characterization of phase transition due to Aizenman, Barsky and Fernandez, goes through in the whole of the high temperature region T > T_c. As a byproduct we obtain that for every T > T_c, the inverse correlation length is an analytic and strictly convex function of direction.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: Complete positive group presentations

abstract: A combinatorial property of prositive group presentations, called completeness, is introduced, with an effective criterion for recognizing complete presentations, and an iterative method for completing an incomplete presentation. We show how to directly read several properties of the associated monoid and group from a complete presentation: cancellativity or existence of common multiples in the case of the monoid, or isoperimetric inequality in the case of the group. In particular, we obtain a new criterion for recognizing that a monoid embeds in a group of fractions. Typical presentations eligible for the current approach are the standard presentations of the Artin groups and the Heisenberg group.


title: Superconformal symmetry and hyperKaehler manifolds with torsion

abstract: The geometry arising from Michelson & Strominger's study of N=4B supersymmetric quantum mechanics with superconformal D(2,1;alpha)-symmetry is a hyperKaehler manifold with torsion (HKT) together with a special homothety. It is shown that different parameters alpha are related via changes in potentials for the HKT target spaces. For alpha not 0 or -1, we describe how each such HKT 4m-manifold M is derived from a space N of dimension 4m-4 which is quaternionic Kaehler with torsion and carries an Abelian instanton.


title: $\epsilon$-factors for Gauss-Manin determinants

abstract: This is the last version of AG/0111277. Here the old abstract: We define $\epsilon$-factors in the de Rham setting and calculate the determinant of the Gau\ss-Manin connection for a family of (affine) curves and a vector bundle equipped with a flat connection.


title: On purely log terminal blow-ups

abstract: In this paper we prove the existence of purely log terminal blow-up for Kawamata log terminal singularity and obtain the criterion for a singularity to be weakly exceptional in terms of the exceptional divisor of plt blow-up.


title: Thin groups of fractions

abstract: A number of properties of spherical Artin groups extend to Garside groups, defined as the groups of fractions of monoids where least common multiples exist, there is no nontrivial unit, and some additional finiteness conditions are satisfied \cite{Dgk}. Here we investigate a wider class of groups of fractions, called {\it thin}, which are those associated with monoids where minimal common multiples exist, but they are not necessarily unique. Also, we allow units in the involved monoids. The main results are that all thin groups of fractions satisfy a quadratic isoperimetric inequality, and that, under some additional hypotheses, they admit an automatic structure.


title: Explicit Presentations for the Dual Braid Monoids

abstract: Birman, Ko and Lee have introduced a new monoid ${\cal B}^{*}_{n}$--with an explicit presentation--whose group of fractions is the $n$-strand braid group ${\cal B}_{n}$. Building on a new approach by Digne, Michel and himself, Bessis has defined a {\it dual} braid monoid for every finite Coxeter type Artin-Tits group extending the type A case. Here, we give an explicit presentation for this dual braid monoid in the case of types B and D, and we study the combinatorics of the underlying Garside structures.


title: On the uniphase steady solutions of the nonlinear damped wave equation

abstract: We study the steady uniphase and multiphase solutions of the discretized nonlinear damped wave equation.Conditions for the stability abd instability of the steady solutions are given;in the instability case the linear stable and unstable associated manifolds are described.


title: Balanced d-lattices are complemented

abstract: We show that all balanced d-lattices must be complemented, answering a question of Chajda and Eigenthaler. (A bounded lattice is balanced if any two congruences agree on their 1-classes iff they agree on their 0-classes.) Our main tool is the characterization of d-lattices (a class of bounded lattices including the bounded distributive lattices, originally defined by a property of their compact congruences) as exactly those lattices in which all maximal filters/ideals are prime.


title: Classifying spaces for proper actions of locally-finite groups

abstract: For each finite ordinal n, and each locally-finite group G of cardinality aleph-sub-n, we construct an (n+1)-dimensional, contractible CW-complex on which G acts with finite stabilizers. We use the complex to obtain information about cohomology with induced coefficients. Our techniques also give information about the location of some large free abelian groups in the hierarchy HF.


title: Strongly meager sets can be quite big

abstract: The paper contains two results pointing to the lack of symmetry between measure and category. Assume CH. There exists a strongly meager subset of the Cantor set that can be mapped onto the Cantor set by a uniformly continuous function. (It is well known that uniformly continuous image of a strongly null set is strongly null). A ZFC version of this result is also given.


title: Wright type delay differential equations with negative Schwarzian

abstract: We prove that the well-known 3/2 stability condition established for the Wright equation (WE) still holds if the nonlinearity $p(\exp(-x)-1)$ in WE is replaced by a decreasing or unimodal smooth function f with $f'(0)<0$ satisfying the standard negative feedback and below boundedness conditions and having everywhere negative Schwarz derivative.


title: Tracial invariants, classification and II_1 factor representations of Popa algebras

abstract: Using various finite dimensional approximation properties, four convex subsets of the tracial space of a unital C*-algebra are defined. Applications of these tracial invariants include: (1) An analogue of Szego's limit theorem for arbitrary self adjoint operators. (2) A McDuff factor embeds into the ultrapower of the hyperfinite II_1 factor if and only if it contains a weakly dense operator system which is injective. (3) There exists a simple, quasidiagonal, real rank zero C*-algebra with non-hyperfinite II_1 factor representations and which is not tracially AF. This answers negatively questions of Sorin Popa and, respectively, Huaxin Lin.


title: Hypercovers in topology

abstract: We show that if U is a hypercover of a topological space X then the natural map from hocolim U to X is a weak equivalence. This fact is used to construct topological realization functors for the A^1-homotopy theory of schemes over real and complex fields.


title: A Tensor Product Theorem Related To Perfect Crystals

abstract: Kang et al. provided a path realization of the crystal graph of a highest weight module over a quantum affine algebra, as certain semi-infinite tensor products of a single perfect crystal. In this paper, this result is generalized to give a realization of the tensor product of several highest weight modules. The underlying building blocks of the paths are finite tensor products of several perfect crystals. The motivation for this work is an interpretation of fermionic formulas, which arise from the combinatorics of Bethe Ansatz studies of solvable lattice models, as branching functions of affine Lie algebras. It is shown that the conditions for the tensor product theorem are satisfied for coherent families of crystals previously studied by Kang, Kashiwara and Misra, and the coherent family of crystals $\{B^{k,l}\}_{l\ge 1}$ of type $A_n^{(1)}$.


title: Jacobson generators of the quantum superalgebra $U_q[sl(n+1|m)]$ and Fock representations

abstract: As an alternative to Chevalley generators, we introduce Jacobson generators for the quantum superalgebra $U_q[sl(n+1|m)]$. The expressions of all Cartan-Weyl elements of $U_q[sl(n+1|m)]$ in terms of these Jacobson generators become very simple. We determine and prove certain triple relations between the Jacobson generators, necessary for a complete set of supercommutation relations between the Cartan-Weyl elements. Fock representations are defined, and a substantial part of this paper is devoted to the computation of the action of Jacobson generators on basis vectors of these Fock spaces. It is also determined when these Fock representations are unitary. Finally, Dyson and Holstein-Primakoff realizations are given, not only for the Jacobson generators, but for all Cartan-Weyl elements of $U_q[sl(n+1|m)]$.


title: Fedosov connections on jet bundles and deformation quantization

abstract: We review our construction of star-products on Poisson manifolds and discuss some examples. In particular, we work out the relation with Fedosov's original construction in the symplectic case.


title: On power sets

abstract: This work presents theorems which state (i) Z is a proper subset for any bijection f between A and Z, where Z is contained in P(A), A is a non-finite set and |Z|=|A|, and (ii) being Z a proper subset of P(A) nothing affirms or denies that |P(A)|>|A|. Russell's paradox is examined and it is shown that the set of all the ordinary sets does not exist. A mistake in Cantor's proof on cardinality of power sets is shown.


title: Determinants of pseudodifferential operators and complex deformations of phase space

abstract: Consider an h-pseudodifferential operator P, whose symbol extends holomorphically to a tubular neighborhood of the real phase space and converges sufficiently fast to 1, so that the determinant of P is well-defined. We show that the modulus of this determinant is asymptotically bounded by an exponential of the integral of the logarithm of the modulus of the symbol along a certain complex deformation of the real phase space. Since there are many possible such deformations, we get a variational problem. The paper is devoted to the corresponding variational calculus.


title: Bohr-Sommerfeld quantization condition for non-selfadjoint operators in dimension 2

abstract: For a class of non-selfadjoint h-pseudodifferential operators in dimension 2, we determine all eigenvalues in an h-independent domain in the complex plane and show that they are given by a Bohr-Sommerfeld quantization condition. No complete integrability is assumed, and as a geometrical step in our proof, we get a KAM-type theorem (without small divisors) in the complex domain.


title: The generalized Korteweg-de Vries equation on the half line

abstract: The initial-boundary value problem for the generalized Korteweg-de Vries equation on a half-line is studied by adapting the initial value techniques developed by Kenig, Ponce and Vega and Bourgain to the initial-boundary setting. The approach consists of replacing the initial-boundary problem by a forced initial value problem. The forcing is selected to satisfy the boundary condition by inverting a Riemann-Liouville fractional integral.


title: Structures geometriques

abstract: We study the notion of geometric structures for toposes: This generalizes the notion of (X,G) manifolds. We give some applications to algebraic geometry


title: A spanning set for VOA modules

abstract: We develop a spanning set for weak modules of C_2 co-finite vertex operator algebras. This spanning set has finiteness properties that we use to show weak modules are C_n co-finite and A_n(M) is finite dimensional.


title: Reflection quotients in Riemannian Geometry. A Geometric Converse to Chevalley's Theorem

abstract: Chevalley's theorem and it's converse, the Sheppard-Todd theorem, assert that finite reflection groups are distinguished by the fact that the ring of invariant polynomials is freely generated. We show that in the Euclidean case, a weaker condition suffices to characterize finite reflection groups, namely that a freely-generated polynomial subring is closed with respect to the gradient product.


title: Seiberg--Witten invariants and surface singularities

abstract: We formulate a very general conjecture relating the analytical invariants of a normal surface singularity to the Seiberg-Witten invariants of its link provided that the link is a rational homology sphere. As supporting evidence, we establish its validity for a large class of singularities: some rational and minimally elliptic (including the cyclic quotient and `polygonal') singularities, and Brieskorn-Hamm complete intersections. Some of the verifications are based on a result which describes (in terms of the plumbing graph) the Reidemeister-Turaev sign refined torsion (or, equivalently, the Seiberg-Witten invariant) of a rational homology 3-manifold M, provided that M is given by a negative definite plumbing. These results extend previous work of Artin, Laufer and S S-T Yau, respectively of Fintushel-Stern and Neumann-Wahl.


title: Node polynomials for families: results and examples

abstract: We continue the development of methods for enumerating nodal curves on smooth complex surfaces, stressing the range of validity. We illustrate the new methods in three important examples. First, for up to eight nodes, we confirm G\"ottsche's conjecture about plane curves of low degree. Second, we justify Vainsencher's enumeration of irreducible six-nodal plane curves on a general quintic threefold in four-space. Third, we supplement Bryan and Leung's enumeration of nodal curves in a given homology class on an Abelian surface of Picard number one.


title: Polynomial maps of complex plane with branched valued set isomorphic to complex line

abstract: We present a list of all polynomial dominanting maps of the complex plane with branched value curve isomorphic to the complex line, up to polynomial automorphisms.


title: Relative Zeta Functions, Determinants, Torsion, Index Theorems and Invariants for Open Manifolds

abstract: The set of Clifford bundles of bounded geometry over open manifolds can be endowed with a metrizable uniform structure. For one fixed bundle $E$ we define the generalized component $\gencomp (E)$ as the set of Clifford bundles $E'$ which have finite distance to $E$. If $D$, $D'$ are the associated generalized Dirac operators, we prove for the pair $(D,D')$ relative index theorems, define relative $\zeta$-- and $\eta$--functions, relative determinants and in the case of $D=\Delta$ relative analytic torsion. To define relative $\zeta$-- and $\eta$--functions, we assume additionally that the essential spectrum of $D^2$ has a gap above zero.


title: A short simplicial h-vector and the upper bound theorem

abstract: We verify the Upper Bound Conjecture (UBC) for a class of odd-dimensional simplicial complexes that in particular includes all Eulerian simplicial complexes with isolated singularities. The proof relies on a new invariant of simplicial complexes -- a short simplicial h-vector.


title: On exceptional terminal singularities

abstract: The first examples of exceptional terminal singularities are constructed.


title: The Plancherel decomposition for a reductive symmetric space II. Representation theory

abstract: We obtain the Plancherel decomposition for a reductive symmetric space in the sense of representation theory. Our starting point is the Plancherel formula for spherical Schwartz functions, obtained in part I (math.RT/0107063). The formula for Schwartz functions involves Eisenstein integrals obtained by a residual calculus. In the present paper we identify these integrals as matrix coefficients of the generalized principal series.


title: Random walks on randomly oriented lattices

abstract: Simple random walks on various types of partially horizontally oriented regular lattices are considered. The horizontal orientations of the lattices can be of various types (deterministic or random) and depending on the nature of the orientation the asymptotic behaviour of the random walk is shown to be recurrent or transient. In particular, for randomly horizontally oriented lattices the random walk is almost surely transient.


title: Cartan Determinants and Shapovalov forms

abstract: We compute the determinant of the Gram matrix of the Shapovalov form on weight spaces of the basic representation of an affine Kac-Moody algebra of ADE type (possibly twisted). As a consequence, we obtain explicit formulae for the determinants of the Cartan matrices of $p$-blocks of the symmetric group and its double cover, and of the associated Hecke algebras at roots of unity.


title: Blow-ups of three-dimensional terminal singularities: cA case

abstract: Divisors with minimal discrepancy over cA points are classified


title: Twisted superYangians and their representations

abstract: Starting with the superYangian Y(M|N) based on gl(M|N), we define twisted superYangians Y^+(M|N) and Y^-(M|N). Only Y^+(M|2n) and Y^-(2m|N) can be defined, and appear to be isomorphic one with each other. We study their finite-dimensional irreducible highest weight representations.


title: The Floyd-Warshall Algorithm, the AP and the TSP

abstract: We use admissible permutations and a variant of the Floyd-Warshall algorithm to obtain an optimal solution to the Assignment Problem. Using another variant of the F-W algorithm, we obtain an approximate solution to the Traveling Salesman Problem. We also give a sufficient condition for the approximate solution to be an optimal solution.


title: q-Algebras and Arrangements of Hyperplanes

abstract: Varchenko's approach to quantum groups, from the theory of arrangements of hyperplanes, can be usefully applied to q-algebras in general, of which quantum groups and quantum (super) Kac-Moody algebras are special cases. New results are obtained on the classification of q-algebras, and of the Serre ideals of generalized quantum (super) Kac-Moody algebras.


title: Subadjunction theorem for pluricanonical divisors

abstract: We prove a subadjunction theorem which relates the multi-adjoint linear system of the ambient space and the linear system of the restricted bundle on a subvariety.


title: Uniform approximate functional equation for principal L-functions

abstract: We prove an approximate functional equation for the central value of the L-series attached to an irreducible cuspidal automorphic representation of GL(m) over a number field with unitary central character. We investigate the decay rate of the terms involved using the analytic conductor of Iwaniec and Sarnak as a guideline. Straightforward extensions of the results exist for products of central values. We hope that these formulae will help further understanding of the central values of principal L-functions, such as finding good bounds on their various power means, or establishing subconvexity or nonvanishing results in certain families. A crucial role in the proofs is played by recent progress on the Ramanujan--Selberg conjectures achieved by Luo, Rudnick and Sarnak. The bounds at the non-Archimedean places enter through the work of Molteni.


title: Reidemeister torsion in Floer-Novikov theory and counting pseudo-holomorphic tori, I

abstract: This is the first part of an article in two parts, which builds the foundation of a Floer-theoretic invariant, (I_F). (See math.DG/0505013 for part II). The Floer homology can be trivial in many variants of the Floer theory; it is therefore interesting to consider more refined invariants of the Floer complex. We consider one such instance--the Reidemeister torsion (\tau_F) of the Floer-Novikov complex of (possibly non-hamiltonian) symplectomorphisms. (\tau_F) turns out NOT to be invariant under hamiltonian isotopies, but this failure may be fixed by introducing certain ``correction term'': We define a Floer-theoretic zeta function (\zeta_F), by counting perturbed pseudo-holomorphic tori in a way very similar to the genus 1 Gromov invariant. The main result of this article states that under suitable monotonicity conditions, the product (I_F:=\tau_F\zeta_F) is invariant under hamiltonian isotopies. In fact, (I_F) is invariant under general symplectic isotopies when the underlying symplectic manifold (M) is monotone. Because the torsion invariant we consider is not a homotopy invariant, the continuation method used in typical invariance proofs of Floer theory does not apply; instead, the detailed bifurcation analysis is worked out. This is the first time such analysis appears in the Floer theory literature in its entirety. Applications of (I_F), and the construction of (I_F) in different versions of Floer theories are discussed in sequels to this article.


title: Special McKay correspondence

abstract: There are many generalizations of the McKay correspondence for higher dimensional Gorenstein quotient singularities and there are some applications to compute the topological invariants today. But some of the invariants are completely different from the classical invariants, in particular for non-Gorenstein cases. In this paper, we would like to discuss the McKay correspondence for 2-dimensional quotient singularities via "special" representations which gives the classical topological invariants and give a new characterization of the special representations for cyclic quotient singularities in terms of combinatorics.


title: Foundations of algebraic surgery

abstract: An elementary introduction to the principles of algebraic surgery.


title: The structure set of an arbitrary space, the algebraic surgery exact sequence and the total surgery obstruction

abstract: An introduction to the applications of algebraic surgery to the structure theory of high-dimensional topological manifolds.


title: Circle valued Morse theory and Novikov homology

abstract: An introduction to circle valued Morse theory and Novikov homology, from an algebraic point of view.


title: Mackey-Glass type delay differential equations near the boundary of absolute stability

abstract: For equations $ x'(t) = -x(t) + \zeta f(x(t-h)), x \in \R, f'(0)= -1, \zeta > 0,$ with $C^3$-nonlinearity $f$ which has negative Schwarzian derivative and satisfies $xf(x) < 0$ for $x\not=0$, we prove convergence of all solutions to zero when both $\zeta -1 >0$ and $h(\zeta-1)^{1/8}$ are less than some constant (independent on $h,\zeta$). This result gives additional insight to the conjecture about the equivalence between local and global asymptotical stabilities in the Mackey-Glass type delay differential equations.


title: On projective varieties of dimension n+k covered by k-spaces

abstract: We study families of linear spaces in projective space whose union is a proper subvariety X of the expected dimension. We establish relations between configurations of focal points and existence or non-existence of a fixed tangent space to X along a general element of the family. We apply our results to the classification of ruled 3-dimensional varieties.


title: Amenability and the bicrossed product construction

abstract: We study stability properties of amenable locally compact quantum groups under the bicrossed product construction. We obtain as our main result an equivalence between amenability of the bicrossed product and amenability of the matched quantum groups used as building ingredients of the bicrossed product. Finally, we give examples of non-amenable locally compact quantum groups obtained by a bicrossed product construction.


title: Vanishing Viscosity Solutions of Nonlinear Hyperbolic Systems

abstract: We consider the Cauchy problem for a strictly hyperbolic, $n\times n$ system in one space dimension: $u_t+A(u)u_x=0$, assuming that the initial data has small total variation. We show that the solutions of the viscous approximations $u_t+A(u)u_x=\ve u_{xx}$ are defined globally in time and satisfy uniform BV estimates, independent of $\ve$. Moreover, they depend continuously on the initial data in the $\L^1$ distance, with a Lipschitz constant independent of $t,\ve$. Letting $\ve\to 0$, these viscous solutions converge to a unique limit, depending Lipschitz continuously on the initial data. In the conservative case where $A=Df$ is the Jacobian of some flux function $f:\R^n\mapsto\R^n$, the vanishing viscosity limits are precisely the unique entropy weak solutions to the system of conservation laws $u_t+f(u)_x=0$.


title: The definition of a differential form on a tangent structure

abstract: Three definitions of a differential form on a tangent structure are considere. It is proved that the (covariant) definition given by Souriau (as a collection of forms indexed by the plaques) is equivalent to a smooth section of the corresponding vector bundle if the space does not have transverse points.


title: The Kauffman polynomials of generalized Hopf links

abstract: Following the recent work by Chan, and by Morton and Hadji on the Homflypt polynomials of some generalized Hopf links, we investigate the Kauffman polynomials of generalized Hopf links. By studying the Kauffman skein module of the solid torus S^1\times D^2, we establish a similar skein map on the Kauffman skein module of S^1\times D^2 which has distinct eigenvalues. Furthermore we are able to calculate the Kauffman polynomials of some specific generalized Hopf links.


title: U(1)-invariant special Lagrangian 3-folds I. Nonsingular solutions

abstract: This is the first of three papers math.DG/0111326, math.DG/0204343 studying special Lagrangian 3-submanifolds (SL 3-folds) N in C^3 invariant under the U(1)-action (z_1,z_2,z_3) --> (gz_1,g^{-1}z_2,z_3) for unit complex numbers g, using analytic methods. The three papers are surveyed in math.DG/0206016. Let N be such a U(1)-invariant SL 3-fold. Then |z_1|^2-|z_2|^2=2a on N for some real number a. Locally, N can be written as a kind of graph of functions u,v : R^2 --> R satisfying a nonlinear Cauchy-Riemann equation depending on a, so that u+iv is like a holomorphic function of x+iy. When a is nonzero, u,v are always smooth and N is always nonsingular. But if a=0, there may be points (x,0) where u,v are not differentiable, which correspond to singular points of N. This paper focusses on the nonsingular case, when a is nonzero. We prove analogues for our nonlinear Cauchy-Riemann equation of well-known results in complex analysis. In particular, we prove existence and uniqueness for solutions of two Dirichlet problems derived from it. This yields existence and uniqueness of a large class of nonsingular U(1)-invariant SL 3-folds in C^3, with two kinds of boundary conditions. In the sequels we extend these results to the singular case a=0. The next paper math.DG/0111326 proves existence and uniqueness of continuous weak solutions to the two Dirichlet problems when a=0. This gives existence and uniqueness of a large class of singular U(1)-invariant SL 3-folds in C^3, with boundary conditions. The final paper math.DG/0204343 studies the nature of the singularities that arise, and constructs U(1)-invariant special Lagrangian fibrations of open sets in C^3.


title: R-matrix presentation for (super)-Yangians Y(g)

abstract: We give a unified RTT presentation of (super)-Yangians Y(g) for so(n), sp(2n) and osp(m|2n).


title: U(1)-invariant special Lagrangian 3-folds II. Existence of singular solutions

abstract: This is the second of three papers math.DG/0111324, math.DG/0204343 studying special Lagrangian 3-submanifolds (SL 3-folds) N in C^3 invariant under the U(1)-action (z_1,z_2,z_3) --> (gz_1,g^{-1}z_2,z_3) for unit complex numbers g, using analytic methods. The three papers are surveyed in math.DG/0206016. If N is such a 3-fold then |z_1|^2-|z_2|^2=2a on N for some real number a. Locally, N can be written as a kind of graph of functions u,v : R^2 --> R satisfying a nonlinear Cauchy-Riemann equation depending on a, so that u+iv is like a holomorphic function of x+iy. The first paper math.DG/0111324 studied the case when a is nonzero. Then u,v are smooth and N is nonsingular. It proved existence and uniqueness for solutions of two Dirichlet problems derived from the equations on u,v. This implied existence and uniqueness for a large class of nonsingular U(1)-invariant SL 3-folds in C^3, with boundary conditions. In this paper and its sequel math.DG/0204343 we focus on the case a=0. Then the nonlinear Cauchy-Riemann equation is not always elliptic. Because of this there may be points (x,0) where u,v are not differentiable, corresponding to singular points of N. This paper is concerned largely with technical analytic issues, and the sequel with the geometry of the singularities of N. We prove a priori estimates for derivatives of solutions of the nonlinear Cauchy-Riemann equation, and use them to show existence and uniqueness of weak solutions u,v to the two Dirichlet problems when a=0, which are continuous and weakly differentiable. This gives existence and uniqueness for a large class of singular U(1)-invariant SL 3-folds in C^3, with boundary conditions.


title: The structure of 3-manifolds with 2-generated fundamental group

abstract: We prove a structure theorem for 3-manifolds with non-trivial JSJ-decomposition and 2-generated fundamental group. We deduce a variety of Corollaries. Note this is not a complete classification of such manifolds. In particular we believe that one of the families in our list is empty. If you know something about hyperbolic 2-bridge knot exteriors and their finite sheeted covering spaces you might want to finish this off. Thanks.


title: Evaluations of some determinants of matrices related to the Pascal triangle

abstract: We prove several evaluations of determinants of matrices, the entries of which are given by the recurrence $a_{i,j}=a_{i-1,j}+a_{i,j-1}$, or variations thereof. These evaluations were either conjectured or extend conjectures by Roland Bacher [J. Th\'eorie Nombres Bordeaux 13 (2001), to appear; see http://arxiv.org/abs/math.CO/0109013].


title: Explicit and efficient formulas for the lattice point count in rational polygons using Dedekind-Rademacher sums

abstract: We give explicit, polynomial-time computable formulas for the number of integer points in any two-dimensional rational polygon. A rational polygon is one whose vertices have rational coordinates. We find that the basic building blocks of our formulas are Dedekind-Rademacher sums, which are polynomial-time computable finite Fourier series. As a by-product we rederive a reciprocity law for these sums due to Gessel, which generalizes the reciprocity law for the classical Dedekind sums. In addition, our approach shows that Gessel's reciprocity law is a special case of the one for Dedekind-Rademacher sums, due to Rademacher.


title: Unitary perturbations of masas in type $II_1$ factors

abstract: We investigate maximal abelian subalgebras (masas) in separably acting type $II_1$ factors. We use the notion of distance between masas which we introduced in an earlier paper in this archive, OA/0107075. The main result of the paper is to show that for any unitary u and a masa A, the distance between A and uAu* is comparable to the distance in 2-norm from u to the unitary normalizer N(A) of A. In qualitative terms, this says that a unitary almost normalizes A if and only if it is close to a normalizing unitary. Inequalities in the paper make this statement quantitatively precise. As a consequence, all singular masas in separably acting type $II_1$ factors are $\alpha$-strongly singular, as defined in the above referenced paper, for a universal value of $\alpha$.


title: Multidimensional Ehrhart Reciprocity

abstract: In a previous paper (El. J. Combin. 6 (1999), R37), the author generalized Ehrhart's idea of counting lattice points in dilated rational polytopes: Given a rational polytope, that is, a polytope with rational vertices, we use its description as the intersection of halfspaces, which determine the facets of the polytope. Instead of just a single dilation factor, we allow different dilation factors for each of these facets. We proved that, if our polytope is a simplex, the lattice point counts in the interior and closure of such a vector-dilated simplex are quasipolynomials satisfying an Ehrhart-type reciprocity law. This generalizes the classical reciprocity law for rational polytopes. In the present paper we complete the picture by extending this result to general rational polytopes. As a corollary, we also generalize a reciprocity theorem of Stanley.


title: Contractible classes in toric varieties

abstract: Let X be a smooth, complete, toric variety. We study those curves C in X that are contractible, in the sense that there exists an equivariant morphism with connected fibers, with source X, that contracts exactly the irreducible curves that are numerically equivalent to a multiple of C. When X is projective, we compare contractible and extremal curves, and we show that every curve in X is numerically equivalent to a linear combination with positive integral coefficients of contractible curves.


title: Demuskin groups with operators

abstract: In this paper we consider pro-p Poincar\'e groups of dimension 2 (so-called Demuskin groups) on which a finite (abelian) group of order prime to p acts. In particular, we are interested in free pro-p quotient which are invariant under this action.


title: Weil-Petersson Completion of Teichmueller Spaces and Mapping Class Group Actions

abstract: Given a surface of higher genus, we will look at the Weil-Petersson completion of the Teichmuller space of the surface, and will study the isometric action of the mapping class group on it. The main observation is that the geometric characteristics of the setting bear strong similarities to the ones in semi-simple Lie group actions on noncompact symmetric spaces.


title: A Jensen Inequality for a Family of Analytic Functions

abstract: We improve an estimate (obtained in "A.Brudnyi, Small amplitude limit cycles and the distribution of zeros of families of analytic functions, Ann. of Math. 154 (2) (2001), 227-243") for the average number of limit cycles of a planar polynomial vector field situated in a neighbourhood of the origin provided that the field in a larger neighbourhood is close enough to a linear center. The result follows from a new distributional inequality for the number of zeros of a family of univariate holomorphic functions depending holomorphically on a parameter.


title: On Harmonic Mappings into Weil-Peterssson Completed Teichmuller Spaces

abstract: Harmonic mappings into Teichmuller spaces appear in the study of manifolds which are fibrations whose fibers are Riemann surfaces. In this article we will study the existence and uniquenesses questions of harmonic mappings into Teichmuller spaces, as well as some local and global behavior of the harmonic images induced by the Weil-Petersson geometry of Teichmuller spaces.


title: Algebraic orbifold quantum products

abstract: The purpose of this note is to give an overview of our work on defining algebraic counterparts for W. Chen and Y. Ruan's Gromov-Witten Theory of orbifolds. This work will be described in detail in a subsequent paper. The presentation here is generally based on lectures given by two of us at the Orbifold Workshop in Madison, Wisconsin. Following the spirit of the workshop, we give a nontechnical introduction to stacks, a general discussion of twisted stable maps, and a run-through of the issues that arise when generalizing Gromov-Witten theory to Deligne-Mumford stacks. We make a special effort to make our constructions as canonical as we can, systematically using the language of algebraic stacks. Our efforts bear some concrete fruits; in particular, we are able to define the Chen-Ruan product in degree 0 (the so called stringy cohomology of the stack) with integer coefficients. Beware - this note may be vanishing in front of your eyes: first, a somewhat less technical version intended for the workshop proceedings will shortly (we hope) be submitted. Second, a much more detailed paper is in preparation, in which all the technicalities which are swept under the rug here are discussed, as well as some cool stuff about taking roots.


title: Duality for Knizhnik-Zamolodchikov and Dynamical Equations

abstract: We consider the Knizhnik-Zamolodchikov (KZ) and dynamical equations, both differential and difference, in the context of the (gl_k,gl_n) duality. We show that the KZ and dynamical equations naturally exchange under the duality.


title: Orbispaces and Orbifolds from the Point of View of the Borel Construction, a new Definition

abstract: ``An orbifold is a space which is locally modeled on the quotient of a vector space by a finite group.'' This sentence is so easily said or written that more than one person has missed some of the subtleties hidden by orbifolds. Orbifolds were first introduced by Satake under the name ``V-manifold'' and rediscovered by Thurston who called them ``orbifolds''. Both of them used only faithful actions to define their orbifolds (these are the so called reduced orbifolds). This intuitive restriction is very unnatural mathematically if we want for example to study suborbifolds. Orbispaces are to topological spaces what orbifolds are to manifolds. They have been defined by Haefliger via topological groupoids. He defined the homotopy and (co)homology groups of an orbispace to be those of the classifying space of the topological groupoid. However, his definition of morphisms is complicated and technical. Ruan and Chen have tried to reformulate the definitions, but they don't seem treat the non-reduced case in a satisfactory way. Our idea is to define orbispaces and orbifolds directly via their classifying spaces. This approach allows us to easily define morphisms of orbispaces and orbifolds with all the desired good properties.


title: Toric Fano varieties and birational morphisms

abstract: In this paper we study smooth toric Fano varieties using primitive relations and toric Mori theory. We show that for any irreducible invariant divisor D in a toric Fano variety X, we have $0\leq\rho_X-\rho_D\leq 3$, for the difference of the Picard numbers of X and D. Moreover, if $\rho_X-\rho_D>0$ (with some additional hypotheses if $\rho_X-\rho_D=1$), we give an explicit birational description of X. Using this result, we show that when dim X=5, we have $\rho_X\leq 9$. In the second part of the paper, we study equivariant birational morphisms f whose source is Fano. We give some general results, and in dimension 4 we show that f is always a composite of smooth equivariant blow-ups. Finally, we study under which hypotheses a non-projective toric variety can become Fano after a smooth equivariant blow-up.


title: The coarea formula for Sobolev mappings

abstract: We extend Federer's coarea formula to mappings $f$ belonging to the Sobolev class $W^{1,p}(R^n;R^m)$, $1 \le m < n$, $p>m$, and more generally, to mappings with gradient in the Lorentz space $L^{m,1}(R^n)$. This is accomplished by showing that the graph of $f$ in $R^{n+m}$ is a Hausdorff $n$-rectifiable set.


title: Hypergeometric Solutions of the qKZ Equation at Level Zero

abstract: We discuss relations between different integral formulae for solutions of the quantized Knizhnik-Zamolodchikov (qKZ) equation at level zero in the $U_q(sl_2)$ case for $|q|<1$. Smirnov type formulae of M.Jimbo et al. are derived from the general approach of A.Varchenko and the author. The consideration is parallel to the qKZ equation in the rational $sl_2$ case done by A.Nakayashiki, S.Pakuliak and the author [q-alg/9712002].


title: On quasi-affine transforms of Read's operator

abstract: We show that C.J.Read's example of an operator T on l_1 which does not have any non-trivial invariant subspaces is not the adjoint of an operator on a predual of l_1. Furthermore, we present a bounded diagonal operator D such that even though its inverse is unbounded, but D^{-1}TD is a bounded operator with invariant subspaces, and is adjoint to an operator on c_0.


title: Divisorial contractions to some Gorenstein singularities

abstract: Divisorial contractions to singularities, defined by equations $xy+z^n+u^n=0$ $n\ge3$ and $xy+z^3+u^4=0$ are classified.


title: Commutator length of symplectomorphisms

abstract: Each element of the commutator subgroup of a group can be represented as a product of commutators. The minimal number of factors in such a product is called the commutator length of the element. The commutator length of a group is defined as the supremum of commutator lengths of elements of its commutator subgroup. We show that for certain closed symplectic manifolds, including complex projective spaces and Grassmannians, the universal cover of the group of Hamiltonian symplectomorphisms of the manifold has infinite commutator length. In particular, we present explicit examples of elements in that group that have arbitrarily large commutator length -- the estimate on their commutator length depends on the multiplicative structure of the quantum cohomology of the symplectic manifold. By a different method we also show that in the case when the first Chern class of the manifold is zero the universal covers of the group of Hamiltonian symplectomorphisms and of the identity component of the group of all symplectomorphisms both have infinite commutator length.


title: On a new scale of regularity spaces with applications to Euler's equations

abstract: We introduce a new ladder of function spaces which is shown to fill in the gap between the weak $L^{p\infty}$ spaces and the larger Morrey spaces, $M^p$. Our motivation for introducing these new spaces, denoted $\V^{pq}$, is to gain a more accurate information on (compact) embeddings of Morrey spaces in appropriate Sobolev spaces. It is here that the secondary parameter q (-- and a further logarithmic refinement parameter $\alpha$, denoted $\V^{pq}(\log \V)^{\alpha}$) gives a finer scaling, which allows us to make the subtle distinctions necessary for embedding in spaces with a fixed order of smoothness. We utilize an $H^{-1}$-stability criterion which we have recently introduced in {Lopes Filho M C, Nussenzveig Lopes H J and Tadmor E 2001 Approximate solution of the incompressible Euler equations with no concentrations Ann. Institut H Poincare C 17 371-412}, in order to study the strong convergence of approximate Euler solutions. We show how the new refined scale of spaces, $\V^{pq}(\log \V)^{\alpha}$, enables us approach the borderline cases which separate between $H^{-1}$-compactness and the phenomena of concentration-cancelation. Expressed in terms of their $\V^{pq}(\log \V)^{\alpha}$ bounds, these borderline cases are shown to be intimately related to uniform bounds of the total (Coulomb) energy and the related vorticity configuration.


title: Critical Thresholds in Euler-Poisson Equations

abstract: We present a preliminary study of a new phenomena associated with the Euler-Poisson equations -- the so called critical threshold phenomena, where the answer to questions of global smoothness vs. finite time breakdown depends on whether the initial configuration crosses an intrinsic, ${O}(1)$ critical threshold. We investigate a class of Euler-Poisson equations, ranging from one-dimensional problem with or without various forcing mechanisms to multi-dimensional isotropic models with geometrical symmetry. These models are shown to admit a critical threshold which is reminiscent of the conditional breakdown of waves on the beach; only waves above certain initial critical threshold experience finite-time breakdown, but otherwise they propagate smoothly. At the same time,the asymptotic long time behavior of the solutions remains the same, independent of crossing these initial thresholds. A case in point is the simple one-dimensional problem where the unforced inviscid Burgers' solution always forms a shock discontinuity except for the non-generic case of increasing initial profile, $u_0' \geq 0$. In contrast, we show that the corresponding one dimensional Euler-Poisson equation with zero background has global smooth solutions as long as its initial $(\rho_0,u_0)$- configuration satisfies $u_0'\geq -\sqrt{2k\rho_0}$, allowing a finite, critical negative velocity gradient. As is typical for such nonlinear convection problems one is led to a Ricatti equation which is balanced here by a forcing acting as a 'nonlinear resonance', and which in turn is responsible for this critical threshold phenomena.


title: Spectral Dynamics of the Velocity Gradient Field in Restricted Flows

abstract: We study the velocity gradients of the fundamental Eulerian equation, $\partial_t u +u\cdot \nabla u=F$, which shows up in different contexts dictated by the different modeling of $F$'s. To this end we utilize a basic description for the spectral dynamics of $\nabla u$, expressed in terms of the (possibly complex) eigenvalues, $\lambda=\lambda(\nabla u)$, which are shown to be governed by the Ricatti-like equation $\lambda_t+u\cdot \nabla\lambda+\lambda^2= < l, \nabla F r>$. We address the question of the time regularity of four prototype models associated with different forcing $F$. Using the spectral dynamics as our essential tool in these investigations, we obtain a simple form of a critical threshold for the linear damping model and we identify the 2D vanishing viscosity limit for the viscous irrotational dusty medium model. Moreover, for the $n$-dimensional restricted Euler equations we obtain $[n/2]+1$ global invariants, interesting for their own sake, which enable us to precisely characterize the local topology at breakdown time, extending previous studies in the $n=3$-dimensional case. Finally, as a forth model we introduce the $n$-dimensional restricted Euler-Poisson (REP)system, identifying a set of $[n/2]$ global invariants, which in turn yield (i) sufficient conditions for finite time breakdown, and (ii) characterization of a large class of 2-dimensional initial configurations leading to global smooth solutions. Consequently, the 2D restricted Euler-Poisson equations are shown to admit a critical threshold.


title: Detection of Edges in Spectral Data II. Nonlinear Enhancement

abstract: We discuss a general framework for recovering edges in piecewise smooth functions with finitely many jump discontinuities, where $[f](x):=f(x+)-f(x-) \neq 0$. Our approach is based on two main aspects--localization using appropriate concentration kernels and separation of scales by nonlinear enhancement. To detect such edges, one employs concentration kernels, $K_\epsilon(\cdot)$, depending on the small scale $\epsilon$. It is shown that odd kernels, properly scaled, and admissible (in the sense of having small $W^{-1,\infty}$-moments of order ${\cal O}(\epsilon)$) satisfy $K_\epsilon*f(x) = [f](x) +{\cal O}(\epsilon)$, thus recovering both the location and amplitudes of all edges.As an example we consider general concentration kernels of the form $K^\sigma_N(t)=\sum\sigma(k/N)\sin kt$ to detect edges from the first $1/\epsilon=N$ spectral modes of piecewise smooth f's. Here we improve in generality and simplicity over our previous study in [A. Gelb and E. Tadmor, Appl. Comput. Harmon. Anal., 7 (1999), pp. 101-135]. Both periodic and nonperiodic spectral projections are considered. We identify, in particular, a new family of exponential factors, $\sigma^{exp}(\cdot)$, with superior localization properties. The other aspect of our edge detection involves a nonlinear enhancement procedure which is based on separation of scales between the edges, where $K_\epsilon*f(x)\sim [f](x) \neq 0$, and the smooth regions where $K_\epsilon*f = {\cal O}(\epsilon) \sim 0$. Numerical examples demonstrate that by coupling concentration kernels with nonlinear enhancement one arrives at effective edge detectors.


title: Adaptive Mollifiers for High Resolution Recovery of Piecewise Smooth Data from its Spectral Information

abstract: We discuss the reconstruction of piecewise smooth data from its (pseudo-) spectral information. Spectral projections enjoy superior resolution provided the data is globally smooth, while the presence of jump discontinuities is responsible for spurious ${\cal O}(1)$ Gibbs oscillations in the neighborhood of edges and an overall deterioration to the unacceptable first-order convergence rate. The purpose is to regain the superior accuracy in the piecewise smooth case, and this is achieved by mollification. Here we utilize a modified version of the two-parameter family of spectral mollifiers introduced by Gottlieb & Tadmor [GoTa85]. The ubiquitous one-parameter, finite-order mollifiers are based on dilation. In contrast, our mollifiers achieve their high resolution by an intricate process of high-order cancelation. To this end, we first implement a localization step using edge detection procedure, [GeTa00a, GeTa00b]. The accurate recovery of piecewise smooth data is then carried out in the direction of smoothness away from the edges, and adaptivity is responsible for the high resolution. The resulting adaptive mollifier greatly accelerates the convergence rate, recovering piecewise analytic data within exponential accuracy while removing spurious oscillations that remained in [GoTa85]. Thus, these adaptive mollifiers offer a robust, general-purpose ``black box'' procedure for accurate post processing of piecewise smooth data.


title: Coloured permutations containing and avoiding certain patterns

abstract: Following Mansour, let $S_n^{(r)}$ be the set of all coloured permutations on the symbols $1,2,...,n$ with colours $1,2,...,r$, which is the analogous of the symmetric group when r=1, and the hyperoctahedral group when r=2. Let $I\subseteq\{1,2,...,r\}$ be subset of d colours; we define $T_{k,r}^m(I)$ be the set of all coloured permutations $\phi\in S_k^{(r)}$ such that $\phi_1=m^{(c)}$ where $c\in I$. We prove that, the number $T_{k,r}^m(I)$-avoiding coloured permutations in $S_n^{(r)}$ equals $(k-1)!r^{k-1}\prod_{j=k}^n h_j$ for $n\geq k$ where $h_j=(r-d)j+(k-1)d$. We then prove that for any $\phi\in T_{k,r}^1(I)$ (or any $\phi\in T_{k,r}^k(I)$), the number of coloured permutations in $S_n^{(r)}$ which avoid all patterns in $T_{k,r}^1(I)$ (or in $T_{k,r}^k(I)$) except for $\phi$ and contain $\phi$ exactly once equals $\prod_{j=k}^n h_j\cdot \sum_{j=k}^n \frac{1}{h_j}$ for $n\geq k$. Finally, for any $\phi\in T_{k,r}^m(I)$, $2\leq m\leq k-1$, this number equals $\prod_{j=k+1}^n h_j$ for $n\geq k+1$. These results generalize recent results due to Mansour, and due to Simion.


title: Noncommutative extensions of the Fourier transform and its logarithm

abstract: We introduce and study noncommutative extensions of the Fourier transform and its logarithm to the algebra of functions on the free semigroup FS(2) on two generators with the convolution multiplication. These extensions are new types of moment and cumulant generating functions, respectively, the latter corresponding to the cumulants which are additive under the so-called filtered convolution on the free *-algebra on two generators. This algebra plays the role of a ``noncommutative plane'' built on the ``classical real line'' and the ``boolean real line''. The restrictions of the cumulant generating function to the commutative subsemigroups generated by single generators give the logarithm of the Fourier transform and the K-transform in the boolean case, respectively. In turn, the moment generating function is a ``semigroup interpolation'' between the Fourier transform and the Cauchy transform. Using suitable weight function $W$ on the semigroup, both generating functions become elements of the Banach algebra $l^{1}(FS(2),W)$. The main results of the paper are based on the new combinatorics developed for the cumulants, the Moebius function and the moment-cumulant formulas.


title: Uniform approximation of continuous functions by smooth functions with no critical points on Hilbert manifolds

abstract: We prove that every continuous function on a separable infinite-dimensional Hilbert space X can be uniformly approximated by smooth functions with no critical points. This kind of result can be regarded as a sort of very strong approximate version of the Morse-Sard theorem. Some consequences of the main theorem are as follows. Every two disjoint closed subsets of X can be separated by a one-codimensional smooth manifold which is a level set of a smooth function with no critical points; this fact may be viewed as a nonlinear analogue of the geometrical version of the Hahn-Banach theorem. In particular, every closed set in X can be uniformly approximated by open sets whose boundaries are smooth one-codimensional submanifolds of X. Finally, since every Hilbert manifold is diffeomorphic to an open subset of the Hilbert space, all of these results still hold if one replaces the Hilbert space X with any smooth manifold M modelled on X.


title: Asymptotic cauchy gains: Definitions and small-gain principle

abstract: A notion of "asymptotic Cauchy gain" for input/output systems, and an associated small-gain principle, are introduced. A Lyapunov-like characterization allows the computation of these gains for state-space systems, and the formulation of sufficient conditions insuring the lack of oscillations and chaotic behaviors in a wide variety of cascades and feedback loops.


title: Quantum Cohomology of Grassmannians and Total Positivity

abstract: We give a proof of a result of D. Peterson's identifying the quantum cohomology ring of a Grassmannian with the reduced coordinate ring of a certain subvariety of $GL_n$. The totally positive part of this subvariety is then constructed and we give closed formulas for the values of the Schubert basis elements on the totally positive points. We then use the developed methods to give a new proof of a formula of Vafa and Intriligator and Bertram for the structure constants (Gromov--Witten invariants). Finally, we use the positivity of these Gromov--Witten invariants to prove certain inequalities for Schur polynomials at roots of unity.


title: Harmonic maps and the topology of conformally compact Einstein manifolds

abstract: We study the topology of a complete asymptotically hyperbolic Einstein manifold such that its conformal boundary has positive Yamabe invariant. We proved that all maps from such manifold into any nonpositively curved manifold are homotopically trivial. Our proof is based on a Bochner type argument on harmonic maps.


title: Totally positive Toeplitz matrices and quantum cohomology of partial flag varieties

abstract: We show that the set of totally positive unipotent lower-triangular Toeplitz matrices in $GL_n$ form a real semi-algebraic cell of dimension $n-1$. Furthermore we prove a natural cell decomposition for its closure. The proof uses properties of the quantum cohomology rings of the partial flag varieties of $GL_n(\C)$ relying in particular on the positivity of the structure constants, which are enumerative Gromov--Witten invariants. We also give a characterization of total positivity for Toeplitz matrices in terms of the (quantum) Schubert classes. This work builds on some results of Dale Peterson's which we explain with proofs in the type $A$ case.


title: On solutions for the Kadomtsev-Petviashvili I equation

abstract: Oscillatory integral techniques are used to study the well-posedness of the KP-I equation for initial data that are small with respect to the norm of a weighted Sobolev space involving derivatives of total order no larger than 2.


title: Quandle Homology Theory and Cocycle Knot Invariants

abstract: This paper is a survey of several papers in quandle homology theory and cocycle knot invariants that have been published recently. Here we describe cocycle knot invariants that are defined in a state-sum form, quandle homology, and methods of constructing non-trivial cohomology classes.


title: The Blaschke conjecture and great circle fibrations of spheres

abstract: We construct an explicit diffeomorphism taking any fibration of a sphere by great circles into the Hopf fibration, using elementary geometry--indeed the diffeomorphism is a local (differential) invariant, algebraic in derivatives.


title: Projectively Dual Varieties

abstract: This text is a draft of the review paper on projectively dual varieties. Topics include dual varieties, Pyasetskii pairing, discriminant complexes, resultants and schemes of zeros, secant and tangential varieties, Ein theorems, applications of projective differential geometry and Mori theory to dual varieties, degree and multiplicities of discriminants, self-dual varieties, etc.


title: The diameter of a long range percolation graph

abstract: We consider the following long range percolation model: an undirected graph with the node set $\{0,1,...,N\}^d$, has edges $(\x,\y)$ selected with probability $\approx \beta/||\x-\y||^s$ if $||\x-\y||>1$, and with probability 1 if $||\x-\y||=1$, for some parameters $\beta,s>0$. This model was introduced by Benjamini and Berger, who obtained bounds on the diameter of this graph for the one-dimensional case $d=1$ and for various values of $s$, but left cases $s=1,2$ open. We show that, with high probability, the diameter of this graph is $\Theta(\log N/\log\log N)$ when $s=d$, and, for some constants $0<\eta_1<\eta_2<1$, it is at most $N^{\eta_2}$, when $s=2d$ and is at least $N^{\eta_1}$ when $d=1,s=2,\beta<1$ or $s>2d$. We also provide a simple proof that the diameter is at most $\log^{O(1)}N$ with high probability, when $d<s<2d$, established previously by Berger and Benjamini.


title: Well-posedness for the Linearized Motion of an Incompressible Liquid with Free Surface Boundary

abstract: We study the problem of the motion of the free surface of a liquid. We prove existence and stability for the linearized equations.


title: VOAs generated by two conformal vectors whose $\tau$-involutions generate $S_3$

abstract: We determined the inner products of two conformal vectors with central charge 1/2 whose \tau-involutions generates S_3 if none of \tau-involutions are trivial. We also see that a subVA generated by such conformal vectors is a VOA with central charge 1/2+20/21 or $4/5+6/7 and has a Griess algebra of dimension three or four, respectively.


title: Asymptotic normality of kernel type deconvolution estimators

abstract: We derive asymptotic normality of kernel type deconvolution estimators of the density, the distribution function at a fixed point, and of the probability of an interval. We consider the so called super smooth case where the characteristic function of the known distribution decreases exponentially. It turns out that the limit behavior of the pointwise estimators of the density and distribution function is relatively straightforward while the asymptotics of the estimator of the probability of an interval depends in a complicated way on the sequence of bandwidths.


title: Conformally invariant powers of the ambient Dirac operator

abstract: This paper constructs a family of conformally invariant differential operators acting on spinor densities with leading part a power of the Dirac operator. The construction applies for all powers in odd dimensions, and only for finitely many powers in even dimensions. These operators arise naturally as obstructions to formal solution of the Dirac equation on the Fefferman-Graham ambient space with prescribed boundary conditions.


title: Arithmetree

abstract: We construct an addition and a multiplication on the set of planar binary trees, closely related to addition and multiplication on the integers. This gives rise to a new kind of (noncommutative) arithmetic theory. The price to pay for this generalization is that, first the addition is not commutative, second the multiplication is distributive with the addition only on the left. This algebraic structure is the "exponent part" of the free dendriform algebra on one generator, a notion related to several other types of algebras. In the second part we extend this theory to all the planar trees. Then it is related to the free dendriform trialgebra as constructed in Loday-Ronco's paper "Une dualite' entre simplexes standards et polytopes de Stasheff".


title: BC_n-symmetric polynomials

abstract: We consider two important families of BC_n-symmetric polynomials, namely Okounkov's interpolation polynomials and Koornwinder's orthogonal polynomials. We give a family of difference equations satisfied by the former, as well as generalizations of the branching rule and Pieri identity, leading to a number of multivariate q-analogues of classical hypergeometric transformations. For the latter, we give new proofs of Macdonald's conjectures, as well as new identities, including an inverse binomial formula and several branching rule and connection coefficient identities. We also derive families of ordinary symmetric functions that reduce to the interpolation and Koornwinder polynomials upon appropriate specialization. As an application, we consider a number of new integral conjectures associated to classical symmetric spaces.


title: Differentiability, Convenient Spaces and Smooth Diffeologies

abstract: We review the basic definitions and properties concerning smooth structures, convenient spaces, diffeological spaces and tangent structures. The relation betwen them is described. A tangent structure is constructed for each pre-convenient space. This one is proved to be convenient iff the space and the tangent fibres coincide. Some basic comments on the relation with manifolds are given.


title: Orbifold quantum cohomology of the classifying space of a finite group

abstract: We work through, in detail, the orbifold quantum cohomology, with gravitational descendants, of the stack BG, the point modulo trivial action of a finite group G. We provide a simple description of algebraic structures on the state space of this theory. As a consequence, we find that multiple copies of commuting Virasoro algebras appear in this theory which completely determine the correlators of the theory.


title: An affine PI Hopf algebra not finite over a normal commutative Hopf subalgebra

abstract: In formulating a generalized framework to study certain noncommutative algebras naturally arising in representation theory, K. A. Brown asked if every finitely generated Hopf algebra satisfying a polynomial identity was finite over a normal commutative Hopf subalgebra. In this note we show that Radford's biproduct, applied to the enveloping algebra of the Lie superalgebra pl(1,1), provides a noetherian prime counterexample.


title: The free entropy dimension of hyperfinite von Neumann algebras

abstract: Suppose M is a hyperfinite von Neumann algebra with a tracial state $\phi$ and $\{a_1,...,a_n\}$ is a set of selfadjoint generators for M. We calculate $\delta_0(a_1,...,a_n)$, the modified free entropy dimension of $\{a_1,...,a_n\}$. Moreover we show that $\delta_0(a_1,...,a_n)$ depends only on M and $\phi$. Consequently $\delta_0(a_1,...,a_n)$ is independent of the choice of generators for M. In the course of the argument we show that if $\{b_1,...,b_n\}$ is a set of selfadjoint generators for a von Neumann algebra R with a tracial state and $\{b_1,...,b_n\}$ has finite dimensional approximants, then for any $b\in R$ $\delta_0(b_1,...,b_n)\geq \delta_0(b)$. Combined with a result by Voiculescu this implies that if R has a regular diffuse hyperfinite von Neumann subalgebra, then $\delta_0(b_1,...,b_n)=1$.


title: New proof of the Cheeger-Muller Theorem

abstract: We present a short analytic proof of the equality between the analytic and combinatorial torsion. We use the same approach as in the proof given by Burghelea, Friedlander and Kappeler, but avoid using the difficult Mayer-Vietoris type formula for the determinants of elliptic operators. Instead, we provide a direct way of analyzing the behaviour of the determinant of the Witten deformation of the Laplacian. In particular, we show that this determinant can be written as a sum of two terms, one of which has an asymptotic expansion with computable coefficients and the other is very simple (no zeta-function regularization is involved in its definition).


title: The geometry of the local cohomology filtration in equivariant bordism

abstract: Local cohomology techniques in equivariant homotopy theory, introduced by John Greenlees, may be applied to understand homology of classifying spaces through other equivariant data. In this paper we relate the local cohomology filtration to the families filtration. By doing so, we may identify geometry codified by the local cohomology filtration in the setting of equivariant bordism. The constructions which arise are naturally analyzed by localized K-theory machinery due to Atiyah and Segal, which we review.


title: Vers un algorithme pour la r\'eduction stable des rev\^etements p-cycliques de la droite projective sur un corps p-adique

abstract: In his Ph. D. thesis, C. Lehr offers an algorithm which gives the stable model for p-cyclic covers of the projective line over a p-adic field under the conditions that the branch locus whose cardinal is m+1 has the so called equidistant geometry and m<p. In this note we give an algorithm also in the equidistant geometry case but without condition on m. In particular we are able to study the reduction at 2 of hyperelliptic curves with equidistant branch locus.


title: QED Hopf algebras on planar binary trees

abstract: In this paper we describe the Hopf algebras on planar binary trees used to renormalize the Feynman propagators of quantum electrodynamics, and the coaction which describes the renormalization procedure. Both structures are related to some semi-direct coproduct of Hopf algebras.


title: Differential geometry of the q-quaternion

abstract: Differential calculus on the quantum quaternionic group GL(1,H$_q$) is introduced.


title: Differential geometry of the Z_3-graded quantum superplane

abstract: In this work, differential geometry of the Z$_3$-graded quantum superplane is constructed. The corresponding quantum Lie superalgebra and its Hopf algebra structure are obtained.


title: Equations of low-degree Projective Surfaces with three-divisible Sets of Cusps

abstract: Let Y be a surface with only finitely many singularities all of which are cusps. A set of cusps on Y is called three-divisible, if there is a cyclic global triple cover of Y branched precisely over these cusps. The aim of this note is to determine the equations of surfaces $Y \subset P_3$ of degrees $\leq 6$ carrying a minimal, non-empty, three-divisible set.


title: A global stability criterion for scalar functional differential equations

abstract: We consider scalar delay differential equations $x'(t) = -\delta x(t) + f(t,x_t) (*)$ with nonlinear f satisfying a sort of negative feedback condition combined with a boundedness condition. The well known Mackey-Glass type equations, equations satisfying the Yorke condition, equations with maxima are kept within our considerations. Here, we establish a criterion for the global asymptotical stability of a unique steady state to $(*)$. As an example, we study Nicholson's blowflies equation, where our computations support Smith's conjecture about the equivalence of global and local asymptotical stability in this population model.


title: Kepler's Area Law in the Principia: Filling in some details in Newton's proof of Prop. 1

abstract: During the past 25 years there has been a controversy regarding the adequacy of Newton's proof of Prop. 1 in Book 1 of the {\it Principia}. This proposition is of central importance because its proof of Kepler's area law allowed Newton to introduce a geometric measure for time to solve problems in orbital dynamics in the {\it Principia}. It is shown here that the critics of Prop. 1 have misunderstood Newton's fundamental limit argument by neglecting to consider the justification for this limit which he gave in Lemma 3. We clarify the proof of Prop. 1 by filling in some details left out by Newton which show that his proof of this proposition was adequate and well grounded.


title: Actions of ${\mathbb Z}^k$ associated to higher rnak graphs

abstract: An action of ${\mathbb Z}^k$ is associated to a higher rank graph $\Lambda$ satisfying a mild assumption. This generalises the construction of a topological Markov shift arising from a nonnegative integer matrix. We show that the stable Ruelle algebra of $\Lambda$ is strongly Morita equivalent to $C^*(\Lambda)$. Hence, if $\Lambda$ satisfies the aperiodicity condition, the stable Ruelle algebra is simple, stable and purely infinite.


title: The Natural Chain of Binary Arithmetic Operations and Generalized Derivatives

abstract: This paper presents a graded hierarchy or chain of binary operations on the reals and the complex numbers. The operations are related distributively in the sense that any one of them distributes over the next lower operation in the chain. For one particular operation we explore specific properties and derive results, including several useful formulas and identities. Next, the operation is extended to the complex numbers and a new kind of derivative is defined based on this binary operation. Some basic formulae analogous to standard classical ones are proven for this new derivative. Finally, the derivative is generalized to the point that the new derivative, the classical one, and countably many others are seen to be special cases.


title: Winding-invariant prime ideals in quantum $3\times3$ matrices

abstract: A complete determination of the prime ideals invariant under winding automorphisms in the generic 3 by 3 quantum matrix algebra is obtained. Explicit generating sets consisting of quantum minors are given for all of these primes, thus verifying a general conjecture in the 3 by 3 case. The result relies heavily on certain tensor product decompositions for winding-invariant prime ideals, developed in an accompanying paper. In addition, new methods are developed here, which show that certain sets of quantum minors, not previously manageable, generate prime ideals in the n by n quantum matrix algebra.


title: The Floyd-Warshall Algorithm, the AP and the TSP, Part II

abstract: In math.CO/0111309, we used admissible permutations and a variant of the Floyd-Warshall Algorithm to obtain an optimal solution to the Assignment Problem and an approximate solution to the Traveling Salesman Problem. Here we give a large, detailed illustration of how the algorithms are applied.


title: Kahler metrics whose geodesics are circles

abstract: We classify all Kahler metrics in an open subset of $C^2$ whose real geodesics are circles. All such metrics are equivalent (via complex projective transformations) to Fubini metrics (i.e. to Fubini-Study metric on $CP^2$ restricted to an affine chart, to the complex hyperbolic metric in the unit ball model or to the Euclidean metric).


title: Uniform product of A_{g,n}(V) for an orbifold model V and G-twisted Zhu algebra

abstract: Let V be a vertex operator algebra and G a finite automorphism group of V. For each g\in G and nonnegative rational number n\in {\mathbb Z}/|g|, a g-twisted Zhu algebra A_{g,n}(V) plays an important role in the theory of vertex operator algebras, but the given product in A_{g,n}(V) depends on the eigenspaces of g. We show that there is a uniform definition of products on V and we introduce a G-twisted Zhu algebra A_{G,n}(V) which covers all g-twisted Zhu algebras. Assume that V is simple and let {\cal S} be a finite set of inequivalent irreducible twisted V-modules which is closed under the action of G. There is a finite dimensional semisimple associative algebra {\cal A}_{\alpha}(G,{\cal S}) for a suitable 2-cocycle naturally determined by the G-action on {\cal S}. We show that a duality theorem of Schur-Weyl type holds for the actions of {\cal A}_{\alpha}(G,{\cal S}) and V^G on the direct sum of twisted V-modules in {\cal S} as an application of the theory of A_{G,n}(V). It follows as a natural consequence of the result that for any g\in G every irreducible g-twisted V-module is a completely reducible V^G-module.


title: Laplace operators in deRham complexes associated with measures on configuration spaces

abstract: Let $\Gamma_X$ denote the space of all locally finite configurations in a complete, stochastically complete, connected, oriented Riemannian manifold $X$, whose volume measure $m$ is infinite. In this paper, we construct and study spaces $L^2_\mu\Omega^n$ of differential $n$-forms over $\Gamma_X$ that are square integrable with respect to a probability measure $\mu$ on $\Gamma_X$. The measure $\mu$ is supposed to satisfy the condition $\Sigma_m'$ (generalized Mecke identity) well known in the theory of point processes. On $L^2_\mu\Omega^n$, we introduce bilinear forms of Bochner and deRham type. We prove their closabilty and call the generators of the corresponding closures the Bochner and deRham Laplacian, respectively. We prove that both operators contain in their domain the set of all smooth local forms. We show that, under a rather general assumption on the measure $\mu$, the space of all Bochner-harmonic $\mu$-square integrable forms on $\Gamma_X$ consists only of the zero form. Finally, a Weitzenb\"ock type formula connecting the Bochner and deRham Laplacians is obtained. As examples, we consider (mixed) Poisson measures, Ruelle type measures on $\Gamma_{{\Bbb R}^d}$, and Gibbs measures in the low activity--high temperature regime, as well as Gibbs measures with a positive interaction potential on $\Gamma_X$.


title: Discrete Spacings

abstract: Consider a string of $n$ positions, i.e. a discrete string of length $n$. Units of length $k$ are placed at random on this string in such a way that they do not overlap, and as often as possible, i.e. until all spacings between neighboring units have length less than $k$. When centered and scaled by $n^{-1/2}$ the resulting numbers of spacings of length $1, 2,..., k-1$ have simultaneously a limiting normal distribution as $n\to\infty$. This is proved by the classical method of moments.


title: Around heat decay on forms and relations of nilpotent Lie groups

abstract: One knows that the large time heat decay exponent on a nilpotent group is given by half the growing rate of the volume of its large balls. This work deals with the similar problem of trying to interpret geometrically the heat decay on (one) forms. We will show how it is (partially) related to the depth of the relations required to define the group. The tools used apply in general on Carnot-Caratheodory manifolds.


title: Nonvanishing of External Products for Higher Chow Groups

abstract: Consider an external product of a higher cycle and a usual cycle which is algebraically equivalent to zero. Assume there exists an algebraically closed subfield k such that the higher cycle and its ambient variety are defined over k, but the image of the usual cycle by the Abel-Jacobi map is not. Then we prove that the external product is nonzero if the image of the higher cycle by the cycle map to the reduced Deligne cohomology does not vanish. We also give examples of indecomposable higher cycles on even dimensional hypersurfaces of degree at least four in a projective space such that the last condition is satisfied.


title: Differential geometry of GL$_{p,q}(1| 1)$

abstract: We introduce a construction of the differential calculus on the quantum supergroup GL$_{p,q}(1| 1)$. We obtain two differential calculi, respectively, associated with the left and right Cartan-Maurer one-forms. We also obtain the quantum superalgebra of GL$_{p,q}(1| 1)$. Although all of the structures we obtain are derived without an R matrix, they neverthless can be expressed using an R matrix.


title: Two-parametric extension of h-deformation of GL$(1| 1)$

abstract: The two-parametric quantum deformation of the algebra of coordinate functions on the supergroup GL$(1| 1)$ via a contraction of GL$_{p,q}(1| 1)$ is presented. Related differential calculus on the quantum superplane is introduced.


title: Differential geometry of the q-superplane

abstract: Hopf algebra structures on the extended q-superplane and its differential algebra are defined. An algebra of forms which are obtained from the generators of the extended q-superplane is introduced and its Hopf algebra structure is given


title: From Littlewood-Richardson coefficients to cluster algebras in three lectures

abstract: This is an expanded version of the notes of my three lectures at a NATO Advanced Study Institute ``Symmetric functions 2001: surveys of developments and perspectives" (Isaac Newton Institute for Mathematical Sciences, Cambridge, UK; June 25-July 6, 2001). Lecture I presents a unified expression due to A. Berenstein and the author for generalized Littlewood-Richardson coefficients (= tensor product multiplicities) for any complex semisimple Lie algebra. Lecture II outlines a proof of this result; the main idea of the proof is to relate the LR-coefficients with canonical bases and total positivity. Lecture III introduces cluster algebras, a new class of commutative algebras introduced by S. Fomin and the author in an attempt to create an algebraic framework for canonical bases and total positivity.


title: Hopf algebra structure of Gr$_q(1| 1)$ related to GL$_q(1| 1)$

abstract: We show that the algebra of functions on the Grassmann supergroup Gr$_q(1| 1)$ has a (graded) Hopf algebra structure related to GL$_q(1| 1)$.


title: Morse theory and Euler characteristic of sections of spherical varieties

abstract: A theorem due to D. Bernstein states that Euler characteristic of a hypersurface defined by a polynomial f in (C\{0})^n is equal (upto a sign) to n! times volume of the Newton polyhedron of f. This result is related to algebaric torus actions and toric varieties. In this thesis, I prove that one can generalize the above result to actions of reductive groups with spherical orbits. That is, if a reductive group acts linearly on a vector space such that generic orbits are spherical, one can compute the Euler characteristic of generic hyperplane sections of a generic orbit in terms of combinatorial data. Our main tool is Morse theory. We begin with developing a variant of classical Morse theory for algebraic submanifolds of R^n and linear functionals. This will become related to stratification theory of Thom and Whitney as well as Palais-Smale generalized Morse theory.


title: Solution of the d-bar-Neumann problem on a non-smooth domain

abstract: We study the solution of the d-bar-Neumann problem on (0,1)-forms on the product of two half-planes in C^2. In, particular, we show the solution can be decomposed into functions smooth up to the boundary and functions which are singular at the singular points of the boundary. Furthermore, we show the singular functions are log and arctan terms.


title: A generalization of Filliman duality

abstract: Filliman duality expresses (the characteristic measure of) a convex polytope P containing the origin as an alternating sum of simplices that share supporting hyperplanes with P. The terms in the alternating sum are given by a triangulation of the polar body P^o. The duality can lead to useful formulas for the volume of P. A limiting case called Lawrence's algorithm can be used to compute the Fourier transform of P. In this note we extend Filliman duality to an involution on the space of polytopal measures on a finite-dimensional vector space, excluding polytopes that have a supporting hyperplane coplanar with the origin. As a special case, if P is a convex polytope containing the origin, any realization of P^o as a linear combination of simplices leads to a dual realization of P.


title: A unifying generalization of Sperner's theorem

abstract: Sperner's bound on the size of an antichain in the lattice P(S) of subsets of a finite set S has been generalized in three different directions: by Erdos to subsets of P(S) in which chains contain at most r elements; by Meshalkin to certain classes of compositions of S; by Griggs, Stahl, and Trotter through replacing the antichains by certain sets of pairs of disjoint elements of P(S). We unify Erdos's, Meshalkin's, and Griggs-Stahl-Trotter's inequalities with a common generalization. We similarly unify their accompanying LYM inequalities. Our bounds do not in general appear to be the best possible.


title: A shorter, simpler, stronger proof of the Meshalkin-Hochberg-Hirsch bounds on componentwise antichains

abstract: Meshalkin's theorem states that a class of ordered p-partitions of an n-set has at most $\max \binom{n}{a_1,...,a_p}$ members if for each k the k'th parts form an antichain. We give a new proof of this and the corresponding LYM inequality due to Hochberg and Hirsch, which is simpler and more general than previous proofs. It extends to a common generalization of Meshalkin's theorem and Erdos's theorem about r-chain-free set families.


title: A Meshalkin theorem for projective geometries

abstract: Let M be a family of sequences (a_1,...,a_p) where each a_k is a flat in a projective geometry of rank n (dimension n-1) and order q, and the sum of ranks, r(a_1) + ... + r(a_p), equals the rank of the join a_1 v ... v a_p. We prove upper bounds on |M| and corresponding LYM inequalities assuming that (i) all joins are the whole geometry and for each k<p the set of all a_k's of sequences in M contains no chain of length l, and that (ii) the joins are arbitrary and the chain condition holds for all k. These results are q-analogs of generalizations of Meshalkin's and Erdos's generalizations of Sperner's theorem and their LYM companions, and they generalize Rota and Harper's q-analog of Erdos's generalization.


title: Hilbert schemes and symmetric products: a dictionary

abstract: Given a closed complex manifold $X$ of even dimension, we develop a systematic (vertex) algebraic approach to study the rational orbifold cohomology rings $\orbsym$ of the symmetric products. We present constructions and establish results on the rings $\orbsym$ including two sets of ring generators, universality and stability, as well as connections with vertex operators and W algebras. These are independent of but parallel to the main results on the cohomology rings of the Hilbert schemes of points on surfaces as developed in our earlier works joint with W.-P. Li. We introduce a deformation of the orbifold cup product and explain how it is reflected in terms of modification of vertex operators in the symmetric product case. As a corollary, we obtain a new proof of the isomorphism between the rational cohomology ring of Hilbert schemes and the ring $\orbsym$ (after some modification of signs), when X is a projective surface with a numerically trivial canonical class; we show that no sign modification is needed if both cohomology rings use complex coefficients.


title: Stability and asymptotic stability in the energy space of the sum of N solitons for subcritical gKdV equations

abstract: We prove in this paper the stability and asymptotic stability in H^1 of a decoupled sum of N solitons for the subcritical generalized KdV equations $u_t+(u_{xx}+u^p)_x=0$ (1<p<5). The proof of the stability result is based on energy arguments and monotonicity of local L^2 norm. Note that the result is new even for p=2 (the KdV equation). The asymptotic stability result then follows directly from a rigidity theorem in [15].


title: Degeneration of SL(n)-bundles on a reducible curve

abstract: We constructed a projective moduli space of semistable torsion free sheaves with `fixed determinant' on a reducible curve. When a family of smooth curves degenerates to the reducible curve, our moduli space is a degeneration of the moduli spaces of semistable vector bundles with a fixed determinant on the smooth curves. Moreover, the moduli space is reduced and seminormal.


title: Descent Representations and Multivariate Statistics

abstract: Combinatorial identities on Weyl groups of types $A$ and $B$ are derived from special bases of the corresponding coinvariant algebras. Using the Garsia-Stanton descent basis of the coinvariant algebra of type $A$ we give a new construction of the Solomon descent representations. An extension of the descent basis to type $B$, using new multivariate statistics on the group, yields a refinement of the descent representations. These constructions are then applied to refine well-known decomposition rules of the coinvariant algebra and to generalize various identities.


title: Crossed products of C(X)-algebras by endomorphisms and C(X)-categories

abstract: We construct the crossed product of a C(X)-algebra by an endomorphism, in such a way that it becomes induced by a Hilbert C(X)-bimodule. Furthermore we introduce the notion of C(X)-category, and discuss relationships with crossed products and duality for compact groups.


title: On quadrisecant lines of threefolds in P^5

abstract: We study smooth threefolds of the projective space of dimension 5 whose quadrisecant lines don't fill up the space. We give a complete classification of those threefolds X whose only quadrisecant lines are the lines contained in X. Then we prove that, if X admits "true" quadrisecant lines, but they don't fill up the space, then either X is contained in a cubic hypersurface, or it contains a family of dimension at least two of plane curves of degree at least four.


title: Dedekind sums: a combinatorial-geometric viewpoint

abstract: The literature on Dedekind sums is vast. In this expository paper we show that there is a common thread to many generalizations of Dedekind sums, namely through the study of lattice point enumeration of rational polytopes. In particular, there are some natural finite Fourier series which we call Fourier-Dedekind sums, and which form the building blocks of the number of partitions of an integer from a finite set of positive integers. This problem also goes by the name of the `coin exchange problem'. Dedekind sums have enjoyed a resurgence of interest recently, from such diverse fields as topology, number theory, and combinatorial geometry. The Fourier-Dedekind sums we study here include as special cases generalized Dedekind sums studied by Berndt, Carlitz, Grosswald, Knuth, Rademacher, and Zagier. Our interest in these sums stems from the appearance of Dedekind's and Zagier's sums in lattice point count formulas for polytopes. Using some simple generating functions, we show that generalized Dedekind sums are natural ingredients for such formulas. As immediate `geometric' corollaries to our formulas, we obtain and generalize reciprocity laws of Dedekind, Zagier, and Gessel. Finally, we prove a polynomial-time complexity result for Zagier's higher-dimensional Dedekind sums.


title: Dedekind cotangent sums

abstract: Let a, a_1, ..., a_d be positive integers, m_1, ..., m_d nonnegative integers, and z_1, ..., z_d complex numbers. We study expressions of the form \[ \sum_{k \text{mod} a} \prod_{j=1}^d \cot^{(m_j)} \pi (\frac{k a_j}{a} + z_j ) . \] Here the sum is taken over all k mod a for which the summand is not singular. These Dedekind cotangent sums generalize and unify various arithmetic sums introduced by Dedekind, Rademacher, Apostol, Carlitz, Zagier, Berndt, Meyer, Sczech, and Dieter. Generalized Dedekind sums appear in various areas such as analytic and algebraic number theory, topology, algebraic and combinatorial geometry, and algorithmic complexity. We prove reciprocity laws, Petersson-Knopp identities, and computability statements for the Dedekind cotangent sums.


title: Dynamical upper bounds on wavepacket spreading

abstract: We derive a general upper bound on the spreading rate of wavepackets in the framework of Schr\"odinger time evolution. Our result consists of showing that a portion of the wavepacket cannot escape outside a ball whose size grows dynamically in time, where the rate of this growth is determined by properties of the spectral measure and by spatial properties of solutions of an associated time independent Schr\"odinger equation. We also derive a new lower bound on the spreading rate, which is strongly connected with our upper bound. We apply these new bounds to the Fibonacci Hamiltonian--the most studied one-dimensional model of quasicrystals. As a result, we obtain for this model upper and lower dynamical bounds establishing wavepacket spreading rates which are intermediate between ballistic transport and localization. The bounds have the same qualitative behavior in the limit of large coupling.


title: Two parameter deformation of Grassmann matrix group and supergroup

abstract: The two parameter quantum deformation of 2x2 Grassmann matrices, Gr(2), and supermatrices, Gr$(1| 1)$, are presented. Gr(2) whose matrix elements are all Grassmannian variables is called the superdual of the genel linear group GL(2), and Gr$(1| 1)$ whose diagonal matrix elements are Grassmannian variables is called the superdual of the supergroup GL$(1| 1)$ whose nondiagonal elements are Grassmannian. Noncentral dual superdeterminant for Grassmann supermatrices belonging to Gr$_{p,q}(1| 1)$ is constructed. As with the 2x2 quantum matrices, the relations satisfied by the matrix elements of the Grassmann matrices are expressed in terms of an $\hat{R}$-matrix. The properties of $n$th power of a Grassmann supermatrix are given as an Appendix.


title: On the determination of the relations between the matrix elements of CP$_q(n)$ and covariant q-oscillators

abstract: In this article it is explicitly shown that the matrix elements of CP$_q(n)$ are the annihilation operator of Pusz-Woronowicz (P-W) oscillators provided they are rescaled.


title: h-deformation of Grassmann supergroup Gr$(1| 1)$

abstract: We introduce the h-deformation of the algebra of functions on the grassmann supergroup Gr$(1|1)$ via a contraction of Gr$_q(1|1)$.


title: An extension theorem for separately holomorphic functions with pluripolar singularities

abstract: Let $D_j\subset\Bbb C^{n_j}$ be a pseudoconvex domain and let $A_j\subset D_j$ be a locally pluriregular set, $j=1,...,N$. Put $$ X:=\bigcup_{j=1}^N A_1\times...\times A_{j-1}\times D_j\times A_{j+1}\times ...\times A_N\subset\Bbb C^{n_1}\times...\times\Bbb C^{n_N}=\Bbb C^n. $$ Let $U\subset\Bbb C^n$ be an open neighborhood of $X$ and let $M\subset U$ be a relatively closed subset of $U$. For $j\in\{1,...,N\}$ let $\Sigma_j$ be the set of all $(z',z'')\in(A_1\times...\times A_{j-1}) \times(A_{j+1}\times...\times A_N)$ for which the fiber $M_{(z',\cdot,z'')}:=\{z_j\in\Bbb C^{n_j}\: (z',z_j,z'')\in M\}$ is not pluripolar. Assume that $\Sigma_1,...,\Sigma_N$ are pluripolar. Put $$ X':=\bigcup_{j=1}^N\{(z',z_j,z'')\in(A_1\times...\times A_{j-1})\times D_j \times(A_{j+1}\times...\times A_N)\: (z',z'')\notin\Sigma_j\}. $$ Then there exists a relatively closed pluripolar subset $\hat M\subset\hat X$ of the `envelope of holomorphy' $\hat X\subset\Bbb C^n$ of $X$ such that: $\hat M\cap X'\subset M$, for every function $f$ separately holomorphic on $X\setminus M$ there exists exactly one function $\hat f$ holomorphic on $\hat X\setminus\hat M$ with $\hat f=f$ on $X'\setminus M$, and $\hat M$ is singular with respect to the family of all functions $\hat f$. Some special cases were previously studied in \cite{Jar-Pfl 2001c}.


title: High resolution conjugate filters for the simulation of flows

abstract: This paper proposes a Hermite-kernel realization of the conjugate filter oscillation reduction (CFOR) scheme for the simulation of fluid flows. The Hermite kernel is constructed by using the discrete singular convolution (DSC) algorithm, which provides a systematic generation of low-pass filter and its conjugate high-pass filters. The high-pass filters are utilized for approximating spatial derivatives in solving flow equations, while the conjugate low-pass filter is activated to eliminate spurious oscillations accumulated during the time evolution of a flow. As both low-pass and high-pass filters are derived from the Hermite kernel, they have similar regularity, time-frequency localization, effective frequency band and compact support. Fourier analysis indicates that the CFOR-Hermite scheme yields a nearly optimal resolution and has a better approximation to the ideal low-pass filter than previously CFOR schemes. Thus, it has better potential for resolving natural high frequency oscillations from a shock. Extensive one- and two-dimensional numerical examples, including both incompressible and compressible flows, with or without shocks, are employed to explore the utility, test the resolution, and examine the stability of the present CFOR-Hermite scheme. Extremely small ratio of point-per-wavelength (PPW) is achieved in solving the Taylor problem, advancing a wavepacket and resolving a shock/entropy wave interaction. The present results for the advection of an isentropic vortex compare very favorably to those in the literature.


title: Poisson Structures on Cotangent Bundles

abstract: We make a study of Poisson structures of T*M which are graded structures when restricted to the fiberwise polynomial algebra, and give examples. A class of more general graded bivector fields which induce a given Poisson structure w on the base manifold M is constructed. In particular, the horizontal lifting of a Poisson structure from M to T*M via connections gives such bivector fields and we discuss the conditions for these lifts to be Poisson bivector fields and their compatibility with the canonical Poisson structure on T*M. Finally, for a 2-form on a Riemannian manifold, we study the conditions for some associated 2-forms on T*M to define Poisson structures on cotangent bundles.


title: Common hypercyclic vectors for multiples of backward shift

abstract: We prove that the space $l^2$ contains a dense set of vectors which are hypercyclic simultaneously for all multiples of the backward shift operator by constants of absolute value greater than 1.


title: Families of supersingular curves in characteristic 2

abstract: This paper determines the normal forms of hyperelliptic supersingular curves of genus g over an algebraically closed field F of characteristic 2 for 0 < g< 9. We also show that every hyperelliptic supersingular curve of genus 9 over F has an equation y^2-y=x^19+c^8x^9+c^3x for some c in F_2bar. The paper determines the dimensions of the open locus of hyperelliptic supersingular curves of genus g < 10 over F_2bar.


title: Hard Lefschetz Theorem for Nonrational Polytopes

abstract: The Hard Lefschetz theorem is known to hold for the intersection cohomology of the toric variety associated to a rational convex polytope. One can construct the intersection cohomology combinatorially from the polytope, hence it is well defined even for nonrational polytopes when there is no variety associated to it. We prove the Hard Lefschetz theorem for the intersection cohomology of a general polytope.


title: The t-singular homology of orbifolds

abstract: For an orbifold M we define a homology group, called t-singular homology group t-H_q(M), which depends not only on the topological structure of the underlying space of M, but also on the orbifold structure of M. We prove that it is a b-homotopy invariant of orbifolds. If M is a manifold, t-H_q(M) coincides with the usual singular homology group. We calculate the t-singular homology groups with Z-coefficients of several orbifolds. The t-singular homology group with rational coefficients of an orbifold M is isomorphic to the singular homology group with rational coefficients of M (and to that of |M|). For each q we define a homomorphism from the orbifold homotopy group \pi_q(M,x_0) to t-H_q(M) by using of t-modifications. Especially, t-H_1(M) is isomorphic to the abelianization of \pi_1(M,x_0) if M is arcwise connected.


title: Normal shift in general Lagrangian dynamics

abstract: It is well known that Lagrangian dynamical systems naturally arise in describing wave front dynamics in the limit of short waves (which is called pseudoclassical limit or limit of geometrical optics). Wave fronts are the surfaces of constant phase, their points move along lines which are called rays. In non-homogeneous anisotropic media rays are not straight lines. Their shape is determined by modified Lagrange equations. An important observation is that for most usual cases propagating wave fronts are perpendicular to rays in the sense of some Riemannian metric. This happens when Lagrange function is quadratic with respect to components of velocity vector. The goal of paper is to study how this property transforms for the case of general (non-quadratic) Lagrange function.


title: Notes on toric varieties from Mori theoretic viewpoint

abstract: The main purpose of this notes is to supplement the paper reid, which treated Minimal Model Program (also called Mori's Program) on toric varieties. We calculate lengths of negative extremal rays of toric varieties. As an application, we obtain a generalization of Fujita's conjecture for singular toric varieties. We also prove that every toric variety has a small projective toric $\bQ$-factorialization.


title: Spectral invariance for certain algebras of pseudodifferential operators

abstract: We construct algebras of pseudodifferential operators on a continuous family groupoid G that are closed under holomorphic functional calculus, contain the algebra of all pseudodifferential operators of order 0 on G as a dense subalgebra, and reflect the smooth structure of the groupoid G, when G is smooth. As an application, we get a better understanding on the structure of inverses of elliptic pseudodifferential operators on classes of non-compact manifolds. For the construction of these algebras closed under holomorphic functional calculus, we develop three methods: one using two-sided semi-ideals, one using commutators, and one based on Schwartz spaces on the groupoid.


title: Enumeration of permutations containing a prescribed number of occurrences of a pattern of length 3

abstract: We consider the problem of enumerating the permutations containing exactly $k$ occurrences of a pattern of length 3. This enumeration has received a lot of interest recently, and there are a lot of known results. This paper presents an alternative approach to the problem, which yields a proof for a formula which so far only was conjectured (by Noonan and Zeilberger). This approach is based on bijections from permutations to certain lattice paths with ``jumps'', which were first considered by Krattenthaler.


title: Degeneration of the Leray spectral sequence for certain geometric quotients

abstract: We prove that the Leray spectral sequence in rational cohomology for the quotient map $U_{n,d} \to U_{n,d}/G$ where $U_{n,d}$ is the affine variety of equations for smooth hypersurfaces of degree $d$ in $\PP^n(\C)$ and $G$ is the general linear group, degenerates at $E_2$.