title: On some Moment Maps and Induced Hopf Bundles in the Quaternionic Projective Space

abstract: We describe a diagram containing the zero sets of the moment maps associated to the diagonal U(1) and Sp(1) actions on the quaternionic projective space HP^n. These sets are related both to focal sets of submanifolds and to Sasakian-Einstein structures on induced Hopf bundles. As an application, we construct a complex structure on the Stiefel manifolds V_2 (C^{n+1}) and V_4 (R^{n+1}), the one on the former manifold not being compatible with its known hypercomplex structure.


title: Affine surfaces with isomorphic cylinders

abstract: This paper is withdrawn by the authors.


title: Conormal modules via Primitive ideals

abstract: The main object of this note is to study the conormal module $M$ and the computation of the second symbolic power $\bar I^{(2)}$ of an ideal $\bar I$ in the residue ring $R/H$ of a polynomial ring $R$ over a field of characteristic zero. The torsion part $T(M)$ of $M$ and the torsion free module $M/T(M)$ are expressed by the primitive ideal of $I$ relative to $H$. Two characterizations for $M/T(M)$ to be free are proved. Some immediate applications are worked out.


title: Maslov class and minimality in Calabi-Yau manifolds

abstract: Generalizing the construction of the Maslov class for a Lagrangian embedding in a symplectic vector space, we prove that it is possible to give a consistent definition of this class for any Lagrangian submanifold of a Calabi-Yau manifold. Moreover, we prove that this class can be represented by the contraction of the Kaehler form associated to the Calabi-Yau metric, with the mean curvature vector field of the Lagrangian embedding. Finally, we suggest a possible generalization of the Maslov class for Lagrangian submanifolds of any symplectic manifold, via the mean curvature representation.


title: From random sets to continuous tensor products: answers to three questions of W. Arveson

abstract: The set of zeros of a Brownian motion gives rise to a product system in the sense of William Arveson (that is, a continuous tensor product system of Hilbert spaces). Replacing the Brownian motion with a Bessel process we get a continuum of non-isomorphic product systems.


title: Free Field Construction for the ABF Models in Regime II

abstract: The Wakimoto construction for the quantum affine algebra U_q(\hat{sl}_2) admits a reduction to the q-deformed parafermion algebras. We interpret the latter theory as a free field realization of the Andrews-Baxter-Forrester models in regime II. We give multi-particle form factors of some local operators on the lattice and compute their scaling limit, where the models are described by a massive field theory with Z_k symmetric minimal scattering matrices.


title: A formula for Euler characteristic of line singularities on singular spaces

abstract: We prove an algebraic formula for the Euler characteristic of the Milnor fibres of functions with critical locus a smooth curve on a space which is a weighted homogeneous complete intersection with isolated singularity.


title: On the Hydrodynamic Equilibrium of a Rod in a Lattice Fluid

abstract: We model the behavior of a big (Brazil) nut in a medium of smaller nuts with a stochastic asymmetric simple exclusion dynamics of a polymer-monomer lattice system. The polymer or `rod' can move up or down in an external negative field, occupying N horizontal lattice sites where the monomers cannot enter. The monomers (at most one per site) or `fluid particles' are moving symmetrically in the horizontal plane and asymmetrically in the vertical direction, also with a negative field. For a fixed position of the rod, this lattice fluid is in equilibrium with a vertical height profile reversible for the monomers' motion. Upon `shaking' (speeding up the monomers) the motion of the `rod' dynamically decouples from that of the monomers resulting in a reversible random walk for the rod around an average height proportional to log N.


title: Exactness and the Novikov Conjecture

abstract: We study the connection between the condition that the reduced C*-algebra of a finitely presented group is exact and the Novikov conjecture holding. The main result states that if the group is strongly exact in the sense that the inclusion of the group C*-algebra into the uniform Roe algebra of the group is a nuclear embedding then the Novikov conjecture holds for that group.


title: Numerical Investigation of a Dipole Type Solution for Unsteady Groundwater Flow with Capillary Retention and Forced Drainage

abstract: A model of unsteady filtration (seepage) in a porous medium with capillary retention is considered. It leads to a free boundary problem for a generalized porous medium equation where the location of the boundary of the water mound is determined as part of the solution. The numerical solution of the free boundary problem is shown to possess self-similar intermediate asymptotics. On the other hand, the asymptotic solution can be obtained from a non-linear boundary value problem. Numerical solution of the resulting eigenvalue problem agrees with the solution of the partial differential equation for intermediate times. In the second part of the work, we consider the problem of control of the water mound extension by a forced drainage.


title: Markov Transitions and the Propagation of Chaos

abstract: The propagation of chaos is a central concept of kinetic theory that serves to relate the equations of Boltzmann and Vlasov to the dynamics of many-particle systems. Propagation of chaos means that molecular chaos, i.e., the stochastic independence of two random particles in a many-particle system, persists in time, as the number of particles tends to infinity. We establish a necessary and sufficient condition for a family of general n-particle Markov processes to propagate chaos. This condition is expressed in terms of the Markov transition functions associated to the n-particle processes, and it amounts to saying that chaos of random initial states propagates if it propagates for pure initial states. Our proof of this result relies on the weak convergence approach to the study of chaos due to Sznitman and Tanaka. We assume that the space in which the particles live is homeomorphic to a complete and separable metric space so that we may invoke Prohorov's theorem in our proof. We also show that, if the particles can be in only finitely many states, then molecular chaos implies that the specific entropies in the n-particle distributions converge to the entropy of the limiting single-particle distribution.


title: Irreducible degenerations of primary Kodaira surfaces

abstract: We classify irreducible d-semistable degenerations of primary Kodaira surfaces. As an application we construct a canonical completion for the moduli space of primary Kodaira surfaces.


title: A Probabilistic Proof of the Rogers Ramanujan Identities

abstract: The asymptotic probability theory of conjugacy classes of the finite general linear and unitary groups leads to a probability measure on the set of all partitions of natural numbers. A simple method of understanding these measures in terms of Markov chains is given and compared with work on the uniform measure. Elementary probabilistic proofs of the Rogers-Ramanujan identities follow. As a corollary, the main case of Bailey's lemma is interpreted as finding eigenvectors of the transition matrix of the Markov chain. It is shown that the viewpoint of Markov chains extends to quivers.


title: Holistic finite differences accurately model the dynamics of the Kuramoto-Sivashinsky equation

abstract: We analyse the nonlinear Kuramoto-Sivashinsky equation to develop an accurate finite difference approximation to its dynamics. The analysis is based upon centre manifold theory so we are assured that the finite difference model accurately models the dynamics and may be constructed systematically. The theory is applied after dividing the physical domain into small elements by introducing insulating internal boundaries which are later removed. The Kuramoto-Sivashinsky equation is used as an example to show how holistic finite differences may be applied to fourth order, nonlinear, spatio-temporal dynamical systems. This novel centre manifold approach is holistic in the sense that it treats the dynamical equations as a whole, not just as the sum of separate terms.


title: Les espaces duaux pour les ensembles ordonn\'es arbitraires

abstract: A duality between general partially ordered sets and certain topolgical spaces with two closures is established.


title: Trace Functionals of the Kontsevich Quantization

abstract: We generalize the notion of trace to the Kontsevich quantization algebra and show that for all Poisson manifolds representable by quotients of a symplectic manifold by a Hamiltonian action of a nilpotent Lie group, the trace is given by integration with respect to a unimodular volume form.


title: Une identit\'e remarquable en th\'eorie des partitions

abstract: We prove an identity about partitions, previously conjectured in the study of shifted Jack polynomials (math.CO/9903020). The proof given is using $\lambda$-ring techniques. It would be interesting to obtain a bijective proof.


title: Magic Squares of Lie Algebras

abstract: An improved (streamlined and extended) version of this paper is available as math.RA/0203010, which however omits some details. We recommend the later version unless details are essential.


title: The Kronecker product of Schur functions indexed by two-row shapes or hook shapes

abstract: The Kronecker product of two Schur functions $s_{\mu}$ and $s_{\nu}$, denoted by $s_{\mu}*s_{\nu}$, is the Frobenius characteristic of the tensor product of the irreducible representations of the symmetric group corresponding to the partitions $\mu$ and $\nu$. The coefficient of $s_{\lambda}$ in this product is denoted by $\gamma^{\lambda}_{{\mu}{\nu}}$, and corresponds to the multiplicity of the irreducible character $\chi^{\lambda}$ in $\chi^{\mu}\chi^{\nu}.$ We use Sergeev's Formula for a Schur function of a difference of two alphabets and the comultiplication expansion for $s_{\lambda}[XY]$ to find closed formulas for the Kronecker coefficients $\gamma^{\lambda}_{{\mu}{\nu}}$ when $\lambda$ is an arbitrary shape and $\mu$ and $\nu$ are hook shapes or two-row shapes. Remmel \cite{Re1, Re2} and Remmel and Whitehead \cite{Re-Wh} derived some closed formulas for the Kronecker product of Schur functions indexed by two-row shapes or hook shapes using a different approach. We believe that the approach of this paper is more natural. The formulas obtained are simpler and reflect the symmetry of the Kronecker product.


title: Quadratic minima and modular forms II

abstract: We give upper bounds on the size of the gap between a non-zero constant term and the next non-zero Fourier coefficient of an entire level two modular form. We give upper bounds for the minimum positive integer represented by a level two even positive-definite quadratic form. These bounds extend partial results in part I.


title: Triangular de Rham Cohomology of Compact Kahler Manifolds

abstract: We study the de Rham 1-cohomology H^1_{DR}(M,G) of a smooth manifold M with values in a Lie group G. By definition, this is the quotient of the set of flat connections in the trivial principle bundle $M\times G$ by the so-called gauge equivalence. We consider the case when M is a compact K\"ahler manifold and G is a solvable complex linear algebraic group of a special class which contains the Borel subgroups of all complex classical groups and, in particular, the group $T_n(\Bbb C)$ of all triangular matrices. In this case, we get a description of the set H^1_{DR}(M,G) in terms of the 1-cohomology of M with values in the (abelian) sheaves of flat sections of certain flat Lie algebra bundles with fibre $\frak g$ (the Lie algebra of G) or, equivalently, in terms of the harmonic forms on M representing this cohomology.


title: A braided simplicial group

abstract: By studying braid group actions on Milnor's construction of the 1-sphere, we show that the general higher homotopy group of the 3-sphere is the fixed set of the pure braid group action on certain combinatorially described group. We also give certain representation of higher differentials in the Adams spectral sequence for the homotopy groups of the 2-sphere.


title: Holomorphic Functions of Exponential Growth on Abelian Coverings of a Projective Manifold

