title: Finitely generated function fields and complexity in potential theory in the plane

abstract: We prove that the Bergman kernel function associated to a finitely connected domain in the plane is given as a rational combination of only three basic functions of one complex variable: an Alhfors map, its derivative, and one other function whose existence is deduced by means of the field of meromorphic functions on the double of the domain. Because many other functions of conformal mapping and potential theory can be expressed in terms of the Bergman kernel, our results shed light on the complexity of these objects. We also prove that the Bergman kernel is an algebraic function of a single Ahlfors map and its derivative. It follows that many objects of potential theory associated to a multiply connected domain are algebraic if and only if the domain is a finite branched cover of the unit disc via an algebraic holomorphic mapping.


title: Brownian Sheet Images and Bessel-Riesz Capacity

abstract: We show that the image of a 2-dimensional set under d-dimensional, 2-parameter Brownian sheet can have positive Lebesgue measure, if and only if the set in question has positive (d/2)-dimensional Bessel-Riesz capacity. Our methods solve a problem of J.-P. Kahane.


title: A Dyson realization and a Holstein-Primakoff realization for the quantum superalgebra $U_q[gl(n/m)]$

abstract: The Holstein-Primakoff and the Dyson realizations of the Lie superalgebra $gl(n/m)$ are generalized to the class of the quantum superalgebras $U_q[gl(n/m)]$ for any $n$ and $m$. It is shown how the elements of $U_q[gl(n/m)]$ can be expressed via $n-1$ pairs of Bose creation and annihilation operators and $m$ pairs of Fermi creation and annihilation operators.

categories: math.QA cond-mat hep-th math-ph math.MP nucl-th


title: Ramsey dichotomies with ordinal index

abstract: A system of uniform families on an infinite subset $M$ of $\nn$ is a collection $(\cca_{\xi})_{\xi<\omega_1}$ of families of finite subsets of $\nn$ (where, $\cca_k$ consists of all $k$--element subset of $M$, for $k\in \nn$) with the properties that each $\cca_{\xi}$ is thin (i.e. it does not contain proper initial segments of any of its element) and the Cantor--Bendixson index, defined for $\cca_{\xi}$, is equal to $\xi+1$ and stable when we restrict ourselves to any subset of $M$. We indicate how to extend the generalized Schreier families to a system of uniform families. Using that notion we establish the correct (countable) ordinal index generalization of the classical Ramsey theorem (which corresponds to the finite ordinal indices).


title: The complete separable extension property

abstract: This work introduces operator space analogues of the Separable Extension Property (SEP) for Banach spaces; the Complete Separable Extension Property (CSEP) and the Complete Separable Complemention Property (CSCP). The results use the technique of a new proof of Sobczyk's Theorem, which also yields new results for the SEP in the non-separable situation, e.g., $(\oplus_{n=1}^\infty Z_n)_{c_0}$ has the $(2+\ep)$-SEP for all $\ep>0$ if $Z_1,Z_2,...$ have the 1-SEP; in particular, $c_0 (\ell^\infty)$ has the SEP. It is proved that e.g., $c_0(\bR\oplus\bC)$ has the CSEP (where $\bR$, $\bC$ denote Row, Column space respectively) as a consequence of the general principle: if $Z_1,Z_2,...$ is a uniformly exact sequence of injective operator spaces, then $(\oplus_{n=1}^\infty Z_n)_{c_0}$ has the CSEP. Similarly, e.g., $\bK_0 \defeq (\oplus_{n=1}^\infty M_n)_{c_0}$ has the CSCP, due to the general principle: $(\oplus_{n=1}^\infty Z_n)_{c_0}$ has the CSCP if $Z_1,Z_2,...$ are injective separable operator spaces. Further structural results are obtained for these properties, and several open problems and conjectures are discussed.


title: Genus n Banach spaces

abstract: We show that the classification problem for genus n Banach spaces can be reduced to the unconditionally primary case and that the critical case there is n=2. It is further shown that a genus n Banach space is unconditionally primary if and only if it contains a complemented subspace of genus (n-1). We begin the process of classifying the genus 2 spaces by showing they have a strong decomposition property.


title: On constructions of strong and uniformly minimal M-bases in Banach spaces

abstract: We find a natural class of transformations ("flattened perturbations") of a norming M-basis in a Banach space X, which give a strong norming M-basis in X. This simplifies and generalizes the positive answer to the "strong M-basis problem" solved by P. Terenzi. We also show that in general one cannot achieve uniformly minimality applying standard transformations to a given norming M-basis, despite of the existence in X a uniformly minimal strong M-bases.


title: Some more weak Hilbert spaces

abstract: We give new examples of weak Hilbert spaces.


title: A note on sums of independent random variables

abstract: In this note a two sided bound on the tail probability of sums of independent, and either symmetric or nonnegative, random variables is obtained. We utilize a recent result by Lata{\l}a on bounds on moments of such sums. We also give a new proof of Lata{\l}a's result for nonnegative random variables, and improve one of the constants in his inequality.


title: Rational points of the group of components of a Neron model

abstract: Let A_K be an abelian variety over a discrete valuation field K. Let A be the Neron model of A_K over the ring of integers O_K of K and A_k its special fibre. We study the set of rational points of the group of components \phi_A of A_k. In particular, we look at the cases where A_K is a Jacobian or where A_K is an abelian variety having semi-stable reduction. We also consider algebraic tori over K instead of abelian varieties.


title: On the existence of doubling measures with certain regularity properties

abstract: Given a compact pseudo-metric space, we associate to it upper and lower dimensions, depending only on the metric. Then we construct a doubling metric for which the measure of a dillated ball is closely related to these dimensions.


title: On atypical values and local monodromies of meromorphic functions

abstract: A meromorphic function on a compact complex analytic manifold defines a $\bc\infty$ locally trivial fibration over the complement of a finite set in the projective line $\bc\bp^1$. We describe zeta-functions of local monodromies of this fibration around atypical values. Some applications to polynomial functions on $\bc^n$ are described.


title: Dominions in varieties of nilpotent groups

abstract: We investigate the concept of dominion (in the sense of Isbell) in several varieties of nilpotent groups. We obtain a full description of dominions in the variety of nilpotent groups of class at most two. Then we look at the behavior of dominions of subgroups of groups in ${\cal N}_2$ when taken in the context of ${\cal N}_c$ with $c>2$. Finally we establish the existence of nontrivial dominions in the category of all nilpotent groups.


title: Nodal curves and postulation of generic fat points on surfaces

abstract: Let X be a smooth projective surface. Here we study the postulation of a general union Z of fat points of X, when most of the connected components of Z have multiplicity 2. This problem is related to the existence of "good" families of curves on X, with prescribed singularities, most of them being nodes, and to the cohomology of suitable line bundles on blowing ups of X. More precise statements are obtained in the case X=P^2.


title: On conditional expectations of finite index

abstract: For a conditional expectation E on a (unital) C*-algebra A there exists a real number K>=1 such that the mapping (K.E-id_A) is positive if and only if there exists a real number L>=1 such that the mapping (L.E-id_A) is completely positive, among other equivalent conditions. The estimate min(K) <= min(L) <= min(K).[min(K)] is valid, where [.] denotes the integer part of a real number. As a consequence the notion of a 'conditional expectation of finite index' is identified with that class of conditional expectations, which extends and completes results of M. Pimsner, S. Popa; M. Baillet, Y. Denizeau, J.-F. Havet; Y. Watatani, and others. Situations for which the index value and the Jones' tower exist are described in the general setting. In particular, the Jones' tower always exists in the W*-case and for Ind(E) in E(A) in the C*-case. Furthermore, normal conditional expectations of finite index commute with the general W*-projections to their finite, infinite, discrete and continuous type I, type II_1, type II_\infty and type III parts, i.e. the respective projections in the centers of the initial and the image W*-algebra coincide. We give an interpretation of our result in terms of non-commutative topology and indicate some dimension estimation formulae and an inequality.


title: Rational Curves on K3 Surfaces

abstract: We proved the existence of rational curves in every linear system on a general K3 surface and that all rational curves in the hyperplane class are nodal on a general K3 surface of small genus.


title: Ordinal computers

abstract: Can a computer which runs for time $\omega^2$ compute more than one which runs for time $\omega$? No. Not, at least, for the infinite computer we describe. Our computer gets more powerful when the set of its steps gets larger. We prove that they theory of second order arithmetic cannot be decided by computers running to countable time.


title: On the Fay identity for KdV tau functions and the identity for the Wronskian of squared solutions of Sturm-Liouville equation

abstract: We show that the well known identity for the Wronskian of squared solutions of a Sturm-Liouville equation follows from the Fay identity. We also study some odd-order (($2^n -1$)-order, $ n = 2, 3, ...$) identities which are specific for tau functions, related to the KdV hierarchy.


title: M_g is a union of g-1 affine open subsets

abstract: Paper withdrawn. (Lemma 2.1 is false.)


title: Conjecture de Globevnik-Stout et theoreme de Morera pour une chaine holomorphe

abstract: Let $D\subset\subset\mathbb{C}^n$ be a complex manifold of dimension $p\geq 2$ with $\C^2$ boundary in $\mathbb{C}^n$. Let $f$ be a $\C^1$ function on $bD$ and $V$ a generic and large enough family of complex $(n-p+1)$-planes. Let suppose that for $\nu\in V$, no connected component of $bD\cap \mathbb{C}^{n-p+1}_\nu$ is "almost" real analytic and that $f$ extends holomorphically in $D\cap\mathbb{C}^{n-p+1}_\nu$. Then $f$ extend as a holomorphic function in $D$. In a special case, this result gives a partial answer to a conjecture of Globevnik-Stout. By generalizing the theorem of Harvey-Lawson, we prove a Morera type theorem for the boundary problem in $\mathbb{C}^n$ which answer to a problem asked by Dolbeault and Henkin.


title: Generalized quantum current algebras

abstract: Two general families of new quantum deformed current algebras are proposed and identified both as infinite Hopf family of algebras, a structure which enable one to define ``tensor products'' of these algebras. The standard quantum affine algebras turn out to be a very special case of both algebra families, in which case the infinite Hopf family structure degenerates into standard Hopf algebras. The relationship between the two algebra families as well as their various special examples are discussed, and the free boson representation is also considered.


title: Fukaya Floer homology of $\Sigma \times S^1$ and applications

abstract: We determine the Fukaya Floer homology of the three-manifold which is the product of a Riemann surface of genus $g\geq 1$ times the circle. This sets up the groundwork for finding the structure of the Donaldson invariants of four-manifolds not of simple type in the future. We give the following applications: 1) We show that every four-manifold with $b^+>1$ is of finite type. 2) Some results relevant to Donaldson invariants of connected sums along surfaces. 3) We find the invariants of the product of two Riemann surfaces both of genus greater or equal than one.


title: On a Functional Differential Equation of Determinantal Type

