title: Instantons on cylindrical manifolds and stable bundles

abstract: Let Sigma be a smooth complex curve, and let S be the product ruled surface Sigma \times CP^1. We prove a correspondence conjectured by Donaldson between finite energy U(2)-instantons over the cylinder Sigma \times S^1 \times R, and rank 2 holomorphic bundles over S whose restrictions to the divisors at infinity are stable.


title: Equations of Parametric Surfaces via Syzygies

abstract: The revised version has two additional references and a shorter proof of Proposition 5.7. This version also makes numerous small changes and has an appendix containing a proof of the degree formula for a parametrized surface.


title: RC-graphs and a generalized Littlewood-Richardson rule

abstract: Using a generalization of the Schensted insertion algorithm to rc-graphs, we provide a Littlewood-Richardson rule for multiplying certain Schubert polynomials by Schur polynomials.


title: A proof of Pieri's formula using the generalized Schensted insertion algorithm for rc-graphs

abstract: We provide a generalization of the Schensted insertion algorithm for rc-graphs of Bergeron and Billey. The new algorithm is used to give a new proof of Pieri's formula.


title: Minimizers of the Lawrence-Doniach energy in the small-coupling limit: finite width samples in a parallel field

abstract: In this paper we study the Lawrence-Doniach model for layered superconductors, for a sample with finite width subjected to a magnetic field parallel to the superconducting layers. We provide a rigorous analysis of the energy minimizers in the limit as the coupling between adjacent superconducting layers tends to zero. We identify a unique global minimizer of the Gibbs free energy in this regime ("vortex planes"), and reveal a sequence of first-order phase transitions by which Josephson vortices are nucleated via the boundary. The small coupling limit is studied via degenerate perturbation theory based on a Lyapunov-Schmidt decomposition which reduces the Lawrence-Doniach system to a finite-dimensional variational problem. Finally, a lower bound on the radius of validity of the perturbation expansion (in terms of various parameters appearing in the model) is obtained.


title: Periodic vortex lattices for the Lawrence-Doniach model of layered superconductors in a parallel field

abstract: We consider the Lawrence-Doniach model for layered superconductors, in which stacks of parallel superconducting planes are coupled via the Josephson effect. We assume that the superconductor is placed in an external magnetic field oriented parallel to the superconducting planes and study periodic lattice configurations in the limit as the Josephson coupling parameter r tends to zero. This limit leads to the "transparent state" discussed in the physics literature, which is observed in very anisotropic high-temperature superconductors at sufficiently high applied fields and below a critical temperature. We use a Lyapunov-Schmidt reduction to prove that energy minimization uniquely determines the geometry of the optimal vortex lattice: a period-2 (in the layers) array proposed by Bulaevskii & Clem. Finally, we discuss the apparent conflict with previous results for finite-width samples, in which the minimizer in the small coupling regime takes the form of "vortex planes" (introduced by Theodorakis and Kuplevakhsky.)


title: Gauge Theory Techniques in Quantum Cohomology

abstract: Quantum cohomology gives a finite dimensional integrable system via the Dubrovin connection. Motivated by Givental's work on mirror symmetry, we use gauge theory techniques and the Frobenius Integrability Theorem to find flat sections for the Dubrovin connection. An explicit calculation is given for projective space.


title: Deformation theory of singular symplectic n-folds

abstract: The notion of a holomorphically symplectic manifold can be generalized to the singular one. This paper studies the birational contraction maps between symplectic varieties, and then describes the deformation of a symplectic variety which has a symplectic resolution. Some examples are also included.


title: Extension of 2-forms and symplectic varieties

abstract: This paper deals with symplectic varieties which do not have symplectic resolutions. Some moduli spaces of semi-stable torsion-free sheaves on a K3 surface, and symplectic V-manifolds are such varieties. We shall prove local Torelli theorem for symplectic varieties. Some results on symplectic singularities are also included.


title: Modular frames for Hilbert C*-modules and symmetric approximation of frames