abstract: Let M be a projective manifold, p:M_{G} --> M a regular covering over M with a free abelian transformation group G. We describe holomorphic functions on M_{G} of an exponential growth with respect to the distance defined by a metric pulled back from M. As a corollary we obtain for such functions Cartwright and Liouville type theorems. Our approach brings together L_{2} cohomology technique for holomorphic vector bundles on complete K\"{a}hler manifolds and geometric properties of projective manifolds.


title: Calabi-Yau Threefolds and Moduli of Abelian Surfaces I

abstract: We describe birational models and decide the rationality/unirationality of moduli spaces AA_{d} (and AA^{lev}_{d}) of (1,d)-polarized abelian surfaces (with canonical level structure, respectively) for small values of d. The projective lines identified in the rational/unirational moduli spaces correspond to pencils of abelian surfaces traced on nodal threefolds living naturally in the corresponding ambient projective spaces, and whose small resolutions are new Calabi-Yau threefolds with Euler characteristic zero.


title: Superbridge index of composite knots

abstract: An upper bound of the superbridge index of the connected sum of two knots is given in terms of the braid index of the summands. Using this upper bound and minimal polygonal presentations, we give an upper bound in terms of the superbridge index and the bridge index of the summands when they are torus knots. In contrast to the fact that the difference between the sum of bridge indices of two knots and the bridge index of their connected sum is always one, the corresponding difference for the superbridge index can be arbitrarily large.


title: Continued fractions and Catalan problems

abstract: We find a generating function expressed as a continued fraction that enumerates ordered trees by the number of vertices at different levels. Several Catalan problems are mapped to an ordered-tree problem and their generating functions also expressed as a continued fraction. Among these problems is the enumeration of (132)-pattern avoiding permutations that have a given number of increasing patterns of length k. This extends and illuminates a result of Robertson, Wilf and Zeilberger for the case k=3.


title: The Orbit Method for Finite Groups of Nilpotency Class Two of Odd Order

abstract: First, I construct an isomorphism between the categories of (topological) groups of nilpotency class 2 with 2-divisible center and (topological) Lie rings of nilpotency class 2 with 2-divisible center. That isomorphism allows us to construct adjoint and coadjoint representations as usual. For a finite group G of nilpotency class 2 of odd order, I construct a basis in its group algebra C[G], parameterized by elements of g* so that the elements of coadjoint orbits form bases of simple two-side ideals of C[G]. That construction gives us a one-to-one correspondence between G-orbits in g* and classes of equivalence of irreducible unitary representations of G, implying a very simple character formula. The properties of that correspondence are similar to the properties of the analogous correspondence given by Kirillov's orbit method for nilpotent connected and simply connected Lie groups. The diagram method introduced in my article 'Diagrams of Representations, math.RT/9803079 (1998)' and my thesis 'A Combinatorial Approach to Representations of Lie Groups and Algebras, University of Pennsylvania (1998)' gives us a convenient way to study normal forms on the orbits and corresponding representations.


title: Logarithmic Jet Bundles and Applications

abstract: We generalize Demailly's construction of projective jet bundles and strictly negatively curved pseudometrics on them to the logarithmic case. We establish this logarithmic generalization explicitly via coordinates, just as Noguchi's generalization of the jets used by Green-Griffiths. As a first application, we give a metric proof for the logarithmic version of Lang's conjecture concerning the hyperbolicity of complements of divisors in a semi-abelian variety as well as for the corresponding big Picard theorem.


title: Equivariant Kasparov theory and generalized homomorphisms

abstract: Let G be a locally compact group. We describe elements of KK^G (A,B) by equivariant homomorphisms, following Cuntz's treatment in the non-equivariant case. This yields another proof for the universal property of KK^G: It is the universal split exact stable homotopy functor. To describe a Kasparov triple (E, phi, F) by an equivariant homomorphism, we have to arrange for the Fredholm operator F to be equivariant. This can be done if A is of the form K(L^2G) otimes A' and more generally if the group action on A is proper in the sense of Rieffel and Exel.


title: Pentagon equation and matrix bialgebras

abstract: We classify coproducts on matrix algebra in terms of solutions to some modification of pentagon equation. The construction of Baaj and Skandalis describing finite dimensional unitary solutions of pentagon equation is extended to the non-unitary case. We establish the relation between Hopf-Galois algebras and solutions to modified pentagon equation.


title: An Algebraic Duality Theory for Multiplicative Unitaries

abstract: Multiplicative Unitaries are described in terms of a pair of commuting shifts of relative depth two. They can be generated from ambidextrous Hilbert spaces in a tensor C*-category. The algebraic analogue of the Takesaki-Tatsuuma Duality Theorem characterizes abstractly C*-algebras acted on by unital endomorphisms that are intrinsically related to the regular representation of a multiplicative unitary. The relevant C*-algebras turn out to be simple and indeed separable if the corresponding multiplicative unitaries act on a separable Hilbert space. A categorical analogue provides internal characterizations of minimal representation categories of a multiplicative unitary. Endomorphisms of the Cuntz algebra related algebraically to the grading are discussed as is the notion of braided symmetry in a tensor C*-category.


title: Drawing with Complex Numbers

abstract: It is not commonly realized that the algebra of complex numbers can be used in an elegant way to represent the images of ordinary 3-dimensional figures, orthographically projected to the plane. We describe these ideas here, both using simple geometry and setting them in a broader context.


title: Random unitaries in non-commutative tori, and an asymptotic model for q-circular systems

abstract: We consider the concept of a q-circular system, which is a deformation of the circular system from free probability, taking place in the framework of the so-called 'q-commutation relations'. We show that certain averages of random unitaries in non-commutative tori behave asymptotically like a q-circular system.


title: Local uniqueness for the Dirichlet-to-Neumann map via the two-plane transform

abstract: We consider the Dirichlet-to-Neumann map associated to the Schr\"odinger equation with a potential in a bounded Lipschitz domain in three or more dimensions. We show that the integral of the potential over a two-plane is determined by the Cauchy data of certain exponentially growing solutions on any neighborhood of the intersection of the two-plane with the boundary.


title: Optimal Prediction of Stiff Oscillatory Mechanics

abstract: We consider many-body problems in classical mechanics where a wide range of time scales limits what can be computed. We apply the method of optimal prediction to obtain equations which are easier to solve numerically. We demonstrate by examples that optimal prediction can reduce the amount of computation needed to obtain a solution by several orders of magnitude.


title: Integrality of L2-Betti numbers

abstract: The Atiyah conjecture predicts that the L2-Betti numbers of a finite CW-complex with torsion-free fundamental group are integers. We show that the Atiyah conjecture holds (with an additional technical condition) for direct and inverse limits of directed systems of groups for which it is true. As a corollary it holds for residually torsion-free solvable groups, e.g. for pure braid groups or for positive 1-relator groups with torsion free abelianization. Putting everything together we establish a new class of groups for which the Atiyah conjecture holds, which contains all free groups and in particular is closed under taking subgroups, direct sums, free products, extensions with elementary amenable quotient, and under direct and inverse limits of directed systems. This is a corrected version of an older paper with the same title. The proof of Proposition 2.1 of the earlier version contains a gap, as was pointed out to me by Pere Ara. This gap could not be fixed. Consequently, in this new version everything based on this result had to be removed. Please take the errata to "L2-determinant class and approximation of L2-Betti numbers" into account, which are added, rectifying some unproved statements about "amenable extension". As a consequence, throughout, amenable extensions should be extensions with normal subgroups.


title: Random almost holomorphic sections of ample line bundles on symplectic manifolds

abstract: The spaces $H^0(M, L^N)$ of holomorphic sections of the powers of an ample line bundle $L$ over a compact K\"ahler manifold $(M,\omega)$ have been generalized by Boutet de Monvel and Guillemin to spaces $H^0_J(M, L^N)$ of `almost holomorphic sections' of ample line bundles over an almost complex symplectic manifold $(M, J, \omega)$. We consider the unit spheres $SH^0_J(M, L^N)$ in the spaces $H^0_J(M, L^N)$, which we equip with natural inner products. Our purpose is to show that, in a probabilistic sense, almost holomorphic sections behave like holomorphic sections as $N \to \infty$. Our first main result is that almost all sequences of sections $s_N \in SH^0_J(M, L^N)$ are `asymptotically holomorphic' in the Donaldson-Auroux sense that $||s_N||_{\infty}/||s_N||_{2} = O(\sqrt{\log N})$, $||\bar{\partial} s_N||_{\infty}/||s_N||_{2} = O(\sqrt{\log N})$ and $||\partial s_N||_{\infty}/||s_N||_{2} = O(\sqrt{N \log N})$. Our second main result concerns the joint probability distribution of the random variables $s_N(z^p),\ \nabla s_N(z^p)$, $1\le p\le n$, for $n$ distinct points $z^1,..., z^n$ in a neighborhood of a point $P_0\in M$. We show that this joint distribution has a universal scaling limit about $P_0$ as $N \to \infty$. In particular, the limit is precisely the same as in the complex holomorphic case. Our methods involve near-diagonal scaling asymptotics of the Szeg\"o projector $\Pi_N$ onto $H^0_J(M, L^N)$, which also yields proofs of symplectic analogues of the Kodaira embedding theorem and Tian asymptotic isometry theorem.


title: An Analysis on the Shape Equation for Biconcave Axisymmetric Vesicles

abstract: We study the conditions on the physical parameters in the Helfrich bending energy of lipid bilayer vesicles. Among embedded surfaces with a biconcave axisymmetric shape, the variation equation is analyzed in detail. This leads to simple conditions which guarantee the solution the information about the geometry.


title: Remarks on the existence of Cartier divisors

abstract: Given an invertible sheaf, does it come from a Cartier divisor? This might fail in presence of embedded components. I give some examples and characterize those invertible sheaves that allow a Cartier divisor.


title: Lefschetz numbers of iterates of the monodromy and truncated arcs

abstract: We express the Lefschetz number of iterates of the monodromy of a function on a smooth complex algebraic variety in terms of the Euler characteristic of a space of truncated arcs.


title: Reflexive polyhedra, weights and toric Calabi-Yau fibrations

abstract: During the last years we have generated a large number of data related to Calabi-Yau hypersurfaces in toric varieties which can be described by reflexive polyhedra. We classified all reflexive polyhedra in three dimensions leading to K3 hypersurfaces and have nearly completed the four dimensional case relevant to Calabi-Yau threefolds. In addition, we have analysed for many of the resulting spaces whether they allow fibration structures of the types that are relevant in the context of superstring dualities. In this survey we want to give background information both on how we obtained these data, which can be found at our web site, and on how they may be used. We give a complete exposition of our classification algorithm at a mathematical (rather than algorithmic) level. We also describe how fibration structures manifest themselves in terms of toric diagrams and how we managed to find the respective data. Both for our classification scheme and for simple descriptions of fibration structures the concept of weight systems plays an important role.