abstract: We solve the functional equations $$ \begin{vmatrix} 1 & 1 & 1 f(x) & f(y) & f(z) f\sp{\prime}(x)& f\sp{\prime}(y)& f\sp{\prime}(z) \end{vmatrix} =0,\quad\quad \begin{vmatrix} 1 & 1 & 1 f(x) & g(y) & h(z) \\ f\sp{\prime}(x)& g\sp{\prime}(y)& h\sp{\prime}(z) \end{vmatrix} =0, for suitable functions $f$, $g$ and $h$ subject to $x+y+z=0$. These equations essentially characterise the Weierstrass $\wp$-function and its degenerations. %\quad\quad x+y+z=0. $$

categories: math.CA math-ph math.MP nlin.SI solv-int


title: Compactification of moduli of Higgs bundles

abstract: In this paper we consider a canonical compactification of Hitchin's moduli space of stable Higgs bundles with fixed determinant of odd degree over a Riemann surface, producing a projective variety by gluing in a divisor at infinity. We give a detailed study of the compactified space, the divisor at infinity and the moduli space itself. In doing so we reprove some assertions of Laumon and Thaddeus on the nilpotent cone.


title: On the bicrossproduct structures for the ${\cal U}_\lambda(iso_{\omega_2... \omega_N}(N))$ family of algebras

abstract: It is shown that the family of deformed algebras ${\cal U}_\lambda(iso_{\omega_2... \omega_N}(N))$ has a different bicrossproduct structure for each $\omega_a=0$ in analogy to the undeformed case.


title: Bihomogeneity and Menger manifolds

abstract: For every triple of integers a, b, and c, such that a>O, b>0, and c>1, there is a homogeneous, non-bihomogeneous continuum whose every point has a neighborhood homeomorphic the Cartesian product of three Menger compacta m^a, m^b, and m^c. In particular, there is a homogeneous, non-bihomogeneous, Peano continuum of covering dimension four.


title: Point processes and the infinite symmetric group. Part I: The general formalism and the density function

abstract: We study a 2-parametric family of probability measures on an infinite-dimensional simplex (the Thoma simplex). These measures originate in harmonic analysis on the infinite symmetric group (S.Kerov, G.Olshanski and A.Vershik, Comptes Rendus Acad. Sci. Paris I 316 (1993), 773-778). Our approach is to interpret them as probability distributions on a space of point configurations, i.e., as certain point stochastic processes, and to find the correlation functions of these processes. In the present paper we relate the correlation functions to the solutions of certain multidimensional moment problems. Then we calculate the first correlation function which leads to a conclusion about the support of the initial measures. In the appendix, we discuss a parallel but more elementary theory related to the well-known Poisson-Dirichlet distribution. The higher correlation functions are explicitly calculated in the subsequent paper (A.Borodin, math.RT/9804087). In the third part (A.Borodin and G.Olshanski, math.RT/9804088) we discuss some applications and relationships with the random matrix theory. The goal of our work is to understand new phenomena in noncommutative harmonic analysis which arise when the irreducible representations depend on countably many continuous parameters.

categories: math.RT cond-mat hep-th math.PR nlin.SI solv-int


title: Point Processes and the Infinite Symmetric Group. Part II: Higher Correlation Functions

abstract: We continue the study of the correlation functions for the point stochastic processes introduced in Part I (G.Olshanski, math.RT/9804086). We find an integral representation of all the correlation functions and their explicit expression in terms of multivariate hypergeometric functions. Then we define a modification (``lifting'') of the processes which results in a substantial simplification of the structure of the correlation functions. It turns out that the ``lifted'' correlation functions are given by a determinantal formula involving a kernel. The latter has the form (A(x)B(y)-B(x)A(y))/(x-y), where A and B are certain Whittaker functions. Such a form for correlation functions is well known in the random matrix theory and mathematical physics. Finally, we get some asymptotic formulas for the correlation functions which are employed in Part III (A.Borodin and G.Olshanski, math.RT/9804088).


title: Point processes and the infinite symmetric group. Part III: Fermion point processes

abstract: In Part I (G.Olshanski, math.RT/9804086) and Part II (A.Borodin, math.RT/9804087) we developed an approach to certain probability distributions on the Thoma simplex. The latter has infinite dimension and is a kind of dual object for the infinite symmetric group. Our approach is based on studying the correlation functions of certain related point stochastic processes. In the present paper we consider the so-called tail point processes which describe the limit behavior of the Thoma parameters (coordinates on the Thoma simplex) with large numbers. The tail processes turn out to be stationary processes on the real line. Their correlation functions have determinantal form with a kernel which generalizes the well-known sine kernel arising in random matrix theory. Our second result is a law of large numbers for the Thoma parameters. We also produce Sturm-Liouville operators commuting with the Whittaker kernel introduced in Part II and with the generalized sine kernel.


title: Extremal properties of the first eigenvalue of Schr\"odinger-type operators

abstract: Given a separable, locally compact Hausdorff space $X$ and a positive Radon measure $m(dx)$ on it, we study the problem of finding the potential $V(x) \ge 0$ that maximizes the first eigenvalue of the Schr\"odinger-type operator $L+V(x)$; $L$ is the generator of a local Dirichlet form $(a, D[a])$ on $L^2(X, m(dx))$.


title: Multiplicity-free representations of commutative C*-algebras and spectral properties

abstract: Let A be a commutative unital C*-algebra and let S denote its Gelfand spectrum. We give some necessary and sufficient conditions for a nondegenerate representation of A to be unitarily equivalent to a multiplicative representation on a space L^2(S, m), where m is a positive measure on the Baire sets of S. We also compare these conditions with the multiplicity-free property of a representation.


title: Spherically symmetric Dirac operators with variable mass and potentials infinite at infinity

abstract: We study the spectrum of spherically symmetric Dirac operators in three-dimensional space with potentials tending to infinity at infinity under weak regularity assumptions. We prove that purely absolutely continuous spectrum covers the whole real line if the potential dominates the mass, or scalar potential, term. In the situation where the potential and the scalar potential are identical, the positive part of the spectrum is purely discrete; we show that the negative half-line is filled with purely absolutely continuous spectrum in this case.


title: Quantum algebraic tori

abstract: The author introduces the notion of a quantum form of an algebraic torus. In the case of diagonal algebraic torus we get the algebra of Laurent twisted polynomials. Quantum algebraic torus can be characterized in terms of exact sequences. The author study the center of QAT. In the case of roots of 1 the new examples of central simple algebras are constructed.


title: Matrix Compact Sets and Operator Approximation Properties

abstract: The relationship between the operator approximation property and the strong operator approximation property has deep significance in the theory of operator algebras. The original definitions of Effros and Ruan, unlike the classical analogues, make no mention of compact operators or compact sets. In this paper we introduce ``compact matrix sets'' which correspond to the two different operator approximation properties, and show that a space has the operator approximation property if and only if the ``operator compact'' operators are contained in the closure of the finite rank operators. We also investigate when the two types of compactness agree, and introduce a natural condition which guarantees that they do.


title: Spectrum of compact manifolds with high genus

abstract: In this paper we study the behavior of the spectrum of a compact, connected Riemannian manifold $(M,g)$ of dimension $d \ge 2$, when we add an increasing number of increasingly small handles. No assumptions on any of the curvatures are needed.


title: Family Blow Up Formula, Admissible Graphs and the counting of Nodal Curves

abstract: The family Blow Up formula is recalled. Certain combinatoric graphs are introduced for the discussion of the counting of nodal curves on an Kahler surface.


title: Rigidity of area minimizing tori in 3-manifolds of nonnegative scalar curvature

abstract: The following version of a conjecture of Fischer-Colbrie and Schoen is proved: If M is a complete Riemannian 3-manifold with nonnegative scalar curvature which contains a two-sided torus S which is of least area in its isotopy class then M is flat. This follows from a local version derived in the paper.


title: Complete moduli for fibered surfaces

abstract: Families of stable curves of genus $\gamma$ over a smooth curve $C$ correspond to morphisms from $C$ to the moduli stack of stable curves $\bar{\cal M}_\gamma$. It is natural to compactify the corresponding moduli problem using stable maps into the stack. In order to get a complete moduli problem, the source curves must acquire extra structure, and you will have to read the paper to find what that is. In this paper, we define these stable maps into $\bar{\cal M}_\gamma$ in characteristic 0, and show that they form a proper Deligne-Mumford stack admitting a projective coarse moduli space. A comparison with Alexeev's work is given. Natural generalizations for stable maps into other Deligne-Mumford stacks will appear in a follow up paper, along with applications to areas such as admissible covers, level structures and higher dimensional families.


title: Geometry of the Complex of Curves I: Hyperbolicity

abstract: The Complex of Curves on a Surface is a simplicial complex whose vertices are homotopy classes of simple closed curves, and whose simplices are sets of homotopy classes which can be realized disjointly. It is not hard to see that the complex is finite-dimensional, but locally infinite. It was introduced by Harvey as an analogy, in the context of Teichmuller space, for Tits buildings for symmetric spaces, and has been studied by Harer and Ivanov as a tool for understanding mapping class groups of surfaces. In this paper we prove that, endowed with a natural metric, the complex is hyperbolic in the sense of Gromov. In a certain sense this hyperbolicity is an explanation of why the Teichmuller space has some negative-curvature properties in spite of not being itself hyperbolic: Hyperbolicity in the Teichmuller space fails most obviously in the regions corresponding to surfaces where some curve is extremely short. The complex of curves exactly encodes the intersection patterns of this family of regions (it is the "nerve" of the family), and we show that its hyperbolicity means that the Teichmuller space is "relatively hyperbolic" with respect to this family. A similar relative hyperbolicity result is proved for the mapping class group of a surface. We also show that the action of pseudo-Anosov mapping classes on the complex is hyperbolic, with a uniform bound on translation distance.


title: On q-analogues of Riemann's zeta

abstract: In the paper, we introduce $q$-deformations of the Riemann zeta function, extend them to the whole complex plane, and establish certain estimates of the number of roots. The construction is based on the recent difference generalization of the Harish-Chandra theory of zonal spherical functions. We also discuss numerical results, which indicate that the location of the zeros of the $q$-zeta functions is far from random.


title: Calculating zeros of a q-zeta function numerically

abstract: The note is a continuation of the previous paper ``On q-analogues of Riemann's zeta'' (math.QA/980499). It contains an output of the computer program calculating the zeros of the ``sharp'' q-zeta function.


title: Viewing AF-algebras as graph algebras

abstract: Every AF-algebra arises as a graph algebra in the sense of Kumjian, Pask, Raeburn, and Renault. For AF-algebras, the diagonal subalgebra defined by Stratila and Voiculescu is consistent with Kumjian's notion of diagonal, and the groupoid arising from a well-chosen Bratteli diagram for A coincides with Kumjian's twist groupoid constructed from a diagonal of A.


