title: The moduli space of N=1 superspheres with tubes and the sewing operation

abstract: Within the framework of complex supergeometry and motivated by two-dimensional genus-zero holomorphic N=1 superconformal field theory, we define the moduli space of N=1 genus-zero super-Riemann surfaces with oriented and ordered half-infinite tubes, modulo superconformal equivalence. We define a sewing operation on this moduli space which gives rise to the sewing equation and normalization and boundary conditions. To solve this equation, we develop a formal theory of infinitesimal N=1 superconformal transformations based on a representation of the N=1 Neveu-Schwarz algebra in terms of superderivations. We solve a formal version of the sewing equation by proving an identity for certain exponentials of superderivations involving infinitely many formal variables. We use these formal results to give a reformulation of the moduli space, a more detailed description of the sewing operation, and an explicit formula for obtaining a canonical supersphere with tubes from the sewing together of two canonical superspheres with tubes. We give some specific examples of sewings, two of which give geometric analogues of associativity for an N=1 Neveu-Schwarz vertex operator superalgebra. We study a certain linear functional in the supermeromorphic tangent space at the identity of the moduli space of superspheres with 1+1 tubes (one outgoing tube and one incoming tube) which is associated to the N=1 Neveu-Schwarz element in an N=1 Neveu-Schwarz vertex operator superalgebra. We prove the analyticity and convergence of the infinite series arising from the sewing operation. Finally, we define a bracket on the supermeromorphic tangent space at the identity of the moduli space of superspheres with 1+1 tubes and show that this gives a representation of the N=1 Neveu-Schwarz algebra with central charge zero.


title: Cartan-decomposition subgroups of SU(2,n)

abstract: We give explicit, practical conditions that determine whether or not a closed, connected subgroup H of G = SU(2,n) has the property that there exists a compact subset C of G with CHC = G. To do this, we fix a Cartan decomposition G = K A K of G, and then carry out an approximate calculation of the intersection of KHK with A, for each closed, connected subgroup H of G. This generalizes the work of Hee Oh and Dave Witte for G = SO(2,n).


title: Singularities of variations of mixed Hodge structure

abstract: We prove that a variation of graded-polarizable mixed Hodge structure over a punctured disk with unipotent monodromy, has a limiting mixed Hodge structure at the puncture (i.e., it is admissible in the sense of [SZ]) which splits over $\R$, if and only if certain grading of the complexified weight filtration, depending smoothly on the Hodge filtration, extends across the puncture. In particular, the result exactly supplements Schmid's Theorem for pure structures, which holds for the graded variation, and gives a Hodge-theoretic condition for the relative monodromy weight filtration to exist.


title: Rademacher chaos in symmetric spaces,2

abstract: It is shown that a specific ordering of the Rademacher chaos leads to a basic sequence in a wide class of symmetric spaces on the segment [0,1]. Necessary and sufficient conditions on a such space are found for Rademacher chaos to possess the unconditionality property.


title: Critical exponents, conformal invariance and planar Brownian motion

abstract: In this review paper, we first discuss some open problems related to two-dimensional self-avoiding paths and critical percolation. We then review some closely related results (joint work with Greg Lawler and Oded Schramm) on critical exponents for two-dimensional simple random walks, Brownian motions and other conformally invariant random objects.


title: On the motive of the Hilbert scheme of points on a surface

abstract: We determine the class of the Hilbert scheme of points on a surface in the Grothendieck group of varieties. As a corollary we obtain its class in the Grothendieck group of motives. We give some applications to moduli spaces of sheaves on surfaces. The paper is related to math/0005249 of de Cataldo and Migliorini.


title: Frame formalism for the N-dimensional quantum Euclidean spaces

abstract: We sketch our recent application of a non-commutative version of the Cartan `moving-frame' formalism to the quantum Euclidean space $R^N_q$, the space which is covariant under the action of the quantum group $SO_q(N)$. For each of the two covariant differential calculi over $R^N_q$ based on the $R$-matrix formalism, we summarize our construction of a frame, the dual inner derivations, a metric and two torsion-free almost metric compatible covariant derivatives with a vanishing curvature. To obtain these results we have developed a technique which fully exploits the quantum group covariance of $R^N_q$. We first find a frame in the larger algebra $\Omega^*(R^N_q) \cocross \uqs$. Then we define homomorphisms from $R^N_q \cocross U_q^{\pm}{so(N)}$ to $R^N_q$ which we use to project this frame in $\Omega^*(R^N_q)$.


title: A Rational Surgery Formula for the LMO Invariant

abstract: We write a formula for the LMO invariant of a rational homology sphere presented as a rational surgery on a link in S^3. Our main tool is a careful use of the Aarhus integral and the (now proven) "Wheels" and "Wheeling" conjectures of B-N, Garoufalidis, Rozansky and Thurston. As steps, side benefits and asides we give explicit formulas for the values of the Kontsevich integral on the Hopf link and on Hopf chains, and for the LMO invariant of lens spaces and Seifert fibered spaces. We find that the LMO invariant does not separate lens spaces, is far from separating general Seifert fibered spaces, but does separate Seifert fibered spaces which are integral homology spheres.


title: A simple proof of Bailey's very-well-poised 6-psi-6 summation

abstract: We give elementary derivations of some classical summation formulae for bilateral (basic) hypergeometric series. In particular, we apply Gauss' 2-F-1 summation and elementary series manipulations to give a simple proof of Dougall's 2-H-2 summation. Similarly, we apply Rogers' nonterminating 6-phi-5 summation and elementary series manipulations to give a simple proof of Bailey's very-well-poised 6-psi-6 summation. Our method of proof extends M. Jackson's first elementary proof of Ramanujan's 1-psi-1 summation.


title: Perverse Cohomology and the Vanishing Index Theorem

abstract: The characteristic cycle of a complex of sheaves on a complex analytic space provides weak information about the complex; essentially, it yields the Euler characteristics of the hypercohomology of normal data to strata. We show how perverse cohomology actually allows one to extract the individual Betti numbers of the hypercohomology of normal data to strata, not merely the Euler characteristics. We apply this to the ``calculation'' of the vanishing cycles of a complex, and relate this to the work of Parusi\'nski and Brian\c{c}on, Maisonobe, and Merle on Thom's $a_f$ condition.


title: The Complex Hyperbolic Geometry of the Moduli Space of Cubic Surfaces

abstract: Recall that the moduli space of smooth (that is, stable) cubic curves is isomorphic to the quotient of the upper half plane by the group of fractional linear transformations with integer coefficients. We establish a similar result for stable cubic surfaces: the moduli space is biholomorphic to a quotient of the compex 4-ball by an explict arithmetic group generated by complex reflections. This identification gives interesting structural information on the moduli space and allows one to locate the points in complex hyperbolic 4-space corresponding to cubic surfaces with symmetry, e.g., the Fermat cubic surface. Related results, not quite as extensive, were announced in alg-geom/9709016.


title: Commutativity up to a factor of bounded operators in complex Hilbert space

abstract: We explore commutativity up to a factor, $AB=\lambda BA$, for bounded operators in a complex Hilbert space. Conditions on the possible values of the factor $\lambda$ are formulated and shown to depend on spectral properties of the operators involved. Commutativity up to a unitary factor is considered for pairs of self-adjoint operators. Examples of nontrivial realizations of such commutation relations are given.


title: On the stability of periodic 2D Euler-alpha flows

abstract: An explicit expression is obtained for the sectional curvature in the plane spanned by two stationary flows, cos(k, x) and cos(l, x). It is shown that for certain values of the wave vectors k and l the curvature becomes positive for alpha > alpha_0, where 0 < alpha_0 < 1 is of the order 1/k. This suggests that the flow corresponding to such geodesics becomes more stable as one goes from usual Eulerian description to the Euler-alpha model.


title: Integral representations and Liouville theorems for solutions of periodic elliptic equations

abstract: The paper contains integral representations for certain classes of exponentially growing solutions of second order periodic elliptic equations. These representations are the analogs of those previously obtained by S. Agmon, S. Helgason, and other authors for solutions of the Helmholtz equation. When one restricts the class of solutions further, requiring their growth to be polynomial, one arrives to Liouville type theorems, which describe the structure and dimension of the spaces of such solutions. The Liouville type theorems previously proved by M. Avellaneda and F.-H. Lin, and J. Moser and M. Struwe for periodic second order elliptic equations in divergence form are significantly extended. Relations of these theorems with the analytic structure of the Fermi and Bloch surfaces are explained.


title: Clifford Homomorphisms and Higher Spin Dirac Operators

abstract: We present a generalization of the Clifford action for other representations spaces of $Spin(n)$, which is called the Clifford homomorphism. Their properties extend to the ones for the higher spin Dirac operators on spin manifolds. In particular, we have general Bochner identities for them, and an eigenvalue estimate of a Laplace type operator on any associated bundle.


title: Holonomy and parallel transport for Abelian gerbes

abstract: In this paper we establish a one-to-one correspondence between $S^1$-gerbes with connections, on the one hand, and their holonomies, for simply connected manifolds, or their parallel transports, in the general case, on the other hand. This result is a higher-order analogue of the familiar equivalence between bundles with connections and their holonomies for connected manifolds. The holonomy of a gerbe with group $S^1$ on a simply connected manifold $M$ is a group morphism from the thin second homotopy group to $S^1$, satisfying a smoothness condition, where a homotopy between maps from $[0,1]^2$ to $M$ is thin when its derivative is of rank $\leq 2$. For the non-simply connected case, holonomy is replaced by a parallel transport functor between two monoidal Lie groupoids. The reconstruction of the gerbe and connection from its holonomy is carried out in detail for the simply connected case. Our approach to abelian gerbes with connections holds out prospects for generalizing to the non-abelian case via the theory of double Lie groupoids.


title: Vertex Algebras and Algebraic Curves

abstract: This is the text of the Bourbaki seminar that I gave on June 24, 2000.


title: On the Stability of the Standard Riemann Semigroup

abstract: We consider the dependence of the entropic solution of a hyperbolic system of conservation laws \[ \{\{array}{c} u_t + f(u)_x = 0 u(0,\cdot) = u_0 \{array} \] on the flux function f. We prove that the solution in Lipschitz continuous w.r.t.~the $C^0$ norm of the derivative of the perturbation of f. We apply this result to prove the convergence of the solution of the relativistic Euler equation to the classical limit.


title: Abelian Unipotent Subgroups of Reductive Groups

abstract: Let G be a connected reductive group defined over an algebraically closed field k of characteristic p > 0. The purpose of this paper is two-fold. First, when p is a good prime, we give a new proof of the ``order formula'' of D. Testerman for unipotent elements in G; moreover, we show that the same formula determines the p-nilpotence degree of the corresponding nilpotent elements in the Lie algebra of G. Second, if G is semisimple and p is sufficiently large, we show that G always has a faithful representation (r,V) with the property that the exponential of dr(X) lies in r(G) for each p-nilpotent X in Lie(G). This property permits a simplification of the description given by Suslin, Friedlander, and Bendel of the (even) cohomology ring for the Frobenius kernels G_d, d > 1. The previous authors already observed that the natural representation of a classical group has the above property (with no restriction on p). Our methods apply to any Chevalley group and hence give the result also for quasisimple groups with ``exceptional type'' root systems. The methods give explicit sufficient conditions on p; for an adjoint semisimple G with Coxeter number h, the condition p > 2h -2 is always good enough.


title: The Space of Kaehler metrics

abstract: Donaldson conjectured \cite{Dona96} that the space of K\"ahler metrics is geodesic convex by smooth geodesic and that it is a metric space. Following Donaldson's program, we verify the second part of Donaldson's conjecture completely and verify his first part partially. We also prove that the constant scalar curvature metric is unique in {\bf each} K\"{a}hler class if the first Chern class is either strictly negative or 0. Furthermore, if $C_1 \leq 0,$ the constant scalar curvature metric realizes the global minimum of Mabuchi energy functional; thus it provides a new obstruction for the existence of constant curvature metric: if the infimum of Mabuchi energy (taken over all metrics in a fixed K\"{a}hler class) isn't bounded from below, then there doesn't exist a constant curvature metric. This extends the work of Mabuchi and Bando\cite{Bando87}: they showed that Mabuchi energy bounded from below is a necessary condition for the existence of K\"{a}hler-Einstein metrics in the first Chern class.


title: Embeddings of rearrangement invariant spaces that are not strictly singular

abstract: We give partial answers to the following conjecture: the natural embedding of a rearrangement invariant space E into L_1([0,1]) is strictly singular if and only if G does not embed into E continuously, where G is the closure of the simple functions in the Orlicz space L_Phi with Phi(x) = exp(x^2)-1.


title: From flows and metrics to dynamics

abstract: Recall that a vector field on an n-dimensional differentiable manifold M is a mapping X defined on M with values in the tangent bundle TM that assigns to each point $x\in M$ a vector X(x) in the tangent space $T_x M$. A vector field may be interpreted alternatively as the right-hand side of an autonomous system of first-order ordinary differential equations, i.e., a flow. Now we show that any flow can be enveloped by a conservative dynamics using a semi-Riemann metric g on M. This kind of dynamics was called {\it geometric dynamics} [7]-[9]. The given vector field, the initial semi-Riemann metric, the Levi-Civita connection, and an associated (1,1)-tensor field are used to build a new geometric structure (e.g., semi-Riemann-Jacobi, semi-Riemann-Jacobi-Lagrange, semi-Finsler-Jacobi, etc) on the manifold M ensuring that all the trajectories of a geometric dynamics are pregeodesics (Lorentz-Udri\c{s}te world-force law). Implicitly, we solved a problem rised first by Poincar\'e: find a suitable geometric structure that converts the trajectories of a given vector field into geodesics.


title: Nonclassical Lagrangian Dynamics and Potential Maps

abstract: Section 1 refines the theory of harmonic and potential maps. Section 2 defines a generalized Lorentz world-force law and shows that any PDEs system of order one generates such a law in suitable geometrical structure. In other words, the solutions of any PDEs system of order one are harmonic or potential maps, if we use semi-Riemann-Lagrange structures. Section 3 formulates open problems regarding the geometry of semi-Riemann manifolds $(J^1(T,M), S_1)$, $(J^2(T,M), S_2)$, and shows that the Lorentz-Udriste world-force law is equivalent to covariant Hamilton PDEs on $(J^1(T,M), S_1)$.


title: Solutions of DEs and PDEs as Potential Maps Using First Order Lagrangians

abstract: Using parametrized curves (Section 1) or parametrized sheets (Section 3), and suitable metrics, we treat the jet bundle of order one as a semi-Riemann manifold. This point of view allows the description of solutions of DEs as pregeodesics (Section 1) and the solutions of PDEs as potential maps (Section 3), via Lagrangians of order one or via generalized Lorentz world-force laws. Implicitly, we solved a problem rised first by Poincar\'e: find a suitable geometric structure that converts the trajectories of a given vector field into geodesics (see also [6] - [11]). Section 2 and Section 3 realize the passage from the Lagrangian dynamics to the covariant Hamilton equations.


title: L-presentations and branch groups

abstract: We introduce L-presentations: group presentations given by a generating set, a set of relations and a set of substitution rules on the generating set producing more relations. We first study in full generality the structure of finitely L-presented groups, i.e. groups for which all the above sets are finite, and then show that a broad class of groups acting on rooted trees admit explicitly constructible finite L-presentations: they are the "branch" groups defined by R. Grigorchuk.


title: Neural Stabilization/Excitation Control of a High-Order Power System by Adaptive Feedback Linearization

abstract: This paper discusses the systematic design of an adaptive feedback linearizing neurocontroller for a high-order model of the synchronous machine/infinite bus power system. The power system is first modelled as an input-output nonlinear discrete-time system approximated by two neural networks. The approach allows a simple linear pole-placement controller (which is itself not a neural network) to be designed. The control law is specified such that the controller adaptively calculates an appropriate feedback linearizing control law at each sampling instant by utilizing plant parameter estimates provided by the neural system model. The control system also adapts itself on-line. This avoids the requirement for exact knowledge of the power system dynamics and full state measurement as well as other difficulties associated with implementing analytical input-output feedback linearizing control for a complex power system model. Furthermore, a departure is made from the `ad hoc' manner in which many neural controllers have been designed for power systems; the approach used here has foundations in control theoretic concepts of adaptive feedback linearization and pole-placement control design. Simulation results demonstrate the performance of this controller for a representative example of a single-machine/infinite bus power system configuration under various operational conditions.


