title: Double coverings of octic arrangements with isolated singularities

abstract: In this paper we construct 206 examples of Calabi-Yau manifolds with different Euler numbers. All constructed examples are smooth models of double coverings of $P^3$ branched along an octic surface. We allow 11 types of (not necessary isolated) singularities in the branch locus. Thus we broaden the class of examples studied in math.AG/9902057. For every considered example we compute the Euler number and give a precise description of a resolution of singularities.


title: Fourier transforms, generic vanishing theorems and polarizations of abelian varieties

abstract: The purpose of this paper is to give two applications of Fourier transforms and generic vanishing theorems: - we give a cohomological characterization of principal polarizations - we prove that if $X$ an abelian variety and $\Theta $ a polarization of type $(1,...,1,2)$, then a general pair $(X,\Theta )$ is log canonical


title: The Wholeness Axioms and V=HOD

abstract: The Wholeness Axioms, proposed by Paul Corazza, axiomatize the existence of an elementary embedding j:V-->V. Formalized by augmenting the usual language of set theory with an additional unary function symbol j to represent the embedding, they avoid the Kunen inconsistency by restricting the base theory ZFC to the usual language of set theory. Thus, under the Wholeness Axioms one cannot appeal to the Replacement Axiom in the language with j as Kunen does in his famous inconsistency proof. Indeed, it is easy to see that the Wholeness Axioms have a consistency strength strictly below the existence of an I_3 cardinal. In this paper, I prove that if the Wholeness Axiom WA_0 is itself consistent, then it is consistent with V=HOD. A consequence of the proof is that the various Wholeness Axioms WA_n are not all equivalent. Furthermore, the theory ZFC+WA_0 is finitely axiomatizable.


title: The Explicit Formula and the conductor operator

abstract: I give a new derivation of the Explicit Formula for an arbitrary number field and abelian Dirichlet-Hecke character, which treats all primes in exactly the same way, whether they are discrete or archimedean, and also ramified or not. This is followed with a local study of a Hilbert space operator, the ``conductor operator'', which is expressed as H = log(|x|) + log(|y|) (where x and y are Fourier dual variables on a nu-adic completion of the number field). I also study the commutator operator K = i[log(|y|),log(|x|)] (which shares with H the property of complete dilation invariance, and turns out to be bounded), as well as the higher commutator operators. The generalized eigenvalues of these operators are given by the derivatives on the critical line of the Tate-Gel'fand-Graev Gamma function, which itself is in fact closely related to the additive Fourier Transform viewed in multiplicative terms. This spectral analysis is thus a natural continuation to Tate's Thesis in its local aspects. (combines my earlier papers math/9809119, math/9811040, math/9812012, one result added, new references)


title: Some Rational Diophantine Sextuples

abstract: A famous problem posed by Diophantus was to find sets of distinct positive rational numbers such that the product of any two is one less than a rational square. Some sets of six such numbers are presented and the computational algorithm used to find them is described. A classification of quadruples and quintuples with examples and statistics is also given.


title: There are only finitely many 3-superbridge knots

abstract: Although there are infinitely many knots with superbridge index n for every even integer n>2, there are only finitely many knots with superbridge index 3.


title: Symbolic Dynamics of the Collinear Three-Body Problem

abstract: Solutions to the collinear three-body problem which do not end in triple collision pass through an infinite number of binary collisions. Given three masses, we show that four geometric quantities generate a finite description of itineraries of binary collisions. In the best circumstances, this description is semi-conjugate to a Poincare map of the flow. For other cases these quantities give upper and lower bounds on the itineraries which can occur. In addition to describing the dynamics of the collinear three-body problem, the results of this paper rederives the existence of oscillatory motion in the general N-body problem for N > 2.


title: Resolvent estimates of the Dirac operator

abstract: We shall investigate the asymptotic behavior of the extended resolvent R(s) of the Dirac operator as |s| increases to infinity, where s is a real parameter. It will be shown that the norm of R(s), as a bounded operator between two weighted Hilbert spaces of square integrable functions on the 3-dimensional Euclidean space, stays bounded. Also we shall show that R(s) converges 0 strongly as |s| increases to infinity. This result and a result of Yamada [15] are combined to indicate that the extended resolvent of the Dirac operator decays much more slowly than those of Schroedinger operators.


title: On the spectrum of the reduced wave operator with cylindrical discontinuity

abstract: Consider the differential operator H = -(1/m(x))L, where L is the N-dimensional Laplacian, in the weighted Hilbert space of square integrable functions on N-dimensional Euclidean space with weight m(x)dx. Here m(x) is a positive step function with a surface S of discontinuity (the separation surface). So far the stratified media in which the separating surface S consists of paralell planes have been vigorously studied. Also the case where S has a cone shape has been discussed. In this work we shall deal with a new type of discontinuity which we call cylindrical discontinuity. Under this condition we shall use the limiting absorption method to prove that H is absolute continuous. Our method is based on a apriori estimates of radiation condition term.


title: The reduced wave equation in layered materials

abstract: Let H = -(1/m(x))L be the reduced wave operator defined on the N-dimensional Euclidean space, where \f L is the Laplacian. Here m(x) is a positive step function with possible countably infinte surfaces of discontinuity (separating surfaces) under the compatibilty condition (1.12) on each separating surface. These compatibily condition allows us to treat the cases, among others, the separating surfaces are cylinders. The case where the separating surface has only one connected component was discussed in [9]. Also the case where the separating surface is cone-shaped was considered by Eidus [6] and others ([10], [11]). We shall prove the limiting absorption principle for H. Also we shall discuss the case where m(x) is perturbed by a short-range or long-range function.


title: Ariki-Koike Algebras with Semisimple Bottoms

abstract: We investigated the representation thoery of an Ariki-Koike algebra whose Poincare polynomial associated with the "bottom", i.e., the subgroup on which the symmetric group acts, is non-zero in the base field. We proved that the module category of such an Ariki-Koike algebra is Morita equivalent to the module category of a direct sum of tensor products of Hecke algebras associated with certain symmetric groups. We also generalized this Morita equivalence theorem to give a Morita equivalenve between a $q$-Schur$^m$ algebra and a direct sum of tensor products of certain $q$-Schur algebras.


title: Specht Modules and Branching Rules for Ariki-Koike Algebras

abstract: Specht modules for an Ariki-Koike algebra have been investigated recently in the context of cellular algebras. Thus, these modules are defined as quotient modules of certain ``permutation'' modules, that is, defined as ``cell modules'' via cellular bases. We shall introduce in this paper Specht modules for an Ariki-Koike algebra as submodules of those ``permutation'' modules and investigate their basic properties such as Standard Basis Theorem and the ordinary Branching Theorem, generalizing several classical constructions for type $A$. The second part of the paper moves on looking for Kleshchev's branching rules for Specht and irreducible modules over an Ariki-Koike algebra. We shall restrict to the case where the Ariki-Koike algebra has a semi-simple bottom. With a recent work of Ariki on the classification of irreducible modules, we conjecture that the results should be true in general if $l$-regular multipartitions are replaced by Kleshchev's multipartitions. We point out that our approach is independent of the use of cellular bases.


title: A Generalization of Redfield's Master Theorem

abstract: Generalizations of Redfield's master theorem and superposition theorem are proved by using decomposition of the tensor product of several induced monomial representations of the symmetric group $S_d$ into transitive constituents. As direct consequences, one obtains several graphical corollaries. Given graphs $\Gamma_1,\hdots ,\Gamma_k$, with $d$ vertices, together with their automorphism groups $W_1\leq S_d,\hdots, W_k\leq S_d$, one can find the number of superpositions of $\Gamma_1,\hdots ,\Gamma_k$, whose automorphism groups satisfy one of the following conditions: (1) the groups consist of even permutations; (2) the groups are trivial, in case at least one of $W_m$'s is cyclic; (3) the groups are of odd order, in case at least one of $W_m$'s is dihedral and its order is not divisible by 4; (4) the groups are of order dividing a natural number $r$, in case at least one of $W_m$'s has a normal solvable subgroup of order $r$, such that the corresponding factor-group is cyclic of order relatively prime to $r$; (5) the groups are $q$-groups ($q$ is a prime), in case at least one of $W_m$'s has a normal $q$-subgroup such that the corresponding factor-group is cyclic of order relatively prime to $q$.


title: A path integral approach to the Kontsevich quantization formula

abstract: We give a quantum field theory interpretation of Kontsevich's deformation quantization formula for Poisson manifolds. We show that it is given by the perturbative expansion of the path integral of a simple topological bosonic open string theory. Its Batalin-Vilkovisky quantization yields a superconformal field theory. The associativity of the star product, and more generally the formality conjecture can then be understood by field theory methods. As an application, we compute the center of the deformed algebra in terms of the center of the Poisson algebra.


title: On the K-theory of the cyclic quiver variety

abstract: We compute the convolution product on the equivariant K-groups of the cyclic quiver variety. We get a q-analogue of double-loop algebras, closely related to the toroidal quantum groups previously studied by the authors. We also give a geometric interpretation of the cyclic quiver variety in terms of equivariant torsion-free sheaves on the projective plane.


title: Density of rational points on elliptic K3 surfaces

abstract: Let $X$ be a K3 surface defined over a number field $K$. Assume that $X$ admits a structure of an elliptic fibration or an infinite group of automorphisms. Then there exists a finite extension $K'/K$ such that the set of $K'$-rational points is Zariski dense in $X$.


title: Dimensions of quantized tilting modules

abstract: Let $U$ be the quantum group with divided powers in $p-$th root of unity for prime $p$. For any two-sided cell $A$ in the corresponding affine Weyl group one associates tensor ideal in the category of tilting modules over $U$. In this note we show that for any cell $A$ there exists tilting module $T$ from the corresponding tensor ideal such that biggest power of $p$ which divides $dim T$ is $p^{a(A)}$ where $a(A)$ is Lusztig's $a-$function. In new version some typos are corrected and exposition is improved following suggestions of the referee.


title: Cohomology of subregular tilting modules for small quantum groups

abstract: Let $U$ be the quantum group with divided powers in $l-$th root of unity and let $u\subset U$ be the Frobenius kernel. V.Ginzburg and S.Kumar proved that the cohomology algebra of $u$ with trivial coefficients is isomorphic to the functions algebra of the nilpotent cone of the corresponding Lie algebra. In this note we show that there exists tilting module $T$ such that the cohomology of $u$ with coefficients in $T$ is isomorphic to the functions algebra of the closure of the subregular nilpotent orbit.


title: On the Perfectness of Nontransitive Groups of Diffeomorphisms

abstract: It is proven that the identity component of the group preserving the leaves of a generalized foliation is perfect. This shows that a well-known simplicity theorem on the diffeomorphism group extends to the nontransitive case.