abstract: We give a comprehensive introduction to a general modular frame construction in Hilbert C*-modules and to related modular operators on them. The Hilbert space situation appears as a special case. The reported investigations rely on the idea of geometric dilation to standard Hilbert C*-modulesover unital C*-algebras that admit an orthonormal Riesz basis. Interrelations and applications to classical linear frame theory are indicated. As an application we describe the nature of families of operators {S_i} such that SUM_i S*_iS_i=id_H, where H is a Hilbert space. Resorting to frames in Hilbert spaces we discuss some measures for pairs of frames to be close to one another. Most of the measures are expressed in terms of norm-distances of different kinds of frame operators. In particular, the existence and uniqueness of the closest (normalized) tight frame to a given frame is investigated. For Riesz bases with certain restrictions the set of closetst tight frames often contains a multiple of its symmetric orthogonalization (i.e. L\"owdin orthogonalization).


title: Monoidal structure of the category of u$_q^+$-modules

abstract: We study the finite dimensional modules on the half-quantum group u_q^+ at a root of unity q, whose action can be extended to u_q (quotient of the quantized enveloping algebra of sl_2). We derive decomposition formulas of the tensor product of indecomposable u_q^+-modules, which includes the cases of the universal and the quantized universal enveloping algebra of sl_2 for q not a root of unity. We also prove that simple modules on u_q correspond exactly to the extendable non projective u_q^+-modules. We thus establish decomposition formulas for the tensor product of simple u_q-modules.


title: Lifting Grobner bases from the exterior algebra

abstract: In the article "Non-commutative Grobner bases for commutative algebras", Eisenbud-Peeva-Sturmfels proved a number of results regarding Grobner bases and initial ideals of those ideals in the free associative algebra which contain the commutator ideal. We prove similar results for ideals which contains the anti-commutator ideal (the defining ideal of the exterior algebra). We define one notion of generic initial ideals in the free assoicative algebra, and show that gin's of ideals containing the commutator ideal, or the anti-commutator ideal, are finitely generated.


title: A backward Monte-Carlo method for solving parabolic partial differential equations

abstract: A new Monte-Carlo method for solving linear parabolic partial differential equations is presented. Since, in this new scheme, the particles are followed backward in time, it provides great flexibility in choosing critical points in phase-space at which to concentrate the launching of particles and thereby minimizing the statistical noise of the sought solution. The trajectory of a particle, Xi(t), is given by the numerical solution to the stochastic differential equation naturally associated with the parabolic equation. The weight of a particle is given by the initial condition of the parabolic equation at the point Xi(0). Another unique advantage of this new Monte-Carlo method is that it produces a smooth solution, i.e. without delta-functions, by summing up the weights according to the Feynman-Kac formula.


title: Mixed Non-Euclidean Geometries

abstract: The goal of this paper is to experiment new math concepts and theories, especially if they run counter to the classical ones. To prove that contradiction is not a catastrophe, and to learn to handle it in an (un)usual way. To transform the apparently unscientific ideas into scientific ones, and to develop their study (The Theory of Imperfections). And finally, to interconnect opposite (and not only) human fields of knowledge into as-heterogeneous-as-possible other fields.


title: Linguistic Paradoxes and Tautologies

abstract: Classes of linguistic paradoxes and linguistic tautologies are introduced with examples and explanations. They are part of the author's work on the Paradoxist Philosophy based on mathematical logic. The general cases exposed below are modeled on the English language structure in a rigid way. In order to find nice particular examples of such paradoxes and tautologies one grammatically adjusts the sentences.


title: Subgroups of the group of self-homotopy equivalences

abstract: Denote by E(Y) the group of homotopy classes of self-homotopy equivalences of a finite-dimensional complex Y. We give a selection of results about certain subgroups of E(Y). We establish a connection between the Gottlieb groups of Y and the subgroup of E(Y) consisting of homotopy classes of self-homotopy equivalences that fix homotopy groups through the dimension of Y, denoted by E_#(Y). We give an upper bound for the solvability class of E_#(Y) in terms of a cone decomposition of Y. We dualize the latter result to obtain an upper bound for the solvability class of the subgroup of E(Y) consisting of homotopy classes of self-homotopy equivalences that fix cohomology groups with various coefficients. We also show that with integer coefficients, the latter group is nilpotent.


title: Dual Entropy in Discrete Groups with Amenable Actions

abstract: We introduce a notion of entropy for automorphisms of discrete groups which admit amenable actions on a compact space. This entropy is dual to classical topological entropy in the sense that if G is discrete and abelian then our notion of entropy agrees with the topological entropy of the induced automorphism on the (compact) dual group of G. We prove a number of basic properties of this dual entropy and give a few calculations. In particular, we are able to give precise calculations for arbitrary automorphisms of crystallographic groups.


title: On the Definition of Word Hyperbolic Groups

abstract: Formal languages based on the multiplication tables of finitely generated groups are investigated and used to give a linguistic characterization of word hyperbolic groups.


title: Variations on a conjecture of Halperin

abstract: Halperin has conjectured that the Serre spectral sequence of any fibration that has fibre space a certain kind of elliptic space should collapse at the E_2-term. In this paper we obtain an equivalent phrasing of this conjecture, in terms of formality relations between base and total spaces in such a fibration (Theorem 3.4). Also, we obtain results on relations between various numericalinvariants of the base, total and fibre spaces in these fibrations. Some of our results give weak versions of Halperin's conjecture (Remark 4.4 and Corollary 4.5). We go on to establish some of these weakened forms of the conjecture (Theorem 4.7). In the last section, we discuss extensions of our results and suggest some possibilities for future work.


title: A Set of Sequences in Number Theory

abstract: 74 new integer sequences are introduced in number theory, and for each of them is given a characterization, followed by open problems. each one a general question: how many primes each sequence has.


title: Rational obstruction theory and rational homotopy sets

abstract: We develop an obstruction theory for homotopy of homomorphisms f,g : M -> N between minimal differential graded algebras. We assume that M = Lambda V has an obstruction decomposition given by V = V_0 oplus V_1 and that f and g are homotopic on Lambda V_0. An obstruction is then obtained as a vector space homomorphism V_1 -> H^*(N). We investigate the relationship between the condition that f and g are homotopic and the condition that the obstruction is zero. The obstruction theory is then applied to study the set of homotopy classes [M, N]. This enables us to give a fairly complete answer to a conjecture of Copeland-Shar on the size of the homotopy set [A,B] when A and B are rational spaces. In addition, we give examples of minimal algebras (and hence of rational spaces) that have few homotopy classes of self-maps.


title: Topology of the iso-spectral real manifolds associated with the generalized Toda lattices on semisimple Lie algebras

abstract: This paper concerns the topology of isospectral real manifolds of certain Jacobi elements associated with real split semisimple Lie algebras. The manifolds are related to the compactified level sets of the generalized (nonperiodic) Toda lattice equations defined on the semisimple Lie algebras. We then give a cellular decomposition and the associated chain complex of the manifold by introducing colored Dynkin diagrams which parametrize the cells in the decomposition. We also discuss the Morse chain complex of the manifold.


title: Two characterizations of the standard unit vector basis of $l_1$

abstract: We show that for a sequence in a Banach space, the property of being stable under large perturbations characterizes the property of being equivalent to the unit vector basis of $l_1$. We show that a normalized unconditional basic sequence in $l_1$ that is semi-normalized in $l_\infty$ is equivalent to the standard unit vector basis of~$l_1$.


title: Singularities and the wave equation on conic spaces

abstract: Let $X$ be a manifold with boundary, endowed with a metric with conic singularities at the boundary components of $X$. Let $u$ be a solution to the wave equation on $\mathbb{R} \times X$. When a singularity of $u$ strikes a cone point of $X$, it undergoes a mixture of diffractive spreading and geometric propagation.


title: Algorithms for the Toric Hilbert Scheme

abstract: The toric Hilbert scheme parametrizes all algebras isomorphic to a given semigroup algebra as a multigraded vectorspace. All components of the scheme are toric varieties, and among them, there is a fairly well understood coherent component. However, it is unknown whether toric Hilbert schemes are always connected. In this chapter we illustrate the use of Macaulay 2 for exploring the structure of toric Hilbert schemes. In the process we will encounter algorithms from commutative algebra, algebraic geometry, polyhedral theory and geometric combinatorics.


title: On the uniqueness conjecture for Markoff triples

abstract: This paper has been withdrawn by author due to an error in the proof.


title: Numerology

abstract: One presents many Concatenated and Operation Sequences, P-Q Relationships, Digital Sequences, Magic Squares, Prime Conjectures, k-Divisibility and Strong Divisibility Sequences, Geometric Conjectures, Proposed problems.


title: Funny Problems!

abstract: Thirty original and collected problems, puzzles, and paradoxes in mathematics and physics are explained in this paper, taught by the author to the elementary and high school teachers at the University of New Mexico - Gallup in 1997-8 and afterwards. They have more an educational interest, because make the students think different! For each "solution" a funny logic is invented in order to give the problem a sense.


title: Integer Algorithms to Solver Diophantine Linear Equations and Systems

abstract: The present work includes some of the author's original researches on integer solutions of Diophantine liner equations and systems. The notion of "general integer solution" of a Diophantine linear equation with two unknowns is extended to Diophantine linear equations with $n$ unknowns and then to Diophantine linear systems. The proprieties of the general integer solution are determined (both for a Diophantine linear equation and for a Diophantine linear system). Seven original integer algorithms (two for Diophantine linear equations, and five for Diophantine linear systems) are exposed. The algorithms are strictly proved and an example for each of them is given. These algorithms can be easily implemented on the computer.


title: Integrable Lattices: Random Matrices and Random Permutations

abstract: These lectures present a survey of recent developments in the area of random matrices (finite and infinite) and random permutations. These probabilistic problems suggest matrix integrals (or Fredholm determinants), which arise very naturally as integrals over the tangent space to symmetric spaces, as integrals over groups and finally as integrals over symmetric spaces. An important part of these lectures is devoted to showing that these matrix integrals, upon apropriately adding time-parameters, are natural tau-functions for integrable lattices, like the Toda, Pfaff and Toeplitz lattices, but also for integrable PDE's, like the KdV equation. These matrix integrals or Fredholm determinants also satisfy Virasoro constraints, which combined with the integrable equations lead to (partial) differential equations for the original probabilities.

categories: math.CO cond-mat math-ph math.MP math.PR nlin.SI


title: Quasi-actions on trees I. Bounded valence

abstract: Given a bounded valence, bushy tree T, we prove that any cobounded quasi-action of a group G on T is quasiconjugate to an action of G on another bounded valence, bushy tree T'. This theorem has many applications: quasi-isometric rigidity for fundamental groups of finite, bushy graphs of coarse PD(n) groups for each fixed n; a generalization to actions on Cantor sets of Sullivan's Theorem about uniformly quasiconformal actions on the 2-sphere; and a characterization of locally compact topological groups which contain a virtually free group as a cocompact lattice. Finally, we give the first examples of two finitely generated groups which are quasi-isometric and yet which cannot act on the same proper geodesic metric space, properly discontinuously and cocompactly by isometries.


title: Another Set of Sequences, Sub-Sequences, and Sequences of Sequences

abstract: In this paper 101 new integer sequences, sub-sequences, and sequences of sequences, together with related unsolved problems and conjectures, are presented. Also, definitions, examples, solved or open questions, and references for each sequence are given.


title: Tight contact structures and taut foliations

abstract: We show the equivalence of several notions in the theory of taut foliations and the theory of tight contact structures. We prove equivalence, in certain cases, of existence of tight contact structures and taut foliations.


title: Finite von Neumann algebra factors with property Gamma

abstract: Techniques introduced by G. Pisier in his proof that finite von Neumann factors with property gamma have length at most 5 are modified to prove that the length is 3. It is proved that if such a factor is a complemented subspace of some larger C*-algebra then there exists a projection of norm one from the larger onto the smaller algebra. A new proof of the fact that the second continuous Hochschild cohomology group of such an algebra with coefficients in the algebra vanishes, is also included.


title: Relations of multiple zeta values and their algebraic expression

abstract: We establish a new class of relations among the multiple zeta values \zeta(k_1,k_2,...,k_n), which we call the cyclic sum identities. These identities have an elementary proof, and imply the "sum theorem" for multiple zeta values. They also have a succinct statement in terms of "cyclic derivations" as introduced by Rota, Sagan and Stein. In addition, we discuss the expression of other relations of multiple zeta values via the shuffle and "harmonic" products on the underlying vector space H of the noncommutative polynomial ring Q<x,y>, and also using an action on Q<x,y> of the Hopf algebra of quasi-symmetric functions.


title: Van Kampen's embedding obstruction for discrete groups

abstract: We give a lower bound to the dimension of a contractible manifold on which a given group can act properly discontinuously. In particular, we show that the $n$-fold product of nonabelian free groups cannot act properly discontinuously on $\R^{2n-1}$.


title: The Jacobson radical for analytic crossed products

abstract: We characterise the (Jacobson) radical of the analytic crossed product of C_0(X) by the non-negative integers (Z_+), answering a question first raised by Arveson and Josephson in 1969. In fact, we characterise the radical of analytic crossed products of C_0(X) by (Z_+)^d. The radical consists of all elements whose `Fourier coefficients' vanish on the recurrent points of the dynamical system (and the first one is zero). The multi-dimensional version requires a variation of the notion of recurrence, taking into account the various degrees of freedom.


title: Thirty-Six Unsolved Problems in Number Theory

abstract: Partially or totally unsolved questions in number theory and geometry especially, such as coloration problems, elementary geometric conjectures, partitions, generalized periods of a number, length of a generalized period, arithmetic and geometric progressions are exposed.


title: A geometric proof of the existence of Whitney stratifications

abstract: A stratification of a singular set, e.g. an algebraic or analytic variety, is, roughly, a partition of it into manifolds so that these manifolds fit together "regularly". A classical theorem of Whitney says that any complex analytic set has a stratification. This result was extended by Lojasiewicz to real (semi)analytic sets. In this paper we present a short geometric proof of existence of stratifications based on Thom's transversality theorem and Milnor's curve selection lemma and not relying on difficult results of Lojasiewicz.


title: Diophantine properties of elements of SO(3)

abstract: A number alpha in R is diophantine if it is not well approximable by rationals, i.e. for some C, nu>0 and any relatively prime p, q in Z we have |alpha q -p|>C q^{-1-\vu}. It is well-known and easy to prove that almost every alpha in R is diophantine. In this paper we address a noncommutative version of the question about diophantine properties. Consider a pair A,B in SO(3) and for each n in Z_+ take all possible words in A, A^{-1}, B, and B^{-1} of length n, i.e. for a multiindex I=(i_1,j_1,..., i_s,j_s) put |I|=\sum_{k=1}^s (|i_k|+|j_k|) and W_{A,B}(n)={W_{I}(A,B)= A^{i_1}B^{j_1}... A^{i_s}B^{j_s}}_{|I|=n}. Gamburd-Jakobson-Sarnak raised the problem: prove that for Haar almost every pair A, B in SO(3) the closest distance of the word of length n to the identity, i.e. s_{A,B}(n)=min_{|I|=n} |W_{I}(A,B)-Id|, is bounded from below by an exponential function in n. This is an analog of diophantine property for elements of SO(3). In this paper we make first step toward understanding diophantine properties of SO(3). We prove that s_{A,B}(n) is bounded from below by an exponential function in n^2. We also exhibit obstructions to prove a simple exponential in n estimate.


title: Useful branched surfaces which carry nothing

abstract: There are examples of branched surfaces that do not fully carry laminations, but their preimage in a finite cover does fully carry a lamination


title: Chains of Frobenius subalgebras of so(M) and the corresponding twists

abstract: Chains of extended jordanian twists are studied for the universal enveloping algebras U(so(M)). The carrier subalgebra of a canonical chain F cannot cover the maximal nilpotent subalgebra N(so(M)). We demonstrate that there exist other types of Frobenius subalgebras in so(M) that can be large enough to include N(so(M)). The problem is that the canonical chains F do not preserve the primitivity on these new carrier spaces. We show that this difficulty can be overcome and the primitivity can be restored if one changes the basis and passes to the deformed carrier spaces. Finally the twisting elements for the new Frobenius subalgebras are explicitly constructed. This gives rise to a new family of universal R-matrices for orthogonal algebras. For a special case of g = so(5) and its defining representation we present the corresponding matrix solution of the Yang-Baxter equation.


title: p^q-Catalan Numbers and Squarefree Binomial Coefficients

abstract: In this paper we consider the generalized Catalan numbers F(s,n)= 1/((s-1)n+1) binom{sn}{n}. We find all $n$ such that for $p$ prime, p^q divides F(p^q,n), q>=1. As a byproduct we settle a question of Hough and the late Simion on the divisibility of the 4-Catalan numbers. We also prove that \binom{p^qn+1}{n}, p^q<=99999, is squarefree for n sufficiently large (explicit), and with the help of the generalized Catalan numbers we find the set of possible exceptions. As consequences, we obtain that binom{4n+1}{n}, binom{9n+1}{n} are squarefree for n> 2^{1518}, respectively n>3^{956}, with at most 2^{18.2}, respectively 3^{15.3} possible exceptions.


title: Generating Functions, Weighted and Non-Weighted Sums for Powers of Second-Order Recurrence Sequences

abstract: In this paper we find closed form for the generating function of powers of any non-degenerate second-order recurrence sequence, completing a study begun by Carlitz and Riordan in 1962. Moreover, we generalize a theorem of Horadam on partial sums involving such sequences. Also, we find closed forms for weighted (by binomial coefficients) partial sums of powers of any non-degenerate second-order recurrence sequences. As corollaries we give some known and seemingly unknown identities and derive some very interesting congruence relations involving Fibonacci and Lucas sequences.


title: Analysis of a Disease Transmission Model with two Groups of Infectives

abstract: In this paper, we give a complete analysis of an SIS epidemiological model in a population of varying size with two dissimilar groups of infective individuals. It is mainly based on the discussion of the existence and stability of equilibria of the proportions system and the result is in terms of a threshold parameter which governs the stability of the disease free equilibrium.


title: G Add-On, Digital, Sieve, General Periodical, and Non-Arithmetic Sequences

abstract: In this paper a small survey is presented on fourteen sequences, such as: G Add-on Sequences, Sieve Sequences, Digital Sequences, Non-Arithmetic Progressions, recreational sequences (Lucky Method/Operation/Algorithm/Differentiation/Integration etc.), General Periodical Sequences, and numerical functions.


title: Considerations on New Functions in Number Theory

abstract: In this paper a small survey is presented on eighteen new functions and four new sequences, such as: Inferior/Superior f-Part, Fractional f-Part, Complementary function with respect with another function, S-Multiplicative, Primitive Function, Double Factorial Function, S-Prime and S-Coprime Functions, Smallest Power Function.


title: A New Cyclic Module for Hopf Algebras

abstract: We define a new cyclic module, dual to the Connes-Moscovici cyclic module, for Hopf algebras, and give a characteristric map for the coaction of Hopf algebras. We also compute the resulting cyclic homology for cocommutative Hopf algebras, and some quantum groups.


title: Positive knots and knots with braid index three have property_p

abstract: We prove that positive knots and knots with braid index three in the 3-sphere satisfy the Property P conjecture.


title: The $H^{\infty}-$calculus and sums of closed operators

abstract: We develop a very general operator-valued functional calculus for operators with an $H^{\infty}-$calculus. We then apply this to the joint functional calculus of two commuting sectorial operators when one has an $H^{\infty}$calculus. Using this we prove theorem of Dore-Venni type on sums of commuting sectorial operators and apply our results to the problem of $L_p-$maximal regularity. Our main assumption is the R-boundedness of certain sets of operators, and therefore methods from the geometry of Banach spaces are essential here. In the final section we exploit the special Banach space structure of $L_1-$spaces and $C(K)-$spaces, to obtain some more detailed results in this setting.


title: $L^p-$maximal regularity on Banach spaces with a Schauder basis

abstract: We investigate the problem of $L^p$-maximal regularity on Banach spaces having a Schauder basis. Our results improve those of a recent paper.


title: Semi-infinite Hodge structures and mirror symmetry for projective spaces

abstract: We express total set of rational Gromov-Witten invariants of projective spaces via periods of variations of semi-infinite Hodge structure associated with their mirror partners.


title: A Generalized Numeration Base

abstract: A Generalized Numeration Base is defined in this paper, and then particular cases are presented, such as Prime Base, Square Base, m-Power Base, Factorial Base, and operations in these bases. These bases are important for partitions of integers into primes, squares, cubes, generally into m-powers, also into factorials, and into any strictly increasing sequence.


title: The Based Ring of Two-Sided Cells of Affine Weyl Groups of Type $\tilde A_{n-1}$

abstract: In this paper we prove Lusztig's conjecture on based ring for an affine Weyl group of type $\tilde A_{n-1}$.


title: One Form of Successive Approximation Method and Choice Problem

abstract: A mathematical model of Subject behaviour choice is proposed. The background of the model is the concept of two preference relations determining Subject behaviour. These are an "internal" or subjective preference relation and an "external" or objective preference relation. The first (internal) preference relation is defined by some partial order on a set of states of the Subject. The second (external) preference relation on the state set is defined by a mapping from the state set to another partially ordered set. The mapping will be called evaluation mapping (function). We research the process of external preference maximization in a fashion that uses the external preference as little as possible. On the contrary, Subject may use the internal preference without any restriction. The complexity of a maximization procedure depends on the disagreement between these preferences. To solve the problem we apply some kind of the successive approximations methods. In terms of evaluation mappings this method operates on a decomposition of the mapping into a superposition of several standard operations and "easy" mappings (see the details below). Obtained in such way superpositions are called approximating forms. We construct several such forms and present two applications. One of them is concerned with a hypothetic origin of logic. The other application provides a new interpretation of the well known model of human choice by Lefebvre. The interpretation seems to suggest a justification different from the one proposed by Lefebvre himself.


title: Elementary derivations of identities for bilateral basic hypergeometric series

abstract: We give elementary derivations of several classical and some new summation and transformation formulae for bilateral basic hypergeometric series. For purpose of motivation, we review our previous simple proof ("A simple proof of Bailey's very-well-poised 6-psi-6 summation", Proc. Amer. Math. Soc., to appear) of Bailey's very-well-poised 6-psi-6 summation. Using a similar but different method, we now give elementary derivations of some transformations for bilateral basic hypergeometric series. In particular, these include M. Jackson's very-well-poised 8-psi-8 transformation, a very-well-poised 10-psi-10 transformation, by induction, Slater's general transformation for very-well-poised 2r-psi-2r series, and Slater's transformation for general r-psi-r series. Finally, we derive some new transformations for bilateral basic hypergeometric series of Chu-Gasper-Karlsson-Minton-type.


title: A new A_n extension of Ramanujan's 1-psi-1 summation with applications to multilateral A_n series

abstract: In this article, we derive some identities for multilateral basic hypergeometric series associated to the root system A_n. First, we apply Ismail's argument to an A_n q-binomial theorem of Milne and derive a new A_n generalization of Ramanujan's 1-psi-1 summation theorem. From this new A_n 1-psi-1 summation and from an A_n 1-psi-1 summation of Gustafson we deduce two lemmas for deriving simple A_n generalizations of bilateral basic hypergeometric series identities. These lemmas are closely related to the Macdonald identities for A_n. As samples for possible applications of these lemmas, we provide several A_n extensions of Bailey's 2-psi-2 transformations, and several A_n extensions of a particular 2-psi-2 summation.


title: Surfaces with triple points

abstract: In this paper we compute upper bounds for the number of ordinary triple points on a hypersurface in $P^3$ and give a complete classification for degree six (degree four or less is trivial, and five is elementary). But the real purpose is to point out the intricate geometry of examples with many triple points, and how it fits with the general classification of surfaces.


title: Some new behaviour in the deformation theory of Kleinian groups

abstract: We present examples of hyperbolizable 3-manifolds $M$ with the following property. Let $CC(\pi_1(M))$ denote the space of convex co-compact representations of $\pi_1(M)$. We show that for every $K\geq 1$ there exists a representation $\rho$ in $\bar {CC(\pi_1(M))}$ so that every $K$-quasiconformal deformation of $\rho$ lies in the closure of every component of $CC(\pi_1(M))$. The examples $M$ were discovered by Anderson and Canary.


title: The Dimension of the Planar Brownian Frontier is 4/3

abstract: In a series of recent preprints, we have proven that with probability one the Hausdorff dimension on the outer boundary of planar Brownian motion is 4/3, confirming a conjecture by Mandelbrot. It is also shown that the Hausdorff dimension of the set of cut points is a.s. 3/4. The present paper is an expository outline of the arguments involved in the proof of these and related results.


title: A Convex decomposition theorem for four-manifolds

abstract: We show that every smooth closed oriented four-manifold admits a decomposition into two co- dimension zero submanifolds with common boundary. Each of these submanifolds carries a structure of a symplectic manifold with pseudo-convex boundary. This imply, in particular, that every smooth closed simply-connected four-manifold is a Stein domain in the the complement of a certain contractible 2-complex.


title: Line-closed matroids, quadratic algebras, and formal arrangements

abstract: Let $G$ be a matroid on ground set \A. The Orlik-Solomon algebra $A(G)$ is the quotient of the exterior algebra \E on \A by the ideal \I generated by circuit boundaries. The quadratic closure $\bar{A}(G)$ of $A(G)$ is the quotient of \E by the ideal generated by the degree-two component of \I. We introduce the notion of \nbb set in $G$, determined by a linear order on \A, and show that the corresponding monomials are linearly independent in the quadratic closure $\bar{A}(G)$. As a consequence, $A(G)$ is a quadratic algebra only if $G$ is line-closed. An example of S.~Yuzvinsky proves the converse false. These results generalize to the degree $r$ closure of $\A(G)$. The motivation for studying line-closed matroids grew out of the study of formal arrangements. This is a geometric condition necessary for \A to be free and for the complement $M$ of \A to be a $K(\pi,1)$ space. Formality of \A is also necessary for $A(G)$ to be a quadratic algebra. We clarify the relationship between formality, line-closure, and other matroidal conditions related to formality. We give examples to show that line-closure of $G$ is not necessary or sufficient for $M$ to be a $K(\pi,1)$, or for \A to be free.


title: Annihilators of Ideals of Exterior Algebras

abstract: The Orlik-Solomon algebra A of a matroid is isomorphic to the quotient of an exterior algebra E by a defining ideal I. We find an explicit presentation of the annihilator ideal of I or, equivalently, the E-module dual to A. As an application of that we provide a necessary, combinatorial condition for the algebra A to be quadratic. We show that this is stronger than matroid being line-closed thereby resolving (negatively) a conjecture by Falk. We also show that our condition is not sufficient for the quadraticity.


title: The spectral set conjecture and multiplicative properties of roots of polynomials

abstract: We obtain new partial results supporting the spectral set conjecture in dimension 1.


title: q-Bessel-Macdonald functions

abstract: The modified q-Bessel functions and the q-Bessel-Macdonald functions of the first and second kind are introduced. Their definition is based on representations as power series. Recurrence relations, the q-Wronskians, asymptotic decompositions and q-integral representations are received. In addition, the q-Bessel-Macdonald function of kind 3 is determined by its q-integral representation.


title: One-sided invertibility of binomial functional operators with a shift in rearrangement-invariant spaces

abstract: Let $\Gamma$ be an oriented Jordan smooth curve and $\alpha$ be a diffeomorphism of $\Gamma$ onto itself which has an arbitrary nonempty set of periodic points. We prove criteria for one-sided invertiblity of the binomial functional operator \[ A=aI-bW \] where $a$ and $b$ are continuous functions, $I$ is the identity operator, $W$ is the shift operator $Wf=f\circ\alpha$, in a reflexive rearrangement-invariant space $X(\Gamma)$ with Boyd indices $\alpha_X,\beta_X$ and Zippin indices $p_X,q_X$ satisfying inequalities \[ 0<\alpha_X=p_X\le q_X=q_X<1. \]


title: Higher-dimensional BF theories in the Batalin-Vilkovisky formalism: The BV action and generalized Wilson loops

abstract: This paper analyzes in details the Batalin-Vilkovisky quantization procedure for BF theories on n-dimensional manifolds and describes a suitable superformalism to deal with the master equation and the search of observables. In particular, generalized Wilson loops for BF theories with additional polynomial B-interactions are discussed in any dimensions. The paper also contains the explicit proofs to the Theorems stated in math.QA/0003073.


title: Hot-pressing process modeling for medium density fiberboard (MDF)

abstract: In this paper we present a numerical solution for the mathematical modeling of the hot-pressing process applied to medium density fiberboard. The model is based in the work of Humphrey[82], Humphrey and Bolton[89] and Carvalho and Costa[98], with some modifications and extensions in order to take into account mainly the convective effects on the phase change term and also a conservative numerical treatment of the resulting system of partial differential equations.


title: The Hilbert 16-th problem and an estimate for cyclicity of an elementary polycycle

abstract: Hilbert-Arnold (HA) problem, motivated by Hilbert 16-th problem, is to prove that for a generic k-parameter family of smooth vector fields {\dot x=v(x,\eps)}_{\eps\in B^k} on the 2-dimensional sphere S^2 has uniformly bounded number of limit cycles (isolated periodic solutions), denoted by LC(\eps), over the parameter \eps, i.e. max_{\eps \in B^k} LC(\eps) <= K < \infty for some K. The HA problem can be reduced to so-called Local Hilbert-Arnold (LHA) problem. Suppose that a generic k-parameter family {\dot x=v(x,\eps)}_{\eps \in B^k}, x\in S^2 for some parameter \eps^*\in B^k has a polycycle (separatrix polygon) gamma consisting of equilibrium points as vertices and connecting separatrices as sides. LHA problem is to estimate B(k)--- the maximal number of limit cycles that can be born in a neighbourhood of gamma for a field \dot x=v(x,\eps), where \eps is close to \eps^*.


title: Solution of Belousov's problem

abstract: The authors prove that a local $n$-quasigroup defined by the equation x_{n+1} = F (x_1, ..., x_n) = [f_1 (x_1) + ... + f_n (x_n)]/[x_1 + ... + x_n], where f_i (x_i), i, j = 1, ..., n, are arbitrary functions, is irreducible if and only if any two functions f_i (x_i) and f_j (x_j), i \neq j, are not both linear homogeneous, or these functions are linear homogeneous but f_i (x_i)/x_i \neq f_j (x_j)/x_j. This gives a solution of Belousov's problem to construct examples of irreducible $n$-quasigroups for any n \geq 3.


title: A Classification and Examples of Four-Dimensional Isoclinic Three-Webs

abstract: A classification and examples of four-dimensional isoclinic three-webs of codimension two are given. The examples considered prove the existence theorem for many classes of webs for which the general existence theorems are not proved yet.


title: A Classification and Examples of Four-Dimensional Nonisoclinic Three-Webs


title: Multidimensional (n+1)-Webs with Reduct Reducible Subwebs

abstract: We find three characterizations for a multidimensional (n+1)-web W possessing a reduct reducible subweb: its closed form equations, the integrability of an invariant distribution associated with W, and the relations between the components of its torsion tensor. In the case of codimension one, the latter criterion establishes a relation with solutions of a system of nonlinear second-order PDEs. Some particular cases of this system were considered by Goursat in 1899.


title: Goursat's (n+1)-Webs

abstract: We consider the Goursat's (n+1)-webs of codimension one of two kinds on an n-dimensional manifold. They are characterized by the specific closed form equations or by two special relations between components of the torsion tensor of the web. These relations allow us to establish a connection with solutions of two systems of nonlinear second-order PDEs investigated by Goursat in 1899. The integrability conditions of some distributions invariantly associated with both kinds of Goursat's (n+1)-webs are also investigated.


title: Intertwining operators and modular invariance

abstract: We extend the modular invariance property of the trace functions of vertex operator algebra on the set of irreducible modules (Zhu's theory) to the case of trace functions of intertwining operators.


title: Symplectic Topology of Integrable Hamiltonian Systems, II: Topological Classification

abstract: The main purpose of this paper is to give a topological and symplectic classification of completely integrable Hamiltonian systems in terms of characteristic classes and other local and global invariants.


title: Fundamental group of sextics of torus type

abstract: We show that the fundamental group of the complement of any irreducible tame torus sextics in $\bf P^2$ is isomorphic to $\bf Z_2*\bf Z_3$ except one class. The exceptional class has the configuration of the singularities $\{C_{3,9},3A_2\}$ and the fundamental group is bigger than $\bf Z_2*\bf Z_3$. In fact, the Alexander polynomial is given by $(t^2-t+1)^2$. For the proof, we first reduce the assertion to maximal curves and then we compute the fundamental groups for maximal tame torus curves.


title: Cocycle conjugacy of quasifree endomorphisms semigroups on the CAR algebra

abstract: W. Arveson has described a cocycle conjugacy class $U(\alpha)$ of $E_0$-semigroup $\alpha$ on B(H) which is a factor of type $\rm I$. Under some conditions on $\alpha$, there is a $E_0$-semigroup $\beta \in U(\alpha)$ being a flow of shifts in the sence of R.T. Powers. We study quasifree endomorphisms semigroups $\alpha$ on the hyperfinite factor $M=\pi (A(K))''$ generated by the representations $\pi$ of the algebra of canonical anticommutation relations A(K) over a separable Hilbert space K. The type of M can be $\rm I$, $\rm II$ or $\rm III$ depending on $\pi$. The cocycle conjugacy class $U(\alpha)$ is described in the terms of initial isometrical semigroups in K and an analogue of the Arveson result for the hyperfinite factors M of the type $\rm II_1$ and $\rm III_{\lambda}, 0<\lambda <1,$ is introduced.


title: Geometrization of 3-dimensional orbifolds

abstract: The purpose of this article is to give a proof of the Orbifold Theorem announced by Thurston in late 1981: If $O$ is a compact, connected, orientable, irreducible and topologically atoroidal 3-orbifold with non-empty ramification locus, then $O$ is geometric. As a corollary, any smooth orientation preserving non-free finite group action on $S^3$ is conjugate to an orthogonal action.


title: Geometrization of 3-dimensional orbifolds, Part I: Geometry of cone manifolds

abstract: This paper has been withdrawn, because its material has been revised and became part of paper math.GT/0010184


title: Matrix Powers of Column-Justified Pascal Triangles and Fibonacci Sequences

abstract: If L, respectively R are matrices with entries binom{i-1,j-1}, respectively binom{i-1,n-j}, it is known that L^2 = I (mod 2), respectively R^3 = I (mod 2), where I is the identity matrix of dimension n > 1 (see P10735-May 1999 issue of the American Mathematical Monthly). We generalize it for any prime p, and give a beautiful connection to Fibonacci numbers.


title: A new six dimensional irreducible symplectic variety

abstract: By results of the author there exists a projective (holomorphic) symplectic desingularization of the moduli space of rank-two torsion-free sheaves on a genus-two Jacobian with $c_1=0$ and $c_2=2$. This desingularization has a natural map to the self-product of the Jacobian. We show that the fiber over $(0,0)$ is a 6-dimensional projective irreducible symplectic variety (and hence a 12-dimensional compact Hyperkahler manifold) with second Betti number equal to 8. Thus it is not deformation equivalent to any of the (few) known examples of irreducible symplectic varieties, even up to birational equivalence.


title: Metriques autoduales sur la boule

abstract: A conformal metric on a 4-ball induces on the boundary 3-sphere a conformal metric and a trace-free second fundamental form. Conversely, such a data on the 3-sphere is the boundary of a unique selfdual conformal metric, defined in a neighborhood of the sphere. In this paper we characterize the conformal metrics and trace-free second fundamental forms on the 3-sphere (close to the standard round metric) which are boundaries of selfdual conformal metrics on the whole 4-ball. When the data on the boundary is reduced to a conformal metric (the trace-free part of the second fundamental form vanishes), one may hope to find in the conformal class of the filling metric an Einstein metric, with a pole of order 2 on the boundary. We determine which conformal metrics on the 3-sphere are boundaries of such selfdual Einstein metrics on the 4-ball. In particular, this implies the Positive Frequency Conjecture of LeBrun. The proof uses twistor theory, which enables to translate the problem in terms of complex analysis; this leads us to prove a criterion for certain integrable CR structures of signature (1,1) to be fillable by a complex domain. Finally, we solve an analogous, higher dimensional problem: selfdual Einstein metrics are replaced by quaternionic-Kahler metrics, and conformal structures on the boundary by quaternionic contact structures (previously introduced by the author); in contrast with the 4-dimensional case, we prove that any small deformation of the standard quaternionic contact structure on the (4m-1)-sphere is the boundary of a quaternionic-Kahler metric on the 4m-ball.


title: Frames in Hilbert C*-modules and C*-algebras

abstract: We present a general approach to a modular frame theory in C*-algebras and Hilbert C*-modules. The investigations rely on the idea of geometric dilation to standard Hilbert C*-modules over unital C*-algebras that possess orthonormal Hilbert bases, and of reconstruction of the frames by projections and by other bounded modular operators with suitable ranges. We obtain frame representations and decomposition theorems, as well as similarity and equivalence results for frames. Hilbert space frames and quasi-bases for conditional expectations of finite index on C*-algebras appear as special cases. Using a canonical categorical equivalence of Hilbert C*-modules over commutative C*-algebras and (F)Hilbert bundles the results find a reintepretation for frames in vector and (F)Hilbert bundles. Fields of applications are investigations on Cuntz-Krieger-Pimsner algebras, on conditional expectations of finite index, on various ranks of C*-algebras, on classical frame theory of Hilbert spaces (wavelet and Gabor frames), and others. 2001: In the introduction we refer to related publications in detail.


title: On quantization of r-matrices for Belavin-Drinfeld Triples

abstract: We suggest a formula for quantum universal $R$-matrices corresponding to quasitriangular classical $r$-matrices classified by Belavin and Drinfeld for all simple Lie algebras. The $R$-matrices are obtained by twisting the standard universal $R$-matrix.


title: Foliations associated to regular Poisson structures

abstract: A regular Poisson manifold can be described as a foliated space carrying a tangentially symplectic form. Examples of foliations are produced here that are not induced by any Poisson structure although all the basic obstructions vanish.


title: Geometry of Projective Planes over Two-Dimensional Algebras

abstract: The authors study smooth lines on projective planes over the algebra C of complex numbers, the algebra C^1 of double numbers, and the algebra C^0 of dual numbers. In the space RP^5, to these smooth lines there correspond families of straight lines describing point three-dimensional tangentially degenerate submanifolds X^3 of rank 2. The authors study focal properties of these submanifolds and prove that they represent examples of different types of tangentially degenerate submanifolds. Namely, the submanifold X^3, corresponding in RP^5 to a smooth line \gamma of the projective plane C, does not have real singular points, the submanifold X^3, corresponding in RP^5 to a smooth line \gamma of the projective plane C^1 P^2, bears two plane singular lines, and finally the submanifold X^3, corresponding in RP^5 to a smooth line \gamma of the projective plane C^0 P^2, bears one singular line.


title: Symmetry, splitting rational places in extensions of function fields and generalization of the Hermitian function field

abstract: The notion of symmetry in polynomial rings with several indeterminates is generalized to polynomial rings over finite fields. Families of extensions of the projective line over a finite field of constants possessing this property are explicitly constructed. These extensions exhibit complete splitting of all finite rational places. Subcovers of these extensions are also explicitly described. New examples of function fields attaining the Oesterle bounds are obtained. These constructions are compared with class field theoretic constructions achieving similar splitting of rational places. A generalization to the Hermitian function field over fields of non-square cardinality is proposed.


title: Extensions of algebraic function fields with complete splitting of all rational places

abstract: We introduce the notion of "quasi-symmetric" polynomials, which is a generalization of the notion of symmetry, and is particularly suited to the setting of polynomial rings over finite fields. The properties of this new class of functions are studied. It is then shown that quasi-symmetric polynomials are very useful in splitting rational places in extensions of function fields over finite fields and thus may be used in constructing extensions with many rational places.


title: Towers of function fields with extremal properties

abstract: Certain towers of function fields with complete splitting of rational places at each stage are constructed. Also, families oof towers with positive N/g ratios are described.


title: On the Hilbert transform and lacunary directions in the plane

abstract: Let $H_k$ be the one dimensional Hilbert transform computed in the direction $(1,2^k)$ in the plane. We show that the maximal operator $\sup_k |H_kf|$ maps $L^p$ of the plane into itself for $1<p<\infty$. The same result with the Hilbert transform replaced by the one dimensional maximal function was proved by Nagel, Stein and Wainger in 1978.


title: On the existence of polynomial first integrals of quadratic homogeneous systems of ordinary differential equations

abstract: We consider systems of ordinary differential equations with quadratic homogeneous right hand side. We give a new simple proof of a result already obtained in [8,10] which gives the necessary conditions for the existence of polynomial first integrals. The necessary conditions for the existence of a polynomial symmetry field are given. It is proved that an arbitrary homogeneous first integral of a given degree is a linear combination of a fixed set of polynomials.


title: Quantum Jordanian twist

abstract: The quantum deformation of the Jordanian twist F_qJ for the standard quantum Borel algebra U_q(B) is constructed. It gives the family U_qJ(B) of quantum algebras depending on parameters x and h. In a generic point these algebras represent the hybrid (standard-nonstandard) quantization. The quantum Jordanian twist can be applied to the standard quantization of any Kac-Moody algebra. The corresponding classical r-matrix is a linear combination of the Drinfeld- Jimbo and the Jordanian ones. The obtained two-parametric families of Hopf algebras are smooth and for the limit values of the parameters the standard and nonstandard quantizations are recovered. The twisting element F_qJ also has the correlated limits, in particular when q tends to unity it acquires the canonical form of the Jordanian twist. To illustrate the properties of the quantum Jordanian twist we construct the hybrid quantizations for U(sl(2)) and for the corresponding affine algebra U(hat(sl(2))). The universal quantum R-matrix and its defining representation are presented.


title: Scalar curvature estimates for compact symmetric spaces

abstract: We establish extremality of Riemannian metrics g with non-negative curvature operator on symmetric spaces M=G/K of compact type with rk(G)-rk(K)\le 1. Let g' be another metric with scalar curvature k', such that g'\ge g on 2-vectors. We show that k'\ge k everywhere on M implies k'=k. Under an additional condition on the Ricci curvature of g, k'\ge k even implies g'=g. We also study area-non-increasing spin maps onto such Riemannian manifolds.


title: On 2D Euler Equations: Part II. Lax Pairs and Homoclinic Structures

abstract: In Part I of our study on 2D Euler equation, we established the spectral theorem for a linearized 2D Euler equation. We also computed the point spectrum through continued fractions, and identified the eigenvalues with nonzero real parts. In this Part II of our study, first we discuss the Lax pairs for both 2D and 3D Euler equations. The existence of Lax pairs suggests that the hyperbolic foliations of 2D and 3D Euler equations may be degenerate, i.e., there exist homoclinic structures. Then we investigate the question on the degeneracy v.s. nondegeneracy of the hyperbolic foliations for Galerkin truncations of 2D Euler equation. In particular, for a Galerkin truncation, we have computed the explicit representation of the hyperbolic foliation which is of the degenerate case, i.e., figure-eight case. We also study the robustness of this degeneracy for a so-called dashed-line model through higher order Melnikov functions. The first order and second order Melnikov functions are all identically zero, which indicates that the degeneracy is relatively robust. The study in this paper serves a clue in searching for homoclinic structures for 2D Euler equation. The recent breakthrough result of mine on the existence of a Lax pair for 2D Euler equation, strongly supports the possible existence of homoclinic structures for 2D Euler equation.


title: Galois Groups Over Nonrigid Fields

abstract: Let $F$ be a field with characteristic $\neq 2$. We show that $F$ is a nonrigid field if and only if certain small 2-groups occur as Galois groups over $F$. These results provide new "automatic realizability" results for Galois groups over $F$. The groups we consider demonstrate the inequality of two particular metabelian 2-extensions of $F$ which are unequal precisely when $F$ is a nonrigid field. Using known results on connections between rigidity and existence of certain valuations, we obtain Galois-theoretic criteria for the existence of these valuations.


title: Irreducible subfactors of $L(\mathbb F_\infty)$ of index $\lambda>4$

abstract: By utilizing an irreducible inclusion of type III$_{q^{2}} $ factors coming from a free-product type action of the quantum group $ SU_{q}(2) $, we show that the free group factor $ L(\mathbb {F}_{\infty}) $ possesses irreducible subfactors of arbitrary index $ >4 $. Combined with earlier results of Radulescu, this shows that $ L(\mathbb {F}_{\infty}) $ has irreducible subfactors with any index value in $ \{4\cos ^{2}(\pi /n):n\geq 3\}\cup [4,+\infty) $.


title: Holomorphic vector fields and minimal Lagrangian submanifolds

abstract: The purpose of this note is to establish the following theorem: Let N be a Kahler manifold, L be a compact oriented immersed minimal Lagrangian submanifold in N and V be a holomorphic vector field in a neighbourhood of L in N. Let div(V) be the (complex) divergence of V. Then the integral of div(V) over L is 0. Vice versa let N^2n be Kahler-Einstein with non-zero scalar curvature and L^n be a totally real oriented embedded n-dimensional real-analytic submanifold of N s.t. the divergence of any holomorphic vector field defined in a neighbourhood of L in N integrates to 0 on L. Then L is a minimal Lagrangian submanifold of N.


title: Linearity of Artin groups of finite type

abstract: Recent results on the linearity of braid groups are extended in two ways. We generalize the Lawrence Krammer representation as well as Krammer's faithfulness proof for this linear representation to Artin groups of finite type.


title: Geodesics and Spanning Trees for Euclidean First-Passage Percolation

abstract: The metric $D_\alpha (q,q')$ on the set $Q$ of particle locations of a homogeneous Poisson process on $R^d$, defined as the infimum of $(\sum_i |q_i - q_{i+1}|^\alpha)^{1/\alpha}$ over sequences in $Q$ starting with $q$ and ending with $q'$ (where $| . |$ denotes Euclidean distance) has nontrivial geodesics when $\alpha > 1$. The cases $1 <\alpha < \infty$ are the Euclidean first-passage percolation (FPP) models introduced earlier by the authors while the geodesics in the case $\alpha = \infty$ are exactly the paths from the Euclidean minimal spanning trees/forests of Aldous and Steele. We compare and contrast results and conjectures for these two situations. New results for $1 < \alpha < \infty$ (and any $d$) include inequalities on the fluctuation exponents for the metric ($\chi \le 1/2$) and for the geodesics ($\xi \le 3/4$) in strong enough versions to yield conclusions not yet obtained for lattice FPP: almost surely, every semi-infinite geodesic has an asymptotic direction and every direction has a semi-infinite geodesic (from every $q$). For $d=2$ and $2 le \alpha < \infty$, further results follow concerning spanning trees of semi-infinite geodesics and related random surfaces.


title: On the Existence of Finite Type Link Homotopy Invariants

abstract: We show that for links with at most 5 components, the only finite type homotopy invariants are products of the linking numbers. In contrast, we show that for links with at least 9 components, there must exist finite type homotopy invariants which are not products of the linking numbers. This corrects previous errors of the first author.


title: Divisorial contractions in dimension three which contract divisors to compound A_1 points

abstract: We deal with a divisorial contraction in dimension 3 which contracts its exceptional divisor to a cA_1 point. We prove that any such contraction is obtained by a suitable weighted blow-up.


title: Dissipation in Turbulent Solutions of 2-D Euler

abstract: We establish local balance equations for smooth functions of the vorticity in the DiPerna-Majda weak solutions of 2D incompressible Euler, analogous to the balance proved by Duchon and Robert for kinetic energy in 3D. The anomalous term or defect distribution therein corresponds to the ``enstrophy cascade'' of 2D turbulence. It is used to define a rather natural notion of ``dissipative Euler solution'' in 2D. However, we show that the DiPerna-Majda solutions with vorticity in $L^p$ for $p>2$ are conservative and have zero defect. Instead, we must seek an alternative approach to dissipative solutions in 2D. If we assume an upper bound on the energy spectrum of 2D incompressible Navier-Stokes solutions by the Kraichnan-Batchelor $k^{-3}$ spectrum, uniformly for high Reynolds number, then we show that the zero viscosity limits of the Navier-Stokes solutions exist, with vorticities in the zero-index Besov space $B^{0,\infty}_2$, and that these give a weak solution of the 2D incompressible Euler equations. We conjecture that for this class of weak solutions enstrophy dissipation may indeed occur, in a sense which is made precise.


title: On Validated Numeric of Values of Some Zeta and L-functions, and Applications

abstract: This paper describes some validated numerics aspects of Riemann zeta function, Dirichlet L-functions, Dedekind zeta functions and Hasse-Weil L-functions.


title: Tannakian Fundamental Groups Associated to Galois Groups

abstract: This should be the final version of this paper. Numberous minor improvements have been made to the manuscript, one argument has been corrected, and an appendix has been added.


title: Embeddings of hypersurfaces in affine spaces

abstract: In this paper, we address the following two general problems: given two algebraic varieties in ${\bf C}^n$, find out whether or not they are (1) isomorphic; (2) equivalent under an automorphism of ${\bf C}^n$. Although a complete solution of either of these problems is out of the question at this time, we give here some handy and useful invariants of isomorphic as well as of equivalent varieties. Furthermore, and more importantly, we give a universal procedure for obtaining all possible algebraic varieties isomorphic to a given one, and use it to construct numerous examples of isomorphic, but inequivalent algebraic varieties in ${\bf C}^n$. Among other things, we establish the following interesting fact: for isomorphic hypersurfaces $\{p(x_1,...,x_n)=0\}$ and $\{q(x_1,...,x_n)=0\}$, the number of zeros of $grad(p)$ might be different from that of $grad(q)$.


title: Unknotting tunnels and Seifert surfaces

abstract: Let $K$ be a knot with an unknotting tunnel $\gamma$ and suppose that $K$ is not a 2-bridge knot. There is an invariant $\rho = p/q \in \mathbb{Q}/2 \mathbb{Z}$, $p$ odd, defined for the pair $(K, \gamma)$. The invariant $\rho$ has interesting geometric properties: It is often straightforward to calculate; e. g. for $K$ a torus knot and $\gamma$ an annulus-spanning arc, $\rho(K, \gamma) = 1$. Although $\rho$ is defined abstractly, it is naturally revealed when $K \cup \gamma$ is put in thin position. If $\rho \neq 1$ then there is a minimal genus Seifert surface $F$ for $K$ such that the tunnel $\gamma$ can be slid and isotoped to lie on $F$. One consequence: if $\rho(K, \gamma) \neq 1$ then $genus(K) > 1$. This confirms a conjecture of Goda and Teragaito for pairs $(K, \gamma)$ with $\rho(K, \gamma) \neq 1$.


title: On polytopes simple in edges

abstract: We investigate some combinatorial properties of convex polytopes simple in edges. For polytopes whose nonsimple vertices are located sufficiently far one from another, we prove an analog of the Hard Lefschetz theorem. It implies Stanley's conjecture for such polytopes.


title: Stasheff structures and differentials of the Adams spectral sequence

abstract: The Adams spectral sequence was invented by J.F.Adams almost fifty years ago for calculations of stable homotopy groups of topological spaces and in particular of spheres. The calculation of differentials of this spectral sequence is one of the most difficult problem of Algebraic Topology. Here we consider an approach to solve this problem in the case of Z/2 coefficients and find inductive formulas for the differentials. It is based on the Stasheff algebra structures, operad methods and functional homology operations.


title: Group completions via Hilbert schemes

abstract: Let $X$ be a projective variety, homogeneous under a linear algebraic group. We show that the diagonal of $X$ belongs to a unique irreducible component $H_X$ of the Hilbert scheme of $X\times X$. Moreover, $H_X$ is isomorphic to the ``wonderful completion'' of the connected automorphism group of $X$; in particular, $H_X$ is non-singular. We describe explicitly the degenerations of the diagonal in $X\times X$, that is, the points of $H_X$; these subschemes of $X\times X$ are reduced and Cohen-Macaulay.


title: On certain families of naturally graded Lie algebras

abstract: In this work large families of naturally graded nilpotent Lie algebras in arbitrary dimension and characteristic sequence (n,q,1), with n odd, satisfying the centralizer property, are given. This condtion constitutes a generalization, for a nilpotent Lie agebra, of the structural properties charactrizing the Lie algebra $Q_{n}$. By considering certain cohomological classes of the space $H^{2}(\frak{g},\mathbb{C})$, it is shown that, with few exceptions, the isomorphism classses of these algebras are given by central extensions of $Q_{n}$ by $\mathbb{C}^{p}$ which preserve the nilindex and the natural graduation.


title: The Symplectic Sum Formula for Gromov-Witten Invariants

abstract: In the symplectic category there is a `connect sum' operation that glues symplectic manifolds by identifying neighborhoods of embedded codimension two submanifolds. This paper establishes a formula for the Gromov-Witten invariants of a symplectic sum Z=X#Y in terms of the relative GW invariants of X and Y. Several applications to enumerative geometry are given.


title: Recent Progress in Algebraic Combinatorics

abstract: A survey of recent progress in three areas of algebraic combinatorics: (1) the Saturation Conjecture for Littlewood-Richardson coefficients, (2) the n! and (n+1)^{n-1} conjectures, and (3) longest increasing subsequences of permutations.


title: Families of (1,2)-Symplectic M etrics on Full Flag Manifolds

abstract: We obtain new families of (1,2)-symplectic invariant metrics on the full complex flag manifolds F(n). For n > 4, we characterize n-3 different n-dimensional families of (1,2)-symplectic invariant metrics on F(n). Any of these families corresponds to a different class of non-integrable invariant almost complex structure on F(n).


title: Nonlinearity, Local and Global Avalanche Characteristics of Balanced Boolean Functions

abstract: First, we construct a class of functions with good local avalanche characteristics, but bad global avalanche characteristics. We also derive some bounds for the nonlinearity of such functions. It improves upon the results of Son et al., and Sung et al. In our second result we construct a class of highly nonlinear balanced functions with good local and global avalanche characteristics.


title: Fast Evaluation, Weights and Nonlinearity of Rotation-Symmetric Functions

abstract: We study the nonlinearity and the weight of the rotation-symmetric (RotS) functions defined by Pieprzyk and Qu. We give exact results for the nonlinearity and weight of 2-degree RotS functions with the help of the semi-bent functions and we give the generating function for the weight of the 3-degree RotS function. Based on the numerical examples and our observations we state a conjecture on the nonlinearity and weight of the 3-degree RotS functions.


title: Spaces of embeddings of compact polyhedra into 2-manifolds

abstract: Let M be a PL 2-manifold and X be a compact subpolyhedron of M and let E(X, M) denote the space of embeddings of X into M with the compact-open topology. In this paper we study an extension property of embeddings of X into M and show that the restriction map from the homeomorphism group of M to E(X, M) is a principal bundle. As an application we show that if M is a Euclidean PL 2-manifold and dim X >= 1 then the triple (E(X,M), E^LIP(X,M), E^PL(X, M)) is an (s,Sigma,sigma)-manifold, where E_K^LIP(X,M) and E_K^PL(X, M) denote the subspaces of Lipschitz and PL embeddings.


title: Homotopy types of homeomorphism groups of noncompact 2-manifolds

abstract: Suppose M is a noncompact connected PL 2-manifold and let H(M)_0 denote the identity component of the homeomorphism group of M with the compact-open topology. In this paper we classify the homotopy type of H(M)_0 by showing that {\cal H}(M)_0 has the homotopy type of the circle if M is the plane, an open or half open annulus, or the punctured projective plane. In all other cases we show that H(M)_0 is homotopically trivial.


title: The groups of PL and Lipschitz homeomorphisms of noncompact 2-manifolds

abstract: Suppose M is a noncompact connected PL 2-manifold. In this paper we study the topological property of the triple (H(M)_0, H^PL(M)_0, H^PL, c(M)_0), where H(M)_0 is the identity component of the homeomorphism group {\cal H}(M) of M with the compact-open topology, and H^PL(M)_0 and H^PL, c(M)_0 are the identity components of the subgroups consisting of PL-homeomorphisms of M and ones with compact supports. We show that this triple is a (s^infty,sigma^infty,sigma^infty_f)-manifold and determine its topological type. We also study the subgroups of Lipschitz homeomorphisms.


title: Return time statistics via inducing

abstract: We prove that return time statistics of a dynamical system do not change if one passes to an induced (i.e. first return) map. We apply this to show exponential return time statistics in i) smooth interval maps with nowhere-dense critical orbits and ii) certain interval maps with neutral fixed points. The method also applies to iii) certain quadratic maps of the complex plane.