title: The Casson-Walker-Lescop Invariant and Link Invariants

abstract: Formulas previously presented for the Casson-Walker invariant are generalized to Lescop's extension. These formulas in terms of linking numbers and surgery coefficients compute the change in Lescop's invariant under crossing changes in a framed link presenting a 3-manifold. This leads us to revisit an old formula for a coefficient of the Conway polynomial. Finally we compute Lescop's invariant of several lens spaces and deduce some values for Dedekind sums.


title: Unified description of quantum affine (super)algebras U_q(A_{1}^{(1)}) and U_q(C(2)^{(2)})

abstract: We show that the quantum affine algebra U_{q}(A_{1}^{(1)}) and the quantum affine superalgebra U_{q}(C(2)^{(2)}) admit unified description. The difference between them consists in the phase factor which is equal to 1 for U_{q}(A_{1}^{(1)}) and is equal to -1 for U_{q}(C(2)^{(2)}). We present such a description for the construction of Cartan-Weyl generators and their commutation relations, as well for the universal R-matrices.


title: Almost Hermitian Geometry on Six Dimensional Nilmanifolds

abstract: The fundamental 2-form of an invariant almost Hermitian structure on a 6-dimensional Lie group is described in terms of an action by SO(4)xU(1) on complex projective 3-space. This leads to a combinatorial description of the classes of almost Hermitian structures on the Iwasawa and other nilmanifolds.


title: Non Complete Affine Connections on Filiform Lie Groups

abstract: We give some examples of non-complete invariant affine connections on nilpotent and filiform Lie groups. This permits to describe non-nilpotent faithful representations on the model of filiform n-dimensional Lie algebras and, in particular, on the 3 dimensional Heisenberg algebra.


title: Combinatorial model categories have presentations

abstract: We show that every combinatorial model category can be obtained, up to Quillen equivalence, by localizing a model category of diagrams of simplicial sets. This says that any combinatorial model category can be built up from a category of `generators' and a set of `relations'---that is, any combinatorial model category has a presentation.


title: The Koszul complex in projective dimension one

abstract: Let $R$ be a noetherian ring and $M$ a finite $R$-module. With a linear form $\chi$ on $M$ one associates the Koszul complex $K(\chi)$. If $M$ is a free module, then the homology of $K(\chi)$ is well-understood, and in particular it is grade sensitive with respect to $\Im\chi$. In this note we investigate the case of a module $M$ of projective dimension 1 (more precisely, $M$ has a free resolution of length 1) for which the first non-vanishing Fitting ideal $\I_M$ has the maximally possible grade $r+1$, $r=\rank M$. Then $h=\grade \Im\chi\le r+1$ for all linear forms $\chi$ on $M$, and it turns out that $H_{r-i}(K(\chi))=0$ for all even $i<h$ and $H_{r-i}(K(\chi))\iso \SS^{(i-1)/2}(C)$ for all odd $i<h$ where $\SS$ denotes symmetric power and $C=\Ext_R^1(M,R)$, in other words, $C=\Cok\psi^*$ for a presentation $$ 0\to F\stackrel{\psi}{\to} G \to M\to 0. $$ Moreover, if $h\le r$, then $H_{r-h}(K(\chi))$ is neither 0 nor isomorphic to a symmetric power of $C$, so that it is justified to say that $K(\chi)$ is grade sensitive for the modules $M$ under consideration. We furthermore show that the maximally possible value $\grade \Im\chi=r+1$ can only occur in two extreme cases: (i) $r=1$ or (ii) $\rank F=1$ and $r$ is odd.


title: Universal homotopy theories