title: Multidimensional analogues of Bohr's theorem on power series

abstract: Generalizing the classical result of Bohr, we show that if an n-variable power series converges in an n-circular bounded complete domain D and its sum has modulus less than 1, then the sum of the maximum of the moduli of the terms is less than 1 in the homothetic domain r*D, where r = 1 - (2/3)^(1/n). This constant is near to the best one for the domain D = {z: |z_1| + ... + |z_n| < 1}.


title: Quantum Galois theory for compact Lie groups

abstract: We establish a quantum Galois correspondence for compact Lie groups of automorphisms acting on a simple vertex operator algebra.


title: Unitaires multiplicatifs en dimension finie et leurs sous-objets

abstract: A pre-subgroup of a multiplicative unitary $V$ on a finite dimensionnal Hilbert space $H$ is a vector line $L$ in $H$ such that $V(L\otimes L)=L\otimes L$. We show that there are finitely many pre-subgroups, give a Lagrange theorem and generalize the construction of a `bi-crossed product'. Moreover, we establish bijections between pre-subgroups and coideal subalgebras of the Hopf algebra associated with $V$, and therefore with the intermediate subfactors of the associated (depth two) inclusions. Finally, we show that the pre-subgroups classify the subobjects of $(H,V)$.


title: Signatures and Higher Signatures of $S^1$-Quotients

abstract: We define and study the signature, A-hat genus and higher signatures of the quotient space of an $S^1$-action on a closed oriented manifold. We give applications to questions of positive scalar curvature and to an Equivariant Novikov Conjecture.


title: Obstructions to Coherence: Natural Noncoherent Associativity

abstract: We study what happens when coherence fails. Categories with a tensor product and a natural associativity isomorphism that does not necessarily satisfy the pentagon coherence requirements (called associative categories) are considered. Categorical versions of associahedra where naturality squares commute and pentagons do not, are constructed (called Catalan groupoids, $\An$). These groupoids are used in the construction of the free associative category. They are also used in the construction of the theory of associative categories (given as a 2-sketch). Generators and relations are given for the fundamental group, $\pi(\An)$, of the Catalan groupoids -- thought of as a simplicial complex. These groups are shown to be more than just free groups. Each associative category, $B$, has related fundamental groups $\pi(\bf B_n)$ and homomorphisms $\pi(P_n):\pi(\An) \longrightarrow \pi(\bf B_n)$. If the images of the $\pi(P_n)$ are trivial, i.e. there is only one associativity path between any two objects, then the category is coherent. Otherwise the images of $\pi(P_n)$ are obstructions to coherence. Some progress is made in classifying noncoherence of associative categories.


title: Abelian surfaces in toric 4-folds

abstract: We investigate the possibility of embedding minimal abelian surfaces in smooth toric 4-folds with Picard number 2. The existence of such an embedding imposes conditions on the 4-fold, which we partly describe. On the other hand, we exhibit such embeddings in a special case, using a simple description of morphisms into smooth toric varieties.


title: Algebraic and symplectic Gromov-Witten invariants coincide

abstract: For a complex projective manifold Gromov-Witten invariants can be constructed either algebraically or symplectically. Using the versions of Gromov-Witten theory by Behrend and Fantechi on the algebraic side and by the author on the symplectic side, we prove that both points of view give the same results. A similar statement has been obtained independently by Li and Tian using their definitions of algebraic and symplectic Gromov-Witten invariants (alg-geom/9712035).


title: X-inner automorphisms of semi-commutative quantum algebras

abstract: Many important quantum algebras such as quantum symplectic space, quantum Euclidean space, quantum matrices, $q$-analogs of the Heisenberg algebra and the quantum Weyl algebra are semi-commutative. In addition, enveloping algebras $U(L_+)$ of even Lie color algebras are also semi-commutative. In this paper, we generalize work of Montgomery and examine the $X$-inner automorphisms of such algebras. The theorems and examples in our paper show that for algebras $R$ of this type, the non-identity $X$-inner automorphisms of $R$ tend to have infinite order. Thus if $G$ is a finite group of automorphisms of $R$, then the action of $G$ will be $X$-outer and this immediately gives useful information about crossed products $R*_tG$.


title: Canonical decomposition of manifolds with flat real projective structure into (n-1)-convex manifolds and concave affine manifolds

abstract: We try to understand the geometric properties of $n$-manifolds ($n\geq 2$) with geometric structures modeled on $(\bR P^n, \PGL(n+1, \bR))$, i.e., $n$-manifolds with projectively flat torsion free affine connections. We define the notion of $i$-convexity of such manifolds due to Carri\'ere for integers $i$, $1 \leq i \leq n-1$, which are generalization of convexity. Given a real projective $n$-manifold $M$, we show that the failure of an $(n-1)$-convexity of $M$ implies an existence of a certain geometric object, $n$-crescent, in the completion $\che M$ of the universal cover $\tilde M$ of $M$. We show that this further implies the existence of a particular type of affine submanifold in $M$ and give a natural decomposition of $M$ into simpler real projective manifolds, some of which are $(n-1)$-convex and others are affine, more specifically concave affine. We feel that it is useful to have such decomposition particularly in dimension three. Our result will later aid us to study the geometric and topological properties of radiant affine 3-manifolds leading to their classification. We get a consequence for affine Lie groups.


title: Geometry and Representations of the Quantum Supergroup OSPq(1|2n)

abstract: The quantum supergroup OSPq(1|2n) is studied systematically. A Haar functional is constructed, and an algebraic version of the Peter - Weyl theory is extended to this quantum supergroup. Quantum homogeneous superspaces and quantum homogeneous supervector bundles are defined following the strategy of Connes' theory. Parabolic induction is developed by employing the quantum homogeneous supervector bundles. Quantum Frobenius reciprocity and a generalized Borel - Weil theorem are established for the induced representations.


title: Interpolation sets for Hardy-Sobolev spaces on the boundary of the unit ball of ${\bf C}^n$

abstract: We study the interpolation sets for the Hardy-Sobolev spaces defined on the unit ball of ${\bf C}^n$. We begin by giving a natural extension to ${\bf C}^n$ of the condition that is known to be necessay and sufficient for interpolation sets lying on the boundary of the unit disc. We show that under this condition the restriction of a function in the Hardy-Sobolev space to the set always exists, and lies in a Besov space. We then show that under the assumption that there is an holomorphic distance function for the set, there is an extension operator from these spaces to the Hardy-Sobolev ones.


title: A splitting criterion for rank 2 vector bundles on hypersurfaces in P^4

abstract: We show that Horrocks' criterion for the splitting of rank two vector bundles in P^3 can be extended, with some assumptions on the Chern classes, on non singular hypersurfaces in P^4. Extension of other splitting criterion are studied.


title: Generic Projection Methods in Castelnuovo Regularity of Projective Varieties

abstract: Castelnuovo-Mumford regularity is an important invariant of projective algebraic varieties. A well known conjecture due to Eisenbud and Goto gives a bound for regularity in terms of the codimension and degree,i.e., Castelnuovo-Mumford regularity of a given variety X is less than or equal to deg(X)-codimension(X)+1. Generic projection methods proved to be effective for the study of regularity of smooth projevtive varieties of dimension at most four(cf.[BM},[K2],[L],[Pi] and [R1]) because there are nice vanishing theorems for cohomology of vector bundles (e.g. the Kodaira-Kawamata-Viehweg vanishing theorem) and detailed information about the fibers ofgeneric projections from X to a hypersurface of the same dimension. Here we show by using methods similar to those used in [K2] that $\reg{X}\le(deg(X)-codimension(X)+1)+10$ for any smooth fivefold and $\reg{X}\le(deg(X)-codimension(X)+1)+20$ for any smooth sixfold. Furthermore, using similar methods we give a bound for the regularity of an arbitrary (not necessarily locally Cohen-Macaulay) projective surface X in P^N. To wit, we show that $\reg{X}\le(d-e+1)d-(2e+1)$, where d=deg(X) and e=codimension(X). This is the first bound for surfaces which does not depend on smoothness.


title: Asymptotics of the Heat Kernel on Rank 1 Locally Symmetric Spaces

abstract: We consider the heat kernel (and the zeta function) associated with Laplace type operators acting on a general irreducible rank 1 locally symmetric space X. The set of Minakshisundaram- Pleijel coefficients {A_k(X)}_{k=0}^{\infty} in the short-time asymptotic expansion of the heat kernel is calculated explicitly.


title: The Gaussian Measure On Algebraic Varieties

abstract: We prove that the ring $\Aff{\R}{M}$ of all polynomials defined on a real algebraic variety $M\subset\R^n$ is dense in the Hilbert space $L^2(M,e^{-|x|^2}\de\mu)$, where $\de\mu$ denotes the volume form of $M$ and $\de\nu=e^{-|x|^2}\de\mu$ the Gaussian measure on $M$.


title: Chern classes of modular varieties

abstract: Let X be a Hermitian locally symmetric space. We prove that every Chern class of X has a canonical lift to the cohomology of the Baily- Borel-Satake compactification X* of X and that the resulting Chern numbers satisfy the Hirzebruch proportionality formula with respect to the compact dual X^ of X. The same result holds for any automorphic vector bundle over X in place of the tangent bundle. As a consequence there is a surjection of the subalgebra of H*(X*) generated by these lifted classes onto H*(X^). The method of proof is to construct fiberwise flat connections on these bundles near the singular strata of X*, where one then finds de Rham representatives of the Chern classes which are pulled back from the strata.


title: Curl-Free Ginzburg-Landau Vortices

abstract: For certain nonlinear elliptic PDE problems in two dimensions, the classical isoperimetric inequality produces a sharp inequality that violates a Pohozaev identity except for radial symmetric, decreasing solutions. A generalized version of this technique is used here to prove radial symmetry of curl-free Ginzburg-Landau vortices.


title: Enumeration of m-ary cacti

abstract: The purpose of this paper is to enumerate various classes of cyclically colored m-gonal plane cacti, called m-ary cacti. This combinatorial problem is motivated by the topological classification of complex polynomials having at most m critical values, studied by Zvonkin and others. We obtain explicit formulae for both labelled and unlabelled m-ary cacti, according to i) the number of polygons, ii) the vertex-color distribution, iii) the vertex-degree distribution of each color. We also enumerate m-ary cacti according to the order of their automorphism group. Using a generalization of Otter's formula, we express the species of m-ary cacti in terms of rooted and of pointed cacti. A variant of the m-dimensional Lagrange inversion is then used to enumerate these structures. The method of Liskovets for the enumeration of unrooted planar maps can also be adapted to m-ary cacti.


title: A Riemann-Roch theorem for flat bundles, with values in the algebraic Chern-Simons theory

abstract: Let $f: X \to S$ be flat morphism over an algebraically closed field $k$ with a relative normal crossings divisor $Y\subset X$, $(E, \nabla)$ be a bundle with a connection with log poles along $Y$ and curvature with values in $f^*\Omega^2_{k(S)}$. Then the Gau\ss-Manin sheaf $R^if_*(\Omega^*_{X/S}({\rm log} Y)\otimes E)$ carries a Gau\ss-Manin connection $GM^i(\nabla)$. We establish a Riemann-Roch formula relating the algebraic Chern-Simons invariants of $\nabla$, $GM^i(\nabla)$ and the top Chern class of $\Omega^1_{X/S}({\rm log}Y)$.


title: Hypergeometric Series Acceleration Via the WZ method

abstract: Based on the WZ method, some series acceleration formulas are given. These formulas allow to write down an infinite family of parametrized identities from any given identity of WZ type. Further, this family, in the case of the Riemann Zeta function, gives rise to many accelerated expressions for $\zeta(3)$. The present method produced a formula, given at the end of the paper, that was used recently Sebastian Wedeniwski to compute Apery's constant to more than 32 million digits, holding the present record!


title: q-Apery Irrationality Proofs by q-WZ Pairs

abstract: Using WZ forms, Apery-style proofs of the irrationality of the q-analogues of the Harmonic seires and Ln(2) are given. For the q-analogue of Ln(2), this method of proof produces an improved irrationality measure.


title: Motivic Decomposition and Intersection Chow Groups I

abstract: For a quasiprojective variety S, we define a category CHM(S) of pure Chow motives over S. Assuming conjectures of Grothendieck and Murre, we show that the decomposition theorem holds in CHM(S). As a consequence, the intersection complex of S makes sense as an object IS of CHM(S). In the forthcoming part II we will give an unconditional definition of intersection Chow groups and study some of their properties.


title: A Condensed Condensation Proof of a Determinant Evaluation Conjectured by Greg Kuperberg and Jim Propp

abstract: We give a generalization and a short mechanized proof of determinant conjectured by G. Kuperberg and J. Propp. Further generalizations and applications of the method to some q-analogues may be found in http://www.math.temple.edu/~tewodros


title: Maximum principles for a class of nonlinear second order elliptic differential equations

abstract: In this paper we investigate maximum principles for functionals defined on solutions to special partial differential equations of elliptic type, extending results by Payne and Philippin. We apply such maximum principles to investigate one overdetermined problem.


title: Faster and Faster convergent series for $\zeta(3)$

abstract: Using WZ pairs we present an infinite family of accelerated series for computing $\zeta(3)$.


title: A Basis for Representations of Symplectic Lie Algebras

abstract: A basis for each finite-dimensional irreducible representation of the symplectic Lie algebra sp(2n) is constructed. The basis vectors are expressed in terms of the Mickelsson lowering operators. Explicit formulas for the matrix elements of generators of sp(2n) in this basis are given. The basis is natural from the viewpoint of the representation theory of the Yangians. The key role in the construction is played by the fact that the subspace of sp(2n-2)-highest vectors in any finite-dimensional irreducible representation of sp(2n) admits a natural structure of a representation of the Yangian Y(gl(2)).


title: Quantum Hall Effect on the Hyperbolic Plane in the presence of disorder

abstract: We study both the continuous model and the discrete model of the integer quantum Hall effect on the hyperbolic plane in the presence of disorder, extending the results of an earlier paper [CHMM]. Here we model impurities, that is we consider the effect of a random or almost periodic potential as opposed to just periodic potentials. The Hall conductance is identified as a geometric invariant associated to an algebra of observables, which has plateaus at gaps in extended states of the Hamiltonian. We use the Fredholm modules defined in [CHMM] to prove the integrality of the Hall conductance in this case. We also prove that there are always only a finite number of gaps in extended states of any random discrete Hamiltonian. [CHMM] A. Carey, K. Hannabuss, V. Mathai and P. McCann, Quantum Hall Effect on the Hyperbolic Plane, Communications in Mathematical Physics, 190 vol. 3, (1998) 629-673.

categories: math.DG cond-mat hep-th math-ph math.MP math.OA


title: Hyperbolicity of Generic Surfaces of High Degree in Projective 3-Space

abstract: The main goal of this work is to prove that a very generic surface of degree at least 21 in complex projective 3-dimensional space is hyperbolic in the sense of Kobayashi. This means that every entire holomorphic map $f:{\Bbb C} \to X$ to the surface is constant. In 1970, Kobayashi conjectured more generally that a (very) generic hypersurface of sufficiently high degree in projective space is hyperbolic (here, the terminology "very generic" refers to complements of countable unions of proper algebraic subsets). Our technique follows the stream of ideas initiated by Green and Griffiths in 1979, which consists in considering jet differentials and their associated base loci. However, a key ingredient is the use of a different kind of jet bundles, namely the "Semple jet bundles" previously studied by the first named author (Santa Cruz Summer School, July 1995, Proc. Symposia Pure Math., Vol. 62.2, 1997). The base locus calculation is achieved through a sequence of Riemann-Roch formulas combined with a suitable generic vanishing theorem for order 2-jets. Our method covers the case of surfaces of general type with Picard group ${\Bbb Z}$ and $(13+12\theta_2) c_1^2 - 9 c_2 > 0$, where $\theta_2$ is what we call the "2-jet threshold" (the 2-jet threshold turns out to be bounded below by -1/6 for surfaces in ${\Bbb P}^3$). The final conclusion is obtained by using very recent results of McQuillan on holomorphic foliations.


title: Multiparametric Dissipative Linear Stationary Dynamical Scattering Systems: Discrete Case

abstract: We propose the new generalization of linear stationary dynamical systems with discrete time $t\in\mathbb{Z}$ to the case $t\in\nspace{Z}{N}$. The dynamics of such a system can be reproduced by means of its associated multiparametric Lax-Phillips semigroup. We define multiparametric passive, and conservative scattering systems and interpret them in terms of operator colligations, of the associated semigroup and of "energetic" relations for system data. We prove the Agler's type theorem describing the class of holomorphic operator-valued functions on the polydisc $\nspace{D}{N}$ that are the transfer functions of multiparametric conservative scattering systems. Keywords: Passive systems, multiparametric Lax-Phillips semigroup, generalized Schur class, conservative realizations


title: A note on the generalised Lie algebra sl(2)q

abstract: In a recent paper, V. Dobrev and A. Sudbery classified the highest-weight and lowest-weight finite dimensional irreducible representations of the quantum Lie algebra sl(2)_q introduced by V. Lyubashenko and A. Sudbery. The aim of this note is to add to this classification all the finite dimensional irreducible representations which have no highest weight and/or no lowest weight, in the case when q is a root of unity. For this purpose, we give a description of the enlarged centre.


title: Affine Weyl groups, discrete dynamical systems and Painleve equations

abstract: A new class of representations of affine Weyl groups on rational functions are constructed, in order to formulate discrete dynamical systems associated with affine root systems. As an application, some examples of difference and differential systems of Painleve type are discussed.


title: An accurate and efficient algorithm for the computation of the characteristic polynomial of a general square matrix

abstract: An algorithm is presented for the efficient and accurate computation of the coefficients of the characteristic polynomial of a general square matrix. The algorithm is especially suited for the evaluation of canonical traces in determinant quantum Monte-Carlo methods.


title: Equivariant Cohomology and Wall Crossing Formulas in Seiberg-Witten Theory

abstract: We use localization formulas in the theory of equivariant cohomology to rederive the wall crossing formulas of Li-Liu and Okonek-Teleman for Seiberg-Witten invariants.


title: Degenerate Chern-Weil Theory and Equivariant Cohomology

abstract: We develop a Chern-Weil theory for compact Lie group action whose generic stabilizers are finite in the framework of equivariant cohomology. This provides a method of changing an equivariant closed form within its cohomological class to a form more suitable to yield localization results. This work is motivated by our work on reproving wall crossing formulas in Seiberg-Witten theory, where the Lie group is the circle. As applications, we derive two localization formulas of Kalkman type for G = SU(2) or SO(3)-actions on compact manifolds with boundary. One of the formulas is then used to yield a very simple proof of a localization formula due to Jeffrey-Kirwan in the case of G = SU(2) or SO(3).


title: Traces on algebras of parameter dependent pseudodifferential operators and the eta-invariant

abstract: We identify Melrose's suspended algebra of pseudodifferential operators with a subalgebra of the algebra of parametric pseudodifferential operators with parameter space $\R$. For a general algebra of parametric pseudodifferential operators, where the parameter space may now be a cone $\Gamma\subset\R^p$, we construct a unique ``symbol valued trace'', which extends the $L^2$-trace on operators of small order. This allows to construct various trace functionals in a systematic way. Furthermore we study the higher-dimensional eta-invariants on algebras with parameter space $\R^{2k-1}$. Using Clifford representations we construct for each first order elliptic differential operator a natural family of parametric pseudodifferential operators over $\R^{2k-1}$. The eta-invariant of this family coincides with the spectral eta-invariant of the operator.


title: On classification of toric singularities

abstract: In 1988 S. Mori, D. Morrison, and I. Morrison gave a computer-based conjectural classification of four-dimensional cyclic quotient singularities of prime index. It was partially proven in 1990 by G. Sankaran. In 1991 Jim Lawrence basically proved this and much more, been unaware of algebro-geometric meaning of what he did. In this short note I just bring this all together to prove that all n-dimensional toric singularities with log-discrepancy greater than (or equal to) $\epsilon$ form finitely many "series".


title: Induction of quantum group representations

abstract: Induced representations for quantum groups are defined starting from coisotropic quantum subgroups and their main properties are proved. When the coisotropic quantum subgroup has a suitably defined section such representations can be realized on associated quantum bundles on general embeddable quantum homogeneous spaces.


title: Weyl group extension of quantized current algebras

abstract: In this paper, we extend the Drinfeld current realization of quantum affine algebras $U_q(\hat {\gg})$ and of the Yangians in several directions: we construct current operators for non-simple roots of ${\gg}$, define a new braid group action in terms of the current operators and describe the universal R-matrix for the corresponding ``Drinfeld'' comultiplication in the form of infinite product and in the form of certain integrals over current operators.


title: On the FRTS approach to quantized current algebras

abstract: We study the possibility to establish $L$-operator's formalism by Faddeev-Reshetikhin-Takhtajan-Semenov-Tian-Shansky (FRST) for quantized current algebras, that is, for quantum affine algebras in the ''new realization '' by V. Drinfeld with the corresponding Hopf algebra structure and for their Yangian counterpart. We establish this formalism using the twisting procedure by Tolstoy and the second author and explain the problems which FRST approach encounter for quantized current algebras. We show also that, for the case of $U_q(\hat {\frak sl}_n)$, entries of the L-operators of FRTS type give the Drinfeld current operators for the non-simple roots, which we discovered recently. As an application we deduce the commutation relations between these current operators for $U_q(\hat {\frak sl}_3)$.


title: Chordal varieties of Veronese varieties and catalecticant matrices

abstract: It is proved that the chordal variety of the Veronese variety v_d(P^n) is projectively normal, arithmetically Cohen-Macaulay and its homogeneous ideal is generated by the 3 x 3 minors of two catalecticant matrices. These results are generalized to the catalecticant varieties Gor_{\leq}(T) with t_1 = 2. We also give a simplified proof of a theorem of O. Porras about the rank varieties of symmetric tensors.


title: On the Variety of Rational Curves of Degree $d$ in $\Bbb P^n$

abstract: We construct the canonical structure of an irreducible projective variety on the set of connected curves of degree $d$ in $\Bbb P^n$ with rational components (some components can be multiple). The set of rational curves is open subset in the Zariski topology under this structure.


title: On the Construction of Covariant Differential Calculi on Quantum Homogeneous Spaces

abstract: Let A be a coquasitriangular Hopf algebra and X the subalgebra of A generated by a row of a matrix corepresentation u or by a row of u and a row of the contragredient representation u^c. In the paper left-covariant first order differential calculi on the quantum group A are constructed and the corresponding induced calculi on the left quantum space X are described. The main tool for these constructions are the L-functionals associated with u. The results are applied to the quantum homogeneous space GL_q(N)/GL_q(N-1).


title: Generalized Weierstrass representation for surfaces in multidimensional Riemann spaces

abstract: Generalizations of the Weierstrass formulae to generic surface immersed into $R^4$, $S^4$ and into multidimensional Riemann spaces are proposed. Integrable deformations of surfaces in these spaces via the modified Veselov-Novikov equation are discussed.


title: On Quantum de Rham Cohomology Theory

abstract: We define quantum exterior product wedge_h and quantum exterior differential d_h on Poisson manifolds (of which symplectic manifolds are an important class of examples). Quantum de Rham cohomology, which is a deformation quantization of de Rham cohomology, is defined as the cohomology of d_h. We also define quantum Dolbeault cohomology. A version of quantum integral on symplectic manifolds is considered and the correspoding quantum Stokes theorem is proved. We also derive quantum hard Lefschetz theorem. By replacing d by d_h and wedge by wedge_h in the usual definitions, we define many quantum analogues of important objects in differential geometry, e.g. quantum curvature. The quantum characteristic classes are then studied along the lines of classical Chern-Weil theory. Quantum equivariant de Rham cohomology is defined in the similar fashion.


title: The Fixed Point Property for Posets of Small Width

abstract: The fixed point property for finite posets of width 3 and 4 is studied in terms of forbidden retracts. The ranked forbidden retracts for width 3 and 4 are determined explicitly. The ranked forbidden retracts for the width 3 case that are linearly indecomposable are examined to see which are minimal automorphic. Part of a problem of Niederle from 1989 is thus solved.


title: Isoperimetric flow and convexity of $H$-graphs

abstract: In this paper we consider a ``flow'' of nonparametric solutions of the volume constrained Plateau problem with respect to a convex planar curve. Existence and regularity is obtained from standard elliptic theory, and convexity results for small volumes are obtained as an immediate consequence. Finally, the regularity is applied to show a strong stability condition for all volumes considered. This condition, in turn, allows us to adapt an argument of Cabr\'e and Chanillo which yields that any solution enclosing a non-zero volume has a unique nondegenerate critical point.


title: Approximation and support theorem for a two space-dimensional wave equation

abstract: We prove a characterization of the support of the law of the solution for a stochastic wave equation with two-dimensional space variable, driven by a noise white in time and correlated in space. The result is a consequence of an approximation theorem, in the convergence of probability, for equations obtained by smoothing the random noise. For some particular classes of coefficients, aproximation in the $L^p$ norm, for $p\geq 1$ is also proved.


title: On a singular limit problem for nonlinear Maxwell's equations

abstract: In this paper we study the following nonlinear Maxwell's equations \\ $\varepsilon \E_{t}+\sigma(x,|\E|)\E= \g \vh +\F,\, \vh_{t}+\g \E=0$, where $\sigma(x,s)$ is a monotone graph of $s$. It is shown that the system has a unique weak solution. Moreover, the limit of the solution as $\varepsilon\rightarrow 0$ converges to the solution of quasi-stationary Maxwell's equations.


title: Cheeger's inequalities for general symmetric forms and existence criteria for spectral gap

abstract: In this paper, some new forms of the Cheeger's inequalities are established for general (maybe unbounded) symmetric forms, the resulting estimates improve and extend the ones obtained by Lawler and Sokal (1988) for bounded jump processes. Furthermore, some existence criteria for spectral gap of general symmetric forms or general reversible Markov processes are presented, based on the Cheeger's inequalities and a relationship between the spectral gap and the first Dirichlet and Neumann eigenvalues on local region.


title: Existence of the spectral gap for elliptic operators

abstract: Let $M$ be a connected, noncompact, complete Riemannian manifold, consider the operator $L=\DD +\nn V$ for some $V\in C^2(M)$ with $\exp[V]$ integrable w.r.t. the Riemannian volume element. This paper studies the existence of the spectral gap of $L$. As a consequence of the main result, let $\rr$ be the distance function from a point $o$, then the spectral gap exists provided $\lim_{\rr\to\infty}\sup L\rr<0$ while the spectral gap does not exist if $o$ is a pole and $\lim_{\rr\to\infty}\inf L\rr\ge 0.$ Moreover, the elliptic operators on $\mathbb R^d$ are also studied.


title: Hodge theory and cohomology with compact supports

abstract: This paper constructs a Hodge theory of noncompact topologically tame manifolds $M$. The main result is an isomorphism between the de Rham cohomology with compact supports of $M$ and the kernel of the Hodge--Witten--Bismut Laplacian $\lap_\mu$ associated to a measure $d\mu$ which has sufficiently rapid growth at infinity on $M$. This follows from the construction of a space of forms associated to $\lap_\mu$ which satisfy an ``extension by zero'' property. The ``extension by zero'' property is proved for manifolds with cylindrical ends possessing gaussian growth measures.


title: Sticks and clubs

abstract: We study combinatorial principles known as stick and club. Several variants of these principles and cardinal invariants connected to them are also considered. We introduce a new kind of side-by-side product of partial orders which we call pseudo-product. Using such products, we give several generic extensions where some of these principles hold together with not CH and Martin's Axiom for countable p.o.-sets. An iterative version of the pseudo-product is used under an inaccessible cardinal to show the consistency of the club principle for every stationary subset of limits of omega_1 together with not CH and Martin's Axiom for countable p.o.-sets.


title: 0-1 laws

abstract: We give a framework for dealing with 0-1 laws (for first order logic) such that expanding by further random structure tend to give us another case of the framework. From another perspective we deal with 0-1 laws when the number of solutions of first order formulas with parameters behave dichotomically.


title: PCF theory: applications

abstract: We deal with several pcf problems; we characterize another version of exponentiation: number of kappa-branches in a tree with lambda nodes, deal with existence of independent sets in stable theories, possible cardinality of ultraproduct, the depth of ultraproducts of Boolean Algebras. Also we give cardinal invariant for each lambda with pcf restriction and investigate further T_D(f) .


title: Special subsets of {}^{cf(mu)} mu, Boolean algebras and Maharam measure algebras

abstract: The original theme of the paper is the existence proof of ``there is < eta_alpha : alpha < lambda > which is a (lambda,J)-sequence for < I_i:i<delta >, a sequence of ideals. This can be thought of as in a generalization to Luzin sets and Sierpinski sets, but for the product prod_{i< delta} Dom(I_i), the existence proofs are related to pcf. The second theme is when does a Boolean algebra B has free caliber lambda (i.e. if X subseteq B and |X|= lambda, then for some Y subseteq X with |Y|= lambda and Y is independent). We consider it for B being a Maharam measure algebra, or B a (small) product of free Boolean algebras, and kappa-cc Boolean algebras. A central case lambda = (beth_omega)^+ or more generally, lambda = mu^+ for mu strong limit singular of ``small'' cofinality. A second one is mu = mu^{< kappa}< lambda < 2^mu ; the main case is lambda regular but we also have things to say on the singular case. Lastly, we deal with ultraproducts of Boolean algebras in relation to irr(-) and s(-) etc.


title: Main gap for locally saturated elementary submodels of a homogeneous structure

abstract: We prove a main gap theorem for e-saturated submodels of a homogeneous structure. We also study the number of e-saturated models, which are not elementarily embeddable to each other


title: On the conditioned exit measures of super-Brownian motion

abstract: In this paper we present a martingale related to the exit measures of super-Brownian motion. By changing measure with this martingale in the canonical way we have a new process associated with the conditioned exit measure. This measure is shown to be identical to a measure generated by a non-homogeneous branching particle system with immigration of mass. An application is given to the problem of conditioning the exit measure to hit a number of specified points on the boundary of a domain. The results are similar in flavor to the "immortal particle" picture of conditioned super-Brownian motion but more general, as the change of measure is given by a martingale which need not arise from a single harmonic function.


title: Cut-free LK quasi-polynomially simulates resolution

abstract: In this paper, the relative efficiency of two propositional systems is studied: resolution and cut-free LK in DAG. We give an upper bound for translation of resolution refutation to cut-free LK proofs. The best upper bound known was 2.


title: Forced symmetry-breaking via boundary conditions

abstract: We study impact of a forced symmetry-breaking in boundary conditions on the bifurcation scenario of a semilinear elliptic partial differential equation. We show that for the square domain the orthogonality of eigenfunctions of the Laplacian may compensate partially the loss of symmetries in the boundary conditions and allows some solution to have more symmetries than the imposed boundary conditions.


title: On a class of linearizable Monge-Amp\`ere equations

abstract: Monge-Amp\`ere equations of the form, $u_{xx}u_{yy}-u_{xy}^2=F(u,u_x,u_y)$ arise in many areas of fluid and solid mechanics. Here it is shown that in the special case $F=u_y^4f(u, u_x/u_y)$, where $f$ denotes an arbitrary function, the Monge-Amp\`ere equation can be linearized by using a sequence of Amp\`ere, point, Legendre and rotation transformations. This linearization is a generalization of three examples from finite elasticity, involving plane strain and plane stress deformations of the incompressible perfectly elastic Varga material and also relates to a previous linearization of this equation due to Khabirov [7].


title: A nonlinear transformation of the dispersive long wave equations in (2+1) dimensions and its applications

abstract: A nonlinear transformation of the dispersive long wave equations in (2+1) dimensions is derived by using the homogeneous balance method. With the aid of the transformation given here, exact solutions of the equations are obtained.


title: On Tate-Shafarevich groups of abelian varieties

abstract: Let $K/F$ be a finite Galois extension of number fields with Galois group $G$, let $A$ be an abelian variety defined over $F$, and let ${\cyr W}(A_{^{/ K}})$ and ${\cyr W}(A_{^{/ F}})$ denote, respectively, the Tate-Shafarevich groups of $A$ over $K$ and of $A$ over $F$. Assuming that these groups are finite, we derive, under certain restrictions on $A$ and $K/F$, a formula for the order of the subgroup of ${\cyr W}(A_{^{/ K}})$ of $G$-invariant elements. As a corollary, we obtain a simple formula relating the orders of ${\cyr W}(A_{^{/ K}})$, ${\cyr W}(A_{^{/ F}})$ and ${\cyr W}(A_{^{/ F}}^{\chi})$ when $K/F$ is a quadratic extension and $A^{\chi}$ is the twist of $A$ by the non-trivial character $\chi$ of $G$.


title: Approximate representations and Virasoro algebra

abstract: In the paper there are investigated various approximate representations of the infinite dimensional $\Bbb Z$--graded Lie algebras: the Witt algebra of all Laurent polynomial vector fields on a circle and its one-dimensional nontrivial central extension, the Virasoro algebra, by the infinite dimensional hidden symmetries in the Verma modules over the Lie algebra $\sl(2,C)$. There are considered as asymptotic representations "$mod O(\hbar^n)$" and representations up to a class $\frak S$ of operators (compact operators, Hilbert-Schmidt operators and finite-rank operators) as cases, which combine both types of approximations and in these cases an effect of noncommutativity of the order of their perform is explicated, that perhaps is underlied by a more general fundamental fact of deviations between the asymptotical theory of pseudodifferential operators and the pseudodifferential calculus on the asymptotic manifolds.


title: Tensor products of singular representations and an extension of the theta-correspondence

abstract: In this paper we consider the problem of decomposing tensor products of certain singular unitary representations of a semisimple Lie group G. Using explicit models for these representations (constructed earlier by one of us) we show that the decomposition is controlled by a reductive homogeneous space G'/H'. Our procedure establishes a correspondence between certain unitary representations of G and those of G'. This extends the usual theta--correspondence for dual reductive pairs. As a special case we obtain a correspondence between certain representations of real forms of E_7 and F_4.


title: Euler characteristics of SU(2) instanton moduli spaces on rational elliptic surfaces

abstract: Recently, Minahan, Nemeschansky, Vafa and Warner computed partition functions for N=4 topological Yang-Mills theory on rational elliptic surfaces. In particular they computed generating functions of Euler characteristics of SU(2)-instanton moduli spaces. In mathematics, they are expected to coincide with those of Gieseker compactifications. In this paper, we compute Euler characteristics of these spaces and show that our results coincide with theirs. We also check the modular property of Z_{SU(2)} and Z_{SO(3)} conjectured by Vafa and Witten.


title: Klein's group defines an exceptional singularity of dimension 3

abstract: We construct two examples of canonical exceptional singularities.


title: The A-hypergeometric System Associated with a Monomial Curve

abstract: We make a detailed analysis of the A-hypergeometric system (or GKZ system) associated with a monomial curve and integral, hence resonant, exponents. We characterize the Laurent polynomial solutions and show that these are the only rational solutions. We also show that for any exponent, there are at most two linearly independent Laurent solutions, and that the upper bound is reached if and only if the curve is not arithmetically Cohen--Macaulay. We then construct, for all integral parameters, a basis of local solutions in terms of the roots of the generic univariate polynomial associated with A. We determine the holonomic rank r for all integral exponents and show that it is constantly equal to the degree d of X if and only if X is arithmetically Cohen-Macaulay. Otherwise there is at least one exponent for which r = d + 1.


title: Algorithms for D-modules --- restriction, tensor product, localization, and local cohomology groups

abstract: We describe algorithms for computing various functors for algebraic D-modules, i.e. systems of linear partial differential equations with polynomial coefficients. We will give algorithms for restriction, tensor product, localization, and local cohomology groups for all degrees.


title: Comments on the Noncommutative Geometry of Quantum Homogeneous Vector Bundles

abstract: Differential calculi are obtained for quantum homogeneous spaces by extending Woronowicz' approach to the present context. Representation theoretical properties of the differential calculi are investigated. Connections on quantum homogeneous vector bundles are classified and explicitly constructed by using the theory of projective modules.


title: A Universal Continuum of Weight aleph

abstract: We prove that every continuum of weight aleph_1 is a continuous image of the Cech-Stone-remainder R^* of the real line. It follows that under CH the remainder of the half line [0,infty) is universal among the continua of weight c --- universal in the `mapping onto' sense. We complement this result by showing that 1) under MA every continuum of weight less than c is a continuous image of R^* 2) in the Cohen model the long segment of length omega_2+1 is not a continuous image of R^*, and 3) PFA implies that I_u is not a continuous image of R^*, whenever u is a c-saturated ultrafilter. We also show that a universal continuum can be gotten from a c-saturated ultrafilter on omega and that it is consistent that there is no universal continuum of weight c.


