title: Representations of the q-deformed algebra $U_q({\rm iso}_2)$

abstract: An algebra homomorphism $\psi$ from the q-deformed algebra $U_q({\rm iso}_2)$ with generating elements $I$, $T_1$, $T_2$ and defining relations $[I,T_2]_q=T_1$, $[T_1,I]_q=T_2$, $[T_2,T_1]_q=0$ (where $[A,B]_q=q^{1/2}AB-q^{-1/2}BA$) to the extension ${\hat U}_q({\rm m}_2)$ of the Hopf algebra $U_q({\rm m}_2)$ is constructed. The algebra $U_q({\rm iso}_2)$ at $q=1$ leads to the Lie algebra ${\rm iso}_2 \sim {\rm m}_2$ of the group ISO(2) of motions of the Euclidean plane. The Hopf algebra $U_q({\rm m}_2)$ is treated as a Hopf $q$-deformation of the universal enveloping algebra of ${\rm iso}_2$ and is well-known in the literature. Not all irreducible representations of $U_q({\rm m}_2)$ can be extended to representations of the extension ${\hat U}_q({\rm m}_2)$. Composing the homomorphism $\psi$ with irreducible representations of ${\hat U}_q({\rm m}_2)$ we obtain representations of $U_q({\rm iso}_2)$. Not all of these representations of $U_q({\rm iso}_2)$ are irreducible. The reducible representations of $U_q({\rm iso}_2)$ are decomposed into irreducible components. In this way we obtain all irreducible representations of $U_q({\rm iso}_2)$ when $q$ is not a root of unity. A part of these representations turns into irreducible representations of the Lie algebra iso$_2$ when $q\to 1$. Representations of the other part have no classical analogue.


title: On Extremal Elliptic K3 Surfaces

abstract: We first classify the possible configurations of fibrations which are not semi-stable on extremal elliptic K3 surfaces. Then we give a complete list of extremal elliptic K3 surfaces whose singular fibers are all not of type $I_n$.


title: Finite Crystals and Paths

abstract: We consider a category of finite crystals of a quantum affine algebra whose objects are not necessarily perfect, and set of paths, semi-infinite tensor product of an object of this category with a certain boundary condition. It is shown that the set of paths is isomorphic to a direct sum of infinitely many, in general, crystals of integrable highest weight modules. We present examples from C_n^{(1)} and A_{n-1}^{(1)}, in which the direct sum becomes a tensor product as suggested from the Bethe Ansatz.


title: Subvarieties of generic hypersurfaces in any variety

abstract: Let W be a projective variety of dimension n+1, L a free line bundle on W, X in $H^0(L^d)$ a hypersurface of degree d which is generic among those given by sums of monomials from $L$, and let $f : Y \to X$ be a generically finite map from a smooth m-fold Y. We suppose that f is r-filling, i.e. upon deforming X in $H^0(L^d)$, f deforms in a family such that the corresponding deformations of $Y^r$ dominate $W^r$. Under these hypotheses we give a lower bound for the dimension of a certain linear system on the Cartesian product $Y^r$ having certain vanishing order on a diagonal locus as well as on a double point locus. This yields as one application a lower bound on the dimension of the linear system |K_{Y} - (d - n + m)f^*L - f^*K_{W}| which generalizes results of Ein and Xu (and in weaker form, Voisin). As another perhaps more surprising application, we conclude a lower bound on the number of quadrics containing certain projective images of Y.


title: Cohomology and Obstructions I: Geometry of formal Kuranishi theory

abstract: The principle "ambient cohomology of a Kaehler manifold annihilates obstructions" has been known and exploited since pioneering work of Kodaira. This paper extends and unifies many known results in two contexts, abstract deformations of compact Kaehler manifolds and deformations of submanifolds within a given deformation of the ambient manifold.


title: Immersed and virtually embedded pi_1-injective surfaces in graph manifolds

abstract: We show that many 3-manifold groups have no nonabelian surface subgroups. For example, any link of an isolated complex surface singularity has this property. In fact, we determine the exact class of closed graph-manifolds which have no immersed pi_1-injective surface of negative Euler characteristic. We also determine the class of closed graph manifolds which have no finite cover containing an embedded such surface. This is a larger class. Thus, manifolds M^3 exist which have immersed pi_1-injective surfaces of negative Euler characteristic, but no such surface is virtually embedded (finitely covered by an embedded surface in some finite cover of M^3).


title: Schrodinger flows on Grassmannians

abstract: The geometric non-linear Schrodinger equation (GNLS) on the complex Grassmannian manifold M is the Hamiltonian equation for the energy functional on C(R,M) with respect to the symplectic form induced from the Kahler form on M. It has a Lax pair that is gauge equivalent to the Lax pair of the matrix non-linear Schrodinger equation (MNLS). We construct via gauge transformations an isomorphism from C(R,M) to the phase space of the MNLS equation so that the GNLS flow corresponds to the MNLS flow. The existence of global solutions to the Cauchy problem for GNLS and the hierarchy of commuting flows follows from the correspondence. Direct geometric constructions show the flows are given by geometric partial differential equations, and the space of conservation laws has a structure of a non-abelian Poisson group. We also construct a hierarchy of symplectic structures for GNLS. Under pullback, the known order k symplectic structures correspond to the order (k-2) symplectic structures that we find. The shift by two is a surprise, and is due to the fact that the group structures depend on gauge choice.


title: The Homotopy Type of hyperbolic Monopole Orbit Spaces

abstract: We prove that the space of gauge equivalence classes of U(1)-invariant connections on some SU(2)-principle bundles over the 4-sphere S^4 is weakly homotopy equivalent to a component of the second loop space of the 2-sphere S^2.


title: Combing nilpotent and polycyclic groups

abstract: A combing is a set of normal forms for a finitely generated group. This article investigates the language-theoretic and geometric properties of combings for nilpotent and polycyclic groups. It is shown that a finitely generated class 2 nilpotent group with cyclic commutator subgroup is real-time combable, as are also all 2 or 3-generated class 2 nilpotent groups, and groups in certain families of nilpotent groups, e.g. the finitely generated Heisenberg groups, groups of unipotent matrices over the integers and the free class 2 nilpotent groups. Further it is shown that any polycyclic-by-finite group embeds in a real-time combable group. All the combings constructed in the article are boundedly asynchronous, and those for nilpotent-by-finite groups have polynomially bounded length functions, of degree equal to the nilpotency class, c. This result verifies a polynomial upper bound on the Dehn functions of those groups of degree c+1.


title: The structure of the solutions to semilinear equations at a critical exponent

abstract: This paper is concerned with the structure of the solutions to subcritical elliptic equations related to the Matukuma equation. In certain cases the complete structure of the solution set is known, and is comparable to that of the original Matukuma equation. Here we derive sufficient conditions for a more complicated solution set consisting of; (i) crossing solutions for small initial conditions and large initial conditions; (ii) at least one open interval of slowly decaying solutions; and (iii) at least two rapidly decaying solutions. As a consequence we obtain multiplicity results for rapidly decaying, or minimal solutions.


title: Vanishing theorems on Hermitian manifolds

abstract: We prove the vanishing of the Dolbeault cohomology groups on Hermitian manifolds with $dd^c$-harmonic K\"ahler form and positive (1,1)-part of the Ricci form of the Bismut connection. This implies the vanishing of the Dolbeault cohomology groups on complex surfaces which admit a conformal class of Hermitian metrics, such that the Ricci tensor of the canonical Weyl structure is positive. As a corollary we obtain that any such surface must be rational with $c_1^2 >0$. As an application, the pth Dolbeault cohomology groups of a left-invariant complex structure compatible with a bi-invariant metric on a compact even dimensional Lie group are computed.


title: K-Theory for Triangulated Categories III(A): The Theorem of the Heart

abstract: This is the fourth installment of a series. The main point of the entire series is the following: given a triangulated category T, it is possible to attach to it a K-theory space.


title: Sympletic Reduction and a Weighted Multiplicity Formula for Twisted Spin^c-Dirac Operations

abstract: We extend our earlier work in [TZ1], where an analytic approach to the Guillemin-Sternberg conjecture [GS] was developed, to cases where the Spin^c-complex under consideration is allowed to be further twisted by certain exterior power bundles of the cotangent bundle. The main result is a weighted quantization formula in the presence of commuting Hamiltonian actions. The corresponding Morse-type inequalities in holomorphic situations are also established.


title: Poisson Formula for Resonances in Even Dimensions

abstract: We consider scattering by an abstract compactly supported perturbation in R^n. To include the traditional cases of potential, obstacle and metric scattering without going into their particular nature we adopt the "black box" formalism developed jointly with Sjostrand [23]. It is quite likely that one could extend the results presented here to the case of non-compactly supported perturbation as well - see [21] for a natural generalization of "black box" perturbations.


title: Cohomology of topological graphs and Cuntz-Pimsner algebras

abstract: We compute the sheaf cohomology of a groupoid built from a local homeomorphism of a locally compact space $X$. In particular, we identify the twists over this groupoid, and its Brauer group. Our calculations refine those made by Kumjian, Muhly, Renault and Williams in the case $X$ is the path space of a graph, and the local homeomorphism is the shift. We also show how the C*-algebra of a twist may be identified with the Cuntz-Pimsner algebra constructed from a certain C*-correspondence.


title: Vertex algebras generated by Lie algebras

abstract: In this paper we introduce a notion of vertex Lie algebra U, in a way a "half" of vertex algebra structure sufficient to construct the corresponding local Lie algebra L(U) and a vertex algebra V(U). We show that we may consider U as a subset of V(U) which generates V(U) and that the vertex Lie algebra structure on U is induced by the vertex algebra structure on V(U). Moreover, for any vertex algebra V a given homomorphism from U to V of vertex Lie algebras extends uniquely to a homomorphism from V(U) to V of vertex algebras. In the second part of paper we study under what conditions on structure constants one can construct a vertex Lie algebra U by starting with a given commutator formula for fields.


title: Changing cardinal characteristics without changing omega-sequences or cofinalities

abstract: We show: There are pairs of universes V_1 subseteq V_2 and there is a notion of forcing P in V_1 such that the change mentioned in the title occurs when going from V_1[G] to V_2[G] for a P-generic filter G over V_2. We use forcing iterations with partial memories. Moreover, we implement highly transitive automorphism groups into the forcing orders.


title: The Geometry of Fixed Point Varieties on Affine Flag Manifolds