title: From Mennicke symbols to Euler class groups

abstract: Bhatwadekar and Raja Sridharan have constructed a homomorphism of abelian groups from an orbit set Um(n,A)/E(n,A) of unimodular rows to an Euler class group. We suggest that this is the last map in a longer exact sequence of abelian groups. The hypothetical group G that precedes Um(n,A)/E(n,A) in the sequence is an orbit set of unimodular two by n matrices over the ring A. If n is at least four we describe a partially defined operation on two by n matrices. We conjecture that this operation describes a group structure on G if A has Krull dimension at most 2n-6. We prove that G is mapped onto a subgroup of Um(n,A)/E(n,A) if A has Krull dimension at most 2n-5.


title: On weight graphs for nilpotent Lie algebras I

abstract: We introduce the concept of weight graph for the weight system $P\frak{g}(T)$ of a finite dimensional nilpotent Lie algebra $\frak{g}$ and analyze the necessary conditions for a $(p,q)$-graph to be a weight graph for some $\frak{g}$.


title: On Algorithmic Equiresolution and Stratification of Hilbert Schemes

abstract: Given an algorithm of resolution of singularities satisfying certain conditions (``good algorithms''), natural notions of simultaneous algorithmic resolution, or equiresolution, for families of embedded schemes (parametrized by a reduced scheme $T$) are proposed. It is proved that these conditions are equivalent. Something similar is done for families of sheaves of ideals, here the goal is algorithmic simultaneous principalization. A consequence is that given a family of embedded schemes over a reduced $T$, this parameter scheme can be naturally expressed as a disjoint union of locally closed sets $T_{j}$, such that the induced family on each part $T_{j}$ is equisolvable. In particular, this can be applied to the Hilbert scheme of a smooth projective variety; in fact, our result shows that, in characteristic zero, the underlying topological space of any Hilbert scheme parametrizing embedded schemes can be naturally stratified in equiresolvable families.