title: The $ R $--matrix action of untwisted affine quantum groups at roots of 1

abstract: Let $\hat{\frak g}$ be an untwisted affine Kac-Moody algebra. The quantum group $U_h(\hat{\frak g})$ (over $\mathbb{C}[[h]]$) is known to be a quasitriangular Hopf algebra: in particular, it has a universal $ R $--matrix, which yields an $ R $--matrix for each pair of representations of $U_h(\hat{\frak g})$. On the other hand, the quantum group $U_q(\hat{\frak g})$ (over $\mathbb{C}(q) $) also has an $ R $--matrix for each pair of representations, but it has not a universal $ R $--matrix so that one cannot say that it is quasitriangular. Following Reshetikin, one introduces the (weaker) notion of braided Hopf algebra: then $ U_q(\hat{\frak g})$ is a braided Hopf algebra. In this work we prove that also the unrestricted specializations of $U_q(\hat{\frak g})$ at roots of 1 are braided: in particular, specializing $q$ at 1 we have that the function algebra $F \big[ \hat{H} \big]$ of the Poisson proalgebraic group $\hat{H}$ dual of $\hat{G}$ (a Kac-Moody group with Lie algebra $\hat{\frak g} \,$) is braided. This is useful because, despite these specialized quantum groups are not quasitriangular, the braiding is enough for applications, mainly for producing knot invariants. As an example, the action of the $ R $--matrix on (tensor products of) Verma modules can be specialized at odd roots of 1.