abstract: Let $G$ be a semisimple, simply connected, algebraic group over an algebraically closed field $k$ with Lie algebra $\frak g$. We study the spaces of parahoric subalgebras of a given type containing a fixed nil-elliptic element of $\frak g\otimes k((\pi))$, i.e. fixed point varieties on affine flag manifolds. We define a natural class of $k^*$-actions on affine flag manifolds, generalizing actions introduced by Lusztig and Smelt. We formulate a condition on a pair $(N,f)$ consisting of $N\in\frak{g}\otimes k((\pi))$ and a $k^*$-action $f$ of the specified type which guarantees that $f$ induces an action on the variety of parahoric subalgebras containing $N$. For the special linear and symplectic groups, we characterize all regular semisimple and nil-elliptic conjugacy classes containing a representative whose fixed point variety admits such an action. We then use these actions to find simple formulas for the Euler characteristics of those varieties for which the $k^*$-fixed points are finite. We also obtain a combinatorial description of the Euler characteristics of the spaces of parabolic subalgebras containing a given element of certain nilpotent conjugacy classes of $\frak g$.


title: Jacobian of meromorphic curves

abstract: The contact structure of two meromorphic curves gives a factorization of their jacobian.


title: Escape Probability, Mean Residence Time and Geophysical Fluid Particle Dynamics

abstract: Stochastic dynamical systems arise as models for fluid particle motion in geophysical flows with random velocity fields. Escape probability (from a fluid domain) and mean residence time (in a fluid domain) quantify fluid transport between flow regimes of different characteristic motion. We consider a quasigeostrophic meandering jet model with random perturbations. This jet is parameterized by the parameter $\beta = (2\Omega)/r \cos (\theta)$, where $\Omega$ is the rotation rate of the earth, $r$ the earth's radius and $\theta$ the latitude. Note that $\Omega$ and $r$ are fixed, so $\beta$ is a monotonic decreasing function of the latitude. The unperturbed jet (for $0 < \beta < 2/3$) consists of a basic flow with attached eddies. With random perturbations, there is fluid exchange between regimes of different characteristic motion. We quantify the exchange by escape probability and mean residence time.


title: Nonlocal Dynamics of Passive Tracer Dispersion with Random Stopping

abstract: We investigate the nonlocal behavior of passive tracer dispersion with random stopping at various sites in fluids. This kind of dispersion processes is modeled by an integral partial differential equation, i.e., an advection-diffusion equation with a memory term. We have shown the exponential decay of the passive tracer concentration, under suitable conditions for the velocity field and the probability distribution of random stopping time.


title: Skew products and crossed products by coactions

abstract: Given a labeling c of the edges of a directed graph E by elements of a discrete group G, one can form a skew-product graph E cross_c G. We show, using the universal properties of the various constructions involved, that there is a coaction delta of G on C*(E) such that C*(E cross_c G) is isomorphic to the crossed product C*(E) cross_delta G. This isomorphism is equivariant for the dual action deltahat and a natural action gamma of G on C*(E cross_c G); following results of Kumjian and Pask, we show that C*(E cross_c G) cross_gamma G is isomorphic to C*(E cross_c G) cross_{gamma,r} G, which in turn is isomorphic to C*(E) tensor K(l^2(G)), and it turns out that the action gamma is always amenable. We also obtain corresponding results for r-discrete groupoids Q and continuous homomorphisms c: Q -> G, provided Q is amenable. Some of these hold under a more general technical condition which obtains whenever Q is amenable or second-countable.


title: On relative normal modes

abstract: We generalize the Weinstein-Moser theorem on the existence of nonlinear normal modes near an equilibrium in a Hamiltonian system to a theorem on the existence of relative perodic orbits near a relative equilibrium in a Hamiltonian system with continuous symmetries. In particular we prove that under appropriate hypotheses there exist relative periodic orbits near relative equilibria even when these relative equilibria are singular points of the corresponding moment map, i.e. when the reduced spaces are singular.


title: On Faded Cosheaves of Sets

abstract: We prove that the category of faded cosheaves in Set over a sober topological space $(B,\Omega)$ is equivalent to a category Sett$(B,\Omega)$ having the same class of objects as Set$ / B$ has, but generally a wider class of morphisms. We also prove the converse: if each cosheaf over $T_0$-space $(B,\Omega)$ is isomorphic to the cosheaf of tubes of an appropriate map ranging in $(B,\Omega)$, then $(B,\Omega)$ is sober.


title: Simultaneous Resolution of Singularities

abstract: We prove a local theorem on simultaneous resolution of singularities, which is valid in all dimensions. This theorem is proven in dimension 2 (and in all characteristics) by Abhyankar in his book "Ramification theoretic methods in algebraic geometry".


title: Coalgebra-Galois extensions from the extension theory point of view

abstract: Coalgebra-Galois extensions generalise Hopf-Galois extensions, which can be viewed as non-commutative torsors. In this paper it is analysed when a coalgebra-Galois extension is a separable, split, or strongly separable extension.


title: Uncountably many arcs in S^3 whose complements have non-isomorphic, indecomposable fundamental groups

abstract: An uncountable collection of arcs in S^3 is constructed, each member of which is wild precisely at its endpoints, such that the fundamental groups of their complements are non-trivial, pairwise non-isomorphic, and indecomposable with respect to free products. The fundamental group of the complement of a certain Fox-Artin arc is also shown to be indecomposable.


title: Lower bound of Newton number

abstract: We show a lower estimate of the Milnor number of an isolated hypersurface singularity, via its Newton number. We also obtain analogous estimate of the Milnor number of an isolated singularity of a similar complete intersection variety.


title: Gap forcing: generalizing the Levy-Solovay theorem

abstract: The landmark Levy-Solovay Theorem limits the kind of large cardinal embeddings that can exist in a small forcing extension. Here I announce a generalization of this theorem to a broad new class of forcing notions. One consequence is that many of the forcing iterations most commonly found in the large cardinal literature create no new weakly compact cardinals, measurable cardinals, strong cardinals, Woodin cardinals, strongly compact cardinals, supercompact cardinals, almost huge cardinals, huge cardinals, and so on.


title: The symplectic Floer homology of the figure eight knot

abstract: In this paper, we compute the symplectic Floer homology of the figure eight knot. This provides first nontrivial knot with trivial symplectic Floer homology.


title: Integral Expressions for the Vassiliev Knot Invariants

abstract: It has been folklore for several years in the knot theory community that certain integrals on configuration space, originally motivated by perturbation theory for the Chern-Simons field theory, converge and yield knot invariants. This was proposed independently by Gaudagnini, Martellini, and Mintchev and Bar-Natan. The analytic difficulties involved in proving convergence and invariance were reportedly worked out by Bar-Natan, Kontsevich, and Axelrod and Singer. But I know of no elementary exposition of this fact. ... This thesis is an attempt to remedy this lack. I adopt an almost exclusively topological point of view, rarely mentioning Chern-Simons theory. There are also a few new results in this thesis. These include a new construction of the functorial compactification of configuration space (Section 3.2) as well as some variations on the integrals. For a suitable choice of this variation, the integral reduces to counting tinkertoy diagrams (Section 4.5). In particular, the invariants constructed take values in Q.


title: Resonance Relations for Solutions of the Elliptic QKZB Equations, Fusion Rules, and Eigenvectors of Transfer Matrices of Restricted Interaction-round-a-face Models

abstract: Conformal blocks for the WZW model on tori can be represented by vector valued Weyl anti-symmetric theta functions on the Cartan subalgebra satisfying vanishing conditions on root hyperplanes. We introduce a quantum version of these vanishing conditions in the sl(2) case. They are compatible with the qKZB equations and are obeyed by the hypergeometric solutions as well as by their critical level counterpart, which are Bethe eigenfunctions of IRF row-to-row transfer matrices. In the language of IRF models the vanishing conditions turn out to be equivalent to the sl(2) fusion rules defining restricted models.


title: The Spectral Shift Operator

abstract: We introduce the concept of a spectral shift operator and use it to derive Krein's spectral shift function for pairs of self-adjoint operators. Our principal tools are operator-valued Herglotz functions and their logarithms. Applications to Krein's trace formula and to the Birman-Solomyak spectral averaging formula are discussed.


title: Hodge classes on abelian varieties of low dimension

abstract: In this paper we study Hodge classes on complex abelian varieties. We prove some general results that allow us, in certain cases, to compute the Hodge group of a product abelian variety $X = X_1 \times X_2$ once we know the Hodge groups of the two factors. Using these results we can compute the Hodge groups of all abelian varieties of dimension $\leq 5$. We prove that the Hodge ring of any such abelian variety $X$ is generated by divisor classes together with the so-called Weil classes on (quotients of) $X$.


title: Sur le lemme fondamental pour les groupes unitaires: le cas totalement ramifie et homogene

