title: Minimal entropy and collapsing with curvature bounded from below

abstract: We show that if a closed manifold M admits an F-structure (possibly of rank 0) then its minimal entropy vanishes. In particular, this is the case if M admits a non-trivial circle action. As a corollary we obtain that the simplicial volume of a colsed manifold admitting an F-structure is zero. We also show that if M admits an F-structure then it collapses with curvature bounded from below. This is turn implies that M collapses with bounded scalar curvature or, equivalently, its Yamabe invariant is non-negative. We show that F-structures of rank zero appear rather frequently:every compact complex elliptic surface admits one as well as any simply connected 5-manifold. We use these results to study the minimal entropy problem. We show the following two theorems: suppose M is obtained by taking connected sums of copies of CP^2 (with any orintation), S^2 \times S^2 and the K3 surface. Then M has zero minimal entropy. Moreover, M admits a metric with zero topological entropy if and only if M is diffeomorphic to S^4, CP^2, S^2 \times S^2, CP^2#CP^2 or CP^2#(-CP^2). Finally, suppose that M is a closed simply connected 5-manifold. Than M has zero minimal entropy. Moreover, M admits a metric with zero topological entropy if and only if M is diffeomorphic to S^5, S^3 \times S^2, the non-trivial S^3-bundle over S^2 or the Wu manifold SU(3)/SO(3).


title: The Sign Representation for Shephard Groups

abstract: Shephard groups are unitary reflection groups arising as the symmetries of regular complex polytopes. For a Shephard group, we identify the representation carried by the principal ideal in the coinvariant algebra generated by the image of the product of all linear forms defining reflecting hyperplanes. This representation turns out to have many equivalent guises making it analogous to the sign representation of a finite Coxeter group. One of these guises is (up to a twist) the cohomology of the Milnor fiber for the isolated singularity at 0 in the hypersurface defined by any homogeneous invariant of minimal degree.


title: Operads in Higher-Dimensional Category Theory

abstract: The purpose of this dissertation is to set up a theory of generalized operads and multicategories, and to use it as a language in which to propose a definition of weak n-category. Included is a full explanation of why the proposed definition of n-category is a reasonable one, and of what happens when n=2. Generalized operads and multicategories play other parts in higher-dimensional algebra too, some of which are outlined here: for instance, they can be used to simplify the opetopic approach to n-categories expounded by Baez, Dolan and others, and are a natural language in which to discuss enrichment of categorical structures.


title: The Deligne-Simpson problem for zero index of rigidity

abstract: We consider the {\em Deligne-Simpson problem}: {\em Give necessary and sufficient conditions for the choice of the conjugacy classes $c_j\subset gl(n,{\bf C})$ or $C_j\subset GL(n,{\bf C})$, $j=1,..., p+1$, so that there exist irreducible $(p+1)$-tuples of matrices $A_j\in c_j$ whose sum is 0 or of matrices $M_j\in C_j$ whose product is $I$.} The matrices $A_j$ (resp. $M_j$) are interepreted as matrices-residua of Fuchsian linear systems (resp. as monodromy operators of regular systems) on Riemann's sphere. We consider the case when the sum of the dimensions of the conjugacy classes $c_j$ or $C_j$ is $2n^2$ and we prove a theorem of non-existence of such irreducible $(p+1)$-tuples.


title: Gross-Hopkins duality

abstract: We give a new and simpler proof of a result of Hopkins and Gross relating Brown-Comenetz duality to Spanier-Whitehead duality in the K(n)-local stable homotopy category.


title: K(n)-local duality for finite groups and groupoids

abstract: We define an inner product (suitably interpreted) on the K(n)-local spectrum LG := L_{K(n)}BG_+, where G is a finite group or groupoid. This gives an inner product on E^*BG_+ for suitable K(n)-local ring spectra E. We relate this to the usual inner product on the representation ring when n=1, and to the Hopkins-Kuhn-Ravenel generalised character theory. We show that LG is a Frobenius algebra object in the K(n)-local stable category, and we recall the connection between Frobenius algebras and topological quantum field theories to help analyse this structure. In many places we find it convenient to use groupoids rather than groups, and to assist with this we include a detailed treatment of the homotopy theory of groupoids. We also explain some striking formal similarities between our duality and Atiyah-Poincare duality for manifolds.


title: Netted Binomial Matrices

abstract: In this paper we prove that a matrix property of nettedness (all 2x2 cells satisfy a recurrence) is preserved for powers of such a matrix, where the coefficients are all instances of the same sequence. Also, we find an n-dimensional analog of the Q-matrix for the general Pell(Fibonacci) sequence. We close by giving a conjecture about the spectral properties of the binomial matrix we found.


title: Spectral Properties of a Binomial Matrix

abstract: In this paper we study some further properties of the matrix with entries binom{i-1}{n-j}. We find the generating function for each row and column, and we find the eigenvalues and eigenvectors of this matrix. We also find the spectral properties of this matrix modulo 3 and 5.


title: Theta-functions for indefinite polarizations

abstract: We propose a generalization of the classical theta function to higher cohomology of the polarization line bundle on a family of complex tori with positive index. The constructed cocycles vary horizontally with respect to the (projective) flat connection on this family coming from a heat operator. They also possess modular properties similar to the classical ones.


title: Compressing totally geodesic surfaces

abstract: In this paper we prove that one can find surgeries arbitrarily close to infinity in the Dehn surgery space of the figure eight knot complement for which some immersed totally geodesic surface compresses.


title: Symplectic reflection algebras, Calogero-Moser space, and deformed Harish-Chandra homomorphism

abstract: To any finite group G of automorphisms of a symplectic vector space V we associate a new multi-parameter deformation, H_k, of the smash product of G with the polynomial algebra on V. The algebra H_k, called a symplectic reflection algebra, is related to the coordinate ring of a universal Poisson deformation of the quotient singularity V/G. If G is the Weyl group of a root system in a vector space h and V=h\oplus h^*, then the algebras H_k are `rational' degenerations of Cherednik's double affine Hecke algebra. Let G=S_n, the Weyl group of g=gl_n. We construct a 1-parameter deformation of the Harish-Chandra homomorphism from D(g)^g, the algebra of invariant polynomial differential operators on gl_n, to the algebra of S_n-invariant differential operators with rational coefficients on C^n. The second order Laplacian on g goes, under the deformed homomorphism, to the Calogero-Moser differential operator with rational potential. Our crucial idea is to reinterpret the deformed homomorphism as a homomorphism: D(g)^g \to {spherical subalgebra in H_k}, where H_k is the symplectic reflection algebra associated to S_n. This way, the deformed Harish-Chandra homomorphism becomes nothing but a description of the spherical subalgebra in terms of `quantum' Hamiltonian reduction. In the classical limit k -> \infty, our construction gives an isomorphism between the spherical subalgebra in H_\infty and the coordinate ring of the Calogero-Moser space. We prove that all simple H_\infty-modules have dimension n!, and are parametrised by points of the Calogero-Moser space. The algebra H_\infty is isomorphic to the endomorphism algebra of a distinguished rank n! vector bundle on this space.


title: On rational curves in n-space with given normal bundle

abstract: The stable rationality of components of the moduli space of (unparametrized) rational curves in projective $n$-space with fixed normal bundle is proved, provided these components dominate the moduli space of immersed rational curves in the plane.


title: Floer homology and its continuity for non-compact Lagrangian submanifolds

abstract: We give a construction of the Floer homology of the pair of {\it non-compact} Lagrangian submanifolds, which satisfies natural continuity property under the Hamiltonian isotopy which moves the infinity but leaves the intersection set of the pair compact. This construction uses the concept of Lagrangian cobordism and certain singular Lagrangian submanifolds. We apply this construction to conormal bundles (or varieties) in the cotangent bundle, and relate it to a conjecture made by MacPherson on the intersection theory of the characteristic Lagrangian cycles associated to the perverse sheaves constructible to a complex stratification on the complex algebraic manifold.


title: On the String-Theoretic Euler Number of 3-dimensional A-D-E Singularities

abstract: The string-theoretic E-functions E_{str}(X;u,v) of normal complex varieties X having at most log-terminal singularities are defined by means of snc-resolutions. We give a direct computation of them in the case in which X is the underlying space of the 3-dimensional A-D-E singularities by making use of a canonical resolution process. Moreover, we compute the string-theoretic Euler number for several compact complex threefolds with prescribed A-D-E singularities.


title: On the String-Theoretic Euler Number of a Class of Absolutely Isolated Singularities

abstract: An explicit computation of the so-called string-theoretic E-function of a normal complex variety X with at most log-terminal singularities can be achieved by constructing one snc-desingularization of X, accompanied with the intersection graph of the exceptional prime divisors, and with the precise knowledge of their structure. In the present paper, it is shown that this is feasible for the case in which X is the underlying space of a class of absolutely isolated singularities (including both usual A_{n}-singularities and Fermat singularities of arbitrary dimension). As byproduct of the exact evaluation of e_{str}(X), for this class of singularities, one gets (in contrast to the expectations of V1!) counterexamples to a conjecture of Batyrev concerning the boundedness of the string-theoretic index. Finally, the string-theoretic Euler number is also computed for global complete intersections in P^{N} with prescribed singularities of the above type.


title: Symmetry of links and classification of lens spaces