title: Completions of Cellular Algebras

abstract: We introduce procellular algebras, so called because they are inverse limits of finite dimensional cellular algebras as defined by Graham and Lehrer. A procellular algebra is defined as a certain completion of an infinite dimensional cellular algebra whose cell datum is of ``profinite type''. We show how these notions overcome some known obstructions to the theory of cellular algebras in infinite dimensions.


title: Subsequences of frames

abstract: Every frame in Hilbert space contains a subsequence equivalent to an orthogonal basis. If a frame is n-dimensional then this subsequence has length (1 - \epsilon) n. On the other hand, there is a frame which does not contain bases with brackets.


title: The Transversal Relative Equilibria of a Hamiltonian System with Symmetry

abstract: We show that, given a certain transversality condition, the set of relative equilibria $\mcl E$ near $p_e\in\mcl E$ of a Hamiltonian system with symmetry is locally Whitney-stratified by the conjugacy classes of the isotropy subgroups (under the product of the coadjoint and adjoint actions) of the momentum-generator pairs $(\mu,\xi)$ of the relative equilibria. The dimension of the stratum of the conjugacy class (K) is $\dim G+2\dim Z(K)-\dim K$, where Z(K) is the center of K, and transverse to this stratum $\mcl E$ is locally diffeomorphic to the commuting pairs of the Lie algebra of $K/Z(K)$. The stratum $\mcl E_{(K)}$ is a symplectic submanifold of P near $p_e\in\mcl E$ if and only if $p_e$ is nondegenerate and K is a maximal torus of G. We also show that there is a dense subset of G-invariant Hamiltonians on P for which all the relative equilibria are transversal. Thus, generically, the types of singularities that can be found in the set of relative equilibria of a Hamiltonian system with symmetry are those types found amongst the singularities at zero of the sets of commuting pairs of certain Lie subalgebras of the symmetry group.


title: The integral formula for the solutions of the quantum Knizhnik-Zamolodchikov equation associated with $U_q(\hat{sl}_n)$ for |q|=1

abstract: We write the integral formula of Tarasov-Varchenko type for the solutions to the quantum Knizhnik-Zamolodchikov associated with a tensor product the of vector representations of sl_n. We consider the case where the deformation parameter q satisfies |q|=1. We use the bosonization of the type II vertex operators in order to find the hypergeometric pairing in this setting.


title: Spectral theory of boundary value problems for Dirac type operators

abstract: The purpose of this note is to describe a unified approach to the fundamental results in the spectral theory of boundary value problems, restricted to the case of Dirac type operators. Even though many facts are known and well presented in the literature (cf. the monograph of Booss-Wojciechowski), we simplify and extend or sharpen most results by using systematically the simple structure which Dirac type operators display near the boundary. Thus our approach is basically functional analytic, and consequently we achieve results which apply to more general situations than compact manifolds with boundary. The details of the material presented here will be published elsewhere.


title: Twistorial constructions of spacelike surfaces in Lorentzian 4-manifolds

abstract: We investigate the twistor space and the Grassmannian fibre bundle of a Lorentzian 4-space with natural almost optical structures and its induced CR-structures. The twistor spaces of the Lorentzian space forms $\R^4_1, \Di{S}^4_1$ and $\Di{H}^4_1$ are explicitly discussed. The given twistor construction is applied to surface theory in Lorentzian 4-spaces. Immersed spacelike surfaces in a Lorentzian 4-space with special geometric properties like semi-umbilic surfaces and surfaces that have mean curvature of vanishing lengths correspond to holomorphic curves in the Lorentzian twistor space. For the Lorentzian space forms $\R^4_1, \Di{S}^4_1$ and $\Di{H}^4_1$ those surfaces are explicitly constructed and classified.


title: Classification of complex simple Lie algebras via projective geometry geometry

abstract: We present a new proof of the classification of complex simple Lie algebras via the projective geometry of homogeneous varieties. Our proof proceeds by constructing homogeneous varieties using the ideals of the secant and tangential varieties of homogeneous varieties already constructed. Our algorithms make no reference to root systems. Our proofs use properties of root systems, but not their classification.


title: Integrable Hierarchies and Wakimoto Modules

abstract: In our earlier papers we proposed a new approach to integrable hierarchies of soliton equations and their quantum deformations. We have applied this approach to the Toda field theories and the generalized KdV and modified KdV (mKdV) hierarchies. In this paper we apply our approach to the Ablowitz-Kaup-Newell-Segur (AKNS) hierarchy and its generalizations. In particular, we show that the free field (Wakimoto) realization of an affine algebra naturally appears in the context of the generalized AKNS hierarchies. This is analogous to the appearance of the free field (quantum Miura) realization of a W-algebra in the context of the generalized KdV equations. As an application, we give here a new proof of the existence of the Wakimoto realization.


title: On Hurwitz numbers and Hodge integrals

abstract: In this paper we find an explicit formula for the number of topologically different ramified coverings $C\to\CP^1$ (C is a compact Riemann surface of genus g) with only one complicated branching point in terms of Hodge integrals over the moduli space of genus g curves with marked points.


title: Some examples of isomorphisms induced by Fourier-Mukai functors

abstract: We give some examples of isomorphisms of moduli of sheaves induced by Fourier-Mukai functor. As applications, we give another proof on deformation type of some moduli spaces of sheaves on abelian and K3 surfaces.


title: The strong uniform Artin-Rees property in codimension one

abstract: The purpose of this paper is to prove the following theorem of uniform Artin-Rees properties: Let $A$ be an excellent (in fact J-2) ring and let $N\subset M$ be two finitely generated $A$-modules such that ${\rm dim}(M/N)\leq 1$. Then there exists an integer $s\geq 1$ such that, for all integers $n\geq s$ and for all ideals $I$ of $A$, $I^{n}M\cap N=I^{n-s}(I^{s}M\cap N)$.


title: A Note on the Arrangement of Subgroups in the Automorphism Groups of Submodule Lattices of Free Modules

abstract: A complete description of subgroups in the general linear group over a semilocal ring containing the group of diagonal matrices was obtained by Z.I.Borewicz and N.A.Vavilov. It is shown in the present paper that a similar description holds for the intermediate subgroups of the group of all automorphisms of the lattice of right submodules of a free finite rank R-module over a simple Artinian ring containing the group consisting of those automorphisms which leave invariant an appropriate sublattice.


title: The uniqueness of the solution to inverse interpolation problems

abstract: We prove that an arbitrary Banach couple is uniquely determined by the collection of intermediate spaces that are interpolation spaces for the operators of rank one. From this we deduce a confirmation to the conjecture by Yu. A. Brudnyi and N.Ya. Kruglyak that a Banach couple is uniquely determined by the collection of all its interpolation spaces. Some relevant problems are also analized.


title: Symmetric Polynomials and $U_q(\hat{sl}_2)$

abstract: We study the explicit formula of Lusztig's integral forms of the level one quantum affine algebra $U_q(\hat{sl}_2)$ in the endomorphism ring of symmetric functions in infinitely many variables tensored with the group algebra of $\mathbb Z$. Schur functions are realized as certain orthonormal basis vectors in the vertex representation associated to the standard Heisenberg algebra. In this picture the Littlewood-Richardson rule is expressed by integral formulas, and is used to define the action of Lusztig's $\mathbb Z[q, q]$-form of $U_q(\hat{sl}_2)$ on Schur polynomials.


title: Riemannian Holonomy and Algebraic Geometry

abstract: This survey paper is devoted to Riemannian manifolds with special holonomy. To any Riemannian manifold of dimension n is associated a closed subgroup of SO(n), the holonomy group; this is one of the most basic invariants of the metric. A famous theorem of Berger gives a complete (and rather small) list of the groups which can appear. Surprisingly, the compact manifolds with holonomy smaller than SO(n) are all related in some way to Algebraic Geometry. This leads to the study of special algebraic varieties (Calabi-Yau, complex symplectic or complex contact manifolds) for which Riemannian geometry rises interesting questions.


title: Collapsing and the Differential Form Laplacian : The Case of a Smooth Limit Space

abstract: We analyze the limit of the p-form Laplacian under a collapse, with bounded sectional curvature and bounded diameter, to a smooth limit space. As an application, we characterize when the p-form Laplacian has small positive eigenvalues in a collapsing sequence.


title: Approximation of recurrence in negatively curved metric spaces

abstract: For metric spaces with curvature less than or equal to x, x<0, it is shown that a recurrent geodesic can be approximated by closed geodesics. A counter example is provided for the converse.


title: Some adjunction properties of ample vector bundles

abstract: Let $E$ be an ample vector bundle of rank $r$ on a projective variety $X$ with only log-terminal singularities. We consider the nefness of adjoint divisors $K_X+(t-r)det(E)$ when $t>=dim(X)$ and $t>r$. As a corollary, we classify pairs $(X,E)$ with $c_r$-sectional genus zero.


title: Determinants of regular singular Sturm-Liouville operators