abstract: Paper withdrawn. There is a gap in the proof of Proposition 4.3 (its conclusion ``d'o\`{u} la proposition.'' is incorrect). Therefore theorems 1.1 and 3.1, which were the main results of the paper, are not proved.


title: Minimal handle decomposition of smooth simply connected 5-manifolds

abstract: A theorem on the existence of the unique minimal topologic handle decomposition of differentiable simply connected five-dimensional manifolds is proved. For a decomposition of this sort, the number of handles of each index is given.


title: Vector fields with a given set of singular points

abstract: Theorems on the existence of vector fields with given sets of Indexes of isolated Singular points are proved for the cases of closed manifolds, pairs of manifolds, manifolds with boundary, and gradient fields. It is proved that, on a two-dimensional manifold, an index of an isolated Singular point of the gradient field is not greater than one.


title: A Note on n-ary Poisson Brackets

abstract: A class of n-ary Poisson structures of constant rank is indicated. Then, one proves that the ternary Poisson brackets are exactly those which are defined by a decomposable 3-vector field. The key point is the proof of a lemma which tells that an n-vector $(n\geq3)$ is decomposable iff all its contractions with up to n-2 covectors are decomposable.


title: On the distribution of the length of the second row of a Young diagram under Plancherel measure

abstract: We investigate the probability distribution of the length of the second row of a Young diagram of size $N$ equipped with Plancherel measure. We obtain an expression for the generating function of the distribution in terms of a derivative of an associated Fredholm determinant, which can then be used to show that as $N\to\infty$ the distribution converges to the Tracy-Widom distribution [TW] for the second largest eigenvalue of a random GUE matrix. This paper is a sequel to [BDJ], where we showed that as $N\to\infty$ the distribution of the length of the first row of a Young diagram, or equivalently, the length of the longest increasing subsequence of a random permutation, converges to the Tracy-Widom distribution [TW] for the largest eigenvalue of a random GUE matrix.

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


title: Multiplicative Invariants and Semigroup Algebras

abstract: Let G be a finite group acting by automorphism on a lattice A, and hence on the group algebra S=k[A]. The algebra of G-invariants in S is called an algebra of multiplicative invariants. We investigate when algebras of multiplicative invariants are semigroup algebras. In particular, we present an explicit version of a result of Farkas stating that multiplicative invariants of finite reflection groups are indeed semigroup algebras. On the other hand, multiplicative invariants arising from fixed point free actions are shown to never be semigroup algebras. In particular, this holds whenever G has odd prime order.


title: A table of boundary slopes of Montesinos knots

abstract: This note corrects errors in Hatcher and Oertel's table of boundary slopes of Montesinos knots which have projections with 10 or fewer crossings.


title: A multi-level algorithm for the solution of moment problems

abstract: We study numerical methods for the solution of general linear moment problems, where the solution belongs to a family of nested subspaces of a Hilbert space. Multi-level algorithms, based on the conjugate gradient method and the Landweber--Richardson method are proposed that determine the "optimal" reconstruction level a posteriori from quantities that arise during the numerical calculations. As an important example we discuss the reconstruction of band-limited signals from irregularly spaced noisy samples, when the actual bandwidth of the signal is not available. Numerical examples show the usefulness of the proposed algorithms.


title: Rates of convergence for the approximation of dual shift-invariant systems in $l_2(Z)$

abstract: A shift-invariant system is a collection of functions $\{g_{m,n}\}$ of the form $g_{m,n}(k) = g_m(k-an)$. Such systems play an important role in time-frequency analysis and digital signal processing. A principal problem is to find a dual system $\gamma_{m,n}(k) = \gamma_m(k-an)$ such that each function $f$ can be written as $f = \sum < f, \gamma_{m,n} > g_{m,n}$. The mathematical theory usually addresses this problem in infinite dimensions (typically in $L_2(R)$ or $l_2(Z)$), whereas numerical methods have to operate with a finite-dimensional model. Exploiting the link between the frame operator and Laurent operators with matrix-valued symbol, we apply the finite section method to show that the dual functions obtained by solving a finite-dimensional problem converge to the dual functions of the original infinite-dimensional problem in $l_2(Z)$. For compactly supported $g_{m,n}$ (FIR filter banks) we prove an exponential rate of convergence and derive explicit expressions for the involved constants. Further we investigate under which conditions one can replace the discrete model of the finite section method by the periodic discrete model, which is used in many numerical procedures. Again we provide explicit estimates for the speed of convergence. Some remarks on tight frames complete the paper.


title: A Levinson-Galerkin algorithm for regularized trigonometric approximation

abstract: Trigonometric polynomials are widely used for the approximation of a smooth function $f$ from a set of nonuniformly spaced samples $\{f(x_j)\}_{j=0}^{N-1}$. If the samples are perturbed by noise, controlling the smoothness of the trigonometric approximation becomes an essential issue to avoid overfitting and underfitting of the data. Using the polynomial degree as regularization parameter we derive a multi-level algorithm that iteratively adapts to the least squares solution of optimal smoothness. The proposed algorithm computes the solution in at most $\cal{O}(NM + M^2)$ operations ($M$ being the polynomial degree of the approximation) by solving a family of nested Toeplitz systems. It is shown how the presented method can be extended to multivariate trigonometric approximation. We demonstrate the performance of the algorithm by applying it in echocardiography to the recovery of the boundary of the Left Ventricle.


title: Symmetries and reversing symmetries of trace maps

abstract: A (discrete) dynamical system may have various symmetries and reversing symmetries, which together form its so-called reversing symmetry group. We study the set of 3D trace maps (obtained from two-letter substitution rules) which preserve the Fricke-Vogt invariant I(x,y,z). This set of dynamical systems forms a group G isomorphic with the projective linear (or modular) group PGL(2,Z). For such trace maps, we give a complete characterization of the reversing symmetry group as a subgroup of the group A of all polynomial mappings that preserve I(x,y,z).


title: Spinor equations in Weyl geometry

abstract: In this paper, the Dirac, twistor and Killing equations on Weyl manifolds with CSpin structures are investigated. A conformal Schr"odinger-Lichnerowicz formula is presented and used to show integrability conditions for these equations. By introducing the Killing equation for spinors of arbitrary weight, the result of Andrei Moroianu in [9] is generalized in the following sense. The only non-closed Weyl manifolds of dimension greater than 3 that admit solutions of the real Killing equation are 4-dimensional and non-compact. Any Weyl manifold of these dimensions admitting a real Killing spinor has to be Einstein-Weyl.


title: Schur Q-functions and degeneracy locus formulas for morphisms with symmetries

abstract: We give closed-form formulas for the fundamental classes of degeneracy loci associated with vector bundle maps given locally by (not necessary square) matrices which are symmetric (resp. skew-symmetric) w.r.t. the main diagonal. Our description uses essentially Schur Q-polynomials of a bundle, and is based on a certain push-forward formula for these polynomials in a Grassmann bundle.


title: Height and Intersection for a family of semi-stable curves

abstract: In this paper, we consider an arithmetic Hodge index theorem for a family of semi-stable curves f: X \to B with f_{\bf C} being smooth, generalizing Faltings-Hriljac's arithmetic Hodge index theorem for an arithmetic surface.


title: A Note on a Conjecture of Xiao

abstract: Let f:S ->B be a relatively minimal fibred surface. In this note we give a partial affirmative answer to a conjecture of Xiao, proving that the direct image of the relative dualizing sheaf of $f$ is ample when the slope of the fibration is less than 4, if the general fibre of $f$ is non-hyperelliptic or the genus of the fibre or of the base curve is low.


title: On the Slope of Fibred Surfaces

abstract: Given a relatively minimal non locally trivial fibred surface f: S->B, the slope of the fibration is a numerical invariant associated to the fibration. In this paper we explore how properties of the general fibre of $f$ and global properties of S influence on the lower bound of the slope. First of all we obtain lower bounds of the slope when the general fibre is a double cover. We also obtain a lower bound depending as an increasing function on the relative irregularity of the fibration, extending previous results of Xiao. We construct several families of examples to check the assimptotical sharpness of our bounds.


title: Group Actions on Central Simple Algebras

abstract: Let $G$ be a group, $F$ a field, and $A$ a finite-dimensional central simple algebra over $F$ on which $G$ acts by $F$-algebra automorphisms. We study the ideals and subalgebras of $A$ which are preserved by the group action. Let $V$ be the unique simple module of $A$. We show that $V$ is a projective representation of $G$ and $A\cong\text{End}_D(V)$ makes $V$ into a projective representation. We then prove that there is a natural one-to-one correspondence between $G$-invariant $D$-submodules of $V$ and invariant left (and right) ideals of $A$. Under the assumption that $V$ is irreducible, we show that an invariant (unital) subalgebra must be a simply embedded semisimple subalgebra. We introduce induction of $G$-algebras. We show that each invariant subalgebras is induced from a simple $H$-algebra for some subgroup $H$ of finite index and obtain a parametrization of the set of invariant subalgebras in terms of induction data. We then describe invariant central simple subalgebras. For $F$ algebraically closed, we obtain an entirely explicit classification of the invariant subalgebras. Furthermore, we show that the set of invariant subalgebras is finite if $G$ is a finite group. Finally, we consider invariant subalgebras when $V$ is a continuous projective representation of a topological group $G$. We show that if the connected component of the identity acts irreducibly on $V$, then all invariant subalgebras are simple. We then apply our results to obtain a particularly nice solution to the classification problem when $G$ is a compact connected Lie group and $F=\mathbf C$.


title: Knot types, homotopies and stability of closed elastic rods

abstract: The energy minimization problem associated to uniform, isotropic, linearly elastic rods leads to a geometric variational problem for the rod centerline, whose solutions include closed, knotted curves. We give a complete description of the space of closed and quasiperiodic solutions. The quasiperiodic curves are parametrized by a two-dimensional disc. The closed curves arise as a countable collection of one-parameter families, connecting the m-fold covered circle to the n-fold covered circle for any m,n relatively prime. Each family contains exactly one self-intersecting curve, one elastic curve, and one closed curve of constant torsion. Two torus knot types are represented in each family, and all torus knots are represented by elastic rod centerlines.


title: Duality for the G_r,s Quantum Group

abstract: The two parameter quantum group G_r,s is generated by five elements, four of which form a Hopf subalgebra isomorphic to GL_q(2), while the fifth generator relates G_r,s to GL_p,q(2). We construct explicitly the dual algebra of G_r,s and show that it is isomorphic to the single parameter deformation of gl(2) + gl(1), with the second parameter appearing in the costructure. We also formulate a differential calculus on G_r,s which provides a realisation of the calculus on GL_p,q(2).


title: Arnold-type invariants of wave fronts on surfaces

abstract: Recently Arnold's $\St$ and $J^{\pm}$ invariants of generic planar curves have been generalized to the case of generic planar wave fronts. We generalize these invariants to the case of wave fronts on an arbitrary surface $F$. All invariants satisfying the axioms which naturally generalize the axioms used by Arnold are explicitly described. We also give an explicit formula for the finest order one $J^+$-type invariant of fronts on an orientable surface $F\neq S^2$. We obtain necessary and sufficient conditions for an invariant of nongeneric fronts with one nongeneric singular point to be the Vassiliev-type derivative of an invariant of generic fronts. As a byproduct, we calculate all homotopy groups of the space of Legendrian immersions of $S^1$ into the spherical cotangent bundle of a surface.


title: On Differences of Semi-Continuous Functions

abstract: Extrinsic and intrinsic characterizations are given for the class DSC(K) of differences of semi-continuous functions on a Polish space K, and also decomposition characterizations of DSC(K) and the class PS(K) of pointwise stabilizing functions on K are obtained in terms of behavior restricted to ambiguous sets. The main, extrinsic characterization is given in terms of behavior restricted to some subsets of second category in any closed subset of K. The concept of a strong continuity point is introduced, using the transfinite oscillations osc$_\alpha f$ of a function $f$ previously defined by the second named author. The main intrinsic characterization yields the following DSC analogue of Baire's characterization of first Baire class functions: a function belongs to DSC(K) iff its restriction to any closed non-empty set L has a strong continuity point. The characterizations yield as a corollary that a locally uniformly converging series $\sum \phi_j$ of DSC functions on K converges to a DSC function provided $\sum{osc}_\alpha \phi_j$ converges locally uniformly for all countable ordinals $\alpha$.


title: Enumeration of Symmetry Classes of Parallelogram Polyominoes

abstract: Parallelogram polyominoes are a subclass of convex polyominoes in the square lattice that has been studied extensively in the literature. Recently congruence classes of convex polyominoes with respect to rotations and reflections have been enumerated by counting orbits under the action of the dihedral group D4, of symmetries of the square, on (translation-type) convex polyominoes. Asymmetric convex polyominoes were also enumerated using Moebius inversion in the lattice of subgroups of D4. Here we extend these results to the subclass of parallelogram polyominos using a subgroup D2 of D4 which acts of this class.


title: Lie Groups of Fourier Integral Operators on Open Manifolds

abstract: We endow the group of invertible Fourier integral operators on an open}manifold with the structure of an ILH Lie group. This is done by establishing such structures for the groups of invertible pseudodifferential operators and contact transformations on an open manifold of bounded geometry, and gluing those together via a local section.