abstract: We give a concise proof of a classification of lens spaces up to orientation-preserving homeomorphisms. The chief ingredient in our proof is a study of the Alexander polynomial of ` symmetric' links in $S^3$.


title: The BP<n> cohomology of elementary abelian groups

abstract: In this paper we study E^*BV_k, where E=BP<m,n> is a cohomology theory with coefficient ring F_p[v_m,...,v_n] (if m>0) or Z_(p)[v_1,...,v_n] (if m=0). We use ideas from the theory of multiple level structures, developed in earlier work of the author with John Greenlees. Our results apply when k is less than or equal to w=n+1-m. If k<w we find that E^*BV_k has no v_m-torsion. When k=w, we show that the v_m-torsion is annihilated by the ideal I_{n+1}=(v_m,...,v_n), and that it is a free module on one generator over the ring F_p[[x_0,...,x_{w-1}]]. We give three very different formulae for this generator; it is not at all obvious that these give the same element, and we only have a rather indirect proof of this.


title: Formal schemes and formal groups

abstract: We set up a framework for using algebraic geometry to study the generalised cohomology rings that occur in algebraic topology. This idea was probably first introduced by Quillen and it underlies much of our understanding of complex oriented cohomology theories, exemplified by the work of Morava. Most of the results have close and well-known analogues in the algebro-geometric literature, but with different definitions or technical assumptions that are often inconvenient for topological applications. We merely put everything together in a systematic and convenient way.


title: Products on MU-modules

abstract: We use the new categories of spectra and MU-modules constructed by Elmendorf, Kriz, Mandell and May to get improved results about multiplicative structures on spectra such as P(n) and E(n), particularly in the case p=2.


title: Common subbundles and intersections of divisors

abstract: Let V_0 and V_1 be complex vector bundles over a space X. We use the theory of divisors on formal groups to give obstructions in generalised cohomology that vanish when V_0 and V_1 can be embedded in a bundle U in such a way that V_0\cap V_1 has dimension at least k everywhere. We study various algebraic universal examples related to this question, and show that they arise from the generalised cohomology of corresponding topological universal examples. This extends and reinterprets earlier work on degeneracy classes in ordinary cohomology or intersection theory.


title: Sets of singular restrictions of symplectic forms

abstract: Let $\Omega$ be a non-singular syplectic form on some vector space $V$. Denote by $S^{n}_{k}(\Omega)$ the set of all $k$-dimensional planes $s$ in $V$ such that the restriction of $\Omega$ onto $s$ is singular. For the cases when $k=2,n-2$ a simple geometric characteristic of $S^{n}_{k}(\Omega)$ will be described.


title: The Hopf Rings for KO and KU

abstract: We compute the mod two homology Hopf rings of the spectra KO and KU. The spaces in these spectra are the infinite classical groups and their coset spaces, and their homology was first calculated in the Cartan seminars, but the Hopf ring structure was first determined in the second author's unpublished PhD thesis. The presentation given here serves as an introduction to the first author's much more intricate work on the connective spectrum bo. The Hopf ring viewpoint turns out to be very convenient for understanding the homological effect of various maps between classical groups and fibrations of their connective covers.


title: A note on strong geometric isolation in 3-orbifolds

abstract: Neumann and Reid described in their paper "Rigidity of cusps in deformations of hyperbolic 3-orbifolds" (Math Ann. 295 (1993) no. 2, 223--237) a 2-cusped hyperbolic 3-orbifold in which the cusps are geometrically isolated. Based on numerical evidence provided by Jeff Weeks' snappea program, they conjectured that the cusps are strongly geometrically isolated, a fact which we establish here. We also give a parameterization of the Dehn surgery space of this orbifold which has amusing properties.


title: Restricted permutations and Chebyshev polynomials

abstract: We study generating functions for the number of permutations in $\SS_n$ subject to two restrictions. One of the restrictions belongs to $\SS_3$, while the other to $\SS_k$. It turns out that in a large variety of cases the answer can be expressed via Chebyshev polynomials of the second kind.


title: Polygon Recognition and Symmetry Detection

abstract: We introduce an approach based on moving frames for polygon recognition and symmetry detection. We present detailed algorithms for recognition of polygons modulo the special Euclidean, Euclidean, equi-affine, skewed-affine and similarity Lie groups, and explain the procedure for a generic Lie group. The time complexity of our algorithms is linear in the number of vertices and they are noise resistant. The signatures used allow the detection of partial as well as approximate equivalences. Our method is a particular case of a general method for curve recognition modulo Lie group action.


title: On multiplicities of points on Schubert varieties in Grassmannians

abstract: We answer some questions related to multiplicity formulas by Rosenthal and Zelevinsky and by Lakshmibai and Weyman for points on Schubert varieties in Grassmannians. In particular, we give combinatorial interpretations in terms of nonintersecting lattice paths of these formulas, which makes the equality of the two formulas immediately obvious. Furthermore we provide an alternative determinantal formula for these multiplicities, and we show that they count semistandard tableaux of unusual shapes.


title: Tautly foliated 3-manifolds with no R-covered foliations

abstract: A foliation of a manifold M is called R-covered if its lift to the universal cover of M has space of leaves R. We show that there are many graph manifolds which admit taut foliations, but which do not admit any R-covered foliations. On the other hand, we show that these manifolds all have finite covers admitting R-covered foliations.


title: Some Remarks on the Fucik Spectrum of the p-Laplacian and Critical Groups

abstract: We compute critical groups of variational functionals arising from quasilinear elliptic boundary value problems with jumping nonlinearities, when the asymptotic limits of the equation lie in various regions of the plane that are separated by certain curves of the Fucik spectrum. As an application some existence and multiplicity results are established via Morse theoretic and perturbation arguments.


title: Some identification problems for integro-differential operator equations

abstract: We consider, in a Hilbert space $H$, the convolution integro-differential equation $u''(t)-h*Au(t)=f(t)$, $0\le t\le T$, $h*v(t)=\int_0^t h(t-s)v(s) ds$, where $A$ is a linear closed densely defined (possibly selfadjoint and/or positive definite) operator in $H$. Under suitable assumptions on the data we solve the inverse problem consisting of finding the kernel $h$ from the extra data (measured data) of the type $g(t):=(u(t),\phi)$, where $\phi$ is some eigenvector of $A^*$. An inverse problem for the first-order equation $u'(t)-l*Au(t)=f(t)$, $0\le t\le T$, is also studied when $A$ enjoys the same properties as in the previous case.


title: A simple proof of the Fredholm alternative and a characterization of the Fredholm operators

abstract: Let $A$ be a linear bounded operator in a Hilbert space $H$, $N(A)$ and $R(A)$ its null-space and range, and $A^*$ its adjoint. The operator $A$ is called Fredholm iff $dim N(A)= dim N(A^*):=n<\infty$ and $R(A)$ and $R(A^*)$ are closed subspaces of $H$. A simple and short proof is given of the following known result: $A$ is Fredholm iff $A=B+F$, where $B$ is an isomorphism and $F$ is a finite-rank operator. The proof consists in reduction to a finite-dimensional linear algebraic system which is equivalent to the equation $Au=f$ in the case of Fredholm operators.


title: Two-dimensional dynamical systems admitting the normal shift

abstract: Two-dimensional case in the theory of dynamical systems admitting the normal shift differs crucially from multidimensional case. Features of two-dimensional case are gathered and studied in this thesis.


title: Legendrian Submanifold Path Geometry

abstract: Let $Z \to Y^{2n+1}$ be the bundle of Legendrian $n$-planes over a contact manifold $Y$. We consider a foliation of $Z$ by canonical lifts of Legendrian submanifolds, called \emph{Legendrian submanifold path geometry}, whose flat model is \[ Sp(n+1, R) \to RP^{2n+1}. \] The equivalence problem provides an $sp(n+1, R)$ valued Cartan connection form that captures the geometry of such foliations. Two special cases are considered. The first case is characterized by having a well defined conformal class of symmetric $(n+1)$ differentials on the space of leaves of the foliation $X$. The $G$ structure induced on $X$ gives an example of a classical non-metric, irreducible holonomy $GL(n+1,R)$ with representation on $sym^2(R^{n+1})$. In the second example, we consider a \emph{Legendrian} connection on the contact hyperplane vector bundle over $Y$ whose \emph{geodesic} Legendrian submanifolds give rise to a desired foliation on $Z$. There exists a unique \emph{normal symplectic} connection associated to a Legendrian connection analogous to the normal projective connection for a torsion free affine connection. For a nonflat example with symmetry, consider a hypersurface $M^n$ in the $(n+1)$ dimensional space form $\bar{M}_c^{n+1}$, $c=1, 0,$ or -1, without any extrinsic symmetry. The images of $M$ under the motion by Iso($\bar{M}_c^{n+1}$), when lifted, generates a Legendrian submanifold path geometry on $Gr(n, \bar{M}_c^{n+1})$.


title: Geometric Meanings of Curvatures in Finsler Geometry

abstract: In Finsler geometry, we use calculus to study the geometry of regular inner metric spaces. In this note I will briefly discuss various curvatures and their geometric meanings from the metric geometry point of view, without going into the forest of tensors.


title: Asymptotic Hodge theory and quantum products

abstract: Assuming suitable convergence properties for the Gromov-Witten potential of a Calabi-Yau manifold $X$ one may construct a polarized variation of Hodge structure over the complexified K\"ahler cone of $X$. In this paper we show that, in the case of fourfolds, there is a correspondence between ``quantum potentials'' and polarized variations of Hodge structures that degenerate to a maximally unipotent boundary point. Under this correspondence, the WDVV equations are seen to be equivalent to the Griffiths' trasversality property of a variation of Hodge structure.


title: Base change and Grothendieck duality for Cohen-Macaulay maps

abstract: Let $f:X\to Y$ be a Cohen-Macaulay map of finite type between Noetherian schemes, and $:Y'\to Y$ a base change map, with $Y'$ Noetherian. Let $f'$ be the base change of $f$ under $g$ and $g'$ the base change of $g$ under $f$. We show that there is a canonical isomorphism between ${g'}^*\omega_f$ and $\omega_{f'}$, where $\omega_f$ and $\omega_{f'}$ are the relative dualizing sheaves. The map underlying this isomorphism is easily described when $f$ is proper, and has subtler description when $f$ is not. If $f$ is smooth we show that this map between the dualizing sheaves corresponds to the canonical identification of differential forms. Our results generalize the results of B. Conrad in two directions - wedo not need the properness assumption, and we do not need to assume that theschemes involved carry dualizing complexes. Residual complexes do not appear in this paper.


title: Toric integrable geodesic flows

abstract: By studying completely integrable torus actions on contact manifolds we prove a conjecture of Toth and Zelditch that toric integrable geodesic flows on tori must have flat metrics.


title: UHF flows and the flip automorphism

abstract: A UHF flow is an infinite tensor product type action of the reals on a UHF algebra $A$ and the flip automorphism is an automorphism of $A\otimes A$ sending $x\otimes y$ into $y\otimes x$. If $\alpha$ is an inner perturbation of a UHF flow on $A$, there is a sequence $(u_n)$ of unitaries in $A\otimes A$ such that $\alpha_t\otimes \alpha_t(u_n)-u_n$ converges to zero and the flip is the limit of $\Ad u_n$. We consider here whether the converse holds or not and solve it with an additional assumption: If $A\otimes A\cong A$ and $\alpha$ absorbs any UHF flow $\beta$ (i.e., $\alpha\otimes\beta$ is cocycle conjugate to $\alpha$), then the converse holds; in this case $\alpha$ is what we call a universal UHF flow.


title: On the constants for some Sobolev imbeddings

abstract: We consider the imbedding inequality || f ||_{L^r(R^d)} <= S_{r,n,d} || f ||_{H^{n}(R^d)}; H^{n}(R^d) is the Sobolev space (or Bessel potential space) of L^2 type and (integer or fractional) order n. We write down upper bounds for the constants S_{r, n, d}, using an argument previously applied in the literature in particular cases. We prove that the upper bounds computed in this way are in fact the sharp constants if (r=2 or) n > d/2, r=infinity, and exhibit the maximising functions. Furthermore, using convenient trial functions, we derive lower bounds on S_{r,n,d} for n > d/2, 2 < r < infinity; in many cases these are close to the previous upper bounds, as illustrated by a number of examples, thus characterizing the sharp constants with little uncertainty.


title: On the uniqueness of AF diagonals in regular limit algebras

abstract: Necessary and sufficient conditions are obtained for the uniqueness of standard regular AF masas in regular limit algebras up to approximate inner unitary equivalence.


title: Local characterisation of approximately finite operator algebras

abstract: We show that the family of nest algebras with $r$ non-zero nest projections is stable, in the sense that an approximate containment of one such algebra within another is close to an exact containment. We use this result to give a local characterisation of limits formed from this family. We then consider quite general regular limit algebras and characterise these algebras using a local condition which reflects the assumed regularity of the system.


title: Strict Deformation Quantization for Actions of a Class of Symplectic Lie Groups

abstract: We present explicit universal strict deformation quantization formulae for actions of Iwasawa subgroups AN of SU(1,n). This answers a question raised by Rieffel.


title: Small Elliptic Quantum Group $e_{tau,\gamma}(sl_N)$

abstract: The small elliptic quantum group $e_{\tau,\gamma}(sl_N)$, introduced in the paper, is an elliptic dynamical analogue of the universal enveloping algebra $U(sl_n)$. We define highest weight modules, Verma modules and contragradient modules over $e_{\tau,\gamma}(sl_N)$, the dynamical Shapovalov form for $e_{\tau,\gamma}(sl_N)$ and the contravariant form for highest weight $e_{\tau,\gamma}(sl_N)$-modules. We show that any finite-dimensional $sl_N$-module and any Verma module over $sl_N$ can be lifted to the corresponding $e_{\tau,\gamma}(sl_N)$-module on the same vector space. For the elliptic quantum group $E_{\tau,\gamma}(sl_N)$ we construct the evaluation morphism $E_{\tau,\gamma}(sl_N)\to e_{\tau,\gamma}(sl_N)$, thus making any $e_{\tau,\gamma}(sl_N)$-module into an evaluation $E_{\tau,\gamma}(sl_N)$-module.


title: A Distribution Function Arising in Computational Biology

abstract: Karlin and Altschul in their statistical analysis for multiple high-scoring segments in molecular sequences introduced a distribution function which gives the probability there are at least r distinct and consistently ordered segment pairs all with score at least x. For long sequences this distribution can be expressed in terms of the distribution of the length of the longest increasing subsequence in a random permutation. Within the past few years, this last quantity has been extensively studied in the mathematics literature. The purpose of these notes is to summarize these new mathematical developments in a form suitable for use in computational biology.


title: Geometry and Moduli Space of Certain Rank-4 Vector Bundles on ${\mathbb P}^4$

abstract: Mathematical instanton bundles of rank 4 and $c_2=2$ on ${\mathbb P}^4$ have a smoothquasiprojective moduli space, which is shown via a direct GIT construction. A complete classification of jumping lines of these vector bundles is obtained. The duals of these bundles are described. Dimension computations and irreducibility proofs for some "interesting" subsets of the moduli space are presented. Restrictions of vector bundles from ${\mathbb P}^4$ to ${\mathbb P}^3$ are shown to produce mathematical instanton bundles on ${\mathbb P}^3$.


title: Skein modules at the 4th roots of unity

abstract: The Kauffman bracket skein modules, S(M,A), have been calculated for A=+1,-1, for all 3-manifolds M by relating them to the SL(2,C)-character varieties. We extend this description to the case when A is a 4-th root of 1 and M is either a surface x [0,1] or a rational homology sphere (or its submanifold).


title: Stringy Geometry and Topology of Orbifolds

abstract: This is a survey article on the recent development of "stringy geometry and topology of orbifolds", a new subject of mathematics motivated by orbifold string theory.


title: A growth model in a random environment

abstract: We consider a model of interface growth in two dimensions, given by a height function on the sites of the one--dimensional integer lattice. According to the discrete time update rule, the height above the site $x$ increases to the height above $x-1$, if the latter height is larger; otherwise the height above $x$ increases by 1 with probability $p_x$. We assume that $p_x$ are chosen independently at random with a common distribution $F$, and that the initial state is such that the origin is far above the other sites. We explicitly identify the asymptotic shape and prove that, in the pure regime, the fluctuations about that shape, normalized by the square root of time, are asymptotically normal. This contrasts with the quenched version: conditioned on the environment, and normalized by the cube root of time, the fluctuations almost surely approach a distribution known from random matrix theory.


title: On Hypersurface Quotient Singularity of Dimension 4

abstract: We consider geometrical problems on Gorenstein hypersurface orbifolds of dimension $n \geq 4$ through the theory of Hilbert scheme of group orbits. For a linear special group $G$ acting on $\CZ^n$, we study the $G$-Hilbert scheme, $\hl^G(\CZ^n)$, and crepant resolutions of $\CZ^n/G$ for $G$=the $A$-type abelian group $ A_r(n)$. For $n=4$, we obtain the explicit structure of $\hl^{A_r(4)}(\CZ^4)$. The crepant resolutions of $\CZ^4/A_r(4)$ are constructed through their relation with $\hl^{A_r(4)}(\CZ^4)$, and the connections between these crepant resolutions are found by the "flop" procedure of 4-folds. We also make some primitive discussion on $\hl^G(\CZ^n)$ for the $G$= alternating group ${\goth A}_{n+1}$ of degree $n+1$ with the standard representation on $\CZ^n$; the detailed structure of $\hl^{{\goth A}_4}(\CZ^3)$ is explicitly constructed.


title: A note on the precompactness of weakly almost periodic groups

abstract: An action of a group $G$ on a compact space $X$ is called weakly almost periodic if the orbit of every continuous function on $X$ is weakly relatively compact in $C(X)$. We observe that for a topological group $G$ the following are equivalent: (i) every continuous action of $G$ on a compact space is weakly almost periodic; (ii) $G$ is precompact. For monothetic groups the result was previously obtained by Akin and Glasner, while for locally compact groups it has been known for a long time.


title: The minimal entropy problem for 3-manifolds with zero simplicial volume

abstract: We consider the minimal entropy problem, namely the question of whether there exists a smooth metric of minimal entropy, for certain classes of 3-manifolds. Among other resulsts, we show that if M is a closed, orientable, geometrizable 3-manifold with zero simplicial volume, then the minimal entropy can be solved for M if and only if M admits a metric modelled on 4 of the 8 standard 3-dimensional geometries, namely $S^3$, $S^2\times R$, $E^3$, or Nil.


title: On modular properties of odd theta-characteristics

abstract: A general canonical curve X determines a finite set T(X) of hyperplanes, which is in bijective correspondence with the set of odd theta-characteristics of X. The definition of T(X) can be extended to certain singular curves, in a way that is compatible with degenerations. If X is a Deligne-Mumford stable curve (or a cuspidal curve), we describe the enumerative and local geometry of T(X); this is applied to show that some singular curves are uniquely determined by T(X). This work generalizes the preliminary steps used in AG/0008239 (with E. Sernesi) to show that a general curve of genus 3 can be recovered from its odd theta-characteristics.


title: An explicit isomorphism between Floer homology and quantum homology

abstract: We use Liu-Tian's virtual moduli cycle methods to construct detailedly the explicit isomorphism between Floer homology and quantum homology for any closed symplectic manifold that was first outlined by Piunikhin, Salamon and Schwarz for the case of the semi-positive symplectic manifolds.


title: Bipartite graphs with uniquely restricted maximum matchings and their corresponding greedoids

abstract: A maximum stable set in a graph G is a stable set of maximum size. S is a local maximum stable set if it is a maximum stable set of the subgraph of G spanned by the union of S and N(S), where N(S) is the neighborhood of S. A matching M is uniquely restricted if its saturated vertices induce a subgraph which has a unique perfect matching, namely M itself. One theorem of Nemhauser and Trotter Jr., working as a useful sufficient local optimality condition for the weighted maximum stable set problem, ensures that any local maximum stable set of G can be enlarged to a maximum stable set of G. In one of our previous papers it is proven that the family of all local maximum stable sets of a forest forms a greedoid on its vertex set. In this paper we obtain a generalization of this assertion claiming that the family of all local maximum stable sets of a bipartite graph G is a greedoid if and only if all maximum matchings of G are uniquely restricted.


title: Some local wellposedness results for nonlinear Schroedinger equations below L^2

abstract: We prove some local (in time) wellposedness results for nonlinear Schroedinger equations with rough data, that is, the initial value belongs to some Sobolev space of negative index. The proof uses the Fourier restriction norm method.


title: Random perturbations of non-uniformly expanding maps

abstract: We give both sufficient conditions and necessary conditions for the stochastic stability of non-uniformly expanding maps either with or without critical sets. We also show that the number of probability measures describing the statistical asymptotic behaviour of random orbits is bounded by the number of SRB measures if the noise level is small enough. As an application of these results we prove the stochastic stability of certain classes of non-uniformly expanding maps introduced in \cite{V} and \cite{ABV}.


title: On the asymptotic linking number

abstract: We prove a theorem formulated by V. I. Arnold concerning a relation between the asymptotic linking number and the Hopf invariant of divergence-free vector fields. Using a modified definition for the system of short paths, we prove their existence in the general case.


title: Lie algebra automorphisms in conformal field theory

abstract: The role of automorphisms of infinite-dimensional Lie algebras in conformal field theory is examined. Two main types of applications are discussed; they are related to the enhancement and reduction of symmetry, respectively. The structures one encounters also appear in other areas of physics and mathematics. In particular, they lead to two conjectures on the sub-bundle structure of chiral blocks, and they are instrumental in the study of conformally invariant boundary conditions.


title: Symmetric Functions and Representations of Quantum Affine Algebras

abstract: We study connections between the ring of symmetric functions and the characters of irreducible finite-dimensional representations of quantum affine algebras. We study two families of representations of the symplectic and orthogonal Lie algebras. One is defined via combinatorial properties and is easy to calculate; the other is closely related to the $q=1$ limit of the ``minimal affinization'' representations of quantum affine algebras. We conjecture that the two families are identical, and present supporting evidence and examples. In the special case of a highest weight that is a multiple of a fundamental weight, this reduces to a conjecture of Kirillov and Reshetikhin, recently proved by the first author.


title: Quantum tori, mirror symmetry and deformation theory

abstract: We suggest to compactify the universal covering of the moduli space of complex structures by non-commutative spaces. The latter are described by certain categories of sheaves with connections which are flat along foliations. In the case of abelian varieties this approach gives quantum tori as a non-commutative boundary of the moduli space. Relations to mirror symmetry, modular forms and deformation theory are discussed.


title: n-dimensional links, their components, and their band-sums

abstract: We prove the following results (1) (2) (3) on relations between $n$-links and their components. (1) Let L=(L_1, L_2) be a (4k+1)-link (4k+1\geq 5). Then we have Arf L=Arf L_1+Arf L_2. (2) Let L=(L_1, L_2) be a (4k+3)-link (4k+3\geq3). Then we have \sigma L=\sigma L_1+\sigma L_2. (3) Let n\geq1. Then there is a nonribbon n-link L=(L_1, L_2) such that L_i is a trivial knot. We prove the following results (4) (5) (6) (7) on band-sums of n-links. (4) Let L=(L_1, L_2) be a (4k+1)-link (4k+1\geq 5). Let K be a band-sum of L. Then we have Arf K=Arf L_1+Arf L_2. (5) Let L=(L_1, L_2) be a (4k+3)-link (4k+3\geq3). Let K be a band-sum of L. Then we have \sigma K=\sigma L_1+ \sigma L_2. The above (4)(5) imply the following (6). (6) Let 2m+1\geq3. There is a set of three (2m+1)-knots K_0, K_1, K_2 with the following property: K_0 is not any band-sum of any n-link L=(L_1, L_2) such that L_i is equivalent to K_i (i=1,2). (7) Let n\geq1. Then there is an n-link L=(L_1, L_2) such that L_i is a trivial knot (i=1,2) and that a band-sum of $L$ is a nonribbon knot. We prove a 1-dimensional version of (1). (8) Let L=(L_1, L_2) be a proper 1-link. Then Arf L =Arf L_1+ Arf L_2+{1/2}\{\beta^*(L)$+mod4 $\{{1/2}lk (L)\}\} =Arf L_1+Arf L_2+mod2 \{\lambda (L)\}, where \beta^*(L) is the Saito-Sato-Levine invariant and \lambda(L) is the Kirk-Livingston invariant.


title: Presenting quantum Schur algebras as quotients of the quantized universal enveloping algebra of gl(2)

abstract: We obtain a presentation of quantum Schur algebras (over the field Q(v)) by generators and relations. This presentation is compatible with the usual presentation of the quantized universal enveloping algebra of the Lie algebra gl(2). We also locate the ``integral'' form of the quantum Schur algebra within the presented algebra and show it has a basis which is closely related to Lusztig's basis of the integral form of the quantized enveloping algebra.


title: Grassmannian trilogarithms

abstract: Some time ago the first author suggested two different constructions of Grassmannian n-logarithms. One of them works for all n, but its motivic nature is hidden. The other is a motivic but so far available only for n=2,3,4. We derived some general results about the first construction of Grassmannian polylogarithms, and found an explicit relation between the two constructions of the Grassmannian trilogarithms.


title: Martin's Axiom is Consistent with the Existence of Nowhere Trivial Automorphisms

abstract: Martin's Axiom does not imply that all automorphisms of P(N)/[N]^{<aleph_0} are somewhere trivial.


title: The Karp complexity of unstable classes

abstract: A class K of structures is controlled if, for all cardinals lambda, the relation of L_{infty,lambda}-equivalence partitions K into a set of equivalence classes (as opposed to a proper class). We prove that the class of doubly transitive linear orders is controlled, while any pseudo-elementary class with the omega-independence property is not controlled.


title: Geometry of the trilogarithm and the motivic Lie algebra of a field

abstract: We express the Aomoto trilogarithm explicitely via classical trilogarithm and investigate the algebraic-geometric structures behind this: different realuzations of the weight three motivic complexes. Using this results we give an explicit motivic construction of the Grassmannian 4-logarithm and Borel regulator map for K_7(C).


title: Forcing Isomorphism II

abstract: If T has only countably many complete types, yet has a type of infinite multiplicity then there is a ccc forcing notion Q such that, in any Q --generic extension of the universe, there are non-isomorphic models M_1 and M_2 of T that can be forced isomorphic by a ccc forcing. We give examples showing that the hypothesis on the number of complete types is necessary and what happens if `ccc' is replaced other cardinal-preserving adjectives. We also give an example showing that membership in a pseudo-elementary class can be altered by very simple cardinal-preserving forcings.