abstract: Given a small category C, we show that there is a universal way of expanding C into a model category, essentially by formally adjoining homotopy colimits. The technique of localization becomes a method for imposing `relations' into these universal gadgets. The paper develops this formalism and discusses various applications, for instance to the study of homotopy colimits, the Dwyer-Kan theory of framings, and to the homotopy theory of schemes.


title: Quantum invariants of links and new quantum field models

abstract: We propose a gauge model of quantum electrodynamics (QED) and its nonabelian generalization from which we derive knot invariants such as the Jones polynomial. Our approach is inspired by the work of Witten who derived knot invariants from quantum field theory based on the Chern-Simon Lagrangian. From our approach we can derive new knot and link invariants which extend the Jones polynomial and give a complete classification of knots and links. From these new knot invariants we have that knots can be completely classified by the power index $m$ of $TrR^{-m}$ where $R$ denotes the $R$-matrix for braiding and is the monodromy of the Knizhnik-Zamolodchikov equation. A classification table of knots can then be formed where prime knots are classified by prime integer $m$ and nonprime knots are classified by nonprime integer $m$.


title: Orbifolds and Finite Group Representations

abstract: We present our recent understanding on resolutions of Gorenstein orbifolds, which involves the finite group representation theory. We shall concern only the quotient singularity of hypersurface type. The abelian group $A_r(n)$ for $A$-type hypersurface quotient singularity of dimension $n$ is introduced. For $n=4$, the structure of Hilbert scheme of group orbits and crepant resolutions of $A_r(4)$-singularity are obtained. The flop procedure of 4-folds is explicitly constructed through the process.


title: Hyperelliptic Integrable Systems on K3 and Rational Surfaces

abstract: We show several examples of integrable systems related to special K3 and rational surfaces (e.g., an elliptic K3 surface, a K3 surface given by a double covering of the projective plane, a rational elliptic surface, etc.). The construction, based on Beauvilles's general idea, is considerably simplified by the fact that all examples are described by hyperelliptic curves and Jacobians. This also enables to compare these integrable systems with more classical integrable systems, such as the Neumann system and the periodic Toda chain, which are also associated with rational surfaces. A delicate difference between the cases of K3 and of rational surfaces is pointed out therein.


title: On the regularity of varieties having an extremal secant line

abstract: The Castelnuovo-Mumford regularity of varieties of degree r and dimension n in the r-dimensional projective space that have an extremal secant line, is at least d-r+n+1. We classify these varieties and show that their regularity is exactly d-r+n+1, as predicted by the regularity conjecture.


title: Limiting values of rational functions at the points of discontinuity

abstract: In the present article we describe a class of algebraic curves on which rational functions of two arguments may reach all their possible limiting values. We also solve a similar question for functions that can be represented as a uniform limit of a sequence of bounded rational functions.


title: Invariant Rings and Quasiaffine Quotients

abstract: We study Hilbert's fourteenth problem from a geometric point of view. Nagata's celebrated counterexample demonstrates that for an arbitrary group action on a variety the ring of invariant functions need not be isomorphic to the ring of functions of an affine variety. Nevertheless one can prove that such a ring of invariants is always isomorphic to the ring of functions on a quasi-affine variety. Conversely, for a given quasi-affine variety V there exists always an action of the additive group on some affine variety W such that the ring of functions of V is isomorphic to the ring of invariant functions on W. Thus a k-algebra occurs as invariant ring for some group acting on a k-variety iff it occurs as function ring for some quasi-affine k-variety.


title: Relative normal modes for nonlinear Hamiltonian systems

abstract: An estimate on the number of distinct relative periodic orbits around a stable relative equilibrium in a Hamiltonian system with continuous symmetry is given. This result constitutes a generalization to the Hamiltonian symmetric framework of a classical result by Weinstein and Moser on the existence of periodic orbits in the energy levels surrounding a stable equilibrium.The estimate obtained is very precise in the sense that it provides a lower bound for the number of relative periodic orbits at each prescribed energy and momentum values neighboring the stable relative equilibrium in question and with any prefixed (spatiotemporal) isotropy subgroup. Moreover, it is easily computable in particular examples. It is interesting to see how in our result the existence of non trivial relative periodic orbits requires (generic) conditions on the higher order terms of the Taylor expansion of the Hamiltonian function, in contrast with the purely quadratic requirements of the Weinstein--Moser Theorem, which emphasizes the highly non linear character of the relatively periodic dynamical objects.


title: The dynamics around stable and unstable Hamiltonian relative equilibria

abstract: For a symmetric Hamiltonian system, lower bounds for the number of relative equilibria surrounding stable and formally unstable relative equilibria on nearby energy levels are given.


title: Some details of proofs of theorems related to the quantum dynamical Yang-Baxter equation

abstract: This paper gives some further details of proofs of some theorems related to the quantum dynamical Yang-Baxter equation. This mainly expands proofs given in "Lectures on the dynamical Yang-Baxter equation" by P. Etingof and O. Schiffmann, math.QA/9908064. This concerns the intertwining operator, the fusion matrix, the exchange matrix and the difference operators. The last part expands proofs given in "Traces of intertwiners for quantum groups and difference equations, I" by P. Etingof and A. Varchenko, math.QA/9907181. This concerns the dual Macdonald-Ruijsenaars equations. This paper does not claim originality, priority or completeness. It is meant as a service to whoever may take profit of it.


title: Vanishing of the Kontsevich integrals of the wheels

abstract: We prove that the Kontsevich integrals (in the sense of the formality theorem) of all even wheels are equal to zero. We deduce this theorem from the result of \cite{FSh} on the deformation quantization with traces.


title: Implicit integration of the TDGL equations of superconductivity

abstract: This article is concerned with the integration of the time-dependent Ginzburg--Landau (TDGL) equations of superconductivity. Four algorithms, ranging from fully explicit to fully implicit, are presented and evaluated for stability, accuracy, and compute time. The benchmark problem for the evaluation is the equilibration of a vortex configuration in a superconductor that is embedded in a thin insulator and subject to an applied magnetic field.


title: New recursions for genus-zero Gromov-Witten invariants

abstract: New relations among the genus-zero Gromov-Witten invariants of a complex projective manifold $X$ are exhibited. When the cohomology of $X$ is generated by divisor classes and classes ``with vanishing one-point invariants,'' the relations determine many-point invariants in terms of one-point invariants.


title: Some applications of localization to enumerative problems

abstract: A simple corollary of the localization theorem (due to the author and, independently, to Lian-Liu-Yau) is applied to several problems in enumerative geometry. New formulas for Schubert calculus on flag manifolds, due to Kong, and a new reconstruction theorem for genus-zero Gromov-Witten invariants, due to Bertram-Kley, are discussed, as well as some simple functorial properties of Givental's J-function. This paper will appear in the issue of the Michigan Mathematical Journal dedicated to Bill Fulton.


title: Nonfiliform characteristically nilpotent Lie algebras

abstract: We construct large families of characteristically nilpotent Lie algebras by considering deformations of the Lie algebra g_{m,m-1}^{4} of type Q_{n},and which arises as a central extension fo the filiform Lie algebra L_{n}. By studying the graded cohomology spaces we obtain that the sill algebras are isomorphic to the nilradicals of solvable, complete Lie algebra laws. For extremal cocycles these laws are also rigid. Considering supplementary cocycles we construcy, for dimensions n>8, nonfiliform characteristically nilpotent Lie algebras and show that for certain deformations these are compatible with central extensions.


title: The join of algebraic curves

abstract: Let X,Y be algebraic curves in P^n over C. We give an effective description of the join J(X,Y)\in P^n of X and Y in terms of local parametrizations of X and Y.


title: QDYBE: some explicit formulas for exchange matrix and related objects in case of sl(2), q=1

abstract: This mainly tutorial paper is intended as a somewhat larger example for parts of the theory exposed in the Lectures on the dynamical Yang-Baxter equations by P. Etingof and O. Schiffmann, math.QA/9908064. We explicitly compute the matrix entries of the intertwining operator, fusion matrix and exchange matrix associated to sl(2,R) for q=1. We also consider the weighted trace function and the dual Macdonald-Ruijsenaars equation for this particular case. As expected, the matrix entries of the exchange matrix turn out to be Racah polynomials. However, the road to their explicit formula via the fusion matrix is quick, and it also yields an interesting way to derive their orthogonality relations.


title: Left ordered groups with no nonabelian free subgroups

abstract: There has been interest recently concerning when a left ordered group is locally indicable. Bergman and Tararin have shown that not all left ordered groups are locally indicable, but all known examples contain a nonabelian free subgroup. We shall show for a large class of groups not containing a nonabelian free subgroup, that any left ordered group in this class is locally indicable. Specifically this class is the smallest class of groups containing NS and Thompson's group of piecewise linear homeomorphisms of the unit interval, and is closed under taking subgroups, quotient groups, extensions and directed unions; here NS is the class of groups which do not contain a nonabelian subsemigroup. We shall also show that certain free products with an amalgamated cyclic subgroup are left orderable.


title: Pseudo-slice knots

abstract: For n >1, if the Seifert form of a knotted 2n-1 sphere K in S^{2n+1} has a metabolizer, then the knot is slice. Casson and Gordon proved that this is false in dimension three (n = 1). However, in the three dimensional case it is true that if the metabolizer has a basis represented by a strongly slice link then K is slice. The question has been asked as to whether it is sufficient that each basis element is represented by a slice knot to assure that K is slice. For genus one knots this is of course true; here we present a genus two counterexample.


title: Some conjectures about the Hilbert series of generic ideals in the exterior algebra

abstract: We give conjectures on the "asymptotic" behaviour of the Hilbert series of (quotients by) generic ideals in the exterior algebra, as the number of variables tend to infinity. Our conjectures are supported by extensive computer calculations.


title: Geometric Aspects of Mirror Symmetry

abstract: The geometric aspects of mirror symmetry are reviewed, with an eye towards future developments. Given a mirror pair (X,Y) of Calabi-Yau threefolds, the best-understood mirror statements relate certain small corners of the moduli spaces of X and of Y. We will indicate how one might go beyond such statements, and relate the moduli spaces more globally. In fact, in the boldest version of mirror symmetry (the Strominger-Yau-Zaslow conjecture), the Calabi-Yau threefolds X and Y should be directly related to each other through a very geometric construction.


title: Projective dimension is a lattice invariant

abstract: We show that, for a free abelian group $G$ and prime power $p^\nu$, every direct sum decomposition of the group $G/p^\nu G$ lifts to a direct sum decomposition of $G$. This is the key result we use to show that, if $R$ is a commutative von Neumann regular ring, and $\mathcal{E}$ a set of idempotents in $R$, then the projective dimension of the ideal $\mathcal{E} R$ as an $R$-module is the same as the projective dimension of the ideal $\mathcal{EB}$, where $\mathcal{B}$ is the boolean algebra generated by $\mathcal{E} \cup \{1\}$. This answers a thirty year old open question of R. Wiegand. The proof is based on gaussian elimination on an $\omega \times \omega$ matrix, with adaptations enabling one to pass from the integers modulo $p^\nu$ to the integers.


title: The frozen-field approximation and the Ginzburg-Landau equations of superconductivity

abstract: The Ginzburg--Landau (GL) equations of superconductivity provide a computational model for the study of magnetic flux vortices in type-II superconductors. In this article we show through numerical examples and rigorous mathematical analysis that the GL model reduces to the frozen-field model when the charge of the Cooper pairs (the superconducting charge carriers) goes to zero while the applied field stays near the upper critical field.


title: Approximating Jones coefficients and other link invariants by Vassiliev invariants

abstract: We find approximations by Vassiliev invariants for the coefficients of the Jones polynomial and all specializations of the HOMFLY and Kauffman polynomials. Consequently, we obtain approximations of some other link invariants arising from the homology of branched covers of links.


title: Convergence of zeta functions of graphs

abstract: The $L^2$-zeta function of an infinite graph Y (defined previously in a ball around zero) has an analytic extension. For a tower of finite graphs covered by Y, the normalized zeta functions of the finite graphs converge to the $L^2$-zeta function of Y.


title: Invariant Means

abstract: Let m(a,b) and M(a,b,c) be symmetric means. We say that M is type 1 invariant with respect to m if M(m(a,c),m(a,b),m(b,c)) = M(a,b,c) for all a, b, c > 0. If m is strict and isotone, then we show that there exists a unique M which is type 1 invariant with respect to m. In particular we discuss the invariant logarithmic mean L_3, which is type 1 invariant with respect to L(a,b) = (b-a)/(log b-log a). We say that M is type 2 invariant with respect to m if M(a,b,m(a,b)) = m(a,b) for all a, b > 0. We also prove existence and uniqueness results for type 2 invariance, given the mean M(a,b,c). The arithmetic, geometric, and harmonic means in two and three variables satisfy both type 1 and type 2 invariance. There are means m and M such that M is type 2 invariant with respect to m, but not type 1 invariant with respect to m(for example, the Lehmer means). L_3 is type 1 invariant with respect to L, but not type 2 invariant with respect to L.


title: Antinomies of Mathematical Reason: The Inconsistency of PM Arithmetic and Related Systems

abstract: We give a proof of the inconsistency of PM arithmetic, classical set theory and related systems, incidentally exposing an error in Goedel's own proof of Goedel's Theorems. The inconsistency proof, that formulae of the form R and ~R occur as theorems in the PM-isomorphic system P, proceeds from a reflexive substitution instance of the first axiom of the propositional calculus (axiom II.1 of P). Goedel's formalism is used throughout.


title: Clebsch-Gordan and Racah-Wigner coefficients for a continuous series of representations of U_q(sl(2,R))

abstract: The decomposition of tensor products of representations into irreducibles is studied for a continuous family of integrable operator representations of $U_q(sl(2,R)$. It is described by an explicit integral transformation involving a distributional kernel that can be seen as an analogue of the Clebsch-Gordan coefficients. Moreover, we also study the relation between two canonical decompositions of triple tensor products into irreducibles. It can be represented by an integral transformation with a kernel that generalizes the Racah-Wigner coefficients. This kernel is explicitly calculated.


title: Density preserving functions

abstract: The property that a one to one function from the natural numbers to itself preserves the density of sub-sets is shown to be equivalent to a condition on the covering of intervals in the range of the function by images of intervals in the domain of the function.


title: D-modules on Smooth Toric Varieties

abstract: Let X be a smooth toric variety. David Cox introduced the homogeneous coordinate ring S of X and its irrelevant ideal B. Extending well-known results on projective space, Cox established the following: (1) the category of quasi-coherent sheaves on X is equivalent to the category of graded S-modules modulo B-torsion, (2) the variety X is a geometric quotient of Spec(S) V(B) by a suitable torus action. We provide the D-module version of these results. More specifically, let A denote the ring of differential operators on Spec(S). We show that the category of D-modules on X is equivalent to a subcategory of graded A-modules modulo B-torsion. Additionally, we prove that the characteristic variety of a D-module is a geometric quotient of an open subset of the characteristic variety of the associated A-module and that holonomic D-modules correspond to holonomic A-modules.


title: Output Feedback Control for Stabilizable and Incompletely Observable Nonlinear Systems

abstract: This paper introduces a new approach for output feedback stabilization of SISO systems which, unlike most of the techniques found in the literature, does not use high-gain observers and control input saturation to achieve separation between the state feedback and observer designs. Rather, we show that by using nonlinear observers, together with a projection algorithm, the same kind of separation principle is achieved for a larger class of systems, namely stabilizable and incompletely observable plants. Furthermore, this new approach avoids using knowledge of the inverse of the observability mapping, which is needed by most techniques in the literature when controlling general stabilizable systems.


title: Output Feedback Control of Jet Engine Stall and Surge Using Pressure Measurements

abstract: The problem of controlling surge and stall in jet engine compressors is of fundamental importance in preventing damage and lengthening the life of these components. In this paper, we use the Moore-Greitzer mathematical model to develop an output feedback controller for these two instabilities (only one of the three states is measurable). This problem is particularly challenging since the system is not completely observable and, hence, none of the output feedback control techniques found in the literature can be applied to recover the performance of a full state feedback controller. However, we show how to successfully solve it by using a novel output feedback approach for the stabilization of general stabilizable and incompletely observable systems.


title: Arakelov-type inequalities for Hodge bundles

abstract: We give a proof of generalizations of the classical Arakelov inequality valid for the degree $d$ of the relative canoincal bundle of a family of curves of genus $g$ over a complete curve of genus $p$ under the assumption that the monodromy around the singular fibers is unipotent. This relative canonical bundle is the (canonical extension of) the Hodge bundle and the inequality is generalized to the degrees of the Hodge bundles of a complex variation of Hodge structures.


title: Computations of Nambu-Poisson cohomologies

abstract: We try to generalize the Poisson cohomology of a 2-dimensional Poisson manifold to the n-vectors on a n-dimensional manifold. We define several cohomologies and we compute locally some of them, in the case of germs at 0 of n-vectors on a real or complex vector field of dimension n.


title: Mirror Principle IV

abstract: This is a continuation of "Mirror Principle III"(math.AG/9912038).


title: The Nonstandard Deformation U'_q(so_n) For q a Root of Unity

abstract: We describe properties of the nonstandard q-deformation U'_q(so_n) of the universal enveloping algebra U(so_n) of the Lie algebra so_n which does not coincide with the Drinfeld--Jimbo quantum algebra U_q(so_n). In particular, it is shown that there exists an isomorphism from U'_q(so_n) to U_q(sl_n) and that finite dimensional irreducible representations of U'_q(so_n) separate elements of this algebra. Irreducible representations of the algebras U'_q(so_n) for q a root of unity q^p=1 are given. The main class of these representations act on p^N-dimensional linear space (where N is a number of positive roots of the Lie algebra so_n) and are given by r=dim so_n complex parameters. Some classes of degenerate irreducible representations are also described.


title: Some irreducible free group representations in which a linear combination of the generators has an eigenvalue

abstract: We construct irreducible unitary representations of a finitely generated free group which are weakly contained in the left regular representation and in which a given linear combination of the generators has an eigenvalue. When the eigenvalue is specified, we conjecture that there is only one such representation. The representation we have found is described explicitly (modulo inversion of a certain rational map on euclidean space) in terms of a positive definite function, and also by means of a quasi-invariant probability measure on the combinatorial boundary of the group.


title: Geometry of the smooth dual of GL(n)

abstract: Let A(n) be the smooth dual of the p-adic group G=GL(n). We create on A(n) the structure of a complex algebraic variety. There is a morphism of A(n) onto the Bernstein variety Omega G which is injective on each component of A(n). The tempered dual of G is a deformation retract of A(n). The periodic cyclic homology of the Hecke algebra of G is isomorphic to the periodised de Rham cohomology supported on finitely many components of A(n).


title: Elliptic Genera of Singular Varieties

abstract: Orbifold elliptic genus and elliptic genus of singular varieties are introduced and relation between them is studied. Elliptic genus of singular varieties is given in terms of a resolution of singularities and extends the elliptic genus of Calabi-Yau hypersurfaces in Fano Gorenstein toric varieties introduced earlier. Orbifold elliptic genus is given in terms of the fixed point sets of the action. We show that the generating function for this orbifold elliptic genus $\sum Ell_{orb}(X^n,\Sigma_n)p^n$ for symmetric groups $\Sigma_n$ acting on $n$-fold products coincides with the one proposed by Dijkgraaf, Moore, Verlinde and Verlinde. Two notions of elliptic genera are conjectured to coincide.


title: Enveloping actions and Takai duality for partial actions

abstract: We show that any continuous partial action on a topological space has a unique enveloping action, i.e. it is the restriction of a global action. In the case of C^*-algebras we prove that any partial action has an enveloping action up to Morita equivalence. The study of enveloping actions up to Morita equivalence reveals the form that Takai duality takes for partial actions.


title: Systems of linear ordinary differential equations with bounded coefficients may have very oscillating solutions

abstract: An elementary example shows that the number of zeroes of a component of a solution of a system of linear ordinary differential equations cannot be estimated through the norm of coefficients of the system alone.


title: Discreteness of spectrum for the magnetic Schr\"odinger operators. I

abstract: We provide sufficient conditions for the discreteness of spectrum for magnetic Schr\"odinger operators. They generalize the classical result by K.Friedrichs (1934) and earlier results by J.Avron, I.Herbst and B.Simon (1978), A.Dufresnoy (1983) and A.Iwatsuka (1990) which were obtained in the absence of electric field. Our conditions are formulated as conditions of growth at infinity for some effective potentials. More precise sufficient conditions are formulated by use of the Wiener capacity and extend earlier work by A.M.Molchanov (1953) and V.Kondratiev and M.Shubin (1999) who considered the case of the operator without magnetic field. These conditions become necessary and sufficient in case when there is no magnetic field and the electric potential is semi-bounded below.


title: Host Algebras

abstract: A host algebra generalises the concept of a group algebra as follows. Let F be a unital C*-algebra, and let S_0 be a proper subset of its states within which one wants to keep the analysis (e.g. F is the group algebra of a discrete group G, and S_0 is the set of states continuous w.r.t. some nondiscrete topology of G). Then a host algebra is a C*-algebra L for which we have embeddings of F and L into a larger C*-algebra E, such that the states on L extend uniquely to F, and this extension defines a norm continuous affine bijection between S_0 and the whole state space of L. The main examples (but not the only ones) are group and covariance algebras. Here we study existence questions of a host algebra for a given pair (F,S_0), we show that if a host algebra exists, we can do integral decompositions of states in S_0 in terms of other states in S_0, and we show that if one does induction of representations via host algebras one stays within the class of representations with the right continuity properties w.r.t. S_0. Moreover, if S_0 is a folium, then up to a central algebra one can always construct a host algebra, but this central algebra can be an obstruction to the existence of a host algebra. These results should be interesting to anyone who wants to construct group algebras for general topological groups, and they are also useful for quantum physics due to some selection criteria for physically acceptable states.


title: Discrete singular convolution and its application to computational electromagnetics

abstract: A new computational algorithm, the discrete singular convolution (DSC), is introduced for computational electromagnetics. The basic philosophy behind the DSC algorithm for the approximation of functions and their derivatives is studied. Approximations to the delta distribution are constructed as either bandlimited reproducing kernels or approximate reproducing kernels. A systematic procedure is proposed to handle a number of boundary conditions which occur in practical applications. The unified features of the DSC algorithm for solving differential equations are explored from the point of view of the method of weighted residuals. It is demonstrated that different methods of implementation for the present algorithm, such as global, local, Galerkin, collocation, and finite difference, can be deduced from a single starting point. Both the computational bandwidth and the accuracy of the DSC algorithm are shown to be controllable. Three example problems are employed to illustrate the usefulness, test the accuracy and explore the limitation of the DSC algorithm. A Galerkin-induced collocation approach is used for a waveguide analysis in both regular and irregular domains and for electrostatic field estimation via potential functions. Electromagnetic wave propagation in three spatial dimensions is integrated by using a generalized finite difference approach, which becomes a global-finite difference scheme at certain limit of DSC parameters. Numerical experiments indicate that the proposed algorithm is a promising approach for solving problems in electromagnetics.


title: Three alternating sign matrix identities in search of bijective proofs

abstract: This paper highlights three known identities, each of which involves sums over alternating sign matrices. While proofs of all three are known, the only known derivations are as corollaries of difficult results. The simplicity and natural combinatorial interpretation of these identities, however, suggest that there should be direct, bijective proofs.


title: Vanishing cycles and mutation

abstract: This is the writeup of a talk given at the European Congress of Mathematics, Barcelona. It considers Picard-Lefschetz theory from the Floer cohomology viewpoint.


title: Conference matrices and unimodular lattices

abstract: Conference matrices are used to define complex structures on real vector spaces. Certain lattices in these spaces become modules for rings of quadratic integers. Multiplication of these lattices by non-principal ideals yields simple constructions of further lattices including the Leech lattice.


title: About interpolation of subspaces of reaarangement invariant spaces generated by Rademacher system

abstract: The Rademacher series in rearrangement invariant function spaces "closed" to the space L_\infty are considered. In terms of interpolation theory of operators a correspondence between such spaces and spaces of coefficients generated by them is stated. It is proved that this correspondence is one-to-one. Some examples and applications are presented.


title: Miyanishi's characterization of the affine 3-space does not hold in higher dimensions

abstract: We present an example which confirms the assertion of the title.


title: Families of affine planes: the existence of a cylinder

abstract: Given a family of complex affine planes, we show that it is trivial over a Zariski open subset of the base. The proof relies upon a relative version of the contraction theorem.


title: The Gromov norm and foliations

abstract: We define a norm on the homology of a foliated manifold, which refines and majorizes the usual Gromov norm on homology. This norm depends in an upper semi-continuous way on the underlying foliation, in the geometric topology, and can therefore be used to study the question of which foliations arise as geometric limits of isotopy classes of other foliations. We show that this norm is non-trivial -- i.e. it distinguishes certain taut foliations of a given hyperbolic 3-manifold. In fact, modulo some standard conjectures, this norm should precisely detect amongst taut foliations of closed atoroidal 3-manifolds, those whose universal covers branch in both directions. A homotopy-theoretic refinement gives even more information in certain cases; in particular, we show that a taut foliation whose leaf space in the universal cover branches in at most one direction cannot be the geometric limit of a sequence of isotopies of a fixed taut foliation whose leaf space in the universal cover branches in both directions. Our technology also lets us produce examples of taut foliations which cannot be made transverse to certain geodesic triangulations of hyperbolic 3-manifolds, even after passing to a finite cover. Finally, our norm can be extended to actions of fundamental groups of manifolds on order trees, where it has similar upper semi-continuity properties.


title: Theory of Finite Pseudoalgebras

abstract: Conformal algebras, recently introduced by Kac, encode an axiomatic description of the singular part of the operator product expansion in conformal field theory. The objective of this paper is to develop the theory of ``multi-dimensional'' analogues of conformal algebras. They are defined as Lie algebras in a certain ``pseudotensor'' category instead of the category of vector spaces. A pseudotensor category (as introduced by Lambek, and by Beilinson and Drinfeld) is a category equipped with ``polylinear maps'' and a way to compose them. This allows for the definition of Lie algebras, representations, cohomology, etc. An instance of such a category can be constructed starting from any cocommutative (or more generally, quasitriangular) Hopf algebra $H$. The Lie algebras in this category are called Lie $H$-pseudoalgebras. The main result of this paper is the classification of all simple and all semisimple Lie $H$-pseudoalgebras which are finitely generated as $H$-modules. We also start developing the representation theory of Lie pseudoalgebras; in particular, we prove analogues of the Lie, Engel, and Cartan-Jacobson Theorems. We show that the cohomology theory of Lie pseudoalgebras describes extensions and deformations and is closely related to Gelfand-Fuchs cohomology. Lie pseudoalgebras are closely related to solutions of the classical Yang-Baxter equation, to differential Lie algebras (introduced by Ritt), and to Hamiltonian formalism in the theory of nonlinear evolution equations. As an application of our results, we derive a classification of simple and semisimple linear Poisson brackets in any finite number of indeterminates.


title: A splitting theorem for Kahler manifolds whose Ricci tensors have constant eigenvalues

abstract: It is proved that a compact Kahler manifold whose Ricci tensor has two distinct, constant, non-negative eigenvalues is locally the product of two Kahler-Einstein manifolds. A stronger result is established for the case of Kahler surfaces. Irreducible Kahler manifolds with two distinct, constant eigenvalues of the Ricci tensor are shown to exist in various situations: there are homogeneous examples of any complex dimension n > 1, if one eigenvalue is negative and the other positive or zero, and of any complex dimension n > 2, if the both eigenvalues are negative; there are non-homogeneous examples of complex dimension 2, if one of the eigenvalues is zero. The problem of existence of Kahler metrics whose Ricci tensor has two distinct, constant eigenvalues is related to the celebrated (still open) Goldberg conjecture. Consequently, the irreducible homogeneous examples with negative eigenvalues give rise to complete, Einstein, strictly almost Kahler metrics of any even real dimension greater than 4.


title: Integrable and Weyl modules for quantum affine sl_2

abstract: We study the universal integrable modules W_q(m) of level zero for quantum affine sl_2 and a family of maximal finite--dimensional quotients of these modules. We show that these all have dimension 2^m. Using this, we are able to realize W_q(m) as the space of invariants of a reprsentation of the Hecke algebra H_m. We also give a conjecture in the general case.


title: Approximation of *weak-to-norm continuous mappings

abstract: The purpose of this paper is to study the approximation of vector valued mappings defined on a subset of a normed space. We investigate Korovkin-type conditions under which a given sequence of linear operators becomes a so-called approximation process. First, we give a sufficient condition for this sequence to approximate the class of bounded, uniformly continuous functions. Then we present some sufficient and necessary conditions guaranteeing the approximation within the class of unbounded, *weak-to-norm continuous mappings. We also derive some estimates of the rate of convergence.


title: On The Homflypt Skein Module of S^1 x S^2

abstract: Let $k$ be a subring of the field of rational functions in $x, v, s$ which contains $x^{\pm 1}, v^{\pm 1}, s^{\pm 1}$. If $M$ is an oriented 3-manifold, let $S(M)$ denote the Homflypt skein module of $M$ over $k$. This is the free $k$-module generated by isotopy classes of framed oriented links in $M$ quotiented by the Homflypt skein relations: (1) $x^{-1}L_{+}-xL_{-}=(s-s^{-1})L_{0}$; (2) $L$ with a positive twist $=(xv^{-1})L$; (3) $L\sqcup O=(\frac{v-v^{-1}}{s-s^{-1}})L$ where $O$ is the unknot. We give two bases for the relative Homflypt skein module of the solid torus with 2 points in the boundary. The first basis is related to the basis of $S(S^1\times D^2)$ given by V. Turaev and also J. Hoste and M. Kidwell; the second basis is related to a Young idempotent basis for $S(S^1\times D^2)$ based on the work of A. Aiston, H. Morton and C. Blanchet. We prove that if the elements $s^{2n}-1$, for $n$ a nonzero integer, and the elements $s^{2m}-v^{2}$, for any integer $m$, are invertible in $k$, then $S(S^{1} \times S^2)=k$-torsion module $\oplus k$. Here the free part is generated by the empty link $\phi$. In addition, if the elements $s^{2m}-v^{4}$, for $m$ an integer, are invertible in $k$, then $S(S^{1} \times S^2)$ has no torsion. We also obtain some results for more general $k$.


title: Elliptic Genera of singular varieties, orbifold elliptic genus and chiral deRham complex

abstract: This paper surveys the authors recent work on two variable elliptic genus of singular varieties. The last section calculates a generating function for the elliptic genera of symmetric products. This generalizes the classical results of Macdonald and Zagier.


title: On automorphisms of arithmetic subgroups of unipotent groups in positive characteristic

abstract: Let F be a local field of positive characteristic, and let G be either a Heisenberg group over F, or a certain (nonabelian) two-dimensional unipotent group over F. If H is an arithmetic subgroup of G, we provide an explicit description of every automorphism of H. From this description, it follows that every automorphism of H virtually extends to a virtual automorphism of G.


title: Second order families of special Lagrangian 3-folds

abstract: A second order family of special Lagrangian submanifolds of complex m-space is a family characterized by the satisfaction of a set of pointwise conditions on the second fundamental form. For example, the set of ruled special Lagrangian submanifolds of complex 3-space is characterized by a single algebraic equation on the second fundamental form. While the `generic' set of such conditions turns out to be incompatible, i.e., there are no special Lagrangian submanifolds that satisfy them, there are many interesting sets of conditions for which the corresponding family is unexpectedly large. In some cases, these geometrically defined families can be described explicitly, leading to new examples of special Lagrangian submanifolds. In other cases, these conditions characterize already known families in a new way. For example, the examples of Lawlor-Harvey constructed for the solution of the angle conjecture and recently generalized by Joyce turn out to be a natural and easily described second order family.