title: Identities of nonterminating series by Zeilberger's algorithm

abstract: This paper argues that automated proofs of identities for non-terminating hypergeometric series are feasible by a combination of Zeilberger's algorithm and asymptotic estimates. For two analogues of Saalsch\"utz' summation formula in the non-terminating case this is illustrated.


title: Stationary Veselov-Novikov equation and isothermally asymptotic surfaces in projective differential geometry

abstract: It is demonstrated that the stationary Veselov-Novikov (VN) and the stationary modified Veselov-Novikov (mVN) equations describe one and the same class of surfaces in projective differential geometry: the so-called isothermally asymptotic surfaces, examples of which include arbitrary quadrics and cubics, quartics of Kummer, projective transforms of affine spheres and rotation surfaces. The stationary mVN equation arises in the Wilczynski approach and plays the role of the projective "Gauss-Codazzi" equations, while the stationary VN equation follows from the Lelieuvre representation of surfaces in 3-space. This implies an explicit Backlund transformation between the stationary VN and mVN equations which is an analog of the Miura transformation between their (1+1)-dimensional limits.


title: Surfaces with flat normal bundle: an explicit construction

abstract: An explicit construction of surfaces with flat normal bundle in the Euclidean space (unit hypersphere) in terms of solutions of certain linear system is proposed. In the case of 3-space our formulae can be viewed as the direct Lie sphere analog of the generalized Weierstrass representation of surfaces in conformal geometry or the Lelieuvre representation of surfaces in the affine space. An explicit parametrization of Ribaucour congruences of spheres by three solutions of the linear system is obtained. In view of the classical Lie correspondence between Ribaucour congruences and surfaces with flat normal bundle in the Lie quadric this gives an explicit representation of surfaces with flat normal bundle in the 4-dimensional space form of the Lorentzian signature. Direct projective analog of this construction is the known parametrization of W-congruences by three solutions of the Moutard equation. Under the Pl\"ucker embedding W-congruences give rise to surfaces with flat normal bundle in the Pl\"ucker quadric. Integrable evolutions of surfaces with flat normal bundle and parallels with the theory of nonlocal Hamiltonian operators of hydrodynamic type are discussed in the conclusion.