title: Kirkman's hypothesis revisited

abstract: Watson proved Kirkman's hypothesis (partially solved by Cayley). Using Lagrange Inversion, we drastically shorten Watson's computations and generalize his results at the same time.


title: The non-Archimedean analogs of the Bochner-Kolmogorov, Minlos-Sazonov and Kakutani theorems

abstract: Measures on a non-Archimedean Banach space $X$ are considered with values in the real field $\bf R$ and in the non- Archimedean fields. The non-Archimedean analogs of the Bochner- Kolmogorov and Minlos-Sazonov theorems are given. Moreover, infinite products of measures are studied and the analog of the Kakutani theorem is investigated.


title: Hamiltonian stationary Lagrangian surfaces in Hermitian symmetric spaces

abstract: This paper is the third of a series on Hamiltonian stationary Lagrangian surfaces. We present here the most general theory, valid for any Hermitian symmetric target space. Using well-chosen moving frame formalism, we show that the equations are equivalent to an integrable system, generalizing the C^2 subcase analyzed in the first article (arXiv:math.DG/0009202). This system shares many features with the harmonic map equation of surfaces into symmetric spaces, allowing us to develop a theory close to Dorfmeister, Pedit and Wu's, including for instance a Weierstrass-type representation. Notice that this article encompasses the article mentioned above, although much fewer details will be given on that particular flat case.