title: Some results on rational surfaces and Fano varieties

abstract: The goal of this article is to study the equations and syzygies of embeddings of rational surfaces and certain Fano varieties. Given a rational surface X and an ample and base-point-free line bundle L on X, we give an optimal numerical criterion for L to satisfy property Np. This criterion turns out to be a characterization of property Np if X is anticanonical. We also prove syzygy results for adjunction bundles and a Reider type theorem for higher syzygies. For certain Fano varieties we also prove results on very ampleness and higher syzygies.


title: Manifolds with boundary and of bounded geometry

abstract: For non-compact manifolds with boundary we prove that bounded geometry defined by coordinate-free curvature bounds is equivalent to bounded geometry defined using bounds on the metric tensor in geodesic coordinates. We produce a nice atlas with subordinate partition of unity on manifolds with boundary of bounded geometry, and we study the change of geodesic coordinate maps.


title: Convex lattice polytopes and cones with few lattice points inside, from a birational geometry viewpoint

abstract: It is pretty well-known that toric Fano varieties of dimension k with terminal singularities correspond to convex lattice polytopes P in R^k of positive finite volume, such that intersection of P and Z^k consists of the point 0 and vertices of P. Likewise, Q-factorial terminal toric singularities essentially correspond to lattice simplexes with no lattice points inside or on the boundary (except the vertices). There have been a lot work, especially in the last 20 years or so on classification of these objects. The main goal of this paper is to bring together these and related results, that are currently scattered in the literature. We also want to emphasize the deep similarity between the problems of classification of toric Fano varieties and classification of Q-factorial toric singularities.


title: On infinite tensor products of projective unitary representations

abstract: We initiate a study of infinite tensor products of projective unitary representations of a discrete group G. Special attention is given to regular representations twisted by 2-cocycles and to projective representations associated with CCR-representations of bilinear maps. Detailed computations are presented in the case where G is a finitely generated free abelian group. We also discuss an extension problem about product type actions of G, where the projective representation theory of G plays a central role.


title: Redundant Picard-Fuchs system for Abelian integrals

abstract: We derive an explicit system of Picard-Fuchs differential equations satisfied by Abelian integrals of monomial forms and majorize its coefficients. A peculiar feature of this construction is that the system admitting such explicit majorants, appears only in dimension approximately two times greater than the standard Picard-Fuchs system. The result is used to obtain a partial solution to the tangential Hilbert 16th problem. We establish upper bounds for the number of zeros of arbitrary Abelian integrals on a positive distance from the critical locus. Under the additional assumption that the critical values of the Hamiltonian are distant from each other (after a proper normalization), we were able to majorize the number of all (real and complex) zeros. In the second part of the paper an equivariant formulation of the above problem is discussed and relationships between spread of critical values and non-homogeneity of uni- and bivariate complex polynomials are studied.


title: Integer Sequences associated with Integer Monic Polynomial

abstract: To every integer monic polynomial of degree m can be associated m integer sequences having interesting properties to the roots of the polynomial. These sequences can be used to find the real roots of any integer monic polynomial by using recursion relation involving integers only. This method is faster than the conventional methods using floating point arithmetic.


title: A remark on the Chisini conjecture

abstract: The Chisini conjecture asserts that a generic ramified covering over the complex projective plane of degree at least 5 is uniquely determined by its branch curve. We prove this for degree at least 12 using the work of Kulikov (math-AG/9803144).


title: Fermionic formulas for level-restricted generalized Kostka polynomials and coset branching functions

abstract: Level-restricted paths play an important role in crystal theory. They correspond to certain highest weight vectors of modules of quantum affine algebras. We show that the recently established bijection between Littlewood--Richardson tableaux and rigged configurations is well-behaved with respect to level-restriction and give an explicit characterization of level-restricted rigged configurations. As a consequence a new general fermionic formula for the level-restricted generalized Kostka polynomial is obtained. Some coset branching functions of type $A$ are computed by taking limits of these fermionic formulas.


title: Homogeneous Hypersurfaces with Isotropy in Affine Four-space

abstract: We classify the non-degenerate homogeneous hypersurfaces in real and complex affine four-space whose symmetry group is at least four-dimensional.


title: Finite jet determination of holomorphic mappings at the boundary

abstract: Let M,M' be smooth real hypersurfaces in N-dimensional space and assume that M is k-nondegenerate at a point p in M. We prove that holomorphic mappings that extend smoothly to M, sending a neighborhood of p in M diffeomorphically into M' are completely determined by their 2k-jet at p. As an application of this result, we also give sufficient conditions on a smooth real hypersurface which guarantee that the space of infinitesimal CR automorphisms is finite dimensional.


title: Weighted Traces on Algebras of Pseudo-Differential Operators and Geometry of Loop Groups

abstract: Using {\it weighted traces} which are linear functionals of the type $$A\to tr^Q(A):=(tr(A Q^{-z})-z^{-1} tr(A Q^{-z}))_{z=0}$$ defined on the whole algebra of (classical) pseudo-differential operators (P.D.O.s) and where $Q$ is some positive invertible elliptic operator, we investigate the geometry of loop groups in the light of the cohomology of pseudo-differential operators. We set up a geometric framework to study a class of infinite dimensional manifolds in which we recover some results on the geometry of loop groups, using again weighted traces. Along the way, we investigate properties of extensions of the Radul and Schwinger cocycles defined with the help of weighted traces.


title: Normal del Pezzo surfaces containing a nonrational singularity

abstract: Working over a perfect field, I classify normal del Pezzo surfaces with base number one that contain a nonrational singularity. They form a huge infinite hierarchy; contractions of ruled surfaces lie on top of it. Descending the hierarchy hinges on a generalized version of elementary transformations. As an application, I determine the structure of 2-dimensional anticanonical models for arbitrary normal surfaces.


title: Finite groups with the same character tables, Drinfel'd algebras and Galois algebras

abstract: We prove that finite groups have the same complex character tables iff the group algebras are twisted forms of each other as Drinfel'd quasi-bialgebras or iff there is non-associative bi-Galois algebra over these groups. The interpretations of class-preserving automorphisms and permutation representations with the same character in terms of Drinfel'd algebras are also given.


title: A new method in Fano geometry

abstract: We give some bounds on the anticanonical degrees of Fano varieties with Picard number 1 and mild singularities, extending results of Koll\'ar et al. from the early 90's and improving them even in the smooth case. The proof is based on a study of positivity properties of sheaves of differential operators on ample line bundles, and avoids the use of rational curves and bend-and-break. This note is a self-contained exposition of the main ideas of math.AG/9811022


title: Extender Based Radin Forcing

abstract: We define extender sequences, generelizing measure sequences from Radin Forcing. Using the extender sequences we combine Gitik-Magidor forcing for adding many Prikry sequences with Radin forcing. This forcing satisfies Prikry like condition, destroys no cardinals, and has a kind of properness. Depending on the large cardinal we start with, this forcing can blow the power of a cardinal together with changing its' cofinality to a prescribe value. If this prescribed value is the cardinal itself then it remains regular and even can remain measurable.


title: Convergence of Bieberbach polynomials in domains with interior cusps

abstract: We extend the results on the uniform convergence of Bieberbach polynomials to domains with certain interior zero angles (outward pointing cusps), and show that they play a special role in the problem. Namely, we construct a Keldysh-type example on the divergence of Bieberbach polynomials at an outward pointing cusp and discuss the critical order of tangency at this interior zero angle, separating the convergent behavior of Bieberbach polynomials from the divergent one for sufficiently thin cusps.


title: Canonical momenta of nonlinear combat

abstract: The context of nonlinear combat calls for more sophisticated measures of effectiveness. We present a set of tools that can be used as such supplemental indicators, based on stochastic nonlinear multivariate modeling used to benchmark Janus simulation to exercise data from the U.S. Army National Training Center (NTC). As a prototype study, a strong global optimization tool, adaptive simulated annealing (ASA), is used to explicitly fit Janus data, deriving coefficients of relative measures of effectiveness, and developing a sound intuitive graphical decision aid, canonical momentum indicators (CMI), faithful to the sophisticated algebraic model. We argue that these tools will become increasingly important to aid simulation studies of the importance of maneuver in combat in the 21st century.


title: An inequality for the norm of a polynomial factor

abstract: Let $p(z)$ be a monic polynomial of degree $n$, with complex coefficients, and let $q(z)$ be its monic factor. We prove an asymptotically sharp inequality of the form $\|q\|_{E} \le C^n \|p\|_E$, where $\|\cdot\|_E$ denotes the sup norm on a compact set $E$ in the plane. The best constant $C_E$ in this inequality is found by potential theoretic methods. We also consider applications of the general result to the cases of a disk and a segment.


title: Topological obstructions to nonnegative curvature

abstract: We find new obstructions to the existence of complete Riemannian metric of nonnegative sectional curvature on manifolds with infinite fundamental groups. In particular, we construct many examples of vector bundles whose total spaces admit no nonnegatively curved metric.


title: Symplectic realizations of bihamiltonian structures

abstract: A method of constructing a class of bihamiltonian structures is presented. Elements of this class are generalizations of the so-called bihamiltonian structures of general position on odd-dimensional manifolds. The method consists in a simultaneous reduction of both the real and imaginary parts of a complex symplectic form. Necessary and sufficient conditions of getting a bihamiltonian structure from the mentioned class are obtained. The second part of the paper is devoted to a series of examples of such a reduction related to semisimple Lie algebras.


title: An explicit formula for PBW quantization

abstract: Let $k$ be a field of characteristic zero, $\g$ a $k$-Lie algebra, $e:S\g@>>>U\g$ the symmetrization map. The PBW quantization is the one parameter family of associative products: $$ x\star_t y=\sum_{p=0}^\infty B_p(x,y)t^p\qquad (t\in k) $$ where $B_p$ is the homogeneous component of degree $-p$ of the map $B:S\g\otimes_kS\g@>>>S\g$, $B(x,y)=e^{-1}(exey)$. In this paper we give an explicit formula for $B$. As an application, we prove that for each $p\ge 0$, $B_p$ is a bidifferential operator of order $\le p$.


title: Local tree-width, excluded minors, and approximation algorithms

abstract: The local tree-width of a graph G=(V,E) is the function ltw^G: N -> N that associates with every natural number r the maximal tree-width of an r-neighborhood in G. Our main graph theoretic result is a decomposition theorem for graphs with excluded minors that essentially says that such graphs can be decomposed into trees of graphs of bounded local tree-width. As an application of this theorem, we show that a number of combinatorial optimization problems, such as Minimum Vertex Cover, Minimum Dominating Set, and Maximum Independent Set have a polynomial time approximation scheme when restricted to a class of graphs with an excluded minor.