title: 3-primary v1-periodic homotopy groups of E7

abstract: We compute the 3-primary v1-periodic homotopy groups of the exceptional Lie group E7. Now E8 at the primes 3 and 5 is the only compact simple Lie group whose odd-primary v1-periodic homotopy groups remian to be computed. The main work is computing the unstable Novikov spectral sequence of \Omega E7/Sp(2). Showing that this converges to v1-periodic homotopy groups requires recent work of Bousfield and Bendersky-Thompson.


title: Time Dynamics of Probability Measure and Hedging of Derivatives

abstract: We analyse derivative securities whose value is NOT a deterministic function of an underlying which means presence of a basis risk at any time. The key object of our analysis is conditional probability distribution at a given underlying value and moment of time. We consider time evolution of this probability distribution for an arbitrary hedging strategy (dynamically changing position in the underlying asset). We assume log-brownian walk of the underlying and use convolution formula to relate conditional probability distribution at any two successive time moments. It leads to the simple PDE on the probability measure parametrized by a hedging strategy. For delta-like distributions and risk-neutral hedging this equation reduces to the Black-Scholes one. We further analyse the PDE and derive formulae for hedging strategies targeting various objectives, such as minimizing variance or optimizing quantile position.


title: A Classic Proof of a Recurrence for a Very Classical Sequence

abstract: By practicing the philosophy of our beloved late master, Marco Schutzenberger, to whose memory this article is dedicated, we give an insightful bijective proof of the three-term recurrence satisfied by the Hipparchus-Schroeder numbers 1,1,3,11,45,197,903, ...


title: Invariant local twistor calculus for quaternionic structures and related geometries

abstract: New universal invariant operators are introduced in a class of geometries which include the quaternionic structures and their generalisations as well as 4-dimensional conformal (spin) geometries. It is shown that, in a broad sense, all invariants and invariant operators arise from these universal operators and that they may be used to reduce all invariants problems to corresponding algebraic problems involving homomorphisms between modules of certain parabolic subgroups of Lie groups. Explicit application of the operators is illustrated by the construction of all non-standard operators between exterior forms on a large class of the geometries which includes the quaternionic structures.


title: A classification of inner actions of the Dipper-Donkin quantization GL_2 on the Clifford algebra C(1,3)

abstract: We present all inner actions on the Clifford algebra C(1,3) of the quantum group GL_2 constructed by Dipper and Donkin.


title: A spectral correspondence for Maass waveforms