title: A momotonicity approach to nonlinear Dirichlet problems in perforated domains

abstract: We study the asymptotic behaviour of solutions to Dirichlet problems in perforated domains for nonlinear elliptic equations associated with monotone operators. The main difference with respect to the previous papers on this subject is that no uniformity is assumed in the monotonicity condition. Under a very general hypothesis on the holes of the domains, we construct a limit equation, which is satisfied by the weak limits of the solutions. The additional term in the limit problem depends only on the local behaviour of the holes, which can be expressed in terms of suitable nonlinear capacities associated with the monotone operator.


title: The Dirac Operator on Hyperbolic Manifolds of Finite Volume

abstract: We study the spectrum of the Dirac operator on hyperbolic manifolds of finite volume. Depending on the spin structure it is either discrete or the whole real line. For link complements in S^3 we give a simple criterion in terms of linking numbers for when essential spectrum can occur. We compute the accumulation rate of the eigenvalues of a sequence of closed hyperbolic 2- or 3-manifolds degenerating into a noncompact hyperbolic manifold of finite volume. It turns out that in three dimensions there is no clustering at all.


title: Remarks on hereditarily indecomposable continua

abstract: We recall a characterization of hereditary indecomposability originally obtained by Krasinkiewicz and Minc, and show how it may be used to give unified constructions of various hereditarily indecomposable continua. In particular we answer a question asked by Mackowiak and Tymchatyn by showing that any continuum of arbitrary weight is a weakly confluent image of a hereditarily indecomposable continuum of the same weight. We present two methods of constructing these preimages: (a) by model-theoretic means, using the compactness and completeness theorems from first-order logic to derive these results for continua of uncountable weight from their metric counterparts; and (b) by constructing essential mappings from hereditarily indecomposable continua onto Tychonoff cubes. We finish by reviving an argument due to Kelley about hyperspaces of hereditarily indecomposable continua and show how it leads to a point-set argument that reduces Brouwer's Fixed-point theorem to its three-dimensional version.