title: Connections in Poisson Geometry I: Holonomy and Invariants

abstract: We discuss contravariant connections on Poisson manifolds. For vector bundles, the corresponding operational notion of a contravariant derivative had been introduced by Izu Vaisman. We show that these connections play an important role in the study of global properties of Poisson manifolds and we use them to define Poisson holonomy and new invariants of Poisson manifolds.


title: Veronese webs for bihamiltonian structures of higher corank

abstract: It is shown how the well-known class of bihamiltonian structures in general position can be extended to a wider class. A generalization of the corresponding notion of a Veronese web for this wider class is presented (in the general position case Veronese webs form complete systems of local invariants for bihamiltonian structures). Some examples are considered.


title: Quotients of Divisorial Toric Varieties

abstract: We consider subtorus actions on divisorial toric varieties. Here divisoriality means that the variety has many Cartier divisors like quasiprojective and smooth ones. We characterize when a subtorus action on such a toric variety admits a categorical quotient in the category of divisorial varieties. Our result generalizes previous statements for the quasiprojective case. An important tool for the proof is a universal reduction of an arbitrary toric variety to a divisorial one. This is done in terms of support maps, a notion generalizing support functions on a polytopal fan. A further essential step is the decomposition of a given subtorus invariant regular map to a divisorial variety into an invariant toric part followed by a non-toric part.


title: Pinching, Pontrjagin classes, and negatively curved vector bundles

abstract: We prove several finiteness results for the class $M_{a,b,G,n}$ of $n$-manifolds that have fundamental groups isomorphic to $G$ and that can be given complete Riemannian metrics of sectional curvatures within $[a,b]$ where $a\le b<0$. In particular, if $M$ is a closed negatively curved manifold of dimension at least three, then only finitely many manifolds in the class $M_{a,b,\pi_1(M), n}$ are total spaces of vector bundles over $M$. Furthermore, given a word-hyperbolic group $G$ and an integer $n$ there exists a positive $\epsilon=\epsilon(n,G)$ such that the tangent bundle of any manifold in the class $M_{-1-\epsilon, -1, G, n}$ has zero rational Pontrjagin classes.


title: Domains of holomorphy with edges and lower dimensional boundary singularities

abstract: Necessary and sufficient geometric conditions are given for domains with regular boundary points and edges to be domains of holomorphy provided the remainder boundary subset is of zero Hausdorff 1-codimensional measure.


title: Cayley Hypersurfaces

abstract: We exhibit a family of homogeneous hypersurfaces in affine space, one in each dimension, generalising the Cayley surface.


title: Analytic Topology of Groups, Actions, Strings and Varietes

abstract: This is a paper in Analytic Topology.

categories: math.DG math.AG math.FA math.GT math.OA math.RT math.SG


title: Twist deformations for generalized Heisenberg algebras

abstract: Multidimensional Heisenberg algebras, whose creation and annihilation operators are the N-dimensional vectors, can be injected into simple Lie algebras g. It is demonstrated that the spectrum of their deformations can be investigated using chains of extended Jordanian twists applied to U(g). In the case of U(sl(N)) (for N>5) the two-dimensional Heisenberg subalgebras have nine deformed costructures connected by four "internal" and "external" twists composing the commutative diagram.


title: The Weinstein conjecture in the uniruled manifolds

abstract: In this note we prove the Weinstein conjecture for a class of symplectic manifolds including the uniruled manifolds based on Liu-Tian's result.


title: Infinitesimal K-theory

abstract: In this paper we study the fiber F of the rational Jones-Goodwillie character $$ F:=\hofiber(ch:K^\rat(A)@>>>HN^\rat(A)) $$ going from K-theory to negative cyclic homology of associative rings. We describe this fiber F in terms of sheaf cohomology. We prove that, for $n\ge 1$, there is an isomorphism: $$ \pi_n(F)\cong H^{-n}_{inf}(A,K^\rat) $$ between the homotopy of the fiber and the hypercohomology groups of $K^\rat$ on a non-commutative version of Grothendieck's infinitesimal site.


title: Superselection Theory for Subsystems

abstract: An inclusion of observable nets satisfying duality induces an inclusion of canonical field nets. Any Bose net intermediate between the observable net and the field net and satisfying duality is the fixed-point net of the field net under a compact group. This compact group is its canonical gauge group if the occurrence of sectors with infinite statistics can be ruled out for the observable net and its vacuum Hilbert space is separable.


title: On a Planarity Criterion Coming from Knot Theory

abstract: A graph G is called "minimalizable" if a diagram with minimal crossing number can be obtained from an arbitrary diagram of G by crossing changes. If, furthermore, the minimal diagram is unique up to crossing changes then G is called "strongly minimalizable". In this article, it is explained how minimalizability of a graph is related to its automorphism group and it is shown that a graph is strongly minimalizable if the automorphism group is trivial or isomorphic to a product of symmetric groups. Then, the treatment of crossing number problems in graph theory by knot theoretical means is discussed and, as an example, a planarity criterion for minimalizable graphs is given.


title: Embedding tangles in links

abstract: We reprove and extend a result of David Krebes (J. Knot Theory Ramif. 8 (1999), 321-352) giving an obstruction to embedding a tangle T into a link L. Closing the tangle up in the two obvious ways gives rise to two links, the numerator and denominator links n(T) and d(T). Applying a homological argument to the 2-fold branched covers of these links, we show that the gcd of the determinants of the numerator and denominator divides the determinant of L.


title: Vanishing Theorems on Toric Varieties

abstract: We use Cox's description for sheaves on toric varieties and results about the local cohomology with respect to monomial ideals to give a characteristic free approach to vanishing results on arbitrary toric varieties. As an application, we give a proof of a strong form of Fujita's conjecture in the case of toric varieties. We also prove that every sheaf on a toric variety corresponds to a module over the homogeneous coordinate ring, generalizing Cox's result for the simplicial case.


title: On a conjecture of Shokurov: Characterization of toric varieties

abstract: We verify a special case of V. V. Shokurov's conjecture about characterization of toric varieties. More precisely, let $(X,D=\sum d_iD_i)$ be a three-dimensional log variety such that $K_X+D$ is numerically trivial and $(X,D)$ has only purely log terminal singularities. In this situation we prove the inequality \{center} $\sum d_i\le \rk\Weil(X)/(\operatorname{algebraic equivalence}) +\dim(X)$. \{center} We describe such pairs for which the equality holds and show that all of them are toric.


title: Symbolic computation of the roots of any polynomial with integer coefficients

abstract: The roots of any polynomial of degree m with integer coefficients, can be computed by manipulation of sequences made from 2m distinct symbols and counting the different symbols in the sequences. This method requires only 'primitive' operations like replacement of sequences and counting of symbols. No calculations using 'advanced' operations like multiplication, division, logarithms etc. are needed. The method can be implemented as a geometric construction of roots of polynomials to arbitrary accuracy using only a straight edge, a compass, and pencils of 2m different colors. In particular, the ancient problem of the "doubling of cube" is soluble asymptotically by the above-mentioned construction. This method, by which a cube can be doubled, albeit, in infinite steps, is probably the closest to the original problem of construction using only a straight edge and compass in a finite number of steps. Moreover, to every polynomial of degree m over the field of rationals, can be associated an m-term recurrence relation for generating integer sequences. A set of m such sequences, which together exhibit interesting properties related to the roots of the polynomial, can be obtained if the m initial terms of each of these m sequences is chosen in a special way using a matrix associated with the polynomial. Only two of these integer sequences need to be computed to obtain the real root having the largest absolute value. Since this method involves only integers, it is faster than the conventional methods using floating-point arithmetic.


title: Cyclic homology of commutative algebras over general ground rings

abstract: We consider commutative algebras and chain DG algebras over a fixed commutative ground ring $k$ as in the title. We are concerned with the problem of computing the cyclic (and Hochschild) homology of such algebras via free DG-resolutions $\Lambda V @>>> A$. We find spectral sequences $$E^2_{p,q}=H_p(\Lambda V\otimes\Gamma^q(dV))\Rightarrow HH_{p+q}(\Lambda V)$$ and $${E'}^2_{\pq}=H_p(\Lambda V\otimes\Gamma^{\le q}(dV)) \Rightarrow HC_{p+q}(\Lambda V)$$ The algebra $\Lambda V\otimes\Gamma(dV)$ is a divided power version of the de Rham algebra; in the particular case when $k$ is a field of characteristic zero, the spectral sequences above agree with those found by Burghelea and Vigu\'e (Cyclic homology of commutative algebras I, Lecture Notes in Math. {\bf 1318} (1988) 51-72), where it is shown they degenerate at the $E^2$ term. For arbitrary ground rings we prove here (Theorem 2.3) that if $V_n=0$ for $n\ge 2$ then $E^2=E^\infty$. From this we derive a formula for the Hochschild homology of flat complete intersections in terms of a filtration of the complex for crystalline cohomology, and find a description of ${E'}^2$ also in terms of crystalline cohomology (theorem 3.0). The latter spectral sequence degenerates for complete intersections of embedding dimension $\le 2$ (Corollary 3.1). Without flatness assumptions, our results can be viewed as the computation Shukla (cyclic) homology (T. Pirashvili, F. Waldhausen; Mac Lane homology and topological Hochschild homology, J. Pure Appl. Algebra{\bf 82} (1992) 81-98).


title: Interchanging homotopy limits and colimits in CAT

abstract: Let $I$,$J$ be small categories and $C:I\times J@>>>\CAT$ a functor to the category of small categories. We show that if $I$ has a final object then the canonical map $\operatorname{hocolim}_J\operatorname{holim}_IC@>>>\operatorname{holim}_I \operatorname{hocolim}_JC$ is a strong homotopy equivalence.


title: Artinian algebras and differential forms

abstract: This article concerns commutative algebras over a field $k$ of characteristic zero which are finite dimensional as vectorspaces, and particularly those of such algebras which are graded. Here the term graded is applied to non-negatively graded algebras $A$ with $A_0$ reduced and finite dimensional. Thus the trivial grading $A=A_0$ is only allowed if $A$ is a product of finite field extensions of $k$. It has been conjectured (G. Corti\~nas, S. Geller, C. Weibel; The Artinian Berger Conjecture. Math. Zeitschrift {\bf 228} 3 (1998) 569-588) that for all finite dimensional algebras $A$ which are not principal ideal algebras (i.e. have at least one nonprincipal ideal), the following submodule of the K\"ahler differentials is nonzero: $$\bigcap{\ker(\Omega_A @>>>\Omega_B)}$$ Here the intersection is taken over all principal ideal algebras $B$ and all homomorphisms $A @>>>B$. In this paper we prove that the conjecture holds for both Gorenstein graded and standard graded algebras.