title: Examples and counterexamples for Perles' conjecture

abstract: The combinatorial structure of a d-dimensional simple convex polytope can be reconstructed from its abstract graph [Blind & Mani 1987, Kalai 1988]. However, no polynomial/efficient algorithm is known for this task, although a polynomially checkable certificate for the correct reconstruction was found by [Joswig, Kaibel & Koerner 2000]. A much stronger certificate would be given by the following characterization of the facet subgraphs, conjectured by M. Perles: ``The facet subgraphs of the graph of a simple d-polytope are exactly all the (d-1)-regular, connected, induced, non-separating subgraphs'' [Perles 1970]. We give examples for the validity of Perles conjecture: In particular, it holds for the duals of cyclic polytopes, and for the duals of stacked polytopes. On the other hand, we identify a topological obstruction that must be present in any counterexample to Perles' conjecture; thus, starting with a modification of ``Bing's house'', we construct explicit 4-dimensional counterexamples.


title: Mordell-Weil lattices in characteristic 2, III: A Mordell-Weil lattice of rank 128

abstract: In the first paper of this series, we constructed a family of lattices in dimensions 2^{n+1} for positive integers n, and proved that the associated lattice packings of spheres equal or exceed the previous records for several values of n. In this paper we analyze the case n=6, which is now the first case where the resulting lattice MW128 yields a previously unknown lattice of record density. We prove that the elliptic curve used to construct this lattice has trivial Tate-Shafarevich group, and exhibit on that curve a rational point whose canonical height attains our lower bound on the minimal norm of MW128. We thus obtain the normalized center density of the lattice. We then report on a computation that determined all the rational points of minimal norm, thus obtaining the kissing number of MW128. Like the packing density, the kissing number of MW128 is by a considerable factor the largest known kissing number of a lattice in this dimension.


