title: Combinatorial Intersection Cohomology for Fans

abstract: We continue the approach toward a purely combinatorial "virtual" intersection cohomology for possibly non-rational fans, based on our investigation of equivariant intersection cohomology for toric varieties (see math.AG/9904159). Fundamental objects of study are "minimal extension sheaves" on "fan spaces". These are flabby sheaves of graded modules over a sheaf of polynomial rings, satisfying three relatively simple axioms that characterize the properties of the equivariant intersection cohomology sheaf on a toric variety, endowed with the finite topology given by open invariant subsets. These sheaves are models for the "pure" objects of a "perverse category"; a "Decomposition Theorem" is shown to hold. -- Formalizing those fans that define "equivariantly formal" toric varieties (where equivariant and non-equivariant intersection cohomology determine each other by Kunneth type formulae), we study "quasi-convex" fans (including fans with convex or with "co-convex" support). For these, there is a meaningful "virtual intersection cohomology". We characterize quasi-convex fans by a topological condition on the support of their boundary fan and prove a generalization of Stanley's "Local-Global" formula realizing the intersection Poincare polynomial of a complete toric variety in terms of local data. Virtual intersection cohomology of quasi-convex fans is shown to satify Poincare duality. To describe the local data in terms of virtual intersection cohomology of lower-dimensional complete polytopal fans, one needs a "Hard Lefschetz" type theorem. It requires a vanishing condition that is known to hold for rational cones, but yet remains to be proven in the general case.


title: Solutions of the Einstein-Dirac Equation on Riemannian 3-Manifolds with Constant Scalar Curvature

abstract: This paper contains a classification of all 3-dimensional manifolds with constant scalar curvature $S \not= 0$ that carry a non-trivial solution of the Einstein-Dirac equation.


title: Invariant Measures and Orbit Closures on Homogeneous Spaces for Actions of Subgroups Generated by Unipotent Elements

abstract: The theorems of M. Ratner, describing the finite ergodic invariant measures and the orbit closures for unipotent flows on homogeneous spaces of Lie groups, are extended for actions of subgroups generated by unipotent elements. More precisely: Let G be a Lie group (not necessarily connected) and Gamma a closed subgroup of G. Let W be a subgroup of G such that Ad(W) is contained in the Zariski closure (in the group of automorphisms of the Lie algebra of G) of the subgroup generated by the unipotent elements of Ad(W). Then any finite ergodic invariant measure for the action of W on G/Gamma is a homogeneous measure (i.e., it is supported on a closed orbit of a subgroup preserving the measure). Moreover, if G/Gamma has finite volume (i.e., has a finite G-invariant measure), then the closure of any orbit of W on G/Gamma is a homogeneous set (i.e., a finite volume closed orbit of a subgroup containing W). Both the above results hold if W is replaced by any subgroup Lambda of W such that W/Lambda has finite volume.


title: Limit distributions of expanding translates of certain orbits on homogeneous spaces

abstract: Let L be a Lie group and Lambda a lattice in L. Suppose G is a non-compact simple Lie group realized as a Lie subgroup of L, and the image of G on L/Lambda is dense. Let c be a diagonalizable element of G not contained in a compact subgroup. Let U be the expanding horospherical subgroup of G associated to c. Let Omega be a nonempty open subset of U, and {n_i} be a sequence of natural numbers tending to infinity. It is shown that the image of the union of the sets c^{n_i}.Omega in L/Lambda is dense. A stronger measure theoretic formulation of this result is also obtained. Among other applications of the above result, we describe G-equivariant topological factors of the product space L/Lambda \times G/P, where the real rank of G is greater than 1, P is a parabolic subgroup of G, and G acts diagonally. We also describe equivariant topological factors of unipotent flows on finite volume homogeneous spaces of Lie groups.


title: Amenable actions and exactness for discrete groups

abstract: It is proved that a discrete group G is exact if and only if its left translation action on the Stone-Cech compactification is amenable. Combining this with an unpublished result of Gromov, we have the existence of non exact discrete groups.


title: Equivalences of real submanifolds in complex space

abstract: We show that for any real-analytic submanifold M in C^N there is a proper real-analytic subvariety V contained in M such that for any point p in M\V, any real-analytic submanifold M' in C^N, and any point p' in M', the germs of the submanifolds M and M' at p and p' respectively are formally equivalent if and only if they are biholomorphically equivalent. More general results for k-equivalences are also stated and proved.


title: Four-Manifolds which admit Z_p x Z_p actions

abstract: We show that the simply-connected four-manifolds which admit locally linear, homologically trivial actions by rank two finite abelian groups are homeomorphic to connected sums of CP^2, -CP^2, and S^2 x S^2 (with one exception: pseudofree Z_3 x Z_3 actions on the Chern manifold), and also establish an equivariant decompostion theorem. This generalizes results from a 1970 paper by Orlik and Raymond, and complements more recent work of Fintushel, Yoshida, and Huck on S^1 actions. In each case, the simply-connected four-manifolds which support such actions are essentially the same.


title: Einstein manifolds of non-negative sectional curvature and entropy

abstract: We find obstructions to the existence of Einstein metrics of non-negative sectional curvature on a smooth closed simply connected manifold of any dimension. The results are achieved by combining the classical Morse theory of the loop space with a new upper bound for the topological entropy of the geodesic flow in terms of the curvature tensor.


title: Geometrically Graded h-p Quadrature Applied to the Complex Boundary Integral Equation Method for the Dirichlet Problem with Corner Singularities

abstract: Boundary integral methods for the solution of boundary value PDEs are an alternative to `interior' methods, such as finite difference and finite element methods. They are attractive on domains with corners, particularly when the solution has singularities at these corners. In these cases, interior methods can become excessively expensive, as they require a finely discretised 2D mesh in the vicinity of corners, whilst boundary integral methods typically require a mesh discretised in only one dimension, that of arc length. Consider the Dirichlet problem. Traditional boundary integral methods applied to problems with corner singularities involve a (real) boundary integral equation with a kernel containing a logarithmic singularity. This is both tedious to code and computationally inefficient. The CBIEM is different in that it involves a complex boundary integral equation with a smooth kernel. The boundary integral equation is approximated using a collocation technique, and the interior solution is then approximated using a discretisation of Cauchy's integral formula, combined with singularity subtraction. A high order quadrature rule is required for the solution of the integral equation. Typical corner singularities are of square root type, and a `geometrically graded h-p' composite quadrature rule is used. This yields efficient, high order solution of the integral equation, and thence the Dirichlet problem. Implementation and experimental results in \textsc{matlab} code are presented.


title: Existence of close pseudoholomorphic disks for almost complex manifolds and an applications to Kobayashi-Royden pseudonorm

abstract: In this paper we extend the notion of the Kobayashi-Royden pseudonorm for almost complex manifolds. Its basic properties known from the complex analysis are preserved in the nonintegrable case as well. The main theorem on coincidence of the pseudodistance induced by this pseudonorm with the Kobayashi pseudodistance for the almost complex manifold is equivalent to the possibility of deforming slightly a pseudoholomorphic disk in an almost complex manifold. We also describe the result in terms of h-principle and consider a geometric application for moduli spaces of pseudoholomorphic curves.


title: Geometrical Issues for the 3-dim Quantum Euclidean Space

abstract: We briefly describe our application of a version of noncommutative differential geometry to the 3-dim quantum space covariant under the quantum group of rotations $SO_q(3)$ and sketch how this might be used to determine the correct physical interpretation of the geometrical observables.


title: A note on the crystalline subrepresentation functor

abstract: We propose the notion of the {\em crystalline sub-representation functor} defined on $p$-adic representations of the Galois groups of finite extensions of $\Qp$, with certain restrictions in the case of integral representations. By studying its right-derived functors, we find a natural extension of a formula of Grothendieck expressing the group of connected components of a Neron model of an abelian variety in terms of Galois cohomology.


title: Blocking measures for asymmetric exclusion processes via coupling

abstract: We give sufficient conditions on the rates of two asymmetric exclusion processes such that the existence of a blocking invariant measure for the first implies the existence of such a measure for the second. The main tool is a coupling between the two processes under which the first dominates the second in an appropriate sense. In an appendix we construct a class of processes for which the existence of a blocking measure can be proven directly; these are candidates for comparison processes in applications of the main result.


title: On q-Deformations of Clifford Algebras

abstract: Several Clifford algebras that are covariant under the action of a Lie algebra $g$ can be deformed in a way consistent with the deformation of $Ug$ into a quantum group (or into a triangular Hopf algebra) $U_qg$, i.e. so as to remain covariant under the action of $U_qg$. In this report, after recalling these facts, we review our results regarding the formal realization of the elements of such ``q-deformed'' Clifford algebras as ``functions'' (polynomials) in the generators of the undeformed ones; in particular, the intruiging interplay between the original and the q-deformed symmetry. Finally, we briefly illustrate their dramatic consequences on the representation theories of the original and of the q-deformed Clifford algebra, and mention how these results could turn out to be useful in quantum physics.


title: Addendum to Theorem 10.4 in "Boundaries of Analytic Varieties"

abstract: The main result of [HL] (Annals of Math. 102 (1975), 223--290) gives a characterization of the boundaries of complex subvarieties in C^n. An application of this result concerning pseudoconvexity, namely Theorem 10.4 in [HL], is amplified.


title: Distortion of leaves in product foliations

abstract: We produce examples of codimension one foliations of the Euclidean and hyperbolic planes with bounded geometry which are topologically products, but for which leaves are non-recursively distorted. That is, the function which compares intrinsic distances in leaves with extrinsic distances in the ambient space grows faster than any recursive function.


title: Segre varieties and Lie symmetries

abstract: Using the classical S.Lie method we obtain a complete description of infinitesimal symmetries of a holomorphic PDE system defining the Segre family of a real analytic hypersurface. This gives a new proof of some well known results of CR geometry.


title: Some measure-preserving point transformations on the Wiener space and their ergodicity

abstract: Suppose that T is a map of the Wiener space into itself, of the following type: T=I+u where u takes its values in the Cameron-Martin space H. Assume also that u is a finite sum of H-valued multiple Ito-Wiener integrals. In this work we prove that if T preserves the Wiener measure, then necessarily u is in the first Wiener chaos and the transformation corresponding to it is a rotation in the sense of [9]. Afterwards the ergodicity and mixing of such transformations, which are second quantizations of the unitary operators on the Cameron-Martin space, are characterized. Finally, the ergocity of the transformation dY_t=gamma(t)dW_t, 0 \le t \le 1 where W is n-dimensional Wiener and gamma is non random is characterized