title: Spin spaces, Lipschitz groups, and spinor bundles

abstract: It is shown that every bundle $\varSigma\to M$ of complex spinor modules over the Clifford bundle $\Cl(g)$ of a Riemannian space $(M,g)$ with local model $(V,h)$ is associated with an lpin ("Lipschitz") structure on $M$, this being a reduction of the ${\Ort}(h)$-bundle of all orthonormal frames on M to the Lipschitz group $\Lpin(h)$ of all automorphisms of a suitably defined spin space. An explicit construction is given of the total space of the $\Lpin(h)$-bundle defining such a structure. If the dimension m of M is even, then the Lipschitz group coincides with the complex Clifford group and the lpin structure can be reduced to a pin$^{c}$ structure. If m=2n-1, then a spinor module $\varSigma$ on M is of the Cartan type: its fibres are 2^n-dimensional and decomposable at every point of M, but the homomorphism of bundles of algebras $\Cl(g)\to\End\varSigma$ globally decomposes if, and only if, M is orientable. Examples of such bundles are given. The topological condition for the existence of an lpin structure on an odd-dimensional Riemannian manifold is derived and illustrated by the example of a manifold admitting such a structure, but no pin^c structure.


title: Vari\'et\'es alg\'ebriques dont le fibr\'e tangent est totalement d\'ecompos\'e

abstract: Nous montrons que le rev\^etement universel des vari\'et\'es alg\'ebriques projectives dont le fibr\'e tangent est totalement d\'ecompos\'e et v\'erifie certaines conditions d'int\'egrabilit\'e est produit de surfaces de Riemann et que la d\'ecomposition de $T_{X}$ est induite par la d\'ecomposition du tangent au rev\^etement universel; lorsque la vari\'et\'e est minimale les conditions d'int\'egrabilit\'e ne sont pas n\'ec\'essaires.


title: Generalized Enrichment for Categories and Multicategories

abstract: In this paper we answer the question: `what kind of a structure can a general multicategory be enriched in?' The answer is, in a sense to be made precise, that a multicategory of one type can be enriched in a multicategory of the type one level up. In the case of ordinary categories this reduces to something surprising: a category may be enriched in an `fc-multicategory', a very general kind of 2-dimensional structure encompassing monoidal categories, plain multicategories, bicategories and double categories. (It turns out that fc-multicategories also provide a natural setting for the bimodules construction.) An extended application is given: the relaxed multicategories of Borcherds and Soibelman are explained in terms of enrichment.


title: Control of nonlinear underactuated systems

abstract: In this paper we introduce a new method to design control laws for non-linear underactuated systems. Our method produces an infinite dimensional family of control laws, whereas most control techniques only produce a finite dimensional family. These control laws each come with a natural Lyapunov function. The inverted pendulum cart is used as an example. In addition, we construct an abstract system which is open loop unstable and cannot be stabilized using any linear control law, and demonstrate that our method produces a stabilizing control law.


title: Low lying zeros of families of L-functions

abstract: In Iwaniec-Sarnak [IS] the percentages of nonvanishing of central values of families of GL_2 automorphic L-functions was investigated. In this paper we examine the distribution of zeros which are at or neat s=1/2 (that is the central point) for such families of L-functions. Unlike [IS], most of the results in this paper are conditional, depending on the Generalized Riemann Hypothesis (GRH). It is by no means obvious, but on the other hand not surprising, that this allows us to obtain sharper results on nonvanishing.


title: The structure of pseudo-holomorphic subvarieties for a degenerate almost complex structure and symplectic form on S^1 X B^3

abstract: A self-dual harmonic 2-form on a 4-dimensional Riemannian manifold is symplectic where it does not vanish. Furthermore, away from the form's zero set, the metric with the 2-form give a compatible almost complex structure and thus pseudo-holomorphic subvarieties. Such a subvariety is said to have finite energy when the integral over the variety of the given self-dual 2-form is finite. This article proves a regularity theorem for such finite energy subvarieties when the metric is particularly simple near the form's zero set. To be more precise, this article's main result asserts the following: Assume that the zero set of the form is non-degenerate and that the metric near the zero set has a certain canonical form. Then, except possibly for a finite set of points on the zero set, each point on the zero set has a ball neighborhood which intersects the subvariety as a finite set of components, and the closure of each component is a real analytically embedded half disk whose boundary coincides with the zero set of the form.


title: Exponents and the cohomology of finite groups

abstract: Provides a counterexample to a long standing conjecture of A. Adem regarding the behaviour of the integral cohomology of a p-group.


title: Cohomology of uniformly powerful p-groups

abstract: Studies the cohomology of p-central, powerful, p-groups with a certain extension property. These groups are naturally associated to Lie algebras. The paper develops a machinery that calculates the first few terms of the Bockstein spectral sequence in terms of the associated Lie algebras. This is then used to obtain results on the integral cohomology of these groups.


title: Lifting Lie algebras over the residue field of a discrete valuation ring

abstract: Studies among other things, the question of whether a Lie algebra over Z/(p^k)Z lifts to one over Z/(p^(k+1))Z. An obstruction theory is developed and examples of Fp-Lie algebras which don't lift to Lie algebras over Z/p^2Z are discussed. An example of an application of the result: A Fp-Lie algebra L with H^3(L, ad)=0 will lift to a p-adic Lie algebra.


title: Blowup of small data solutions for a quasilinear wave equation in two space dimensions

abstract: For the quasilinear wave equation \partial_t^2u - \Delta u = u_t u_{tt}, we analyze the long-time behavior of classical solutions with small (not rotationally invariant) data. We give a complete asymptotic expansion of the lifespan and describe the solution close to the blowup point. It turns out that this solution is a ``blowup solution of cusp type,'' according to the terminology of the author.


title: The instability of naked singularities in the gravitational collapse of a scalar field

abstract: One of the fundamental unanswered questions in the general theory of relativity is whether ``naked'' singularities, that is singular events which are visible from infinity, may form with positive probability in the process of gravitational collapse. The conjecture that the answer to this question is in the negative has been called ``cosmic censorship.'' The present paper, which is a continuation previous work, addresses this question in the context of the spherical gravitational collapse of a scalar field.


title: Rigidity of infinite disk patterns

abstract: Let P be a locally finite disk pattern on the complex plane C whose combinatorics are described by the one-skeleton G of a triangulation of the open topological disk and whose dihedral angles are equal to a function \Theta:E\to [0,\pi/2] on the set of edges. Let P^* be a combinatorially equivalent disk pattern on the plane with the same dihedral angle function. We show that P and P^* differ only by a euclidean similarity. In particular, when the dihedral angle function \Theta is identically zero, this yields the rigidity theorems of B. Rodin and D. Sullivan, and of O. Schramm, whose arguments rely essentially on the pairwise disjointness of the interiors of the disks. The approach here is analytical, and uses the maximum principle, the concept of vertex extremal length, and the recurrency of a family of electrical networks obtained by placing resistors on the edges in the contact graph of the pattern. A similar rigidity property holds for locally finite disk patterns in the hyperbolic plane, where the proof follows by a simple use of the maximum principle. Also, we have a uniformization result for disk patterns. In a future paper, the techniques of this paper will be extended to the case when 0 \le \Theta < \pi. In particular, we will show a rigidity property for a class of infinite convex polyhedra in the 3-dimensional hyperbolic space.


title: Basepoint freeness for nef and big line bundles in positive characteristic

abstract: A necessary and sufficient condition is given for semi-ampleness of a numerically effective (nef) and big line bundle in positive characteristic. One application is to the geometry of the universal stable curve over M_g, specifically, the semi-ampleness of the relative dualizing sheaf, in positive characteristic. An example is given which shows this and the semi-ampleness criterion fail in characteristic zero. A second application is to Mori's program for minimal models of 3-folds in positive characteristic, namely, to the existence of birational extremal contractions.


title: Homogeneity of infinite dimensional isoparametric submanifolds

abstract: A subset S of a Riemannian manifold N is called extrinsically homogeneous if S is an orbit of a subgroup of the isometry group of N. Thorbergsson proved the remarkable result that every complete, connected, full, irreducible isoparametric submanifold of a finite dimensional Euclidean space of rank at least 3 is extrinsically homogeneous. This result, combined with results of Palais-Terng and Dadok, finally classified irreducible isoparametric submanifolds of a finite dimensional Euclidean space of rank at least 3. While Thorbergsson's proof used Tits buildings, a simpler proof without using Tits buildings was given by Olmos. The main purpose of this paper is to extend Thorbergsson's result to the infinite dimensional case.


title: On finite homomorphic images of the multiplicative group of a division algebra

abstract: This paper, together with a forthcoming paper by the author and Seitz, proves the Margulis-Platonov conjecture concerning the normal subgroup structure of algebraic groups over number fields, in the case of inner forms of anisotropic groups of type $A_n$.


title: On the fourth-order accurate compact ADI scheme for solving the unsteady Nonlinear Coupled Burgers' Equations

abstract: The two-dimensional unsteady coupled Burgers' equations with moderate to severe gradients, are solved numerically using higher-order accurate finite difference schemes; namely the fourth-order accurate compact ADI scheme, and the fourth-order accurate Du Fort Frankel scheme. The question of numerical stability and convergence are presented. Comparisons are made between the present schemes in terms of accuracy and computational efficiency for solving problems with severe internal and boundary gradients. The present study shows that the fourth-order compact ADI scheme is stable and efficient.


title: Variational methods for solving nonlinear boundary problems of statics of hyper-elastic membranes

abstract: A number of important results of studying large deformations of hyper-elastic shells are obtained using discrete methods of mathematical physics. In the present paper, using the variational method for solving nonlinear boundary problems of statics of hyper-elastic membranes under the regular hydrostatic load, we investigate peculiarities of deformation of a circular membrane whose mechanical characteristics are described by the Bidermann-type elastic potential. We develop an algorithm for solving a singular perturbation of nonlinear problem for the case of membrane loaded by heavy liquid. This algorithm enables us to obtain approximate solutions both in the presence of boundary layer and without it. The class of admissible functions, on which the variational method is realized, is chosen with account of the structure of formal asymptotic expansion of solutions of the corresponding linearized equations that have singularities in a small parameter at higher derivatives and in the independent variable. We give examples of calculations that illustrate possibilities of the method suggested for solving the problem under consideration.