title: Algebraic and Differential Star Products on Regular Orbits of Compact Lie Groups

abstract: In this paper we study a family of algebraic deformations of regular coadjoint orbits of compact semisimple Lie groups with the Kirillov Poisson bracket. The deformations are restrictions of deformations on the dual of the Lie algebra. We prove that there are non isomorphic deformations in the family. The star products are not differential, unlike the star products considered in other approaches. We make a comparison with the differential star product canonically defined by Kontsevich's map.


title: Global regularity of wave maps II. Small energy in two dimensions

abstract: We show that wave maps from Minkowski space $\R^{1+n}$ to a sphere $S^{m-1}$ are globally smooth if the initial data is smooth and has small norm in the critical Sobolev space $\dot H^{n/2}$, in all dimensions $n \geq 2$. This generalizes the results in the prequel [math.AP/0010068] of this paper, which addressed the high-dimensional case $n \geq 5$. In particular, in two dimensions we have global regularity whenever the energy is small, and global regularity for large data is thus reduced to demonstrating non-concentration of energy.


title: The Eigenvectors of the Right-Justified Pascal Triangle: A Shorter Proof with Generating Functions

abstract: Instead of dealing with cumbersome binomial identities, we prove Callan's result using generating functions.


title: (-1)-enumeration of plane partitions with complementation symmetry

abstract: We compute the weighted enumeration of plane partitions contained in a given box with complementation symmetry where adding one half of an orbit of cubes and removing the other half of the orbit changes the weight by -1 as proposed by Kuperberg. We use nonintersecting lattice path families to accomplish this for transpose-complementary, cyclically symmetric transpose-complementary and totally symmetric self-complementary plane partitions. For symmetric transpose-complementary and self-complementary plane partitions we get partial results. We also describe Kuperberg's proof for the case of cyclically symmetric self-complementary plane partitions.


title: On certain isomorphisms between absolute Galois groups

abstract: Let $k$ be an algebraically closed field of characteristic zero, $F$ be an algebraically closed extension of $k$ of transcendence degree one, and $G$ be the group of automorphisms over $k$ of the field $F$. The purpose of this note is to calculate the group of continuous automorphisms of $G$.


title: Metrics on the Real Quantum Plane

abstract: Using the frame formalism we determine some possible metrics and metric-compatible connections on the noncommutative differential geometry of the real quantum plane. By definition a metric maps the tensor product of two 1-forms into a `function' on the quantum plane. It is symmetric in a modified sense, namely in the definition of symmetry one has to replace the permutator map with a deformed map \sigma fulfilling some suitable conditions. Correspondingly, also the definition of the hermitean conjugate of the tensor product of two 1-forms is modified (but reduces to the standard one if \sigma coincides with the permutator). The metric is real with respect to such modified *-structure.


title: Cycles, submanifolds, and structures on normal bundles

abstract: We give explicit examples of degree 3 cohomology classes not Poincare dual to submanifolds, and discuss the realisability of homology classes by submanifolds with Spin-C normal bundles.


title: Singularities of special Lagrangian fibrations and the SYZ Conjecture

abstract: The SYZ Conjecture explains Mirror Symmetry between mirror Calabi-Yau 3-folds M,M' in terms of special Lagrangian fibrations f : M --> B and f' : M' --> B over the same base B, whose fibres are dual 3-tori, except for singular fibres. One of the main problems in proving the SYZ Conjecture (or even in finding the right statement of it) is that the singularities of special Lagrangian 3-folds and fibrations are poorly understood. This paper studies the singularities of special Lagrangian fibrations. Our main rigorous results are the construction of examples of special Lagrangian fibrations on open subsets of C^3. The simplest are given explicitly, and the rest are constructed using analytic existence results from the author's three papers math.DG/0111324, math.DG/0111326, math.DG/0204343 on U(1)-invariant special Lagrangian 3-folds in C^3. We then argue, without full proofs, that some features of our examples should also hold for special Lagrangian fibrations f : M --> B of (almost) Calabi-Yau 3-folds, especially in the generic case. In particular, f will not be smooth but only piecewise-smooth, and the discriminant (set of singular fibres) of f will be of codimension 1 in B, and will typically be composed of 'ribbons'. Finally we draw some conclusions on the SYZ Conjecture, which contradict some stronger statements of it.


title: On the Topology of Fibrations with Section and Free Loop Spaces

abstract: We relate the brace products of a fibration with section to the differentials in its serre spectral sequence. In the particular case of free loop fibrations, we establish a link between these differentials and browder operations in the fiber. Applications and several calculations (for the particular case of spheres and wedges of spheres) are given.


title: Local Cohomology, Arrangement of Subspaces and Monomial Ideals

abstract: Let $k$ be a field of characteristic zero and I an ideal defining an arrangement of linear subspaces in the affine space $A^n_k$. We compute the D-module theoretic characteristic cycle of the local cohomology modules $H^r_I(k[x_1,...,x_n])$ in terms of the poset defined by the arrangement. In case I is a monomial ideal, we relate the multiplicities of the characteristic cycle with the Betti numbers of the Alexander dual ideal of I, we also study some extension problems attached to the modules $H^r_I(k[x_1,...,x_n])$. If $k$ is the field of complex numbers we study the ubiquity of these local cohomology modules in the category of perverse sheaves in $A^n_k$ with respect to the stratification given by the coordinate hyperplanes.


title: Indecomposable almost free modules - the local case

abstract: Let R be a countable, principal ideal domain which is not a field and A be a countable R-algebra which is free as an R-module. Then we will construct an aleph_1-free R-module G of rank aleph_1 with endomorphism algebra End_RG=A . Clearly the result does not hold for fields. Recall that an R-module is aleph_1-free if all its countable submodules are free, a condition closely related to Pontryagin's theorem. This result has many consequences, depending on the algebra A in use. For instance, if we choose A=R, then clearly G is an indecomposable `almost free' module. The existence of such modules was unknown for rings with only finitely many primes like R=Z_{(p)}, the integers localized at some prime p. The result complements a classical realization theorem of Corner's showing that any such algebra is an endomorphism algebra of some torsion-free, reduced R-module G of countable rank. Its proof is based on new combinatorial-algebraic techniques related with what we call rigid tree-elements coming from a module generated over a forest of trees.


title: Statistical stability for robust classes of maps with non-uniform expansion