title: Some examples of aspherical symplectic four-manifolds

abstract: The paper was withdrawn due to a gap in the proof of Lemma 3.


title: Permutations with restricted patterns and Dyck paths

abstract: We exhibit a bijection between 132-avoiding permutations and Dyck paths. Using this bijection, it is shown that all the recently discovered results on generating functions for 132-avoiding permutations with a given number of occurrences of the pattern $12... k$ follow directly from old results on the enumeration of Motzkin paths, among which is a continued fraction result due to Flajolet. As a bonus, we use these observations to derive further results and a precise asymptotic estimate for the number of 132-avoiding permutations of $\{1,2,...,n\}$ with exactly $r$ occurrences of the pattern $12... k$. Second, we exhibit a bijection between 123-avoiding permutations and Dyck paths. When combined with a result of Roblet and Viennot, this bijection allows us to express the generating function for 123-avoiding permutations with a given number of occurrences of the pattern $(k-1)(k-2)... 1k$ in form of a continued fraction and to derive further results for these permutations.


title: On the cut and paste property of higher signatures of a closed oriented manifold

abstract: We extend the notion of the symmetric signature $\sigma(\bar{M},r)$ in L^n(R) for a compact n-dimensional manifold M without boundary, a reference map r from M to BG and a homomorphism of rings with involutions from ZG to R to the case with boundary $\partial M$, where $(\bar{M},\bar{\partial M}) \to (M,\partial M)$ is the G-covering associated to r. We need the assumption that $C_*(\bar{\partial M}) \otimes_{\zz G} R$ isR-chain homotopy equivalent to a R-chain complex D_* with trivial m-th differential for n = 2m resp. n = 2m+1. Let Z be a closed oriented manifold with reference map BG. Let F be a cutting codimension one submanifold in Z and let $\bar{F} \to F$ be the associated $G$-covering. Denote by $\alpha_m(\bar{F})$ the m-th Novikov-Shubin invariant and by $b_m^{(2)}(\bar{F})$ the m-th L^2-Betti number. We use $\sigma(\bar{M},r)$ to prove the additivity (or cut and paste property) of the higher signatures of Z if we have $\alpha_m(\bar{F}) = \infty^+$ in the case n = 2m and, in the case n = 2m+1, if we have $\alpha_m(\bar{F}) = \infty^+$ and $b_m^{(2)}(\bar{F}) = 0$. We give examples, where these conditions are not satisfied and additivity fails. Our work is motivated by the one of Leichtnam-Lott-Piazza, Lott and Weinberger.


title: Dynamical systems admitting the normal shift

abstract: Development of theory of dynamical systems admitting the normal shift in 1993-1999 is reviewed. Basics are given with complete proofs.


title: On the isotriviality of families of projective manifolds over curves

abstract: Let Y be a projective non-singular curve of genus g, X a projective manifold, both defined over the field of complex numbers, and let f:X ---> Y be a surjective morphism with general fibre F. If the Kodaira dimension of X is non-negative, and if Y is the projective line we show that f has at least 3 singular fibres. In general, for non-isotrivial morphisms f, one expects that the number of singular fibres is at least 3, if g=0, or at least 1, if g=1. Using the strong additivity of the Kodaira dimension, this is verified, if either F is of general type, or if F has a minimal model with a semi-ample canonical divisor. The corresponding result has been obtained by Migliorini and Kovacs, for families of surfaces of general type and for families of canonically polarized manifolds, and by Oguiso-Viehweg for families of elliptic surfaces. As a byproduct we obtain explicit bounds for the degree of the direct image of powers of the dualizing sheaf, generalizing those obtained by Bedulev-Viehweg for families of surfaces of general type.


title: Classification of Subsystems for Local Nets with Trivial Superselection Structure

abstract: Let F be a local net of von Neumann algebras in four spacetime dimensions satisfying certain natural structural assumptions. We prove that if F has trivial superselection structure then every covariant, Haag-dual subsystem B is the fixed point net under a compact group action on one component in a suitable tensor product decomposition of F. Then we discuss some application of our result, including free field models and certain theories with at most countably many sectors.


title: On the existence of absolutely simple abelian varieties of a given dimension over an arbitrary field

abstract: We prove that for every field k and every positive integer n, there exists an absolutely simple n-dimensional abelian variety over k. We also prove an asymptotic result for finite fields: For every finite field k and positive integer n, we let S(k,n) denote the fraction of the isogeny classes of n-dimensional abelian varieties over k that consist of absolutely simple ordinary abelian varieties. Then for every n, the quantity S(F_q,n) approaches 1 as q approaches infinity over the prime powers.


title: Fiber with Intrinsic Action on a 1+1 Dimensional Spacetime

abstract: I construct an algebraic model for a typical fiber on a 1+1 dimensional spacetime. The vector space comprising the fiber is composed of elements formed from the direct product of two copies of an element x in the D2=C2xC2 finite group algebra over the real numbers. The fiber contains subspaces whose elements are associated with the tangent and momentum vectors of trajectories in the manifold. The fiber also contains a subspace whose elements are associated with the local flow of action of each trajectory. The condition of minimum action translates into a constraint on the original vector x in the direct product structure.


title: Some real and unreal enumerative geometry for flag manifolds

abstract: We present a general method for constructing real solutions to some problems in enumerative geometry which gives lower bounds on the maximum number of real solutions. We apply this method to show that two new classes of enumerative geometric problems on flag manifolds may have all their solutions be real and modify this method to show that another class may have no real solutions, which is a new phenomenon. This method originated in a numerical homotopy continuation algorithm adapted to the special Schubert calculus on Grassmannians and in principle gives optimal numerical homotopy algorithms for finding explicit solutions to these other enumerative problems.


title: Cascade Connection of Multiparametric Linear Systems and a Conservative Realization of Decomposable Inner Operator Functions in Bidisk

abstract: We introduce the notion of cascade connection of multiparametric discrete time-invariant linear dynamical systems with unit delay. This allows us to construct the explicit example of conservative realization of a decomposable operator-valued function $\theta (z_1, z_2)=\theta_2(z_2)\theta_1(z_1)$, where $\theta_1$ and $\theta_2$ are inner operator-valued functions on the unit disk, vanishing at zero, and discuss some properties of such realization.


title: Divergence operators and odd Poisson brackets

abstract: We define the divergence operators on a graded algebra, and we show that, given an odd Poisson bracket on the algebra, the operator that maps an element to the divergence of the hamiltonian derivation that it defines is a generator of the bracket. This is the "odd laplacian", $\Delta$, of Batalin-Vilkovisky quantization. We then study the generators of odd Poisson brackets on supermanifolds, where divergences of graded vector fields can be defined either in terms of berezinian volumes or of graded connections. Examples include generators of the Schouten bracket of multivectors on a manifold (the supermanifold being the cotangent bundle where the coordinates in the fibres are odd) and generators of the Koszul-Schouten bracket of forms on a Poisson manifold (the supermanifold being the tangent bundle, with odd coordinates on the fibres).


title: Computation of Cohomology of Lie Superalgebras of Vector Fields

abstract: The cohomology of Lie (super)algebras has many important applications in mathematics and physics. It carries most fundamental ("topological") information about algebra under consideration. At present, because of the need for very tedious algebraic computation, the explicitly computed cohomology for different classes of Lie (super)algebras is known only in a few cases. That is why application of computer algebra methods is important for this problem. We describe here an algorithm and its C implementation for computing the cohomology of Lie algebras and superalgebras. The program can proceed finite-dimensional algebras and infinite-dimensional graded algebras with finite-dimensional homogeneous components. Among the last algebras Lie algebras and superalgebras of formal vector fields are most important. We present some results of computation of cohomology for Lie superalgebras of Buttin vector fields and related algebras. These algebras being super-analogs of Poisson and Hamiltonian algebras have found many applications to modern supersymmetric models of theoretical and mathematical physics.


title: Seshadri constant for a family of surfaces

abstract: The aim of this note is to study local and global Seshadri constants for a family of smooth surfaces with prescribed polarization. We shall first observe that given $\alpha$ being smaller than the square root of the degree of polarization, the set of local Seshadri constants in the range $(0, \alpha]$ is finite. This in particular implies that the square root of the degree of polarization is the only possible accumulation point of the set of local Seshadri constants. Next we shall remark the Zariski closedness of the set of points whose local Seshadri constants are in any given interval $(0, a]$. As applications, we shall also add a few remarks on the lower semi-continuity of both local and global Seshadri constants with respect to parameters involved, and on the minimality and the maximality of their infimum and supremum.


title: Almost holomorphic embeddings in Grassmannians with applications to singular simplectic submanifolds

abstract: We use Donaldson's approximately holomorphic techniques to build embeddings of a closed symplectic manifold with symplectic form of integer class in the grassmannians Gr(r,N). We assure that these embeddings are asymptotically holomorphic in a precise sense. We study first the particular case of embeddings in the projective space $CP^N$ obtaining control on N. The main reason of our study is the construction of singular determinantal submanifolds as the intersection of the embedding with certain ``generalized Schur cycles'' defined on a product of grassmannians. It is shown that the symplectic type of these submanifolds is quite more general that the ones obtained by Auroux as zero sets of approximately holomorphic sections of ``very ample'' vector bundles.


title: Asymptotic growth of the number of classes of real plane algebraic curves when the degree increases

abstract: The nonsingular real plane algebraic curves of given degree $d$ are considered either up to isotopy or up to deformation. The asymptotic behavior of the number $I_d$ of isotopy classes and the number $D_d$ of deformation classes are studied. It is shown, in particular, that $log I_d\asypt d^2$. Other related problems and their higher dimensional generalisations are discussed.


title: Monodromy at Infinity and the Weights of Cohomology

abstract: We show that for a polynomial map, the size of the Jordan blocks for the eigenvalue 1 of the monodromy at infinity is bounded by the multiplicity of the reduced divisor at infinity of a good compactification of a general fiber. The existence of such Jordan blocks is related to global invariant cycles of the graded pieces of the weight filtration. These imply some applications to period integrals. We also show that such a Jordan block of size greater than 1 for the graded pieces of the weight filtration is the restriction of a strictly larger Jordan block for the total cohomology group. If there are no singularities at infinity, we have a more precise statement on the monodromy.


title: Geometrical techniques for the N-dimensional Quantum Euclidean Spaces