title: Symmetries of a class of nonlinear fourth order partial differential equations

abstract: In this paper we study symmetry reductions of a class of nonlinear fourth order partial differential equations \be u_{tt} = \left(\kappa u + \gamma u^2\right)_{xx} + u u_{xxxx} +\mu u_{xxtt}+\alpha u_x u_{xxx} + \beta u_{xx}^2, \ee where $\alpha$, $\beta$, $\gamma$, $\kappa$ and $\mu$ are constants. This equation may be thought of as a fourth order analogue of a generalization of the Camassa-Holm equation, about which there has been considerable recent interest. Further equation (1) is a ``Boussinesq-type'' equation which arises as a model of vibrations of an anharmonic mass-spring chain and admits both ``compacton'' and conventional solitons. A catalogue of symmetry reductions for equation (1) is obtained using the classical Lie method and the nonclassical method due to Bluman and Cole. In particular we obtain several reductions using the nonclassical method which are no} obtainable through the classical method.


title: Selmer groups of Hecke characters and Chow groups of self products of CM elliptic curves

abstract: We bound Selmer groups attached to Grossencharacters of CM elliptic curves by the appropriate $L$-value. Our method is to use Kato's explicit reciprocity law and the Main Conjecture as proved by Rubin. These results are then used together with work of Han and fundamental results of Nekovar to bound the torsion in the image of the $p$-adic cycle class map for self products of CM elliptic curves. Our results are valid for Chow groups of arbitrary codimension for almost all $p$.


title: Several variable p-adic families of Siegel-Hilbert cusp eigensystems and their Galois representations

abstract: Let F be a totally real field and G=GSp(4)_{/F}. In this paper, we show under a weak assumption that, given a Hecke eigensystem lambda which is (p,P)-ordinary for a fixed parabolic P in G, there exists a several variable p-adic family underline{lambda} of Hecke eigensystems (all of them (p,P)-nearly ordinary) which contains lambda. The assumption is that lambda is cohomological for a regular coefficient system. If F=Q, the number of variables is three. Moreover, in this case, we construct the three variable p-adic family rho_{underline{lambda}} of Galois representations associated to underline{lambda}. Finally, under geometric assumptions (which would be satisfied if one proved that the Galois representations in the family come from Grothendieck motives), we show that rho_{underline{lambda}} is nearly ordinary for the dual parabolic of P. This text is an updated version of our first preprint (issued in the "Prepublication de l'universite Paris-Nord") and will appear in the "Annales Scientifiques de l' E N S".


title: Mod 2 representations of elliptic curves

abstract: This note gives explicit equations for the elliptic curves (in characteristic not 2 or 3) with mod 2 representation isomorphic to that of a given one.


title: Remarks on methods of Fontaine and Faltings

abstract: In this note we prove the non existence of certain irreducible two dimensional representations of the the absolute Galois group. Such results are predicted by Serre's conjecture and we use Fontaine's methods to verify these predictions in a small number of cases. We also use a methods of Faltings to study certain finiteness conjectures for Galois representations. Key words: Serre's conjecture, Fontaine-Mazur conjectures, Galois representations.


title: p-adic boundary values

abstract: We study in detail certain natural continuous representations of G = GL(n,K) in locally convex vector spaces over a locally compact, non-archimedean field K of characteristic zero. We construct boundary value maps, or integral transforms, between subquotients of the dual of a ``holomorphic'' representation coming from a p-adic symmetric space, and ``principal series'' representations constructed from locally analytic functions on G. We characterize the image of each of our integral transforms as a space of functions on $G$ having certain transformation properties and satisfying a system of partial differential equations of hypergeometric type. This work generalizes earlier work of Morita, who studied this type of representation of the group SL(2,K). It also extends the work of Schneider-Stuhler on the deRham cohomology of p-adic symmetric spaces. We view this work as part of a general program of developing the theory of such representations.


title: Longest increasing subsequences of random colored permutations