title: Fate stochastic management and policy benchmark in 421, a popular game

abstract: Using game and probability theories, I study the French popular game 421, a perfect information stochastic stage game. The problem is to find strategies maximizing the probability of some expected utility. I only solve a player's round against providence, a problem of fate stochastic management: beyond the backward induction solution, bounded complexity motivates heuristic policies. For a unique goal utility, a simple optimal policy, ratchet, is obtained. Its result probabilities are compiled and used, for arbitrary utilities, as the logic of goal identification policies. Various policies appear, close to human behavior, and are exactly evaluated by solving the Kolmogorov equation.


title: Symplectic maps to projective spaces and symplectic invariants

abstract: After reviewing recent results on symplectic Lefschetz pencils and symplectic branched covers of CP^2, we describe a new construction of maps from symplectic manifolds of any dimension to CP^2 and the associated monodromy invariants. We also show that a dimensional induction process makes it possible to describe any compact symplectic manifold by a series of words in braid groups and a word in a symmetric group.


title: Dependence on the spin structure of the Dirac spectrum

abstract: The theme is the influence of the spin structure on the Dirac spectrum of a spin manifold. We survey examples and results related to this question.


title: Lie Algebroids, Holonomy and Characteristic Classes

abstract: We extend the notion of connection in order to be able to study singular geometric structures, namely, we consider a notion of connection on a Lie algebroid which is a natural extension of the usual concept of connection. Using connections, we are able to define holonomy of the orbit foliation of a Lie algebroid and prove a stability theorem. We also introduce secondary or exotic characteristic classes that generalize the modular class of a Lie algebroid.