abstract: We briefly report our application of a version of noncommutative geometry to the quantum Euclidean space $R^N_q$, for any $N \ge 3$; this space is covariant under the action of the quantum group $SO_q(N)$, and two covariant differential calculi are known on it. More precisely, we describe how to construct in a Cartan `moving-frame formalism' the metric, two covariant derivatives, the Dirac operator, the frame, the inner derivations dual to the frame elements, for both of these calculi. The components of the frame elements in the basis of differentials provide a `local realization' of the Faddeev-Reshetikhin-Takhtadjan generators of $U_q^{\pm}(so(N))$.


title: About the globular homology of higher dimensional automata

abstract: We introduce a new simplicial nerve of higher dimensional automata whose homology groups yield a new definition of the globular homology. With this new definition, the drawbacks noticed with the construction of math.CT/9902151 disappear. Moreover the important morphisms which associate to every globe its corresponding branching area and merging area of execution paths become morphisms of simplicial sets.


title: Bass's Work in Ring Theory and Projective Modules

abstract: The early papers of Hyman Bass in the late 50s and the early 60s leading up to his pioneering work in algebraic K-theory have played an important and very special role in ring theory and the theory of projective (and injective) modules. In this article, we give a general survey of Bass's fundamental contributions in this early period of his work, and explain how much this work has influenced and shaped the thinking of subsequent researchers in the area.


title: A new weight system on chord diagrams via hyperk\"ahler geometry

abstract: A weight system on graph homology was constructed by Rozansky and Witten using a compact hyperk\"ahler manifold. A variation of this construction utilizing holomorphic vector bundles over the manifold gives a weight system on chord diagrams. We investigate these weights from the hyperk\"ahler geometry point of view.


title: Trees and Branches in Banach Spaces

abstract: An infinite dimensional notion of asymptotic structure is considered. This notion is developed in terms of trees and branches on Banach spaces. Every countably infinite countably branching tree $\mathcal T$ of a certain type on a space X is presumed to have a branch with some property. It is shown that then X can be embedded into a space with an FDD $(E_i)$ so that all normalized sequences in X which are almost a skipped blocking of $(E_i)$ have that property. As an application of our work we prove that if X is a separable reflexive Banach space and for some $1<p<\infty$ and $C<\infty$ every weakly null tree $\mathcal T$ on the sphere of X has a branch C-equivalent to the unit vector basis of $\ell_p$, then for all $\epsilon>0$, there exists a finite codimensional subspace of X which $C^2+\epsilon$ embeds into the $\ell_p$ sum of finite dimensional spaces.


title: Tournament Sequences and Meeussen Sequences

abstract: A "tournament sequence" is an increasing sequence of positive integers (t_1,t_2,...) such that t_1=1 and t_{i+1} <= 2 t_i. A "Meeussen sequence" is an increasing sequence of positive integers (m_1,m_2,...) such that m_1=1, every nonnegative integer is the sum of a subset of the {m_i}, and each integer m_i-1 is the sum of a unique such subset. We show that these two properties are isomorphic. That is, we present a bijection between tournament and Meeussen sequences which respects the natural tree structure on each set. We also present an efficient technique for counting the number of tournament sequences of length n, and discuss the asymptotic growth of this number. The counting technique we introduce is suitable for application to other well-behaved counting problems of the same sort where a closed form or generating function cannot be found.


title: A proof of the weak (1,1) inequality for singular integrals with non doubling measures based on a Calderon-Zygmund decomposition

abstract: Given a doubling measure $\mu$ on $R^d$, it is a classical result of harmonic analysis that Calderon-Zygmund operators which are bounded in $L^2(\mu)$ are also of weak type (1,1). Recently it has been shown that the same result holds if one substitutes the doubling condition on $\mu$ by a mild growth condition on $\mu$. In this paper another proof of this result is given. The proof is very close in spirit to the classical argument for doubling measures and it is based on a new Calderon-Zygmund decomposition adapted to the non doubling situation.


title: Quantization of bending deformations of polygons in Euclidean space, hypergeometric integrals and the Gassner representation

abstract: We quantize the bending deformations of n-gon linkages by linearizing the bending fields at a degenerate n-gon to get a representation of the Malcev Lie algebra of the pure braid group. This linearization yields a flat connection on the space of n distinct points on the complex line. We show that the monodromy is (essentially) the Gassner representation.


title: Multipartitions, Generalized Durfee Squares and Affine Lie Algebra Characters

abstract: We give some higher dimensional analogues of the Durfee square formula and point out their relation to dissections of multipartitions. We apply the results to write certain affine Lie algebra characters in terms of Universal Chiral Partition Functions.


title: Normal CR structures on compact 3-manifolds

abstract: We study normal CR compact manifolds in dimension 3. For a choice of a CR Reeb vector field, we associate a Sasakian metric on them, and we classify those metrics. As a consequence, the underlying manifolds are topologically finite quotiens of the 3-sphere or of a circle bundle over a Riemann surface of positive genus. In the latter case, we prove that their CR automorphisms group is a finite extension of U(1), and we classify the normal CR structures on these manifolds.


title: Null-geodesics in complex conformal manifolds and the LeBrun correspondence

abstract: In the complex-Riemannian framework we show that a conformal manifold containing a compact, simply-connected, null-geodesic is conformally flat. In dimension 3 we use the LeBrun correspondence, that views a conformal 3-manifold as the conformal infinity of a selfdual four-manifolds. We also find a relation between the conformal invariants of the conformal infinity and its ambient.


title: Orthogonal Polynomials and Generalized Oscillator Algebras

abstract: For any orthogonal polynomials system on real line we construct an appropriate oscillator algebra such that the polynomials make up the eigenfunctions system of the oscillator hamiltonian. The general scheme is divided into two types: a symmetric scheme and a non-symmetric scheme. The general approach is illustrated by the examples of the classical orthogonal polynomials: Hermite, Jacobi and Laguerre polynomials. For these polynomials we obtain the explicit form of the hamiltonians, the energy levels and the explicit form of the impulse operators.


title: Bifurcating Continued Fractions

abstract: The notion of 'bifurcating continued fractions' is introduced. Two coupled sequences of non-negative integers are obtained from an ordered pair of positive real numbers in a manner that generalizes the notion of continued fractions. These sequences enable simple representations of roots of cubic equations. In particular, remarkably simple and elegant 'bifurcating continued fraction' representations of Tribonacci and Moore numbers, the cubic variations of the 'golden mean', are obtained. This is further generalized to associate m non-negative integer sequences with a set of m given real numbers so as to provide simple 'bifurcating continued fraction' representation of roots of polynomial equations of degree m+1.


title: Connections on locally trivial quantum principal fibre bundles

abstract: Following the approach of Budzy\'nski and Kondracki, we define covariant differential algebras and connections on locally trivial quantum principal fibre bundles. We also consider covariant derivatives, connection forms and curvatures and explore the relations between these notions. As an example, a U(1) quantum principal bundle over a glued quantum sphere and a connection in this bundle is constructed. This connection may be interpreted as a q-deformed Dirac monopole.


title: Locally trivial quantum vector bundles and associated vector bundles

abstract: We define locally trivial quantum vector bundles (QVB) and QVB associated to locally trivial quantum principal fibre bundles. There exists a differential structure on the associated vector bundle coming from the differential structure on the principal bundle, which allows to define connections on the associated vector bundle associated to connections on the principal bundle.


title: Gauge transformations on locally trivial quantum principal fibre bundles

abstract: If P, B, H are the algebras of the total space, the base space, and the structure group of a locally trivial principal fibre bundle (QPFB), left (right) gauge transformations are defined as automorphisms of the left (right) B-module P which are adapted to the coaction of the Hopf algebra H and to the covering related to the local trivializations. Covariant derivatives on a QPFB are always transformed into covariant derivatives. This is true for connections only for special choices of the differential structure on H and/or if one restricts to algebra automorphisms. There are analogues of the classical formulas relating local connection forms and their gauge transforms.


title: Surgeries on periodic links and homology of periodic 3-manifolds

abstract: We show that a closed orientable 3-manifold M admits an action of Z_p with fixed point set S^1 iff M can be obtained as the result of surgery on a p-periodic framed link L and Z_p acts freely on the components of L. We prove a similar theorem for free Z_p-actions. As an interesting application, we prove the following, rather unexpected result: for any M as above and for any odd prime p, H_1(M, Z_p)\ne Z_p. We also prove a similar criterion of 2-periodicity for rational homology 3-spheres.


title: Isogeny classes of abelian varieties with no principal polarizations

abstract: We provide a simple method of constructing isogeny classes of abelian varieties over certain fields $k$ such that no variety in the isogeny class has a principal polarization. In particular, given a field $k$, a Galois extension $\ell$ of $k$ of odd prime degree $p$, and an elliptic curve $E$ over $k$ that has no complex multiplication over $k$ and that has no $k$-defined $p$-isogenies to another elliptic curve, we construct a simple $(p-1)$-dimensional abelian variety $X$ over $k$ such that every polarization of every abelian variety isogenous to $X$ has degree divisible by $p^2$. We note that for every odd prime $p$ and every number field $k$, there exist $\ell$ and $E$ as above. We also provide a general framework for determining which finite group schemes occur as kernels of polarizations of abelian varieties in a given isogeny class. Our construction was inspired by a similar construction of Silverberg and Zarhin; their construction requires that the base field $k$ have positive characteristic and that there be a Galois extension of $k$ with a certain non-abelian Galois group. Note: Theorem 3.2 in this paper is incorrect. The current version of the paper includes comments explaining the mistake.


title: Entropy-driven phase transitions in multitype lattice gas models

abstract: In multitype lattice gas models with hard-core interaction of Widom--Rowlinson type, there is a competition between the entropy due to the large number of types, and the positional energy and geometry resulting from the exclusion rule and the activity of particles. We investigate this phenomenon in four different models on the square lattice: the multitype Widom-Rowlinson model with diamond-shaped resp. square-shaped exclusion between unlike particles, a Widom-Rowlinson model with additional molecular exclusion, and a continuous-spin Widom-Rowlinson model. In each case we show that this competition leads to a first-order phase transition at some critical value of the activity, but the number and character of phases depend on the geometry of the model. Our technique is based on reflection positivity and the chessboard estimate.


title: On the Extension of B. Sz.-Nagy's Dilation Theorem to Linear Pencils of Operators

