title: Using nets in Dedekind, monotone, or Scott incomplete ordered fields and definability issues

abstract: Given a Dedekind incomplete ordered field, a pair of convergent nets of gaps which are respectively increasing or decreasing to the same point is used to obtain a further equivalent criterion for Dedekind completeness of ordered fields: Every continuous one-to-one function defined on a closed bounded interval maps interior of that interval to the interior of the image. Next, it is shown that over all closed bounded intervals in any monotone incomplete ordered field, there are continuous not uniformly continuous unbounded functions whose ranges are not closed, and continuous 1-1 functions which map every interior point to an interior point (of the image) but are not open. These are achieved using appropriate nets cofinal in gaps or coinitial in their complements. In our third main theorem, an ordered field is constructed which has parametrically definable regular gaps but no $\emptyset$-definable divergent Cauchy functions (while we show that, in either of the two cases where parameters are or are not allowed, any definable divergent Cauchy function gives rise to a definable regular gap). Our proof for the mentioned independence result uses existence of infinite primes in the subring of the ordered field of generalized power series with rational exponents and real coefficients consisting of series with no infinitesimal terms, as recently established by D. Pitteloud.


title: Proper and admissible topologies in the setting of closure spaces

abstract: A Cech closure space $(X,u)$ is a set $X$ with a (Cech) closure operator $u$ which need not be idempotent. Many properties which hold in topological spaces hold in Cech closure spaces as well. The notions of proper (splitting) and admissible (jointly continuous) topologies are introduced on the sets of continuous functions between Cech closure spaces. It is shown that some well-known results of Arens and Dugundji and of Iliadis and Papadopoulos are true in this setting. We emphasize that Theorems 1--10 encompass the results of A. di Concilio and of Georgiou and Papadopoulos for the spaces of continuous-like functions as $\theta$-continuous, strongly and weakly $\theta$-continuous, weakly and super-continuous.


title: Orbits of turning points for maps of finite graphs and inverse limit spaces

abstract: In this paper we examine the topology of inverse limit spaces generated by maps of finite graphs. In particular we explore the way in which the structure of the orbits of the turning points affects the inverse limit. We show that if $f$ has finitely many turning points each on a finite orbit then the inverse limit of $f$ is determined by the number of elements in the $\omega$-limit set of each turning point. We go on to identify the local structure of the inverse limit space at the points that correspond to points in the $\omega$-limit set of $f$ when the turning points of $f$ are not necessarily on a finite orbit. This leads to a new result regarding inverse limits of maps of the interval.


title: Wallman-Frink proximities

abstract: This is a survey of compactification extension results and problems for a special class of proximities.


title: Fuzzy functions and an extension of the category L-Top of Chang-Goguen L-topological spaces

abstract: We study FTOP(L), a fuzzy category with fuzzy functions in the role of morphisms. This category has the same objects as the category L-TOP of Chang-Goguen L-topological spaces,but an essentially wider class of morphisms - so called fuzzy functions introduced earlier in our joint work with U. Hohle and H. Porst.


title: Pushout stability of embeddings, injectivity and categories of algebras

abstract: In several familiar subcategories of the category ${\mathbb T}$ of topological spaces and continuous maps, embeddings are not pushout-stable. But, an interesting feature, capturable in many categories, namely in categories $\mathcal{B}$ of topological spaces, is the following: For $\mathcal{M}$ the class of all embeddings, the subclass of all pushout-stable $\mathcal{M}$-morphisms (that is, of those $\mathcal{M}$-morphisms whose pushout along an arbitrary morphism always belongs to $\mathcal{M}$) is of the form $A^{Inj}$ for some space $A$, where $A^{Inj}$ consists of all morphisms $m:X \to Y$ such that the map $Hom(m,A): Hom(Y,A) \to Hom(X,A)$ is surjective. We study this phenomenon. We show that, under mild assumptions, the reflective hull of such a space $A$ is the smallest $\mathcal{M}$-reflective subcategory of $\mathcal{B}$; furthermore, the opposite category of this reflective hull is equivalent to a reflective subcategory of the Eilenberg-Moore category $Set^{\mathbb T}, where ${\mathbb T}$ is the monad induced by the right adjoint $Hom(-,A): {\mathbb T}^{op} \to Set$. We also find conditions on a category $\mathcal{B}$ under which the pushout-stable $\mathcal{M}$-morphisms are of the form $\mathcal{A}^{Inj}$ for some category $\mathcal{A}$.


title: A quasi-Hopf algebra freeness theorem

abstract: We prove the quasi-Hopf algebra version of the Nichols-Zoeller theorem: A finite-dimensional quasi-Hopf algebra is free over any quasi-Hopf subalgebra.


title: On lower semicontinuous multifunctions in quasi-uniform and vector spaces

abstract: Given a cover $\mathcal{B}$ of a quasi-uniform space $Y$ we introduce a concept of lower semicontinuity for multifunctions $F:X\to 2^Y$, called $\mathcal{B}$-lsc. In this way, we get a common description of Vietoris-lsc, Hausdorff-lsc, and bounded-Hausdorff-lsc as well. Further, we examine set-theoretical and vector operations on such multifunctions. We also point out that the convex hull of Hausdorff-lsc multifunctions need not to be Hausdorff-lsc except the case where the range space is locally convex.


title: Quasiorders on topological categories

abstract: We prove that, for every cardinal number $\alpha\geq {\mathfrak c}$, there exists a metrizable space $X$ with $|X|=\alpha$ such that for every pair of quasiorders $\leq_1$, $\leq_2$ on a set $Q$ with $|Q| \leq \alpha$ satisfying the implication $$q \leq_1 q' \implies q \leq_2 q'$$ there exists a system $\{X(q) : q\in Q\}$ of non-homeomorphic clopen subsets of $X$ with the following properties: (1) $q \leq_1 q'$ if and only if $X(q)$ is homeomorphic to a clopen subset of $X(q')$, (2) $q \leq_2 q'$ implies that $X(q)$ is homeomorphic to a closed subset of $X(q')$ and (3) $\neg (q \leq_2 q')$ implies that there is no one-to-one continuous map of $X(q)$ into $X(q')$.


title: Compactifications of topological groups