title: Some Results on the Janowski's Starlike Functions of Complex Order

abstract: The purpose of this paper is to give exact value of the radius of starlikeness and distortion theorem, Koebe domain for the class of Janowski's starlike functions of complex order. We note that the class of Janowski's starlike functions of complex order contain many interesting subclasses of univalent functions.


title: Topological Insights from the Chinese Rings

abstract: L. Kauffman conjectured that a particular solution of the Chinese Rings puzzle is the simplest possible. We prove his conjecture by using low-dimensional topology and group theory. We notice also a surprising connection between the Chinese Rings and Habiro moves (related to Vassiliev invariants).


title: Minimal Lagrangian tori in Kahler Einstein manifolds

abstract: In this paper we use structure preserving torus actions on Kahler-Einstein manifolds to construct minimal Lagrangian submanifolds. Our main result is: Let N^2n be a Kahler-Einstein manifold with positive scalar curvature with an effective T^n-action. Then precisely one regular orbit L of the T-action is a minimal Lagrangian submanifold of N. Moreover there is an (n-1)-torus T^n-1 in T^n and a sequence of non-flat immersed minimal Lagrangian tori L_k in N, invariant under T^n-1 s.t. L_k locally converge to L (in particular the supremum of the sectional curvatures of L_k and the distance between L_k and L go to 0 as k goes to infinity.


title: Edge Effects on Local Statistics in Lattice Dimers: A Study of the Aztec Diamond (Finite Case)

abstract: We compute the probability of any local pattern at an arbitrary position in a random dimer configuration in a square grid with an Aztec-diamond boundary.


title: On the relation of Manin's quantum plane and quantum Clifford algebras

abstract: One particular approach to quantum groups (matrix pseudo groups) provides the Manin quantum plane. Assuming an appropriate set of non-commuting variables spanning linearly a representation space one is able to show that the endomorphisms on that space preserving the non-commutative structure constitute a quantum group. The non-commutativity of these variables provide an example of non-commutative geometry. In some recent work we have shown that quantum Clifford algebras --i.e. Clifford algebras of an arbitrary bilinear form-- are closely related to deformed structures as q-spin groups, Hecke algebras, q-Young operators and deformed tensor products. The natural question of relating Manin's approach to quantum Clifford algebras is addressed here. Some peculiarities are outlined and explicite computations using the Clifford Maple package are exhibited. The meaning of non-commutative geometry is re-examined and interpreted in Clifford algebraic terms.


title: Some linear Jacobi structures on vector bundles

abstract: We study Jacobi structures on the dual bundle $A^\ast$ to a vector bundle $A$ such that the Jacobi bracket of linear functions is again linear and the Jacobi bracket of a linear function and the constant function 1 is a basic function. We prove that a Lie algebroid structure on $A$ and a 1-cocycle $\phi \in \Gamma (A^\ast)$ induce a Jacobi structure on $A^\ast$ satisfying the above conditions. Moreover, we show that this correspondence is a bijection. Finally, we discuss some examples and applications.


title: Computing homomorphisms between holonomic D-modules

abstract: Let K be a subfield of the complex numbers, and let D be the Weyl algebra of K-linear differential operators on K[x_1,...,x_n]. If M and N are holonomic left D-modules we present an algorithm that computes explicit generators for the finite dimensional vector space hom_D(M,N). This enables us to answer algorithmically whether two given holonomic modules are isomorphic. More generally, our algorithm can be used to get explicit generators for ext^i_D(M,N) for any i.


title: Topological restrictions for circle actions and harmonic morphisms

abstract: Let $M^m$ be a compact oriented smooth manifold which admits a smooth circle action with isolated fixed points which are isolated as singularities as well. Then all the Pontryagin numbers of $M^m$ are zero and its Euler number is nonnegative and even. In particular, $M^m$ has signature zero. Since a non-constant harmonic morphism with one-dimensional fibres gives rise to a circle action we have the following applications: (i) many compact manifolds, for example $CP^{n}$, $K3$ surfaces, $S^{2n}\times P_g$ ($n\geq2$) where $P_g$ is the closed surface of genus $g\geq2$ can never be the domain of a non-constant harmonic morphism with one-dimensional fibres whatever metrics we put on them; (ii) let $(M^4,g)$ be a compact orientable four-manifold and $\phi:(M^4,g)\to(N^3,h)$ a non-constant harmonic morphism. Suppose that one of the following assertions holds: (1) $(M^4,g)$ is half-conformally flat and its scalar curvature is zero, (2) $(M^4,g)$ is Einstein and half-conformally flat, (3) $(M^4,g,J)$ is Hermitian-Einstein. Then, up to homotheties and Riemannian coverings, $\phi$ is the canonical projection $T^4\to T^3$ between flat tori.


title: Triple Linking of Surfaces in 4-Space

abstract: Triple linking numbers were defined for 3-component oriented surface-links in 4-space using signed triple points on projections in 3-space. In this paper we give an algebraic formulation using intersections of homology classes (or cup products on cohomology groups). We prove that spherical links have trivial triple linking numbers and that triple linking numbers are link homology invariants.


title: An excursion from enumerative goemetry to solving systems of polynomial equations with Macaulay 2

abstract: Solving a system of polynomial equations is a ubiquitous problem in the applications of mathematics. Until recently, it has been hopeless to find explicit solutions to such systems, and mathematics has instead developed deep and powerful theories about the solutions to polynomial equations. Enumerative Geometry is concerned with counting the number of solutions when the polynomials come from a geometric situation and Intersection Theory gives methods to accomplish the enumeration. We use Macaulay 2 to investigate some problems from enumerative geometry, illustrating some applications of symbolic computation to this important problem of solving systems of polynomial equations. Besides enumerating solutions to the resulting polynomial systems, which include overdetermined, deficient, and improper systems, we address the important question of real solutions to these geometric problems. The text contains evaluated Macaulay 2 code to illuminate the discussion. This is a chapter in the forthcoming book "Computations in Algebraic Geometry with Macaulay 2", edited by D. Eisenbud, D. Grayson, M. Stillman, and B. Sturmfels. While this chapter is largely expository, the results in the last section concerning lines tangent to quadrics are new.


title: Homogeneous Lorentz manifolds with simple isometry group

abstract: Let H be a closed, noncompact subgroup of a simple Lie group G, such that G/H admits an invariant Lorentz metric. We show that if G = SO(2,n), with n > 2, then the identity component of H is conjugate to the identity component of SO(1,n). Also, if G = SO(1,n), with n > 2, then the identity component of H is conjugate to the identity component of SO(1,n-1).


title: Heegaard splittings of compact 3-manifolds

abstract: An expository survey article on Heegaard splittings


title: New Non-Abelian Zeta Functions for Curves over Finite Fields

abstract: In this paper, we introduce and study two new types of non-abelian zeta functions for curves over finite fields, which are defined by using (moduli spaces of) semi-stable vector bundles and non-stable bundles. A Riemann-Weil type hypothesis is formulated for zeta functions associated to semi-stable bundles, which we think is more canonical than the other one. All this is motivated by (and hence explains in a certain sense) our work on non-abelian zeta functions for number fields.


title: Riemann-Roch, Stability and New Non-Abelian Zeta Functions for Number Fields

abstract: In this paper, we introduce a geometrically stylized arithmetic cohomology for number fields. Based on such a cohomology, we define and study new yet genuine non-abelian zeta functions for number fields, using an intersection stability.


title: Semisimple Triangular Hopf Algebras and Tannakian Categories

abstract: One of the most fundamental problems in the theory of finite- dimensional Hopf algebras is their classification over an algebraically closed field k of characteristic 0. This problem is extremely difficult, hence people restrict it to certain classes of Hopf algebras, e.g. to semisimple ones. Semisimple Hopf algebras deserve to be considered as "quantum" analogue of finite groups, but even so, the problem remains extremely hard (even in low dimensions) and very little is known. A great boost to the theory of Hopf algebras was given by Drinfeld who invented the fundamental class of (quasi)triangular Hopf algebras (A,R). Thus, it is natural to first try to classify semisimple triangular Hopf algebras (A,R) over k (i.e. R is unitary). The theory of such Hopf algebras is now essentially closed by a sequence of works by P. Etingof and the author. The key theorem in this theory states that A is obtained from a group algebra of a unique (up to isomorphism) finite group by twisting its usual comultiplication. The proof of this theorem relies on Deligne's theorem on Tannakian categories in an essentail way. The purpose of this paper is to explain the proof in full details. In particular, to discuss all the necessary background from category theory (e.g. symmetric, rigid, and Tannakian categories), and the properties of the category of representations of triangular (semisimple) Hopf algebras.


title: Foata's Bijection for Tree-Like Structures

abstract: We present bijections enumerating (k,m)-trees, k-gon trees, edge labelled (2,1)-trees, and other tree-like structures. Our constructions are based on Foata's (1971) bijection for cycle-free functions, which is simplified here.


title: On self-similar singular solutions of the complex Ginzburg-Landau equation

abstract: We address the open problem of existence of singularities for the complex Ginzburg-Landau equation. Using a combination of rigourous results and numerical computations, we describe a countable family of self-similar singularities. Our analysis includes the super-critical non-linear Schroedinger equation as a special case, and most of the described singularities are new even in that situation. We also consider the problem of stability of these singularities.


title: Discrete Hashimoto surfaces and a doubly discrete smokering flow

abstract: B\"acklund transformations for smooth and ``space discrete'' Hashimoto surfaces are discussed and a geometric interpretation is given. It is shown that the complex curvature of a discrete space curve evolves with the discrete nonlinear Schr\"odinger equation (NLSE) of Ablowitz and Ladik, when the curve evolves with the Hashimoto or smoke ring flow. A doubly discrete Hashimoto flow is derived and it is shown, that in this case the complex curvature of the discrete curve obeys Ablovitz and Ladik's doubly discrete NLSE. Elastic curves (curves that evolve by rigid motion only under the Hashimoto flow) in the discrete and doubly discrete case are shown to be the same. There is an online version of this paper, that can be viewed using any recent web browser that has JAVA support enabled. It includes two additional java applets. It can be found at http://www-sfb288.math.tu-berlin.de/Publications/online/smokeringsOnline/


title: Hopf modules and their duals

abstract: Free Hopf modules and bimodules over a bialgebra are studied with some details. In particular, we investigate a duality in the category of bimodules in this context. This gives the correspondence between Woronowicz's quantum Lie algebra and algebraic vector fields.


title: Sextics with singular points in special position

abstract: In this paper we show a Zariski pair of sextics which is not a degeneration of the original example given by Zariski. This is the first example of this kind known. The two curves of the pair have a trivial Alexander polynomial. The difference in the topology of their complements can only be detected via finer invariants or techniques. In our case the generic braid monodromies, the fundamental groups, the characteristic varieties and the existence of dihedral coverings of $\PP^2$ ramified along them can be used to distinguish the two sextics. Our intention is not only to use different methods and give a general description of them but also to bring together different perspectives of the same problem.


title: New Permanent Estimators via Non-Commutative Determinants

abstract: We introduce a new notion of the determinant, called symmetrized determinant, for a square matrix with the entries in an associative algebra $\AA$. The monomial expansion of the symmetrized determinant is obtained from the standard expansion of the commutative determinant by averaging the products of entries of the matrix in all possible orders. We show that for any fixed finite-dimensional associative algebra $\AA$, the symmetrized determinant of an $n\times n$ matrix with the entries in $\AA$ can be computed in polynomial in $n$ time (the degree of the polynomial is linear in the dimension of $\AA$). Then, for every associative algebra $\AA$ endowed with a scalar product and unbiased probability measure, we construct a randomized polynomial time algorithm to estimate the permanent of non-negative matrices. We conjecture that if $\AA=\Mat(d, {\Bbb R})$ is the algebra of $d\times d$ real matrices endowed with the standard scalar product and Gaussian measure, the algorithm approximates the permanent of a non-negative $n \times n$ matrix within $O(\gamma_d^n)$ factor, where $\lim_{d \longrightarrow +\infty} \gamma_d=1$. Finally, we provide some informal arguments why the conjecture might be true.


title: On the Classification of Finite-Dimensional Triangular Hopf Algebras

abstract: A fundamental problem in the theory of Hopf algebras is the classification and explicit construction of finite-dimensional quasitriangular Hopf algebras over C. These Hopf algebras constitute a very important class of Hopf algebras, introduced by Drinfeld (e.g. the quantum double of a Hopf algebra). However, this intriguing problem turns out to be extremely hard and it is still widely open. One can hope that resolving the problem in the triangular case would contribute to the understanding of the general case. There is no complte classification of finite-dimensional triangular Hopf algebras yet. However, the problem was solved in the semisimple case by Etingof and the author, in the minimal triangular pointed case by the author, and more generally for triangular Hopf algebras with the Chevalley property by Andruskiewitsch, Etingof and the author. The purpose of this paper is to report on all of this progress, and to explain in full details the mathematics and ideas involved in this theory. The classification in the semisimple case relies on Deligne's theorem on Tannakian categories and on Movshev's theory in an essential way. We explian Movshev's theory in details, and refer the reader to math.QA/0007147 for a detailed discussion of the first aspect. We also discuss the existence of grouplike elements in quasitriangular semisimple Hopf algebras, and the representation theory of cotriangular semisimple Hopf algebras. We conclude the paper with a list of related open problems.


title: Modelling and analysis of fractional-order regulated systems in the state space

abstract: In this paper we present the mathematical description and analysis of a fractional-order regulated system in the state space. A little historical background of our results in the analysis and synthesis of the fractional-order dynamical regulated systems is given. The methods and results of simulations of the fractional-order system described by a state space equation equivalent to three-member fractional-order differential equation with a fractional-order $PD^{\delta}$ regulator are then presented. The possibility of investigating the stability of such systems is also considered.


title: Painlev\'e equations and deformations of rational surfaces with rational double points

abstract: In this paper, we show that the B\"acklund transformations of Painlev\'e equations come from birational maps of rational surfaces constructed by Okamoto as the spaces of initial conditions. The simultaneous resolutions of rational double points of the families of rational surfaces give rise to flops which are origins of symmetry groups of Painlev\'e equation. Moreover we point out that Kodaira--Spencer theory of deformations of rational surfaces explains a geomrtric meaning of Painlev\'e equations.


title: Toward a Galoisian interpretation of homotopy theory

abstract: Given any pointed CW complex (X,x), it is well known that the fondamental group of X pointed at x is naturally isomorphic to the automorphism group of the functor which associates to a locally constant sheaf on X its fibre at x. The purpose of this work is to generalize this fact to higher homotopy. For this we introduce the (infinite) category of locally constant stacks on X, and we prove that the loop-space of endomorphisms of its fibre functor at x is naturally equivalent to the loop space of X based at x.


title: Gaussian Random Matrix Models for q-deformed Gaussian Random Variables

abstract: We construct a family of random matrix models for the q-deformed Gaussian random variables G_\mu=a_\mu+a^\star_\mu where the annihilation operators a_\mu and creation operators a^\star_\nu fulfil the q-deformed commutation relation a_\mu a^\star_\nu-q a^\star_\nu a_\mu=\Gamma_{\mu\nu}, \Gamma_{\mu\nu} is the covariance and 0<q<1 is a given number. Important feature of considered random matrices is that the joint distribution of their entries is Gaussian.


title: Twisted vertex representations via spin groups and the McKay correspondence

abstract: We establish a twisted analog of our recent work on vertex representations and the McKay correspondence. For each finite group $\Gamma$ and a virtual character of $\Gamma$ we construct twisted vertex operators on the Fock space spanned by the super spin characters of the spin wreath products $\Gamma\wr\widetilde{S}_n$ of $\Gamma$ and a double cover of the symmetric group $S_n$ for all $n$. When $\Gamma$ is a subgroup of $SL_2(\mathbb C)$ with the McKay virtual character, our construction gives a group theoretic realization of the basic representations of the twisted affine and twisted toroidal algebras. When $\Gamma$ is an arbitrary finite group and the virtual character is trivial, our vertex operator construction yields the spin character tables for $\Gamma\wr\widetilde{S}_n$.


title: Metastability and low lying spectra in reversible Markov chains

abstract: We study a large class of reversible Markov chains with discrete state space and transition matrix $P_N$. We define the notion of a set of {\it metastable points} as a subset of the state space $\G_N$ such that (i) this set is reached from any point $x\in \G_N$ without return to x with probability at least $b_N$, while (ii) for any two point x,y in the metastable set, the probability $T^{-1}_{x,y}$ to reach y from x without return to x is smaller than $a_N^{-1}\ll b_N$. Under some additional non-degeneracy assumption, we show that in such a situation: \item{(i)} To each metastable point corresponds a metastable state, whose mean exit time can be computed precisely. \item{(ii)} To each metastable point corresponds one simple eigenvalue of $1-P_N$ which is essentially equal to the inverse mean exit time from this state. The corresponding eigenfunctions are close to the indicator function of the support of the metastable state. Moreover, these results imply very sharp uniform control of the deviation of the probability distribution of metastable exit times from the exponential distribution.


title: Morse theory on graphs

abstract: Let $\Gamma$ be a finite d-valent graph and G an n-dimensional torus. An ``action'' of G on $\Gamma$ is defined by a map, $\alpha$, which assigns to each oriented edge e of $\Gamma$ a one-dimensional representation of G (or, alternatively, a weight, $\alpha_e$, in the weight lattice of G). For the assignment, $e \to \alpha_e$, to be a schematic description of a ``G-action'', these weights have to satisfy certain compatibility conditions: the GKM axioms. We attach to $(\Gamma, \alpha)$ an equivariant cohomology ring, $H_G(\Gamma)=H(\Gamma,\alpha)$. By definition this ring contains the equivariant cohomology ring of a point, $\SS(\fg^*) = H_G(pt)$, as a subring, and in this paper we will use graphical versions of standard Morse theoretical techniques to analyze the structure of $H_G(\Gamma)$ as an $\SS(\fg^*)$-module.


title: On p-symmetric Heegaard splittings

abstract: We show that every p-fold strictly-cyclic branched covering of a b-bridge link in $S^3$ admits a p-symmetric Heegaard splitting - in the sense of Birman and Hilden - of genus $g=(b-1)(p-1)$. This gives a complete converse of one of the results of the two authors. Moreover, we introduce the concept of weakly p-symmetric Heegaard splittings and prove similar results in this more general context.


title: Automorphic forms, fake monster algebras and hyperbolic reflection groups

abstract: We construct 2 families of automorphic forms related to twisted fake monster algebras and calculate their Fourier expansions. This gives a new proof of their denominator identities and shows that they define automorphic forms of singular weight. We also obtain new infinite product identities which are the denominator identities of generalized Kac-Moody superalgebras. Finally we describe the reflection groups of the root lattices of these algebras.


title: Dimensions of Prym Varieties

abstract: Given a tame Galois branched cover of curves pi: X -> Y with any finite Galois group G whose representations are rational, we compute the dimension of the (generalized) Prym variety corresponding to any irreducible representation \rho of G. This formula can be applied to the study of algebraic integrable systems using Lax pairs, in particular systems associated with Seiberg-Witten theory. However, the formula is much more general and its computation and proof are entirely algebraic.


title: G-actions on graphs

abstract: Let G be an n-dimensional torus and $\tau$ a Hamiltonian action of G on a compact symplectic manifold, M. If M is pre-quantizable one can associate with $\tau$ a representation of G on a virtual vector space, Q(M), by $\spin^{\CC}$-quantization. If M is a symplectic GKM manifold we will show that several well-known theorems about this ``quantum action'' of G: for example, the convexity theorem, the Kostant multiplicity theorem and the ``quantization commutes with reduction'' theorem for circle subgroups of G, are basically just theorems about G-actions on graphs.


title: Combinatorial formulas for products of Thom classes

abstract: Let G be a torus of dimension n > 1 and M a compact Hamiltonian G-manifold with $M^G$ finite. A circle, $S^1$, in G is generic if $M^G = M^{S^1}$. For such a circle the moment map associated with its action on M is a perfect Morse function. Let $\{ W_p^+ ; p \in M^G\}$ be the Morse-Whitney stratification of M associated with this function, and let $\tau_p^+$ be the equivariant Thom class dual to $W_p^+$. These classes form a basis of $H_G^*(M)$ as a module over $\SS(\fg^*)$ and, in particular, $$\tau_p^+ \tau_q^+ = \sum c_{pq}^r \tau_r^+$$ with $c_{pq}^r \in \SS(\fg^*)$. For manifolds of GKM type we obtain a combinatorial description of these $\tau_p^+$'s and, from this description, a combinatorial formula for $c_{pq}^r$.


title: Oscillatory integral operators with low-order degeneracies

abstract: Sharp L^2 estimates for oscillatory integral operators and Fourier integral operators associated with canonical relations having two-sided cusp or one-sided swallowtail singularities are obtained.


title: Control for a class of nonlinear systems with a time-varying structure

abstract: In this paper we present a direct adaptive control method for a class of uncertain nonlinear systems with a time-varying structure. We view the nonlinear systems as composed of a finite number of ``pieces,'' which are interpolated by functions that depend on a possibly exogenous scheduling variable. We assume that each piece is in strict feedback form, and show that the method yields stability of all signals in the closed-loop, as well as convergence of the state vector to a residual set around the equilibrium, whose size can be set by the choice of several design parameters. The class of systems considered here is a generalization of the class of strict feedback systems traditionally considered in the backstepping literature. We also provide design guidelines based on L-infinity bounds on the transient.


title: Norton's Trace Formulae for the Griess Algebra of a Vertex Operator Algebra with Larger Symmetry

abstract: Formulae expressing the trace of the composition of several (up to five) adjoint actions of elements of the Griess algebra of a vertex operator algebra are derived under certain assumptions on the action of the automorphism group. They coincide, when applied to the moonshine module $V^\natural$, with the trace formulae obtained in a different way by S.Norton, and the spectrum of idempotents related to 2A, 2B, 3A and 4A element of the Monster is determined by the representation theory of Virasoro algebra at $c=1/2$, $W_3$ algebra at $c=4/5$ or $W_4$ algebra at $c=1$. The generalization to the trace function on the whole space is also given for the composition of two adjoint actions, which can be used to compute the McKay-Thompson series for a 2A involution of the Monster.


title: Indecomposable set-theoretical solutions to the Quantum Yang-Baxter Equation on a set with prime number of elements

abstract: In this paper we show that all indecomposable nondegenerate set-theoretical solutions to the Quantum Yang-Baxter equation on a set of prime order are affine, which allows us to give a complete and very simple classification of such solutions. This result is a natural application of the general theory of set-theoretical solutions to the quantum Yang-Baxter equation. It is also a generalization of the corresponding statement for involutive set-theoretical solutions proved in an earlier paper of P.E. and A.S. with T.Schedler. In order to prove our main result, we use the classification theory developed by the third author (based on the ideas of Lu, Yan, and Zhu) to reduce the problem to a group-theoretical statement: a finite group with trivial center generated by a conjugacy class of prime order is a subgroup of the affine group. Unfortunalely, we did not find an elementary proof of this statement, and our proof relies on the classification of outer automorphisms of finite simple groups.


title: Classification of extremal elliptic K3 surfaces and fundamental groups of open K3 surfaces

abstract: We present a complete list of extremal elliptic K3 surfaces. There are altogether 325 of them. The first 112 coincides with Miranda-Persson's list for semi-stable ones. The data include the transcendental lattice which determines uniquely the K3 surface by a result of Shioda and Inose, the singular fibre type and the Mordell Weil group. As an application, we give a sufficient condition for the topological fundamental group of complement to an ADE-configuration of smooth rational curves on a K3 surface to be trivial.


title: The Pseudospectral Properties of non-self-adjoint Schr\"odinger Operators in the semi-classical limit

abstract: We describe the general qualitative behaviour of the resolvent norm for a very wide class of non-self-adjoint Schroedinger operators in the semi-classical regime, as the spectral parameter varies over the complex plane.


title: The flow completion of a manifold with vector field

abstract: For a vector field $X$ on a smooth manifold $M$ there exists a smooth but not necessarily Hausdorff manifold $M_\Bbb R$ and a complete vector field $X_\Bbb R$ on it which is the universal completion of $(M,X)$.


title: Unbraiding the braided tensor product

abstract: We show that the braided tensor product algebra $A_1\underline{\otimes}A_2$ of two module algebras $A_1, A_2$ of a quasitriangular Hopf algebra $H$ is equal to the ordinary tensor product algebra of $A_1$ with a subalgebra of $A_1\underline{\otimes}A_2$ isomorphic to $A_2$, provided there exists a realization of $H$ within $A_1$. In other words, under this assumption we construct a transformation of generators which `decouples' $A_1, A_2$ (i.e. makes them commuting). We apply the theorem to the braided tensor product algebras of two or more quantum group covariant quantum spaces, deformed Heisenberg algebras and q-deformed fuzzy spheres.


title: Scattering rules in soliton cellular automata associated with crystal bases

abstract: Solvable vertex models in a ferromagnetic regime give rise to soliton cellular automata at q=0. By means of the crystal base theory, we study a class of such automata associated with the quantum affine algebra U_q(g_n) for non exceptional series g_n = A^{(2)}_{2n-1}, A^{(2)}_{2n}, B^{(1)}_n, C^{(1)}_n, D^{(1)}_n and D^{(2)}_{n+1}. They possess a commuting family of time evolutions and solitons labeled by crystals of the smaller algebra U_q(g_{n-1}). Two-soliton scattering rule is identified with the combinatorial R of U_q(g_{n-1})-crystals, and the multi-soliton scattering is shown to factorize into the two-body ones.


title: On k-abelian, p-filiform Lie algebras

abstract: We classify the (n-5)-filiform Lie algebras which have the additional property of a non-abelian derived subalgebra. We show that this property is strongly related with the structure of the Lie algebra of derivations; explicitely we show that if a (n-5)-filiform algebra is characteristically nilpotent, then it must be 2-abelian. We also give applications of k-abelian Lie algebras to the construction of solvable rigis algebras, as well as to the theory of nilalgebras of parabolic subalgebras in the example of the exceptional simple model E_{6}.


title: Transitive and Co-Transitive Caps

abstract: A cap in PG(r,q) is a set of points, no three of which are collinear. A cap is said to be transitive if its automorphism group in PGammaL(r+1,q) acts transtively on the cap, and co-transitive if the automorphism group acts transtively on the cap's complement in PG(r,q). Transitive, co-transitive caps are characterized as being one of: an elliptic quadric in PG(3,q); a Suzuki-Tits ovoid in PG(3,q); a hyperoval in PG(2,4); a cap of size 11 in PG(4,3); the complement of a hyperplane in PG(r,2); or a union of Singer orbits in PG(r,q) whose automorphism group comes from a subgroup of GammaL(1,q^{r+1}).


title: Note on the Curvature and Index of Almost Unitary Contraction Operator

abstract: In the recent preprint (OA/0006224) S. Parrott proved the equality between the Arveson`s curvature and the Fredholm index of a "pure" contraction with finite defect numbers. In the present note one derives a similar formula in the "non-pure" case.


title: O_e(G) is a free module over O(G)

abstract: We show that the quantised function algebra O_e(G) of a simply-connected semisimple algebraic group G at a root of unity is a free module over the subring isomorphic to O(G).


title: Exponential forms and path integrals for complex numbers in n dimensions

abstract: Two distinct systems of commutative complex numbers in n dimensions are described, of polar and planar types. Exponential forms of n-complex numbers are given in each case, which depend on geometric variables. Azimuthal angles, which are cyclic variables, appear in these forms at the exponent, and this leads to the concept of residue for path integrals of n-complex functions. The exponential function of an n-complex number is expanded in terms of functions called in this paper cosexponential functions, which are generalizations to n dimensions of the circular and hyperbolic sine and cosine functions. The factorization of n-complex polynomials is discussed.


title: A birational invariant for algebraic group actions

abstract: We construct a birational invariant for certain algebraic group actions. We use this invariant to classify linear representations of finite abelian groups up to birational equivalence, thus answering, in a special case, a question of E. B. Vinberg and giving a family of counterexamples to a related conjecture of P. I. Katsylo. We also give a new proof of a theorem of M. Lorenz on birational equivalence of quantum tori (in a slightly expanded form) by applying our invariant in the setting of PGL_n-varieties.


title: Jordanian twists on deformed carrier subspaces

abstract: The nontrivial subspaces with primitive coproducts are found in the deformed universal enveloping algebras. They can form carrier spaces for additional Jordanian twists. The latter can be used to construct sequences of twists for algebras whose root systems contain long series of roots. The corresponding twist for the so(5) algebra is given explicitly.


title: Representations of hermitian kernels by means of Krein spaces II. Invariant kernels

abstract: In this paper we study hermitian kernels invariant under the action of a semigroup with involution. We characterize those hermitian kernels which realize the given action by bounded operators on a Krein space. Applications to the GNS representation of *-algebras associated to hermitian functionals are given. We explain the key role played by the Kolmogorov decomposition in the construction of Weyl exponentials associated to an indefinite inner product and in the dilation thoery of hermitian maps on C*-algebras.


title: 3-Sasakian Geometry, Nilpotent Orbits, and Exceptional Quotients

abstract: Using 3-Sasakian reduction techniques we obtain infinite families of new 3-Sasakian manifolds $\scriptstyle{{\cal M}(p_1,p_2,p_3)}$ and $\scriptstyle{{\cal M}(p_1,p_2,p_3,p_4)}$ in dimension 11 and 15 respectively. The metric cone on $\scriptstyle{{\cal M}(p_1,p_2,p_3)}$ is a generalization of the Kronheimer hyperk\"ahler metric on the regular maximal nilpotent orbit of $\scriptstyle{{\Got s}{\Got l}(3,\bbc)}$ whereas the cone on $\scriptstyle{{\cal M}(p_1,p_2,p_3,p_4)}$ generalizes the hyperk\"ahler metric on the 16-dimensional orbit of $\scriptstyle{{\Got s}{\Got o}(6,\bbc)}$. These are first examples of 3-Sasakian metrics which are neither homogeneous nor toric. In addition we consider some further $\scriptstyle{U(1)}$-reductions of $\scriptstyle{{\cal M}(p_1,p_2,p_3)}$. These yield examples of non-toric 3-Sasakian orbifold metrics in dimensions 7. As a result we obtain explicit families $\scriptstyle{{\cal O}(\Theta)}$ of compact self-dual positive scalar curvature Einstein metrics with orbifold singularities and with only one Killing vector field.


title: Finiteness of simple homotopy type up to s-cobordism of aspherical 4-manifolds

abstract: In this paper we show that for a large class C of 4-manifolds each member of C has only finitely many simple homotopy type upto s-cobordism. This result generalizes a similar result of Hillman for certain complex surfaces. We also present a correction in the proof of Hillman's result.