abstract: Let O^1 be a (cocompact) Fuchsian group, given as the group of units of norm one in a maximal order O in an indefinite quaternion division algebra over Q. Using the (classical) Selberg trace formula, we show that the eigenvalues of the automorphic Laplacian for O^1 and their multiplicities coincide with the eigenvalues and multiplicities of the Laplacian defined on the Maass newforms for the Hecke congruence group Gamma_0(d), when d is the discriminant of the maximal order O. We also show the equality of the traces of certain Hecke operators defined on the Laplace eigenspaces for O^1 and the newforms of level d, respectively.


title: The Generation of Compatible Jacobi Tensors via Gauge Transformations and its Applications

abstract: We present a simple way of generating the infinite set of Jacobi tensors, compatible with a given one, via the "gauge transformations" of the functions on Jacobi manifold. We consider also some applications of this result to the construction of bi-Hamiltonian systems on Jacobi manifolds.


title: Plane curves with small linear orbits I

abstract: The `linear orbit' of a plane curve of degree d is its orbit in the projective space of dimension d(d+3)/2 parametrizing such curves under the natural action of PGL(3). In this paper we compute the degree of the closure of the linear orbits of most curves with positive dimensional stabilizers. Our tool is a nonsingular variety dominating the orbit closure, which we construct by a blow-up sequence mirroring the sequence yielding an embedded resolution of the curve. The results given here will serve as an ingredient in the computation of the analogous information for arbitrary plane curves. Linear orbits of smooth plane curves are studied in [A-F1].


title: Equivariant D-modules

abstract: The first part of these notes is devoted to an introduction to algebraic $D$-modules. Several basic notions are introduced. In the second part, $D$-modules with group action are treated. Several important examples in this situation are discussed in details. Particularly, the Harish-Chandra systems for group characters and the Gelfand generalized hypergeometric systems are our main topics.


title: A traditional dealing with a semi-classical limit and Hopf theorem

abstract: This paper deals with a semi-classical limit (Theorem 1) by using traditional mathematical methods, and shows a Hopf theorem as a corollary. A formal discussion of it may be found in [7].


title: q-Laguerre polynomials and big q-Bessel functions and their orthogonality relations

abstract: The q-Laguerre polynomials correspond to an indetermined moment problem. For explicit discrete non-N-extremal measures corresponding to Ramanujan's ${}_1\psi_1$-summation we complement the orthogonal q-Laguerre polynomials into an explicit orthogonal basis for the corresponding L^2-space. The dual orthogonal system consists of so-called big q-Bessel functions, which can be obtained as a rigorous limit of the orthogonal system of big q-Jacobi polynomials. Interpretations on the SU(1,1) and E(2) quantum groups are discussed.


title: Maximal Abelian Subalgebras of e(p,q) algebras

abstract: Maximal abelian subalgebras of one of the classical real inhomogeneous Lie algebras are constructed, namely those of the pseudoeuclidean Lie algebra e(p,q). Use is made of the semidirect sum structure of e(p,q) with the translations T(p+q) as an abelian ideal. We first construct splitting MASAs that are themselves direct sums of abelian subalgebras of o(p,q) and of subalgebras of T(p+q). The splitting subalgebras are used to construct the complementary nonsplitting ones. We present general decomposition theorems and construct indecomposable MASAs for all algebras e(p,q), p \geq q \geq 0. The case of q=0 and 1 were treated earlier in a physical context. The case q=2 is analyzed here in detail as an illustration of the general results.


title: Absolute continuity and spectral concentration for slowly decaying potentials

abstract: We consider the spectral function $\rho(\mu)$ $(\mu \geq 0)$ for the Sturm-Liouville equation $y^{''}+(\lambda-q)y =0$ on $[0,\infty)$ with the boundary condition $y(0)=0$ and where $q$ has slow decay $O(x^{-\alpha})$ $(a>0)$ as $x\to \infty$. We develop our previous methods of locating spectral concentration for $q$ with rapid exponential decay (JCAM 81 (1997) 333-348) to deal with the new theoretical and computational complexities which arise for slow decay.


title: Finite type invariants of 3-manifolds

abstract: A theory of finite type invariants for arbitrary compact oriented 3-manifolds is proposed, and illustrated through many examples arising from both classical and quantum topology. The theory is seen to be highly non-trivial even for manifolds with large first betti number, encompassing much of the complexity of Ohtsuki's theory for homology spheres. (For example, it is seen that the quantum SO(3) invariants, though not of finite type, are determined by finite type invariants.) The algebraic structure of the set of all finite type invariants is investigated, along with a combinatorial model for the theory in terms of trivalent "Feynman diagrams".


title: Nonsingular Surface-Quasi-Geostrophic Flow

abstract: The dynamics of large eddies in the atmosphere and oceans is described by the surface quasi geostrophic equation, which is reminiscent of the Euler equations. Thermal fronts build up rapidly. Two different numerical methods combined with analytical criteria are used to show there are no singularities in finite time.


title: Galerkin Eigenvector Approximations

abstract: How close are Galerkin eigenvectors to the best approximation available out of the trial subspace ? Under a variety of conditions the Galerkin method gives an approximate eigenvector that approaches asymptotically the projection of the exact eigenvector onto the trial subspace -- and this occurs more rapidly than the underlying rate of convergence of the approximate eigenvectors. Both orthogonal-Galerkin and Petrov-Galerkin methods are considered here with a special emphasis on nonselfadjoint problems. Consequences for the numerical treatment of elliptic PDEs discretized either with finite element methods or with spectral methods are discussed and an application to Krylov subspace methods for large scale matrix eigenvalue problems is presented. New lower bounds to the $sep$ of a pair of operators are developed as well.


title: Variations of Ritz and Lehmann Bounds

abstract: Eigenvalue estimates that are optimal in some sense have self-evident appeal and leave estimators with a sense of virtue and economy. So, it is natural that ongoing searches for effective strategies for difficult tasks such as estimating matrix eigenvalues that are situated well into the interior of the spectrum revisit from time to time methods that are known to yield optimal bounds. This article reviews a variety of results related to obtaining optimal bounds to matrix eigenvalues --- some results are well-known; others are less known; and a few are new. We focus especially on Ritz and harmonic Ritz values, and right- and left-definite variants of Lehmann's method.


title: Spherical 2-categories and 4-manifold invariants

abstract: In this paper I define the notion of a non-degenerate finitely semi-simple semi-strict spherical 2-category of non-zero dimension. Given such a 2-category I define a state-sum for any triangulated compact closed oriented 4-manifold and show that this state-sum does not depend on the chosen triangulation by proving invariance under the 4D Pachner moves. This invariant of piece-wise linear closed compact oriented 4-manifolds generalizes the Crane-Yetter invariant and probably it is also a generalization of the Crane-Frenkel invariant. As an example we show how to obtain a 2-category of the right kind from a finite group and a 4-cocycle on this group. The invariant we obtain from this example looks like a four dimensional version of the Dijkgraaf-Witten invariant.


title: On the specialization to the asymptotic cone

abstract: Let X be a smooth, connected, closed subvariety of a complex vector space V. The asymptotic cone as(X) is naturally equipped with a nearby cycles sheaf P coming from the specialization of X to as(X). We show that if X is transverse to infinity in a suitable sense, then the Fourier transform of P is an intersection homology sheaf.


title: Representations of quantum algebra U_q(u_{n,1})

abstract: Infinite dimensional representations of the real form U_q(u_{n,1}) of the Drinfeld--Jimbo algebra U_q(gl_{n+1}) are defined. The principal series of representations of U_q(u_{n,1}) is studied. Intertwining operators for pairs of the principal series representations are calculated in an explicit form. The structure of reducible representations of the principal series is determined. Irreducible representations of U_q(u_{n,1}), obtained from irreducible and reducible principal series representations, are classified. All *-representations in this set of irreducible representations are separated. Unlike the classical case, the algebra U_q(u_{n,1}) has finite dimensional irreducible *-representations.


title: The inverse spectral problem for first order systems on the half line

abstract: On the half line $[0,\infty)$ we study first order differential operators of the form $B 1/i d/(dx) + Q(x)$, where $B:=\mat{B_1}{0}{0}{-B_2}$, $B_1,B_2\in M(n,\C)$ are self--adjoint positive definite matrices and $Q:\R_+\to M(2n,\C)$, $\R_+:=[0,\infty)$, is a continuous self-adjoint off-diagonal matrix function. We determine the self-adjoint boundary conditions for these operators. We prove that for each such boundary value problem there exists a unique matrix spectral function $\sigma$ and a generalized Fourier transform which diagonalizes the corresponding operator in $L^2_{\sigma}(R, C)$. We give necessary and sufficient conditions for a matrix function $\sigma$ to be the spectral measure of a matrix potential $Q$. Moreover we present a procedure based on a Gelfand-Levitan type equation for the determination of $Q$ from $\sigma $. Our results generalize earlier results of M. Gasymov and B. Levitan. We apply our results to show the existence of $2n\times 2n$ Dirac systems with purely absolute continuous, purely singular continuous and purely discrete spectrum of multiplicity $p$, where $1\le p \le n$ is arbitrary.


title: The second cohomology of sl(m|1) with coefficients in its enveloping algebra is trivial

abstract: Using techniques developed in a recent article by the authors, it is proved that the 2-cohomology of the Lie superalgebra sl(m|1); m > 1, with coefficients in its enveloping algebra is trivial. The obstacles in solving the analogous problem for sl(3|2) are also discussed.


title: Rogawski's conjecture on the Jantzen filtration for the degenerate affine Hecke algebra of type A

abstract: The functors constructed by Arakawa and the author relate the representation theory of gl_n and that of the degenerate affine Hecke algebra H_l of GL_l. They transform the Verma modules over gl_n to the standard modules over H_l. They transform the simple modules to the simple modules. We also prove that they transform the Jantzen filtration on the Verma modules to that on the standard modules. We obtain the following results for the representations of H_l by translating the corresponding results for gl_n through the functors: (i) the (generalized) Bernstein-Gelfand-Gelfand resolution for a certain class of simple modules, (ii) the multiplicity formula for the composition series of the standard modules, and (iii) its refinement concerning the Jantzen filtration on the standard modules, which was conjectured by Rogawski.


title: Singular Connections on Three-Manifolds and Manifolds with Cylindrical Ends

abstract: This thesis studies moduli spaces of singular connections on 3-manifolds and manifolds with cylindrical ends. A Chern-Simons functional is defined for singular connections on 3-manifolds which are singular along a knot. The critical points of that Chern-Simons functional are flat singular connections. The Hodge-de Rham theory of singular flat connections is presented, yielding a topological condition for determining when a singular flat connection is isolated. Finally, moduli spaces of anti-self-dual singular connections are investigated on manifolds with cylindrical ends. The main analytical tool used to study singular connections is the theory of elliptic edge operators, summarized in the appendix. It is hoped that this work can lead to defining a Floer homology for singular connections.


title: The tangent space to the moduli space of vector bundles on a curve and the singular locus of the theta divisor of the jacobian

abstract: We complete the proof of the fact that the moduli space of rank two bundles with trivial determinant embeds into the linear system of divisors on $Pic^{g-1}C$ which are linearly equivalent to $2\Theta$. The embedded tangent space at a semi-stable non-stable bundle $\xi\oplus\xi^{-1}$, where $\xi$ is a degree zero line bundle, is shown to consist of those divisors in $|2\Theta|$ which contain $Sing(\Theta_{\xi})$ where $\Theta_{\xi}$ is the translate of $\Theta$ by $\xi$. We also obtain geometrical results on the structure of this tangent space.


title: Plemelj Projection Operators over Domain Manifolds

abstract: Plemelj projection operators are introduced for spaces of square integrable functions defined over the boundaries of a class of compact real n-dimensional manifolds lying in C^n. These manifolds posses many properties similar to domains in R^n, and are consequently called domain manifolds. The key ingredients used here are techniques from both real and complex Clifford analysis. Analogues of the Kerzman-Stein kernel and Szego projection operators ar introduced, and their conformal covariance is described.


title: Generalized Spencer Cohomology and filtered Deformations of Z-graded Lie Superalgebras

abstract: In this paper we introduce generalized Spencer cohomology for finite depth Z-graded Lie (super)algebras. We develop a method of finding filtered deformations of such Z-graded Lie (super)algebras based on this cohomology. As an application we determine all simple filtered deformations of certain Z-graded Lie superalgebras classified in [K3], thus completing the last step in the classification of simple infinite-dimensional linearly compact Lie superalgebras.


title: Invariant Forms and Automorphisms of Locally Homogeneous Multisymplectic Manifolds

abstract: It is shown that the geometry of locally homogeneous multisymplectic manifolds (that is, smooth manifolds equipped with a closed nondegenerate form of degree > 1, which is locally homogeneous of degree k with respect to a local Euler field) is characterized by their automorphisms. Thus, locally homogeneous multisymplectic manifolds extend the family of classical geometries possessing a similar property: symplectic, volume and contact. The proof of the first result relies on the characterization of invariant differential forms with respect to the graded Lie algebra of infinitesimal automorphisms, and on the study of the local properties of Hamiltonian vector fields on locally multisymplectic manifolds. In particular it is proved that the group of multisymplectic diffeomorphisms acts (strongly locally) transitively on the manifold. It is also shown that the graded Lie algebra of infinitesimal automorphisms of a locally homogeneous multisymplectic manifold characterizes their multisymplectic diffeomorphisms.


title: Simple Models of Quasihomogeneous Projective 3-Folds

abstract: Let X be a projective complex 3-fold, quasihomogeneous with respect to an action of a linear algebraic group. We show that X is a compactification of SL_2/G, G a discrete subgroup, or that X can be equivariantly transformed into the 3-dim. projective space, the quadric Q_3, or into certain quasihomogeneous bundles with very simple structure.


title: Relatively Minimal Quasihomogeneous Projective 3-Folds

abstract: In the present work we classify the relatively minimal 3-dimensional quasihomogeneous complex projective varieties under the assumption that the automorphism group is not solvable. By relatively minimal we understand varieties X having at most Q-factorial terminal singularities and allowing an extremal contraction X to Y, where dim Y <3.


title: On the Classification of 3-dimensional SL_2(C)-varieties

abstract: In the present work we describe 3-dimensional complex SL_2-varieties where the generic SL_2-orbit is a surface. We apply this result to classify the minimal 3-dimensional projective varieties with Picard-number 1 where a semisimple group acts such that the generic orbits are 2-dimensional. This is an ingredient of the classification [Keb98, math.AG/9805042] of the 3-dimensional relatively minimal quasihomogeneous varieties where the automorphism group is not solvable.


title: Behavior of the Torsion of the Differential Module of an Algebroid Curve under Quadratic Transformations

abstract: We study the difference between the lengths of the torsion of the differential modules of the local ring R of an algebroid curve and its first quadratic transform. The conjecture is that this difference should be positive if R is not regular. This is shown to be true in some cases, especially for stable complete intersections and for semigroup rings which are complete intersections.


title: What is a closed-form number?

abstract: If a student asks for an antiderivative of exp(x^2), there is a standard reply: the answer is not an elementary function. But if a student asks for a closed-form expression for the real root of x = cos(x), there is no standard reply. We propose a definition of a closed-form expression for a number (as opposed to a *function*) that we hope will become standard. With our definition, the question of whether the root of x = cos(x) has a closed form is, perhaps surprisingly, still open. We show that Schanuel's conjecture in transcendental number theory resolves questions like this, and we also sketch some connections with Tarski's problem of the decidability of the first-order theory of the reals with exponentiation. Many (hopefully accessible) open problems are described.


title: Eta invariants of Dirac operators on Circle bundles over Riemann surfaces and virtual dimensions of finite energy Seiberg-Witten moduli spaces

abstract: We compute eta invariants of various Dirac type operators on circle bundles over Riemann surfaces via two approaches: an adiabatic approach based on the results of Bismut-Cheeger-Dai and a direct elementary one. These results, coupled with some delicate spectral flow computations are then used to determine the virtual dimensions of Seiberg-Witten finite energy moduli spaces on any 4-manifold bounding unions of circle bundles. This belated paper should be regarded as the analytical backbone of dg-ga/9711006. There, we indicated only what changes are needed to extend the methods of the present paper to Seifert fibrations and we focused only to topological and number theoretic aspects related to Froyshov invariants


title: A commutator method for computation of heat invariants

abstract: We introduce a new method for computing the heat invariants of a 2-dimensional Riemannian manifold based on a result by S.Agmon and Y.Kannai. Two explicit expressions for the heat invariants are presented. The first one depends on the choice of a certain coordinate system; the second involves only invariant terms but has some restrictions on its validity, though in a ``generic'' case it is well-defined.


title: Representations of the cyclically symmetric q-deformed algebra $so_q(3)$

abstract: An algebra homomorphism $\psi$ from the nonstandard q-deformed (cyclically symmetric) algebra $U_q(so_3)$ to the extension ${\hat U}_q(sl_2)$ of the Hopf algebra $U_q(sl_2)$ is constructed. Not all irreducible representations of $U_q(sl_2)$ can be extended to representations of ${\hat U}_q(sl_2)$. Composing the homomorphism $\psi$ with irreducible representations of ${\hat U}_q(sl_2)$ we obtain representations of $U_q(so_3)$. Not all of these representations of $U_q(so_3)$ are irreducible. Reducible representations of $U_q(so_3)$ are decomposed into irreducible components. In this way we obtain all irreducible representations of $U_q(so_3)$ when $q$ is not a root of unity. A part of these representations turns into irreducible representations of the Lie algebra so$_3$ when $q\to 1$. Representations of the other part have no classical analogue. Using the homomorphism $\psi$ it is shown how to construct tensor products of finite dimensional representations of $U_q(so_3)$. Irreducible representations of $U_q(so_3)$ when $q$ is a root of unity are constructed. Part of them are obtained from irreducible representations of ${\hat U}_q(sl_2)$ by means of the homomorphism $\psi$.


title: Star Product Reduction for Coisotropic Submanifolds of Codimension 1

abstract: We propose a reduction procedure that leads to a reduced star product on the reduced phase space of a `First Class'-constrained system, where no symmetries, group actions or the like are present. For the case that the coisotropic submanifold has codimension 1, we establish a constructive method to compute the reduced star product explicitly. Concluding examples show that this method depends crucially on the constraint function singled out to describe the constrained submanifold and not only on this submanifold itself, and that two different constraint functions for the same constraint submanifold will generally result in not only different but inequivalent reduced star products.