abstract: Every topological group $G$ has some natural compactifications which can be a useful tool of studying $G$. We discuss the following constructions: (1) the greatest ambit $S(G)$ is the compactification corresponding to the algebra of all right uniformly continuous bounded functions on $G$; (2) the Roelcke compactification $R(G)$ corresponds to the algebra of functions which are both left and right uniformly continuous; (3) the weakly almost periodic compactification $W(G)$ is the envelopping compact semitopological semigroup of $G$ (`semitopological' means that the multiplication is separately continuous). The universal minimal compact $G$-space $X=M_G$ is characterized by the following properties: (1) $X$ has no proper closed $G$-invariant subsets; (2) for every compact $G$-space $Y$ there exists a $G$-map $X\to Y$. A group $G$ is extremely amenable, or has the fixed point on compacta property, if $M_G$ is a singleton. We discuss some results and questions by V. Pestov and E. Glasner on extremely amenable groups. The Roelcke compactifications were used by M. Megrelishvili to prove that $W(G)$ can be a singleton. They can be used to prove that certain groups are minimal. A topological group is minimal if it does not admit a strictly coarser Hausdorff group topology.


title: A locally connected continuum without convergent sequences

abstract: We answer a question of Juhasz by constructing under CH an example of a locally connected continuum without nontrivial convergent sequences.


title: Nonstandard proofs of Eggleston like theorems

abstract: We prove theorems of the following form: if $A\subseteq {\mathbb R}^2$ is a big set, then there exists a big set $P\subseteq {\mathbb R}$ and a perfect set $Q\subseteq {\mathbb R}$ such that $P\times Q\subseteq A$. We discuss cases where big set means: set of positive Lebesgue measure, set of full Lebesgue measure, Baire measurable set of second Baire category and comeagre set. In the first case (set of positive measure) we obtain the theorem due to Eggleston. In fact we give a simplified version of the proof given by J. Cichon. To prove these theorems we use Shoenfield's theorem about absoluteness for $\Sigma^1_2$-sentences.


title: Concerning the dual group of a dense subgroup

abstract: Throughout this Abstract, $G$ is a topological Abelian group and $\hat{G}$ is the space of continuous homomorphisms from $G$ into $T$ in the compact-open topology. A dense subgroup $D$ of $G$ determines $G$ if the (necessarily continuous) surjective isomorphism $\hat{G} \twoheadrightarrow \hat{D}$ given by $h\mapsto h|D$ is a homeomorphism, and $G$ is determined if each dense subgroup of $G$ determines $G$. The principal result in this area, obtained independently by L. Aussenhofer and M. J. Chasco}, is the following: Every metrizable group is determined. The authors offer several related results, including these. (1) There are (many) nonmetrizable, noncompact, determined groups. (2) If the dense subgroup $D_i$ determines $G_i$ with $G_i$ compact, then $\oplus_i D_i$ determines $\Pi_i G_i$. In particular, if each $G_i$ is compact then $\oplus_i G_i$ determines $\Pi_i G_i$. (3) Let $G$ be a locally bounded group and let $G^+$ denote $G$ with its Bohr topology. Then $G$ is determined if and only if ${G^+}$ is determined. (4) Let $non(N)$ be the least cardinal $\kappa$ such that some $X \subseteq T}$ of cardinality $\kappa$ has positive outer measure. No compact $G$ with $w(G)\geq non(N)$ is determined; thus if $non(N)=\aleph_1$ (in particular if CH holds), an infinite compact group $G$ is determined if and only if w(G)=\omega$. Question. Is there in ZFC a cardinal $\kappa$ such that a compact group $G$ is determined if and only if $w(G)<\kappa$? Is $\kappa=non(N)$? $\kappa=\aleph_1$?


title: A Summary of the Langlands-Shahidi Method of Constructing L-functions

abstract: These notes are from the Database of Automorphic L-functions at http://www.math.rutgers.edu/~sdmiller/l-functions . They were written up by Stephen Miller, and are based on discussions with Freydoon Shahidi, Purdue University. They are meant to serve as an introduction to the Langlands-Shahidi method of studying L-functions through the Fourier coefficients of Eisenstein series.


title: Lusternik - Schnirelman theory and dynamics

abstract: In this paper we study a new topological invariant $\Cat(X,\xi)$, where $X$ is a finite polyhedron and $\xi\in H^1(X;\R)$ is a real cohomology class. $\Cat(X,\xi)$ is defined using open covers of $X$ with certain geometric properties; it is a generalization of the classical Lusternik -- Schnirelman category. We show that $\Cat(X,\xi)$ depends only on the homotopy type of $(X,\xi)$. We prove that $\Cat(X,\xi)$ allows to establish a relation between the number of equilibrium states of dynamical systems and their global dynamical properties (such as existence of homoclinic cycles and the structure of the set of chain recurrent points). In the paper we give a cohomological lower bound for $\Cat(X,\xi)$, which uses cup-products of cohomology classes of flat line bundles with monodromy described by complex numbers, which are not Dirichlet units.


title: Anti-self-dual instantons with Lagrangian boundary conditions I : Elliptic theory

abstract: We study a nonlocal boundary value problem for anti-self-dual instantons on 4-manifolds with a space-time splitting of the boundary. The model case is $\R \times Y$, where $Y$ is a compact oriented 3-manifold with boundary $\Sigma$. The restriction of the instanton to each time slice ${t}\times\Sigma$ is required to lie in a fixed (singular) Lagrangian submanifold of the moduli space of flat connections over $\Sigma$. We establish the basic regularity and compactness properties (assuming $L^p$-bounds on the curvature) as well as the Fredholm theory in a compact model case. The motivation for studying this boundary value problem lies in the construction of instanton Floer homology for 3-manifolds with boundary. The present paper is part of a program proposed by Salamon for the proof of the Atiyah-Floer conjecture for homology-3-spheres.


title: Action-angle coordinates for time-dependent completely integrable Hamiltonian systems

abstract: A time-dependent completely integrable Hamiltonian system is proved to admit the action-angle coordinates around any regular instantly compact invariant manifold. Written relative to these coordinates, its Hamiltonian and first integrals are functions only of action coordinates.


title: Spaces of self-equivalences and free loops spaces

abstract: Let M be a simply-connected closed oriented N-dimensional manifold. We prove that for any field of coefficients there exists a natural homomorphism of commutative graded algebras $\Psi : H_\ast (\Omega {aut}_1 M) \to H_{\ast +N}(M^{S^1})$ where $H_\ast (M^{S^1})$ is the loop algebra defined by Chas-Sullivan. As usual ${aut}_1 X$ (resp. $\Omega X$) denotes the monoid of the self-equivalences homotopic to the identity map (resp. the space of based loops) of the space X. Moreover, if $\bk$ is of characteristic zero, $\Psi$ yields isomorphisms $\pi_n(\Omega {aut}_1 M) \otimes \bk \cong \hH^{n+N}_{(1)}$ where $\displaystyle \oplus_{l=1}^\infty \hH^n_{(l)}$ denotes the Hodge decomposition on $H^\ast (M ^{S^1})$.


title: Clustering of critical points in Lefschetz fibrations and the symplectic Szpiro inequality

abstract: We prove upper bounds for the number of critical points in semistable symplectic Lefschetz fibrations. We also obtain a new lower bound for the number of nonseparting vanishing cycles in Lefschetz pencils, and reprove the known lower bounds for the commutator lengths of Dehn twists.


title: The symplectic reduced spaces of a Poisson action

abstract: During the last thirty years, symplectic or Marsden--Weinstein reduction has been a major tool in the construction of new symplectic manifolds and in the study of mechanical systems with symmetry. This procedure has been traditionally associated to the canonical action of a Lie group on a symplectic manifold, in the presence of a momentum map. In this note we show that the symplectic reduction phenomenon has much deeper roots. More specifically, we will find symplectically reduced spaces purely within the Poisson category under hypotheses that do not necessarily imply the existence of a momentum map. On other words, the right category to obtain symplectically reduced spaces is that of Poisson manifolds acted canonically upon by a Lie group.


title: Direct and inverse spectral transform for the relativistic Toda lattice and the connection with Laurent orthogonal polynomials

abstract: We introduce a spectral transform for the finite relativistic Toda lattice (RTL) in generalized form. In the nonrelativistic case, Moser constructed a spectral transform from the spectral theory of symmetric Jacobi matrices. Here we use a non-symmetric generalized eigenvalue problem for a pair of bidiagonal matrices (L,M) to define the spectral transform for the RTL. The inverse spectral transform is described in terms of a terminating T-fraction. The generalized eigenvalues are constants of motion and the auxiliary spectral data have explicit time evolution. Using the connection with the theory of Laurent orthogonal polynomials, we study the long-time behaviour of the RTL. As in the case of the Toda lattice the matrix entries have asymptotic limits. We show that L tends to an upper Hessenberg matrix with the generalized eigenvalues sorted on the diagonal, while M tends to the identity matrix.


title: On the moduli scheme of stable sheaves supported on cubic space curves

abstract: We investigate the geometry of the Simpson moduli space M of stable sheaves on P_3 with Hilbert polynomial H(m)=3m+1 and describe explicitly the two smooth, rational components, their 11-dimensional smooth, transversal intersection and the relation between M and the Hilbert scheme Hilb_H(P_3) of cubic space curves. We also compute the Betti numbers of the Chow groups of the moduli space M.


title: Asymptotically efficient triangulations of the d-cube

abstract: Let $P$ and $Q$ be polytopes, the first of "low" dimension and the second of "high" dimension. We show how to triangulate the product $P \times Q$ efficiently (i.e., with few simplices) starting with a given triangulation of $Q$. Our method has a computational part, where we need to compute an efficient triangulation of $P \times \Delta^m$, for a (small) natural number $m$ of our choice. $\Delta^m$ denotes the $m$-simplex. Our procedure can be applied to obtain (asymptotically) efficient triangulations of the cube $I^n$: We decompose $I^n = I^k \times I^{n-k}$, for a small $k$. Then we recursively assume we have obtained an efficient triangulation of the second factor and use our method to triangulate the product. The outcome is that using $k=3$ and $m=2$, we can triangulate $I^n$ with $O(0.816^{n} n!)$ simplices, instead of the $O(0.840^{n} n!)$ achievable before.


title: Successive Minima and Lattice Points

abstract: The main purpose of this note is to prove an upper bound on the number of lattice points of a centrally symmetric convex body in terms of the successive minima of the body. This bound improves on former bounds and narrows the gap towards a lattice point analogue of Minkowski's second theorem on successive minima. Minkowski's proof of his second theorem is rather lengthy and it was also criticised as obscure. We present a short proof of Minkowski's second theorem on successive minima, which, however, is based on the ideas of Minkowski's proof.


title: An invariant of simple algebraic groups

abstract: The Rost invariant associated with a simple simply connected algebraic group G is used to define an invariant of strongly inner forms of G. This invariant takes values in a quotient of H^3(k, Q/Z(2)). It is used to prove a generalization of Gille's splitting criterion for groups of type E_6 and E_7.


title: K-equivalence in Birational Geometry

abstract: We give a survey of the background and recent development on the $K$-equivalence relation among birational manifolds. After a brief historical sketch of birational geometry, we define the $K$-partial ordering and $K$-equivalence in a birational class and discuss geometric situations that lead to these notions. One application to the filling-in problem for threefolds is given. We discuss the motivic aspect of $K$-equivalence relation. We believe that $K$-equivalent manifolds have the same Chow motive though we are unable to prove it at this moment. Instead we discuss various approaches toward the corresponding statements in different cohomological realizations. We also formulate the {\it Main Conjectures} and prove a weak version of it. Namely, up to complex cobordism, $K$-equivalence can be decomposed into composite of classical flops. Finally we review some other current researches that are related to the study of $K$-equivalence relation.


title: Comparative analysis for pair of dynamical systems, one of which is Lagrangian

abstract: It is known that some equations of differential geometry are derived from variational principle in form of Euler-Lagrange equations. The equations of geodesic flow in Riemannian geometry is an example. Conversely, having Lagrangian dynamical system in a manifold, one can consider it as geometric equipment of this manifold. Then properties of other dynamical systems can be studied relatively as compared to this Lagrangian one. This gives fruitful analogies for generalization. In present paper theory of normal shift of hypersurfaces is generalized from Riemannian geometry to the geometry determined by Lagrangian dynamical system. Both weak and additional normality equations for this case are derived.


title: A computational approach to the D-module of meromorphic functions

abstract: Let $D$ be a divisor in ${\bf C}^n$. We present methods to compare the ${\mathcal D}$-module of the meromorphic functions ${\mathcal O}[* D]$ to some natural approximations. We show how the analytic case can be treated with computations in the Weyl algebra.


title: Adiabatic limits of eta and zeta functions of elliptic operators

abstract: We extend the calculus of adiabatic pseudo-differential operators to study the adiabatic limit behavior of the eta and zeta functions of a differential operator $\delta$, constructed from an elliptic family of operators indexed by $S^1$. We show that the regularized values ${\eta}(\delta_t,0)$ and $t{\zeta}(\delta_t,0)$ are smooth functions of $t$ at $t=0$, and we identify their values at $t=0$ with the holonomy of the determinant bundle, respectively with a residue trace. For invertible families of operators, the functions ${\eta}(\delta_t,s)$ and $t{\zeta}(\delta_t,s)$ are shown to extend smoothly to $t=0$ for all values of $s$. After normalizing with a Gamma factor, the zeta function satisfies in the adiabatic limit an identity reminiscent of the Riemann zeta function, while the eta function converges to the volume of the Bismut-Freed meromorphic family of connection 1-forms.


title: Characterizing Curves by their odd Theta-characteristics

abstract: We show that a general canonical curve is uniquely determined by the finite set of hyperplanes cutting theta-characteristics on it. Geometrical and combinatorial properties of the moduli space of stable spin curves are proved, which play an essential role.


title: Proceedings of the Ninth Prague Topological Symposium. Contributed papers from the symposium held in Prague, August 19-25, 2001

abstract: This collection of thirty two reviewed articles covers several fields of General Topology. Several contributions represent invited presentations at the Ninth Prague Topological Symposium.


title: Classification of Incidence Scrolls (II)

abstract: The aim of this paper is to obtain a classification of the scrolls in Pn which are defined by a one-dimensional family of lines meeting a certain set of linear spaces in Pn, a first classification for genus 0 and 1 is given in paper [1]. These ruled surfaces are called incidence scrolls, and such an indicated set is a base of the incidence scroll. In particular, we compute its degree and genus. For this, we define the fundamental incidence scroll to be the scroll in Pn formed by the lines which meet (2n-3) P{n-2}'s in general position. Then all the others incidence scrolls will be portions of degenerate forms of this. In this way, we can obtain all the incidence scrolls in Pn, n>2, with base in general position.


title: Prime number logarithmic geometry on the plane

abstract: We found a regularity of the behavior of primes that allows to represent both prime and natural numbers as infinite matrices with a common formation rule of their rows. This regularity determines a new class of infinite cyclic groups that permit the proposition a plane--spiral geometric concept of the arithmetic.


title: Geometric Aspects of Mirror Symmetry (with SYZ for Rigid CY manifolds)

abstract: In this article we discuss the geometry of moduli spaces of (1) flat bundles over special Lagrangian submanifolds and (2) deformed Hermitian-Yang-Mills bundles over complex submanifolds in Calabi-Yau manifolds. These moduli spaces reflect the geometry of the Calabi-Yau itself like a mirror. Strominger, Yau and Zaslow conjecture that the mirror Calabi-Yau manifold is such a moduli space and they argue that the mirror symmetry duality is a Fourier-Mukai transformation. We review various aspects of the mirror symmetry conjecture and discuss a geometric approach in proving it. The existence of rigid Calabi-Yau manifolds poses a serious challenge to the conjecture. The proposed mirror partners for them are higher dimensional generalized Calabi-Yau manifolds. For example, the mirror partner for a certain K3 surface is a cubic fourfold and its Fano variety of lines is birational to the Hilbert scheme of two points on the K3. This hyperkahler manifold can be interpreted as the SYZ mirror of the K3 by considering singular special Lagrangian tori. We also compare the geometries between a CY and its associated generalized CY. In particular we present a new construction of Lagrangian submanifolds.


title: Infinite loop space structure(s) on the stable mapping class group

abstract: Tillmann introduced two infinite loop space structures on the plus construction of the classifying space of the stable mapping class group, each with different computational advantages. The first one uses disjoint union on a suitable cobordism category, whereas the second uses an operad which extends the pair of pants multiplication (i.e. the double loop space structure introduced by E. Y. Miller). She conjectured that these two infinite loop space structures were equivalent, and managed to prove that the first delooping are the same. In this paper, we resolve the conjecture by proving that the two structures are indeed equivalent, exhibiting an explicit geometric map.


title: 3x+1 dynamics on rationals with fixed denominator

abstract: We propose the existence of an infinite class of exact analogues of the 3x+1 conjecture for rational numbers with fixed denominators. For some other denominators, there are several attracting cycles, which exhibit scaling and covariance phenomena. We analyze these phenomena in terms of results of Bohm, Sontacchi and Lagarias.


title: The Beckman-Quarles theorem for continuous mappings from R^n to C^n

abstract: Let \phi((x_1,...,x_n),(y_1,...,y_n))=(x_1-y_1)^2+...+(x_n-y_n)^2. We say that f:R^n -> C^n preserves distance d>=0 if for each x,y \in R^n \phi(x,y)=d^2 implies \phi(f(x),f(y))=d^2. We prove that if x,y \in R^n (n>=3) and |x-y|=(\sqrt{2+2/n})^k \cdot (2/n)^l (k,l are non-negative integers) then there exists a finite set {x,y} \subseteq S(x,y) \subseteq R^n such that each unit-distance preserving mapping from S(x,y) to C^n preserves the distance between x and y. It implies that each continuous map from R^n to C^n (n>=3) preserving unit distance preserves all distances.


title: On the Equations Defining Toric L.C.I. Singularities

abstract: Based on Nakajima's Classification Theorem we describe the precise form of the binomial equations which determine toric locally complete intersection ("l.c.i'') singularities.


title: Integer sequences counting periodic points

abstract: An existing dialogue between number theory and dynamical systems is advanced. A combinatorial device gives necessary and sufficient conditions for a sequence of non-negative integers to count the periodic points in a dynamical system. This is applied to study linear recurrence sequences which count periodic points. Instances where the $p$-parts of an integer sequence themselves count periodic points are studied. The Mersenne sequence provides one example, and the denominators of the Bernoulli numbers provide another. The methods give a dynamical interpretation of many classical congruences such as Euler-Fermat for matrices, and suggest the same for the classical Kummer congruences satisfied by the Bernoulli numbers.


title: Asymptotic geometry of non-mixing sequences

abstract: The exact order of mixing for zero-dimensional algebraic dynamical systems is not entirely understood. Here non-Archimedean norms in function fields of positive characteristic are used to exhibit an asymptotic shape in non-mixing sequences for algebraic $Z^2$-actions. This gives a relationship between the order of mixing and the convex hull of the defining polynomial. Using these methods, we show that an algebraic dynamical system for which any shape of cardinality three is mixing is mixing of order three, and for any $k\ge1$ exhibit examples that are $k$-fold mixing but not $(k+1)$-fold mixing.


title: An asymptotic link between LUE and GUE and its spectral interpretation

abstract: We use a matrix central-limit theorem which makes the Gaussian Unitary Ensemble appear as a limit of the Laguerre Unitary Ensemble together with an observation due to Johansson in order to derive new representations for the eigenvalues of GUE. For instance, it is possible to recover the celebrated equality in distribution between the maximal eigenvalue of GUE and a last-passage time in some directed brownian percolation. Similar identities for the other eigenvalues of GUE also appear.


title: Homotopical variations and high-dimensional Zariski-van Kampen theorems

abstract: In 1933, van Kampen described the fundamental groups of the complements of plane complex projective algebraic curves. Recently, Ch\'eniot-Libgober proved an analogue of this result for higher homotopy groups of the complements of complex projective hypersurfaces with isolated singularities. Their description is in terms of some "homotopical variation operators". We generalize here the notion of "homotopical variation" to (singular) quasi-projective varieties. This is a first step for further generalizations of van Kampen's theorem. A conjecture, with a first approach, is stated in the special case of non-singular quasi-projective varieties.


title: On the structure of mu-classes

abstract: We prove that, if \mu<\lfloor n/2\rfloor, then every rational plane curve of degree n and class \mu is a limit of parametrizations of the same degree and class \mu+1. This property was conjectured in D.Cox, T.Sederberg,F.Chen's paper: "The moving line ideal basis of planar rational curves" (Comput. Aided Geom. Des. 15 (1998), 803-827), and its validity allows an explicit description of the variety of parametrizations of degree n and class \mu, for all (n,\mu).


title: The Fermion Model of Representations of Affine Krichever--Novikov Algebras

abstract: To a generic holomorphic vector bundle on an algebraic curve and an irreducible finite-dimensional representation of a semisimple Lie algebra, we assign a representation of the corresponding affine Krichever--Novikov algebra in the space of semi-infinite exterior forms. It is shown that equivalent pairs of data give rise to equivalent representations and vice versa.


title: Morphic heights and periodic points

abstract: An approach to the calculation of local canonical morphic heights is described, motivated by the analogy between the classical height in Diophantine geometry and entropy in algebraic dynamics. We consider cases where the local morphic height is expressed as an integral average of the logarithmic distance to the closure of the periodic points of the underlying morphism. The results may be thought of as a kind of morphic Jensen formula.


title: Weak Hopf algebras and quantum groupoids

abstract: We give a detailed comparison between the notion of a weak Hopf algebra (also called a quantum groupoid by Nikshych and Vainerman), and that of a $\times_R$-bialgebra due to Takeuchi (and also called a bialgebroid or quantum (semi)groupoid by Lu and Xu). A weak bialgebra is the same thing as a $\times_R$-bialgebra in which $R$ is Frobenius-separable. We extend the comparison to cover module and comodule theory, duality, and the question when a bialgebroid should be called a Hopf algebroid.


title: Stable systolic inequalities and cohomology products

abstract: Multiplicative relations in the cohomology ring of a manifold impose constraints upon its stable systoles. Given a compact Riemannian manifold (X,g), its real homology H_*(X,R) is naturally endowed with the stable norm. Briefly, if h\in H_k(X,R) then the stable norm of h is the infimum of the Riemannian k-volumes of real cycles representing h. The stable k-systole is the minimum of the stable norm over nonzero elements in the lattice of integral classes in H_k(X,R). Relying on results from the geometry of numbers due to W. Banaszczyk, and extending work by M. Gromov and J. Hebda, we prove metric-independent inequalities for products of stable systoles, where the product can be as long as the real cup length of X.


title: Local calibration of mass and systolic geometry

abstract: We prove the simultaneous (k,n-k)-systolic freedom, for a pair of adjacent integers k smaller than n/2, of a simply connected n-manifold X. Our construction, related to recent results of I. Babenko, is concentrated in a neighborhood of suitable k-dimensional submanifolds of X. We employ calibration by differential forms supported in such neighborhoods, to provide lower bounds for the (n-k)-systoles. Meanwhile, the k-systoles are controlled from below by the monotonicity formula combined with the bounded geometry of the construction in a neighborhood of suitable (n-k+1)-dimensional submanifolds, in spite of the vanishing of the global injectivity radius. The construction is geometric, with the algebraic topology ingredient reduced to Poincare duality and Thom's theorem on representing multiples of homology classes by submanifolds. The present result is different from the proof, in collaboration with A. Suciu, and relying on rational homotopy theory, of the k-systolic freedom of X. Our results concerning systolic freedom contrast with the existence of stable systolic inequalities, studied in joint work with V. Bangert.


title: Extremal weight modules of quantum affine algebras

abstract: Let $\ag$ be an affine Lie algebra, and let $\Ua$ be the quantum affine algebra introduced by Drinfeld and Jimbo. In [Kas94] Kashiwara introduced a $\Ua$-module $V(\lambda)$, having a global crystal base for an integrable weight $\lambda$ of level 0. We call it an {\it extremal weight module}. In [\S13]{Kas00} Kashiwara gave a conjecture on the structure of extremal weight modules. We prove his conjecture when $\ag$ is an untwisted affine Lie algebra of a simple Lie algebra $\g$ of type $ADE$, using a result of Beck-Chari-Pressley [BCP].


title: t-analogs of q-characters of quantum affine algebras of type $A_n$, $D_n$

abstract: We give a tableaux sum expression of $t$--analog of $q$--characters of finite dimensional representations (standard modules) of quantum affine algebras $\Ul$ when $\g$ is of type $A_n$, $D_n$.


title: t-analogs of q-characters of Kirillov-Reshetikhin modules of quantm affine algebras

abstract: We prove the Kirillov-Reshetikhin conjecture concerning certain finite dimensional representations of a quantum affine algebra $\Ua$ when $\hat\g$ is an untwisted affine Lie algebra of type $ADE$. We use $t$--analog of $q$--characters introduced by the author in an essential way.


title: Harnack inequality for a class of degenerate elliptic operators

abstract: We prove a Harnack inequality for a class of two-weight degenerate elliptic operators. The metric distance is induced by continuous Grushin-type vector fields. It is not know whether there exist cutoffs fitting the metric balls. This obstacle is bypassed by means of a covering argument that allows the use of rectangles in the Moser iteration.


title: Identification of Fractional-Order Dynamical Systems

abstract: This contribution deals with identification of fractional-order dynamical systems. We consider systems whose mathematical description is a three-member differential equation in which the orders of derivatives can be real numbers. We give a discretization method and a numerical solution of differential equations of this type. An experimental method of identification is given which is based on evaluation of transfer characteristics. This is a combination of the method of derivatives of transfer characteristics and of the method of passive search. The verification was performed on systems with known parameters and also on a laboratory object.


title: Algebraic cycles on Jacobian varieties

abstract: Let J be the Jacobian of a smooth curve C of genus g, and let A(J) be the ring of algebraic cycles modulo algebraic equivalence on J, tensored with Q. We study in this paper the smallest Q-vector subspace R of A(J) which contains C and is stable under the natural operations of A(J) : intersection and Pontryagin products, pull back and push down under multiplication by integers. We prove that this "tautological subring" is generated (over Q) by the classes of the subvarieties W_1=C, W_2=C+C, ..., W_{g-1}. If C admits a morphism of degree d onto P^1, we prove that the last d-1 classes suffice.


title: State-Space Controller Design for the Fractional-Order Regulated System

abstract: In this paper we will present a mathematical description and analysis of a fractional-order regulated system in the state space and the state-space controller design based on placing the closed-loop poles on the complex plane. Presented are the results of simulations and stability investigation of this system.


title: Gibbs measures and semiclassical approximations to action minimizing measures

abstract: We study the approximation of action minimizing measures, for a mechanical Lagrangian on the torus, by the probability densities given by quasi-periodic eigenfunctions of the Schrodinger operator.


title: A remark on the symmetries of the Riemann curvature tensor

abstract: This is an elementary observation that the symmetry properties of the Riemann curvature tensor can be (efficiently) expressed as SL(2)-invariance.


title: A dynamical Lefschetz trace formula for algebraic Anosov diffeomorphisms

abstract: For algebraic Anosov diffeomorphisms we first express the reduced leafwise cohomology with respect to the unstable foliation in terms of finite dimensional Lie algebra cohomology. We then prove a dynamical Lefschetz trace formula for the induced action on this cohomology using a result of Nomizu. We also consider generalized Anosov maps for which the cohomology in question is no longer finite dimensional in general. Using the representation theory of nilpotent Lie groups we still arrive at a meaningful definition of traces on cohomology. Again we establish a dynamical Lefschetz trace formula.


title: Fractional-Order State Space Models

abstract: In this paper we will present some alternative types of mathematical description and methods of solution of the fractional-order dynamical system in the state space. We point out the difference in the true sense of the name "state" space for the integer-order and fractional-order system and the importance of the initialization function for the fractional-order system. Some implications concerning the state feedback control theory are discussed. Presented are the results of simulations.


title: On the nature of the "explicit formulas" in analytic number theory - a simple example

abstract: We interpret the "explicit formulas" in the sense of analytic number theory for the zeta function of an elliptic curve over a finite field as a transversal index theorem on a 3-dimensional laminated space.


title: On Elliptic Curves in SL_2(C)/\Gamma, Schanuel's conjecture and geodesic lengths

abstract: Let H be a discrete cocompact subgroup of SL_2(C). We conjecture that the quotient manifold X=SL_2(C)/H contains infinitely many non-isogeneous elliptic curves and prove that this is indeed the case if Schanuel's conjecture holds. We also prove it in the special case where the intersection of H and SL_2(R) is cocompact in SL_2(R). Furthermore, we deduce some consequences for the geodesic length spectra of real hyperbolic 2- and 3-folds.


title: Oscillating Population Models

abstract: Oscillating population model realistic situations in different contexts.We examine this situation with reasonable mathematical models and come to interesting conclusions,such as for example,that the population at most points of the cycle approximately equals half the maximum attainable population.


title: On the Chern numbers of the generalised Kummer varieties

abstract: Let $A^{[[n]]}$ denote the $2(n - 1)$-dimensional generalised Kummer variety constructed from the abelian surface $A$. Further, let $X$ be an arbitrary smooth projective surface with $\int_X c_1(X)^2 \neq 0$, and $X^{[k]}$ the Hilbert scheme of zero-dimensional subschemes of $X$ of length $k$. We give a formula which expresses the value of any complex genus on $A^{[[n]]}$ in terms of Chern numbers of the varieties $X^{[k]}$. It is shown by Ellingsrud and Stroemme how to use Bott's residue formula to effectively calculate the Chern numbers of the Hilbert schemes $(\IP^2)^{[k]}$ of points on the projective plane. Since $\int_{\IP^2} c_1(\IP^2)^2 = 9 \neq 0$ we can use these numbers and our formula to calculate the Chern numbers of the generalised Kummer varieties. A table with all Chern numbers of the generalised Kummer varieties $A^{[[n]]}$ for $n \leq 8$ is included.


title: Central configurations, symmetries and fixed points

abstract: Planar central configurations can be seen as critical points of the reduced potential or solutions of a system of equations. By the homogeneity and invariance of the potential with respect to SO(2), it is possible to see that the SO(2)-orbits of central configurations are fixed points of a suitable map f. The purpose of the paper is to define this map and to derive some properties using topological fixed point theory. The generalized Moulton-Smale theorem for collinear configurations is proved, together with some estimates on the number of central configurations in the case of 3 bodies, using fixed point indexes. Well-known results such as the compactness of the set of central configuration can also be proved in an easy way in this topological framework. At the end of the paper some tables of (numerical) planar central configurations of n equal masses with Newtonian potential are given, for n=3,..., 10. They have been computed as the fixed points of a suitable self-map of R^{2(n-2)}.


title: Reviewing Goedel's and Rosser's meta-reasoning of undecidability

abstract: I review the classical conclusions drawn from Goedel's meta-reasoning establishing an undecidable proposition GUS in standard PA. I argue that, for any given set of numerical values of its free variables, every recursive arithmetical relation can be expressed in PA by different, but formally equivalent, propositions. This asymmetry yields alternative Representation and Self-reference meta-Lemmas. I argue that Goedel's meta-reasoning can thus be expressed avoiding any appeal to the truth of propositions in the standard interpretation IA of PA. This now establishes GUS as decidable, and PA as omega-inconsistent. I argue further that Rosser's extension of Goedel's meta-reasoning involves an invalid deduction.


title: Small eigenvalues of the Conformal Laplacian

abstract: We introduce a differential topological invariant for compact differentiable manifolds by counting the small eigenvalues of the Conformal Laplace operator. This invariant vanishes if and only if the manifold has a metric of positive scalar curvature. We show that the invariant does not increase under surgery of codimension at least three and we give lower and upper bounds in terms of the $\alpha$-genus.


title: The Bergman kernel on the intersection of two balls in C^2

abstract: We obtain an asymptotic expansion and some regularity results for the Bergman kernel on the intersection of two balls in C^2.


title: Remarks on actions on compacta by some infinite-dimensional groups

abstract: We discuss some techniques related to equivariant compactifications of uniform spaces and amenability of topological groups. In particular, we give a new proof of a recent result by Glasner and Weiss describing the universal minimal flow of the infinite symmetric group ${\mathfrak S}_\infty$ with the standard Polish topology, and extend Bekka's concept of an amenable representation, enabling one to deduce non-amenability of the Banach--Lie groups $\GL(L_p)$ and $\GL(\ell_p)$, $1\leq p <\infty$.


title: Cosphere bundle reduction in contact geometry

abstract: We extend the theorems concerning the equivariant symplectic reduction of the cotangent bundle to contact geometry. The role of the cotangent bundle is taken by the cosphere bundle. We use Albert's method for reduction at zero and Willett's method for non-zero reduction. We provide examples for both cases.


title: Gaps between classes of matrix monotone functions

abstract: We prove the existence of gaps between all the different classes of matrix monotone functions defined on an interval, provided the interval is non trivial and different from the whole real line. We then show how matrix monotone functions may be used in the characterization of certain C*-algebras as an alternative to the study of the matricial structure by positive linear maps.


title: Residues and homology for pseudodifferential operators on foliations

abstract: We study the Hochschild homology groups of the algebra of complete symbols on a foliated manifold $(M,F)$. The first step is to relate these groups to the Poisson homology of $(M,F)$ and of other related foliated manifolds. We then establish several general properties of the Poisson homology groups of foliated manifolds. As an example, we completely determine these Hochschild homology groups for the algebra of complete symbols on the irrational slope foliation of a torus (under some diophantine approximation assumptions). We also use our calculations to determine all residue traces on algebras of pseudodifferential operators along the leaves of a foliation.


title: Representation Theory and the Quantum Inverse Scattering Method: The Open Toda Chain and the Hyperbolic Sutherland Model

abstract: Using the representation theory of $\frak{gl}(N,\RR)$, we express the wave function of the $GL(N,\RR)$ Toda chain, which two of us recently obtained by the Quantum Inverse Scattering Method, in terms of multiple integrals. The main tool is our generalization of the Gelfand-Zetlin method to the case of infinite-dimensional representations of $\frak{gl}(N,\RR)$. The interpretation of this generalized construction in terms of the coadjoint orbits is given and the connection with the Yangian $Y(\frak{gl}(N))$ is discussed. We also give the hyperbolic Sutherland model eigenfunctions expressed in terms of integrals in the Gelfand-Zetlin representation. Using the example of the open Toda chain, we discuss the connection between the Quantum Inverse Scattering Method and Representation Theory.


title: Topological notions for Kauffman and Vogel's polynomial

abstract: In [2] Kauffman and Vogel constructed a rigid vertex regular isotopy invariant for unoriented four-valent graphs embedded in three dimensional space. It assigns to each embedded graph G a polynomial, denoted [G], in three variables, A, B and a, satisfying three skein relations, and is defined in terms of a state-sum and the Dubrovnik polynomial for links. In previous work by the author it is proved, in the case B=A^{-1} and a=A, that for a planar graph G we have [G]=2^{c-1}(-A-A^{-1})^v, where c is the number of connected components of G and v is the number of vertices of G. In this paper we will show how we can calculate the polynomial for embedded graphs, with the variables B=A^{-1} and a=A, without resorting to the skein relation.


title: Hausdorff dimensions for SLE_6

abstract: We prove that the Hausdorff dimension of the trace of SLE_6 is almost surely 7/4 and give a more direct derivation of the result (due to Lawler-Schramm-Werner) that the dimension of its boundary is 4/3. We also prove that, for all \kappa<8, the SLE_{\kappa} trace has cut-points.


title: On the polycirculant conjecture

abstract: In the paper the foundation of the $k$-orbit theory is developed. The theory opens a new simple way to the investigation of groups and multidimensional symmetries. The relations between combinatorial symmetry properties of a $k$-orbit and its automorphism group are found. It is found the local property of a $k$-orbit. The difference between 2-closed group and $m$-closed group for $m>2$ is discovered. It is explained the specific property of Petersen graph automorphism group $n$-orbit. It is shown that any non-trivial primitive group contains a transitive imprimitive subgroup and as a result it is proved that the automorphism group of a vertex transitive graph (2-closed group) contains a regular element (polycirculant conjecture). Using methods of the $k$-orbit theory, it is considered different possibilities of permutation representation of a finite group and shown that the most informative, relative to describing of the structure of a finite group, is the permutation representation of the lowest degree. Using this representation it is obtained a simple proof of the W. Feit, J.G. Thompson theorem: Solvability of groups of odd order. It is described the enough simple structure of lowest degree representation of finite groups and found a way to constructing of the simple full invariant of a finite group. To the end, using methods of $k$-orbit theory, it is obtained one of possible polynomial solutions of the graph isomorphism problem.


title: Finite modules over non-semisimple group rings

abstract: Let $G$ be an abelian group of order $n$ and let $R$ be a commutative ring which admits a homomorphism ${\Bbb Z}[\zeta_{n}]\ra R$, where $\zeta_{n}$ is a (complex) primitive $n$-th root of unity. Given a finite $R[G\e]$-module $M$, we derive a formula relating the order of $M$ to the product of the orders of the various isotypic components $M^{\e\chi}$ of $M$, where $\chi$ ranges over the group of $R$-valued characters of $G$. We then give conditions under which the order of $M$ is exactly equal to the product of the orders of the $M^{\chi}$. To derive these conditions, we build on work of E.Aljadeff and obtain, as a by-product of our considerations, a new criterion for cohomological triviality which improves the well-known criterion of T.Nakayama. We also give applications to abelian varieties and to class groups of abelian fields, obtaining in particular some new class number formulas. Our results also have applications to "non-semisimple" Iwasawa theory, but we do not develop these here. In general, the results of this paper can be used to strengthen a variety of known results involving finite $R[G\e]$-modules whose hypotheses include (an equivalent form of) the following assumption: ``the order of $G$ is invertible in $R$".}


title: Norms on the cohomology of a 3-manifold and SW theory

abstract: The aim of this paper is to discuss some applications of the relation between Seiberg-Witten theory and two natural norms defined on the first cohomology group of a closed 3-manifold N - the Alexander and Thurston norms. We start by giving a "new" proof of McMullen's inequality between these norms, and then use these norms to study two problems related to symplectic 4-manifolds of the form S^1xN. First we prove that - as long as N is irreducible - the unit balls of these norms are related in a way similar to the case of fibered 3-manifolds, supporting the conjecture that N is fibered. Second, we provide the first example of a 2-cohomology class on a symplectic manifold that lies in the positive cone and satisfies Taubes' "more constraints", but cannot be represented by a symplectic form.


title: 5n Minkowski symmetrizations suffice to arrive at an approximate Euclidean ball

abstract: This paper proves that for every convex body in R^n there exist 5n-4 Minkowski symmetrizations, which transform the body into an approximate Euclidean ball. This result complements the sharp c n log n upper estimate by J. Bourgain, J. Lindenstrauss and V.D. Milman, of the number of random Minkowski symmetrizations sufficient for approaching an approximate Euclidean ball.


title: On unirationality of double covers of fixed degree and large dimension; a method of Ciliberto

abstract: Following an idea of Ciliberto we show that double covers of projective r-space branched over an hypersurface of degree 2d are unirational provided r is sufficiently big with respect to d.


title: A New Proof of the Faithfulness of Brauer's Representation of Temperley-Lieb Algebras

abstract: The faithfulness of the orthogonal group case of Brauer's representation of the Brauer centralizer algebras restricted to their Temperley-Lieb subalgebras, which was established by Vaughan Jones, is here proved in a new, elementary and self-contained, manner.


title: Explicit Construction of the Brownian Self-Transport Operator

abstract: Applying the technique of characteristic functions developped for one-dimensional regular surfaces (curves) with compact support, we obtain the distribution of hitting probabilities for a wide class of finite membranes on square lattice. Then we generalize it to multi-dimensional finite membranes on hypercubic lattice. Basing on these distributions, we explicitly construct the Brownian self-transport operator which governs the Laplacian transfer. In order to verify the accuracy of the distribution of hitting probabilities, numerical analysis is carried out for some particular membranes.


title: Maximal Subbundles and Gromov-Witten Invariants

abstract: Let $C$ be a nonsingular irreducible projective curve of genus $g\ge2$ defined over the complex numbers. Suppose that $1\le n'\le n-1$ and $n'd-nd'=n'(n-n')(g-1)$. It is known that, for the general vector bundle $E$ of rank $n$ and degree $d$, the maximal degree of a subbundle of $E$ of rank $n'$ is $d'$ and that there are finitely many such subbundles. We obtain a formula for the number of these maximal subbundles when $(n',d')=1$. For $g=2$, $n'=2$, we evaluate this formula explicitly. The numbers computed here are Gromov-Witten invariants in the sense of a recent paper of Ch. Okonek and A. Teleman (to appear in Commun. Math. Phys.) and our results answer a question raised in that paper. In this revised version some references are added.


title: Generators and representability of functors in commutative and noncommutative geometry

abstract: We give a sufficient condition for an Ext-finite triangulated category to be saturated. Saturatedness means that every contravariant cohomological functor of finite type to vector spaces is representable. The condition consists in existence of a strong generator. We prove that the bounded derived categories of coherent sheaves on smooth proper commutative and noncommutative varieties have strong generators, hence saturated. In contrast the similar category for a smooth compact analytic surface with no curves is not saturated.


title: Parabolic reductions of principal bundles

abstract: In this paper we describe the structure of the space of parabolic reductions, and their compactifications, of principal $G$-bundles over a smooth projective curve over an algebraically closed field of arbitrary characteristic. We first prove estimates for the dimensions of moduli spaces of stable maps to the twisted flag varieties $E/P$ and Hilbert schemes of closed subschemes of $E/P$ with same Hilbert polynomials as that of a $P$-reductions of $E$. This generalizes the earlier results of Mihnea Popa and Mike Roth to connected reductive groups and the results of Y. I. Holla and M. S. Narasimhan to the case of non-minimal sections. We then prove irreducibility and generic smoothness of the space of reductions for large numerical constraints, using the above result and the methods of G. Harder. We also study these space in more detail for generically stable $G$-bundles. As a consequence we can generalize the lower bound results of H. Lange to $G$.


title: Group cohomology and $L^p$-cohomology of finitely generated groups

abstract: Let $G$ be a finitely generated, infinite group, let $p>1$, and let $L^p(G)$ denote the Banach space $\{\sum_{x\in G} a_xx \mid \sum_{x\in G} |a_x |^p < \infty \}$. In this paper we will study the first cohomology group of $G$ with coefficients in $L^p(G)$, and the first reduced $L^p$-cohomology space of $G$. Most of our results will be for a class of groups that contains all finitely generated, infinite nilpotent groups.


title: On the index of a vector field tangent to a hypersurface with non-isolated zero in the embedding space

abstract: We give a generalization of an algebraic formula of Gomez-Mont for the index of a vector field with isolated zero in (C^n,0) and tangent to an isolated hypersurface singularity. We only assume that the vector field has an isolated zero on the singularity.


title: Arithmetic Progressions of Cycle Lengths in Graphs

abstract: A recently posed question of Haggkvist and Scott's asked whether or not there exists a constant c such that if G is a graph of minimum degree ck then G contains cycles of k consecutive even lengths. In this paper we answer the question by proving that for k > 1, a bipartite graph of average degree at least 4k and girth g contains cycles of (g/2-1)k consecutive even lengths. We also obtain a short proof of the theorem of Bondy and Simonovits, that a graph of order n and size at least 8(k-1)n^{1 + 1/k} has a cycle of length 2k.


title: Group Actions on Vector Bundles on the Projective Plane

abstract: We study the action of the group of automorphisms of the projective plane on the Maruyama scheme of sheaves $\mathcal{M}_{P^{2}}(r,c_{1,}c_{2})$ of rank $r$ and Chern classes $c_{1}=0$ and $c_{2}=n$ and obtain sufficient conditions for unstability in the sense of Mumford's geometric invariant theory. The conditions are in terms of the splitting behaviour of sheaves when restricted to lines in the projective plane. A very strong parallel is observed with Mumford's theory for the action of the automorphism group of the projective plane on the spaces of curves of a fixed degree.


title: On the topology of components of some Springer fibers and their relation to Kazhdan-Lusztig theory

abstract: We describe the irreducible components of Springer fibers for hook and two-row nilpotent elements of gl_n(C) as iterated bundles of flag manifolds and Grassmannians. We then relate the topology (in particular, the intersection homology Poincare' polynomials) of the intersections of these components with the inner products of the Kazhdan-Lusztig basis elements of irreducible representations of the rational Iwahori-Hecke algebra of type A corresponding to the hook and two-row Young shapes.


title: Realizing Connected Lie Groups As Automorphism Groups Of Complex Manifolds

abstract: We show that every connected real Lie group can be realized as the full automorphism group of a Stein hyperbolic complex manifold.


title: Cosemisimple Hopf algebras with antipode of arbitrary finite order

abstract: We show that there exists cosemisimple Hopf algebras of arbitrary finite even order. We also discuss the Schur indicator for such Hopf algebras.


title: A h-adic valuation property of universal R-matrices

abstract: We prove that if U_h(g) is a quasitriangular QUE algebra with universal R-matrix R, and O_h(G^*) is the quantized function algebra sitting inside U_h(g), then h log(R) belongs to the tensor square O_h(G^*) otimes O_h(G^*). This gives another proof of the results of Gavarini and Halbout, saying that R normalizes O_h(G^*) otimes O_h(G^*) and therefore induces a braiding of the formal group G^* (in the sense of Weinstein and Xu, or Reshetikhin).


title: Dehn filling of the "magic" 3-manifold

abstract: We classify all the non-hyperbolic Dehn fillings of the complement of the chain-link with 3 components, conjectured to be the smallest hyperbolic 3-manifold with 3 cusps. We deduce the classification of all non-hyperbolic Dehn fillings of infinitely many 1-cusped and 2-cusped hyperbolic manifolds, including most of those with smallest known volume. Among other consequences of this classification, we mention the following: - for every integer n we can prove that there are infinitely many hyperbolic knots in the 3-sphere having exceptional surgeries n, n+1, n+2, n+3, with n+1, n+2 giving small Seifert manifolds and n, n+3 giving toroidal manifolds; - we exhibit a 2-cusped hyperbolic manifold that contains a pair of inequivalent knots having homeomorphic complements; - we exhibit a chiral 3-manifold containing a pair of inequivalent hyperbolic knots with orientation-preservingly homeomorphic complements; - we give explicit lower bounds for the maximal distance between small Seifert fillings and any other kind of exceptional filling.


title: Oort's conjecture for A_g

abstract: We prove the conjecture of Oort that a compact subvariety of the moduli space of principally polarized Abelian varieties of genus g has codimension strictly greater than g, for g > 2, in characteristic zero


title: Computing characteristic classes of projective schemes

abstract: We discuss an algorithm computing the push-forward to projective space of several classes associated to a (possibly singular, reducible, nonreduced) projective scheme. For example, the algorithm yields the topological Euler characteristic of the support of a projective scheme $S$, given the homogeneous ideal of $S$. The algorithm has been implemented in Macaulay2.


title: On the number of facets of three-dimensional Dirichlet stereohedra II: Non-cubic Groups

abstract: We prove that Dirichlet stereohedra for non-cubic crystallographic groups in dimension 3 cannot have more than 80 facets. The bound depends on the particular crystallographic group considered and is above 50 only on 9 of the 97 affine conjugacy classes of them. We also construct Dirichlet stereohedra with 32 and 29 facets for a hexagonal and a tetragonal group, respectively.


title: Dirac eigenvalues for generic metrics on three-manifolds

abstract: We show that for generic Riemannian metrics on a closed spin manifold of dimension three the Dirac operator has only simple eigenvalues.


title: On the $K+P$ Problem for a Three-level Quantum System: Optimality Implies Resonance

abstract: We apply techniques of subriemannian geometry on Lie groups to laser-induced population transfer in a three-level quantum system. The aim is to induce transitions by two laser pulses, of arbitrary shape and frequency, minimizing the pulse energy. We prove that the Hamiltonian system given by the Pontryagin Maximum Principle is completely integrable, since this problem can be stated as a ``$\k\oplus\p$ problem'' on a simple Lie group. Optimal trajectories and controls are exhausted. The main result is that optimal controls correspond to lasers that are ``in resonance''.


title: Restriction and Kakeya phenomena for finite fields

abstract: The restriction and Kakeya problems in Euclidean space have received much attention in the last few decades, and are related to many problems in harmonic analysis, PDE, and number theory. In this paper we initiate the study of these problems on finite fields. The restriction problem then becomes a question about general bounds for certain types of exponential sums, while the Kakeya problem has an algebraic geometry flavor, asking for the extent to which lines in different directions can overlap. In many cases the Euclidean arguments carry over easily to the finite setting (and are in fact somewhat cleaner), but there are some new phenomena in the finite case which deserve closer study.


title: A small resolution for triple covers in algebraic geometry

abstract: Given a triple cover p: X --> Y of varieties, we produce a new variety Z and a birational morphism f: Z --> X which is an isomorphism away from the fat-point ramification locus of p. The variety Z has a natural interpretation in terms of the data describing the triple cover, and the morphism f has an elegant geometric description.


title: Enumeration of One-Nodal Rational Curves in Projective Spaces

abstract: We give a formula computing the number of one-nodal rational curves that pass through an appropriate collection of constraints in a complex projective space. We combine the methods and results from three different papers.


title: Perestroikas of Shocks and Singularities of Minimum Functions

abstract: The shock discontinuities, generically present in inviscid solutions of the forced Burgers equation, and their bifurcations happening in the course of time (perestroikas) are classified in two and three dimensions -- the one-dimensional case is well known. This classification is a result of selecting among all the perestroikas occurring for minimum functions depending generically on time, the ones permitted by the convexity of the Hamiltonian of the Burgers dynamics. Topological restrictions on the admissible perestroikas of shocks are obtained. The resulting classification can be extended to the so-called viscosity solutions of a Hamilton--Jacobi equation, provided the Hamiltonian is convex.


title: All flat manifolds are cusps of hyperbolic orbifolds

abstract: We show that all closed flat n-manifolds are diffeomorphic to a cusp cross-section in a finite volume hyperbolic (n+1)-orbifold.


title: The stringy E function of the moduli space of rank 2 bundles over a Riemann surface of genus 3

abstract: We compute the stringy E function of the moduli space of rank 2 bundles over a Riemann surface of genus 3. In doing so, we answer a question of Batyrev about the stringy E functions of the GIT quotients of linear representations.


title: A simple proof of stability of Fourier-Mukai transform

abstract: Paper is withdrawn due to errors (superseded by math.AG/0604303). Formula 6.5 is false. Section 6 is false, and the main statement is true only for bundles $B$ with $c_1(B)$ SU(2)-invariant.


title: Local zeta functions and Newton polyhedra

abstract: To a polynomial $f$ over a non-archimedean local field $K$ and a character $\chi$ of the group of units of the valuation ring of $K$ one associates Igusa's local zeta function $Z(s,f,\chi)$. In this paper, we study the local zeta function $Z(s,f,\chi)$ associated to a non-degenerate polynomial $f$, by using an approach based on the p-adic stationary phase formula and N\'eron p-desingularization. We give a small set of candidates for the poles of $Z(s,f,\chi)$ in terms of the Newton polyhedron $ \Gamma(f)$ of $f$. We also show that for almost all $\chi$, the local zeta function $Z(s,f,\chi)$ is a polynomial in $q^{-s}$ whose degree is bounded by a constant independent of $\chi$. Our second result is a description of the largest pole of $Z(s,f, \chi_{\text{triv}})$ in terms of $ \Gamma(f)$ when the distance between $\Gamma(f)$ and the origin is at most one.


title: On a theorem of Artin

abstract: We determine the epimorphisms $A \to W$ from the Artin group $A$ of type $\Gamma$ onto the Coxeter group $W$ of type $\Gamma$, in case $\Gamma$ is an irreducible Coxeter graph of spherical type, and we prove that the kernel of the standard epimorphism is a characteristic subgroup of $A$. This generalizes an over 50 years old result of Artin.


title: Polarized Pushouts for Finite Fields

abstract: Let p: Y--> X be a surjection between schemes projective over the algebraic closure of a finite field. Let L be a line bundle on X such that p^*(L) is globally generated. I give a natural necessary and sufficient condition under which some positive tensor power of L is globally generated. I apply this to give a sufficient condition for semi-ampleness of nef line bundles on the moduli space of stable pointed curves, in positive characteristic.


title: Low regularity solutions for the Kadomtsev-Petviashvili I equation

abstract: In this paper we obtain local in time existence and (suitable) uniqueness and continuous dependence for the KP-I equation for small data in the intersection of the energy space and a natural weighted $L^{2}$ space.


title: Seven Lectures on the Universal Algebraic Geometry

abstract: Some notions of algebraic geometry can be defined for arbitrary varieties of algebras. This leads to universal algebraic geometry. The main idea of the presented theory is to consider interactions between algebra, logic and geometry in algebras from a given variety of algebras.


title: An analogue of a reductive algebraic monoid, whose unit group is a Kac-Moody group

abstract: By a generalized Tannaka-Krein reconstruction we associate to the admissible representations of the category O of a Kac-Moody algebra, and its category of admissible duals a monoid with a coordinate ring. The Kac-Moody group is the Zariski open dense unit group of this monoid. The restriction of the coordinate ring to the Kac-Moody group is the algebra of strongly regular functions introduced by Kac and Peterson. This monoid has similar structural properties as a reductive algebraic monoid. In particular it is unit regular, its idempotents related to the faces of the Tits cone. It has Bruhat and Birkhoff decompositions. The Kac-Moody algebra is isomorphic to the Lie algebra of this monoid.


title: Generalized twisted coHom objects

abstract: A generalization of the concept of twisted internal coHom object in the category of conic quantum spaces (c.f. math.QA/0112233) was outlined in math.QA/0202205. The aim of this article is to discuss in more detail this generalization.


title: Riemann--Hilbert analysis for Laguerre polynomials with large negative parameter

abstract: We study the asymptotic behavior of Laguerre polynomials $L_n^{(\alpha_n)}(nz)$ as $n \to \infty$, where $\alpha_n$ is a sequence of negative parameters such that $-\alpha_n/n$ tends to a limit $A > 1$ as $n \to \infty$. These polynomials satisfy a non-hermitian orthogonality on certain contours in the complex plane. This fact allows the formulation of a Riemann--Hilbert problem whose solution is given in terms of these Laguerre polynomials. The asymptotic analysis of the Riemann--Hilbert problem is carried out by the steepest descent method of Deift and Zhou, in the same spirit as done by Deift et al. for the case of orthogonal polynomials on the real line. A main feature of the present paper is the choice of the correct contour.


title: Thompson's group F is not almost convex

abstract: We show that Thompson's group F does not satisfy Cannon's almost convexity condition AC(n) for any integer n in the standard finite two generator presentation. To accomplish this, we construct a family of pairs of elements at distance n from the identity and distance 2 from each other, which are not connected by a path lying inside the n-ball of length less than k for increasingly large k. Our techniques rely upon Fordham's method for calculating the length of a word in F and upon an analysis of the generators' geometric actions on the tree pair diagrams representing elements of F.


title: Projective embeddings of projective schemes blown up at subschemes

abstract: Let X be a nonsingular arithmetically Cohen-Macaulay projective scheme, Z a nonsingular subscheme of X. Let \pi: Y --> X be the blowup of X along the ideal sheaf of Z, E_0 the pull-back of a general hyperplane in X and E the exceptional divisor. In this paper, we study projective embeddings of Y given by the divisor tE_0 - eE. We give explicit values of d and \delta such that for all e > 0 and t > ed + \delta, these embeddings is projectively normal and arithmetically Cohen-Macaulay. We also study the regularity of the ideal sheaf and syzygies of these embeddings. When X is a surface and Z is a 0-dimensional subscheme of X, we show that these embeddings possess N_p property for t >> e.


title: A new bound for finite field Besicovitch sets in four dimensions

abstract: Let $F$ be a finite field with characteristic greater than two. Define a \emph{Besicovitch set} in $F^4$ to be a set $P \subseteq F^4$ containing a line in every direction. The \emph{Kakeya conjecture} asserts that $|P| \approx |F|^4$. A result of Wolff establishes that $|P| \gtrsim |F|^3$. In this paper we improve this to $|P| \gtrapprox |F|^{3+\gain}$. On the other hand, we show that the bound of $|F|^3$ is sharp if we relax the assumption that the lines point in different directions. One new feature in the argument is the introduction of a small amount of basic algebraic geometry.


title: Separating Thickness from Geometric Thickness

abstract: We show that graph-theoretic thickness and geometric thickness are not asymptotically equivalent: for every t, there exists a graph with thickness three and geometric thickness >= t.


title: Minimal tori in five-dimensional sphere in $C^3$

abstract: Special class of surfaces in five-dimensional sphere in $C^3$ is considered. Immersion equations for minimal tori of that class are shown to be reducible to the equation $u_{z\bar z}=e^u-e^{-2u}$ which is integrable by means of inverse scattering method. Finite-gap minimal tori are constructed.


title: Bounding the degrees of generators of a homogeneous dimension 2 toric ideal

abstract: Let I be the toric ideal defined by a 2 x n matrix of integers, A = ((1 1 ... 1)(a_1 a_2 ... a_n)) with a_1<a_2<...<a_n. We give a combinatorial proof that I is generated by elements of degree at most the sum of the two largest differences a_i - a_(i-1). The novelty is in the method of proof: the result has already been shown by L'vovsky using cohomological arguments.


title: Hilbert's "Verunglueckter Beweis," the first epsilon theorem, and consistency proofs

abstract: In the 1920s, Ackermann and von Neumann, in pursuit of Hilbert's Programme, were working on consistency proofs for arithmetical systems. One proposed method of giving such proofs is Hilbert's epsilon-substitution method. There was, however, a second approach which was not reflected in the publications of the Hilbert school in the 1920s, and which is a direct precursor of Hilbert's first epsilon theorem and a certain 'general consistency result' due to Bernays. An analysis of the form of this so-called 'failed proof' sheds further light on an interpretation of Hilbert's Programme as an instrumentalist enterprise with the aim of showing that whenever a `real' proposition can be proved by 'ideal' means, it can also be proved by 'real', finitary means.


title: On the geometric genus of subvarieties of generic hypersurfaces

abstract: We prove some lower bounds on certain nonegative twists of the canonical bundle of a subvariety of a generic hypersurface in projective space. In particular we prove that the generic sextic threefold contains no rational or elliptic curves and no nondegenerate curves of genus 2.


title: The (-1) twist

abstract: We extend the results of the eprint math.AG/0204256, obtained with Herb Clemens, about sections of nonnegative twists of the canonical bundle of subvarieties of generic hypersurfaces, to the case of the (-1) twist.


title: Osserman Conjecture in dimension n \ne 8, 16

abstract: Let M be a Riemannian manifold and R its curvature tensor. For a unit vector X tangent to M at a point p, the Jacobi operator is defined by R_X = R(X, .) X$. The manifold M is called pointwise Osserman if, for every point p, the spectrum of the Jacobi operator does not depend of the choice of X, and is called globally Osserman if it depends neither of X, nor of p. R.Osserman conjectured that globally Osserman manifolds are two-point homogeneous. We prove the Osserman Conjecture for dimension n \ne 8, 16, and its pointwise version for n \ne 2,4,8,16. Partial results in the cases n = 8, 16 are also given.


title: On the Hilbert scheme of Palatini threefolds

abstract: We study the Hilbert scheme of Palatini threefolds X in P^5. We prove that such a scheme has an irreducible component containing X which is birational to the Grassmannian G(3,14) and we determine the exceptional locus of the birational map.


title: An Isomorphism Between Moduli Spaces of Abelian Varieties

abstract: In a previous paper we showed that for every polarization on an abelian variety there is a dual polarization on the dual abelian variety. In this note we extend this notion of duality to families of polarized abelian varieties. As a main consequence we obtain an involution on the set of moduli spaces of polarized abelian varieties of dimension $g$. In particular, the moduli spaces $\mathcal A_{(d_1,...,d_g)}$ and $\mathcal A_{(d_1,\frac{d_1d_g}{d_{g-1}},...,\frac{d_1d_g}{d_2},d_g)}$ are canonically isomorphic.


title: Families of abelian varieties over curves with maximal Higgs field

abstract: Let f:X-->Y be a semi-stable family of complex abelian varieties over a curve Y of genus q, and smooth over the complement of s points. If F(1,0) denotes the non-flat (1,0) part of the corresponding variation of Hodge structures, the Arakelov inequalities say that 2deg(F(1,0)) is bounded from above by g=rank(F(1,0))(2q-2+s). We show that for s>0 families reaching this bound are isogenous to the g-fold product of a modular family of elliptic curves, and a constant abelian variety. The content of this note became part of the article "A characterization of certain Shimura curves in the moduly stack of abelian varieties" (math.AG/0207228), where we also handle the case s=0.


title: Algebraic fiber spaces whose general fibers are of maximal Albanese dimension

abstract: The main purpose of this paper is to prove the Iitaka conjecture $C_{n,m}$ on the assumption that the sufficiently general fibers have maximal Albanese dimension.


title: On exponential stability of Wonham filter

abstract: We give elementary proof of a stability result concerning an exponential asymptotic ($t\to\infty$) for filtering estimates generated by wrongly initialized Wonham filter. This proof is based on new exponential bound having independent interest.


title: Podle\'s' Quantum Sphere: Dual Coalgebra and Classification of Covariant First Order Differential Calculus

abstract: The dual coalgebra of Podle\'s' quantum sphere O_q(S^2_c) is determined explicitly. This result is used to classify all finite dimensional covariant first order differential calculi over O_q(S^2_c) for all but exceptional values of the parameter c.


title: K-theorie equivariante des varietes de drapeaux et des varietes de Bott-Samelson

abstract: The aim of this text is to give an explicit formula for the restriction to fixed points of a basis of the equivariant K-theory of the flag varieties and of the Bott-Samelson varieties.


title: Random perturbations of codimension one homoclinic tangencies in dimension 3

abstract: Adding small random parametric noise to an arc of diffeomophisms of a manifold of dimension 3, generically unfolding a codimension one quadratic homoclinic tangency q associated to a sectionally dissipative saddle fixed point p, we obtain not more than a finite number of physical probability measures, whose ergodic basins cover the orbits which are recurrent to a neighborhood of the tangency point $q$. This result is in contrast to the extension of Newhouse's phenomenon of coexistence of infinitely many sinks obtained by Palis and Viana in this setting. There is a similar result for the simpler bidimensional case whose proof relies on geometric arguments. We now extend the arguments to cover three dimensional manifolds.


title: A stable cohomotopy refinement of Seiberg-Witten invariants: II

abstract: The main theorem describes the behaviour of the stable cohomotopy invariant defined in the first article (joint with M. Furuta) in this series of two under the operation of taking connected sums of four-manifolds: The invariant of a connected sum is the smash product (in the sense of equivariant spectra) of the invariants of the respective summands. This provides nonvanishing results even in cases in which both the integer valued Seiberg-Witten invariants and Donaldson invariants have to vanish. As a consequence, one gets new results on diffeomorphism types of decomposable four-manifolds.


title: Computing stationary probability distributions and large deviation rates for constrained random walks. The undecidability results

abstract: Our model is a constrained homogeneous random walk in a nonnegative orthant Z_+^d. The convergence to stationarity for such a random walk can often be checked by constructing a Lyapunov function. The same Lyapunov function can also be used for computing approximately the stationary distribution of this random walk, using methods developed by Meyn and Tweedie. In this paper we show that, for this type of random walks, computing the stationary probability exactly is an undecidable problem: no algorithm can exist to achieve this task. We then prove that computing large deviation rates for this model is also an undecidable problem. We extend these results to a certain type of queueing systems. The implication of these results is that no useful formulas for computing stationary probabilities and large deviations rates can exist in these systems.


title: Estimates for Oscillatory Integral Operators

abstract: This thesis is devoted to asymptotic norm estimates for oscillatory integral operators acting on the L^2 space of functions of one real variable. The operators in question have compact support and an oscillatory kernel of the form exp(i Lambda S(x,y)), where S(x,y) is a smooth real phase function, and Lambda is a large real number. I study how the norm of the operator decays as Lambda goes to infinity, and how the rate of this decay can be determined from the properties of the phase function S(x,y). For C^infinity phase functions I prove results formulated in terms of the Newton polygon of S(x,y), improving previously known estimates by Phong and Stein, and Seeger. My estimates are best possible or differ from the best possible ones by at most a power of log Lambda. Main results of the thesis are based on a geometric analysis of the zero set of the Hessian S''_{xy} using Puiseux decompositions, and have appeared before in [math.CA/9911153]. New results obtained by a different method based on a stopping time argument are also included.


title: Zorn's matrices and finite index subloops

abstract: The Zorn's Algebra ZZ(R) has a multiplicative function called determinant with properties similar to the usual one. The set of elements in ZZ(R) with determinant 1 is a Moufang loop that we will denote by \GA. In our main result we prove that if R is a Dedekind algebraic number domain that contains an infinite order unit, each finite index subloop L, such that \GA has the weak Lagrange property relative to L, is congruence subloop. In addition, if R=\Z, then we present normal subloops of finite index in \GA that are not congruence subloops.


title: Higher K-energy functionals and higher Futaki invariants

abstract: This note discusses the higher K-energy functionals which were defined by Bando and Mabuchi, and integrate higher Futaki invariants. Two new formulas for the higher K-energy functionals are given, and the second K-energy is shown to be related to Donaldson's Lagrangian applied to metrics on the tangent bundle.


title: On arrangements of real roots of a real polynomial and its derivatives

abstract: We prove that all arrangements (consistent with the Rolle theorem and some other natural restrictions) of the real roots of a real polynomial and of its $s$-th derivative are realizable by real polynomials.


title: Warped products and Reissner-Nordstrom metric

abstract: We study a multiply warped products manifold associated with the Reissner-Nordstrom metric to investigate the physical properties inside the black hole event horizons. It is shown that, different from the uncharged Schwarzschild metric, the Ricci curvature components inside the Reissner-Nordstrom black hole horizons are nonvanishing, while the Einstein scalar curvature vanishes even in the interior of the charged metric. Introducing a perfect fluid inside the Reissor-Nordstrom black hole, it is also shown that the charge plays effective roles of decreasing the mass-energy density and the pressure of the fluid inside the black hole.


title: A note on arithmetic topology and dynamical systems

abstract: We discuss analogies between the etale site of arithmetic schemes and the algebraic topology of dynamical systems. The emphasis is on Lefschetz numbers. We also discuss similarities between infinite primes in arithmetic and fixed points of dynamical systems.


title: Component groups of unipotent centralizers in good characteristic

abstract: Let G be a connected, reductive group over an algebraically closed field of good characteristic. For u in G unipotent, we describe the conjugacy classes in the component group A(u) of the centralizer of u. Our results extend work of the second author done for simple, adjoint G over the complex numbers. When G is simple and adjoint, the previous work of the second author makes our description combinatorial and explicit; moreover, it turns out that knowledge of the conjugacy classes suffices to determine the group structure of A(u). Thus we obtain the result, previously known through case-checking, that the structure of the component group A(u) is independent of good characteristic.


title: A Simple Proof of the Classification of Normal Toeplitz Matrices

abstract: We give an easy proof to show that every complex normal Toeplitz matrix is classified as either of type I or of type II. Instead of difference equations on elements in the matrix used in past studies, polynomial equations with coefficients of elements are used. In a similar fashion, we show that a real normal Toeplitz matrix must be one of four types: symmetric, skew-symmetric, circulant, or skew-circulant. Here we use trigonometric polynomials in the complex case and algebraic polynomials in the real case.


title: On the scaling limit of planar self-avoiding walk

abstract: A planar self-avoiding walk (SAW) is a nearest neighbor random walk path in the square lattice with no self-intersection. A planar self-avoiding polygon (SAP) is a loop with no self-intersection. In this paper we present conjectures for the scaling limit of the uniform measures on these objects. The conjectures are based on recent results on the stochastic Loewner evolution and non-disconnecting Brownian motions. New heuristic derivations are given for the critical exponents for SAWs and SAPs.


title: Fusion rules of modular invariants

abstract: Modular invariants satisfy remarkable fusion rules. Let $Z$ be a modular invariant associated to a braided subfactor $N\subset M$. The decomposition of the non-normalized modular invariants $Z Z^{*}$ and $Z^{*}Z$ into sums of normalized modular invariants is related to the decomposition of the full induced $M-M$ system of sectors.


title: Generalized enrichment of categories

abstract: We define the phrase `category enriched in an fc-multicategory' and explore some examples. An fc-multicategory is a very general kind of 2-dimensional structure, special cases of which are double categories, bicategories, monoidal categories and ordinary multicategories. Enrichment in an fc-multicategory extends the (more or less well-known) theories of enrichment in a monoidal category, in a bicategory, and in a multicategory. Moreover, fc-multicategories provide a natural setting for the bimodules construction, traditionally performed on suitably cocomplete bicategories. Although this paper is elementary and self-contained, we also explain why, from one point of view, fc-multicategories are the natural structures in which to enrich categories.


title: Quantum torsors

abstract: This text gives some results about quantum torsors. Our starting point is an old reformulation of torsors recalled recently by Kontsevich. We propose an unification of the definitions of torsors in algebraic geometry and in Poisson geometry. Any quantum torsor is equipped with two comodule-algebra structures over Hopf algebras and these structures commute with each other. In the finite dimensional case, these two Hopf algebras share the same finite dimension. We show that any Galois extension of a field is a torsor and that any torsor is a Hopf-Galois extension. We give also examples of non-commutative torsors without character. Torsors can be composed. This leads us to define a new group-invariant, its torsors invariant. We show how Parmentier's quantization formalism of "affine Poisson groups" is part of our theory of torsors.


title: Critical Phenomena, modular invariants and operator algebras

abstract: We review the framework subfactors provide for understanding modular invariants. We discuss the structure of a generalized Longo-Rehren subfactor and the relationship between the coupling matrices of such subfactors, modular invariance and local extensions. We relate results of Kostant, in the context of the McKay correspondence for finite subgroups of SU(2), to subfactors. A direct proof of how alpha-induction produces modular invariants is presented.


title: Field Algebras

abstract: A field algebra is a ``non-commutative'' generalization of a vertex algebra. In this paper we develop foundations of the theory of field algebras.


title: Generators of relations for annihilating fields

abstract: For an untwisted affine Kac-Moody Lie algebra $\tilde{\mathfrak g}$, and a given positive integer level $k$, vertex operators $x(z)=\sum x(n)z^{-n-1}$, $x\in\mathfrak g$, generate a vertex operator algebra $V$. For the maximal root $\theta$ and a root vector $x_\theta$ of the corresponding finite-dimensional $\mathfrak g$, the field $x_\theta(z)^{k+1}$ generates all annihilating fields of level $k$ standard $\tilde{\mathfrak g}$-modules. In this paper we study the kernel of the normal order product map $r(z)\otimes Y(v,z)\mapsto :r(z) Y(v,z):$ for $v\in V$ and $r(z)$ in the space of annihilating fields generated by the action of $\tfrac{d}{dz}$ and $\mathfrak g$ on $x_\theta(z)^{k+1}$. We call the elements of this kernel the relations for annihilating fields, and the main result is that this kernel is generated, in certain sense, by the relation $x_\theta(z)\tfrac{d}{dz}(x_\theta(z)^{k+1})= (k+1)x_\theta(z)^{k+1}\tfrac{d}{dz}x_\theta(z)$. This study is motivated by Lepowsky-Wilson's approach to combinatorial Rogers-Ramanujan type identities, and many ideas used here stem from a joint work with Arne Meurman.


title: Base loci of linear series are numerically determined

abstract: Suppose D is an effective divisor on a smooth projective algebraic variety X. For each point x of X we associate a numberical invariant called the moving Seshadri constant of D at x which is a numerical measure of positivity of the divisor D at x. We determine the base locus of a large multiple of D by studying these moving Seshadri constants-- the drawback to this method is that these moving Seshadri constants are extremely difficult to compute.


title: Fiber sums of genus 2 Lefschetz fibrations

abstract: Using the recent results of Siebert and Tian about the holomorphicity of genus 2 Lefschetz fibrations with irreducible singular fibers, we show that any genus 2 Lefschetz fibration becomes holomorphic after fiber sum with a holomorphic fibration.


title: A remark about Donaldson's construction of symplectic submanifolds

abstract: We describe a simplification of Donaldson's arguments for the construction of symplectic hypersurfaces or Lefschetz pencils that makes it possible to avoid any reference to Yomdin's work on the complexity of real algebraic sets.


title: A Smooth Compactification of the Moduli Space of Instantons and Its Application

abstract: A smooth compactification of Donaldson moduli spaces is given. As an application, we use this new space to study the wall-crossing formula and prove the Kotschick-Morgan conjecture.


title: Deformations of calibrations, {Calabi-Yau, HyperK\"ahler, $G_2$ and Spin(7) structures}

abstract: We shall develop a new deformation theory of geometric structures in terms of closed differential forms. This theory is a generalization of Kodaira -Spencer theory and further we obtain a criterion of unobstructed deformations. We apply this theory to certain geometric structures: Calabi-Yau, HyperK\"ahler, $\G$ and $\Spin$ structures and show that these deformation spaces are smooth in a systematic way.


title: On diffusion approximation with discontinuous coefficients

abstract: Convergence of stochastic processes with jumps to diffusion processes is investigated in the case when the limit process has discontinuous coefficients. An example is given in which the diffusion approximation of a queueing model yields a diffusion process with discontinuous diffusion and drift coefficients.


title: Quantum Relatives of Alexander Polynomial

abstract: The multivariable Conway function is generalized to oriented framed trivalent graphs equipped with additional structure (coloring). This is done via refinements of Reshetikhin-Turaev functors based on irreducible representations of quantized gl(1|1) and sl(2). The corresponding face state sum models for the generalized Conway function are presented.


title: C*-categories, Groupoid Actions, Equivariant KK-theory, and the Baum-Connes Conjecture

abstract: In this article we give a characterisation of the Baum-Connes assembly map with coefficients. The technical tools needed are the K-theory of C*-categories, and equivariant KK-theory in the world of groupoids.


title: The groups of Richard Thompson and complexity

abstract: We prove new results about the remarkable infinite simple groups introduced by Richard Thompson in the 1960s. We define the groups as partial transformation groups and we give a faithful representation in the Cuntz C*-algebra. For the finitely presented simple group T_fin (also known as V) we show that the word-length and the table size satisfy an n log n relation, just like the symmetric groups. We show that the word problem of T_fin belongs to the parallel complexity class AC^1 (a subclass of plynomial time). We show that the generalized word problem of T_fin is undecidable. We study the distortion functions of T_fin and we show that T_fin contains all finite direct products of finitely generated free groups as subgroups with linear distortion. As a consequence, up to polynomial equivalence of functions, the following three sets are the same: the set of distortions of T_fin, the set of all Dehn functions of finitely presented groups, and the set of time complexity functions of nondeterministic Turing machines.


title: Existence de filtrations admissibles sur des isocristaux

abstract: Let (D,phi) be an isocrystal over an algebraically closed field of characteristic p. Let F^bullet be a filtration on D. If F^bullet is (weakly) admissible, its type vector is greater or equal to the slope vector of (D,phi). We prove that conversely, give a type mu greater or equal to the slope vector of (D,phi), there exists an admissible filtration F^bullet on D of type vector equal to mu. We also give a group theoretic version of this statement and relate it to the existence of lattices M in D with mu(M)=mu.


title: A connection between orthogonal polynomials on the unit circle and matrix orthogonal polynomials on the real line

abstract: Szego's procedure to connect orthogonal polynomials on the unit circle and orthogonal polynomials on [-1,1] is generalized to nonsymmetric measures. It generates the so-called semi-orthogonal functions on the linear space of Laurent polynomials L, and leads to a new orthogonality structure in the module LxL. This structure can be interpreted in terms of a 2x2 matrix measure on [-1,1], and semi-orthogonal functions provide the corresponding sequence of orthogonal matrix polynomials. This gives a connection between orthogonal polynomials on the unit circle and certain classes of matrix orthogonal polynomials on [-1,1]. As an application, the strong asymptotics of these matrix orthogonal polynomials is derived, obtaining an explicit expression for the corresponding Szego's matrix function.


title: Reflection Equation, Twist, and Equivariant Quantization

abstract: We prove that the reflection equation (RE) algebra $\La_R$ associated with a finite dimensional representation of a quasitriangular Hopf algebra $\Ha$ is twist-equivalent to the corresponding Faddeev-Reshetikhin-Takhtajan (FRT) algebra. We show that $\La_R$ is a module algebra over the twisted tensor square \twist{$\Ha$}{$\Ha$} and the double $\D(\Ha)$. We define FRT- and RE-type algebras and apply them to the problem of equivariant quantization on Lie groups and matrix spaces.


title: Characters of $\U_q\bigl(gl(n)\bigr)$-reflection equation algebra

abstract: We list characters (one-dimensional representations) of the reflection equation algebra associated with the fundamental vector representation of the Drinfeld-Jimbo quantum group $\U_q\bigl(gl(n)\bigr)$.


title: Subvarieties of general type on a general projective hypersurface

abstract: We study subvarieties of a general projective degree $d$ hypersurface $X_d\subset \mathbf P^n$. Our main theorem, which improves previous results of L. Ein and C. Voisin, implies in particular the following sharp corollary: any subvariety of a general hypersurface $X_{d}\subset {\mathbf P}^n$, for $n\geq 6$ and $d\geq 2n-2$, is of general type.


title: Method of quantum characters in equivariant quantization

abstract: Let $G$ be a reductive Lie group, $\g$ its Lie algebra, and $M$ a $G$-manifold. Suppose $\A_h(M)$ is a $\U_h(\g)$-equivariant quantization of the function algebra $\A(M)$ on $M$. We develop a method of building $\U_h(\g)$-equivariant quantization on $G$-orbits in $M$ as quotients of $\A_h(M)$. We are concerned with those quantizations that may be simultaneously represented as subalgebras in $\U^*_h(\g)$ and quotients of $\A_h(M)$. It turns out that they are in one-to-one correspondence with characters of the algebra $\A_h(M)$. We specialize our approach to the situation $\g=gl(n,\C)$, $M=\End(\C^n)$, and $\A_h(M)$ the so-called reflection equation algebra associated with the representation of $\U_h(\g)$ on $\C^n$. For this particular case, we present in an explicit form all possible quantizations of this type; they cover symmetric and bisymmetric orbits. We build a two-parameter deformation family and obtain, as a limit case, the $\U(\g)$-equivariant quantization of the Kirillov-Kostant-Souriau bracket on symmetric orbits.


title: Measures and semi-orthogonal functions on the unit circle

abstract: The zeros of semi-orthogonal functions with respect to a probability measure mu supported on the unit circle can be applied to obtain Szego quadrature formulas. The discrete measures generated by these formulas weakly converge to the orthogonality measure mu. In this paper we construct families of semi-orthogonal functions with interlacing zeros, and give a representation of the support of mu in terms of the asymptotic distribution of such zeros.


title: Five-diagonal matrices and zeros of orthogonal polynomials on the unit circle

abstract: It is shown that monic orthogonal polynomials on the unit circle are the characteristic polynomials of certain five-diagonal matrices depending on the Schur parameters. This result is achieved through the study of orthogonal Laurent polynomials on the unit circle. More precisely, it is a consequence of the five term recurrence relation obtained for these orthogonal Laurent polynomials, and the one to one correspondence established between them and the orthogonal polynomials on the unit circle. As an application, some results relating the behavior of the zeros of orthogonal polynomials and the location of Schur parameters are obtained.