abstract: The explicit constructions of minimal isometric, and minimal unitary dilations of an arbitrary linear pencil of operators $T(\lambda)=T_0+\lambda T_1$ consisting of contractions on a separable Hilbert space for $|\lambda |=1$, which generalize the classical constructions (the case $T_1=0$), are presented. In contrast to the classical case these dilations are essentially non-unique.


title: Formal biholomorphic maps of real analytic hypersurfaces

abstract: Let f : (M,p)\to (M',p') be a formal biholomorphic mapping between two germs of real analytic hypersurfaces in \C^n, p'=f(p). Assuming the source manifold to be minimal at p, we prove the convergence of the so-called reflection function associated to f. As a consequence, we derive the convergence of formal biholomorphisms between real analytic minimal holomorphically nondegenerate hypersurfaces. Related results on partial convergence of formal biholomorphisms are also obtained.


title: Some Comments on Categories, Particles and Interactions

abstract: An algebraic formalism for the study of interacting particle systems is developed. Particle processes are described in terms of the category theory. The problem for the unique description of these processes is discussed. Categories relevant for this subject are described. The concept of generalized transmutations of interacting particle systems is considered. The connection with a system with some generalized statistics is explained.


title: Interpolation in ortholattices

abstract: If L is a complete ortholattice, f any partial function from L^n to L, then there is a complete ortholattice L* containing L as a subortholattice, and an ortholattice polynomial with coefficients in L* which represents f on L^n. Iterating this construction long enough yields a complete ortholattice in which every function can be interpolated by a polynomial on any set of small enough cardinality.


title: Quadratic-linar algebras associated with factorizations of noncommutative polynomials and noncommutative differential polynomials

abstract: This is the first of series of talks presented at a permanent Rutgers workshop on noncommutative algebra and geometry. We study here quadratic and quadratic-linear algebras defined by factorizations of noncommutative polynomials and differential polynomials. Such algebras posses a natural derivation and give us a new understanding of a nature of noncommutative symmetric functions.


title: Polynomials on Schreier's space

abstract: We introduce a weakened version of the Dunford-Pettis property, and give examples of Banach spaces with this property. In particular, we show that every closed subspace of Schreier's space $S$ enjoys it. As an application, we characterize the weak polynomial convergence of sequences, show that every closed subspace of $S$ has the polynomial Dunford-Pettis property of Bistr\"om et al. and give other polynomial properties of $S$.


title: On the convergence of formal mappings

abstract: Let f : (M,p)\to (M',p') be a formal (holomorphic) nondegenerate map, i.e. with formal holomorphic Jacobian J_f not identically vanishing, between two germs of real analytic generic submanifolds in \C^n, p'=f(p). Assuming the target manifold to be real algebraic, and the source manifold to be minimal at p\in M in the sense of Tumanov, we prove the convergence of the so-called reflection mapping associated to f. From this, we deduce the convergence of such mappings from minimal real analytic generic submanifolds onto real algebraic holomorphically nondegenerate ones, as well as related results on partial convergence of such maps. For the proofs, we establish a principle of analyticity for formal CR power series. This principle can be used to reobtain the convergence of formal mappings between real analytic CR manifolds under a standard nondegeneracy condition.


title: Complemented subspaces of locally convex direct sums of Banach spaces

abstract: We show that a complemented subspace of a locally convex direct sum of an uncountable collection of Banach spaces is a locally convex direct sum of complemented subspaces of countable subsums. As a corollary we prove that a complemented subspace of a locally convex direct sum of arbitrary collection of $\ell_{1}(\Gamma)$-spaces is isomorphic to a locally convex direct sum of $\ell_{1}(\Gamma)$-spaces.


title: Complemented subspaces of products of Banach spaces

abstract: We show that complemented subspaces of uncountable products of Banach spaces are products of complemented subspaces of countable subproducts.


title: Seiberg-Witten invariants of non-simple type and Einstein metrics

abstract: We construct examples of four dimensional manifolds with Spin$^c$-structures, whose moduli spaces of solutions to the Seiberg-Witten equations, represent a non-trivial bordism class of positive dimension, i.e. the Spin$^c$-structures are not induced by almost complex structures. As an application, we show the existence of infinitely many non-homeomorphic compact oriented 4-manifolds with free fundamental group and predetermined Euler characteristic and signature that do not carry Einstein metrics.


title: Complementary Algorithms For Tableaux

abstract: We study four operations defined on pairs of tableaux. Algorithms for the first three involve the familiar procedures of jeu de taquin, row insertion, and column insertion. The fourth operation, hopscotch, is new, although specialised versions have appeared previously. Like the other three operations, this new operation may be computed with a set of local rules in a growth diagram, and it preserves Knuth equivalence class. Each of these four operations gives rise to an a priori distinct theory of dual equivalence. We show that these four theories coincide. The four operations are linked via the involutive tableau operations of complementation and conjugation.


title: The Flag Major Index and Group Actions on Polynomial Rings

abstract: A new extension of the major index, defined in terms of Coxeter elements, is introduced. For the classical Weyl groups of type $B$, it is equidistributed with length. For more general wreath products it appears in an explicit formula for the Hilbert series of the (diagonal action) invariant algebra.


title: Group Cohomology and Gauge Equivalence of some Twisted Quantum Doubles

abstract: Dijkgraaf, Pasquier and Roche introduced twisted quantum doubles of a finite group in the context of conformal field theory. We study equivalences that arise among the braided monoidal categories associated to these quantum doubles, especially in the commutative case. This involves a close study of the cohomology of various complexes introduced by Eilenberg-MacLane. We show among other things that an equivalence of braided monoidal categories is the same as gauge equivalence of the corresponding quantum doubles, and that an invariant for an equivalence class is given by a metabolic quadratic space.


title: Computer Algebra and Algebraic Geometry - Achievements and Perspectives

abstract: In this survey I should like to introduce some concepts of algebraic geometry and try to demonstrate the fruitful interaction between algebraic geometry and computer algebra and, more generally, between mathematics and computer science. One of the aims of this article is to show, by means of examples, the usefulness of computer algebra to mathematical research.


title: The Periodic Response of Periodically Perturbated Stochastic Systems

abstract: The paper introduces a new numerical characteristic of one dimensional stochastic systems. This quantity is a measure of minimal periodicity, can be detected in the process deep differential structure. The claim is that this new measure of stochasticity is also a well adapted characteristic for research of stochastic resonance phenomena.


title: Das Titsgebaeude von Siegelschen Modulgruppen vom Geschlecht 2

abstract: We calculate Tits buildings for certain arithmetic subgroups of Sp(4). These give information about the boundary of the corresponding moduli spaces of abelian surfaces. More pictures (in colour) and a summary of the results (in English) can be found at http://www.bath.ac.uk/~masgks/Buildings/


title: On Legendrian knots and polynomial invariants

abstract: It is proved in this note that the analogues of the Bennequin inequality which provide an upper bound for the Bennequin invariant of a Legendrian knot in the standard contact three dimensional space in terms of the lower degree in the framing variable of the HOMFLY and the Kauffman polynomials are not sharp. Furthermore, the relationships between these restrictions on the range of the Bennequin invariant are investigated, which leads to a new simple proof of the inequality involving the Kauffman polynomial.


title: Higher homotopy groups of complements of complex hyperplane arrangements

abstract: We generalize results of Hattori on the topology of complements of hyperplane arrangements, from the class of generic arrangements, to the much broader class of hypersolvable arrangements. We show that the higher homotopy groups of the complement vanish in a certain combinatorially determined range, and we give an explicit Z\pi_1-module presentation of \pi_p, the first non-vanishing higher homotopy group. We also give a combinatorial formula for the \pi_1-coinvariants of \pi_p. For affine line arrangements whose cones are hypersolvable, we provide a minimal resolution of \pi_2, and study some of the properties of this module. For graphic arrangements associated to graphs with no 3-cycles, we obtain information on \pi_2, directly from the graph. The \pi_1-coinvariants of \pi_2 may distinguish the homotopy 2-types of arrangement complements with the same \pi_1, and the same Betti numbers in low degrees.


title: Birational properties of pencils of del Pezzo surfaces of degree 1 and 2

abstract: We study the birational rigidity problem for smooth Mori fibrations on del Pezzo surfaces of degree 1 and 2. For degree 1 we obtain a complete description of rigid and non-rigid cases.


title: Polarizations on abelian varieties

abstract: The results in this paper imply that for every number field F and positive integer r, there exists an F-isogeny class of abelian varieties such that r divides the degree of every F-polarization on every abelian variety in the isogeny class.


title: On the Balazard-Saias criterion for the Riemann Hypothesis

abstract: The authors modify the Balazard-Saias criterion for the Riemann hypothesis by changing the cutoff of the Dirichlet series. They establish some asymptotic results related to the modified criterion.


title: Experimental detection of interactive phenomena and their analysis

abstract: The article is devoted to mathematical methods of experimental detection of interactive phenomena in complex systems and their analysis.


title: Hyperelliptic jacobians and modular representations

abstract: In his previous paper (Math. Res. Letters 7(2000), 123--132) the author proved that in characteristic zero the jacobian $J(C)$ of a hyperelliptic curve $C: y^2=f(x)$ has only trivial endomorphisms over an algebraic closure of the ground field $K$ if the Galois group $Gal(f)$ of the irreducible polynomial $f(x) \in K[x]$ is either the symmetric group $S_n$ or the alternating group $A_n$. Here $n>4$ is the degree of $f$. In the present paper we extend this result to the case of certain ``smaller'' Galois groups. In particular, we treat the case when $n=11$ or 12 and $Gal(f)$ is the Mathieu group $M_{11}$ or $M_{12}$ respectively. The infinite series $n=2^r+1, Gal(f)=L_2(2^r)$ and $n=2^{4r+2}+1, Gal(f)=Sz(2^{2r+1})$ are also treated.


title: Choix des signes pour la formalite de M. Kontsevich

abstract: The explicit realization of M. Kontsevich's formality on $R^d$ is the main step of the proof of formality theorem on any manifold. We present here a coherent choice of orientations and signs in order to write completely M. Kontsevich's proof for $R^d$, including all the signs appearing in the formality equation.


title: Poisson bracket, deformed bracket and gauge group actions in Kontsevich deformation quantization

abstract: We express the difference between Poisson bracket and deformed bracket for Kontsevich deformation quantization on any Poisson manifold by means of second derivative of the formality quasi-isomorphism. The counterpart on star products of the action of formal diffeomorphisms on Poisson formal bivector fields is also investigated.


title: Ensembles d'unicite pour les polynomes (Sets of Uniqueness for polynomials)