title: Inverse Problem for semisimple Frobenius Manifolds, Monodromy Data and the Painleve' VI Equation

abstract: We study critical behaviour and connection problem for a Painleve' 6 equation. We construct solutions of WDVV eqs. using the isomonodromic deformation method and the Painleve' equations. We find algebraic solutions of WDVV and Gromov-Witten invariants of projective space.


title: Lagrangian Matroids associated with Maps on Orientable Surfaces

abstract: The aim of the paper is to clarify the nature of combinatorial structures associated with maps on closed compact surfaces. We prove that maps give rise to Lagrangian matroids representable in a setting provided by cohomology of the surface with punctured points. Our proof is very elementary. We further observe that the greedy algorithm has a natural interpretation in this setting, as a `peeling' procedure which cuts the (connected) surface into a closed ring-shaped peel, and that this procedure is local.


title: Oriented Lagrangian Matroids

abstract: In this paper we present a definition of oriented Lagrangian symplectic matroids and their representations. Classical concepts of orientation and this extension may both be thought of as stratifications of thin Schubert cells into unions of connected components. The definitions are made first in terms of a combinatorial axiomatisation, and then again in terms of elementary geometric properties of the Coxeter matroid polytope. We also generalise the concept of rank and signature of a quadratic form to symplectic Lagrangian matroids in a surprisingly natural way.


title: An Operator Hilbert space without the operator approximation property

abstract: We use a technique of Szankowski to construct an operator Hilbert space that does not have the operator approximation property


title: The intersection of opposed big cells in the real flag variety of type G_2

abstract: We compute the Euler characteristics of the individual connected components of the intersection of two opposed big cells in the real flag variety of type $G_2$, verifying a conjecture of Rietsch.


title: On 2D Euler Equations: Part I. On the Energy-Casimir Stabilities and The Spectra for Linearized 2D Euler Equations

abstract: In this paper, we study a linearized two-dimensional Euler equation. This equation decouples into infinitely many invariant subsystems. Each invariant subsystem is shown to be a linear Hamiltonian system of infinite dimensions. Another important invariant besides the Hamiltonian for each invariant subsystem is found, and is utilized to prove an ``unstable disk theorem'' through a simple Energy-Casimir argument. The eigenvalues of the linear Hamiltonian system are of four types: real pairs ($c,-c$), purely imaginary pairs ($id,-id$), quadruples ($\pm c\pm id$), and zero eigenvalues. The eigenvalues are computed through continued fractions. The spectral equation for each invariant subsystem is a Poincar\'{e}-type difference equation, i.e. it can be represented as the spectral equation of an infinite matrix operator, and the infinite matrix operator is a sum of a constant-coefficient infinite matrix operator and a compact infinite matrix operator. We have obtained a complete spectral theory.


title: The critical group of a directed graph

abstract: The critical group K(G) of a directed graph G=(V,E) is the cokernel of the transpose of the Laplacian matrix of G acting on the integer lattice Z^V. For undirected graphs G, this has been considered by Bacher, de la Harpe, and Nagnibeda, and by Biggs. We prove several things, among which are: K(G/p) is a subgroup of K(G) when p is an equitable partition and G is strongly connected; for undirected graphs, the torsion subgroup of K(G) depends only on the graphic matroid of G; and, the `dollar game' of Biggs can be generalized to give a combinatorial interpretation for the elements of K(G), when G is strongly connected.