title: Topological Representations of Posets

abstract: Earlier an arbitrary poset $P$ was proved to be isomorphic to the collection of subsets of a space $M$ with two closures which are closed in the first closure and open in the other. As a space $M$ for this representation an algebraic dual space $P^*$ was used. Here we extend the theory of algabraic duality for posets generalizing the notion of an ideal. This approach yields a sufficient condition for the collection of clopen subsets of a subset of $P^*$ (with respect to induced closures) to be isomorphic to $P$. Applying this result to certain classes of posets we prove some representation theorems and get a topological characterization of orthocomplementations.


title: Une formule de type Baker-Campbell-Hausdorff pour les groupoides de Lie

abstract: For a Lie groupoid G we prove an analogous of the Baker-Campbell-Hausdorff formula and we calculate the structure functions of the Lie algebroid associated to G.


title: Two dimensional Einstein-Weyl structures

abstract: All local solutions of the two dimensional Einstein-Weyl equations are found, and related to the compact examples which I obtained in "Moebius structures and two dimensional Einstein-Weyl geometry" J. reine angew. Math. 504 (1998).


title: Deformations of algebras over operads and Deligne's conjecture

abstract: In present paper we develop the deformation theory of operads and algebras over operads. Free resolutions (constructed via Boardman-Vogt approach) are used in order to describe formal moduli spaces of deformations. We apply the general theory to the proof of Deligne's conjecture. The latter says that the Hochschild complex of an associative algebra carries a canonical structure of a dg-algebra over the chain operad of the little discs operad. In the course of the proof we construct an operad of geometric nature which acts on the Hochschild complex. It seems to be different from the brace operad (the latter was used in the previous approaches to the Deligne's conjecture). It follows from our results that the Grothendieck-Teichm\"uller group acts (homotopically) on the moduli space of structures of 2-algebras on the Hochschild complex. In the Appendix we develop a theory of piecewise algebraic chains and forms. It is suitable for real semialgebraic manifolds with corners (like Fulton-Macpherson compactifications of the configuration spaces of points).

categories: math.QA hep-th math.AG math.AT math.CT math.RA


title: A Generalized Torelli Theorem

abstract: Given a smooth projective curve $C$ of genus $g$ over the complex numbers, Torelli's thoerem asserts that the pair $(J(C),W^{g-1})$ determines $C$, where $W^{g-1}$ is an image of the $g-1$st symmetric power of $C$ inside the Jacobian under an Abel-Jacobi map. We show that the theorem holds with $g-1$ replaced by an integer $d$ in the range $1\le d\le g-1$.


title: Local Cohomology at Monomial Ideals