title: Monotonicity principles for singular integral equations in Clifford analysis

abstract: Monotonicity principles can be used to get informations about nonlinear singular integral equations. These results are based on a theorem of Browder and Minty. We consider a family of monotone singular integral operators and associated nonlinear singular integral equations with Nemickii operator in Clifford analysis which has an application to the nonlinear magnetic field equation in the 3-dimensional Euclidean space.


title: On Cyclic Homology of A_{\infty} Algebras

abstract: We present an approach to cyclic homology of A_{\infty} algebras. Our main technical tool is the concept of X-complex due to Cuntz and Quillen. This, in particular, enables us to compute the periodic cyclic homology of an A_{\infty} algebra in terms of the periodic cyclic homology of its homology.


title: Homology of L_{\infty}-Algebras and Cyclic Homology

abstract: A classical result of Loday-Quillen and Tsygan states that the Lie algebra homology of the algebra of stable matrices over an associative algebra is isomorphic, as a Hopf algebra, to the exterior algebra of the cyclic homology of the algebra. In this paper we develop the necessary tools needed to extend extend this result to the category of L_{\infty} algebras.


title: Algorithms for Determining Birationality of Parametrization of Affine Curves

abstract: Let $k$ be an arbitrary field, and C be a curve in A^n defined parametrically by x_1=f_1(t),...,x_n=f_n(t), where f_1,...,f_n\in k[t]. A necessary and sufficient condition for the two function fields k(t) and k(f_1,...,f_n) to be same is developed in terms of zero-dimensionality of a derived ideal in the bivariate polynomial ring k[s,t]. Since zero-dimensionality of such an ideal can be readily determined by a Groebner basis computation, this gives an algorithm that determines if the parametrization \psi=(f_1,...,f_n): A --> C is a birational equivalence. We also develop an algorithm that determines if k[t] and k[f_1,...,f_n] are same, by which we get an algorithm that determines if the parametrization \psi=(f_1,...,f_n): A --> C is an isomorphism. We include some computational examples showing the application of these algorithms.


title: On blowup formulae for the S-duality conjecture of Vafa and Witten

abstract: This is the first part of two papers. In this part, we prove the blowup formulae for virtual Hodge polynomials of Gieseker moduli spaces of rank-2 stable sheaves and Uhlenbeck compactification spaces over algebraic surfaces. In particular, we verify the blowup formulae for the S-duality conjecture of Vafa-Witten, i.e. the blowup formulae for the Euler numbers of instanton moduli spaces over algebraic surfaces.


title: On blowup formulae for the S-duality conjecture of Vafa and Witten II: the universal functions

abstract: This is the second part of two papers. In this part, we establish closed formulae for the universal functions in the blowup formulae for virtual Hodge polynomials of Gieseker moduli spaces of rank-2 stable sheaves and Uhlenbeck compactification spaces over algebraic surfaces.


title: On the fundamental group of the complement of a complex hyperplane arrangement

abstract: We construct two combinatorially equivalent line arrangements in the complex projective plane such that the fundamental groups of their complements are not isomorphic. The proof uses a new invariant of the fundamental group of the complement to a line arrangement of a given combinatorial type with respect to isomorphisms inducing the canonical isomorphism of the first homology groups.