abstract: Let E be a compact set of C of positive logarithmic capacity. Let us suppose that for every polynomial $P\not=id$ we have $P^{-1}(E)\not=E$. Then for all no constant polynomials f and g such that $f^{-1}(E)=g^{-1}(E)$ we have f=g.


title: Surfaces of Albanese general type and the Severi Conjecture

abstract: In 1932 F. Severi claimed, with an incorrect proof, that every smooth minimal projective surface $S$ such that the bundle $\Omega^1_S$ is generically generated by global sections satisfies the topological inequality $2c_1^2(S)\ge c_2(S)$. According to Enriques-Kodaira classification, the above inequality is easily verified when the Kodaira dimension of the surface is $\le 1$, while for surfaces of general type it is still an open problem known as Severi conjecture. In this paper we prove Severi conjecture under the additional mild hypothesis that $S$ has ample canonical bundle. Moreover, under the same assumption, we prove that $2c_1^2(S)=c_2(S)$ if and only if $S$ is a double cover of an abelian surface.


title: Isospectral deformations of negatively curved Riemannian manifolds with boundary which are not locally isometric

abstract: To what extent does the eigenvalue spectrum of the Laplace-Beltrami operator on a compact Riemannian manifold determine the geometry of the manifold? We give examples of isospectral manifolds with different local geometry including continuous families of isospectral negatively curved manifolds with boundary as well as various pairs of manifolds. The latter illustrate that the spectrum does not determine whether a manifold with boundary has negative curvature, whether it has constant Ricci curvature, and whether it has parallel curvature tensor, and the spectrum does not determine whether a closed manifold has constant scalar curvature.


title: On the degrees of irreducible representations of Hopf algebras

abstract: Let H denote a semisimple Hopf algebra over an algebraically closed field k of characteristic 0. We show that the degree of any irreducible representation of H whose character belongs to the center of H^* must divide the dimension of H .


title: When is the Fourier transform of an elementary function elementary?

abstract: Let V be a finite dimensional vector space over a local field. Let us say that a complex function on V is elementary if it is a product of the additive character of a rational function Q on V and multiplicative characters of polynomials on V. In this paper we study when the Fourier transform of an elementary function is elementary. If Q has a nonzero Hessian, a necessary condition for this is that the Legendre transform Q_* of Q is rational. The basic example is a nondegenerate quadratic form. We study such functions Q, give examples, and find all of them such that both Q and Q_* are of the form f(x)/t, where f is a cubic form in many variables (the simplest case after quadratic forms). It turns out that this classification is closely related to Zak's classification of Severi varieties. The second half of the paper is devoted to finding and classifying elementary functions with elementary Fourier transforms when Q is a fixed function with rational Q_*. We consider the simplest case when Q is a monomial, and classify combinations of multiplicative characters that can arise. The answer (for real and complex fields) is given in terms of exact covering systems. We also describe examples related to prehomogeneous vector spaces. Finally, we consider examples over p-adic fields, and in particular give a local proof of an integral formula of D.K. that could previously be proved only by a global method.


title: A Probabilistic Approach to Conjugacy Classes in the Finite Symplectic and Orthogonal Groups

abstract: Markov chains are used to give a purely probabilistic way of understanding the conjugacy classes of the finite symplectic and orthogonal groups in odd characteristic. As a corollary of these methods one obtains a probabilistic proof of Steinberg's count of unipotent matrices and generalizations of formulas of Rudvalis and Shinoda.


title: Fourier transform over finite field and identities between Gauss sums

abstract: This is a sequel to math.AG/0003009. Here we study identities for the Fourier transform of "elementary functions" over finite field containing "exponents" of monomial rational functions. It turns out that these identities are governed by monomial identities between Gauss sums. We show that similar to the case of complex numbers such identities correspond to linear relations between certain divisors on the space of multiplicative characters.


title: Algebraic structures on quasi-primary states in superconformal algebras

abstract: The algebraic structure on the subspace of the quasi-primary vectors given by the projection of the (n) products of a conformal superalgebra is formulated. As an application the complete list of simple physical conformal superalgebras is given. The list contains a one-parameter family of superconformal algebras with 4 supercharges that is simple for general values.


title: Fonctions z\^eta des hauteurs des espaces fibr\'es

abstract: This paper is devoted to the estimation of the number of points of bounded height on fibrations in toric varieties over algebraic varieties, generalizing previous work by Strauch and the second author. Under reasonable hypotheses on ``Arakelov L-functions'' of the base, we show how to deduce a good estimate for the open subset of the total space of the unerlying fibration in torus. In passing, we improve drastically the error term for toric varieties themselves, generalizing a theorem by de la Breteche over any number field.


title: Fourier Tauberian Theorems and Applications

abstract: The main aim of the paper is to present a general version of the Fourier Tauberian theorem for monotone functions. This result, together with Berezin's inequality, allows us to obtain a refined version the Li-Yau estimate for the counting function of the Dirichlet Laplacian which implies the Li-Yau estimate itself and, at the same time, the asymptotic results obtained by the variational method.


title: Semiinfinite cohomology of Tate Lie algebras

abstract: In this note we give a definition of semiinfinite cohomology for Tate Lie algebras using the language of Differential Graded Lie algebroids with Curvature (CDG Lie algebroids).


title: Sur le morphisme de Barth

abstract: Let ${\rm F}$ be a rank-2 semi-stable sheaf on the projective plane, with Chern classes $c_{1}=0,c_{2}=n$. The curve $\beta_{\rm F}$ of jumping lines of ${\rm F}$, in the dual projective plane, has degree $n$. Let ${\rm M}_{n}$ be the moduli space of equivalence classes of semi-stables sheaves of rank 2 and Chern classes $(0,n)$ on the projective plane and ${\cal C}_{n}$ be the projective space of curves of degree $n$ in the dual projective plane. The Barth morphism $$\beta: {\rm M}_{n}\longrightarrow{\cal C}_{n}$$ associates the point $\beta_{\rm F}$ to the class of the sheaf ${\rm F}$. We prove that this morphism is generically injective for $n\geq 4.$ The image of $\beta$ is a closed subvariety of dimension $4n-3$ of ${\cal C}_{n}$; as a consequence of our result, the degree of this image is given by the Donaldson number of index $4n-3$ of the projective plane.


title: One-dimensional double Hecke algebras and Gaussians

abstract: We use one-dimensional double affine Hecke algebras to introduce q-counterparts of the Gauss integrals and new types of Gauss-Selberg sums at roots of unity.


title: Gau{\ss} Cubature for the Surface of the Unit Sphere

abstract: Gau{\ss} cubature (multidimensional numerical integration) rules are the natural generalisation of the 1D Gau{\ss} rules. They are optimal in the sense that they exactly integrate polynomials of as high a degree as possible for a particular number of points (function evaluations). For smooth integrands, they are accurate, computationally efficient formulae. The construction of the points and weights of a Gau{\ss} rule requires the solution of a system of moment equations. In 1D, this system can be converted to a linear system, and a unique solution is obtained, for which the points lie within the region of integration, and the weights are all positive. These properties help ensure numerical stability, and we describe the rules as `good'. In the multidimensional case, the moment equations are nonlinear algebraic equations, and a solution is not guaranteed to even exist, let alone be good. The size and degree of the system grow with the degree of the desired cubature rule. Analytic solution generally becomes impossible as the degree of the polynomial equations to be solved goes beyond 4, and numerical approximations are required. The uncertainty of the existence of solutions, coupled with the size and degree of the system makes the problem daunting for numerical methods. The construction of Gau{\ss} rules for (fully symmetric) $n$-dimensional regions is easily specialised to the case of $U_3$, the unit sphere in 3D. Despite the problems described above, for degrees up to 17, good Gau{\ss} rules for $U_3$ have been constructed/discovered.


title: Logarithmic Kodaira-Akizuki-Nakano vanishing and Arakelov-Parshin boundedness for singular varieties

abstract: The article has two parts. The first part is devoted to proving a singular version of the logarithmic Kodaira-Akizuki-Nakano vanishing theorem of Esnault and Viehweg. This is then used to prove other vanishing theorems. In the second part these vanishing theorems are used to prove an Arakelov-Parshin type boundedness result for families of canonically polarized varieties with rational Gorenstein singularities.


title: Orlicz-Pettis polynomials on Banach spaces

abstract: We introduce the class of Orlicz-Pettis polynomials between Banach spaces, defined by their action on weakly unconditionally Cauchy series. We give a number of equivalent definitions, examples and counterexamples which highlight the differences between these polynomials and the corresponding linear operators.


title: Band description of knots and Vassiliev invariants

abstract: In 1993 K. Habiro defined $C_k$-move of oriented links and around 1994 he proved that two oriented knots are transformed into each other by $C_k$-moves if and only if they have the same Vassiliev invariants of order $\leq k-1$. In this paper we define Vassiliev invariant of type $(k_1,...,k_l)$, and show that, for $k=k_1+...+k_l$, two oriented knots are transformed into each other by $C_k$-moves if and only if they have the same Vassiliev invariants of type $(k_1,...,k_l)$. We introduce a concept ` band description of knots' and give a diagram-oriented proof of this theorem. When $k_1=...=k_l=1$, the Vassiliev invariant of type $(k_1,...,k_l)$ coincides with the Vassiliev invariant of order $\leq l-1$ in the usual sense. As a special case, we have Habiro's theorem stated above.


title: Long Range Scattering and Modified Wave Operators for some Hartree Type Equations III. Gevrey spaces and low dimensions

abstract: We study the theory of scattering for a class of Hartree type equations with long range interactions in arbitrary space dimension n > or = 1, including the case of Hartree equations with time dependent potential V(t,x) = kappa t^(mu - gamma) |x|^{- mu} with 0 < gamma < or =1 and 0 < mu < n.This includes the case of potential V(x) = kappa |x|^(-gamma) and can be extended to the limiting case of nonlinear Schr"odinger equations with cubic nonlinearity kappa t^(n- gamma) u|u|^2.Using Gevrey spaces of asymptotic states and solutions,we prove the existence of modified local wave operators at infinity with no size restriction on the data and we determine the asymptotic behaviour in time of solutions in the range of the wave operators,thereby extending the results of previous papers (math.AP/9807031 and math.AP/9903073) which covered the range 0 < gamma < or = 1, but only 0 < mu < or = n-2, and were therefore restricted to space dimension n>2.


title: Poisson sigma models and symplectic groupoids