abstract: We consider open sets of maps in a manifold $M$ exhibiting non-uniform expanding behaviour in some domain $S\subset M$. Assuming that there is a forward invariant region containing $S$ where each map has a unique SRB measure, we prove that under general uniformity conditions, the SRB measure varies continuously in the $L^1$-norm with the map. As a main application we show that the open class of maps introduced in [V] fits to this situation, thus proving that the SRB measures constructed in [A] vary continuously with the map.


title: A module frame concept for Hilbert C*-modules

abstract: The goal of the present paper is a short introduction to a general module frame theory in C*-algebras and Hilbert C*-modules. The reported investigations rely on the idea of geometric dilation to standard Hilbert C*-modules over unital C*-algebras that possess orthonormal bases, and of reconstruction of the frames by projections and other bounded module operators with suitable ranges. We obtain frame representation and decomposition theorems, as well as similarity and equivalence results. The relative position of two and more frames in terms of being complementary or disjoint is investigated in detail. In the last section some recent results by P. G. Casazza are generalized to our setting. The Hilbert space situation appears as a special case. For detailled proofs we refer to another paper also contained in the ArXiv.


title: GCH implies the existence of many rigid almost free abelian groups

abstract: We begin with the existence of groups with trivial duals for cardinals aleph_n (n in omega). Then we derive results about strongly aleph_n-free abelian groups of cardinality aleph_n (n in omega) with prescribed free, countable endomorphism ring. Finally we use combinatorial results of [Sh:108], [Sh:141] to give similar answers for cardinals >aleph_omega. As in Magidor and Shelah [MgSh:204], a paper concerned with the existence of kappa-free, non-free abelian groups of cardinality kappa, the induction argument breaks down at aleph_omega. Recall that aleph_omega is the first singular cardinal and such groups of cardinality aleph_omega do not exist by the well-known Singular Compactness Theorem (see [Sh:52]).


title: Endomorphism rings of modules whose cardinality is cofinal to omega

abstract: The main result is Theorem: Let A be an R-algebra, mu, lambda be cardinals such that |A|<=mu=mu^{aleph_0}<lambda<=2^mu. If A is aleph_0-cotorsion-free or A is countably free, respectively, then there exists an aleph_0-cotorsion-free or a separable (reduced, torsion-free) R-module G respectively of cardinality |G|=lambda with End_RG=A oplus Fin G.


title: Bounding by canonical functions, with CH

abstract: We show that that a certain class of semi-proper iterations does not add omega-sequences. As a result, starting from suitable large cardinals one can obtain a model in which the Continuum Hypothesis holds and every function from omega_1 to omega_1 is bounded by a canonical function on a club, and so omega_1 is the omega_2-nd canonical function.


title: The splitting number can be smaller than the matrix chaos number

abstract: Let chi be the minimum cardinal of a subset of 2^omega that cannot be made convergent by multiplication with a single Toeplitz matrix. By an application of creature forcing we show that s<chi is consistent. We thus answer a question by Vojtas. We give two kinds of models for the strict inequality. The first is the combination of an aleph_2-iteration of some proper forcing with adding aleph_1 random reals. The second kind of models is got by adding delta random reals to a model of MA_{< kappa} for some delta in [aleph_1,kappa). It was a conjecture of Blass that s=aleph_1<chi=kappa holds in such a model. For the analysis of the second model we again use the creature forcing from the first model.


title: Chisini's conjecture for curves with singularities of type $x^n=y^m$

abstract: This paper is devoted to a very classical problem that can be summarized as follows: let S be a non singular compact complex surface, f:S --> P^2 a finite morphism having simple branching, B the branch curve: to what extent does B determine f? The problem was first studied by Chisini who proved that B determines S and f, assuming B to have only nodes and cusps as singularities, the degree d of f to be greater than 5, and a very strong hypothesis on the possible degenerations of B, and posed the question if the first or the third hypothesis could be weakened. Recently Kulikov and Nemirovski proved the result for d >= 12, and B having only nodes and cusps as singularities. In this paper we weaken the hypothesis about the singularities of B: we generalize the theorem of Kulikov and Nemirovski for B having only singularities of type {x^n=y^m}, in the additional hypothesis of smoothness for the ramification divisor. Moreover we exhibit a family of counterexamples showing that our additional hypothesis is necessary.


title: A Simple Proof that Rational Curves on K3 are Nodal

abstract: We give a simple proof of the statement that every rational curve in the primitive class of a general K3 surface is nodal.


title: Asymptotic K-theory for groups acting on $\tildeA_2$ buildings

abstract: Let $\Gamma$ be a torsion free lattice in $G=\PGL(3,{{\mathbb F}})$ where ${{\mathbb F}}$ is a nonarchimedean local field. Then $\Gamma$ acts freely on the affine Bruhat-Tits building ${\mathcal B}$ of $G$ and there is an induced action on the boundary $\Omega$ of ${\mathcal B}$. The crossed product $C^*$-algebra ${\mathcal A}(\Gamma)=C(\Omega) \rtimes \Gamma$ depends only on $\Gamma$ and is classified by its K-theory. This article shows how to compute the K-theory of ${\mathcal A}(\Gamma)$ and of the larger class of rank two Cuntz-Krieger algebras.


title: Torsion in K-theory for boundary actions on affine buildings of type $\tA_n$

abstract: Let $\Gamma$ be a torsion free lattice in $G = \PGL(n+1,\FF)$, where $n\ge 1$ and $\FF$ is a non-archimedean local field. Then $\Gamma$ acts on the Furstenberg boundary $G/P$, where $P$ is a minimal parabolic subgroup of $G$. The identity element $\id$ in the crossed product $C^*$-algebra $C(G/P)\rtimes \Gamma$ generates a class $[\id]$ in the $K_0$ group of $C(G/P)\rtimes \Gamma$. It is shown that $[\id]$ is a torsion element of $K_0$ and there is an explicit bound for the order of $[\id]$. The result is proved more generally for groups acting on affine buildings of type $\tA_n$. For $n=1, 2$ the Euler-Poincar\'e characteristic $\chi(\Gamma)$ annihilates the class $[\id]$.


title: Noncommutative Geometry Year 2000

abstract: We describe basic concepts of noncommutative geometry and a general construction extending the familiar duality between ordinary spaces and commutative algebras to a duality between Quotient spaces and Noncommutative algebras. Basic tools of the theory, K-theory, Cyclic cohomology, Morita equivalence, Operator theoretic index theorems, Hopf algebra symmetry are reviewed. They cover the global aspects of noncommutative spaces, such as the transformation $\theta \to 1/\theta$ for the NC torus $\Tb_{\theta}^2$, unseen in perturbative expansions in $\theta$ such as star or Moyal products. We discuss the foundational problem of "what is a manifold in NCG" and explain the role of Poincare duality in K-homology which is the basic reason for the spectral point of view. When specializing to 4-geometries this leads to the universal "Instanton algebra". We describe our work with G. Landi which gives NC-spheres $S_{\theta}^4$ from representations of the Instanton algebra. We show that any compact Riemannian spin manifold whose isometry group has rank $r \geq 2$ admits isospectral deformations to noncommutative geometries. We give a survey of our work with H. Moscovici on the transverse geometry of foliations which yields a diffeomorphism invariant geometry on the bundle of metrics on a manifold and a natural extension of cyclic cohomology to Hopf algebras. Then, our work with D. Kreimer on renormalization and the Riemann-Hilbert problem. Finally we describe the spectral realization of zeros of zeta and L-functions from the noncommutative space of Adele classes on a global field and its relation with the Arthur-Selberg trace formula in the Langlands program. We end with a tentalizing connection between the renormalization group and the missing Galois theory at Archimedian places.


title: Noncommutative Manifolds the Instanton Algebra and Isospectral Deformations