abstract: We consider a regular singular Sturm-Liouville operator $L:=-\frac{d^2}{dx^2} + \frac{q(x)}{x^2 (1-x)^2}$ on the line segment $[0,1]$. We impose certain boundary conditions such that we obtain a semi-bounded self-adjoint operator. It is known that the $\zeta$-function of this operator $\zeta_L(s)=\sum_{\lambda\in\spec(L)\setminus\{0\}} \lambda^{-s}$ has a meromorphic continuation to the whole complex plane with 0 being a regular point. Then, according to Ray and Singer the $\zeta$-regularized determinant of $L$ is defined by $\detz(L):=\exp(-\zeta_L'(0)).$ In this paper we are going to express this determinant in terms of the solutions of the homogeneous differential equation $Ly=0$ generalizing earlier work of S. Levit and U. Smilansky, T. Dreyfus and H. Dym, and D. Burghelea, L. Friedlander and T. Kappeler. More precisely we prove the formula $\detz(L)=\frac{\pi W(\psi,\phi)} {2^{\nu_0+\nu_1} \Gamma(\nu_0+1)\Gamma(\nu_1+1)}.$ Here $\phi, \psi$ is a certain fundamental system of solutions for the homogeneous equation $Ly=0$, $W(\phi, \psi)$ denotes their Wronski determinant, and $\nu_0, \nu_1$ are numbers related to the characteristic roots of the regular singular points $0, 1$.


title: Jumping oscillator

abstract: It is shown that a lagrangian system whose Legendre transformation degenerates along a hypersurface behaves in a strange manner by jumping from time to time without any ''visible cause''. In such a jump the system changes instantaneously its coordinates as well as its momenta. The mathematical dscription of the phenomenon is based on the theory of impact, refraction and reflection developed by one of the authors and the observation that a hamiltonian vector field, understood as a relative one, can be associated with any lagrangian, degenerated or not. Necessary elements of the general theory of such systems are reported and a detailed description of a post-relativistic oscillator showing such a behaviour is given.

categories: math.DG hep-th math-ph math.AP math.DS math.MP math.SG


title: Trees, not cubes: hypercontractivity, cosiness, and noise stability

abstract: Noise sensitivity of functions on the leaves of a binary tree is studied, and a hypercontractive inequality is obtained. We deduce that the spider walk is not noise stable.


title: Multiplicative structure of Kauffman bracket skein module quantizations

abstract: We describe, for a few small examples, the Kauffman bracket skein algebra of a surface crossed with an interval. If the surface is a punctured torus the result is a quantization of the symmetric algebra in three variables (and an algebra closely related to a cyclic quantization of $U(so_3$). For a torus without boundary we obtain a quantization of "the symmetric homologies" of a torus (equivalently, the coordinate ring of the $SL_2(C)$-character variety of $Z \oplus Z$). Presentations are also given for the four punctured sphere and twice punctured torus. We conclude with an investigation of central elements and zero divisors.


title: Results on Secant Varieties Leading to a Geometric Flip Construction

abstract: We study the relationship between the equations defining a projective variety and properties of its secant varieties. In particular, we use information about the syzygies among the defining equations to derive smoothness and normality statements about Sec(X) and also to obtain information about linear systems on the blow up of projective space along a variety X. We use these results to geometrically construct, for varieties of arbitrary dimension, a flip first described in the case of curves by M. Thaddeus via Geometric Invariant Theory, and to give some examples of vanishing theorems for the cohomology of powers of ideal sheaves.


title: An Obstruction to Embedding 4-Tangles in Links

abstract: We consider the ways in which a 4-tangle T inside a unit cube can be extended outside the cube into a knot or link L. We present two links n(T) and d(T) such that the greatest common divisor of the determinants of these two links always divides the determinant of the link L. In order to prove this result we give a two-integer invariant of 4-tangles. Calculations are facilitated by viewing the determinant as the Kauffman bracket at a fourth root of -1, which sets the loop factor to zero. For rational tangles, our invariant coincides with the value of the associated continued fraction.


title: p-topological and p-regular: dual notions in convergence theory

abstract: The natural duality between "topological" and "regular," both considered as convergence space properties, extends naturally to p-regular convergence spaces, resulting in the new concept of a p-topological convergence space. Taking advantage of this duality, the behavior of p-topological and p-regular convergence spaces is explored, with particular emphasis on the former, since they have not been previously studied. Their study leads to the new notion of a neighborhood operator for filters, which in turn leads to an especially simple characterization of a topology in terms of convergence criteria. Applications include the topological and regularity series of a convergence space.


title: Study of a Class of Regularizations of 1/|x| using Gaussian Integrals

abstract: This paper presents a comprehensive study of a class of functions which approximate 1/|x| for large x but which are finite at the origin. These functions arise naturally in the study of atoms in strong magnetic fields where the so-called "Landau states" give rise to Gaussian integrals. Generalizations in which e^{-x^2} is replaced by e^{-x^p} are also considered and approximate x^{1-p} for large x. The limiting behavior and monotonicity properties of these functions are discussed in terms of parameters which arise in the approximations as well as x. Several classes of inequalities, some of which provide tight bounds, are established. Some differential equations and recursion relations satisfied by these functions are given. The recursion relations give rise to two classes of polynomials, one of which is related to confluent hypergeometric functions. Finally, it is shown that the inverse of the approximating function is convex and this implies an analogue of the triangle inequality. Some comments are made about possible extensions and several open questions are raised.


title: Quantum invariants of periodic three-manifolds

abstract: Let p be an odd prime and r be relatively prime to p. Let G be a finite p-group. Suppose an oriented 3-manifold M-tilde has a free G-action with orbit space M. We consider certain Witten-Reshetikhin-Turaev SU(2) invariants w_r(M). We will give a fomula for w_r(M) in terms of the defect of M-tilde --> M and the number of elements in G. We also give a version of this result if M and M-tilde contain framed links or colored fat graphs. We give similar formulas for non-free actions which hold for a specified finite set of values for r.


title: Quantum SU(2)-invariants for three-manifolds associated with non-trivial cohomology classes modulo two

abstract: We show an integrality of the quantum SU(2)-invariant associated with a non-trivial first cohomology class modulo two.


title: Feedback Stabilization over Commutative Rings: Further study of the coordinate-free approach

abstract: This paper is concerned with the coordinate-free approach to control systems. The coordinate-free approach is a factorization approach but does not require the coprime factorizations of the plant. We present two criteria for feedback stabilizability for MIMO systems in which transfer functions belong to the total rings of fractions of commutative rings. Both of them are generalizations of Sule's results in [SIAM J. Control Optim., 32-6, 1675-1695(1994)]. The first criterion is expressed in terms of modules generated from a causal plant and does not require the plant to be strictly causal. It shows that if the plant is stabilizable, the modules are projective. The other criterion is expressed in terms of ideals called generalized elementary factors. This gives the stabilizability of a causal plant in terms of the coprimeness of the generalized elementary factors. As an example, a discrete finite-time delay system is considered.


title: The number of ramified coverings of the sphere by the torus and surfaces of higher genera

abstract: We obtain an explicit expression for the number of ramified coverings of the sphere by the torus with given ramification type for a small number of ramification points, and conjecture this to be true for an arbitrary number of ramification points. In addition, the conjecture is proved for simple coverings of the sphere by the torus. We obtain corresponding expressions for surfaces of higher genera for a small number of ramification points, and conjecture the general form for this number in terms of a symmetric polynomial that appears to be new. The approach involves the analysis of the action of a transposition to derive a system of linear partial differential equations that give the generating series for the desired numbers.


title: The Critical Parameter for the Heat Equation with a Noise Term to Blow Up in Finite Time

abstract: Consider the stochastic partial differential equation u_t=u_{xx}+u^gamma dot{W}, where x in [0,J], dot{W}=dot{W}(t,x) is 2-parameter white noise, and we assume that the initial function u(0,x) is nonnegative and not identically 0. We impose Dirichlet boundary conditions on u. We say that u blows up in finite time, with positive probability, if there is a finite random time T such that P(\lim_{t->T}sup_x u(t,x)=infty)>0. It was known that if gamma<3/2, then with probability 1, u does not blow up in finite time. It was also known that there is a positive probability of finite time blow-up for gamma sufficiently large. In this paper, we show that if gamma>3/2, then there is a positive probability that u blows up in finite time.


title: On Filippov algebroids and multiplicative Nambu-Poisson structures

abstract: We discuss relations between linear Nambu-Poisson structures and Filippov algebras and define Filippov algebroids which are n-ary generalizations of Lie algebroids. We also prove results describing multiplicative Nambu- Poisson structures on Lie groups. In particular, we show that simple Lie groups do not admit multiplicative Nambu-Poisson structures of order n>2.


title: Remarks on Nambu-Poisson and Nambu-Jacobi brackets

abstract: It is shown that Nambu-Poisson and Nambu-Jacobi brackets can be defined inductively: a n-bracket, n>2, is Nambu-Poisson (resp. Nambu-Jacobi) if and only if fixing an argument we get a (n-1)-Nambu-Poisson (resp. Nambu-Jacobi) bracket. As a by-product we get relatively simple proofs of Darboux-type theorems for these structures.


title: Generalized n-Poisson brackets on a symplectic manifold

abstract: On a symplectic manifold a family of generalized Poisson brackets associated with powers of the symplectic form is studied. The extreme cases are related to the Hamiltonian and Liouville dynamics. It is shown that the Dirac brackets can be obtained in a similar way.


title: Hodge and Laplace-Beltrami Operators for Bicovariant Differential Calculi on Quantum Groups

abstract: For bicovariant differential calculi on quantum matrix groups a generalisation of classical notions such as metric tensor, Hodge operator, codifferential and Laplace-Beltrami operator for arbitrary k-forms is given. Under some technical assumptions it is proved that Woronowicz' external algebra of left-invariant differential forms either contains a unique form of maximal degree or it is infinite dimensional. Using Jucys-Murphy elements of the Hecke algebra the eigenvalues of the Laplace-Beltrami operator for the Hopf algebra O(SLq(N)) are computed.


title: M\"obius invariants for pairs of spheres

abstract: In this article we construct a complete system of M\"obius-geometric invariants for pairs $(S^m, S^l), l \leq m$, of spheres contained in the M\"obius space $S^n$. It consists of n-m generalised stationary angles. We interpret these invariants geometrically.


title: On Grothendieck's Conjecture about Principal Homogeneous Spaces for some Classical Algebraic Groups

abstract: In the present paper we investigate the question about the injectivity of the map F(R) --> F(K) induced by the canonical inclusion of a local regular ring of geometric type R to its field of fractions K for a homotopy invariant functor F with transfers satisfying some additional properties. As an application we get the original proof of Special Unitary Case of Grothendieck's conjecture about principal homogeneous spaces and some other interesting examples.


title: Quantized rank R matrices

abstract: First some old as well as new results about P.I. algebras, Ore extensions, and degrees are presented. Then quantized $n\times r$ matrices as well as quantized factor algebras of $M_q(n)$ are analyzed. The latter are the quantized function algebra of rank $r$ matrices obtained by working modulo the ideal generated by all $(r+1)\times (r+1)$ quantum subdeterminants and a certain localization of this algebra is proved to be isomorphic to a more manageable one. In all cases, the quantum parameter is a primitive $m$th roots of unity. The degrees and centers of the algebras are determined when $m$ is a prime and the general structure is obtained for arbitrary $m$.


title: Cup products and mixed Hodge structures

abstract: Let X be a complete complex nonsingular algebraic variety and D a closed algebraic subset of X. We show that the cup product maps H^i(X \setminus D) \otimes H^j(X,D) \to H^{i+j}(X,D) are morphisms of mixed Hodge structures. As a corollary we obtain a new proof of a duality result of Fujiki. We also deal with the extraordinary cup product.


title: Extension of Finite Rank Operators and Local Structures in Operator Ideals

abstract: We develop general techniques and present an approach to solve the problem of constructing a maximal Banach ideal $({\frak A},{\bf A)}$ which does not satisfy a transfer of the norm estimation in the principle of local reflexivity to its norm ${\bf A}$. This approach leads us to the investigation of product operator ideals containing ${\frak L}_2$ (the collection of all Hilbertian operators) as a factor. Using the local properties of such operator ideals -- which are typical examples of ideals with property (I) and property (S) --, trace duality and an extension of suitable finite rank operators even enable us to show that ${\frak L}_\infty $ cannot be totally accessible -- answering an open question of Defant and Floret.


title: Stochastic trace formulas

abstract: The spectrum of the evolution Operator associated with a nonlinear stochastic flow with additive noise is evaluated by diagonalization in a polynomial basis. The method works for arbitrary noise strength. In the weak noise limit we formulate a new perturbative expansion for the spectrum of the stochastic evolution Operator in terms of expansions around the classical periodic orbits. The diagonalization of such operators is easier to implement than the standard Feynman diagram perturbation theory. The result is a stochastic analog of the Gutzwiller semiclassical spectral determinant with the ``$\hbar$'' corrections computed to at least two orders more than what has so far been attainable in stochastic and quantum-mechanical applications, supplemented by the estimate for the late terms in the asymptotic saddlepoint expansions.


title: Factorisation in Topological Monoids

abstract: The aim of this paper is sketch a theory of divisibility and factorisation in topological monoids, where finite products are replaced by convergent products. The algebraic case can then be viewed as the special case of discretely topologised topological monoids. In particular, we define the topological factorisation monoid, a generalisation of the factorisation monoid for algebraic monoids, and show that it is always topologically factorial: any element can be uniquely written as a convergent product of irreducible elements. We give some sufficient conditions for a topological monoid to be topologically factorial.


title: Shock formation for forced Burgers equation and application

abstract: We study the inviscid Burgers equation in the presence of spatially periodic potential force. We prove that for foliated initial value problem there are always solutions developing shocks in a finite time. We give an application of this result to a quasi-linear system of conservation laws which appeared in the study of integrable Hamiltonian systems with 1.5 degrees of freedom.


title: Trace Construction of a Basis for the Solution Space of sl_N qKZ Equation

abstract: The trace of intertwining operators over the level one irreducible highest weight modules of the quantum affine algebra of type A_{N-1} is studied. It is proved that the trace function gives a basis of the solution space of the qKZ equation at a generic level. The highest-highest matrix element of the composition of intertwining operators is explicitly calculated. The integral formula for the trace is presented.


title: Lightlike hypersurfaces on a four-dimensional manifold endowed with a pseudoconformal structure of signature (2, 2)

abstract: The authors study the geometry of lightlike hypersurfaces on a four-dimensional manifold $(M, c)$ endowed with a pseudoconformal structure $c = CO (2, 2)$. They prove that a lightlike hypersurface $V \subset (M, c)$ bears a foliation formed by conformally invariant isotropic geodesics and two isotropic distributions tangent to these geodesics, and that these two distributions are integrable if and only if $V$ is totally umbilical. The authors also indicate how, using singular points and singular submanifolds of a lightlike hypersurface $V \subset (M, c)$, to construct an invariant normalization of $V$ intrinsically connected with $V$.


title: Braided Oscillators

abstract: The braided Hopf algebra structure of the generalized oscillator is investigated. Using the solutions two types of braided Fibonacci oscillators are introduced. This leads to two types of braided Biedenharn-Macfarlane oscillators.


title: A general splitting formula for the spectral flow

abstract: We derive a decomposition formula for the spectral flow of a 1-parameter family of self-adjoint Dirac operators on an odd-dimensional manifold $M$ split along a hypersurface $\Sigma$ ($M=X\cup_{\Sigma} Y$). No transversality or stretching hypotheses are assumed and the boundary conditions can be chosen arbitrarily. The formula takes the form $SF(D)= SF(D_{|X}, B_X) + SF(D_{|Y},B_Y) + \mu(B_Y,B_X) + S$ where $B_X$ and $B_Y$ are boundary conditions, $\mu$ denotes the Maslov index, and $S$ is a sum of explicitly defined Maslov indices coming from stretching and rotating boundary conditions. The derivation is a simple consequence of Nicolaescu's theorems and elementary properties of the Maslov index. We show how to use the formula and derive many of the splitting theorems in the literature as simple consequences.


title: A class of quadratic matrix algebras arising from the quantized enveloping algebra ${\s U}_q(A_{2n-1})$

abstract: A natural family of quantized matrix algebras is introduced. It includes the two best studied such. Located inside ${\s U}_q(A_{2n-1})$, it consists of quadratic algebras with the same Hilbert series as polynomials in $n^2$ variables. We discuss their general properties and investigate some members of the family in great detail with respect to associated varieties, degrees, centers, and symplectic leaves. Finally, the space of rank r matrices becomes a Poisson submanifold, and there is an associated tensor category of $\rank\leq r$ matrices.


title: A new aspect of representations of U_q(\hat{sl_2})--generic case

abstract: An polynomial identity is derived from the representation V_m(x)\otimes V_n(y) of U_q(\hat {sl_2}) and a new basis of V_m(x)\otimes V_n(y) is established under some condition.


title: Restriction of the Poincar\'e bundle to a Calabi-Yau hypersurface

abstract: Let $\cMx$ be the moduli space of stable vector bundles of rank $n\geq 3$ and determinant $\xi$ over a connected Riemann surface $X$, with $n$ and $d(\xi)$ coprime. Let $D$ be a Calabi-Yau hypersurface of $\cMx$. Denote by $U_D$ the restriction of the universal bundle to $X\times D$. It is shown that the restriction $(U_D)_x$ to $x\times D$ is stable, for any $x\in X$. Furthermore, for a general curve the connected component of the moduli space of semistable sheaves over $D$, containing $(U_D)_x$, is isomorphic to $X$. It is also shown that $U_D$ is stable for any polarisation, and the connected component of the moduli space of semistable sheaves over $X\times D$, containing $U_D$, is isomorphic to the Jacobian. Moreover, this is an isomorphism of polarised varieties, and hence such a moduli spaces determine the Reimann surface.


title: Yangian of the Queer Lie Superalgebra

abstract: Take the matrix Lie superalgebra $gl_{N|N}$ with the standard generators $E_{ij}$ where $i,j=-N,...,-1,1,...,N$. Define an involutive automorphism of $gl_{N|N}$ by sending $E_{ij}$ to $E_{-i,-j}$. Then the corresponding twisted subalgebra $g$ in the polynomial current Lie superalgebra $gl_{N|N}[u]$, has a natural Lie co-superalgebra structure. Here we quantise the universal enveloping algebra $U(g)$ as a co-Poisson Hopf superalgebra. For the quantised algebra we give a description of the centre, and construct the double in the sense of Drinfeld. We also construct a class of irreducible representations of the quantised algebra, by introducing an appropriate analogue of the degenerate affine Hecke algebra.


title: Adiabatic limits and spectral sequences for Riemannian foliations

abstract: For general Riemannian foliations, spectral asymptotics of the Laplacian is studied when the metric on the ambient manifold is blown up in directions normal to the leaves (adiabatic limit). The number of ``small'' eigenvalues is given in terms of the differentiable spectral sequence of the foliation. The asymptotics of the corresponding eigenforms also leads to a Hodge theoretic description of this spectral sequence. This is an extension of results of Mazzeo-Melrose and R. Forman.


title: Periodic Orbits in Magnetic Fields in Dimensions Greater Than Two

abstract: The Hamiltonian flow of the standard metric Hamiltonian with respect to the twisted symplectic structure on the cotangent bundle describes the motion of a charged particle on the base. We prove that under certain natural hypotheses the number of periodic orbits on low energy levels for this flow is at least the sum of Betti numbers of the base. The problem is closely related to the existence question for periodic orbits on energy levels of a proper Hamiltonian near a Morse-Bott non-degenerate minimum. In this case, when some extra requirements are met, we also give a lower bound for the number of periodic orbits. Both of these questions are very similar to the Weinstein conjecture but differ from it in that the energy levels may fail to have contact type. We show that the bounded sets in the cotangent bundle to the torus, with a twisted symplectic structure, have finite Hofer-Zehnder capacity. As a consequence, we obtain the existence of periodic orbits on almost all energy levels for magnetic fields on tori.


title: Towards a Mori theory on compact Kaehler threefolds, III

abstract: We prove abundance for a minimal Kaehler threefold which is not both simple and non-Kummer. Recall that a variety is simple if there is no compact subvariety of positive dimension through a sufficiently general point . Furthermore we prove that a smooth compact Kaehler threefold whose canonical bundle is not nef, carries a contraction unless (possibly) the manifold is simple non-Kummer. It is generally conjectured that simple threefolds must be Kummer.


title: Free Field Approach to the Dilute A_L Models

abstract: We construct a free field realization of vertex operators of the dilute A_L models along with the Felder complex. For L=3, we also study an E_8 structure in terms of the deformed Virasoro currents.


title: Homotopy invariants of higher dimensional categories and concurrency in computer science

abstract: The strict globular $\omega$-categories formalize the execution paths of a parallel automaton and the homotopies between them. One associates to such (and any) $\omega$-category $\C$ three homology theories. The first one is called the globular homology. It contains the oriented loops of $\C$. The two other ones are called the negative (resp. positive) corner homology. They contain in a certain manner the branching areas of execution paths or negative corners (resp. the merging areas of execution paths or positive corners) of $\C$. Two natural linear maps called the negative (resp. the positive) Hurewicz morphism from the globular homology to the negative (resp. positive) corner homology are constructed. We explain the reason why these constructions allow to reinterprete some geometric problems coming from computer science.


title: New Invariants for surfaces

abstract: We take the fundamental group of the complement of the branch curve of a generic projection induced from canonical embedding of a surface. This group is stable on connected components of moduli spaces of surfaces. Since for many classes of surfaces it is expected that the fundamental group has a polycyclic structure, we define a new invariant that comes from this structure. We compute this invariant for a few examples. Braid monodromy factorizations related to curves is a first step in computing the fundamental group of the complement of the curve, and thus we also indicate the possibility of using braid monodromy factorizations of branch curves as an invariant of a surface.


title: Thurston boundary of Teichm\"uller spaces and the commensurability modular group

abstract: If $p : Y \to X$ is an unramified covering map between two compact oriented surfaces of genus at least two, then it is proved that the embedding map, corresponding to $p$, from the Teichm\"uller space ${\cal T}(X)$, for $X$, to ${\cal T}(Y)$ actually extends to an embedding between the Thurston compactification of the two Teichm\"uller spaces. Using this result, an inductive limit of Thurston compactified Teichm\"uller spaces has been constructed, where the index for the inductive limit runs over all possible finite unramified coverings of a fixed compact oriented surface of genus at least two. This inductive limit contains the inductive limit of Teichm\"uller spaces, constructed in \cite{BNS}, as a subset. The universal commensurability modular group, which was constructed in \cite{BNS}, has a natural action on the inductive limit of Teichm\"uller spaces. It is proved here that this action of the universal commensurability modular group extends continuously to the inductive limit of Thurston compactified Teichm\"uller spaces.


title: On Fibers and Local Connectivity of Compact Sets in C

abstract: A frequent problem in holomorphic dynamics is to prove local connectivity of Julia sets and of many points of the Mandelbrot set; local connectivity has many interesting implications. The intention of this paper is to present a new point of view for this problem: we introduce fibers of these sets, and the goal becomes to show that fibers are ``trivial'', i.e. they consist of single points. The idea is to show ``shrinking of puzzle pieces'' without using specific puzzles. This implies local connectivity at these points, but triviality of fibers is a somewhat stronger property than local connectivity. Local connectivity proofs in holomorphic dynamics often actually yield that fibers are trivial, and this extra knowledge is sometimes useful. Since we believe that fibers may be useful in further situations, we discuss their properties for arbitrary compact connected and full sets in the complex plane. This allows to use them for connected filled-in Julia sets of polynomials, and polynomials of the form $z^d+c$ have the property that the impression of any dynamic ray at a rational angle is a single point. An appendix reviews known topological properties of compact, connected and full sets in the plane. The definition of fibers grew out of a new brief proof that the Mandelbrot set is locally connected at every Misiurewicz point and at every point on the boundary of a hyperbolic component. This proof works also for ``Multibrot sets'', which are the higher degree cousins of the Mandelbrot set. These sets are discussed in a self-contained sequel (IMS Preprint 1998/13a). Finally, we relate triviality of fibers to tuning and renormalization in IMS Preprint 1998/13b.


title: On Fibers and Local Connectivity of Mandelbrot and Multibrot Sets

abstract: We give new proofs that the Mandelbrot set is locally connected at every Misiurewicz point and at every point on the boundary of a hyperbolic component. The idea is to show ``shrinking of puzzle pieces'' without using specific puzzles. Instead, we introduce fibers of the Mandelbrot set and show that fibers of certain points are ``trivial'', i.e., they consist of single points. This implies local connectivity at these points. Locally, triviality of fibers is strictly stronger than local connectivity. Local connectivity proofs in holomorphic dynamics often actually yield that fibers are trivial, and this extra knowledge is sometimes useful. We include the proof that local connectivity of the Mandelbrot set implies density of hyperbolicity in the space of quadratic polynomials. We write our proofs more generally for Multibrot sets, which are the loci of connected Julia sets for polynomials of the form $z\mapsto z^d+c$. Although this paper is a continuation of preprint 1998/12, it has been written so as to be independent of the discussion of fibers of general compact connected and full sets in $\C$ given there.


title: On Fibers and Renormalization of Julia Sets and Multibrot Sets

abstract: We continue the description of Mandelbrot and Multibrot sets and of Julia sets in terms of fibers which was begun in IMS preprints 1998/12 and 1998/13a. The question of local connectivity of these sets is discussed in terms of fibers and becomes the question of triviality of fibers. In this paper, the focus is on the behavior of fibers under renormalization and other surgery procedures. We show that triviality of fibers of Mandelbrot and Multibrot sets is preserved under tuning maps and other (partial) homeomorphisms. Similarly, we show for unicritical polynomials that triviality of fibers of Julia sets is preserved under renormalization and other surgery procedures, such as the Branner-Douady homeomorphisms. We conclude with various applications about quadratic polynomials and its parameter space: we identify embedded paths within the Mandelbrot set, and we show that Petersen's theorem about quadratic Julia sets with Siegel disks of bounded type generalizes from period one to arbitrary periods so that they all have trivial fibers and are thus locally connected.


title: Dehn surgeries on knots which yield lens spaces and genera of knots

abstract: Let $K$ be a hyperbolic knot in the 3-sphere. If $r$-surgery on $K$ yields a lens space, then we show that the order of the fundamental group of the lens space is at most $12g-7$, where $g$ is the genus of $K$. If we specialize to genus one case, it will be proved that no lens space can be obtained from genus one, hyperbolic knots by Dehn surgery. Therefore, together with known facts, we have that a genus one knot $K$ admits Dehn surgery yielding a lens space if and only if $K$ is the trefoil.


title: Infinitesimal Thurston Rigidity and the Fatou-Shishikura Inequality

abstract: We prove a refinement of the Fatou-Shishikura Inequality - that the total count of nonrepelling cycles of a rational map is less than or equal to the number of independent infinite forward critical orbits - from a suitable application of Thurston's Rigidity Theorem - the injectivity of $I-f_*$ on spaces of meromorphic quadratic differentials.


title: Generic Diffeomorphisms with Superexponential Growth of Number of Periodic Orbits

abstract: Consider a compact manifold M of dimension at least 2 and the space of C^r-smooth diffeomorphisms Diff^r(M). The classical Artin-Mazur theorem says that for a dense subset D of Diff^r(M) the number of isolated periodic points grows at most exponentially fast (call it the A-M property). We extend this result and prove that diffeomorphisms having only hyperbolic periodic points with the A-M property are dense in Diff^r(M). Our proof of this result is much simpler than the original proof of Artin-Mazur. The second main result is that the A-M property is not (Baire) generic. Moreover, in a Newhouse domain ${\cal N} \subset Diff^r(M)$, an arbitrary quick growth of the number of periodic points holds on a residual set. This result follows from a theorem of Gonchenko-Shilnikov-Turaev, a detailed proof of which is also presented.


title: On traces of $d$-stresses in the skeletons of lower dimensions of homology $d$-manifolds

abstract: We show how a $d$-stress on a piecewise-linear realization of an oriented (non-simplicial, in general) $d$-manifold in \rd naturally induces stresses of lower dimensions on this manifold, and discuss implications of this construction to the analysis of self-stresses in spatial frameworks. The constructed mappings are not linear, but polynomial. In 1860-70s J. C. Maxwell described an interesting relationship between self-stresses in planar frameworks and vertical projections of polyhedral 2-surfaces. We offer a partial analog of Maxwell correspondence for self-stresses in spatial frameworks and vertical projections of 3-dimensional surfaces based on our construction of polynomial mappings. Applying this theorem we derive a class of three-dimensional spider webs similar to the family of two-dimensional spider webs described by Maxwell. In addition, we conjecture an important property of our mappings which is supported by a heuristic count based on the lower bound theorem ($g_2(d+1)=dim\:Stress_2 \ge 0$) for $d$-pseudomanifolds generically realized in ${\R}^{d+1}$ (Fogelsanger).


title: A pattern theorem for lattice clusters

abstract: We consider general classes of lattice clusters, including various kinds of animals and trees on different lattices. We prove that if a given local configuration ("pattern") of sites and bonds can occur in large clusters, then it occurs at least cN times in most clusters of size n, for some constant c>0. An analogous theorem for self-avoiding walks was proven in 1963 by Kesten. The results also apply to weighted sums, and in particular we can take a$sub n$ to be the probability that the percolation cluster containing the origin consists of exactly n sites. Another consequence is strict inequality of connective constants for sublattices and for certain subclasses of clusters.


title: High moments of the Riemann zeta-function

abstract: The authors describe a general approach which, in principal, should produce the correct (conjectural) formula for every even integer moment of the Riemann zeta function. They carry it out for the sixth and eigth powers; in the case of sixth powers this leads to the formula conjectured by Conrey and Ghosh, and in the case of eighth powers is new.


title: Nonvanishing of quadratic Dirichlet L-functions at s=1/2

abstract: We show that for a positive proportion of fundamental discriminants d, L(1/2,chi_d) != 0. Here chi_d is the primitive quadratic Dirichlet character of conductor d.


title: Polarizations on abelian varieties and self-dual ell-adic representations of inertia groups

abstract: It is well-known that every finite subgroup of GL_d(Q_{\ell}) is conjugate to a subgroup of GL_d(Z_{\ell}). However, this does not remain true if we replace general linear groups by symplectic groups. We say that G is a group of inertia type if G is a finite group which has a normal Sylow-p-subgroup with cyclic quotient. We show that if \ell>d+1, and G is a subgroup of Sp_{2d}(Q_{\ell}) of inertia type, then G is conjugate in GL_{2d}(Q_{\ell}) to a subgroup of \Sp_{2d}(Z_{\ell}). Despite the fact that G can fail to be conjugate in \GL_{2d}(Q_\ell) to a subgroup of \Sp_{2d}(Z_\ell), we prove that it can nevertheless be embedded in \Sp_{2d}(F_\ell) in such a way that the characteristic polynomials are preserved (mod \ell), as long as \ell>3. The latter result holds for arbitrary finite groups, not necessarily of inertia type, and holds also for symmetric forms, not just alternating forms. We give examples which show that the bounds are sharp. We apply these results to construct, for every odd prime \ell, isogeny classes of abelian varieties all of whose polarizations have degree divisible by \ell. This paper is a revised version of ANT-0151, titled `Self-dual ell-adic representations of finite groups'.


title: Interactive games, dialogues and the verbalization

abstract: The note is devoted to an interactive game theoretic formalization of dialogues as psycholinguistic phenomena and the unraveling of a hidden dialogue structure of 2-person differential interactive games. In the field-theoretic description of interactive games the dialogues are defined naively as interactive games of discrete time with intention fields of continuous time; the correct mathematical formulation is proposed. The states and the controls of a dialogue correspond to the speech whereas the intention fields describe the understanding. In the case of dialogues the main inverse problem is to describe geometrical and algebraical properties of the understanding. On the other hand, a precise mathematical definition of dialogues allows to formulate a problem of the unraveling of a hidden dialogue structure of any 2-person differential interactive game. Such procedure is called the verbalization. It means that the states of a differential interactive game are interpreted as intention fields of a hidden dialogue and the problem is to describe such dialogue completely. If a 2-person differential interactive game is verbalizable one is able to consider many linguistic (e.g. the formal grammar of a related hidden dialogue) or psycholinguistic (e.g. the dynamical correlation of various implications) aspects of it.


title: Quelques remarques sur les actions analytiques des reseaux des groupes de Lie de rang superieur

abstract: All the actions considered here are (real) analytic. Consider a subgroup of finite index of SL(n, Z). We prove, in particular, the (global) homotopical rigidity, for both its standard affine action on the torus of dimension n > 2, and its standard projective action on the sphere of dimesnion n-1>3.


title: Finite groups, spherical 2-categories, and 4-manifold invariants

abstract: In this paper we define a class of state-sum invariants of compact closed oriented piece-wise linear 4-manifolds using finite groups. The definition of these state-sums follows from the general abstract construction of 4-manifold invariants using spherical 2-categories, as we defined in a previous paper, although it requires a slight generalization of that construction. We show that the state-sum invariants of Birmingham and Rakowski, who studied Dijkgraaf-Witten type invariants in dimension 4, are special examples of the general construction that we present in this paper. They showed that their invariants are non-trivial by some explicit computations, so our construction includes interesting examples already. Finally, we indicate how our construction is related to homotopy 3-types. This connection suggests that there are many more interesting examples of our construction to be found in the work on homotopy 3-types, such as by Brown, for example.


title: fc-multicategories

abstract: fc-multicategories are a very general kind of two-dimensional structure, encompassing bicategories, monoidal categories, double categories and ordinary multicategories. We define them and explain how they provide a natural setting for two familiar categorical ideas. The first is the bimodules construction, traditionally carried out on suitably cocomplete bicategories but perhaps more naturally carried out on fc-multicategories. The second is enrichment: there is a theory of categories enriched in an fc-multicategory, extending the usual theory of enrichment in a monoidal category. We finish by indicating how this work is just the simplest case of a much larger phenomenon.


title: Godel, Tarski, Church, and the Liar

abstract: The fact that the famous Godel incompleteness theorem and the archetype of all logical paradoxes, that of the Liar, are related closely is, of course, not only well known, but is a part of the common knowledge of logician community. Actually, almost every more or less formal treatment of the theorem (including, for that matter, Godel's original paper as well) makes a reference to this connection. In the light of the fact that the existence of this connection is a commonplace, all the more surprising that very little can be learnt about its exact nature. Now, it emerges from what we do in this paper that the general ideas underlying the three central limitation theorems of mathematics, those concerning the incompleteness and undecidability of arithmetic and the undefinability of truth within it can be taken as different ways to resolve the Liar paradox. In fact, an abstract formal variant of the Liar paradox constitutes a general conceptual schema that, revealing their common logical roots, connects the theorems referred to above and, at the same time, demonstrates that, in a sense, these are the only possible relevant limitation theorems formulated in terms of truth and provability alone that can be considered as different manifestations of the Liar paradox. On the other hand, as illustrated by a simple example, this abstract version of the paradox opens up the possibility to formulate related results concerning notions other than just those of the truth and provability.


title: On hyperelliptic $C^\infty$-Lefschetz fibrations of four-manifolds

abstract: We show that hyperelliptic symplectic Lefschetz fibrations are symplectically birational to two-fold covers of rational ruled surfaces, branched in a symplectically embedded surface. This reduces the classification of genus 2 fibrations to the classification of certain symplectic submanifolds in rational ruled surfaces.


title: Positive and negative results concerning the Gromov-Lawson-Rosenberg conjecture

abstract: The Gromov-Lawson-Rosenberg-conjecture for a group G states that a closed spin manifold M^n (n>4) with fundamental group G admits a metric with positive scalar curvature if and only if its C^*-index A(M) in KO_n(C^*_r(G)) vanishes. We prove this for groups G with low-dimensional classifying space, provided the assembly map for G is injective. On the other hand, we construct a spin manifold with no metric with scal>0 but so that already its KO-orientation in KO_*(B pi_1(M)) vanishes. Therefore a corresponding weakened version or the GLR-conjecture is wrong. Last we address non-orientable manifolds. We give a reformulation of the minimal surface method of Schoen and Yau (extended to dimension 8) and introduce a non-orientable version of it. We then construct a manifold M whose orientation cover admits a metric of positive scalar curvature but where M itself does not. M is also a counterexample to a twisted analog of the GLR-conjecture because its twisted index vanishes.


title: Polynomial Relations Among Characters coming from Quantum Affine Algebras

abstract: The Jacobi-Trudi formula implies some interesting quadratic identities for characters of representations of $gl_n$. Earlier work of Kirillov and Reshetikhin proposed a generalization of these identities to the other classical Lie algebras, and conjectured that the characters of certain finite-dimensional representations of $U_q(g-affine)$ satisfy it. Here we use a positivity argument to show that the generalized identities have only one solution.


title: Galois Theory for a Class of Complete Modular Lattices

abstract: We construct Galois theory for sublattices of certain complete modular lattices and their automorphism groups. A well-known description of the intermediate subgroups of the general linear group over a semilocal ring containing the group of diagonal matrices, due to Z.I.Borewicz and N.A.Vavilov, can be obtained as a consequence of this theory.


title: Patterns of Compact Cardinals

abstract: We show relative to strong hypotheses that patterns of compact cardinals in the universe, where a compact cardinal is one which is either strongly compact or supercompact, can be virtually arbitrary. Specifically, we prove if V is a model of ``ZFC + Omega is the least inaccessible limit of measurable limits of supercompact cardinals + f :Omega-->2 is a function'', then there is a partial ordering P in V so that for Vbar = V^P, Vbar_Omega models ``ZFC + There is a proper class of compact cardinals + If f(alpha) = 0, then the alpha-th compact cardinal isn't supercompact + If f(alpha) = 1, then the alpha-th compact cardinal is supercompact''. We then prove a generalized version of this theorem assuming kappa is a supercompact limit of supercompact cardinals and f:kappa-->2 is a function, and we derive as corollaries of the generalized version of the theorem the consistency of the least measurable limit of supercompact cardinals being the same as the least measurable limit of non-supercompact strongly compact cardinals and the consistency of the least supercompact cardinal being a limit of strongly compact cardinals.


title: Moduli for Pairs of Elliptic Curves with Isomorphic N-torsion

abstract: We study the moduli surface for pairs of elliptic curves together with an isomorphism between their N-torsion groups. The Weil pairing gives a "determinant" map from this moduli surface to (Z/NZ)*; its fibers are the components of the surface. We define spaces of modular forms on these components and Hecke correspondences between them, and study how those spaces of modular forms behave as modules for the Hecke algebra. We discover that the component with determinant -1 is somehow the "dominant" one; we characterize the difference between its spaces of modular forms and the spaces of modular forms on the other components using forms with complex multiplication. Finally, we show some simplifications that arise when N is prime, including a complete determination of such CM-forms, and give numerical examples.


title: Semisimple orbits of Lie algebras and card shuffling on Coxeter groups

abstract: Random walk on the chambers of hyperplanes arrangements is used to define a family of card shuffling measures $H_{W,x}$ for a finite Coxeter group W and real $x \neq 0$. By algebraic group theory, there is a map from the semisimple orbits of the adjoint action of a finite group of Lie type on its Lie algebra to the conjugacy classes of the Weyl group. Choosing such a semisimple orbit uniformly at random thereby induces a probability measure on the conjugacy classes of the Weyl group. For types A, B, and the identity conjugacy class of W for all types, it is proved that for q very good, this measure on conjugacy classes is equal to the measure arising from $H_{W,q}$.


title: Counting Rational Points on K3 Surfaces

abstract: For any algebraic variety $V$ defined over a number field $k$, and ample height function $H$ on $V$, one can define the counting function $N_V(B) = #{P\in V(k) \mid H(P)\leq B}$. In this paper, we calculate the counting function for Kummer surfaces $V$ whose associated abelian surface is the product of elliptic curves. In particular, we effectively construct a finite union $C = \cup C_i$ of curves $C_i$ on $V$ such that $N_{V-C}(B)\ll N_C(B)$; that is, $C$ is an accumulating subset of $V$. In the terminology of Batyrev and Manin, this amounts to proving that $C$ is the first layer of the arithmetic stratification of $V$.


title: Semi-infinite forms and topological vertex operator algebras

abstract: Semi-infinite forms on the moduli spaces of genus-zero Riemann surfaces with punctures and local coordinates are introduced. A partial operad for semi-infinite forms is constructed. Using semi-infinite forms and motivated by a partial suboperad of the partial operad for semi-infinite forms, topological vertex partial operads of type $k<0$ and strong topological vertex partial operads of type $k<0$ are constructed. It is proved that the category of (locally-)grading-restricted (strong) topological vertex operator algebras of type $k<0$ and the category of (weakly) meromorphic ${\Bbb Z}\times {\Bbb Z}$-graded algebras over the (strong) topological vertex partial operad of type k are isomorphic. As an application of this isomorphism theorem, the following conjecture of Lian-Zuckerman and Kimura-Voronov-Zuckerman is proved: A strong topological vertex operator algebra gives a homotopy Gerstenhaber algebra. These results hold in particular for the tensor product of the moonshine module vertex operator algebra, the vertex algebra constructed {from} a rank 2 Lorentz lattice and the ghost vertex operator algebra, studied in detail first by Lian and Zuckerman.


title: Topological mixing in CAT(-1) metric spaces

abstract: If X is a proper CAT(-1)-space and $\Gamma$ a non-elementary discrete group of isometries acting properly discontinuously on X, it is shown that the geodesic flow on the quotient space Y=X/$\Gamma$ is topologically mixing, provided that the generalized Busemann function has zeros on the boundary $\partial X$ and the non-wandering set of the flow equals the whole quotient space of geodesics GY:=GX/$\Gamma$ (the latter being redundant when Y is compact). Applications include the proof of topological mixing for (A) compact negatively curved polyhedra, (B) compact quotients of proper geodesically complete CAT(-1)-spaces by a one-ended group of isometries and (C) finite n-dimensional ideal polyhedra.


title: Symplectic Geometry on Quantum Plane

abstract: A study of symplectic forms associated with two dimensional quantum planes and the quantum sphere in a three dimensional orthogonal quantum plane is provided. The associated Hamiltonian vector fields and Poissonian algebraic relations are made explicit.


title: The crossing number and maximal bridge length of a knot diagram

abstract: We give examples showing that Kidwell's inequality for the maximal degree of the Brandt-Lickorish-Millett-Ho polynomial is in general not sharp.


title: Geometric construction of the global base of the quantum modified algebra of affine GL_N

abstract: We prove that the global base of the modified quantum algebra of affine GL_N is compatible with the intersection cohomology base of the convolution algebra of the affine flag variety. As a consequence we prove a recent conjecture of Lusztig on the compatibility of the intersection cohomology base with respect to transfer maps.


title: Proof of a partition identity conjectured by Lassalle

abstract: We prove a partition identity conjectured by Lassalle (Adv. in Appl. Math. 21 (1998), 457-472).


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

abstract: We prove an identity about partitions with a very elementary formulation. We had previously conjectured this identity, encountered in the study of shifted Jack polynomials (math.CO/9901040). The proof given is using a trivariate generating function. It would be interesting to obtain a bijective proof. We present a conjecture generalizing this identity.


title: A Kato-Yau inequality for harmonic spinors and decay estimate for eigenspinors

abstract: We show that harmonic spinors obey a strengthened version of the well-known pointwise Kato inequality for sections of a vector bundle with a connection. We then prove a decay estimate for eigenspinors using this Kato-Yau estimate and resulting differential inequality. We briefly describe some applications to gauge theory---specifically to integral estimates which are used when gluing and ungluing PU(2) monopoles (math.DG/9907107).


title: A Tuner that Accelerates Parameters

abstract: We propose a tuner, suitable for adaptive control and (in its discrete-time version) adaptive filtering applications, that sets the second derivative of the parameter estimates rather than the first derivative as is done in the overwhelming majority of the literature. Comparative stability and performance analyses are presented.


title: Structure of Kahler groups, I: second cohomology

abstract: We prove the Carlson-Toledo conjecture (for all Kahler groups which do not have property T of Kazhdan).We deduce a conjecture of Goldman-Donaldson for all 3-manifold groups which are rich in the sense of [Re2].


title: Formal Frobenius manifold structure on equivariant cohomology

abstract: For a closed K\"{a}hler manifold with a Hamiltonian action of a connected compact Lie group by holomorphic isometries, we construct a formal Frobenius manifold structure on the equivariant cohomology by exploiting a natural DGBV algebra structure on the Cartan model.


title: Trees and Matchings

abstract: In this article, Temperley's bijection between spanning trees of the square grid on the one hand, and perfect matchings (also known as dimer coverings) of the square grid on the other, is extended to the setting of general planar directed (and undirected) graphs, where edges carry nonnegative weights that induce a weighting on the set of spanning trees. We show that the weighted, directed spanning trees (often called arborescences) of any planar graph G can be put into a one-to-one weight-preserving correspondence with the perfect matchings of a related planar graph H. One special case of this result is a bijection between perfect matchings of the hexagonal honeycomb lattice and directed spanning trees of a triangular lattice. Another special case gives a correspondence between perfect matchings of the ``square-octagon'' lattice and directed weighted spanning trees on a directed weighted version of the cartesian lattice. In conjunction with results of Kenyon, our main theorem allows us to compute the measures of all cylinder events for random spanning trees on any (directed, weighted) planar graph. Conversely, in cases where the perfect matching model arises from a tree model, Wilson's algorithm allows us to quickly generate random samples of perfect matchings.


title: Geometry of Pinchuk's map

abstract: Sergey Pinchuk found a polynomial map from the real plane to itself which is a local diffeomorphism but is not one-to-one. The aim of this paper is to give a geometric description of Pinchuk's map.


title: Galois Theory for a Class of Modular Lattices

abstract: We construct Galois theory for sublattices of certain complete modular lattices and their automorphism groups. A well-known description of the intermediate subgroups of the general linear group over an Artinian ring containing the group of diagonal matrices, due to Z.I.Borewicz and N.A.Vavilov, can be obtained as a consequence of this theory.


title: Quantized Heisenberg Space

abstract: We investigate the algebra $F_q(N)$ introduced by Faddeev, Reshetikhin and Takhadjian. In case $q$ is a primitive root of unity the degree, the center, and the set of irreducible representations are found. The Poisson structure is determined and the De Concini-Kac-Procesi Conjecture is proved for this case. In the case of $q$ generic, the primitive ideals are described. A related algebra studied by Oh is also treated.


title: Relative moduli spaces of complex structures: an example

abstract: Let M and N be even-dimensional oriented real manifolds, and $u:M \to N$ be a smooth mapping. A pair of complex structures at M and N is called u-compatible if the mapping u is holomorphic with respect to these structures. The quotient of the space of u-compatible pairs of complex structures by the group of u-equivariant pairs of diffeomorphisms of M and N is called a moduli space of u-equivariant complex structures. The paper contains a description of the fundamental group G of this moduli space in the following case: $N = CP^1, M \subset CP^2$ is a hyperelliptic genus g curve given by the equation $y^2 = Q(x)$ where Q is a generic polynomial of degree 2g+1, and $u(x,y) = y^2$. The group G is a kernel of several (equivalent) actions of the braid-cyclic group $BC_{2g}$ on 2g strands. These are: an action on the set of trees with 2g numbered edges, an action on the set of all splittings of a (4g+2)-gon into numbered nonintersecting quadrangles, and an action on a certain set of subgroups of the free group with 2g generators. $G_{2g} \subset BC_{2g}$ is a subgroup of the index $(2g+1)^{2g-2}$. Key words: Teichm\"uller spaces, Lyashko-Looijenga map, braid group.


title: Growth and Relations in Graded Rings

abstract: Suppose $A$ is a graded associative algebra over a field, $I$ is its ideal generated by a set $\alpha$ of homogeneous elements, and B = A/I. In this note, some inequalities between Hilbert series of algebras $A,B$ and the number of elements of the set $\alpha$ are announced. As in the Golod--Shafarevich inequality as in our case the equality in every estimate is exact iff the set $\alpha$ is strongly free: so we obtain some new characterizations of such sets. As a consequence it is proved that over a field of zero characteristic for the class of finitely defined graded algebras there is no algorithm to answer the following question: for an algebra $A$ and a rational number $R$, is the convergence radius of the Hilbert series of $A$ equal to $R$?


title: On Fedosov's approach to deformation quantization with separation of variables

abstract: The description of all deformation quantizations with separation of variables on a Kaehler manifold obtained in our earlier paper is used to identify the Fedosov star-product of Wick type constructed by M. Bordemann and S. Waldmann. This star-product is shown to be the one with separation of variables which corresponds to the trivial deformation of the Kaehler form. To this end a formal Fock bundle on a Kaehler manifold is introduced and an associative multiplication on its sections is defined.


title: Using Rewriting Systems to Compute Kan Extensions and Induced Actions of Categories

abstract: The basic method of rewriting for words in a free monoid given a monoid presentation is extended to rewriting for paths in a free category given a `Kan extension presentation'. This is related to work of Carmody-Walters on the Todd-Coxeter procedure for Kan extensions, but allows for the output data to be infinite, described by a language. The result also allows rewrite methods to be applied in a greater range of situations and examples, in terms of induced actions of monoids, categories, groups or groupoids.


title: One-sided Noncommutative Groebner Bases with Applications to Green's Relations

abstract: Standard noncommutative Gr\"obner basis procedures are used for computing ideals of free noncommutative polynomial rings over fields. This paper describes Gr\"obner basis procedures for one-sided ideals in finitely presented noncommutative algebras over fields. The polynomials defining a $K$-algebra $A$ as a quotient of a free $K$-algebra are combined with the polynomials defining a one-sided ideal $I$ of $A$, by using a tagging notation. Standard noncommutative Gr\"obner basis techniques can then be applied to the mixed set of polynomials, thus calculating $A/I$ whilst working in a free structure, avoiding the complication of computing in $A$. The paper concludes by showing how the results can be applied to completable presentations of semigroups and so enable calculations of Green's relations.


title: An obstructed bundle on a Calabi-Yau 3-fold

abstract: Mirror symmetry suggests that on a Calabi-Yau 3-fold moduli spaces of stable bundles, especially those with degree zero and indivisible Chern class, might be smooth (i.e. unobstructed, though perhaps of too high a dimension). This is because smoothly embedded special lagrangian cycles in the mirror have unobstructed deformations. As there does not seem to be a counterexample in the literature we provide one here, showing that such a Tian-Todorov-McLean-type result cannot hold.


title: A Generalised Stern-Brocot Tree from Regular Diophantine Quadruples

abstract: Diophantine quadruples are sets of four distinct positive integers such that the product of any two is one less than a square. All known examples belong to an infinite set which can be constructed recursively. Some observations on these regular solutions are presented. In particular we see how factors of the four numbers satisfy relations which generalise the Stern-Brocot Tree. There is also an update on the search for rational Diophantine sextuples with five new examples.


title: On the Kontsevich and the Campbell-Baker-Hausdorff deformation quantizations of a linear Poisson structure

abstract: For the Kirillov-Poisson structure on the vector space $\g^*$, where $\g$ is a finite-dimensional Lie algebra, it is known at least two canonical deformations quantization of this structure: they are the M. Kontsevich universal formula [K], and the formula, arising from the classical Campbell-Baker-Hausdorff formula [Ka]. It was proved in [Ka] that the last formula is exactly the part of Kontsevich's formula consisting of all the admissible graphs without (oriented) cycles between the vertices of the first type. It follows from the CBH-theorem that this part of Kontsevich's formula defines an associative product (in the case of a linear Poisson structure). The aim of these notes is to prove the last result directly, using the methods analogous to [K] instead of the CBH-formula. We construct an $L_\infty$-morphism $\U_\lin\colon[T^\ndot_\poly]_\lin\to D^\ndot_\poly$ from the \dg Lie algebra of polyvector fields with linear coefficients to the \dg Lie algebra of polydifferential operators, which is not equal to the restriction of the Formality $L_\infty$-morphism $\U\colon T^\ndot_\poly\to D^\ndot_\poly$ [K] to the subalgebra $[T^\ndot_\poly]_\lin$. For a bivector field $\alpha$ with linear coefficients such that $[\alpha,\alpha]=0$ the corresponding solution $\U_\lin(\alpha)$ of the Maurer-Cartan equation in $D^\ndot_\poly$ defines exactly the CBH-quantization,in the case of the harmonic angle map [K], Sect.2.We prove the associativity of the restricted Kontsevich formula (in the linear case) also for any angle map [K], Sect.6.2.


title: Hessian quartic surfaces that are Kummer surfaces

abstract: In 1899, Hutchinson presented a way to obtain a three-parameter family of Hessians of cubic surfaces as blowups of Kummer surfaces. We show that this family consists of those Hessians containing an extra class of conic curves. Based on this, we find the invariant of a cubic surface C in pentahedral form that vanishes if its Hessian is in Hutchinson's family, and we give an explicit map between cubic surfaces in pentahedral form and blowups of Kummer surfaces.


title: Quantum vertex algebras

abstract: The purpose of this paper is to make the theory of vertex algebras trivial. We do this by setting up some categorical machinery so that vertex algebras are just ``singular commutative rings'' in a certain category. This makes it easy to construct many examples of vertex algebras, in particular by using an analogue of the construction of a twisted group ring from a bicharacter of a group. We also define quantum vertex algebras as singular braided rings in the same category and construct some examples of them. The constructions work just as well for higher dimensional analogues of vertex algebras.


title: On the Lower Garland of Certain Subgroup Lattices in Linear Groups

abstract: We describe here the lower garland of some lattices of intermediate subgroups in linear groups. The results are applied to the case of subgroup lattices in general and special linear groups over a class of rings, containing the group of rational points T of a maximal non-split torus in the corresponding algebraic group. It turns out that these garlands coincide with the interval of the whole lattice, consisting of subgroups between T and its normalizer.


title: Applications of Kawamata's positivity theorem

abstract: In this paper we treat some applications of Kawamata's positivity theorem. We get a weak answer to \cite [Section 3]{KeMaMc}. And we investigate the singularities on the target spaces of some morphisms.


title: Base point free theorem of Reid-Fukuda type

abstract: Let $(X,\Delta)$ be a proper dlt pair and $L$ a nef Cartier divisor such that $aL-(K_X+\Delta)$ is nef and log big on $(X,\Delta)$ for some $a\in {\mathbb Z}_{>0}$. Then $|mL|$ is base point free for every $m\gg 0$.


title: An Elementary Proof of the Existence and Uniqueness Theorem for the Navier-Stokes Equations

abstract: We give a geometric approach to proving know regularity and existence theorems for the 2D Navier-Stokes Equations. We feel this point of view is instructive in better understanding the dynamics. The technique is inspired by constructions in the Dynamical Systems.

categories: math.AP chao-dyn math-ph math.DS math.FA math.MP nlin.CD physics.flu-dyn


title: Boundedness of Q-Fano varieties of Picard number one

abstract: We prove the birational boundedness of Q-Fano varieties with Picard number one and dimension $n$ for every $n$. We do not use Mori theory.


title: Focal loci of families and the genus of curves on surfaces

abstract: In this article we apply the classical method of focal loci of families to give a lower bound for the genus of curves lying on general surfaces. First we translate and reprove Xu's result that any curve C on a general surface in P^3 of degree d>4 has geometric genus g > 1 + deg(C)(d - 5)/2. Then we prove a similar lower bound for the curves lying on a general surface in a given component of the Noether-Lefschetz locus in P^3 and on a general projectively Cohen-Macaulay surface in P^4.


title: Addendum to: On fibre space structures of a projective irreducible symplectic manifold

abstract: In this note, we prove that every fibre space structures of a projective irreducible symplectic manifold is a lagrangian fibration.


title: The Geometry of Hyperbolic and Elliptic CR-manifolds of codimension two

abstract: The general theory of parabolic geometries is applied to the study of the normal Cartan connections for all hyperbolic and elliptic 6-dimensional CR-manifolds of codimension two. The geometric meaning of the individual components of the torsion is explained and the chains of dimensions one and two are discussed. This seems to be the first application of the general methods to a geometry with a non-connected and non-simple structure group.


title: Gromov compactness theorem for stable curves

abstract: We give a proof of the Gromov compactness theorem using the language of stable curves (i.e. cusp-curve of Gromov, or stable maps of Kontsevich and Manin) in general setting: An almost complex structure on a target manifold is only continuous and can vary; the curves are only assumed to have fixed ``topological type'', in particular they can be non-closed and the complex structures on them can vary arbitrarily. In connection with this, we study in \S 2 moduli spaces of nodal curves with boundary and define a natural complex structure for such moduli spaces. We obtain an apriori estimate for pseudoholomorphic maps of ``long cylinders'' (see \S 3), which gives a uniform description for degeneration of complex structure on the curves and for the ``bubbling'' phenomenon. It also implies the Hausdorff convergence of the curves. We also prove in \S 5 the compactness theorem for curves with boundary on totally real submanifolds. For this ``boundary'' case we give appropriate generalizations of all ``inner'' constructions and estimates.


title: A Revision Theoretic Model for NF

abstract: Using techniques developed in the revision theory of truth, I build a model for the set theory NF (New Foundations) developed by Quine in ZF, therefore proving its consistency relative to ZF. The model is essentially a term model; the sets of NF are interpreted as equivalence classes of closed stratified terms of a language that is a slight modification of that of NF.


title: Graded Lagrangian submanifolds

abstract: In the usual setup, the grading on Floer homology is relative: it is unique only up to adding a constant. "Graded Lagrangian submanifolds" are Lagrangian submanifolds with a bit of extra structure, which fixes the ambiguity in the grading. The idea is originally due to Kontsevich. This paper contains an exposition of the theory. Several applications are given, amongst them: (1) topological restrictions on Lagrangian submanifolds of projective space, (2) the existence of "symplectically knotted" Lagrangian spheres on a K3 surface, (3) a result about the symplectic monodromy of weighted homogeneous hypersurface singularities. Revised version: minor modifications, journal reference added.


title: Quantum Obstruction Theory

abstract: We use topological quantum field theory to derive an invariant of a three-manifold with boundary. We then show how to use this invariant as an obstruction to embedding one three-manifold in another.


title: One-skeleta, Betti numbers and equivariant cohomology

abstract: The one-skeleton of a G-manifold M is the set of points p in M where $\dim G_p \geq \dim G -1$; and M is a GKM manifold if the dimension of this one-skeleton is 2. Goresky, Kottwitz and MacPherson show that for such a manifold this one-skeleton has the structure of a ``labeled" graph, $(\Gamma, \alpha)$, and that the equivariant cohomology ring of M is isomorphic to the ``cohomology ring'' of this graph. Hence, if M is symplectic, one can show that this ring is a free module over the symmetric algebra $\SS(\fg^*)$, with $b_{2i}(\Gamma)$ generators in dimension 2i, $b_{2i}(\Gamma)$ being the ``combinatorial'' 2i-th Betti number of $\Gamma$. In this article we show that this ``topological'' result is , in fact, a combinatorial result about graphs.


title: The non-commutative Weil algebra

abstract: Let G be a connected Lie group with Lie algebra g. The Duflo map is a vector space isomorphism between the symmetric algebra S(g) and the universal enveloping algebra U(g) which, as proved by Duflo, restricts to a ring isomorphism from invariant polynomials onto the center of the universal enveloping algebra. The Duflo map extends to a linear map from compactly supported distributions on the Lie algebra g to compactly supported distributions on the Lie group G, which is a ring homomorphism for G-invariant distributions. In this paper we obtain analogues of the Duflo map and of Duflo's theorem in the context of equivariant cohomology of G-manifolds. Our result involves a non-commutative version of the Weil algebra and of the de Rham model of equivariant cohomology.


title: Locality in GNS Representations of Deformation Quantization

abstract: In the framework of deformation quantization we apply the formal GNS construction to find representations of the deformed algebras in pre-Hilbert spaces over $\mathbb C[[\lambda]]$ and establish the notion of local operators in these pre-Hilbert spaces. The commutant within the local operators is used to distinguish `thermal' from `pure' representations. The computation of the local commutant is exemplified in various situations leading to the physically reasonable distinction between thermal representations and pure ones. Moreover, an analogue of von Neumann's double commutant theorem is proved in the particular situation of a GNS representation with respect to a KMS functional and for the Schr\"odinger representation on cotangent bundles. Finally we prove a formal version of the Tomita-Takesaki theorem.


title: Solving the quintic by iteration in three dimensions

abstract: The requirement for solving a polynomial is a means of breaking its symmetry, which in the case of the quintic, is that of the symmetric group S_5. Induced by its five-dimensional linear permutation representation is a three-dimensional projective action. A mapping of complex projective 3-space with this S_5 symmetry can provide the requisite symmetry-breaking tool. The article describes some of the S_5 geometry in CP^3 as well as several maps with particularly elegant geometric and dynamical properties. Using a rational map in degree six, it culminates with an explicit algorithm for solving a general quintic. In contrast to the Doyle-McMullen procedure - three 1-dimensional iterations, the present solution employs one 3-dimensional iteration.


title: On the z-degree of the Kauffman polynomial of a tangle decomposition

abstract: We give an upper bound on the z-degree of the Kauffman polynomial of a link, using bridges of length greater than one which are separated in some tangle decomposition of a link diagram. We construct some examples by wiring together rational tangles.


title: Canonical framings for 3-manifolds

abstract: Canonical framings and stable framings for the tangent bundle of a spin 3-manifold are introduced, and illustrated by a number of familiar examples. Methods for constructing canonical framings, and for comparing them with other naturally defined framings, are discussed.


title: On knot invariants which are not of finite type

abstract: We observe that most known results of the form "v is not a finite-type invariant" follow from two basic theorems. Among those invariants which are not of finite type, we discuss examples which are "ft-independent" and examples which are not. We introduce (n,q)-finite invariants, which are generalizations of finite-type invariants based on Fox's (n,q) congruence classes of knots.


title: On infinitesimal deformations and obstructions for rational surface singularities

abstract: The purpose of this paper is to prove dimension formulas for $T^1$ and $T^2$ for rational surface singularities. These modules play an important role in the deformation theory of isolated singularities in analytic and algebraic geometry. The first may be identified as the Zariski tangent space of the versal deformation of the singularity; i.e. it is the space of infinitesimal deformations. The second contains the obstruction space -- in all known cases it is the whole obstruction space for rational surface singularities.


title: Principal Nilpotent pairs in a semisimple Lie algebra, I

abstract: This is the first of a series of papers devoted to certain pairs of commuting nilpotent elements in a semisimple Lie algebra that enjoy quite remarkable properties and which are expected to play a major role in Representation theory. The properties of these pairs and their role is similar to those of the principal nilpotents. To any principal nilpotent pair we associate a two-parameter analogue of the Kostant partition function, and propose the corresponding two-parameter analogue of the weight multiplicity formula. In a different direction, each principal nilpotent pair gives rise to a harmonic polynomial on the Cartesian square of the Cartan subalgebra, that transforms under an irreducible representation of the Weyl group. In the special case of sl_n, the conjugacy classes of principal nilpotent pairs and the irreducible representations of the Symmetric group, S_n, are both parametrised (in a compatible way) by Young diagrams. In general, our theory provides a natural generalization to arbitrary Weyl groups of the classical construction of simple S_n-modules in terms of Young's symmetrisers.


title: The Adjunction Conjecture and its applications

abstract: We discuss adjunction formulas for fiber spaces and embeddings, extending the known results along the lines of the Adjunction Conjecture, independently proposed by Y. Kawamata and V.V. Shokurov. As an application, we simplify Koll\'ar's proof for the Anghern and Siu's quadratic bound in the Fujita's Conjecture. We also connect adjunction and its precise inverse to the problem of building isolated log canonical singularities.


title: A Polya-Hilbert operator for automorphic L-functions

abstract: We generalize the first part of A. Connes paper (math/9811068) on the zeroes of the Riemann zeta function from a number field $k$ to any simple algebra $M$ over $k$. To a given automorphic representation $\pi$ of the reductive group $M^\times$ of invertible elements of $M$ we find a Hilbert space $H_\pi$ and an operator $D_\pi$ (Polya-Hilbert operator), which is the infinitesimal generator of a canonical flow such that the spectrum of $D_\pi$ coincides with the purely imaginary zeroes of the function $L(\pi,\rez{2} +z)$. As a byproduct we get holomorphicity of all automorphic $L$-functions, not only the cuspidal ones.