abstract: We consider the Poisson sigma model associated to a Poisson manifold. The perturbative quantization of this model yields the Kontsevich star product formula. We study here the classical model in the Hamiltonian formalism. The phase space is the space of leaves of a Hamiltonian foliation and has a natural groupoid structure. If it is a manifold then it is a symplectic groupoid for the given Poisson manifold. We study various families of examples. In particular, a global symplectic groupoid for a general class of two-dimensional Poisson domains is constructed.

categories: math.SG hep-ph hep-th math-ph math.MP math.QA


title: Brane Solitons and Hypercomplex Structures

abstract: The investigation of strings and M-theory involves the understanding of various BPS solitons which in a certain approximation can be thought of as solutions of ten- and eleven-dimensional supergravity theories. These solitons have a brane or a intersecting brane interpretation, saturate a bound and are associated with parallel spinors with respect to a connection of the spin bundle of spacetime. A class of intersecting brane configurations is examined and it is shown that the geometry of spacetime is hyper-K\"ahler with torsion. A relation between these hyper-K\"ahler geometries with torsion and quaternionic calibrations is also demonstrated.


title: Zeta functions and 'Kontsevich invariants' on singular varieties

abstract: Let X be a nonsingular algebraic variety in characteristic zero. To an effective divisor on X Kontsevich has associated a certain 'motivic integral', living in a completion of the Grothendieck ring of algebraic varieties. He used this invariant to show that birational Calabi-Yau varieties have the same Hodge numbers. Then Denef and Loeser introduced the motivic (Igusa) zeta function, associated to a regular function on X, which specializes to both the classical p-adic Igusa zeta function and the topological zeta function, and also to Kontsevich's invariant. This paper treats a generalization to singular varieties. Batyrev already considered such a 'Kontsevich invariant' for log terminal varieties (on the level of Hodge polynomials instead of in the Grothendieck ring), and previously we introduced a motivic zeta function on normal surface germs. Here on any Q-Gorenstein variety X we associate a motivic zeta function and a 'Kontsevich invariant' to effective Q-Cartier divisors on X whose support contains the singular locus of X.


title: The compression theorem II: directed embeddings

abstract: This is the second of three papers about the Compression Theorem. We give proofs of Gromov's theorem on directed embeddings [M Gromov, Partial differential relations, Springer--Verlag (1986); 2.4.5 C'] and of the Normal Deformation Theorem [The compression theorem I; 4.7], arxiv:math.GT/9712235.


title: Proper forcing and $L({\mathbb R})$

abstract: We present two ways in which the model $L({\mathbb R})$ is canonical assuming the existence of large cardinals. We show that the theory of this model, with {\em ordinal} parameters, cannot be changed by small forcing; we show further that a set of ordinals in $V$ cannot be added to $L({\mathbb R})$ by small forcing. The large cardinal needed corresponds to the consistency strength of $AD^{L({\mathbb R})}$; roughly $\omega$ Woodin cardinals.


title: Hodge integrals and Hurwitz numbers via virtual localization

abstract: Ekedahl, Lando, Shapiro, and Vainshtein announced a remarkable formula expressing Hurwitz numbers (counting covers of the projective line with specified simple branch points, and specified branching over one other point) in terms of Hodge integrals. We give a proof of this formula using virtual localization on the moduli space of stable maps, and describe how the proof could be simplified by the proper algebro-geometric definition of a "relative space".


title: A Hodge Theorem for Noncompact Manifolds

abstract: If M is a riemannian manifold, then the inclusion of the complex of coclosed harmonic forms into the de Rham complex induces a linear isomorphism in cohomology. If M has at most countably many connected components, this linear isomorphism is a Frechet isomorphism.


title: On zeros of solutions of linear differential systems

abstract: An approach is proposed for bounding the number of zeros that solutions of linear differential systems with polynomial coefficients may have. A bound is obtained in a special case which improves upon currently existing.


title: Frobenius-Schur functions: summary of results

abstract: We introduce and study a family of inhomogeneous symmetric functions which we call the Frobenius-Schur functions. These functions are indexed by partitions and differ from the conventional Schur functions in lower terms only. Our interest in these new functions comes from the fact that they provide an explicit expression for the dimension of a skew Young diagram in terms of the Frobenius coordinates. This is important for the asymptotic theory of the characters of the symmetric groups. Our main result is a surprisingly simple determinantal expression of the Frobenius-Schur functions in terms of the conventional Schur functions. Other results include certain generating series, the Giambelli formula, vanishing properties and interpolation, a combinatorial formula (representation in terms of tableaux), and a Sergeev-Pragacz-type formula. Actually, we deal with a wider class of inhomogeneous symmetric functions which we call multiparameter Schur functions. These functions depend on an arbitrary doubly infinite sequence of parameters and interpolate between the Frobenius--Schur functions and the conventional Schur functions. This paper contains the statements of the results and the main formulas. Proofs will be given in an expanded version of the paper which will be posted in the arXiv.


title: Rigidity of measurable structure for Z^d-actions by automorphisms of a torus

abstract: We show that for certain classes of actions of Z^d, d >= 2, by automorphisms of the torus any measurable conjugacy has to be affine, hence measurable conjugacy implies algebraic conjugacy; similarly any measurable factor is algebraic, and algebraic and affine centralizers provide invariants of measurable conjugacy. Using the algebraic machinery of dual modules and information about class numbers of algebraic number fields we consruct various examples of Z^d-actions by Bernoulli automorphisms whose measurable orbit structure is rigid, including actions which are weakly isomorphic but not isomorphic. We show that the structure of the centralizer for these actions may or may not serve as a distinguishing measure-theoretic invariant.


title: Macaulay 2 and the geometry of schemes

abstract: This tutorial illustrates how to use Grayson and Stillman's computer algebra system, Macaulay2, to study schemes. The examples are taken from the homework for an algebraic geometry class given at the University of California, Berkeley in the fall of 1999. This graduate course was taught by the second author with assistance for the first author. Our choice of problems follows the material in Eisenbud and Harris' textbook, The Geometry of Schemes.


title: Invertible knot concordances and prime knots

abstract: Kirby and Lickorish showed that every knot in the 3-sphere is concordant to a prime knot, equivalently, every concordance class contains a prime knot. We prove here that their result can be strengthened: Every knot in the 3-sphere is invertibly concordant to a prime knot. A consequence is that every double concordance class contains a prime knot.


title: Branched cyclic covers and finite type invariants

abstract: This work identifies a class of moves on knots which translate to $m$-equivalences of the associated $p$-fold branched cyclic covers, for a fixed $m$ and any $p$ (with respect to the Goussarov-Habiro filtration.) These moves are applied to give a flexible (if specialised) construction of knots for which the Casson-Walker-Lescop invariant (for example) of their $p$-fold branched cyclic covers may be readily calculated, for any choice of $p$. In the second part of this paper, these operations are illustrated by some theorems concerning the relationship of knot invariants obtained from finite type three-manifold invariants, via the branched cyclic covering construction, with the finite type theory of knots.


title: Partitioning Sparse Graphs using the Second Eigenvector of their Graph Laplacian

abstract: Partitioning a graph into three pieces, with two of them large and connected, and the third a small ``separator'' set, is useful for improving the performance of a number of combinatorial algorithms. This is done using the second eigenvector of a matrix defined solely in terms of the incidence matrix, called the graph Laplacian. For sparse graphs, the eigenvector can be efficiently computed using the Lanczos algorithm. This graph partitioning algorithm is extended to provide a complete hierarchical subdivision of the graph. The method has been implemented and numerical results obtained both for simple test problems and for several grid graphs.


title: Geodesic connectedness and conjugate points in GRW spacetimes

abstract: Given two points of a Generalized Robertson-Walker spacetime, the existence, multiplicity and causal character of geodesic connecting them is characterized. Conjugate points of such geodesics are related to conjugate points of geodesics on the fiber, and Morse-type relations are obtained. Applications to bidimensional spacetimes and to GRW spacetimes satisfying the timelike convergence condition are also found.


title: Certain extensions of vertex operator algebras of affine type

abstract: We generalize Feigin and Miwa's construction of extended vertex operator (super)algebras $A_{k}(sl(2))$ for other types of simple Lie algebras. For all the constructed extended vertex operator (super)algebras, irreducible modules are classified, complete reducibility of every module is proved and fusion rules are determined modulo the fusion rules for vertex operator algebras of affine type.


title: Hard Tiling Problems with Simple Tiles

abstract: It is well-known that the question of whether a given finite region can be tiled with a given set of tiles is NP-complete. We show that the same is true for the right tromino and square tetromino on the square lattice, or for the right tromino alone. In the process, we show that Monotone 1-in-3 Satisfiability is NP-complete for planar cubic graphs. In higher dimensions, we show NP-completeness for the domino and straight tromino for general regions on the cubic lattice, and for simply-connected regions on the four-dimensional hypercubic lattice.


title: On two-parameter deformations of $osp(1|2)^(1)$

abstract: An elliptic two-parameter deformation of the (universal enveloping superalgebra of) affine Lie superalgebra $osp(1|2)^{(1)}$ is proposed in terms of free boson realization. This deformed superalgebra is shown to fit in the framework of infinite Hopf family of superalgebras, a generalization of the infinite Hopf family of algebras proposed earlier by the authors. The trigonometric and rational degenerations are briefly discussed.


title: Quantum currents in the Coset Space SU(2)/U(1)

abstract: We propose a rational quantum deformed nonlocal currents in the homogenous space $SU(2)_k/U(1)$, and in terms of it and a free boson field a representation for the Drinfeld currents of Yangian double at a general level $k=c$ is obtained. In the classical limit $\hbar \to 0$, the quantum nonlocal currents become $SU(2)_k$ parafermion, and the realization of Yangian double becomes the parafermion realization of $SU(2)_k$ current algebra.


title: Genus one 1-bridge knots and Dunwoody manifolds

abstract: In this paper we show that all 3-manifolds of a family introduced by M. J. Dunwoody are cyclic coverings of lens spaces (eventually $\bf S^3$), branched over genus one 1-bridge knots. As a consequence, we give a positive answer to the Dunwoody conjecture that all the elements of a wide subclass are cyclic coverings of $\bf S^3$ branched over a knot. Moreover, we show that all branched cyclic coverings of a 2-bridge knot belong to this subclass; this implies that the fundamental group of each branched cyclic covering of a 2-bridge knot admits a geometric cyclic presentation.


title: Between Sobolev and Poincar\'e