title: Numerical Analysis of the Non-uniform Sampling Problem

abstract: We give an overview of recent developments in the problem of reconstructing a band-limited signal from non-uniform sampling from a numerical analysis view point. It is shown that the appropriate design of the finite-dimensional model plays a key role in the numerical solution of the non-uniform sampling problem. In the one approach (often proposed in the literature) the finite-dimensional model leads to an ill-posed problem even in very simple situations. The other approach that we consider leads to a well-posed problem that preserves important structural properties of the original infinite-dimensional problem and gives rise to efficient numerical algorithms. Furthermore a fast multilevel algorithm is presented that can reconstruct signals of unknown bandwidth from noisy non-uniformly spaced samples. We also discuss the design of efficient regularization methods for ill-conditioned reconstruction problems. Numerical examples from spectroscopy and exploration geophysics demonstrate the performance of the proposed methods.


title: Four short stories about Toeplitz matrix calculations

abstract: The stories told in this paper are dealing with the solution of finite, infinite, and biinfinite Toeplitz-type systems. A crucial role plays the off-diagonal decay behavior of Toeplitz matrices and their inverses. Classical results of Gelfand et al. on commutative Banach algebras yield a general characterization of this decay behavior. We then derive estimates for the approximate solution of (bi)infinite Toeplitz systems by the finite section method, showing that the approximation rate depends only on the decay of the entries of the Toeplitz matrix and its condition number. Furthermore, we give error estimates for the solution of doubly infinite convolution systems by finite circulant systems. Finally, some quantitative results on the construction of preconditioners via circulant embedding are derived, which allow to provide a theoretical explanation for numerical observations made by some researchers in connection with deconvolution problems.


title: Approximation of dual Gabor frames, window decay, and wireless communications

abstract: We consider three problems for Gabor frames that have recently received much attention. The first problem concerns the approximation of dual Gabor frames in $L_2(R)$ by finite-dimensional methods. Utilizing Wexler-Raz type duality relations we derive a method to approximate the dual Gabor frame, that is much simpler than previously proposed techniques. Furthermore it enables us to give estimates for the approximation rate when the dimension of the finite model approaches infinity. The second problem concerns the relation between the decay of the window function $g$ and its dual $\gamma$. Based on results on commutative Banach algebras and Laurent operators we derive a general condition under which the dual $\gamma$ inherits the decay properties of $g$. The third problem concerns the design of pulse shapes for orthogonal frequency division multiplex (OFDM) systems for time- and frequency dispersive channels. In particular, we provide a theoretical foundation for a recently proposed algorithm to construct orthogonal transmission functions that are well localized in the time-frequency plane.


title: Characterization and computation of canonical tight windows for Gabor frames

abstract: Let $(g_{nm})_{n,m\in Z}$ be a Gabor frame for $L_2(R)$ for given window $g$. We show that the window $h^0=S^{-1/2} g$ that generates the canonically associated tight Gabor frame minimizes $\|g-h\|$ among all windows $h$ generating a normalized tight Gabor frame. We present and prove versions of this result in the time domain, the frequency domain, the time-frequency domain, and the Zak transform domain, where in each domain the canonical $h^0$ is expressed using functional calculus for Gabor frame operators. Furthermore, we derive a Wiener-Levy type theorem for rationally oversampled Gabor frames. Finally, a Newton-type method for a fast numerical calculation of $\ho$ is presented. We analyze the convergence behavior of this method and demonstrate the efficiency of the proposed algorithm by some numerical examples.


title: Hilbert schemes, polygraphs, and the Macdonald positivity conjecture

abstract: We study the isospectral Hilbert scheme X_n, defined as the reduced fiber product of C^2n with the Hilbert scheme H_n of points in the plane, over the symmetric power S^n C^2. We prove that X_n is normal, Cohen-Macaulay, and Gorenstein, and hence flat over H_n. We derive two important consequences. (1) We prove the strong form of the "n! conjecture" of Garsia and the author, giving a representation-theoretic interpretation of the Kostka-Macdonald coefficients K_{lambda,mu}(q,t). This establishes the Macdonald positivity conjecture, that K_{lambda,mu}(q,t) is always a polynomial with non-negative integer coefficients. (2) We show that the Hilbert scheme H_n is isomorphic to the Hilbert scheme of orbits C^2n//S_n, in such a way that X_n is identified with the universal family over C^2n//S_n.


title: Homology cylinders: an enlargement of the mapping class group

abstract: We consider a homological enlargement of the mapping class group, defined by homology cylinders over a closed oriented surface (up to homology cobordism). These are important model objects in the recent Goussarov-Habiro theory of finite-type invariants of 3-manifolds. We study the structure of this group from several directions: the relative weight filtration of Dennis Johnson, the finite-type filtration of Goussarov-Habiro, and the relation to string link concordance. We also consider a new Lagrangian filtration of both the mapping class group and the group of homology cylinders.


title: Co-Amenability of compact quantum groups

abstract: We study the concept of co-amenability for a compact quantum group. Several conditions are derived that are shown to be equivalent to it. Some consequences of co-amenability that we obtain are faithfulness of the Haar integral and automatic norm-boundedness of positive linear functionals on the quantum group's Hopf *-algebra (neither of these properties necessarily holds without co-amenability).