abstract: We give new examples of noncommutative manifolds that are less standard than the NC-torus or Moyal deformations of $\Rb^n$. They arise naturally from basic considerations of noncommutative differential topology and have non-trivial global features. The new examples include the instanton algebra and the NC-4-spheres $S^4_{\theta}$. The noncommutative algebras $\Ac=C^{\ify} (S^{4}_{\theta})$ of functions on NC-spheres are solutions to the vanishing, $ {\rm ch}_j (e) = 0, j < 2 $, of the Chern character in the cyclic homology of $\Ac$ of an idempotent $e \in M_4 (\Ac), e^2 = e, e = e^*$. The universal noncommutative space defined by this equation is a noncommutative Grassmanian defined by very non trivial cubic relations. This space ${\rm Gr}$ contains the suspension of a NC-3-sphere intimately related to quantum group deformations ${\rm SU}_q (2)$ of ${\rm SU} (2)$ but for unusual values (complex values of modulus one) of the parameter $q$ of $q$-analogues, $q=\exp (2\pi i \t)$. We then construct the noncommutative geometry of $S_{\t}^4$ as given by a spectral triple $(\Ac, \Hc, D)$ and check all axioms of noncommutative manifolds. The Dirac operator $D$ on the noncommutative 4-spheres $S_{\t}^4$ gives a solution to the basic quartic equation defining the `volume form' $ < (e - {1/2}) [D,e]^4 > = \g_5$, where $<$ is the projection on the commutant of $4 \ts 4$ matrices. Finally, we show that any compact Riemannian spin manifold whose isometry group has rank $r \geq 2$ admits isospectral deformations to noncommutative geometries.


title: Multiplicity results for some nonlinear Schroedinger equations with potentials

abstract: We prove some multiplicity results for a nonlinear equation of Schroedinger type with potential functions


title: On the constants in some inequalities for the Sobolev norms and pointwise product

abstract: We consider the Sobolev norms of the pointwise product of two functions, and estimate from above and below the constants appearing in two related inequalities.


title: Theta functions, quantum tori and Heisenberg groups

abstract: A linear algebraic group $G$ is represented by the linear space of its algebraic functions $F(G)$ endowed with multiplication and comultiplication which turn it into a Hopf algebra. Supplying $G$ with a Poisson structure, we get a quantized version $F_q(G)$ which has the same linear structure and comultiplication, but deformed multiplication. This paper develops a similar theory for abelian varieties. A description of abelian varieties $A$ in terms of linear algebra data was given by Mumford: $F(G)$ is replaced by the graded ring of theta functions with symmetric automorphy factors, and comultiplication is replaced by the Mumford morphism $M^*$ acting on pairs of points as $M(x,y)=M(x+y,x-y).$ After supplementing this by a Poisson structure and replacing the classical theta functions by the quantized ones, introduced by the author earlier, we obtain a structure which essentially coincides with the classical one so far as comultiplication is concerned, but has a deformed multiplication which moreover becomes only partial. The classical graded ring is thus replaced by a linear category. Another important difference from the linear case is that abelian varieties with different period groups (for multiplication) and different quantization parameters (for comultiplication) become interconnected after quantization.


title: Composition of points and Mordell-Weil problem for cubic surfaces

abstract: Let $V$ be a plane smooth cubic curve over a finitely generated field $k.$ The Mordell-Weil theorem for $V$ states that there is a finite subset $P\subset V(k)$ such that the whole $V(k)$ can be obtained from $P$ by drawing secants and tangents through pairs of previously constructed points and consecutively adding their new intersection points with $V.$ Equivalently, the group of birational transformations of $V$ generated by reflections with respect to $k$-points is finitely generated. In this paper, elaborating an idea from [M3], we establish a Mordell-Weil type finite generation result for some birationally trivial cubic surfaces $W$. To the contrary, we prove that the birational automorphism group generated by reflections cannot be finitely generated if $W(k)$ is infinite.


title: Connexion de Gauss-Manin associ\'ee \`a la d\'eformationverselle de la singularit\'e et z\'erosde l'int\'egrale hyperelliptique

abstract: One studies the system of differential equations satisfied by the hyperelliptic integral associated to a vanishing cycle defined for the versal deformation of the $A-\mu$ singularity. As an application, the estimates on the multiplicity of zeros of the hyperelliptic integral are given as a linear function of the degree of present polynomials.


title: K-theory computations for boundary algebras of $\tA_2$ groups

abstract: This is an appendix to the paper {\bf Asymptotic K-theory for groups acting on $\tA_2$ buildings}, and contains the results of the computations performed by the authors.


title: Hyperbolic Cauchy problem and Leray's residue formula

abstract: We give an algebraic description of wave fronts that appear in strictly hyperbolic Cauchy problem. Concrete form of definig function of wave front issued from initial algebraic variety is obtained by the aid of the Gauss-Manin systems satisfied by Gel'fand -Leray integrals.


title: On the flatness of local models for the symplectic group

abstract: We investigate the bad reduction of certain Shimura varieties (associated to the symplectic group). More precisely, we look at a model of the Shimura variety at a prime p, with parahoric level structure at p. We show that this model is flat, as conjectured by Rapoport and Zink, and that its special fibre is reduced.


title: The Coppersmith-Tetali-Winkler Identity for Mechanical Systems

abstract: Using a mixture of linear algebra and statics, we derive what can be viewed as a slight generalization of the Coppersmith-Tetali-Winkler Identity $H(i,j)+H(j,k)+H(k,i)=H(j,i)+H(k,j)+H(i,k)$ for hitting times of a random walk.


title: Short proof of the Gallai-Edmonds Structure Theorem

abstract: We derive the Gallai-Edmonds Structure Theorem from Hall's Theorem.


title: Vector Fields, Invariant Varieties and Linear Systems

abstract: We investigate the interplay between invariant varieties of vector fields and the inflection locus of linear systems with respect to the vector field. Among the consequences of such investigation we obtain a computational criteria for the existence of rational first integrals of a given degree, bounds for the number of first integrals on families of vector fields and a generalization of Darboux's criteria. We also provide a new proof of Gomez-Mont's result on foliations with all leaves algebraic.


title: A Rationality Condition for the Existence of Odd Perfect Numbers

abstract: A rationality condition is derived for the existence of odd perfect numbers involving the square root of a product, which consists of a sequence of repunits, multiplied by twice the base of one of the repunits. This constraint also provides an upper bound for density of odd integers which could satisfy ${{\sigma(N)}\over N}=2$, where $N$ belongs to a fixed interval with a lower limit greater than $10^{300}$. Characteristics of prime divisors of repunits are used to establish whether the product containing the repunits can be a perfect square. It is shown that the arithmetic primitive divisors with different prime bases can be equal only when the exponents are different, with the exception of a set of cases derived from solutions of a solution prime equation. The proof of this result requires the demonstration of the non-existence of solutions of a more general prime equation, a problem which is equivalent to Catalan's conjecture. Results concerning the exponents of prime divisors of the repunits are obtained, and they are combined with the method of induction to prove to prove a general theorem on the non-existence of prime divisors satisfying the rationality condition.


title: Duality and Rational Modules in Hopf Algebras over Commutative Rings

abstract: Let $A$ be an algebra over a commutative ring $R$. If $R$ is noetherian and $A^\circ$ is pure in $R^A$, then the categories of rational left $A$-modules and right $A^\circ$-comodules are isomorphic. In the Hopf algebra case, we can also strengthen the Blattner-Montgomery duality theorem. Finally, we give sufficient conditions to get the purity of $A^\circ$ in $R^A$.


title: Quantum Logic in Intuitionistic Perspective

abstract: In their seminal paper Birkhoff and von Neumann revealed the following dilemma: "... whereas for logicians the orthocomplementation properties of negation were the ones least able to withstand a critical analysis, the study of mechanics points to the distributive identities as the weakest link in the algebra of logic." In this paper we eliminate this dilemma, providing a way for maintaining both. Via the introduction of the "missing" disjunctions in the lattice of properties of a physical system while inheriting the meet as a conjunction we obtain a complete Heyting algebra of propositions on physical properties. In particular there is a bijective correspondence between property lattices and propositional lattices equipped with a so called operational resolution, an operation that exposes the properties on the level of the propositions. If the property lattice goes equipped with an orthocomplementation, then this bijective correspondence can be refined to one with propositional lattices equipped with an operational complementation, as such establishing the claim made above. Formally one rediscovers via physical and logical considerations as such respectively a specification and a refinement of the purely mathematical result by Bruns and Lakser (1970) on injective hulls of meet-semilattices. From our representation we can derive a truly intuitionistic functional implication on property lattices, as such confronting claims made in previous writings on the matter. We also make a detailed analysis of disjunctivity vs. distributivity and finitary vs. infinitary conjunctivity, we briefly review the Bruns-Lakser construction and indicate some questions which are left open.


title: Disjunctive Quantum Logic in Dynamic Perspective

abstract: In arXiv: math.LO/0011208 we proposed the {\sl intuitionistic or disjunctive representation of quantum logic}, i.e., a representation of the property lattice of physical systems as a complete Heyting algebra of logical propositions on these properties, where this complete Heyting algebra goes equipped with an additional operation, the {\sl operational resolution}, which identifies the properties within the logic of propositions. This representation has an important application ``towards dynamic quantum logic'', namely in describing the temporal indeterministic propagation of actual properties of physical systems. This paper can as such by conceived as an addendum to ``Quantum Logic in Intuitionistic Perspective'' that discusses spin-off and thus provides an additional motivation. We derive a quantaloidal semantics for dynamic disjunctive quantum logic and illustrate it for the particular case of a perfect (quantum) measurement.


title: The local Langlands correspondence for GL(n) over p-adic fields

abstract: This work is intended as an introduction to the statement and the construction of the local Langlands correspondence for GL(n) over p-adic fields. The emphasis lies on the statement and the explanation of the correspondence.


title: Homological properties of bigraded algebras

abstract: We study the x- and y-regularity of a bigraded K-algebra R. These notions are used to study asymptotic properties of certain finitely generated bigraded modules. As an application we get for any equigenerated graded ideal I upper bounds for the number j_0 for which reg(I^j) is a linear function for j >= j_0. Finally we give upper bounds for the x- and y-regularity of generalized Veronese algebras.


title: Notions of double for Lie algebroids

abstract: We define an abstract notion of double Lie algebroid, which includes as particular cases: (1) the double Lie algebroid of a double Lie groupoid in the sense of the author, such as the iterated tangent bundle of an ordinary manifold, and various iterated tangent/cotangent constructions in symplectic and Poisson geometry; (2) the double of a Lie bialgebra; (3) the double of a matched pair, or twilled extension, of Lie algebras, and a corresponding construction for matched pairs of general Lie algebroids in the sense of Mokri and of J.-H. Lu. We prove that, given any abstract Lie bialgebroid, the `double cotangent' has a structure of double Lie algebroid, which reduces to the classical Drinfel'd double in the Lie bialgebra case. The key to the compatibility conditions between the structures in an abstract double Lie algebroid is an associated Lie bialgebroid in the sense of the author and Ping Xu.


title: Alignment Correspondences

abstract: We study correspondences of zero-dimensional subschemes of a smooth variety X "aligned" in the same way in inside the appropriate product of Hilbert schemes. We show that such correspondences have etale covering by other such correspondences that are affine bundles over flag bundles on the tangent bundle of X. Moreover, we show that for many such coverings, the closures of the correspondences having these coverings vary so much that there is no compactification of the covering dominating all of these closures.


title: Counting Singular Plane Curves Via Hilbert Schemes

abstract: We give a method of counting the number of curves with a given type of singularity in a suitably ample linear series on a smooth surface using punctual Hilbert schemes. The types of singulaties for which our methods suffice include the topological type with local equation x^a +y^b with b-1 < a < 3b+1. We work out the example of curves with the analytic type of singularity with local equation x^2+y^n for 1<n<9.


title: Categoricity in abstract elementary classes: going up inductive step

abstract: We deal with stability theory for ``reasonable'' non-elementary classes without any remanents of compactness (like: above Hanf number or definable by L_{omega_1, omega}).


title: Quillen model structures for relative homological algebra

abstract: An important example of a model category is the category of unbounded chain complexes of R-modules, which has as its homotopy category the derived category of the ring R. This example shows that traditional homological algebra is encompassed by Quillen's homotopical algebra. The goal of this paper is to show that more general forms of homological algebra also fit into Quillen's framework. Specifically, a projective class on a complete and cocomplete abelian category A is exactly the information needed to do homological algebra in A. The main result is that, under weak hypotheses, the category of chain complexes of objects of A has a model category structure that reflects the homological algebra of the projective class in the sense that it encodes the Ext groups and more general derived functors. Examples include the "pure derived category" of a ring R, and derived categories capturing relative situations, including the projective class for Hochschild homology and cohomology. We characterize the model structures that are cofibrantly generated, and show that this fails for many interesting examples. Finally, we explain how the category of simplicial objects in a possibly non-abelian category can be equipped with a model category structure reflecting a given projective class, and give examples that include equivariant homotopy theory and bounded below derived categories.


title: Toric Varieties in Hilbert Schemes

abstract: For an arbitrary field K, let I be an ideal in the ring K[[x,y]] expressible as a polynomial in either the pair of ideals (x, y^4) and (x,y) or the pair (x,y^3) and (x^2, y). Let G be the group of automorphisms of K[[x,y]] sending the ideal (x,y^2) to itself. Then the normalization of the closure of the G orbit of I is a toric variety. We use the interplay of the properties of Hilbert schemes and toric varieties to study these spaces.


title: Random Walk in an Alcove of an Affine Weyl Group, and Non-Colliding Random Walks on an Interval

abstract: We use a reflection argument, introduced by Gessel and Zeilberger, to count the number of k-step walks between two points which stay within a chamber of a Weyl group. We apply this technique to walks in the alcoves of the classical affine Weyl groups. In all cases, we get determinant formulas for the number of k-step walks. One important example is the region m>x_1>x_2>...>x_n>0, which is a rescaled alcove of the affine Weyl group C_n. If each coordinate is considered to be an independent particle, this models n non-colliding random walks on the interval (0,m). Another case models n non-colliding random walks on the circle.


title: On a Relative Version of Fujita's Freeness Conjecture

abstract: We consider Fujita's freeness conjecture in a relative setting and prove a criterion by proving a correct Q-divisor version of the Kollar vanishing theorem.


title: The generalized Borwein conjecture. I. The Burge transform