abstract: We establish a family of functional inequalities interpolating between the classical logarithmic Sobolev and Poincar\'e inequalities. We prove that they imply the concentration of measure phenomenon intermediate between Gaussian and exponential. Our bounds are close to optimal.


title: Spectral Properties of Non-Self-Adjoint Operators in the Semi-classical Regime

abstract: We give a spectral description of the semi-classical Schrodinger operator with a piecewise linear, complex valued potential. Moreover, using these results, we show how an arbitrarily small bounded perturbation of a non-self-adjoint operator can completely change the spectrum of the operator.


title: On the Soliton Geometry in Multidimensions

abstract: Some aspects of the multidimensional soliton geometry are considered.


title: Precise Propagation of Upper and Lower Probability Bounds in System P

abstract: In this paper we consider the inference rules of System P in the framework of coherent imprecise probabilistic assessments. Exploiting our algorithms, we propagate the lower and upper probability bounds associated with the conditional assertions of a given knowledge base, automatically obtaining the precise probability bounds for the derived conclusions of the inference rules. This allows a more flexible and realistic use of System P in default reasoning and provides an exact illustration of the degradation of the inference rules when interpreted in probabilistic terms. We also examine the disjunctive Weak Rational Monotony of System P+ proposed by Adams in his extended probability logic.


title: Irreducible Representations of Braid Groups of corank two

abstract: This paper is the first part of a series of papers aimed at improving the classification by Formanek of the irreducible representations of Artin braid groups of small dimension. In this paper we classify all the irreducible complex representations $\rho$ of Artin braid group $B_n$ with the condition $rank (\rho (\sigma_i)-1)=2$ where $\sigma_i$ are the standard generators. For $n \geq 7$ they all belong to some one-parameter family of $n$-dimensional representations.


title: Projective generation and smoothness of congruences of order 1

abstract: In this paper we give the projective generation of congruences of order 1 of r-dimensional projective spaces in P^N from their focal loci. In a natural way, this construction shows that the corresponding surfaces in the grassmannian are the Veronese surface, and rational ruled surfaces eventually with singularities. We characterize when these surfaces are smooth, recovering and generalizing a Ziv Ran's result.


title: Hydrodynamic profiles for the totally asymmetric exclusion process with a slow bond

abstract: We study a totally asymmetric simple exclusion process where jumps happen at rate one, except at the origin where the rate is lower. We prove a hydrodynamic scaling limit to a macroscopic profile described by a variational formula. The limit is valid for all values of the slow rate. The only assumption required is that a law of large numbers holds for the initial particle distribution. This includes also deterministic initial configurations. The hydrodynamic description contains as an unknown parameter the macroscopic rate at the origin, which is strictly larger than the microscopic slow rate. The limit is proved by the variational coupling method.


title: Associative triples and Yang-Baxter equation

abstract: We introduce triples of associative algebras as a tool for building solutions to the Yang-Baxter equation. It turns out that the class of R-matrices thus obtained is related to a Hecke-like condition, which is formulated for associative algebras with symmetric cyclic inner product. R-matrices for a subclass of the $A_n$-type Belavin-Drinfel'd triples are derived in this way.


title: Harmonic Splittings of Surfaces

abstract: We give a proof, using harmonic maps from disks to real trees, of Skora's theorem (Morgan-Otal (1993), Skora (1990), originally conjectured by Shalen): if G is the fundamental group of a surface of genus at least 2, then any small minimal G-action on a real tree is dual to the lift of a measured foliation. Analytic tools like the maximum principle are used to simplify the usual combinatorial topology arguments. Other analytic objects associated to a harmonic map, such as the Hopf differential and the moduli space of harmonic maps, are also introduced as tools for understanding the action of surface groups on trees.


title: Tamarkin's proof of Kontsevich formality theorem

abstract: In 1998 D. Tamarkin announced a proof of Kontsevich formality theorem based on the existence of structure of homotopy Gerstenhaber algebra in the Hochschild cochains of an associative algebra. In this note we give a detailed explanation of Tamarkin's result.


title: Towards the trace formula for convex-cocompact groups

abstract: We derive a formula for the regularized trace of operators with compact spectrum which act on the space of square integrable functions on the quotient of a semisimple Liegroup of real rank one by a convex-cocompact subgroup. The sum of normalized orbital integrals associated to the hyperbolic conjugacy classes of this subgroup is an invariant distribution on the group, and we state precise conjecture about its Fouriertransform. We apply our trace formula to resolvent kernels. This yields functional equations of Selberg zeta functions and information about their singularities. The paper leaves open several interesting questions concerning the proof of the conjecture mentioned above on the one hand (this has to do with estimating the growth of the Eisenstein series as the spectral parameter turns to infinity), and the integrality of the multiplicities and of certain residues on the other hand.


title: Projectively Equivariant Quantization Map

abstract: Let M be a manifold endowed with a symmetric affine connection $\Gamma.$ The aim of this paper is to describe a quantization map between the space of second-order polynomials on the cotangent bundle T^{*} M and the space of second-order linear differential operators, both viewed as modules over the group of diffeomorphisms and the Lie algebra of vector fields on M. This map is an isomorphism, for almost all values of certain constants, and it depend only on the projective class of the affine connection $\Gamma.$


title: On the valuation of Asian options: integral representations

abstract: This paper derives integral representations for the Black-Scholes price of arithmetic-average Asian options. Their proof is by Laplace inverting the 1992 Laplace transform of Geman-Yor using complex analytic methods. The analysis ultimately rests on the gamma function which in this sense is at the base of Asian options. The results of Geman-Yor are corrected and their validitity is extended.


title: Super-Brownian motion with reflecting historical paths

abstract: We consider super-Brownian motion whose historical paths reflect from each other, unlike those of the usual historical super-Brownian motion. We prove tightness for the family of distributions corresponding to a sequence of discrete approximations but we leave the problem of uniqueness of the limit open. We prove a few results about path behavior for processes under any limit distribution. In particular, we show that for any $\gamma>0$, a "typical" increment of a reflecting historical path over a small time interval $\Delta t$ is not greater than $(\Delta t)^{3/4 - \gamma}$.


title: On $\alpha ^{++}$-Stable Graphs

abstract: The stability number of a graph G, denoted by alpha(G), is the cardinality of a stable set of maximum size in G. A graph is well-covered if every maximal stable set has the same size. G is a Koenig-Egervary graph if its order equals alpha(G) + mu(G), where mu(G) is the cardinality of a maximum matching in G. In this paper we characterize $\alpha ^{++}$-stable graphs, namely, the graphs whose stability numbers are invariant to adding any two edges from their complements. We show that a K\"{o}nig-Egerv\'{a}ry graph is $\alpha ^{++}$-stable if and only if it has a perfect matching consisting of pendant edges and no four vertices of the graph span a cycle. As a corollary it gives necessary and sufficient conditions for $\alpha ^{++}$-stability of bipartite graphs and trees. For instance, we prove that a bipartite graph is $\alpha ^{++}$-stable if and only if it is well-covered and C4-free.


title: Quantum co-adjoint orbits of $\MD_4$-groups

abstract: Using $\star$-product on Co-adjoint orbits (K-orbits) of the $\MD_4$- groups we obtain quantum half-planes, quantum hyperbolic cylinders, quantum hyperbolic paraboloids...via Fedosov deformation quantization. From this we have corresponding unitary representations of the $\MD_4$- groups. Particularly, for groups $\G_{4,2,3(\phi)}; \G_{4,2,4}; \G_{4,3,4(\phi)}$ and $ \G_{4,4,1} $, which are neither nilpotent nor exponential, we obtain the explicit formulas.


title: Some Special Geometry in Dimension Six

abstract: We generalise the notion of contact manifold by allowing the contact distribution to have codimension two. There are special features in dimension six. In particular, we show that the complex structure on a three-dimensional complex contact manifold is determined solely by the underlying contact distribution.


title: The global indices of log Calabi-Yau varieties --A supplement to Fujino's paper: The indices of log canonical singularities--

abstract: This paper gives the all possible global indices of log Calabi-Yau 3-folds with standard coefficients on the boundaries and having lc, non-klt singularities. This follows easily from the discussion in the paper: The indices of log canonical singularities by Fujino (AG/9909035).


title: Boundary actions for affine buildings and higher rank Cuntz-Krieger algebras

abstract: Let $\G$ be a group of type rotating automorphisms of an affine building $\cB$ of type $\wt A_2$. If $\G$ acts freely on the vertices of $\cB$ with finitely many orbits, and if $\Omega$ is the (maximal) boundary of $\cB$, then $C(\Om)\rtimes \G$ is a p.i.s.u.n. $C^*$-algebra. This algebra has a structure theory analogous to that of a simple Cuntz-Krieger algebra and is the motivation for a theory of higher rank Cuntz-Krieger algebras, which has been developed by T. Steger and G. Robertson. The K-theory of these algebras can be computed explicitly in the rank two case. For the rank two examples of the form $C(\Om)\rtimes \G$ which arise from boundary actions on $\wt A_2$ buildings, the two K-groups coincide.


title: Density of integral points on algebraic varieties

abstract: We study the distribution of integral points on log varieties.


title: On the Intersection of Two Plane Curves

abstract: We study the following question: fix a sufficient general curve D of degree d in P^2, what is the least number of intersections between D and an irreducible curve of degree m? G. Xu proved this number i(d, m) is at least d - 2 for all m. This problem can be regarded as the algebraic part of Kobayashi conjecture on the hyperbolicity of P^2 D. We first improved Xu's bound with m fixed and then generalized his result to rational ruled surfaces.


title: Elementary Factors and Reduced Minors for Linear Systems over Commutative Rings

abstract: In 1994, Sule presented the necessary and sufficient conditions of the feedback stabilizability of systems over unique factorization domains in terms of elementary factors and in terms of reduced minors. Recently, Mori and Abe have generalized his theory over commutative rings. They have introduced the notion of the generalized elementary factor, which is a~generalization of the elementary factor, and have given the necessary and sufficient condition of the feedback stabilizability. In this paper, we present two generalization of the reduced minors. Using each of them, we state the necessary and sufficient condition of the feedback stabilizability over commutative rings. Further we present the relationship between the generalizations and the generalized elementary factors.


title: Every homotopy theory of simplicial algebras admits a proper model

abstract: We show that any closed model category of simplicial algebras over an algebraic theory is Quillen equivalent to a proper closed model category. By ``simplicial algebra'' we mean any category of algebras over a simplicial algebraic theory, which is allowed to be multi-sorted. The results have applications to the construction of localization model category structures.