title: Complex Lagrangian embeddings of moduli spaces of vector bundles

abstract: By means of a Fourier-Mukai transform we embed moduli spaces of stable bundles on an algebraic curve C as isotropic subvarieties of moduli spaces of mu-stable bundles on the Jacobian variety J(C). When g(C)=2 this provides new examples of special Lagrangian submanifolds.


title: On FRT-Clifford Algebras

abstract: We study the q-Clifford algebras Cl_q(N,c), called FRT-Clifford algebras, introduced by Faddeev, Reshetikhin and Takhtajan. It is shown that Cl_q(N,c) acts on the q-exterior algebra \Lambda(O_q^N). Moreover, explicit formulas for the embedding of U_q(so_N) into Cl_q(N,c) and its relation to the vector and spin representations of U_q(so_N) are given and proved. Key Words: q-Clifford algebra, Drinfeld-Jimbo algebra, spin representation


title: Local quivers and stable representations

abstract: In this paper we introduce and study the local quiver as a tool to investigate the etale local structure of moduli spaces of theta-stable representations of quivers. As an application we determine the dimension vectors associated to irreducible representations of torus knot groups.


title: Some new identities for Schur functions

abstract: Some new identities for Schur functions are proved. In particular, we settle in the affirmative a recent conjecture of Ishikawa-Wakayama and solve a problem raised by Bressoud.


title: A relative Yoneda Lemma (manuscript)

abstract: We construct set-valued right Kan-extensions via a relative Yoneda Lemma.


title: Springer theory in braid groups and the Birman-Ko-Lee monoid

abstract: We state a conjecture about centralizers of certain roots of central elements in braid groups, and check it for Artin braid groups and some other cases. Our proof makes use of results by Birman-Ko-Lee; we give a new intrinsic account of these results.


title: Some Properties of 3x3 Octonionic Hermitian Matrices with Non-Real Eigenvalues

abstract: We discuss our preliminary attempts to extend previous work on 2x2 Hermitian octonionic matrices with non-real eigenvalues to the 3x3 case.


title: Averaging Principle for Quasi-Geostrophic Motions under Rapidly Oscillating Forcing

abstract: In this paper, the averaging principle for quasi-geostrophic motions with rapidly oscillating forcing is proved, both on finite but large time intervals and on the entire time axis. This includes comparison estimate, stability estimate, and convergence result between quasi-geostrophic motions and its averaged motions. Furthermore, the existence of almost periodic quasi-geostrophic motions and attractor convergence are also investigated.

categories: math.AP math-ph math.DS math.MP nlin.CD nlin.PS physics.ao-ph physics.flu-dyn physics.geo-ph


title: Non-Local Equivariant Star Product on the Minimal Nilpotent Orbit

abstract: We construct a unique G-equivariant graded star product on the algebra $S(g)/I$ of polynomial functions on the minimal nilpotent coadjoint orbit $\Omin$ of G where G is a complex simple Lie group and $g\neq\sl_2(C)$. This strengthens the result of Arnal, Benamor, and Cahen. Our main result is to compute, for G classical, the star product of a momentum function $\mu_x$ with any function f. We find $\mu_x\star f=\mu_xf+\half\{\mu_x,f\}t+\Lambda^x(f)t^2$. For $\g$ different from $sp_n(\C)$, $\Lambda^x$ is not a differential operator. Instead $\Lamda^x$ is the left quotient of an explicit order 4 algebraic differential operator $D^x$ by an order 2 invertible diagonalizable operator. Precisely, $\Lambda^x=-{1/4}\frac{1}{E'(E'+1)}D^x$ where $E'$ is a positive shift of the Euler vector field. Thus $\mu_x\star f$ is not local in f. Using $\star$ we construct a positive definite hermitian inner product on $Sg/I$. The Hilbert space completion of $Sg/I$ is then a unitary representation of $G$. This quantizes $\Omin$ in the sense of geometric quantization and the orbit method.


title: Equivariant Deformation Quantization for the Cotangent Bundle of a Flag Manifold

abstract: Let $\XR$ be a (generalized) flag manifold of a non-compact real semisimple Lie group $\GR$, where $\XR$ and $\GR$ have complexifications X and G. We investigate the problem of constructing a graded star product on $Pol(T^*\XR)$ which corresponds to a $\GR$-equivariant quantization of symbols into smooth differential operators acting on half-densities on $\XR$. We show that any solution is algebraic in that it restricts to a G-equivariant graded star product star on the algebraic part R of $Pol(T^*\XR)$. We construct, when R is generated by the momentum functions $\mu^x$ for G, a preferred choice of star where $\mu^x\star\phi$ has the form $\mu^x\phi+\half\{\mu^x,\phi\}t+\Lambda^x(\phi)t^2$. Here $\Lambda^x$ are operators on R which are not differential in the known examples and so $\mu^x\star\phi$ is not local in $\phi$. R acquires an invariant positive definite inner product compatible with its grading. The completion of R is a new Fock space type model of the unitary representation of G on $L^2$ half-densities on X.


title: Non-Locality of Equivariant Star Products on $T*(RP^n)$

abstract: Lecomte and Ovsienko constructed $SL_{n+1}(R)$-equivariant quantization maps $Q_\lambda$ for symbols of differential operators on $\lambda$-densities on $\RP^n$. We derive some formulas for the associated graded equivariant star products $star_\lambda$ on the symbol algebra $Pol(T*\RP^n)$. These give some measure of the failure of locality. Our main result expresses (for $n$ odd) the coefficients $C_p$ of $star_\lambda$ when $\lambda=\half$ in terms of some new $SL_{n+1}(C)$-invariant algebraic bidifferential operators $Z_p$ on $T*\CP^n$ and the operators $(E+\frac{n}{2}\pm s)^{-1}$ where $E$ is the fiberwise Euler vector field and $s\in\{1,2,...,[\frac{p}{2}]\}$.


title: Finiteness for Arithmetic Fewnomial Systems

abstract: Suppose L is any finite algebraic extension of either the ordinary rational numbers or the p-adic rational numbers. Also let g_1,...,g_k be polynomials in n variables, with coefficients in L, such that the total number of monomial terms appearing in at least one g_i is exactly m. We prove that the maximum number of isolated roots of G:=(g_1,...,g_k) in L^n is finite and depends solely on (m,n,L), i.e., is independent of the degrees of the g_i. We thus obtain an arithmetic analogue of Khovanski's Theorem on Fewnomials, extending earlier work of Denef, Van den Dries, Lipshitz, and Lenstra.


title: Realcompactness and spaces of vector-valued functions

abstract: It is shown that the existence of a biseparating map between a large class of spaces of vector-valued continuous functions A(X,E) and A(Y,F) implies that some compactifications of X and Y are homeomorphic. In some cases, conditions are given to warrant the existence of a homeomorphism between the realcompactifications of X and Y; in particular we find remarkable differences with respect to the scalar context: namely, if E and F are infinite-dimensional and T is a biseparating map between the space of E-valued bounded continuous functions on X and that of F-valued bounded continuous functions on Y, then the realcompactifications of X and Y are homeomorphic.


title: Pseudoholomorphic curves and the symplectic isotopy problem

abstract: The deformation problem for pseudoholomorphic curves and related geometrical properties of the total moduli space of pseudoholomorphic curves are studied. A sufficient condition for the saddle point property of the total moduli space is established. The local symplectic isotopy problem is formulated and solved for the case of imbedded pseudoholomorphic curves. It is shown that any two symplectically imbedded surfaces Sigma_0, Sigma_1 in CP^2 of the same degree d\le 6 are symplectically isotopic.


title: Examples of Amenable Kac system

abstract: By giving an interesting characterisation of amenable multiplicative unitaries in term of one dimensional representations, we show in a simple way that bicrossproducts of amenable locally compact groups is both amenable and coamenable.


title: Absolutely rigid systems and absolutely indecomposable groups

abstract: We give a new proof that there are arbitrarily large indecomposable abelian groups; moreover, the groups constructed are absolutely indecomposable, that is, they remain indecomposable in any generic extension. However, any absolutely rigid family of groups has cardinality less than the partition cardinal kappa(omega).


title: Topological invariants for projection method patterns

abstract: We analyze and compare different dynamical systems and groupoids which can be obtained from projection point patterns. We define the cohomology of a point pattern as the cocycle cohomology of the pattern groupoid. We describe this cohomology qualitatively and calculate it for canonical projection method tilings with codimension smaller or equal than 3.


title: On some $\cal D$-modules in dimension 2

abstract: We prove a duality formula for two ${\cal D}$-modules arising from logarithmic derivations w.r.t. a plane curve. As an application we give a differential proof of a logarithmic comparison theorem of Calder\'on-Mond-Narv\'aez-Castro.


title: On the linearity of certain mapping class groups

abstract: S. Bigelow proved that the braid groups are linear. That is, there is a faithful representation of the braid group into the general linear group of some field. Using this, we deduce from previously known results that the mapping class group of a sphere with punctures and hyperelliptic mapping class groups are linear. In particular, the mapping class group of a closed orientable surface of genus 2 is linear.


title: Relations between some cardinals in the absence of the Axiom of Choice

abstract: If we assume the axiom of choice, then every two cardinal numbers are comparable. In the absence of the axiom of choice, this is no longer so. For a few cardinalities related to an arbitrary infinite set, we will give all the possible relationships between them, where possible means that the relationship is consistent with the axioms of set theory. Further we investigate the relationships between some other cardinal numbers in specific permutation models and give some results provable without using the axiom of choice.


title: Star Products on Coadjoint Orbits

abstract: We study properties of a family of algebraic star products defined on coadjoint orbits of semisimple Lie groups. We connect this description with the point of view of differentiable deformations and geometric quantization.


title: Another realization of the category of modules over the small quantum group

abstract: Let $g$ be a semi-simple simply-connected Lie algebra and let $U_\ell$ be the corresponding quantum group with divided powers, where $\ell$ is an even order root of unity. Let in addition $u_\ell\subset U_\ell$ be the corresponding "small" quantum group. In this paper we establish the following relation between the categories of representations of $U_\ell$ and $u_\ell$: We show that the category of $u_\ell$-modules is naturally equivalent to the category of $U_\ell$-modules, which have a {\it Hecke eigen-property} with respect to representations lifted by means of the quantum Frobenius map $U_\ell\ti U(\check g)$, where $g$ is the Langlands dual Lie algebra. This description allows to express the regular linkage class in the category $u_\ell$-mod in terms of perverse sheaves on the affine flag variety with a Hecke eigen-property. Moreover, it can serve as a basis to the program to understand the connection between the category $u_\ell$-mod and the category of representations of the corresponding affine algebra at the critical level.