abstract: Given an arbitrary ordered pair of coprime integers (a,b) we obtain a pair of identities of the Rogers--Ramanujan type. These identities have the same product side as the (first) Andrews--Gordon identity for modulus 2ab\pm 1, but an altogether different sum side, based on the representation of (a/b-1)^{\pm 1} as a continued fraction. Our proof, which relies on the Burge transform, first establishes a binary tree of polynomial identities. Each identity in this Burge tree settles a special case of Bressoud's generalized Borwein conjecture.


title: Lefschetz pencils and divisors in moduli space

abstract: We study Lefschetz pencils on symplectic four-manifolds via the associated spheres in the moduli spaces of curves, and in particular their intersections with certain natural divisors. An invariant defined from such intersection numbers can distinguish manifolds with torsion first Chern class. We prove that pencils of large degree always give spheres which behave `homologically' like rational curves; contrastingly, we give the first constructive example of a symplectic non-holomorphic Lefschetz pencil. We also prove that only finitely many values of signature or Euler characteristic are realised by manifolds admitting Lefschetz pencils of genus two curves.


title: Hypersurface complements, Milnor fibers and minimality of arrangements

abstract: We describe a new relation between the topology of hypersurface complements, Milnor fibers and degree of gradient mappings. The main tools are polar curves and the affine Lefschetz theory developped by H. Hamm and A. N\'emethi. In the special case of the hyperplane arrangements, we strengthen some results due to Orlik and Terao (see Math. Ann. 301(1995)) and obtain an independant proof for the minimality of hyperplane arrangements (see Randell math.AT/0011101 for another proof of this result).


title: Geometric monodromy and the hyperbolic disc

abstract: Symplectic four-manifolds give rise to Lefschetz fibrations, which are determined by monodromy representations of free groups in mapping class groups. We study the topology of Lefschetz fibrations by analysing the action of the monodromy on the universal cover of a smooth fibre. We give new and simple proofs that Lefschetz fibrations arising from pencils (i.e. with exceptional sections) never split as non-trivial fibre sums, and that no simple closed curve can be invariant to isotopy under the monodromy representation.


title: Characteristically nilpotent Lie algebras : a survey

abstract: We review the known results about characteristically nilpotent complex Lie algebras, as well as we comment recent developements in the theory.


title: On the determination of 2-step solvable Lie algebra from its weight graph

abstract: By using the concept of weight graph associated to certain nilpotent Lie algebras $\frak{g}$, we find necessary and sufficient conditions for a semidirect product $\frak{g}\oplus T_{i}$, where $T_{i}<T$ is a subalgebra of a maximal torus of derivations $T$ of $\frak{g}$ which induces a decomposition of $\frak{g}$ into one dimensional weight spaces, to be 2-step solvable. In particular we show that the semidirect product of such a Lie algebra with its torus of derivations cannot be itself 2-step solvable.


title: On the Lattes maps of P^k

abstract: Let f be a polynomial endomorphism of degree d>1 of C^k (k>1) which extends to a holomorphic endomorphism of P^k. Assume that the maximal order Julia set of f is laminated by real hypersurfaces in some open set. We show that f is homogenous and is a polynomial lift of a Lattes endomorphism of P^{k-1}.


title: Knotting of algebraic curves in complex surfaces

abstract: A non-singular connected algebraic curve $A$ in a simply connected algebraic surface $X$ can be knotted so that its homology class and the fundamental group of its complement in $X$ is preserved, provided $A$ is sufficiently complex (not too ``rigid''). For example, it is true if $A$ admits a degeneration to an irreducible curve $A_0$ having a unique singularity of the type $X_9$ (a non-degenerate quadriple point), or more complicated one, and $A.A>16$. This generalizes the previous result of the author which concerns the curves in $CP^2$ of degree $d>4$ (the old preprint is included as a part of the current one).


title: On Whitehead precovers

abstract: It is proved undecidable in ZFC + GCH whether every Z-module has a^{perp} {Z}-precover.


title: The stability radius of linear operator pencils

abstract: Let T and S be two bounded linear operators from Banach spaces X into Y and suppose that T is Fredholm and the stability number k(T;S) is 0. Let d(T;S) be the supremum of all r > 0 such that dim N(T-\lambda S) and codim R(T-\lambda S) are constant for all \lambda with |\lambda | < r. It was proved in 1980 by H. Bart and D.C. Lay that d(T;S) = \lim_{n\to\infty}\gamma_{n}(T;S)^{1/n}, where \gamma_{n}(T;S) are some non-negative (extended) real numbers. For X=Y and S = I, the identity operator, we have \gamma_{n}(T;S) = \gamma (T^n), where \gamma is the reduced minimum modulus. A different representation of the stability radius is obtained here in terms of the spectral radii of generalized inverses of T. The existence of generalized resolvents for Fredholm linear pencils is also considered.


title: Whitehead modules over large principal ideal domains

abstract: We consider the Whitehead problem for principal ideal domains of large size. It is proved, in ZFC, that some p.i.d.'s of size >= aleph_{2} have non-free Whitehead modules even though they are not complete discrete valuation rings.


title: The non-commutative Specker phenomenon in the uncountable case

abstract: An infinitary version of the notion of free products has been introduced and investigated by G.Higman. Let G_i (for i in I) be groups and ast_{i in X} G_i the free product of G_i (i in X) for X Subset I and p_{XY}: ast_{i in Y} G_{i}->ast_{i in X} G_{i} the canonical homomorphism for X subseteq Y Subset I. (X Subset I denotes that X is a finite subset of I.) Then, the unrestricted free product is the inverse limit lim (ast_{i in X} G_i, p_{XY}: X subseteq Y Subset I). We remark ast_{i in emptyset} G_i= {e} . We prove: Theorem: Let F be a free group. Then, for each homomorphism h:lim ast G_i-> F there exist countably complete ultrafilters u_0,...,u_m on I such that h = h . p_{U_0 cup ... cup U_m} for every U_0 in u_0, ...,U_m in u_m. If the cardinality of the index set I is less than the least measurable cardinal, then there exists a finite subset X_0 of I and a homomorphism overline {h}: ast_{i in X_0}G_i-> F such that h= overline {h} . p_{X_0}, where p_{X_0}: lim ast G_i->ast_{i in X_0}G_i is the canonical projection.


title: Coordinate restrictions of linear operators in $l_2^n$

abstract: This paper addresses the problem of improving properties of a linear operator u in $l_2^n$ by restricting it onto coordinate subspaces. We discuss how to reduce the norm of u by a random coordinate restriction, how to approximate u by a random operator with small "coordinate" rank, how to find coordinate subspaces where u is an isomorphism. The first problem in this list provides a probabilistic extension of a suppression theorem of Kashin and Tzafriri, the second one is a new look at a result of Rudelson on the random vectors in the isotropic position, the last one is the recent generalization of the Bourgain-Tzafriri's invertibility principle. The main point is that all the results are independent of n, the situation is instead controlled by the Hilbert-Schmidt norm of u. As an application, we provide an almost optimal solution to the problem of harmonic density in harmonic analysis, and a solution to the reconstruction problem for communication networks which deliver data with random losses.


title: Generalized Metrical Multi-Time Lagrange Model for General Relativity and Electromagnetism

abstract: The paper construct a suitable generalized metrical multi-time Lagrange geometrical model for both gravitational and electromagnetic fields, in a general setting. In this construction, the gravitational potentials are described by a distinguished vertical metrical tensor of the form $h^{/alpha/beta}e^{2\sigma}/phi_{ij}$.


title: Discrete Morse Complexes

abstract: We investigate properties of the set of discrete Morse functions on a simplicial complex as defined by Forman. It is not difficult to see that the pairings of discrete Morse functions of a finite simplicial complex again form a simplicial complex, the discrete Morse complex. It turns out that several known results from combinatorial topology and enumerative combinatorics, which previously seemed to be unrelated, can be re-interpreted in the setting of these discrete Morse complexes.


title: Generalised Pattern Avoidance

abstract: Recently, Babson and Steingrimsson have introduced generalised permutation patterns that allow the requirement that two adjacent letters in a pattern must be adjacent in the permutation. We consider pattern avoidance for such patterns, and give a complete solution for the number of permutations avoiding any single pattern of length three with exactly one adjacent pair of letters. We also give some results for the number of permutations avoiding two different patterns. Relations are exhibited to several well studied combinatorial structures, such as set partitions, Dyck paths, Motzkin paths, and involutions. Furthermore, a new class of set partitions, called monotone partitions, is defined and shown to be in one-to-one correspondence with non-overlapping partitions.


title: Exterior algebra methods for the Minimal Resolution Conjecture

abstract: If r\geq 6, r\neq 9, we show that the Minimal Resolution Conjecture fails for a general set of m points in P^r for almost 1/2\sqrt r values of m. This strengthens the result of Eisenbud and Popescu [1999], who found a unique such m for each r in the given range. Our proof begins like a variation of that of Eisenbud and Popescu, but uses exterior algebra methods as explained by Eisenbud and Schreyer [2000] to avoid the degeneration arguments that were the most difficult part of the Eisenbud-Popescu proof. Analogous techniques show that the Minimal Resolution Conjecture fails for linearly normal curves of degree d and genus g when d\geq 3g-2, g\geq 4, reproving results of Schreyer, Green, and Lazarsfeld.


title: New Proof of the Cobordism Invariance of the Index

abstract: We give a simple proof of the cobordism invariance of the index of an elliptic operator. The proof is based on a study of a Witten-type deformation of an extension of the operator to a complete Riemannian manifold. One of the advantages of our approach is that it allows to treat directly general elliptic operator which are not of Dirac type.


title: Proper actions of lattices on contractible manifolds

abstract: Every lattice H in a connected semi-simple Lie group G acts properly discontinuously by isometries on the contractible manifold G/K (K a maximal compact subgroup of G). We prove that if H acts on a contractible manifold W and if either 1) the action is properly discontinuous, or 2) W is equipped with a complete Riemannian metric, the action is by isometries and with unbounded orbits, G is simple with finite center and rank >1, then dim W is not less than dim G/K.


title: Extremal Approximately Convex Functions and the Best Constants in a Theorem of Hyers and Ulam

abstract: Let $n\ge1$ and $B\ge2$. A real-valued function $f$ defined on the $n$-simplex $\Delta_n$ is approximately convex with respect to $\Delta_{B-1}$ iff f(\sum_{i=1}^B t_ix_i) \le \sum_{i=1}^B t_if(x_i) +1 for all $x_1,...,x_B \in \Delta_n$ and all $(t_1,...,t_B)\in \Delta_{B-1}$. We determine explicitly the extremal (i.e. pointwise largest) function of this type which vanishes on the vertices of $\Delta_n$. We also prove a stability theorem of Hyers-Ulam type which yields as a special case the best constants in the Hyers-Ulam stability theorem for $\epsilon$-convex functions.


title: Orthonormal bases of polynomials in one complex variable

abstract: Let a sequence $(P_n)$ of polynomials in one complex variable satisfy a recurre ce relation with length growing slowlier than linearly. It is shown that $(P_n) $ is an orthonormal basis in $L^2_{\mu}$ for some measure $\mu$ on $\C$, if and o ly if the recurrence is a $3-$term relation with special coefficients. The supp rt of $\mu$ lies on a straight line. This result is achieved by the analysis of a formally normal irreducible Hessenberg operator with only finitely many nonzero entries in every row. It generalizes the classical Favard's Theorem and the Representation Theorem.


title: Orbits of Lie Group Actions are Weakly Embedded

abstract: In this note we prove that whenever a Lie group $G$ acts on a manifold $X$, then the orbit $Gx$ through any point $x$ of $X$ is a weakly embedded submanifold of $X$. The investigation of this problem was inspired by an application to Cat astrophe Theory.


title: Birational Unboundedness of $\Bbb Q$-Fano threefolds

abstract: In this paper, we prove that the family of $\Bbb Q$-Fano threefolds with Picard number one is birationally unbounded.


title: Conformal subalgebras of lattice vertex algebras

abstract: In this paper we classify, under certain restrictions, all homogeneous conformal subalgebras $\goth L$ of a lattice vertex superalgebra $V_\Lambda$ corresponding to an integer lattice $\Lambda$. We require that $\goth L$ is graded by an almost finite root system $\Delta\subset \Lambda$ and that $\goth L$ is stable under the action of the Heisenberg conformal algebra $\goth H\subset V_\Lambda$. We also describe the root systems of these subalgebras. The key ingredient of this classification is an infinite type conformal algebra $\goth K$ obtained by the Tits-Kantor-Koeher construction from a certain Jordan conformal triple system $\goth J$. We realize a central extension $\^{\goth K}$ of $\goth K$ inside the fermionic vertex superalgebra $V_\Z$, thus extending the bozon-fermion correspondence.


title: Deformations of the trivial line bundle and vanishing theorems

abstract: This paper reproves a general form of the Green-Lazarsfeld 'generic vanishing' theorem and more recent strengthenings, as well as giving some new applications.


title: A Path Algorithm for Affine Kazhdan-Lusztig Polynomials

abstract: We develop an algorithm for computing affine Kazhdan-Lusztig polynomials, for all Lie types. This generalizes our previously published algorithm for type A, which in turn is a faster version of an algorithm due to Lascouz, Leclerc and Thibon (proposed in the setting of Hecke algebras of type A, at roots of unity.)


title: Some light on Littlewood-Paley theory

abstract: The purpose of this note is to correct an error in a paper of M. Cowling, G. Fendler and J.J.F. Fournier, and to give a counterexample to a conjecture of J.-L. Rubio de Francia.


title: Multiderivations of Coxeter arrangements

abstract: Let $V$ be an $\ell$-dimensional Euclidean space. Let $G \subset O(V)$ be a finite irreducible orthogonal reflection group. Let ${\cal A}$ be the corresponding Coxeter arrangement. Let $S$ be the algebra of polynomial functions on $V.$ For $H \in {\cal A}$ choose $\alpha_H \in V^*$ such that $H = {\rm ker}(\alpha_H).$ For each nonnegative integer $m$, define the derivation module $\sD^{(m)}({\cal A}) = \{\theta \in {\rm Der}_S | \theta(\alpha_H) \in S \alpha^m_H\}$. The module is known to be a free $S$-module of rank $\ell$ by K. Saito (1975) for $m=1$ and L. Solomon-H. Terao (1998) for $m=2$. The main result of this paper is that this is the case for all $m$. Moreover we explicitly construct a basis for $\sD^{(m)} (\cal A)$. Their degrees are all equal to $mh/2$ (when $m$ is even) or are equal to $((m-1)h/2) + m_i (1 \leq i \leq \ell)$ (when $m$ is odd). Here $m_1 \leq ... \leq m_{\ell}$ are the exponents of $G$ and $h= m_{\ell} + 1$ is the Coxeter number. The construction heavily uses the primitive derivation $D$ which plays a central role in the theory of flat generators by K. Saito (or equivalently the Frobenius manifold structure for the orbit space of $G$.) Some new results concerning the primitive derivation $D$ are obtained in the course of proof of the main result.


title: Hopf Algebra Equivariant Cyclic Homology and Cyclic Homology of Crossed Product Algebras

abstract: We introduce the cylindrical module $A \natural \mathcal{H}$, where $\mathcal{H}$ is a Hopf algebra and $A$ is a Hopf module algebra over $\mathcal{H}$. We show that there exists an isomorphism between $\mathsf{C}_{\bullet}(A^{op} \rtimes \mathcal{H}^{cop})$ the cyclic module of the crossed product algebra $A^{op} \rtimes \mathcal{H}^{cop} $, and $\Delta(A \natural \mathcal{H}) $, the cyclic module related to the diagonal of $A \natural \mathcal{H}$. If $S$, the antipode of $\mathcal{H}$, is invertible it follows that $\mathsf{C}_{\bullet}(A \rtimes \mathcal{H}) \simeq \Delta(A^{op} \natural \mathcal{H}^{cop})$. When $S$ is invertible, we approximate $HC_{\bullet}(A \rtimes \mathcal{H})$ by a spectral sequence and give an interpretation of $ \mathsf{E}^0, \mathsf{E}^1$ and $\mathsf{E}^2 $ terms of this spectral sequence.


title: Topological classification of Z_{p}^{m} actions on surfaces

abstract: Let $\widetilde{S}$ be a closed (compact without boundary) oriented surface with genus $g$, and $G$ be a group isomorphic to $% \mathbf{Z}_{p}^{m}$, where $p$ is a prime integer. An action of $G$ on $S$ is a pair $(\widetilde{S},f)$, where $f$ is a representation of $G$ in the group of orientation preserving autohomeomorphisms of $\widetilde{S}$. Two actions $(\widetilde{S},f)$ and $(\widetilde{S^{\prime}},f^{\prime})$ are called strongly (resp. weakly) equivalent if there is a homeomorphism$,$ $% \widetilde{\psi}:\widetilde{S}\to \widetilde{S}^{\prime},$ sending the orientation of $\widetilde{S}$ to the orientation of $\widetilde{S}% ^{\prime},$ such that $f^{\prime}(h)=\widetilde{\psi}\circ f(h)\circ \widetilde{\psi}^{-1},$ (resp. there is an automorphism $\alpha \in Aut(G)$ such that $f^{\prime}\circ \alpha (h)=\widetilde{\psi}\circ f(h)\circ \widetilde{\psi}^{-1}$) for all $h\in G.$ We give the full description of strong and weak equivalence classes. The main idea of our work is the fact that a fixed point free action of $\mathbf{Z}_{p}^{m}$ on a surface provides a bilinear antisymmetric form on $\mathbf{Z}_{p}^{m}.$ For instance, we prove that the weakly equivalence classes of actions of $G$ on surfaces with orbit space of genus $g$ are in one to one correspondence with the set of pairs which consist in a positive integer number $k$, $k\leq m-n,$ $k=(m-n)% \func{mod}2,$ $g\geq {1/2}(m-n+k),$ and an orbit of the action of $% Aut(G)$ on the set of unordered $r$-tuples $[C_{1},...,C_{r}]$ of non-trivial elements generating a subgroup isomorphic to $\mathbf{Z}_{p}^{n}$ and such that $\sum_{1}^{r}C_{i}=0$. We use this result in describing the moduli space of complex algebraic curves admitting a group of automorphisms isomorphic to $\mathbf{Z}_{p}^{m}.$


title: Non-intersecting Paths, Random Tilings and Random Matrices

abstract: We investigate certain measures induced by families of non-intersecting paths in domino tilings of the Aztec diamond, rhombus tilings of an abc-hexagon, a dimer model on a cylindrical brick lattice and a growth model. The measures obtained, e.g. the Krawtchouk and Hahn ensembles, have the same structure as the eigenvalue measures in random matrix theory like GUE, which can in fact be obtained from non-intersecting Brownian motions. The derivations of the measures are based on the Karlin-McGregor or Lindstr\"om-Gessel-Viennot method. We use the measure to show some asymptotic results for the models.


title: Subalgebras of bigraded Koszul algebras

abstract: We show that diagonal subalgebras and generalized Veronese subrings of a bigraded Koszul algebra are Koszul. We give upper bounds for the regularity of sidediagonal and relative Veronese modules and apply the results to symmetric algebras and Rees rings.


title: Simplicial and categorical comma categories

abstract: We consider four categories: the category of diagrams of small categories indexed by a given small category O, the (comma) category of small categories over O, the category of diagrams of simplicial sets indexed by O, and the category of simplicial sets over the nerve of O. Fritsch and Golasinski claimed that these four categories have equivalent homotopy categories but, in fact, their proof contains an error and the homotopy categories are not equivalent with the weak equivalences they use in the comma categories. We show here that the correct weak equivalences are the ``weak fibre homotopy equivalences'' defined by Latch. We also construct a model category structure on the category of simplicial sets over NO in which the weak equivalences are the weak fibre homotopy equivalences.


title: Higher Nimbers in pawn endgames on large chessboards

abstract: We answer a question posed in [Elkies 1996] (math.CO/9905198) by constructing a class of pawn endgames on m-by-n boards that show the Nimbers *k for large k. We do this by modifying and generalizing T.R. Dawson's ``pawns game'' [Berlekamp et al. 1982] (Winning Ways I). Our construction works for m>8 and n sufficiently large; on the basis of computational evidence we conjecture, but cannot yet prove, that the construction yields *k for all integers k.


title: Arithmetical Aspects of Beurling's Real Variable Reformulation of the Riemann Hypothesis

abstract: The paper presents two arithmetical versions of the Nyman-Beurling equivalence with the Riemann hypothesis, proved by classical, quasi elementary, number-theoretic methods, based on an integrated version of the classical combinatorial identity for Moebius numbers. These proofs also give insight into the troublesome phenomenon that many natural sequences of Beurling functions tending to the indicator function of (0,1) both pointwise and in L1 norm do not converge in L2 norm.


title: Logarithmic forms and anti-invariant forms of reflection groups

abstract: Let W be a finite group generated by unitary reflections and A be the set of reflecting hyperplanes. We will give a characterization of the logarithmic differential forms with poles along A in terms of anti-invariant differential forms. If W is a Coxeter group defined over the real numbers, then the characterization provides a new method to find a basis for the module of logarithmic differential forms out of basic invariants.


title: A canonical hyperkaehler metric on the total space of a cotangent bundle

abstract: A canonical hyperkaehler metric on the total space $T^*M$ of a cotangent bundle to a complex manifold $M$ has been constructed recently by the author (see alg-geom/9710026). This paper presents the results of alg-geom/9710026 in a streamlined and simplified form. The only new result is an explicit formula obtained for the case when $M$ is an Hermitian symmetric space.


title: Invariance of plurigenera of varieties with nonngative Kodaira dimensions

abstract: We prove the invariance of plurigenera under smooth projective deformations of varieties with nonnegative Kodaira dimensions.


title: Picard numbers in a family of hyperk\"ahler manifolds - A supplement to the article of R. Borcherds, L. Katzarkov, T. Pantev, N. I. Shepherd-Barron

abstract: We remark the density of the jumping loci of the Picard number of a hyperk\"ahler manifold under small one-dimensional deformation and provide some applications for the Mordell-Weil groups of Jacobian K3 surfaces.