title: Quantization of certain skew-symmetric solutions of the classical Yang-Baxter equation

abstract: An explicit quantization is given of certain skew-symmetric solutions of the classical Yang-Baxter, yielding a family of $R$-matrices which generalize to higher dimensions the Jordanian $R$-matrices. Three different approaches to their construction are given: as twists of degenerations of the Shibukawa-Ueno Yang-Baxter operators on meromorphic functions; as boundary solutions of the quantum Yang-Baxter equation; via a vertex-IRF transformation from solutions to the dynamical Yang-Baxter equation.


title: A Direct Integral Decomposition of the Wavelet Representation

abstract: In this paper we use the concept of wavelet sets as introduced by X. Dai and D. Larson, to decompose the wavelet representation of the discrete group associated to an arbitrary $n \times n$ integer dilation matrix as a direct integral of irreducible monomial representations. In so doing we generalize a result of F. Martin and A. Valette in which they show that the wavelet representation is weakly equivalent to the regular representation for the Baumslag-Solitar groups.


title: Ricci Curvature, Minimal Volumes, and Seiberg-Witten Theory

abstract: We derive new, sharp lower bounds for certain curvature functionals on the space of Riemannian metrics of a smooth compact 4-manifold with a non-trivial Seiberg-Witten invariant. These allow one, for example, to exactly compute the infimum of the L2-norm of Ricci curvature for all complex surfaces of general type. We are also able to show that the standard metric on any complex hyperbolic 4-manifold minimizes volume among all metrics satisfying a point-wise lower bound on sectional curvature plus suitable multiples of the scalar curvature. These estimates also imply new non-existence results for Einstein metrics.


title: Introduction to the Alexandru Conjecture

abstract: Is a Verma module transformed into another Verma module by a selfequivalence? The answer is affirmative and the proof suggests a notion of standard object in the category of Harish-Chandra modules that coincides often, but not always, with the usual one.


title: Statement of the Alexandru Conjecture

abstract: The Vogan Conjectures (sometimes called Kazhdan-Lusztig Conjectures) say that a certain algorithm works both on the category of BGG modules and on the category of Harish-Chandra modules. The Alexandru Conjecture tries to uncover the general property common to these two categories which makes Vogan's algorithm work.


title: A reconstruction of Euler data

abstract: We apply the mirror principle of [L-L-Y] to reconstruct the Euler data $Q=\{Q_d\}_{d\in{\tinyBbb N}\cup\{0\}}$ associated to a vector bundle $V$ on ${\smallBbb C}{\rm P}^n$ and a multiplicative class $b$. This gives a direct way to compute the intersection number $K_d$ without referring to any other Euler data linked to $Q$. Here $K_d$ is the integral of the cohomology class $b(V_d)$ of the induced bundle $V_d$ on a stable map moduli space. A package '{\tt \verb+EulerData_MP.m+}' in Maple V that carries out the actual computation is provided. For $b$ the Chern polynomial, the computation of $K_1$ for the bundle $V=T_{\ast}{\smallBbb C}{\rm P}^2$, and $K_d$, $d=1,2,3$, for the bundles ${\cal O}_{{\tinyBbb C}{\rm P}^4}(l)$ with $6\le l\le 10$ done using the code are also included.


title: Rectangular Scott-type Permanents

abstract: Let $x_1,x_2,...,x_n$ be the zeroes of a polynomial P(x) of degree n and $y_1,y_2,...,y_m$ be the zeroes of another polynomial Q(y) of degree m. Our object of study is the permanent $\per(1/(x_i-y_j))_{1\le i\le n, 1\le j\le m}$, here named "Scott-type" permanent, the case of $P(x)=x^n-1$ and $Q(y)=y^n+1$ having been considered by R. F. Scott. We present an efficient approach to determining explicit evaluations of Scott-type permanents, based on generalizations of classical theorems by Cauchy and Borchardt, and of a recent theorem by Lascoux. This continues and extends the work initiated by the first author ("G\'en\'eralisation de l'identit\'e de Scott sur les permanents," to appear in Linear Algebra Appl.). Our approach enables us to provide numerous closed form evaluations of Scott-type permanents for special choices of the polynomials P(x) and Q(y), including generalizations of all the results from the above mentioned paper and of Scott's permanent itself. For example, we prove that if $P(x)=x^n-1$ and $Q(y)=y^{2n}+y^n+1$ then the corresponding Scott-type permanent is equal to $(-1)^{n+1}n!$.


title: Loop observables for BF theories in any dimension and the cohomology of knots

abstract: A generalization of Wilson loop observables for BF theories in any dimension is introduced in the Batalin-Vilkovisky framework. The expectation values of these observables are cohomology classes of the space of imbeddings of a circle. One of the resulting theories discussed in the paper has only trivalent interactions and, irrespective of the actual dimension, looks like a 3-dimensional Chern-Simons theory.


title: Relating the Connes-Kreimer and Grossman-Larson Hopf algebras built on rooted trees

abstract: We find a relation between two Hopf algebras built on rooted trees. The first is the Connes-Kreimer Hopf algebra H_R which describes a certain type of renormalization in quantum field theory; the second is the Grossman-Larson Hopf algebra A introduced ten years ago by some "differential" and combinatorial reasons. Roughly, the relation is the following: there exists a duality between these two Hopf algebras. We study then two natural operators on A, inspired by similar ones introduced by Connes and Kreimer for H_R.


title: Gherardelli linkage and complete intersections

abstract: Our main theorem characterizes the complete intersections of codimension 2 in a projective space of dimension 3 or more over an algebraically closed field of characteristic 0 as the subcanonical and self-linked subschemes. In order to prove this theorem, we'll prove the Gherardelli linkage theorem, which asserts that a partial intersection of two hypersurfaces is subcanonical if and only if its residual intersection is, scheme-theoretically, the intersection of the two hypersurfaces with a third.


title: Indefinite theta series of signature (1,1) from the point of view of homological mirror symmetry

abstract: We apply the homological mirror symmetry for elliptic curves to the study of indefinite theta series. We prove that every such series corresponding to a quadratic form of signature (1,1) can be expressed in terms of theta series associated with split quadratic forms and the usual theta series. We also show that indefinite theta series corresponding to univalued Massey products between line bundles on elliptic curve are modular.


title: Poincare polynomials of hyperquot schemes

abstract: Hyperquot schemes are generalizations of Grothendieck's Quot scheme to partial flags. Using a Bialynicki-Birula decomposition, we obtain combinatorial data for the Betti numbers, and collect this information into the form of rational generating functions for the Poincare polynomials.


title: Representations of SU(1,1) in Non-commutative Space Generated by the Heisenberg Algebra

abstract: SU(1,1) is considered as the automorphism group of the Heisenberg algebra H. The basis in the Hilbert space K of functions on H on which the irreducible representations of the group are realized is explicitly constructed. The addition theorems are derived.


title: Loops of Lagrangian submanifolds and pseudoholomorphic discs

abstract: The main theorem of this paper asserts that the inclusion of the space of projective Lagrangian planes into the space of Lagrangian submanifolds of complex projective space induces an injective homomorphism of fundamental groups. We introduce three invariants of exact loops of Lagrangian submanifolds that are modelled on invariants introduced by Polterovich for loops of Hamiltonian symplectomorphisms. One of these is the minimal Hofer length in a given Hamiltonian isotopy class. We determine the exact values of these invariants for loops of projective Lagrangian planes. The proof uses the Gromov invariants of an associated symplectic fibration over the 2-disc with a Lagrangian subbundle over the boundary.


title: Grobner Basis Techniques for Computing Actions of K-Categories

abstract: This paper involves categories and computer science. The paper is motivated by a question which arises from two pieces of research. Firstly, the work of Brown and Heyworth which extends rewriting techniques to enable the computation of left Kan extensions over the category of sets. It is well known that left Kan extensions can be defined over categories other than Sets. Secondly, the `folklore' that rewriting theory is a special case of noncommutative Groebner basis theory. It is therefore natural to ask whether Groebner bases can provide a method for computing Kan extensions beyond the special case of rewriting. To answer this question completely, fully exploiting the computational power of Groebner basis techniques relating to Kan extensions is the ultimate aim. This paper provides a first step by showing how standard noncommutative Groebner basis procedures can be used to calculate left Kan extensions of K-category actions. In the final section of the paper a number of interesting problems arising from the work are identified.


title: 2-symmetric transformations for 3-manifolds of genus two

abstract: As previously known, all 3-manifolds of genus two can be represented by edge-coloured graphs uniquely defined by 6-tuples of integers satisfying simple conditions. The present paper describes an ``elementary transformation'' on these 6-tuples which changes the associated graph but does not change the represented manifold. This operation is a useful tool in the classification problem for 3-manifolds of genus two; in fact, it allows to define an equivalence relation on ``admissible'' 6-tuples so that equivalent 6-tuples represent the same manifold. Different equivalence classes can represent the same manifold; however, equivalence classes ``almost always'' contain infinitely many 6-tuples. Finally, minimal representatives of the equivalence classes are described.


title: Notes for a Quantum Index Theorem

abstract: We view DHR superselection sectors with finite statistics as Quantum Field Theory analogs of elliptic operators where KMS functionals play the role of the trace composed with the heat kernel regularization. We extend our local holomorphic dimension formula and prove an analogue of the index theorem in the Quantum Field Theory context. The analytic index is the Jones index, more precisely the minimal dimension, and, on a 4-dimensional spacetime, the DHR theorem gives the integrality of the index. We introduce the notion of holomorphic dimension; the geometric dimension is then defined as the part of the holomorphic dimension which is symmetric under charge conjugation. We apply the AHKT theory of chemical potential and we extend it to the low dimensional case, by using conformal field theory. Concerning Quantum Field Theory on curved spacetime, the geometry of the manifold enters in the expression for the dimension. If a quantum black hole is described by a spacetime with bifurcate Killing horizon and sectors are localizable on the horizon, the logarithm of the holomorphic dimension is proportional to the incremental free energy, due to the addition of the charge, and to the inverse temperature, hence to the surface gravity in the Hartle-Hawking KMS state. For this analysis we consider a conformal net obtained by restricting the field to the horizon (``holography''). Compared with our previous work on Rindler spacetime, this result differs inasmuch as it concerns true black hole spacetimes, like the Schwarzschild-Kruskal manifold, and pertains to the entropy of the black hole itself, rather than of the outside system. An outlook concerns a possible relation with supersymmetry and noncommutative geometry.