abstract: We compute the limit distribution for (centered and scaled) length of the longest increasing subsequence of random colored permutations. The limit distribution function is a power of that for usual random permutations computed recently by Baik, Deift, and Johansson (math.CO/9810105). In two--colored case our method provides a different proof of a similar result by Tracy and Widom about longest increasing subsequences of signed permutations (math.CO/9811154). Our main idea is to reduce the `colored' problem to the case of usual random permutations using certain combinatorial results and elementary probabilistic arguments.


title: Poincar\'e polynomial of the moduli spaces of parabolic bundles

abstract: In this paper we use Weil conjectures (Deligne's theorem) to calculate the Betti numbers of the moduli spaces of semi-stable parabolic bundles on a curve. The quasi parabolic analogue of the Siegel formula, together with the method of Harder-Narasimhan filtration gives us a recursive formula for the Poincar\'e polynomials of the moduli. We solve the recursive formula by the method of Zagier, to give the Poincar\'e polynomial in a closed form. We also give explicit tables of Betti numbers in small rank, and genera.


title: The Mixed Hodge Structure on the Fundamental Group of a Punctured Riemann Surface

abstract: Given a compact Riemann surface $\bar{X}$ of genus $g$ and a point $q$ on $\bar{X}$, we consider $X:=\bar{X}\setminus\{q\}$ with a basepoint $p\in X$. The extension of mixed Hodge structures, given by the weights -1 and -2, of the mixed Hodge structure on the fundamental group (in the sense of Hain) is studied. We show that it naturally corresponds on the one hand to the element $(2g q-2 p-K)$ in $\Pic^0(\bar{X})$, where $K$ represents the canonical divisor, and on the other hand to the respective extension of $\bar{X}$. Finally, we prove a pointed Torelli theorem for punctured Riemann surfaces.


title: Advanced Determinant Calculus

abstract: The purpose of this article is threefold. First, it provides the reader with a few useful and efficient tools which should enable her/him to evaluate nontrivial determinants for the case such a determinant should appear in her/his research. Second, it lists a number of such determinants that have been already evaluated, together with explanations which tell in which contexts they have appeared. Third, it points out references where further such determinant evaluations can be found.

categories: math.CO math-ph math.CA math.MP math.NT math.RA


title: The Dolbeault operator on Hermitian spin surfaces

abstract: We consider the Dolbeault operator of $K^{1/2}$ -- the square root of the canonical line bundle which determines the spin structure of a compact Hermitian spin surface (M,g,J). We prove that the Dolbeault cohomology groups of $K^{1/2}$ vanish if the scalar curvature of g is non-negative and non-identically zero. Moreover, we estimate the first eigenvalue of the Dolbeault operator when the conformal scalar curvature k is non-negative and when k is positive. In the first case we give a complete list of limiting manifolds and in the second one we give non-K\"ahler examples of limiting manifolds.


title: Decomposition numbers and canonical bases

abstract: We obtain some simple relations between decomposition numbers of quantized Schur algebras at an n-th root of unity (over a field of characteristic 0). These relations imply that every decomposition number for such an algebra occurs as a decomposition number for some Hecke algebra of type A. We prove similar relations between coefficients of the canonical basis of the q-deformed Fock space previously introduced in a joint work with Thibon. It follows that these coefficients can all be expressed in terms of those of the global crystal basis of the irreducible sub-representation generated by the vacuum vector. As a consequence, using works of Ariki and Varagnolo-Vasserot, it is possible to give a new proof of Lusztig's character formula for the simple U_v(sl_r)-modules at roots of unity, which does not involve representations of sl^_r of negative level.


title: Operators between subspaces and quotients of L1

abstract: We provide an unified approach of results of L. Dor on the complementation of the range, and of D. Alspach on the nearness from isometries, of small into isomorphisms of L1. We introduce the notion of small subspace of L1 and show lifting theorems for operators between quotients of L1 by small subspaces. We construct a subspace of L1 which shows that extension of isometries from subspaces of L1 to the whole space are no longer true for isomorphisms, and that nearly isometric isomorphisms from subspaces of L1 into L1 need not be near from any isometry.


title: The tunnel number of the sum of n knots is at least n

abstract: We prove that the tunnel number of the sum of n knots is at least n.


title: A proof of a conjecture for the number of ramified coverings of the sphere by the torus

abstract: An explicit expression is obtained for the generating series for the number of ramified coverings of the sphere by the torus, with elementary branch points and prescribed ramification type over infinity. This proves a conjecture of Goulden, Jackson and Vainshtein for the explicit number of such coverings.


title: How a strongly irreducible Heegaard splitting intersects a handlebody

abstract: It has been shown elsewhere that a strongly irreducible Heegaard splitting surface Q of a compact orientable 3-manifold M can, under reasonable side conditions, intersect a ball or a solid torus in M in only a few possible ways. Here we extend those results to describe how Q can intersect a handlebody in M.


title: The number of ramified coverings of the sphere by the double torus, and a general form for higher genera

abstract: An explicit expression is obtained for the generating series for the number of ramified coverings of the sphere by the double torus, with elementary branch points and prescribed ramification type over infinity. Thus we are able to prove a conjecture of Graber and Pandharipande, giving a linear recurrence equation for the number of these coverings with no ramification over infinity. The general form of the series is conjectured for the number of these coverings by a surface of arbitrary genus that is at least two.


title: Harmonic Analysis and Localization Technique

abstract: We study relationships between different formulations of the local principle. Also we establish a connection among the local principle and the non-commutative Fourier transform approach to the investigation of convolution operator algebras. Keywords: Sectional Representations, Local Principle, Fourier Transform, Convolution Algebras.


title: Rigidity for periodic magnetic fields

abstract: We study the motion of a charge on a conformally flat Riemannian torus in the presence of magnetic field. We prove that for any non-zero magnetic field there always exist orbits of this motion which have conjugate points. We conjecture that the restriction of conformal flatness of the metric is not essential for this result. This would provide a ``twisted'' version of the recent generalisation of Hopf's rigidity result obtained by Burago and Ivanov.


title: Holomorphic Curves and Integral Points off Divisors

abstract: We deal with the distributions of holomorphic curves and integral points off divisors. We will simultaneouly prove an optimal dimension estimate from above of a subvariety W off a divisor D which contains a Zariski dense entire holomorphic curve, or a Zariski dense D-integral point set, provided that in the latter case everything is defined over a number field. Then, if the number of components of D is large, the estimate leads to the constancy of such a holomorphic curve or the finiteness of such an integral point set. At the begining, we extend logarithmic Bloch-Ochiai's Theorem to the Kaehler case.


title: Locally compact quantum groups in the universal setting

abstract: In this paper we associate to every reduced C*-algebraic quantum group A a universal C*-algebraic quantum group. We fine tune a proof of Kirchberg to show that every *-representation of a modified L1-space is generated by a unitary corepresentation. By taking the universal enveloping C*-algebra of a dense sub *-algebra of A we arrive at the uinversal C*-algebra. We show that this universal C*-algebra carries a quantum group structure which is as rich as its reduced companion.


title: Variational properties of a nonlinear elliptic equation and rigidity

abstract: We consider in this paper elliptic equations which are perturbations of Laplace's equation by a compactly supported potential. We show that in dimension greater than three for a wide class of potentials all the solutions are globally minimising. However, in dimension two the situation is different. We show that for radially symmetric potentials there always exist solutions which are not locally minimal unless the potential vanishes identically. We discuss the relations of this with the so-called Hopf rigidity phenomenon.


title: The moduli space of (1,11)-polarized abelian surfaces is unirational

abstract: We prove that the moduli space A_{11}^{lev} of (1,11) polarized abelian surfaces with level structure of canonical type is birational to Klein's cubic hypersurface: a^2b+b^2c+c^2d+d^2e+e^2a=0 in P^4. Therefore, A_{11}^{lev} is unirational but not rational, and there are no Gamma_{11}-cusp forms of weight 3. The same methods also provide an easy proof of the rationality of A_{9}^{lev}.


title: Hyperbolic three-manifolds with trivial finite type invariants

abstract: We construct a hyperbolic three-manifold with trivial finite type invariants up to a given degree.


title: On The Eigenvalues of Some Vectorial Sturm-Liouville Eigenvalue Problems

abstract: The author tries to derive the asymptotic expression of the large eigevalues of some vectorial Sturm-Liouville differential equations. A precise description for the formula of the square root of the large eiegnvalues up to the $O(1/n)$-term is obtained.


title: A combinatorial proof of the log-concavity of the numbers of permutations with $k$ runs

abstract: We combinatorially prove that the number $R(n,k)$ of permutations of length $n$ having $k$ runs is a log-concave sequence in $k$, for all $n$. We also give a new combinatorial proof for the log-concavity of the Eulerian numbers.


title: Recursion for twisted descendants and characteristic numbers of rational curves

abstract: On a space of stable maps, the psi classes are modified by subtracting certain boundary divisors. The top products of modified psi classes, usual psi classes, and classes pulled back along the evaluation maps are called twisted descendants; it is shown that in genus 0, they admit a complete recursion and are determined by the Gromov-Witten invariants. One motivation for this construction is that all characteristic numbers (of rational curves) can be interpreted as twisted descendants; this is explained in the second part, using pointed tangency classes. As an example, some of Schubert's numbers of twisted cubics are verified.


title: Complex Intersections of Real Cycles in Real Algebraic Varieties and Generalized Arnold-Viro Inequalities

abstract: Consider a real algebraic variety, $\R X$, of dimension $d$. If its complexification, $\C X$, is a rational homology manifold (at least in a neighborhood of $\R X$), then the intersection form in $\C X$ defines a bilinear form in $d$-homologies of $\R X$. Analizing it, one can obtain an information about $\R X$, as it was done by V.I.Arnold in the case of non-singular double planes and then generalized by O.Ya.Viro and V.M.Kharlamov to the nodal surfaces. I present an integration (based on the Euler characteristic) formula, which expresses this form in terms of a certain local inveriant of the real singularities (which is, essentially, the local version of this form). I give a few methods to calculate this invariant in the case of surface singularities and analyze its properties in the higher dimensional case. The results are applied, for instance, to the double coverings over a projective space, branched along simple arrangements of hyperplanes.


title: Further results on controllability of recurrent neural networks

abstract: This paper studies controllability properties of recurrent neural networks. The new contributions are: (1) an extension of the result in the previous paper "Complete controllability of continuous-time recurrent neural networks" (Sontag and Sussmann) to a slightly different model, where inputs appear in an affine form, (2) a formulation and proof of a necessary and sufficient condition, in terms of local-local controllability, and (3) a complete analysis of the 2-dimensional case for which the hypotheses made in previous work do not apply


title: Lyapunov Characterizations of Input to Output Stability

abstract: This paper presents necessary and sufficient characterizations of several notions of input to output stability. Similar Lyapunov characterizations have been found to play a key role in the analysis of the input to state stability property, and the results given here extend their validity to the case when the output, but not necessarily the entire internal state, is being regulated. The work is related to partial stability of differential equations (the particular case which arises when there are no external inputs).


title: Notions of Input to Output Stability

abstract: This paper deals with several related notions of output stability with respect to inputs. The inputs may be thought of as disturbances; when there are no inputs, one obtains generalizations of the classical concepts of partial stability. The main notion studied is called input to output stability (IOS), and it reduces to input to state stability (ISS) when the output equals the complete state. Several variants, which formalize in different manners the transient behavior, are introduced. The main results provide a comparison among these notions. A companion paper establishes necessary and sufficient Lyapunov-theoretic characterizations.


title: Stability and stabilization: Discontinuities and the effect of disturbances

abstract: In this expository paper, which covers material presented at the NATO Advanced Study Institute "Nonlinear Analysis, Differential Equations, and Control" (Montreal, Jul/Aug 1998), we deal with several questions related to stability and stabilization of nonlinear finite-dimensional continuous-time systems. We review the basic problem of feedback stabilization, placing an emphasis upon relatively new areas of research which concern stability with respect to "noise" (such as errors introduced by actuators or sensors). The table of contents is as follows: Review of Stability and Asymptotic Controllability The Problem of Stabilization Obstructions to Continuous Stabilization Control-Lyapunov Functions and Artstein's Theorem Discontinuous Feedback Nonsmooth CLF's Insensitivity to Small Measurement and Actuator Errors Effect of Large Disturbances: Input-to-State Stability Comments on Notions Related to ISS


title: Geometric quantization and mirror symmetry

abstract: After the appearance of my preprint [T3] (Special Lagrangian geometry and slightly deformed algebraic geometry (spLag and sdAG), Warwick preprint 22/1998, alg-geom/9806006, 54 pp.). I received an e-mail from Cumrun Vafa, who recognized that the subject is closely related to that of his preprint [V] (Extending mirror conjecture to Calabi-Yau with bundles, hep-th/9804131, 7 pp.). This text started out as an e-mail ``reply'' to his letter. All the constructions we propose have well known ``spectral curve'' prototypes (see for example Friedman and other [FMW], Bershadsky and other [BJPS] and a number of others). Roughly speaking, our constructions are the spectral curve construction plus the phase geometry described in [T3]. So this text should really come before [T3], as motivation for the development of the geometry of the phase map in [T3].


title: Symplectic surfaces in a fixed homology class

abstract: The purpose of this paper is to investigate the following problem: For a fixed 2-dimensional homology class K in a simply connected symplectic 4-manifold, up to smooth isotopy, how many connected smoothly embedded symplectic submanifolds represent K? We show that when K can be represented by a symplectic torus, there are many instances when K can be representated by infinitely many non-isotopic symplectic tori.


title: Quantum automorphism groups of finite graphs

abstract: We determine the quantum automorphism groups of finite graphs. These are quantum subgroups of the quantum permutation groups defined by Wang. The quantum automorphism group is a stronger invariant for finite graphs than the usual one. We get a quantum dihedral group D4.


title: Cosovereign Hopf algebras

abstract: In this paper we define and study the algebraic conterpart of sovereign monoidal categories : cosovereign Hopf algebras.


title: Galois extension for a compact quantum group

abstract: The aim of this paper is to introduce and to investigate the analogues of torsors for compact quantum groups and to study their role in representation theory. Let A be a unitarizable Hopf *-algebra: we show that there is a category equivalence between *-fibre functors on unitary A-comodules and A-*-Galois extension endowed with a positive Haar measure.


title: Conformally equivariant quantization: Existence and uniqueness

abstract: We prove the existence and the uniqueness of a conformally equivariant symbol calculus and quantization on any conformally flat pseudo-Riemannian manifold $(M,\rg)$. In other words, we establish a canonical isomorphism between the spaces of polynomials on $T^*M$ and of differential operators on tensor densities over $M$, both viewed as modules over the Lie algebra $\so(p+1,q+1)$ where $p+q=\dim(M)$. This quantization exists for generic values of the weights of the tensor densities and compute the critical values of the weights yielding obstructions to the existence of such an isomorphism. In the particular case of half-densities, we obtain a conformally invariant star-product.


title: Weyl structures with positive Ricci tensor

abstract: We prove the vanishing of the first Betti number on compact manifolds admitting a Weyl structure whose Ricci tensor satisfies certain positivity conditions, thus obtaining a Bochner-type vanishing theorem in Weyl geometry. We also study compact Hermitian-Weyl manifolds with non-negative symmetric part of the Ricci tensor of the canonical Weyl connection and show that every such manifold has first Betti number $b_1 =1$ and Hodge numbers $h^{p,0} =0$ for $p>0$, $h^{0,1} =1$, $h^{0,q} =0$ for $q>1$.


title: Normal forms of real hyepersurfaces with nondegenerate Levi form

abstract: We present a proof of the existence and uniqueness theorem of a normalizing biholomorphic mapping to Chern-Moser normal form. The explicit form of the equation of a chain on a real hyperquadric is obtained. We show a family of normal forms of nondegenerate real hypersurfaces including Chern-Moser normal form.


title: Umbilic points and Real hyperquadrics

abstract: We show a refined version of the existence and uniqueness theorem to Chern-Moser normal form. The class of nondegenerate real hypersurfaces in normal form has a natural group action. Umbilic point is defined via normal form. Nondegenerate analytic real hypersurfaces are locally biholomorphic to a real hyperquadric whenever every point is umbilic in this sense.


title: Analytic continuation of a biholomorphic mapping

abstract: We present a new proof of Pinchuk's theorem on the analytic continuation of a biholomorphic mapping from a strongly pseudoconvex analytic real hypersurface to a compact strongly pseudoconvex analytic real hypersurface in a complex euclidean space.


title: Irrational Asymptotic Behaviour of Castelnuovo-Mumford Regularity

abstract: We give examples of nonsingular curves in projective 3 space such that the regularity of powers of their ideal sheaves are highly nonlinear. This is in constrast to the case of an ideal I in a polynomial ring, where the regularity of I^n is a linear polynomial in n for large n.


title: On the local meromorphic extension of CR meromorphic mappings

abstract: Let $M$ be a generic CR submanifold in $\C^{m+n}$, $m= CRdim M \geq 1$,$n=codim M \geq 1$, $d=dim M = 2m+n$. A CR meromorphic mapping (in the sense of Harvey-Lawson) is a triple $(f,{\cal D}_f, [\Gamma_f])$, where: 1. $f: {\cal D}_f \to Y$ is a ${\cal C}^1$-smooth mapping defined over a dense open subset ${\cal D}_f$ of $M$ with values in a projective manifold $Y$; 2. The closure $\Gamma_f$ of its graph in $\C^{m+n} \times Y$ defines a oriented scarred ${\cal C}^1$-smooth CR manifold of CR dimension $m$ (i.e. CR outside a closed thin set) and 3. Such that $d[\Gamma_f]=0$ in the sense of currents. We prove in this paper that $(f,{\cal D}_f, [\Gamma_f])$ extends meromorphically to a wedge attached to $M$ if $M$ is everywhere minimal and ${\cal C}^{\omega}$ (real analytic) or if $M$ is a ${\cal C}^{2,\alpha}$ globally minimal hypersurface.


title: Enveloppe d'holomorphie locale des vari\'et\'es CR et \'elimination des singularit\'es pour les fonctions CR int\'egrables

abstract: Soient $M$ une vari\'et\'e CR localement plongeable et $\Phi\subset M$ un ferm\'e. On donne des conditions suffisantes pour que les fonctions $L_{loc}^1$ qui sont CR sur $M\backslash \Phi$ le soient aussi sur $M$ tout entier.


title: On removable singularities for integrable CR functions

abstract: We endeavour a systematic approach for the removal of singularities for CR functions on an arbitrary embeddable CR manifold.


title: On the Construction of Isospectral Vectorial Sturm-Liouville Differential Equations

abstract: The author extends the idea of Jodeit and Levitan for constructing isospectral problems of the classical scalar Sturm-Liouville differential equations to the vectorial Sturm-Liouville differential equations. Some interesting relations are found.


title: Points of bounded height on equivariant compactifications of vector groups, I

abstract: We prove asymptotic formulas for the number of rational points of bounded height on certain equivariant compactifications of the affine plane.


title: The Average-Case Area of Heilbronn-Type Triangles

abstract: From among $ {n \choose 3}$ triangles with vertices chosen from $n$ points in the unit square, let $T$ be the one with the smallest area, and let $A$ be the area of $T$. Heilbronn's triangle problem asks for the maximum value assumed by $A$ over all choices of $n$ points. We consider the average-case: If the $n$ points are chosen independently and at random (with a uniform distribution), then there exist positive constants $c$ and $C$ such that $c/n^3 < \mu_n < C/n^3$ for all large enough values of $n$, where $\mu_n$ is the expectation of $A$. Moreover, $c/n^3 < A < C/n^3$, with probability close to one. Our proof uses the incompressibility method based on Kolmogorov complexity; it actually determines the area of the smallest triangle for an arrangement in ``general position.''

categories: math.CO cs.CG cs.DM math.LO math.MG math.PR


title: A geometric parametrization for the virtual Euler characteristic for the moduli spaces of real and complex algebriac curves

abstract: We show that the virtual Euler characteristics of the moduli spaces of $s$-pointed algebraic curves of genus $g$ can be determined from a polynomial in $1/\gamma$ where $\gamma$ permits specialization, through $\gamma=1,$ to the complex case treated by Harer and Zagier and, through $\gamma=1/2$, to the real case. This polynomial appears to have geometric significance, and may be the virtual Euler characteristic of some moduli space, as yet unidentified. This is related to a conjecture that the indeterminate $b=\gamma^1-1$ is associated with a combinatorial invariant of cell-decompositions through matrix models and the Jack symmetric functions. The development uses Strebel differentials to triangulate the moduli spaces, and the identification of $\gamma$ both as a parameter in a Jack symmetric function and as a parameter in a matrix model through generalized Selberg integrals.


title: On a Poisson structure on the space of Stokes matrices

abstract: In this paper we study the map associating to a linear differential operator with rational coefficients its monodromy data. The operator has one regular and one irregular singularity of Poincare' rank 1. We compute the Poisson structure of the corresponding Monodromy Preserving Deformation Equations on the space of the monodromy data.


title: Matrix-Valued Corona Theorem for Multiply Connected Domains

abstract: Let $D\subset\Co$ be a bounded domain, whose boundary $B$ consists of $k$ simple closed continuous curves and $H^{\infty}(D)$ be the algebra of bounded analytic functions on $D$. We prove the matrix-valued corona theorem for matrices with entries in $H^{\infty}(D)$.


title: The relative pluricanonical stability for 3-folds of general type

abstract: This paper aims to improve a theorem of Janos Kollar. For a given Complex projective threefold X of general type, suppose the plurigenus p_k(X)\ge 2, Kollar proved that the (11k+5)-canonical map is birational. Here we show that either the (7k+3)-canonical map or the (7k+5)-canonical map is birational and that the m-canonical map is stably birational for m\ge 13k+6. If P_k(X)\ge 3, then the m-canonical map is stably birational for m\ge 10k+8. In particular, the 12-canonical map is birational when p_g(X)\ge 2 and the 11-canonical map is birational when p_g(X)\ge 3.


title: G-Actions on Riemann Surfaces and the associated Group of Singular Orbit Data

abstract: Let $G$ be a finite group. To every smooth $G$-action on a compact, connected and oriented Riemann surface we can associate its data of singular orbits. The set of such data becomes an Abelian group $B_G$ under the $G$-equivariant connected sum. The map which sends $G$ to $B_G$ is functorial and carries many features of the representation theory of finite groups. In this paper we will give a complete computation of the group $B_G$ for any finite group $G$. There is a surjection from the $G$-equivariant cobordism group of surface diffeomorphisms $\Omega_G$ to $B_G$. We will prove that the kernel of this surjection is isomorphic to $H_2(G;Z)$. Thus $\Omega_G$ is an Abelian group extension of $B_G$ by $H_2(G;Z)$. Finally we will prove that the group $B_G$ contains only elements of order two if and only if every complex character of $G$ has values in $R$. This property shows a strong relationship between the functor $B$ and the representation theory of finite groups.


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

abstract: For G = SL(3,R) and G = SO(2,n), we give explicit, practical conditions that determine whether or not a closed, connected subgroup H of G has the property that there exists a compact subset C of G with CHC = G. To do this, we fix a Cartan decomposition G = KAK of G, and then carry out an approximate calculation of the intersection of KHK with A, for each closed, connected subgroup H of G.


title: Compact Clifford-Klein forms of homogeneous spaces of SO(2,n)

abstract: A homogeneous space G/H is said to have a compact Clifford-Klein form if there exists a discrete subgroup D of G that acts properly discontinuously on G/H, such that the quotient space D\G/H is compact. When n is even, we find every closed, connected subgroup H of G = SO(2,n), such that G/H has a compact Clifford-Klein form, but our classification is not quite complete when n is odd. The work reveals new examples of homogeneous spaces of SO(2,n) that have compact Clifford-Klein forms, if n is even. Furthermore, we show that if H is a closed, connected subgroup of G = SL(3,R), and neither H nor G/H is compact, then G/H does not have a compact Clifford-Klein form, and we also study noncompact Clifford-Klein forms of finite volume.


title: Invertible Cohomological Field Theories and Weil-Petersson volumes

abstract: We show that the generating function for the higher Weil-Petersson volumes of the moduli spaces of stable curves with marked points can be obtained from Witten's free energy by a change of variables given by Schur polynomials. Since this generating function has a natural extension to the moduli space of invertible Cohomological Field Theories, this suggests the existence of a ``very large phase space'', correlation functions on which include Hodge integrals studied by C. Faber and R. Pandharipande. From this formula we derive an asymptotical expression for the Weil-Petersson volume as conjectured by C. Itzykson. We also discuss a topological interpretation of the genus expansion formula of Itzykson-Zuber, as well as a related bialgebra acting upon quantum cohomology as a complex version of the classical path groupoid.


title: Harmonic functions on the real hyperbolic ball I : Boundary values and atomic decomposition of Hardy spaces

abstract: We study harmonic functions for the Laplace-Beltrami operator on the real hyperbolic ball. We obtain necessary and sufficient conditions for this functions and their normal derivatives to have a boundary distribution.In doing so, we put forward different behaviors of hyperbolic harmonic functions according to the parity of the dimension of the hyperbolic ball. We then study Hardy spaces of hyperbolic harmonic extensions of distributions belonging to the Hardy spaces of the sphere. In particular, we obtain an atomic decomposition of these spaces.


title: Harmonic functions on the real hyperbolic ball II Hardy and Lipschitz spaces

abstract: In this paper, we pursue the study of harmonic functions on the real hyperbolic ball started by the second named author. Our focus here is on the theory of Hardy, Hardy-Sobolev and Lipschitz spaces of these functions. We prove here that these spaces admit Fefferman-Stein like characterizations in terms of maximal and square functionals. We further prove that the hyperbolic harmonic extension of Lipschitz functions on the boundary extend into Lipschitz functions on the whole ball.


title: Antichains in products of linear orders

abstract: 1. For many regular cardinals lambda (in particular, for all successors of singular strong limit cardinals, and for all successors of singular omega-limits), for all n in {2,3,4, ...} : There is a linear order L such that L^n has no (incomparability-)antichain of cardinality lambda, while L^{n+1} has an antichain of cardinality lambda . 2. For any nondecreasing sequence (lambda2,lambda3, ...) of infinite cardinals it is consistent that there is a linear order L such that L^n has an antichain of cardinality lambda_n, but not one of cardinality lambda_n^+ .


title: Lightlike hypersurfaces on manifolds endowed with a conformal structure of Lorentzian signature

abstract: The authors study the geometry of lightlike hypersurfaces on manifolds $(M, c)$ endowed with a pseudoconformal structure $c = CO (n - 1, 1)$ of Lorentzian signature. Such hypersurfaces are of interest in general relativity since they can be models of different types of physical horizons. On a lightlike hypersurface, the authors consider the fibration of isotropic geodesics and investigate their singular points and singular submanifolds. They construct a conformally invariant normalization of a lightlike hypersurface intrinsically connected with its geometry and investigate affine connections induced by this normalization. The authors also consider special classes of lightlike hypersurfaces. In particular, they investigate lightlike hypersurfaces for which the elements of the constructed normalization are integrable.


title: On some methods of construction of invariant normalizations of lightlike hypersurfaces

abstract: The authors study the geometry of lightlike hypersurfaces on pseudo-Riemannian manifolds $(M, g)$ of Lorentzian signature. Such hypersurfaces are of interest in general relativity since they can be models of different types of physical horizons. For a lightlike hypersurface $V \subset (M, g)$ of general type and for some special lightlike hypersurfaces (namely, for totally umbilical and belonging to a manifold $(M, g)$ of constant curvature), in a third-order neighborhood of a point $x \in V$, the authors construct invariant normalizations intrinsically connected with the geometry of $V$ and investigate affine connections induced by these normalizations. For this construction, they used relative and absolute invariants defined by the first and second fundamental forms of $V$. The authors show that if $\dim M = 4$, their methods allow to construct three invariant normalizations and affine connections intrinsically connected with the geometry of $V$. Such a construction is given in the present paper for the first time. The authors also consider the fibration of isotropic geodesics of $V$ and investigate their singular points and singular submanifolds.


title: Double covers of P^3 and Calabi-Yau varieties

abstract: We study a class of Calabi-Yau varieties that can be represented as a non-singular model of a double covering of $\mathbb P^3$ branched along certain octic surfaces. We compute Euler numbers of all constructed examples and describe their resolution of singularities.


title: The limit configuration space integral for tangles and the Kontsevich integral

abstract: This article is the continuation of our first article (math/9901028). It shows how the zero-anomaly result of Yang implies the equality between the configuration space integral and the Kontsevich integral.


title: Moment maps and Riemannian symmetric pairs

abstract: The main result of this paper is a ``real form'' of Kirwan's convexity theorem, which in the abelian case was proved earlier by Duistermaat. We apply our result to flag varieties of real semisimple groups and obtain eigenvalue inequalities, which generalize inequalities found by Weyl, Ky Fan, Kostant, Klyachko, and many others.


title: A weight basis for representations of even orthogonal Lie algebras

abstract: A weight basis for each finite-dimensional irreducible representation of the orthogonal Lie algebra o(2n) is constructed. The basis vectors are parametrized by the D-type Gelfand--Tsetlin patterns. Explicit formulas for the matrix elements of generators of o(2n) in this basis are given. The construction is based on the representation theory of the Yangians and extends our previous results for the symplectic Lie algebras.


title: On representations of partial ^*-algebras based on B-weights

abstract: A generalization of the GNS-representation is investigated that represents partial ^*-algebras as systems of operators acting on a partial inner product space (PIP-space). It is based on possibly indefinite B-weights which are closely related to the positive B-weights introduced by J.-P. Antoine, Y. Soulet and C. Trapani. Some additional assumptions had to be made in order to guarantee the GNS-construction. Different partial products of operators on a PIP-space are considered which allow the GNS-construction under suitable conditions. Several examples illustrate the argumentation and indicate inherent problems.


title: On the L^2-Stokes theorem and Hodge theory for singular algebraic varieties

abstract: For a projective algebraic variety $V$ with isolated singularities, endowed with a metric induced from an embedding, we consider the analysis of the natural partial differential operators on the regular part of $V$. We show that, in the complex case, the Laplacians of the de Rham and Dolbeault complexes are discrete operators except possibly in degrees $n,n\pm 1$, where $n$ is the complex dimension of $V$. We also prove a Hodge theorem on the operator level and the $L^2$--Stokes theorem outside the degrees $n-1,n$. We show that the $L^2$-Stokes theorem may fail to hold in the case of real algebraic varieties, and also discuss the $L^2$-Stokes theorem on more general non-compact spaces.


title: Special Lagrangian Tori on a Borcea-Voisin Threefold

abstract: We show the existence of special Lagrangian tori on one family of Borcea-Voisin threefolds. We also construct a family of special Lagrangian submanifolds on the total space of the canonical line bundle of projective spaces.


title: The Cappelli-Itzykson-Zuber A-D-E classification

abstract: In 1986 Cappelli, Itzykson and Zuber classified all modular invariant partition functions for the conformal field theories associated to the affine $A_1$ algebra; they found they fall into an A-D-E pattern. Their proof was difficult and attempts to generalise it to the other affine algebras failed -- in hindsight the reason is that their argument ignored most of the rich mathematical structure present. We give here the "modern" proof of their result; it is an order of magnitude simpler and shorter, and much of it has already been extended to all other affine algebras. We conclude with some remarks on the A-D-E pattern appearing in this and other RCFT classifications.


title: Coadjoint Poisson actions of Poisson-Lie groups

abstract: A Poisson-Lie group acting by the coadjoint action on the dual of its Lie algebra induces on it a non-trivial class of quadratic Poisson structures extending the linear Poisson bracket on the coadjoint orbits.


title: Berezin-Toeplitz quantization and Berezin symbols for arbitrary compact Kaehler manifolds

abstract: For phase-space manifolds which are compact Kaehler manifolds relations between the Berezin-Toeplitz quantization and the quantization with the help of Berezin's coherent states and symbols are studied. First the results on the Berezin-Toeplitz quantization of arbitrary compact Kaehler manifolds due to Bordemann, Meinrenken and Schlichenmaier are recalled. It is shown that the covariant symbol map is adjoint to the Toeplitz map. The Berezin transform for compact Kaehler manifolds is discussed. (Talk presented at the XVII workshop on geometric methods in physics, Bialowieza, Poland, July 3 --July 9, 1998)

categories: math.QA hep-th math-ph math.AG math.CV math.DG math.MP math.SG quant-ph


title: Algebraic aspects of higher nonabelian Hodge theory

abstract: We look more closely at the higher nonabelian de Rham cohomology of a smooth projective variety or family of varieties that had been defined in some previous papers. We formalize using $n$-stacks the notion of shape underlying this nonabelian cohomology. A generalization of the de Rham construction to any appropriate formal category or family of formal categories, yields various algebraic aspects of Hodge theory for the de Rham shape, such as the Hodge filtration, the Gauss-Manin connection, Griffiths transversality, an extension of the Gauss-Manin connection with regular singularities across singular points, etc. Along the way, we develop a little bit more technology for $n$-categories, such as a canonical fibrant replacement for the $n+1$-category $nCAT$; and we pose the following general type of question: what are the properties of the nonabelian cohomology $n$-stack $Hom(X,T)$ as a function of the properties of the coefficient $n$-stack $T$ and the domain $n$-stack $X$?


title: Spectral Curves, Opers and Integrable Systems

abstract: We establish a general link between integrable systems in algebraic geometry (expressed as Jacobian flows on spectral curves) and soliton equations (expressed as evolution equations on flat connections). Our main result is a natural isomorphism between a moduli space of spectral data and a moduli space of differential data, each equipped with an infinite collection of commuting flows. The spectral data are principal G-bundles on an algebraic curve, equipped with an abelian reduction near one point. The flows on the spectral side come from the action of a Heisenberg subgroup of the loop group. The differential data are flat connections known as opers. The flows on the differential side come from a generalized Drinfeld-Sokolov hierarchy. Our isomorphism between the two sides provides a geometric description of the entire phase space of the Drinfeld-Sokolov hierarchy. It extends the Krichever construction of special algebro-geometric solutions of the n-th KdV hierarchy, corresponding to G=SL(n). An interesting feature is the appearance of formal spectral curves, replacing the projective spectral curves of the classical approach. The geometry of these (usually singular) curves reflects the fine structure of loop groups, in particular the detailed classification of their Cartan subgroups. To each such curve corresponds a homogeneous space of the loop group and a soliton system. Moreover the flows of the system have interpretations in terms of Jacobians of formal curves.


title: A new aspect of representations of U_q(\hat sl_2) - root of unity case

abstract: The structure of the tensor product representation v_{\lambda_1}(x)\otimes V_{\lambda_2}(y) of U_q(\hat sl_2) is investigated at roots of unity. A polynomial identity is derived as an outcome. Also, new bases of v_{\lambda_1}(x)\otimes V_{\lambda_2}(y) are established under certain conditions.


title: Invariants of moduli spaces of abelian surfaces

abstract: Compactifications of moduli spaces of (1,p)-polarized abelian surfaces with level structures of canonical type have been described in great detail by Hulek, Kahn and Weintraub. The aim of this paper is to determine some invariants of smooth models of these moduli spaces. In particular, a geometric description of their canonical divisors is given and their Chern numbers are computed.


title: Countable Toronto spaces

abstract: A space X is called an alpha-Toronto space if X is scattered of Cantor-Bendixson rank alpha and is homeomorphic to each of its subspaces of same rank. We answer a question of Steprans by constructing a countable alpha-Toronto space for each alpha<=omega. We also construct consistent examples of countable alpha-Toronto spaces for each alpha<omega_1.


title: Factorization of Kazhdan-Lusztig elements for Grassmanians

abstract: We show that the Kazhdan-Lusztig basis elements $C_w$ of the Hecke algebra of the symmetric group, when $w \in S_n$ corresponds to a Schubert subvariety of a Grassmann variety, can be written as a product of factors of the form $T_i+f_j(v)$, where $f_j$ are rational functions.


title: Geometry of equivariant compactifications of $G^n_a$

abstract: Equivariant compactifications of reductive groups can be described by combinatorial data. On the other hand, equivariant compactifications of the additive group G^n_a are more complicated in at least two respects. First, they often admit moduli. Second, even simple varieties (like projective spaces) admit many different structures as equivariant compactifications of the additive group. We give a dictionary relating Artinian local rings, certain systems of partial differential equations, and equivariant compactifications of G^n_a. As an application, we classify the structures on varieties like projective spaces, ruled surfaces, and certain threefolds. We consider these results as a first step in a systematic study of G^n_a-equivariant birational geometry.


title: Classification Theorem for a Class of Flat Connections and Representations of Kahler Groups

abstract: The paper presents a classification theorem for the class of flat connections with triangular (0,1)-components on a topologically trivial complex vector bundle over a compact Kahler manifold. As a consequence we obtain several results on the structure of K\"{a}hler groups, i.e., the fundamental groups of compact Kahler manifolds.


title: A Generalization of Polya's Enumeration Theorem or the Secret Life of Certain Index Sets

abstract: Polya's fundamental enumeration theorem is generalized in terms of Schur-Macdonald's theory (S-MT) of invariant matrices. Given a permutation group $W\leq S_d$ and a one-dimensional character $\chi$ of $W$, the polynomial functor $F_\chi$ corresponding via S-MT to the induced monomial representation $U_\chi = ind_W^{S_d}(\chi)$ of $S_d$, is studied. It turns out that the characteristic $ch(F_\chi)$ is the weighted inventory of some set $J(\chi)$ of $W$-orbits in the integer-valued hypercube $[0,\infty)^d$. The elements of $J(\chi) can be distinguished among all $W$-orbits by a maximum property. The identity $ch(F_\chi) = ch(U_\chi)$ of both characteristics is a consequence of S-MT. Polya's theorem can be obtained from the above identity by specialization $\chi=1_W$, where $1_W$ is the unit character of $W$.


title: Some examples of special Lagrangian tori

abstract: I point out some very elementary examples of special Lagrangian tori in certain Calabi-Yau manifolds that occur as hypersurfaces in complex projective space. All of these are constructed as real slices of smooth hypersurfaces defined over the reals. This method of constructing special Lagrangian submanifolds is well known. What does not appear to be in the current literature is an explicit description of such examples in which the special Lagrangian submanifold is a 3-torus.