abstract: For a reduced monomial ideal B in R=k[X_1,...,X_n], we write H^i_B(R) as the union of {Ext^i(R/B^[d],R)}_d, where {B^[d]}_d are the "Frobenius powers of B". We describe H^i_B(R)_p, for every p in Z^n, in the spirit of the Stanley-Reisner theory. As a first application we give an isomorphism Tor_i(B', k)_p\iso Ext^{|p|-i}(R/B,R)_{-p} for all p in {0,1}^n, where B' is the Alexander dual ideal of B. We deduce a canonical filtration of Ext^i(R/B,R) with succesive quotients of the form R/(X_{j_1},...,X_{j_i}) suitably shifted, the multiplicities being computed from the Betti numbers of B'. As a final application, we give a topological description for the associated primes of Ext^i(R/B,R).


title: Level-one Highest Weight Representation of $U_q[\hat{sl(N|1)}]$ and Bosonization of the Multi-component Super t-J Model

abstract: We study the level-one irreducible highest weight representations of the quantum affine superalgebra $U_q[\hat{sl(N|1)}]$, and calculate their characters and supercharacters. We obtain bosonized q-vertex operators acting on the irreducible $U_q[\hat{sl(N|1)}]$-modules and derive the exchange relations satisfied by the vertex operators. We give the bosonization of the multi-component super $t-J$ model by using the bosonized vertex operators.


title: On a Problem of Mahler Concerning the Approximation of Exponentials and Logarithms

abstract: We first propose two conjectural estimates on Diophantine approximation of logarithms of algebraic numbers. Next we discuss the state of the art and we give further partial results on this topic.


title: New Solutions of the Einstein-Dirac Equation in Dimension n=3

abstract: The aim of this short note is to announce the existence of a one-parameter family of left-invariant metrics on $S^3$ admitting WK-spinors. This family contains the two non-Einstein Sasakian metrics with WK-spinors on $S^3$, but does not contain the standard sphere $S^3$ with Killing spinors. Moreover, any simply-connected, complete Riemannian manifold $X^3 \not= S^3$ with WK-spinors such that the eigenvalues of the Ricci tensor are constant is isometric to a space of this one-parameter family.


title: Applications of another characterization of betaN\N

abstract: Steprans provided a characterization of betaN\N in the aleph_2-Cohen model that is much in the spirit of Parovicenko's characterization of this space under CH. A variety of the topological results established in the Cohen model can be deduced directly from the properties of betaN\N or P(N)/fin that feature in Steprans' result.


title: Differential invariants and curved Bernstein-Gelfand-Gelfand sequences

abstract: We give a simple construction of the Bernstein-Gelfand-Gelfand sequences of natural differential operators on a manifold equipped with a parabolic geometry. This method permits us to define the additional structure of a bilinear differential cup product on this sequence, satisfying a Leibniz rule up to curvature terms. It is not associative, but is part of an A-infinity algebra of multilinear differential operators, which we also obtain explicitly. We illustrate the construction in the case of conformal differential geometry, where the cup product provides a wide-reaching generalization of helicity raising and lowering for conformally invariant field equations.


title: Cohomology on Toric Varieties and Local Cohomology with Monomial Supports

abstract: We study the local cohomology modules H^i_B(R) for a reduced monomial ideal B in a polynomial ring R=k[X_1,...,X_n]. We consider a grading on R which is coarser than the Z^n-grading such that each component of H^i_B(R) is finite dimensional and we give an effective way to compute these components. Using Cox's description for sheaves on toric varieties, we apply these results to compute the cohomology of coherent sheaves on toric varieties. We give algorithms for this computation which have been implemented in the Macaulay 2 system. We obtain also a topological description for the cohomology of rank one torsionfree sheaves on toric varieties.


title: Twisting the fake monster superalgebra

abstract: We calculate twisted denominator identities of the fake monster superalgebra and use them to construct new examples of supersymmetric generalized Kac-Moody superalgebras. Their denominator identities give new infinite product identities.


title: The exterior algebra and `Spin' of an orthogonal g-module

abstract: A well-known result of Kostant gives a description of the G-module structure for the exterior algebra of Lie algebra $\frak g$. We give a generalization of this result for the isotropy representations of symmetric spaces. If $\frak g={\frak g}_0+{\frak g_1}$ is a Z_2-grading of a simple Lie algebra, we explicitly describe a ${\frak g}_0$-module $Spin_0({\frak g}_1)$ such that the exterior algebra of ${\frak g}_1$ is the tensor square of this module times some power of 2. Although $Spin_0({\frak g}_1)$ is usually reducible, we show that a Casimir element for ${\frak g}_0$ always acts scalarly on it. We also a give classification of all orthogonal representations of simple algebraic groups having an exterior algebra of skew-invariants.


title: Combed 3-Manifolds with Concave Boundary, Framed Links, and Pseudo-Legendrian Links

abstract: We provide combinatorial realizations, according to the usual objects/moves scheme, of the following three topological categories: (1) pairs (M,v) where M is a 3-manifold (up to diffeomorphism) and v is a (non-singular vector) field, up to homotopy; here possibly the boundary of M is non-empty and v may be tangent to the boundary, but only in a concave fashion, and homotopy should preserve tangency type; (2) framed links L in M, up to framed isotopy; (3) triples (M,v,L), with (M,v) as above and L transversal to v, up to pseudo-Legendrian isotopy (transversality-preserving simultaneous homotopy of v and isotopy of L). All realizations are based on the notion of branched standard spine, and build on results previously obtained. Links are encoded by means of diagrams on branched spines, where the diagram is smooth with respect to the branching. Several motivations for being interested in combinatorial realizations of the topological categories considered in this paper are given in the introduction. The encoding of links is suitable for the comparison of the framed and the pseudo-Legendrian categories, and some applications are given in connection with contact structures, torsion and finite-order invariants. An estension of Trace's notion of winding number of a knot diagram is introduced and discussed.


title: Application of Tree-like Structure of Graph to Matrix Analysis

abstract: Formulas for matrix determinants, algebraic adjunctions, characteristic polynomial coefficients, components of eigenvectors are obtained in the form of signless sums of matrix elements products taking by special graphs. Signless formulas are very important for singular and stochastic problems. They are also useful for spectral analysis of large very sparse matrices.


title: Bernstein-Gelfand-Gelfand sequences

abstract: This paper is devoted to the study of geometric structures modeled on homogeneous spaces G/P, where G is a real or complex semisimple Lie group and $P\subset G$ is a parabolic subgroup. We use methods from differential geometry and very elementary finite-dimensional representation theory to construct sequences of invariant differential operators for such geometries, both in the smooth and the holomorphic category. For G simple, these sequences specialize on the homogeneous model G/P to the celebrated (generalized) Bernstein-Gelfand-Gelfand resolutions in the holomorphic category, while in the smooth category we get smooth analogs of these resolutions. In the case of geometries locally isomorphic to the homogeneous model, we still get resolutions, whose cohomology is explicitly related to a twisted de Rham cohomology. In the general (curved) case we get distinguished curved analogs of all the invariant differential operators occurring in Bernstein-Gelfand-Gelfand resolutions (and their smooth analogs). On the way to these results, a significant part of the general theory of geometrical structures of the type described above is presented here for the first time.


title: Hierarchy Structure of Graphs and Weighted Condensations

abstract: By natural way the hierarchy structure is introduced on directed graphs with weighted adjacencies. Embedded system of algebras of subsets of the set of vertices of such digraph and it's consolidations, which vertices are the elementary sets of corresponding algebra, are constructed. Weights of arcs of consolidated graphs are determined.


title: Weyl structures for parabolic geometries

abstract: Motivated by the rich geometry of conformal Riemannian manifolds and by the recent development of geometries modeled on homogeneous spaces $G/P$ with $G$ semisimple and $P$ parabolic, Weyl structures and preferred connections are introduced in this general framework. In particular, we extend the notions of scales, closed and exact Weyl connections, and Rho--tensors, we characterize the classes of such objects, and we use the results to give a new description of the Cartan bundles and connections for all parabolic geometries.


title: Some cyclic covers of complements of arrangements

abstract: Motivated by the Milnor fiber of a central arrangement, we study the cohomology of a family of cyclic covers of the complement of an arbitrary arrangement. We give an explicit proof of the polynomial periodicity of the Betti numbers of the members of this family of cyclic covers.


title: Hall-Littlewood vertex operators and generalized Kostka polynomials

abstract: A family of vertex operators that generalizes those given by Jing for the Hall-Littlewood symmetric functions is presented. These operators produce symmetric functions related to the Poincare polynomials referred to as generalized Kostka polynomials in the same way that Jing's operator produces symmetric functions related to Kostka-Foulkes polynomials. These operators are then used to derive commutation relations and new relations involving the generalized Kostka coefficients. Such relations may be interpreted as identities in the (GL(n) x C^*)-equivariant K-theory of the nullcone.


title: Extremal metrics on graphs I

abstract: We define a number of natural (from geometric and combinatorial points of view) deformation spaces of valuations on finite graphs, and study functions over these deformation spaces. These functions include both direct metric invariants (girth, diameter), and spectral invariants (the determinant of the Laplace operator, or complexity; bottom non-zero eigenvalue of the Laplace operator). We show that almost all of these functions are, surprisingly, convex, and we characterize the valuations extremizing these invariant


title: Deformations of chiral algebras and quantum cohomology of toric varieties

abstract: We reproduce the quantum cohomology of toric varieties (and of some hypersurfaces in projective spaces) as the cohomology of certain vertex algebras with differential. The deformation technique allows us to compute the cohomology of the chiral de Rham complex over the projective space.


title: Wavelet filters and infinite-dimensional unitary groups

abstract: In this paper, we study wavelet filters and their dependence on two numbers, the scale N and the genus g. We show that the wavelet filters, in the quadrature mirror case, have a harmonic analysis which is based on representations of the C^*-algebra O_N. A main tool in our analysis is the infinite-dimensional group of all maps T -> U(N) (where U(N) is the group of all unitary N-by-N matrices), and we study the extension problem from low-pass filter to multiresolution filter using this group.


title: Solutions Near Singular Points to the Eikonal and Related First Order Non-linear Partial Differential Equations in Two Independent Variables

abstract: A detailed study of solutions to the first order partial differential equation H(x,y,z_x,z_y)=0, with special emphasis on the eikonal equation z_x^2+z_y^2=h(x,y), is made near points where the equation becomes singular in the sense that dH=0, in which case the method of characteristics does not apply. The main results are that there is a strong lack of uniqueness of solutions near such points and that solutions can be less regular than both the function H and the initial data of the problem, but that this loss of regularity only occurs along a pair of curves through the singular point. The main tools are symplectic geometry and the Sternberg normal form for Hamiltonian vector fields.


title: How many Turing degrees are there?

abstract: A Borel equivalence relation on a Polish space is said to be countable if all of its equivalence classes are countable. Standard examples of countable Borel equivalence relations (on the space of subsets of the integers) that occur in recursion theory are: recursive isomorphism, Turing equivalence, arithmetic equivalence, etc. There is a canonical hierarchy of complexity of countable Borel equivalence relations imposed by the notion of Borel reducibility. We will survey results and conjectures concerning the problem of identifying the place in this hierarchy of these equivalence relations from recursion theory and also discuss some of their implications.


title: Roots of any Polynomial with Complex Integer Coefficients using Replacement Sequences, Ruler and Compass

abstract: The roots of any polynomial of degree m with complex integer coefficients can be computed by manipulation of sequences made from distinct symbols and counting the different symbols in the sequences. This method requires only primitive operations like replacement of sequences and counting of symbols. No calculations using advanced operations like multiplication, division, logarithms etc. are needed. The method can be implemented as a geometric construction using only a ruler and a compass.


title: An Application of the Whitehouse Module to Riffle Shuffles Followed by a Cut

abstract: Using representation theoretic work on the Whitehouse module, a formula is obtained for the cycle structure of a riffle shuffle followed by a cut. This result will be merged with the paper [F6].


title: On the Schlafli differential formula

abstract: he celebrated formula of Schlafli relates the variation of the dihedral angles of a smooth family of polyhedra in a space form and the variation of volume. We give a smooth analogue of this classical formula -- our result relates the variation of the volume bounded by a hypersurface moving in a general Einstein manifold and the integral of the variation of the mean curvature. The argument is direct, and the classical polyhedral result (as well as results for Lorenzian space forms) is an easy corollary. We extend it to variations of the metric in a Riemannian Einstein manifold with boundary. We apply our results to extend the classical Euclidean inequalities of Aleksandrov to other 3-dimensional constant curvature spaces. We also obtain rigidity results for Ricci-flat manifolds with umbilic boundaries and existence results for foliations of Einstein manifolds by hypersurfaces.


title: The Module of Logarithmic p-forms of a Locally Free Arrangement

abstract: For an essential, central hyperplane arrangement A in V=k^{n+1}, we show that \Omega^1(A) (the module of logarithmic one forms with poles along A) gives rise to a locally free sheaf on P^n if and only if for all X in L_A with rank X<dim V, the module \Omega^1(A_X) is free. Our main result is that in this case the Poicare polynomial of A is essentially the Chern polynomial. The proof is based on a result of Solomon and Terao and on a formula we give for the Chern polynomial of a bundle E on P^n in terms of the Hilbert series of \oplus_m H^0(\wedge^iE(m)). If \Omega^1(A)has projective dimension one and is locally free, we give a minimal free resolution for \Omega^p, and show that \wedge^p(\Omega^1(A))\iso\Omega^p(A), generalizing results of Rose and Terao on generic arrangements.


title: Derivation-Simple Algebras and the Structures of Generalized Lie Algebras of Witt Type

abstract: We classify all the pairs of a commutative associative algebra with an identity element and its finite-dimensional commutative locally-finite derivation subalgebra such that the commutative associative algebra is derivation-simple with respect to the derivation subalgebra over an algebraically closed field with characteristic 0. Such pairs are the fundamental ingredients for constructing generalized simple Lie algebras of Cartan type. Moreover, we determine the isomorphic classes of the generalized simple Lie algebras of Witt Type. The structure space of these algebras is given explicitly.


title: On the derived functor analogy in the Cuntz-Quillen framework for cyclic homology

abstract: Cuntz and Quillen have shown that for algebras over a field $k$ with $char(k)=0$, periodic cyclic homology may be regarded, in some sense, as the derived functor of (non-commutative) de Rham (co-)homology. The purpose of this paper is to formalize this derived functor analogy. We show that the localization ${Def}^{-1}\Cal{PA}$ of the category $\Cal{PA}$ of countable pro-algebras at the class of (infinitesimal) deformations exists (in any characteristic) (Theorem 3.2) and that, in characteristic zero, periodic cyclic homology is the derived functor of de Rham cohomology with respect to this localization (Corollary 5.4). We also compute the derived functor of rational $K$-theory for algebras over $\Bbb Q$, which we show is essentially the fiber of the Chern character to negative cyclic homology (Theorem 6.2).


title: A Simple Topological Characterization of Regions of Bounded Type

abstract: We prove that there is a one-to-one, bounded, holomorphic function on a region $\Omega$ iff $S^{2} - \Omega$ is not totally disconnected. This paper has been withdrawn by the author since Theorem 3 is incorrect.


title: Some boundedness results for Fano-like Moishezon manifolds

abstract: We prove finiteness of the number of smooth blow-downs on Fano manifolds and boundedness results for the geometry of non projective Fano-like manifolds. Our proofs use properness of Hilbert schemes and Mori theory.


title: The trace formula for transversally elliptic operators on Riemannian foliations

abstract: We prove a Duistermaat-Guillemin trace formula for transversally elliptic operators on a compact foliated manifold.


title: A characterization of semiampleness and contractions of relative curves

abstract: A line bundle with a base-point-free multiple is called semiample. I give a cohomological characterization of semiample line bundles. The result is a common generalization of the Fujita-Zariski criterion for semiampleness and the Grothendieck-Serre characterization of ampleness. Applying the Fujita-Zariski Theorem, I characterize contractible curves in 1-dimensional families.


title: Differential Equations Compatible with KZ Equations

abstract: We define a system of "dynamical" differential equations compatible with the KZ differential equations. The KZ differential equations are associated to a complex simple Lie algebra $\mathbf{g}$. These are equations on a function of $n$ complex variables $z_i$ taking values in the tensor product of $n$ finite dimensional $\mathbf{g}$-modules. The KZ equations depend on the "dual" variable in the Cartan subalgebra of $\mathbf{g}$. The dynamical differential equations are differential equations with respect to the dual variable. We prove that the standard hypergeometric solutions of the KZ equations also satisfy the dynamical equations. As an application we give a new determinant formula for the coordinates of a basis of hypergeometric solutions.


title: Claspers and finite type invariants of links

abstract: We introduce the concept of `claspers,' which are surfaces in 3-manifolds with some additional structure on which surgery operations can be performed. Using claspers we define for each positive integer k an equivalence relation on links called `C_k-equivalence,' which is generated by surgery operations of a certain kind called `C_k-moves'. We prove that two knots in the 3-sphere are C_{k+1}-equivalent if and only if they have equal values of Vassiliev-Goussarov invariants of type k with values in any abelian groups. This result gives a characterization in terms of surgery operations of the informations that can be carried by Vassiliev-Goussarov invariants. In the last section we also describe outlines of some applications of claspers to other fields in 3-dimensional topology.


title: Combing Euclidean buildings

abstract: For an arbitrary Euclidean building we define a certain combing, which satisfies the `fellow traveller property' and admits a recursive definition. Using this combing we prove that any group acting freely, cocompactly and by order preserving automorphisms on a Euclidean building of one of the types A_n,B_n,C_n admits a biautomatic structure.


title: q-probability: I. Basic discrete distributions

abstract: For basic discrete probability distributions, $-$ Bernoulli, Pascal, Poisson, hypergeometric, contagious, and uniform, $-$ $q$-analogs are proposed.


title: Lax pairs, Painlev\'e properties and exact solutions of the alogero Korteweg-de Vries equation and a new (2+1)-dimensional equation

abstract: We prove the existence of a Lax pair for the Calogero Korteweg-de Vries (CKdV) equation. Moreover, we modify the T operator in the the Lax pair of the CKdV equation, in the search of a (2+1)-dimensional case and thereby propose a new equation in (2+1) dimensions. We named this the (2+1)-dimensional CKdV equation. We show that the CKdV equation as well as the (2+1)-dimensional CKdV equation are integrable in the sense that they possess the Painlev\'e property. Some exact solutions are also constructed.


title: Links between different analytic descriptions of constant mean curvature surfaces

abstract: Transformations between different analytic descriptions of constant mean curvature (CMC) surfaces are established. In particular, it is demonstrated that the system \[ \begin{split} &\partial \psi_{1} = (|\psi_{1}|^{2} + |\psi_{2}|^{2}) \psi_{2} \\ &\bar{\partial} \psi_{2} =- (|\psi_{1}|^{2} + |\psi_{2}|^{2}) \psi_{1} \end{split} \] descriptive of CMC surfaces within the framework of the generalized Weierstrass representation, decouples into a direct sum of the elliptic Sh-Gordon and Laplace equations. Connections of this system with the sigma model equations are established. It is pointed out, that the instanton solutions correspond to different Weierstrass parametrizations of the standard sphere $S^{2} \subset E^{3}$.


title: Multi-variable Polynomial Solutions to Pell's Equation and Fundamental Units in Real Quadratic Fields

abstract: For each positive integer $n$ it is shown how to construct a finite collection of multivariable polynomials $\{F_{i}:=F_{i}(t,X_{1},..., X_{\lfloor \frac{n+1}{2} \rfloor})\}$ such that each positive integer whose squareroot has a continued fraction expansion with period $n+1$ lies in the range of exactly one of these polynomials. Moreover, each of these polynomials satisfy a polynomial Pell's equation $C_{i}^{2} -F_{i}H_{i}^{2} = (-1)^{n-1}$ (where $C_{i}$ and $H_{i}$ are polynomials in the variables $t,X_{1},..., X_{\lfloor \frac{n+1}{2} \rfloor}$) and the fundamental solution can be written down. Likewise, if all the $X_{i}$'s and $t$ are non-negative then the continued fraction expansion of $\sqrt{F_{i}}$ can be written down. Furthermore, the congruence class modulo 4 of $F_{i}$ depends in a simple way on the variables $t,X_{1},..., X_{\lfloor \frac{n+1}{2} \rfloor}$ so that the fundamental unit can be written down for a large class of real quadratic fields. Along the way a complete solution is given to the problem of determining for which symmetric strings of positive integers $a_{1},..., a_{n}$ do there exist positive integers $D$ and $a_{0}$ such that $\sqrt{D} = [ a_{0};\bar{a_{1}, >..., a_{n},2a_{0}}]$.


title: Extension dimension and C-spaces

abstract: Some generalizations of the classical Hurewicz formula are obtained for extension dimension and C-spaces.


title: On finiteness of the number of boundary slopes of immersed surfaces in 3-manifolds

abstract: For any hyperbolic 3-manifold $M$ with totally geodesic boundary, there are finitely many boundary slopes for essential immersed surfaces of a given genus. There is a uniform bound for the number of such boundary slopes if the genus of $\partial M$ or the volume of $M$ is bounded above. When the volume is bounded above, then area of $\partial M$ is bounded above and the length of closed geodesic on $\partial M$ is bounded below.


title: Generalized Hopfian property, minimal Haken manifold, and J. Simon's conjecture for 3-manifold groups

abstract: We address a conjecture that $\pi_1$-surjective maps between closed aspherical 3-manifolds having the same rank on $\pi_1$ must be of non-zero degree. The conjecture is proved for Seifert manifolds, which is used in constructing the first known example of minimum Haken manifold. Another motivation is to study epimorphisms of 3-manifold groups via maps of non-zero degree between 3-manifolds.


title: Location of incenters and Fermat points in variable triangles

abstract: The orthocentroidal circle of a nonequilateral triangle has diameter GH, joining the centroid to the orthocenter. We show that the incenters of triangles with a given Euler line simply cover the interior of the orthocentroidal circle, and that their Fermat points also lie within this circle.


title: Growth estimates on positive solutions of the equation $\Delta u + K u^{{n + 2}\over {n - 2}} = 0$ in ${\R}^n$

abstract: We construct unbounded positive $C^2$-solutions of the equation $\Delta u + K u^{(n + 2)/(n - 2)} = 0$ in ${\R}^n$ (equipped with Euclidean metric $g_o$) such that $K$ is bounded between two positive numbers in ${\R}^n$, the conformal metric $g = u^{4/(n - 2)} g_o$ is complete, and the volume growth of $g$ can be arbitrarily fast or reasonably slow according to the constructions. By imposing natural conditions on $u$, we obtain growth estimate on the $L^{2n/(n - 2)}$-norm of the solution and show that it has slow decay.


title: Intersection cohomology on nonrational polytopes

abstract: Viewing a fan as a partially ordered set (of cones) we consider a category of sheaves on the fan which corresponds to a category of equivariant sheaves on the corresponding toric variety if the fan is rational. In this category we define an object which corresponds to the equivariant intersection cohomology complex. Our first main result is the ``elementary'' decomposition theorem for the direct image under subdivision of fans We also develop the Borel-Moore- Verdier duality in the derived category of sheaves on the fan.


title: Geometrical Tools for Quantum Euclidean Spaces

abstract: We apply one of the formalisms of noncommutative geometry to $R^N_q$, the quantum space covariant under the quantum group $SO_q(N)$. Over $R^N_q$ there are two $SO_q(N)$-covariant differential calculi. For each we find a frame, a metric and two torsion-free covariant derivatives which are metric compatible up to a conformal factor and which have a vanishing linear curvature. This generalizes results found in a previous article for the case of $R^3_q$. As in the case N=3, one has to slightly enlarge the algebra $R^N_q$; for N odd one needs only one new generator whereas for N even one needs two. As in the particular case N=3 there is a conformal ambiguity in the natural metrics on the differential calculi over $R^N_q$. While in our previous article the frame was found `by hand', here we disclose the crucial role of the quantum group covariance and exploit it in the construction. As an intermediate step, we find a homomorphism from the cross product of $R^N_q$ with $U_qso(N)$ into $R^N_q$, an interesting result in itself.


title: Generalized Riemann - Liouville fractional derivatives for multifractal sets

abstract: The Riemann-Liouville fractional integrals and derivatives are generalized for cases when fractional exponent $d$ are functions of space and times coordinates (i.e. $d=d({\bf r}(t),t)$).


title: Bloch's Conjecture and Chow Motives

abstract: Let X be a complex surface with no nontrivial 2-forms. Then we show that Bloch's conjecture is true (i.e. the Albanese map in this case is injective) if and only if any homologically trivial idempotent in the ring of correspondences vanishes. Furthermore the cube of the ideal of homologically trivial correspondences is zero if these equivalent conditions are satisfied (e.g. if X is not of general type).


title: Lie Methods in Growth of Groups and Groups of Finite Width

abstract: In the first, mostly expository, part of this paper, a graded Lie algebra is associated to every group G given with an N-series of subgroups. The asymptotics of the Poincare series of this algebra give estimates on the growth of the group G. This establishes the existence of a gap between polynomial growth and growth of type $e^{\sqrt n}$ in the class of residually-p groups, and gives examples of finitely generated p-groups of uniformly exponential growth. In the second part, we produce two examples of groups of finite width and describe their Lie algebras, introducing a notion of Cayley graph for graded Lie algebras. We compute explicitly their lower central and dimensional series, and outline a general method applicable to some other groups from the class of branch groups. These examples produce counterexamples to a conjecture on the structure of just-infinite groups of finite width.


title: Stability Properties of the Riemann Ellipsoids

abstract: We study the ellipticity and the ``Nekhoroshev stability'' (stability properties for finite, but very long, time scales) of the Riemann ellipsoids. We provide numerical evidence that the regions of ellipticity of the ellipsoids of types II and III are larger than those found by Chandrasekhar in the 60's and that all Riemann ellipsoids, except a finite number of codimension one subfamilies, are Nekhoroshev--stable. We base our analysis on a Hamiltonian formulation of the problem on a covering space, using recent results from Hamiltonian perturbation theory.


title: The supremum of Brownian local times on Holder curves

abstract: For $f: [0,1]\to \R$, we consider $L^f_t$, the local time of space-time Brownian motion on the curve $f$. Let $\sS_\al$ be the class of all functions whose H\"older norm of order $\al$ is less than or equal to 1. We show that the supremum of $L^f_1$ over $f$ in $\sS_\al$ is finite is $\al>\frac12$ and infinite if $\al<\frac12$.


title: Fixed points of analytic actions of supersoluble Lie groups on compact surfaces

abstract: We show that every real analytic action of a connected supersoluble Lie group on a compact surface with nonzero Euler characteristic has a fixed point. This implies that E. Lima's fixed point free $C^{\infty}$ action on $S^2$ of the affine group of the line cannot be approximated by analytic actions. An example is given of an analytic, fixed point free action on $S^2$ of a solvable group that is not supersoluble.


title: Differential Operators on Azumaya algebra and Heisenberg algebra

abstract: We use the definition of differential operators on noncommutative rings given by V.Lunts and A.Rosenberg to find the differential operators on Azumaya algebras and the Heisenberg algebras.


title: Polytopes for Crystallized Demazure Modules and Exremal Vectors

abstract: We give a parametrization for crystal bases of Demazure modules as a set of lattice points in some convex polytope and we also describe explicitly the extremal vectors as solutions of some system of linear equations.


title: Kadec-Pelczynski decomposition for Haagerup L_p-spaces

abstract: Let M be a von Neumann algebra (not necessarily semi-finite). We provide a generalization of the classical Kadec-Pelczynski subsequence decomposition of bounded sequences in L^p[0,1] to the case of the Haagerup L^p-spaces (1\le p<\infty). In particular, we prove that if (\phi_n)_n is a bounded sequence in the predual M_* of M, then there exist a subsequence (\phi_{n_k})_k of (\phi_n)_n, a decomposition \phi_{n_k}= y_k+ z_k such that {y_k, k\ge 1} is relatively weaklycompact and the support projections s(z_k)\downarrow_k 0 (or similarly mutually disjoint). As an application, we prove that every non-reflexive subspace of the dual of any given C*-algebra (or Jordan triples) contains asymptotically isometric copies of l_1 and therefore fails the fixed point property for nonexpansive mappings. These generalize earlier results for the case of preduals of semi-finite von Neumann algebras.


title: Verlinde bundles and generalized theta linear series

abstract: In this paper we approach the study of generalized theta linear series on moduli of vector bundles on curves via vector bundle techniques on abelian varieties. We study what are called the Verlinde bundles in order to obtain information about duality between theta functions and effective global and normal generation on these moduli spaces.


title: Dimension estimates for Hilbert schemes and effective base point freeness on moduli spaces of vector bundles on curves

abstract: We obtain effective results for the global generation of pluritheta line bundles on moduli spaces of vector bundles on curves. The main ingredient is an independent result giving an upper bound on the dimension of the Hilbert scheme of coherent quotients of a given vector bundle.


title: Lattice Substitution Systems and Model Sets

abstract: The paper studies ways in which the sets of a partition of a lattice in $\RR^n$ become regular model sets. The main theorem gives equivalent conditions which assure that a matrix substitution system on a lattice in $\RR^n$ gives rise to regular model sets (based on $p$-adic-like internal spaces), and hence to pure point diffractive sets. The methods developed here are used to show that the $n-$dimensional chair tiling and the sphinx tiling are pure point diffractive.


title: Model sets: a survey

abstract: This article surveys the mathematics of the cut and project method as applied to point sets, called here {\em model sets}. It covers the geometric, arithmetic, and analytical sides of this theory as well as diffraction and the connection with dynamical systems.


title: The Imbedding Sum of a Graph

abstract: The automorphisms of a graph act naturally on its set of labeled imbeddings to produce its unlabeled imbeddings. The imbedding sum of a graph is a polynomial that contains useful information about a graph's labeled and unlabeled imbeddings. In particular, the polynomial enumerates the number of different ways the unlabeled imbeddings can be vertex colored and enumerates the labeled and unlabeled imbeddings by their symmetries.


title: Symplectic Lefschetz fibrations on S^1 x M^3

abstract: In this paper we classify symplectic Lefschetz fibrations (with empty base locus) on a four-manifold which is the product of a three-manifold with a circle. This result provides further evidence in support of the following conjecture regarding symplectic structures on such a four-manifold: if the product of a three-manifold with a circle admits a symplectic structure, then the three-manifold must fiber over a circle, and up to a self-diffeomorphism of the four-manifold, the symplectic structure is deformation equivalent to the canonical symplectic structure determined by the fibration of the three-manifold over the circle.


title: Determinants of Laplacians in Exterior Domains

abstract: We consider classes of simply connected planar domains which are isophasal, ie, have the same scattering phase $s(\l)$ for all $\l > 0$. This is a scattering-theoretic analogue of isospectral domains. Using the heat invariants and the determinant of the Laplacian, Osgood, Phillips and Sarnak showed that each isospectral class is sequentially compact in a natural $C$-infinity topology. In this paper, we show sequential compactness of each isophasal class of domains. To do this we define the determinant of the exterior Laplacian and use it together with the heat invariants (the heat invariants and the determinant being isophasal invariants). We show that the determinant of the interior and exterior Laplacians satisfy a Burghelea-Friedlander-Kappeler type surgery formula. This allows a reduction to a problem on bounded domains for which the methods of Osgood, Phillips and Sarnak can be adapted.


title: Polytopal linear algebra

abstract: We investigate similarities between the category of vector spaces and that of polytopal algebras, containing the former as a full subcategory. In Section 2 we introduce the notion of a polytopal Picard group and show that it is trivial for fields. The coincidence of this group with the ordinary Picard group for general rings remains an open question. In Section 3 we survey some of the previous results on the automorphism groups and retractions. These results support a general conjecture proposed in Section 4 about the nature of arbitrary homomorphisms of polytopal algebras. Thereafter a further confirmation of this conjecture is presented by homomorphisms defined on Veronese singularities. This is a continuation of the project started in our papers "Polytopal linear groups" (J. Algebra 218 (1999), 715--737), "Polytopal linear retractions" preprint, math.AG/0001049) and "Polyhedral algebras, arrangements of toric varieties, and their groups" (preprint, http://www.mathematik.uni-osnabrueck.de/K-theory/0232/index.html). The higher $K$-theoretic aspects of polytopal linear objects will be treated in "Polyhedral $K$-theory" (in preparation).


title: Algebraic duality for partially ordered sets

abstract: For an arbitrary partially ordered set $P$ its {\em dual} $P^*$ is built as the collection of all monotone mappings $P\to\2$ where $\2=\{0,1\}$ with $0<1$. The set of mappings $P^*$ is proved to be a complete lattice with respect to the pointwise partial order. The {\em second dual} $P^{**}$ is built as the collection of all morphisms of complete lattices $P^*\to\2$ preserving universal bounds. Then it is proved that the partially ordered sets $P$ and $P^{**}$ are isomorphic.


title: The Digit Principle

abstract: A number of constructions in function field arithmetic involve extensions from linear objects using digit expansions. This technique is described here as a method of constructing orthonormal bases in spaces of continuous functions. We illustrate several examples of orthonormal bases from this viewpoint, and we also obtain a concrete model for the continuous functions on the integers of a local field as a quotient of a Tate algebra in countably many variables.


title: Invertibility of Toeplitz + Hankel Operators and Singular Integral Operators with Flip - The case of smooth generating functions

abstract: It is well known that a Toeplitz operator is invertible if and only if its symbols admits a canonical Wiener-Hopf factorization, where the factors satisfy certain conditions. A similar result holds also for singular integral operators. More general, the dimension of the kernel and cokernel of Toeplitz or singular integral operators which are Fredholm can be expressed in terms of the partial indices of an associated Wiener-Hopf factorization problem. In this paper we establish corresponding results for Toeplitz + Hankel operators and singular integral operators with flip under the assumption that the generating functions are sufficiently smooth. We are led to a slightly different factorization problem, in which so-called characteristic pairs instead of the partial indices appear. These pairs provide the relevant information about the dimension of the kernel and cokernel and thus answer the invertibility problem.


title: Finiteness theorems for nonnegatively curved vector bundles

abstract: We prove several finiteness theorems for the normal bundles to souls in nonnegatively curved manifolds. More generally, we obtain finiteness results for open Riemannian manifolds whose topology is concentrated on compact domains of ``bounded geometry''.


title: On the Weyl tensor of a self-dual complex 4-manifold

abstract: We study complex 4-manifolds with holomorphic self-dual conformal structures, and we obtain an interpretation of the Weyl tensor of such a manifold as the projective curvature of a field of cones on the ambitwistor space. In particular, its vanishing is implied by the existence of some compact, simply-connected, null-geodesics. We also relate the Cotton-York tensor of an umbilic hypersurface to the Weyl tensor of the ambient. As a consequence, a conformal 3-manifold or a self-dual 4-manifold admitting a rational curve as a null-geodesic is conformally flat. We show that the projective structure of the beta-surfaces of a self-dual manifold is flat.


title: Degenerations of Mixed Hodge structure

abstract: We continue our work on variations of graded-polarized mixed Hodge structures by defining analogs of the harmonic metric equations for filtered bundles and proving a precise analog of Schmid's Nilpotent Orbit Theorem for 1-parameter degenerations of graded-polarized mixed Hodge structure.


title: On the Splitting Type of an Equivariant Vector Bundle over a Toric Manifold

abstract: From the work of Lian, Liu, and Yau on "Mirror Principle", in the explicit computation of the Euler data $Q=\{Q_0, Q_1, ... \}$ for an equivariant concavex bundle ${\cal E}$ over a toric manifold, there are two places the structure of the bundle comes into play: (1) the multiplicative characteric class $Q_0$ of $V$ one starts with, and (2) the splitting type of ${\cal E}$. Equivariant bundles over a toric manifold has been classified by Kaneyama, using data related to the linearization of the toric action on the base toric manifold. In this article, we relate the splitting type of ${\cal E}$ to the classifying data of Kaneyama. From these relations, we compute the splitting type of a couple of nonsplittable equivariant vector bundles over toric manifolds that may be of interest to string theory and mirror symmetry. A code in Mathematica that carries out the computation of some of these examples is attached.


title: Quasi-Hopf algebras associated with semisimple Lie algebras and complex curves

abstract: We construct quasi-Hopf algebras associated with a semisimple Lie algebra, a complex curve and a rational differential. This generalizes our previous joint work with V. Rubtsov (Israel J. Math. (1999) and q-alg/9608005).


title: Cascade Connections of Linear Systems and Factorizations of Holomorphic Operator Functions Around a Multiple Zero in Several Variables

abstract: We show that the factorization problem $\theta (z)=\theta_2(z)\theta_1(z)$ is solvable in the class of Hilbert space operator-valued functions holomorphic on some neighbourhood of $z=0$ in $\nspace{C}{N}$ and having a zero at $z=0$ (here $\theta (z)$ has a multiple zero at $z=0$). Such a factorization problem becomes more complicated if we demand for $\theta (z), \theta_1(z)$ and $\theta_2(z)$ to be Agler--Schur-class functions on the polydisk $\nspace{D}{N}$ and for the factorization identity to hold in $\nspace{D}{N}$. In this case we reduce it to the problem on the existence of a cascade decomposition for certain multiparametric linear system $\alpha $--a conservative realization of $\theta (z)$, and give the criterion for its solvability in terms of common invariant subspaces for the $N$-tuple of main operators of $\alpha $.


title: On the cover time of planar graphs

abstract: The cover time of a finite connected graph is the expected number of steps needed for a simple random walk on the graph to visit all the vertices. It is known that the cover time on any n-vertex, connected graph is at least (1+o(1)) n log(n) and at most (1+o(1))(4/27)n^3. This paper proves that for bounded-degree planar graphs the cover time is at least c n(log n)^2, and at most 6n^2, where c is a positive constant depending only on the maximal degree of the graph. The lower bound is established via use of circle packings.


title: A Subadditivity Property of Multiplier Ideals

abstract: Given an effective Q-divisor D on a smooth complex variety, one can associate to D its multiplier ideal sheaf J(D), which measures in a somewhat subtle way the singularities of D. Because of their strong vanishing properties, these ideals have come to play an increasingly important role in higher dimensional geometry. We prove that for two effective Q-divisors D and E, one has the "subadditivity" relation: J(D + E) \subseteq J(D) . J(E) . (We also establish several natural variants, including the analogous statement for the analytic multiplier ideals associated to plurisubharmonic functions.) As an application, we give a new proof of a theorem of Fujita concerning the volume of a big linear series on a projective variety. The first section of the paper contains an overview of the construction and basic properties of multiplier ideals from an algebro-geometric perspective, as well as a discussion of the relation between some asymptotic algebraic constructions and their analytic counterparts.


title: Wave invariants at elliptic closed geodesics

abstract: This paper concerns spectral invariants of the Laplacian on a compact Riemannian manifold (M,g) known as wave invariants. If U(t) denotes the wave group of (M,g), then the trace Tr U(t) is singular when t = 0 or when ti is the length of a closed geodesic. It has a special type of singularity expansion at each length and the coefficients are known as the wave invariants. Our main purpose is to calculate the wave invariants explicitly in terms of curvature, Jacobi fields etc. when the closed geodesic is non-degenerate elliptic. We do this by putting the Laplacian into quantum Birkhoff normal form at the closed geodesic. Such a normal form was previously introduced by V. Guillemin. We give a new algorithm for calculating it, and for expressing wave invariants in terms of normal form invariants.