title: Embeddings of $\ell_p$ into non-commutative spaces

abstract: Let $\M$ be a semi-finite von Neumann algebra equipped with a faithful normal trace $\tau$. We study the subspace structures of non-commutative Lorentz spaces $L_{p,q}(\M, \tau)$, extending results of Carothers and Dilworth to the non-commutative settings. In particular, we show that, under natural conditions on indices, $\ell_p$ can not be embedded into $L_{p,q}(\M, \tau)$. As applications, we prove that for $0<p<\infty$ with $p \neq 2$ then $\ell_p$ cannot be strongly embedded into $L_p(\M,\tau)$. Thus providing a non-commutative extension of a result of Kalton for $0<p<1$ and a result of Rosenthal for $1\leq p <2$ on $L_p[0,1]$.


title: A classification of $S^3$-bundles over $S^4$

abstract: We classify the total spaces of bundles over the four sphere with fiber a three sphere up to orientation preserving and reversing homotopy equivalence, homeomorphism and diffeomorphism. These total spaces have been of interest to both topologists and geometers. It has recently been shown by Grove and Ziller that each of these total spaces admits metrics with nonnegative sectional curvature.


title: Lagrangian and Hamiltonian Formalism for Constrained Variational Problems

abstract: We consider solutions of Lagrangian variational problems with linear constraints on the derivative. These solutions are given by curves $\gamma$ in a differentiable manifold $M$ that are everywhere tangent to a smooth distribution $\mathcal D$ on $M$; such curves are called horizontal. We study the manifold structure of the set $\Omega_{P,Q}(M,\mathcal D)$ of horizontal curves that join two submanifolds $P$ and $Q$ of $M$. We consider an action functional $\mathcal L$ defined on $\Omega_{P,Q}(M,\mathcal D)$ associated to a time-dependent Lagrangian defined on $\mathcal D$. If the Lagrangian satisfies a suitable hyper-regularity assumption, it is shown how to construct an associated degenerate Hamiltonian $H$ on $TM^*$ using a general notion of {\em Legendre transform} for maps on vector bundles. We prove that the solutions of the Hamilton equations of $H$ are precisely the critical points of $\mathcal L$.


title: On the second moment for primes in an arithmetic progression

abstract: Assuming the Generalized Riemann Hypothesis, we obtain a lower bound within a constant factor of the conjectured asymptotic result for the second moment for primes in an individual arithmetic progression in short intervals. Previous results were averaged over all progression of a given modulus. The method uses a short divisor sum approximation for the von Mangoldt function, together with some new results for binary correlations of this divisor sum approximation in arithmetic progressions.


title: Algebraic orbifold conformal field theories

abstract: We formulate the unitary rational orbifold conformal field theories in the algebraic quantum field theory framework. Under general conditions, we show that the orbifold of a given unitary rational conformal field theories generates a unitary modular category. Many new unitary modular categories are obtained. We also show that the irreducible representations of orbifolds of rank one lattice vertex operator algebras give rise to unitary modular categories and determine the corresponding modular matrices, which has been conjectured for some time.


title: Quantum Knots and New Quantum Field Theory

abstract: We propose a new gauge theory of quantum electrodynamics (QED) and quantum chromodynamics (QCD) from which we derive knot invariants such as the Jones polynomial. Our approach is inspired by the work of Witten who derived knot invariants from quantum field theory based on the Chern-Simon Lagrangian. From our approach we can derive new knot invariants which extend the Jones polynomial and give a complete classification of knots. We model elementary particles by quantum knots. From the construction of quantum knots we construct quantum photon propagator and quantum gloun propagator for the nuclear force beween elementary particles. Then from the propagators a renormalization group equation is derived for the critical phenomena of QED and QCD of electrons and quarks including superconductivity and color superconductivity.


title: A residue of complex function in three-dimensional vector space

abstract: In the introduction part of this paper, first of all, the concept of absolute integral sum of complex function is defined, as more general one with respect to the concept of integral as well as of integral sum of "ordinary'' integral calculus. In the main part of the paper, on the basis of redefined concepts of a spatial derivative as well as of a residue of a complex function, the fundamental results of Cauchy's calculus of residues of analytic functions are generalized and the concept of total value of improper integral of complex function is defined. Finally, the results in the form of fundamental lemmas, which are more general with respect to the results of Jordan's fundamental lemmas of Cauchy's calculus of residues of analytic functions, are derived for the general class of scalar complex function whose defining domain is a complex plane.


title: A functional expression for the curvature of hyper-dimensional Riemannian spaces

abstract: Analogously to the concept of a curvature of curve and surface, in the differential geometry, in the main part of this paper the concept of the curvature of the hyper-dimensional vector spaces of Riemannian metric is generally defined. The defined concept of the curvature of Riemannian spaces of higher dimensions M: M>1, in the further text of the paper, is functional related to the fundamental parameters of an internal geometry of space, more exactly, to components of Riemann-Christoffel's tensor of curvature. At the end, analogously to the concept of lines of curvature in the differential geometry, the concept of sub-spaces of curvature of Riemannian hyper-dimensional vector spaces is also generally defined.


title: HyperK\"ahler Manifolds and Birational Transformations in dimension 4

abstract: We show that any birational map between projective hyperK\"ahler manifolds of dimension 4 is composed of a sequence of simple flops or elementary Mukai transformations under the assumption that each irreducible component of the indeterminacy of the birational map is normal.


title: Noncommutative trigonometry and the A-polynomial of the trefoil knot

abstract: The paper shows the computation of the noncommutative generalization of the A-polynomial of the trefoil knot. The classical A-polynomial was introduced by Cooper, Culler, Gillet, Long and Shalen, and was generalized to the context of Kauffman bracket skein modules by the author in joint work with Frohman and Lofaro. A major step in determining the noncommutative version of the A-polynomial of the trefoil is the description of the action of the Kauffman bracket skein algebra of the torus on the skein module of the knot complement. As such, the computation reduces to operations with noncommutative trigonometric functions.


title: Graphs of groups and the Atiyah conjecture for one-relator groups

abstract: Paper withdrawn because of a gap in the proof of Proposition 3 of Thomas Schick: "Integrality of L2-Betti numbers", Math. Ann. 317, 727-750 (arXiv.org/abs/math.gt/0001101). Most results of the withdrawn paper were based on this proposition.


title: Mirror symmetry for concavex vector bundles on projective spaces

abstract: Let $X\subset Y$ be smooth, projective manifolds. Assume that $X$ is the zero locus of a generic section of a direct sum $V+$ of positive line bundles on $\PP^n$. Furthermore assume that the normal bundle $N_{X/Y}$ is a direct sum $V-$ of negative line bundles. We show that a $V:=V+\oplus V-$-twisted Gromov-Witten theory of $\PP^n$ restricts to the Gromov-Witten theory of $X$ inherited form $Y$. The later one can be computed via a Mirror Theorem which we prove in this paper.


title: On the relation between the A-polynomial and the Jones polynomial

abstract: In previous joint work with Frohman and Lofaro a noncommutative generalization of the A-polynomial of a knot was introduced, consisting of a finitely generated ideal of polynomials (the noncommutative A-ideal) in the quantum plane. The present paper shows that the noncommutative A-ideal of a knot, together with finitely many of its colored Jones polynomials determines all other colored Jones polynomials. Also, for particular knots, such as the unknot and the trefoil, the noncommutative A-ideal completely determines all colored Jones polynomials.


title: G-bundles on Abelian surfaces, hyperkahler manifolds, and stringy Hodge numbers

abstract: We study the moduli space M(G,A) of flat G-bundles on an Abelian surface A, where G is a compact, simple, simply connected, connected Lie group. Equivalently, M(G,A) is the (coarse) moduli space of s-equivalence classes of holomorphic semi-stable G_C-bundles with trivial Chern classes where G_C is the complexified group. M(G,A) has the structure of a hyperkahler orbifold. We show that when G is Sp(n) or SU(n), M(G,A) has a natural hyperkahler desingularization which we exhibit as a moduli space of G_C-bundles with an altered stability condition. In this way, we obtain the two known families of hyperkahler manifolds, the Hilbert scheme of points on a K3 surface and the generalized Kummer varieties. We show that for G not Sp(n) or SU(n), the moduli space M(G,A) does not admit a hyperkahler resolution, in fact, it does not have a crepant resolution. Inspired by the physicists Vafa and Zaslow, Batyrev and Dais define ``stringy Hodge numbers'' for certain orbifolds. These numbers are conjectured to agree with the Hodge numbers of a crepant resolution (when it exists). We compute the stringy Hodge numbers of M(SU(n),A) and M(Sp(n),A) and verify the conjecture in these cases.


title: An Embedding theorem for abelian monoidal categories

abstract: We show that, with some technical conditions, an abelian category can be embedded into the category of bimodules over a ring. The case of semisimple rigid monoidal categories is studied in more detail.


title: Full asymptotic expansion of the heat trace for non-self-adjoint elliptic cone operators

abstract: The operator $e^{-tA}$ and its trace are investigated in the case when $A$ is a non-self-adjoint elliptic differential operator on a manifold with conical singularities. Under a certain spectral condition (parameter-ellipticity) we obtain a full asymptotic expansion in $t$ of the heat trace as $t\to 0^+$. As in the smooth compact case, the problem is reduced to the investigation of the resolvent $(A-\lambda)^{-1}$. The main step will consist in approximating this operator family by a parametrix to $A-\lambda$ using a suitable parameter-dependent calculus.


title: Exterior differentials of higher order and their covariant generalization

abstract: We investigate a particular realization of generalized q-differential calculus of exterior forms on a smooth manifold based on the assumption that the N-th power (N>2) of exterior differential is equal to zero. It implies the existence of cyclic commutation relations for the differentials of first order and their generalization for the differentials of higher order. Special attention is paid to the cases N=3 and N=4. A covariant basis of the algebra of such q-grade forms is introduced, and the analogues of torsion and curvature of higher order are considered. We also study a graded exterior calculus on a generalized Clifford algebra.


title: On Well-behaved Unbounded Representations of *-Algebras

abstract: A general approach to the well-behaved unbounded *-representations of a *-algebra X is proposed. Let B be a normed *-algebra equipped with a left action |> of X on B such that (x |> a)^+ b=a^+(x^+ |> b) for a,b\in B and x\in X. Then the pair (X,B) is called a compatible pair. For any continuous non-degenerate *-representation \rho of B there exists a closed *-representation \rho' of X such that \rho'(x)\rho(b)=\rho(x |> b), where x\in X and b\in B. The *-representations \rho' are called the well-behaved *-representations associated with the compatible pair (X,B). A number of examples are developed in detail.


title: No more than three favourite sites for simple random walk

abstract: We prove that, with probability one, eventually there are no more than three favourite (i.e. most visited) sites of simple random walk. This partially answers a relatively long standing question of Pal Erdos and Pal Revesz.


title: Covariant q-Differential Calculus and its Deformations at q^N=1

abstract: We construct the generalized version of covariant Z_3-graded differential calculus introduced by one of us (R.K.), and then extended to the case of arbitrary Z_N grading. Here our main purpose is to establish the recurrence formulae for the N-th power of covariant q-differential D_q = d_q + A and to analyze more closely the particular case of q being an Nth primitive root of unity. The generalized notions of connection and curvature are introduced and several examples of realization are displayed for N=3 and N=4. Finally we briefly discuss the idea of infinitesimal deformations of the parameter q in the complex plane.


abstract: The dual of the James Tree space is asymptotically uniformly convex.


title: On toric varieties and algebraic semigroups

abstract: The main result of this paper is that every (separated) toric variety which has a semigroup structure compatible with multiplication on the underlying torus is necessarily affine. In the course of proving this statement, we also give a proof of the fact that every separated toric variety may be constructed from a certain fan in a Euclidean space. To our best knowledge, this proof differs essentially from the ones which can be found in the literature.


title: Dual Banach spaces which contain an isometric copy of $L_1$

abstract: A Banach space contains asymptotically isometric copies of $\ell_1$ if and only if its dual space contains an isometric copy of $L_1$.


title: Link Invariants Associated with Gauge Equivalent Solutions of the Yang-Baxter Equation: the One-Parameter Family of Minimal Typical Representations of U_q[gl(2|1)]

abstract: In this paper we investigate the construction of state models for link invariants using representations of the braid group obtained from various gauge choices for a solution of the trigonometric Yang-Baxter equation. Our results show that it is possible to obtain invariants of regular isotopy (as defined by Kauffman) which may not be ambient isotopic. We illustrate our results with explicit computations using solutions of the trigonometric Yang-Baxter equation associated with the one-parameter family of minimal typical representations of the quantum superalgebra U_q[gl(2|1)]. We have implemented Mathematica code to evaluate the invariants for all prime knots up to 10 crossings.


title: An Infinite Suite of Links-Gould Invariants

abstract: This paper describes a method to obtain state model parameters for an infinite series of Links-Gould link invariants LG^{m,n}, based on quantum R matrices associated with the (\dot{0}_m | \dot{\alpha}_n) representations of the quantum superalgebras U_q[gl(m|n)]. Explicit details of the state models for the cases n=1 and m=1,2,3,4 are supplied. Some evaluations of the new link invariants are provided, as are some of their gross properties.


title: Combinatorics and Quotients of Toric Varieties

abstract: This paper studies two related subjects. One is some combinatorics arising from linear projections of polytopes and fans of cones. The other is quotient varieties of toric varieties. The relation is that projections of polytopes are related to quotients of projective toric varieties and projection of fans are related to quotients of general toric varieties. Despite its relation to geometry the first part is purely combinatorial and should be of interest in its own right.


title: The von Neumann algebra of the non-residually finite Baumslag group < a,b | a b^3 a^-1 = b^2 > embeds into R^omega

abstract: In this paper we analyze the structure of some sets of non-commutative moments of elements in a finite von Neumann algebra M. If the fundamental group of M is R_+\{0}, then the moment sets are convex, and if M is isomorphic to M tensor M, then the sets are closed under pointwise multiplication. We introduce a class of discrete groups that we call hyperlinear. These are the discrete subgroups (with infinite conjugacy classes) of the unitary group of R^omega. We prove that this class is strictly larger than the class of (i.c.c.) residually finite groups. In particular, it contains the Baumslag group < a,b | a b^3 a^-1 = b^2 >. This leads to a previously unknown (non-hyperfinite) type II_1 factor that can be embedded in R^omega. This is positive evidence for Connes's conjecture that any separable II_1 factor can be embedded into R^omega.


title: Eisenstein series twisted by modular symbols for the group SL(n)

abstract: We define Eisenstein series twisted by modular symbols on the group SL(n), generalizing a construction of the first author. We show that, in the case of series attached to the minimal parabolic subgroup, our series converges for all points in a suitable cone. We conclude with examples for SL(2) and SL(3).


title: Weyl Modules for Classical and Quantum Affine algebras

abstract: We define a family of universal finite-dimensional highest weight modules for affine Lie algebras, we call these Weyl modules. We conjecture that these are the classical limits of the irreducible finite--dimensional representations of the quantum affine algebras. We prove this conjecture in the case of affine sl_2. We establish a criterion for these modules to be irreducible and prove a factorization theorem for them in the general case.


title: On the expected value of the minimum assignment

abstract: The minimum k-assignment of an m by n matrix X is the minimum sum of k entries of X, no two of which belong to the same row or column. If X is generated by choosing each entry independently from the exponential distribution with mean 1, then Coppersmith and Sorkin conjectured that the expected value of its minimum k-assignment is \sum_{i,j \ge 0, i+j<k} 1/((m-i)(n-j)) and they (with Alm) have proven this for k < 5 and in certain cases when k=5 or k=6. They were motivated by the special case of k=m=n, where the expected value was conjectured by Parisi to be \sum_{i=1}^k 1/(i^2). In this paper we describe our efforts to prove the Coppersmith-Sorkin conjecture. We give evidence for the following stronger conjecture, which generalizes theirs. Conjecture. Suppose that r_1,...,r_m and c_1,...,c_n are positive real numbers. Let X be a random m by n matrix in which entry x_{ij} is chosen independently from the exponential distribution with mean 1/(r_ic_j). Then the expected value of the minimum k-assignment of X is \sum_{I,J} (-1)^{k - 1 - |I| - |J|} \binom{m + n - 1 - |I| - |J|}{k - 1 - |I| - |J|}\frac{1}{(\sum_{i \notin I}r_i) (\sum_{j \notin J} c_j)}. Here the sum is over proper subsets I of {1,...,m} and J of {1,...,n} whose cardinalities |I| and |J| satisfy |I|+|J|<k.


title: There is no tame triangulation of the infinite real Grassmannian

abstract: We show that there is no triangulation of the infinite real Grassmannian of k-planes in R^\infty which is nicely situated with respect to the coordinate axes. In terms of matroid theory, this says there is no triangulation of the Grassmannian subdividing the matroid stratification. This is proved by an argument in projective geometry, considering a specific sequence of configurations of points in the plane.


title: Shock capturing by anisotropic diffusion oscillation reduction

abstract: This paper introduces the method of anisotropic diffusion oscillation reduction (ADOR) for shock wave computations. The connection is made between digital image processing,in particular, image edge detection, and numerical shock capturing. Indeed, numerical shock capturing can be formulated on the lines of iterative digital edge detection. Various anisotropic diffusion and super diffusion operators originated from image edge detection are proposed for the treatment of hyperbolic conservation laws and near-hyperbolic hydrodynamic equations of change. The similarity between anisotropic diffusion and artificial viscosity is discussed. Physical origins and mathematical properties of the artificial viscosity is analyzed from the kinetic theory point of view. A form of pressure tensor is derived from the first principles of the quantum mechanics. Quantum kinetic theory is utilized to arrive at macroscopic transport equations from the microscopic theory. Macroscopic symmetry is used to simplify pressure tensor expressions. The latter provides a basis for the design of artificial viscosity. The ADOR approach is validated by using (inviscid) Burgers' equation in one and two spatial dimensions, the incompressible Navier-Stokes equation and the Euler equation. A discrete singular convolution (DSC) algorithm is utilized for the spatial discretization.


title: Mirror symmetry and C^\times

abstract: We show that counting functions of covers of $\mathbb{C}^\times$ are equal to sums of integrals associated to certain `Feynman' graphs. This is an analogue of the mirror symmetry for elliptic curves by Dijkgraaf.


title: Log mirror symmetry and local mirror symmetry

abstract: We study Mirror Symmetry of log Calabi-Yau surfaces. On one hand, we consider the number of ``affine lines'' of each degree in the complement of a smooth cubic in the projective plane. On the other hand, we consider coefficients of a certain expansion of a function obtained from the integrals of dxdy/xy over 2-chains whose boundaries lie on B_\phi where {B_\phi} is a family of smooth cubics. Then, for small degrees, they coincide. We discuss the relation between this phenomenon and local mirror symmetry for projective plane in a Calabi-Yau 3-fold by Chiang-Klemm-Yau-Zaslow.


title: Identically Distributed Pairs of Partition Statistics

abstract: We show that many theorems which assert that two kinds of partitions of the same integer $n$ are equinumerous are actually special cases of a much stronger form of equality. We show that in fact there correspond partition statistics $X$ and $Y$ that have identical distribution functions. The method is an extension of the principle of sieve-equivalence, and it yields simple criteria under which we can infer this identity of distribution functions.


title: The Connes-Higson construction is an isomorphism

abstract: Let $A$ be a separable $C^*$-algebra and $B$ a stable $C^*$-algebra containing a strictly positive element. We show that the group $\Ext(SA,B)$ of unitary equivalence classes of extensions of $SA$ by $B$, modulo the extensions which are asymptotically split, coincides with the group of homotopy classes of such extensions. This is done by proving that the Connes-Higson construction gives rise to an isomorphism between $\Ext(SA,B)$ and the $E$-theory group $E(A,B)$ of homotopy classes of asymptotic homomorphisms from $S^2A$ to $B$.


title: Boundary knot method: A meshless, exponential convergence, integration-free, and boundary-only RBF technique

abstract: Based on the radial basis function (RBF), non-singular general solution and dual reciprocity principle (DRM), this paper presents an inheretnly meshless, exponential convergence, integration-free, boundary-only collocation techniques for numerical solution of general partial differential equation systems. The basic ideas behind this methodology are very mathematically simple and generally effective. The RBFs are used in this study to approximate the inhomogeneous terms of system equations in terms of the DRM, while non-singular general solution leads to a boundary-only RBF formulation. The present method is named as the boundary knot method (BKM) to differentiate it from the other numerical techniques. In particular, due to the use of non-singular general solutions rather than singular fundamental solutions, the BKM is different from the method of fundamental solution in that the former does no need to introduce the artificial boundary and results in the symmetric system equations under certain conditions. It is also found that the BKM can solve nonlinear partial differential equations one-step without iteration if only boundary knots are used. The efficiency and utility of this new technique are validated through some typical numerical examples. Some promising developments of the BKM are also discussed.


title: Strongly n-trivial Knots

abstract: A knot k is called ``strongly (n-1)-trivial.'' if there exists a projection of k, such that one can choose n crossings of the projection with the property that making the crossing changes corresponding to any of the $2^{n}-1$ nontrivial combinations of the selected crossings turns the original knot into the unknot. We prove that given any non-trivial knot k of genus g, k fails to be strongly n-trivial for all $n, n \geq 3g-1$.


title: Existence and homogenization of the Rayleigh-B\'enard problem

abstract: The Navier-Stokes equation driven by heat conduction is studied. As a prototype we consider Rayleigh-B\'enard convection, in the Boussinesq approximation. Under a large aspect ratio assumption, which is the case in Rayleigh-B\'enard experiments with Prandtl number close to one, we prove the existence of a global strong solution to the 3D Navier-Stokes equation coupled with a heat equation, and the existence of a maximal B-attractor. A rigorous two-scale limit is obtained by homogenization theory. The mean velocity field is obtained by averaging the two-scale limit over the unit torus in the local variable.


title: Asymptotic integration of nonlinear systems of differential equations whose phase portrait is foliated on invariant tori

abstract: We consider the class of autonomous systems $\dot x=f(x)$, where $x \in {\bf R}^{2n}$, $f \in C^1({\bf R}^{2n})$ whose phase portrait is a Cartesian product of $n$ two-dimensional {\em centres}. We also consider perturbations of this system, namely $\dot x=f(x)+g(t,x)$, where $g \in C^1({\bf R}\times{\bf R}^{2n})$ and $g$ is asymptotically small, that is $g\Rightarrow 0$ as $t\to +\infty$ uniformly with respect to $x$. The rate of decrease of $g$ is assumed to be $t^{-p}$ where $p>1$. We prove under this conditions the existence of bounded solutions of the perturbed system and discuss their convergence to solutions of the unperturbed system. This convergence depends on $p$. Moreover, we show that the original unperturbed system may be reduced to the form $\dot r=0$, $\dot\theta=A(r)$, and taking $r\in {\bf R}^m_{+}$, $\theta\in {\bf T}^n$, where ${\bf T}^n$ denotes the $n$-dimensional torus, we investigate the more general case of systems whose phase portrait is foliated on invariant tori. We notice that integrable Hamiltonian systems are of the same nature. We give also several examples, showing that the conditions of our theorems cannot be improved.


title: Manin-Olshansky triples for Lie superalgebras

abstract: Following V. Drinfeld and G. Olshansky, we construct Manin triples $(\fg, \fa, \fa^*)$ such that $\fg$ is different from Drinfeld's doubles of $\fa$ for several series of Lie superalgebras $\fa$ which have no even invariant bilinear form (periplectic, Poisson and contact) and for a remarkable exception. Straightforward superization of suitable Etingof--Kazhdan's results guarantee then the uniqueness of $q$-quantization of our Lie bialgebras. Our examples give solutions to the quantum Yang-Baxter equation in the cases when the classical YB equation has no solutions. To find explicit solutions is a separate (open) problem. It is also an open problem to list (\`a la Belavin-Drinfeld) all solutions of the {\it classical} YB equation for the Poisson superalgebras $\fpo(0|2n)$ and the exceptional Lie superalgebra $\fk(1|6)$ which has a Killing-like supersymmetric bilinear form but no Cartan matrix.


title: q-Newton binomial: from Euler to Gauss

abstract: A counter-intuitive result of Gauss (formulae (1.6), (1.7) below) is made less mysterious by virtue of being generalized through the introduction of an additional parameter.


title: And free lunch for all...

abstract: This is a review of the 5-volumes of Ramanujan's Notebooks, as worked over by Bruce C. Berndt over the last quarter of the XX-th Century. To illustrate how useful Ramanujan's insights could be for anyone who indulges in the wild pleasure of savoring Ramanujan's genius, the reviewer takes one formula of Ramanujan from the Notebooks, analyses it carefully, and arrives at the beginnings of what could be fairly called "Quantum Number Theory."


title: Elliptic curves of twin-primes over Gauss field and Diophantine Equations

abstract: Let $p, q$ be twin prime numbers with $q-p=2$ . Consider the elliptic curves E=E_\sigma: y^2 = x (x+\sigma p)(x+\sigma q) . (\sigma =\pm 1). E=E_\sigma is also denoted as E_+ or E_- when \sigma = +1or $-1.Here the Mordell-Weil group and the rank of the elliptic curve E over the Gauss field K=Q(\sqrt -1) (and over the rational field Q is determined in several cases; and results on solutions of related Diophantine equations and simultaneous Pellian equations will be given. The arithmetic constructs over Q of the elliptic curve E have been studied in the last paper1, the Selmer groups are determined, results on Mordell-Weil group, rank, Shafarevich-Tate group, and torsion subgroups are also obtained.


title: Bounds of ideal class numbers of real quadratic function fields

abstract: The theory of continued fractions of functions $ \sqrt D $ is used to give lower bound for class numbers $h(D)$ of general real quadratic function fields $K=k(\sqrt D)$ over $k={\bf F}_q(T)$. For five series of real quadratic function fields $K$, the bounds of $h(D)$ are given more explicitly, e.g., if $ D=F^2+c,$ \mbox{}\hspace{0.1cm} then $ h(D)\geq {deg}F /{deg} P;$ \hspace{0.1cm} if $D=(SG)^2+cS, $ then $ h(D)\geq {deg}S / {deg} P; $ if $D=(A^m+a)^2+A, $ then $ h(D)\geq {deg}A / {deg} P, $ where $P$ is irreducible polynomial splitting in $K, c\in {\bf F}_q$ is any constant. In addition, six types of quadratic function fields are found to have ideal class numbers bounded and bigger than one. {\bf keywords:} quadratic function field, ideal class number, continued fractions of functions


title: Ideal class groups and subgroups of real quadratic function fields

abstract: Here we study algebraic function fields K, give necessary and sufficient condition for the ideal class group $H(K)$ of any real quadratic function field $K$ to have a cyclic subgroup of order $n$, and obtain eight series of such fields $K$, with four of them NOT ERD-type or GERD-type.


title: Multilinear weighted convolution of $L^2$ functions, and applications to non-linear dispersive equations

abstract: The $X^{s,b}$ spaces, as used by Beals, Bourgain, Kenig-Ponce-Vega, Klainerman-Machedon and others, are fundamental tools to study the low-regularity behaviour of non-linear dispersive equations. It is of particular interest to obtain bilinear or multilinear estimates involving these spaces. By Plancherel's theorem and duality, these estimates reduce to estimating a weighted convolution integral in terms of the $L^2$ norms of the component functions. In this paper we systematically study weighted convolution estimates on $L^2$. As a consequence we obtain sharp bilinear estimates for the KdV, wave, and Schr\"odinger $X^{s,b}$ spaces.


title: Vassiliev invariants of Legendrian, of transverse and framed knots in contact 3-manifolds

abstract: We show that for a large class of contact 3-manifolds the groups of Vassiliev invariants of Legendrian and of framed knots are canonically isomorphic. As a corollary, we obtain that the group of finite order Arnold's $J^+$-type invariants of wave fronts on a surface $F$ is isomorphic to the group of Vassiliev invariants of framed knots in the spherical cotangent bundle $ST^*F$ of $F$. On the other hand we construct the first examples of contact manifolds for which Vassiliev invariants of Legendrian knots can distinguish Legendrian knots that realize isotopic framed knots and are homotopic as Legendrian immersions.


title: A Note on Regularized Shannon's Sampling Formulae

abstract: Error estimation is given for a regularized Shannon's sampling formulae, which was found to be accurate and robust for numerically solving partial differential equations.


title: Moment Inequalities for Symmetric Statistics

abstract: In this paper, we prove analogues of Khintchine and Rosenthal's moment inequalities for symmetric statistics (U-statistics) of arbitrary order. An example that shows significance of each term in the analogues of Rosenthal's bounds for symmetric statistics is constructed as well.


title: The Derived Picard Group is a Locally Algebraic Group

abstract: Let A be a finite dimensional algebra over an algebraically closed field K. The derived Picard group DPic(A) is the group of two-sided tilting complexes over A modulo isomorphism. We prove that DPic(A) is a locally algebraic group, and its identity component is Out^0(A). If B is a derived Morita equivalent algebra then DPic(A) is isomorphic to DPic(B) as locally algebraic groups. Our results extend, and our based on, work of Huisgen-Zimmermann, Saorin and Rouquier.


title: Triangular dynamical r-matrices and quantization

abstract: We provide a general study for triangular dynamical r-matrices using Poisson geometry. We show that a triangular dynamical r-matrix always gives rise to a regular Poisson manifold. Using the Fedosov method, we prove that non-degenerate (i.e., the corresponding Poisson manifolds are symplectic) triangular dynamical r-matrices (over $ \frakh^* $ and valued in $\wedge^{2}\frakg$) are quantizable, and the quantization is classified by the relative Lie algebra cohomology $H^{2}(\frakg, \frakh)[[\hbar ]]$. We also generalize this quantization method to splittable triangular dynamical r-matrices, which include all the known examples of triangular dynamical r-matrices. Finally, we arrive a conjecture that the quantization for an arbitrary triangular dynamical r-matrix is classified by the formal neighbourhood of this r-matrix in the modular space of triangular dynamical r-matrices. The dynamical r-matrix cohomology is introduced as a tool to understand such a modular space.


title: Period map for non-compact holomorphically symplectic manifolds

abstract: We study the deformations of a holomorphic symplectic manifold $M$, not necessarily compact, over a formal ring. We show (under some additional, but mild, assumptions on $M$) that the coarse deformation space exists and is smooth, finite-dimensional and naturally embedded into $H^2(M)$. For a holomorphic symplectic manifold $M$ which satisfies $H^1(M,{\cal O}_M) = H^2(M,{\cal O}_M)=0$, the coarse moduli of formal deformations is isomorphic to $\Spec\C[[t_1, ..., t_n]]$, where $t_1$, ... $t_n$ are coordinates in $H^2(M)$. This revised version contains one minor improvement: exposition in Subsection 5.1 has been made more detailed and rigourous.


title: On the Asymptotics of Takeuchi Numbers

abstract: I present an asymptotic formula for the Takeuchi numbers $T_n$. In particular, I give compelling numerical evidence and present a heuristic argument showing that $$T_n\sim C_T B_n\exp{1\over2}{W(n)}^2$$as $n$ tends to infinity, where $B_n$ are the Bell numbers, W(n) is Lambert's $W$ function, and $C_T=2.239...$ is a constant. Moreover, I show that the method presented here can be generalized to derive conjectures for related problems.


title: Collapsing and Dirac-Type Operators

abstract: We analyze the limit of the spectrum of a geometric Dirac-type operator under a collapse with bounded diameter and bounded sectional curvature. In the case of a smooth limit space B, we show that the limit of the spectrum is given by the spectrum of a certain first-order differential operator on B, which can be constructed using superconnections. In the case of a general limit space X, we express the limit operator in terms of a transversally elliptic operator on a G-space Y, with X = Y/G. As an application, we give a characterization of manifolds which do not admit uniform upper bounds, in terms of diameter and sectional curvature, on the k-th eigenvalue of the square of a Dirac-type operator. We also give a formula for the essential spectrum of a Dirac-type operator on a finite-volume manifold with pinched negative sectional curvature.


title: Fermionic form and Betti numbers

abstract: We state a conjectural relationship between the fermionic form (G. Hatayama, A. Kuniba, M. Okado, T. Takagi, Y. Yamada qa/9812022) and the Betti numbers of a Grassmannian over a preprojective algebra or, equivalently, of a lagrangian quiver variety.


title: Essential self-adjointness of symmetric linear relations associated to first order systems

abstract: The purpose of this note is to present several criteria for essential self-adjointness. The method is based on ideas due to Shubin. This note is divided into two parts. The first part deals with symmetric first order systems on the line in the most general setting. Such a symmetric first order system of differential equations gives rise naturally to a symmetric linear relation in a Hilbert space. In this case even regularity is nontrivial. We will announce a regularity result and discuss criteria for essential self-adjointness of such systems. This part is based on joint work with Mark Malamud. Details will be published elsewhere. In the second part we consider a complete Riemannian manifold, $M$, and a first order differential operator, $D:\cinfz{E}\to \cinfz{F}$, acting between sections of the hermitian vector bundles $E,F$. Moreover, let $V:\cinf{E}\to L^{\infty}_{\loc}(E)$ be a self-adjoint zero order differential operator. We give a sufficient condition for the Schr\"odinger operator $H=D^tD+V$ to be essentially self-adjoint. This generalizes recent work of I. Oleinik \cite{Ole:ESA,Ole:CCQ,Ole:ESAG}, M. Shubin \cite{Shu:CQC,Shu:ESA}, and M. Braverman \cite{Bra:SAS}.


title: Nef divisors in codimension one on the moduli space of stable curves

abstract: Let M_g be the moduli space of smooth curves of genus g >= 3, and \bar{M}_g the Deligne-Mumford compactification in terms of stable curves. Let \bar{M}_g^{[1]} be an open set of \bar{M}_g consisting of stable curves of genus g with one node at most. In this paper, we determine the necessary and sufficient condition to guarantee that a Q-divisor D on \bar{M}_g is nef over \bar{M}_g^{[1]}, that is, (D . C) >= 0 for all irreducible curves C on \bar{M}_g with C \cap \bar{M}_g^{[1]} \not= \emptyset.


title: Functions of Baire class one

abstract: Let $K$ be a compact metric space. A real-valued function on $K$ is said to be of Baire class one (Baire-1) if it is the pointwise limit of a sequence of continuous functions. In this paper, we study two well known ordinal indices of Baire-1 functions, the oscillation index $\beta$ and the convergence index $\gamma$. It is shown that these two indices are fully compatible in the following sense : a Baire-1 function $f$ satisfies $\beta(f) \leq \omega^{\xi_1} \cdot \omega^{\xi_2}$ for some countable ordinals $\xi_1$ and $\xi_2$ if and only if there exists a sequence of Baire-1 functions $(f_n)$ converging to $f$ pointwise such that $\sup_n\beta(f_n) \leq \omega^{\xi_1}$ and $\gamma((f_n)) \leq \omega^{\xi_2}$. We also obtain an extension result for Baire-1 functions analogous to the Tietze Extension Theorem. Finally, it is shown that if $\beta(f) \leq \omega^{\xi_1}$ and $\beta(g) \leq \omega^{\xi_2},$ then $\beta(fg) \leq \omega^{\xi},$ where $\xi=\max\{\xi_1+\xi_2, \xi_2+\xi_1}\}.$ These results do not assume the boundedness of the functions involved.


title: Amenability and exactness for dynamical systems and their C*-algebras

abstract: In this survey, we study the relations between amenability (resp. amenability at infinity) of C*-dynamical systems and equality or nuclearity (resp. exactness) of the corresponding crossed products.


title: On the distribution of points of bounded height on equivariant compactifications of vector groups

abstract: We prove asymptotic formulas for the number of rational points of bounded height on smooth equivariant compactifications of the affine space. (Nous \'etablissons un d\'eveloppement asymptotique du nombre de points rationnels de hauteur born\'ee sur les compactifications \'equivariantes lisses de l'espace affine.)


title: On some aspects of the Deligne-Simpson problem

abstract: The Deligne-Simpson problem in the multiplicative version is formulated like this: {\em give necessary and sufficient conditions for the choice of the conjugacy classes $C_j\in SL(n,{\bf C})$ so that there exist irreducible $(p+1)$-tuples of matrices $M_j\in C_j$ satisfying the equality $M_1... M_{p+1}=I$}. We solve the problem for generic eigenvalues in the case when all the numbers $\Sigma_{j,m}(\sigma)$ of Jordan blocks of a given matrix $M_j$, with a given eigenvalue $\sigma$ and of a given size $m$ (taken over all $j$, $\sigma$, $m$) are divisible by $d>1$. Generic eigenvalues are defined by explicit algebraic inequalities of the form $a\neq 0$. For such eigenvalues there exist no reducible $(p+1)$-tuples. The matrices $M_j$ are interpreted as monodromy operators of regular linear systems on Riemann's sphere.


title: Vector bundles on the cubic threefold

abstract: Let X be a smooth cubic threefold, M the moduli space of stable rank 2 vector bundles on X with trivial determinant and c_2=2 (the smallest value for which this space is non-empty). Recent results of Druel, Iliev, Markushevich and Tikhomirov lead to a precise description of M and its Maruyama compactification M': the latter is isomorphic to the intermediate Jacobian of X blown-up along the Fano surface. In this survey paper we explain these results and discuss some applications.


title: Electron Wavefunctions and Densities for Atoms

abstract: With a special `Ansatz' we analyse the regularity properties of atomic electron wavefunctions and electron densities. In particular we prove an a priori estimate, $\sup_{y\in B(x,R)}|\nabla\psi(y)| \leq C(R) \sup_{y\in B(x,2R)}|\psi(y)|$ and obtain for the spherically averaged electron density, $\widetilde\rho(r)$, that $\widetilde\rho''(0)$ exists and is non-negative.


title: Cohomology of Hopf Bimodules and Cup-product

abstract: Given a Hopf algebra A, there exist various cohomology theories for the category of Hopf bimodules over A, introduced by M. Gerstenhaber and S.D. Schack, and by C. Ospel. We prove, when A is finite dimensional, that they are equal to the Ext functor on the module category of an associative algebra associated to A, described by C. Cibils and M. Rosso. We also give an expression for a cup-product in the cohomology defined by C. Ospel, and prove that it corresponds to the Yoneda product of extensions.


title: On the action of the dual group on the cohomology of perverse sheaves on the affine grassmannian

abstract: It was proved by Ginzburg and Mirkovic-Vilonen that the $G(O)$-equivariant perverse sheaves on the affine grassmannian of a connected reductive group $G$ form a tensor category equivalent to the tensor category of finite dimensional representations of the dual group $G^\vee$. The proof use the Tannakian formalism. The purpose of this paper is to construct explicitely the action of $G^\vee$ on the global cohomology of a perverse sheaf.


title: On Characters of Weyl Groups

abstract: In this note a combinatorial formula related to the symmetric group is generalized to an arbitrary finite Weyl group.


title: R\'esolutions de Demazure affines et formule de Casselman-Shalika g\'eom\'etrique

abstract: We prove a conjecture of Frenkel, Gaitsgory, Kazhdan and Vilonen, related to Fourier coefficients of spherical perverse sheaves on the affine Grassmannian associated to a a split reductive group. Our proof is an extension of the proof given by the first author in the case of GL(n) (see math/9801109); it relies on the study of certain resolutions of Schubert varieties in the affine Grassmannian, built from the so-called minuscule or quasi-minuscule cases.


title: Meromorphic Groups

abstract: We introduce the notion of a meromorphic group, weakening somewhat Fujiki's definition We prove that a meromorphic group is meromorphically an extension of a complex torus by a linear algebraic group, generalizing results in [Fujiki, 1978]. A special case of this result, as well as one of the ingredients in the proof, is that a strongly minimal "modular" meromorphic group is a complex torus, answering a question of Hrushovski. As a consequence, we show that a simple compact complex manifold has algebraic and Kummer dimension zero if an only if its generic type is trivial.


title: Representations of quantum tori and double-affine Hecke algebras

abstract: We study a BGG-type category of infinite dimensional representations of H[W], a semi-direct product of the quantum torus with parameter `q' built on the root lattice of a semisimple group G, and the Weyl group of G. Irreducible objects of our category turn out to be parameterized by semistable G-bundles on the elliptic curve C^*/q^Z. In the second part of the paper we construct a family of algebras depending on a parameter `v' that specializes to H[W] at v=0, and specializes to the double-affine Hecke algebra introduced by Cherednik, at v=1. We propose a Deligne-Langlands-Lusztig type conjecture relating irreducible modules over the double-affine Hecke algebra to Higgs G-bundles on the elliptic curve. The conjecture may be seen as a natural `v-deformation' of the classification of simple H[W]-modules obtained in the first part of the paper. Also, an `operator realization' of the double-affine Hecke algebra, as well as of its Spherical subalgebra, in terms of certain `zero-residue' conditions is given.


title: On the Smooth Points of T-stable Varieties in G/B and the Peterson Map

abstract: Let G be a semi-simple algebraic group over ${\mathbb C}$, B a Borel subgroup of G and T a maximal torus in B. A beautiful unpublished result of Dale Peterson says that if G is simply laced, then every rationally smooth point of a Schubert variety X in G/B is nonsingular in X. The purpose of this paper is to generalize this result to arbitrary T-stable subvarieties of G/B, the only restriction being that G contains no $G_2$ factors. In particular, we show that a Schubert variety X in such a G/B is nonsingular if and only if all the reduced tangent cones of X are linear.


title: On the Complete Solution to the Most General Fifth Degree Polynomial

abstract: The motivation behind this note, is due to the non success in finding the complete solution to the General Quintic Equation. The hope was to have a solution with all the parameters precisely calculated in a straight forward manner. This paper gives the closed form solution for the five roots of the General Quintic Equation. They can be generated on Maple V, or on the new version Maple VI. On the new version of maple, Maple VI, it may be possible to insert all the substitutions calculated in this paper, into one another, and construct one large equation for the Tschirnhausian Transformation. The solution also uses the Generalized Hypergeometric Function which Maple V can calculate, robustly.


title: Disjointly strictly singular inclusions of symmetric spaces

abstract: A condition for the presence of a "gap" between symmetric spaces sufficient for the inclusion of one of these spaces into the other to be disjointly strictly singular is found. This condition is stated in terms of fundamental functions of spaces and is exact in a certain sense. In parallel, necessary and sufficient conditions for an inclusion of Lorentz spaces to be disjointly strictly singular are obtained.


title: Computing Complex Dimension Faster and Deterministically

abstract: We give a new complexity bound for calculating the complex dimension of an algebraic set. Our algorithm is completely deterministic and approaches the best recent randomized complexity bounds. We also present some new, significantly sharper quantitative estimates on rational univariate representations of roots of polynomial systems. As a corollary of the latter bounds, we considerably improve a recent algorithm of Koiran for deciding the emptiness of a hypersurface intersection over the complex numbers, given the truth of the Generalized Riemann Hypothesis (GRH).


title: Computational Arithmetic Geometry I: Sentences Nearly in the Polynomial Hierarchy

abstract: We consider the average-case complexity of some otherwise undecidable or open Diophantine problems. More precisely, consider the following: (I) Given a polynomial f in Z[v,x,y], decide the sentence \exists v \forall x \exists y f(v,x,y)=0, with all three quantifiers ranging over N (or Z). (II) Given polynomials f_1,...,f_m in Z[x_1,...,x_n] with m>=n, decide if there is a rational solution to f_1=...=f_m=0. We show that, for almost all inputs, problem (I) can be done within coNP. The decidability of problem (I), over N and Z, was previously unknown. We also show that the Generalized Riemann Hypothesis (GRH) implies that, for almost all inputs, problem (II) can be done via within the complexity class PP^{NP^NP}, i.e., within the third level of the polynomial hierarchy. The decidability of problem (II), even in the case m=n=2, remains open in general. Along the way, we prove results relating polynomial system solving over C, Q, and Z/pZ. We also prove a result on Galois groups associated to sparse polynomial systems which may be of independent interest. A practical observation is that the aforementioned Diophantine problems should perhaps be avoided in the construction of crypto-systems.


title: Global well-posedness below energy space for the 1D Zakharov system

abstract: The Cauchy problem for the 1-dimensional Zakharov system is shown to be globally well-posed for large data which not necessarily have finite energy. The proof combines the local well-posedness result of Ginibre, Tsutsumi, Velo and a general method introduced by Bourgain to prove a similar result for nonlinear Schr\"odinger equations.


title: Kick stability in groups and dynamical systems

abstract: We consider a general construction of ``kicked systems''. Let G be a group of measure preserving transformations of a probability space. Given its one-parameter/cyclic subgroup (the flow), and any sequence of elements (the kicks) we define the kicked dynamics on the space by alternately flowing with given period, then applying a kick. Our main finding is the following stability phenomenon: the kicked system often inherits recurrence properties of the original flow. We present three main examples. 1) G is the torus. We show that for generic linear flows, and any sequence of kicks, the trajectories of the kicked system are uniformly distributed for almost all periods. 2) G is a discrete subgroup of PSL(2,R) acting on the unit tangent bundle of a Riemann surface. The flow is generated by a single element of G, and we take any bounded sequence of elements of G as our kicks. We prove that the kicked system is mixing for all sufficiently large periods if and only if the generator is of infinite order and is not conjugate to its inverse in G. 3) G is the group of Hamiltonian diffeomorphisms of a closed symplectic manifold. We assume that the flow is rapidly growing in the sense of Hofer's norm, and the kicks are bounded. We prove that for a positive proportion of the periods the kicked system inherits a kind of energy conservation law and is thus superrecurrent. We use tools of geometric group theory and symplectic topology.

categories: math.DS math-ph math.GR math.MP math.NT math.SG


title: Simultaneous approximation and interpolation of functions on continua in the complex plane

abstract: We construct polynomial approximations of Dzjadyk type (in terms of the k-th modulus of continuity, $k \ge 1$) for analytic functions defined on a continuum E in the complex plane, which simultaneously interpolate at given points of E. Furthermore, the error in this approximation is decaying as $e^{-cn^\alpha}$ strictly inside E, where c and $\alpha$ are positive constants independent of the degree n of the approximating polynomial.


title: The anisotropic averaged Euler equations

abstract: The purpose of this paper is to derive the anisotropic averaged Euler equations and to study their geometric and analytic properties. These new equations involve the evolution of a mean velocity field and an advected symmetric tensor that captures the fluctuation effects. Besides the derivation of these equations, the new results in the paper are smoothness properties of the equations in material representation, which gives well-posedness of the equations, and the derivation of a corrector to the macroscopic velocity field. The numerical implementation and physical implications of this set of equations will be explored in other publications.


title: Variational methods, multisymplectic geometry and continuum mechanics

abstract: This paper presents a variational and multisymplectic formulation of both compressible and incompressible models of continuum mechanics on general Riemannian manifolds. A general formalism is developed for non-relativistic first-order multisymplectic field theories with constraints, such as the incompressibility constraint. The results obtained in this paper set the stage for multisymplectic reduction and for the further development of Veselov-type multisymplectic discretizations and numerical algorithms. The latter will be the subject of a companion paper.


title: Enhanced inverse-cascade of energy in the averaged Euler equations

abstract: For a particular choice of the smoothing kernel, it is shown that the system of partial differential equations governing the vortex-blob method corresponds to the averaged Euler equations. These latter equations have recently been derived by averaging the Euler equations over Lagrangian fluctuations of length scale $\a$, and the same system is also encountered in the description of inviscid and incompressible flow of second-grade polymeric (non-Newtonian) fluids. While previous studies of this system have noted the suppression of nonlinear interaction between modes smaller than $\a$, we show that the modification of the nonlinear advection term also acts to enhance the inverse-cascade of energy in two-dimensional turbulence and thereby affects scales of motion larger than $\a$ as well. This latter effect is reminiscent of the drag-reduction that occurs in a turbulent flow when a dilute polymer is added.


title: Approximation by quadrilateral finite elements

abstract: We consider the approximation properties of finite element spaces on quadrilateral meshes. The finite element spaces are constructed starting with a given finite dimensional space of functions on a square reference element, which is then transformed to a space of functions on each convex quadrilateral element via a bilinear isomorphism of the square onto the element. It is known that for affine isomorphisms, a necessary and sufficient condition for approximation of order r+1 in L2 and order r in H1 is that the given space of functions on the reference element contain all polynomial functions of total degree at most r. In the case of bilinear isomorphisms, it is known that the same estimates hold if the function space contains all polynomial functions of separate degree r. We show, by means of a counterexample, that this latter condition is also necessary. As applications we demonstrate degradation of the convergence order on quadrilateral meshes as compared to rectangular meshes for serendipity finite elements and for various mixed and nonconforming finite elements.


title: Finite Groups Embeddable in Division Rings

abstract: Finite groups that are embeddable in the multiplicative groups of division rings $K$ were completely determined by S. A. Amitsur in 1955. In case $K$ has characteristic $p>0$, the only possible finite subgroups of $K^*$ are cyclic groups, according to a theorem of I. N. Herstein. Thus, the only interesting case is when $K$ has characteristic 0; that is, when $K\supseteq {\Bbb Q}$. Herstein conjectured that odd-order subgroups of division rings $K$ were cyclic, and he proved this to be the case when $K$ is the division ring of the real quaternions. Herstein's conjecture was settled negatively by Amitsur. As part of his complete classification of finite groups in division rings, Amitsur showed that the smallest noncyclic odd-order group that can be embedded in a division ring is one of order 63 (and this group is unique). Amitsur's paper is daunting to read as it is long and technically complicated. In lecturing to a graduate class on division rings, I tried to find a simple reason for the ``first exceptional odd order'' 63 (to Herstein's conjecture). After some work, I did come up with a reason that was simple enough to be explained to my class, without having to go through any part of Amitsur's paper. Furthermore, the method I used led easily to the second exceptional odd order, 117 (which was not mentioned in Amitsur's paper). Since this line of reasoning did not seem to have appeared in the literature before, I record it in this short note. To better motivate the results discussed here, I have also included a quick exposition on the beginning part of the theory of finite subgroups of division rings.


title: Braid Groups are Linear

abstract: The braid groups B_n can be defined as the mapping class group of the n-punctured disc. The Lawrence-Krammer representation of the braid group B_n is the induced action on a certain twisted second homology of the space of unordered pairs of points in the n-punctured disc. Recently, Daan Krammer showed that this is a faithful representation in the case n=4. In this paper, we show that it is faithful for all n.


title: Geodesic connectedness of semi-Riemannian manifolds

abstract: The question whether a Riemannian manifold is geodesically connected can be studied from geometrical as well as variational methods, and accurate results can be obtained by using the associated distance and related properties of the positive-definiteness. It is natural to state this problem in manifolds with (possibly non-smooth) boundary, and some conditions on this boundary has been studied. For Lorentzian manifolds, the results cannot be so general, and very different techniques has been introduced which are satisfactory for some classes of Lorentzian manifolds: spaceforms, disprisoning and pseudoconvex manifolds, stationary, globally hyperbolic or multiwarped spacetimes... Some of them are appliable to semi-Riemannian manifolds with higher index or even to manifolds with just an affine connection. Our purpose is to review these semi-Riemannian techniques, discussing the results and possible extensions.


title: Tangent scrolls in prime Fano threefolds

abstract: In this paper we prove that any smooth prime Fano threefold, different from the Mukai-Umemura threefold, contains a 1-dimensional family of intersecting lines. Combined with a result of the second author (see J. Algebr. Geom. 8:2 (1999), 221-244) this implies that any morphism from a smooth Fano threefold of index 2 to a smooth Fano threefold of index 1 must be constant, which gives an answer in dimension 3 to a question stated by Peternell.


title: Polar Varieties and Efficient Real Elimination

abstract: Let $S_0$ be a smooth and compact real variety given by a reduced regular sequence of polynomials $f_1, ..., f_p$. This paper is devoted to the algorithmic problem of finding {\em efficiently} a representative point for each connected component of $S_0$ . For this purpose we exhibit explicit polynomial equations that describe the generic polar varieties of $S_0$. This leads to a procedure which solves our algorithmic problem in time that is polynomial in the (extrinsic) description length of the input equations $f_1, >..., f_p$ and in a suitably introduced, intrinsic geometric parameter, called the {\em degree} of the real interpretation of the given equation system $f_1, >..., f_p$.


title: Extensions of Lie algebras

abstract: We review (non-abelian) extensions of a given Lie algebra, identify a 3-dimensional cohomological obstruction to the existence of extensions. A striking analogy to the setting of covariant exterior derivatives, curvature, and the Bianchi identity in differential geometry is spelled out. In the new version references added: Most of the results are known. So this paper will not be submitted to a journal, it can be regarded as a review paper.


title: Cobordisms and Reidemeister torsions of homotopy lens spaces

abstract: We show that any 3-dimensional homotopy lens space M^3 that is simple-homotopy equivalent to a lens space L(p,q) is topologically s-cobordant to the lens space. It follows that M has the same multi-signature as L(p,q) and the action of \pi_1(M) on the universal cover of M embeds in an orthogonal action on S^7.


title: The action of the Frobenius map on rank 2 vector bundles in characteristic 2

abstract: Let $X$ be an ordinary smooth curve defined over an algebraically closed field of characteristic 2. The absolute Frobenius induces a rational map $F$ on the moduli space $M_X$ of rank 2 vector bundles with fixed trivial determinant. If the genus of $X$ is 2, the moduli space $M_X$ is isomorphic to projective space of dimension 3 (as over the complex numbers). In this case we explicitly give the equations of $F$, which enables us to determine, for example, its base locus (one point) and its image (different from $M_X$).


title: A Note on Cyclic Gradients

abstract: Simple necessary and sufficient conditions for a $n$-tuple of noncommutative polynomials to be a cyclic gradient are given and similarly for a noncommutative polynomial to have a vanishing cyclic gradient. Connections with free probability are explained.


title: A fixed point formula for loop group actions

abstract: We express the index of the Dirac operator on symplectic quotients of a Hamiltonian loop group manifold with proper moment map in terms of fixed point data.


title: Formulas of Verlinde type for non-simply connected groups

abstract: We derive Verlinde's formula from the fixed point formula for loop groups proved in the companion paper "A fixed point formula for loop group actions", and extend it to compact, connected groups that are not necessarily simply-connected.


title: Polar Cremona transformations

abstract: In this paper we address the following question arising from the work of P. Etingof, D. Kazhdan and A. Polishchuk (math.AG/0003009): given a homogeneous complex polynomial, when the rational map defined by its partials is of degree 1? We answer this question for reduced polynomials in three variables and also for reduced polynomials in four variables which factor into the product of linear polynomials.


title: Four Easy Pieces - Explicit R Matrices from the (\dot{0}_m|\alpha) Highest Weight Representations of U_q[gl(m|1)]

abstract: We provide explicit presentations of members of a suite of R matrices arising from the (\dot{0}_m|\alpha) representations of the quantum superalgebras U_q[gl(m|1)]. Our algorithm constructs both trigonometric and quantum R matrices; all of which are graded, in that they solve a graded Yang-Baxter equation. This grading is easily removed, yielding R matrices that solve the usual Yang-Baxter equation. For m>2, the computations are impracticable for a human to perform, so we have implemented the entire process in Mathematica, and then performed the computations for m=1,2,3 and 4.


title: A Possible Origin of Logic

abstract: An origin is often an intriguing issue. It becomes doubly intriguing when the logical form of thinking is considered. In this paper we will investigate exactly that: we will conjecture on the origin of basic instruments of logical thinking. As the starting point we consider a very general case of a subject interacting with an environment. The subject might often have a choice of actions to take. Additionally, it is of fundamental importance that as a rule the subject's internal representations of (beliefs about) the environment are inaccurate. Beginning with this very general schema we will eventually arrive at a possible mechanism of how Logic could have emerged. Our reasoning will be supported with some in-depth case studies.


title: Compatible and Almost Compatible Pseudo-Riemannian Metrics

abstract: Notions of compatible and almost compatible pseudo-Riemannian metrics, which are motivated by the theory of compatible (local and nonlocal) Poisson structures of hydrodynamic type and generalize the notion of flat pencil of metrics, are introduced and studied.


title: Kazhdan-Lusztig polynomials for 321-hexagon-avoiding permutations

abstract: We give a combinatorial formula for the Kazhdan-Lusztig polynomials $P_{x,w}$ in the symmetric group when $w$ is a 321-hexagon-avoiding permutation. Our formula, which depends on a combinatorial framework developed by Deodhar, can be expressed in terms of a simple statistic on all subexpressions of any fixed reduced expression for $w$. We also show that $w$ being 321-hexagon-avoiding is equivalent to several other conditions, such as the Bott-Samelson resolution of the Schubert variety $X_w$ being small. We conclude with a simple method for completely determining the singular locus of $X_w$ when $w$ is 321-hexagon-avoiding.


title: Restoring Fairness to Dukego

abstract: In this paper we correct an analysis of the two-player perfect-information game Dukego given in Berlekamp, Conway, and Guy's Winning Ways for your Mathematical Plays (Chapter 19). In particular, we characterize the board dimensions that are fair, i.e., those for which the first player to move has a winning strategy.


title: Compactness Theorems for Geometric Packings

abstract: Moser asked whether the collection of rectangles of dimensions 1 x 1/2, 1/2 x 1/3, 1/3 x 1/4, ..., whose total area equals 1, can be packed into the unit square without overlap, and whether the collection of squares of side lengths 1/2, 1/3, 1/4, ... can be packed without overlap into a rectangle of area pi^2/6-1. Computational investigations have been made into packing these collections into squares of side length 1+epsilon and rectangles of area pi^2/6-1+epsilon, respectively, and one can consider the apparently weaker question whether such packings are possible for every positive number epsilon. In this paper we establish a general theorem on sequences of geometrical packings that implies in particular that the ``for every epsilon'' versions of these two problems are actually equivalent to the original tiling problems.


title: Sheaf Cohomolog and Free Resolutions over Exterior Algebras

abstract: In this paper we derive an explicit version of the Bernstein-Gel'fand-Gel'fand (BGG) correspondence between bounded complexes of coherent sheaves on projective space and minimal doubly infinite free resolutions over its ``Koszul dual'' exterior algebra. This leads to an efficient method for machine computation of the cohomology of sheaves. Among the facts about the BGG correspondence that we derive is that taking homology of a complex of sheaves corresponds to taking the ``linear part'' of a resolution over the exterior algebra. Using these results we give a constructive proof of the existence of a Beilinson monad for a sheaf on projective space. The explicitness of our version allows us to to prove two conjectures about the morphisms in the monad. Along the way we prove a number of results about minimal free resolutions over an exterior algebra. For example, we show that such resolutions are eventually dominated by their "linear parts" in the sense that erasing all terms of degree $>1$ in the complex yields a new complex which is eventually exact.


title: Harmonic spinors on homogeneous spaces

abstract: Let G be a compact, semi-simple Lie group and H a maximal rank reductive subgroup. The irreducible representations of G can be constructed as spaces of harmonic spinors with respect to a Dirac operator on the homogeneous space G/H twisted by bundles associated to the irreducible, possibly projective, representations of H. Here, we give a quick proof of this result, computing the index and kernel of this twisted Dirac operator using a homogeneous version of the Weyl character formula noted by Gross, Kostant, Ramond, and Sternberg, as well as recent work of Kostant regarding an algebraic version of this Dirac operator.


title: Multiplets of representations and Kostant's Dirac operator for equal rank loop groups

abstract: Let g be a semi-simple Lie algebra and let h be a reductive subalgebra of maximal rank in g. Given any irreducible representation of g, consider its tensor product with the spin representation associated to the orthogonal complement of h in g. Gross, Kostant, Ramond, and Sternberg recently proved a generalization of the Weyl character formula which decomposes the signed character of this product representation in terms of the characters of a set of irreducible representations of h, called a multiplet. Kostant then constructed a formal h-equivariant Dirac operator on such product representations whose kernel is precisely the multiplet of h-representations corresponding to the given representation of g. We reproduce these results in the Kac-Moody setting for the extended loop algebras Lg and Lh. We prove a homogeneous generalization of the Weyl-Kac character formula, which now yields a multiplet of irreducible positive energy representations of Lh associated to any irreducible positive energy representation of Lg. We construct a Lh-equivariant operator, analogous to Kostant's Dirac operator, on the tensor product of a representation of Lg with the spin representation associated to the complement of Lh in Lg. We then prove that the kernel of this operator gives the Lh-multiplet corresponding to the original representation of Lg.


title: An information-spectrum approach to joint source-channel coding

abstract: Given a general source $\sV=\{V^n\}\noi$ with {\em countably infinite} source alphabet and a general channel $\sW=\{W^n\}\noi$ with arbitrary {\em abstract} channel input and output alphabets, we study the joint source-channel coding problem from the information-spectrum point of view. First, we generalize Feinstein's lemma (direct part) and Verd\'u-Han's lemma (converse part) so as to be applicable to the general joint source-channel coding problem. Based on these lemmas, we establish a sufficient condition as well as a necessary condition for the source $\sV$ to be reliably transmissible over the channel $\sW$ with asymptotically vanishing probability of error. It is shown that our sufficient condition coincides with the sufficient condition derived by Vembu, Verd\'u and Steinberg, whereas our necessary condition is much stronger than the necessary condition derived by them. Actually, our necessary condition coincide with our sufficient condition if we disregard some asymptotically vanishing terms appearing in those conditions. Also, it is shown that {\em Separation Theorem} in the generalized sense always holds. In addition, we demonstrate a sufficient condition as well as a necessary condition for the $\vep$-transmissibility ($0\le \vep <1$). Finally, the separation theorem of the traditional standard form is shown to hold for the class of sources and channels that satisfy the (semi-) strong converse property.


title: On Jordan angles and triangle inequality in Grassmannian

abstract: We obtain the following version of Lidskii theorem. Let L, M, N be p-dimensional subspaces in R^n. Let \psi_j be the angles between L and M, let \phi_j be the angles between M and N, and let \theta_j be the angles between L and N. Consider the orbit of the vector \psi with respect to permutations of coordinates and inversions of axises. Let Z be the convex hull of this orbit. Then \theta is an element of the polyhedron \phi + Z. We discuss similar theorems for other symmetric spaces. We obtain formula for geodesic distance for any invariant Finsler metrics on a classical Riemannian symmetric space.


title: Characterization of the atomic space $H^1$ for non doubling measures in terms of a grand maximal operator

abstract: Let $\mu$ be a Radon measure on $R^d$, which may be non doubling. The only condition that $\mu$ must satisfy is $\mu(B(x,r))\leq C r^n$, for all $x,r$ and for some fixed $0<n\leq d$. Recently we introduced spaces of type $BMO(\mu)$ and $H^1(\mu)$ which proved to be useful to study the $L^p(\mu)$ boundedness of Calder\'on-Zygmund operators without assuming doubling conditions. In this paper a characterization of the new atomic space $H^1(\mu)$ in terms of a grand maximal operator $M_\Phi$ is given. It is shown that $f$ belongs to $H^1(\mu)$ iff $f\in L^1(\mu)$, $\int f d\mu=0$ and $M_\Phi(f)\in L^1(\mu)$, as in the usual doubling situation. The lack of any regularity condition on $\mu$, apart from the size condition stated above, is one of the main difficulties that appears when one tries to extend the classical arguments to the present situation.


title: Hierarchical structures in Sturmian dynamical systems

abstract: Paper withdrawn; will be replaced by revised version containing application to lattice models as well. We study hierarchical properties of Sturmian words. These properties are similar to those of substitution dynamical systems. This approach allows one to carry over to Sturmian dynamical systems methods developed in the context of substitutions. For example, it allows for a very simple proof of a uniform ergodic type theorem for additive functions taking values in a Banach space. We then focus on establishing various versions of uniform subadditive ergodic type theorems. The main result states that linear repetitivity of a Sturmian system is equivalent to the validity of a uniform subadditive ergodic theorem which in turn is equivalent to uniform positivity of certain weights. Thus, the results of this paper completely cover the validity of uniform additive and subadditive ergodic theorems on Sturmian systems.


title: Linear repetitivity, I. Uniform subadditive ergodic theorems and applications

abstract: This paper is concerned with the concept of linear repetitivity in the theory of tilings. We prove a general uniform subadditive ergodic theorem for linearly repetitive tilings. This theorem unifies and extends various known (sub)additive ergodic theorems on tilings. The results of this paper can be applied in the study of both random operators and lattice gas models on tilings.


title: Jonssons's theorem in non-modular varieties

abstract: A version of Jonsson's theorem, as previously generalized, holds in non-modular varieties.


title: Local well-posedness of the Yang-Mills equation in the Temporal Gauge below the energy norm

abstract: We show that the Yang-Mills equation in three dimensions is locally well-posed in the Temporal gauge for initial data in H^s x H^{s-1} for s > 3/4, if the norm of the initial data is sufficiently small. The main new ingredients are a splitting of the connection into curl-free and div-free components, and some product estimates which interact solutions of wave equations Box u = F with solutions of time integration equations partial_t u = F.


title: Partial measures

abstract: We study sigma-additive set functions defined on a hereditary subclass of a sigma-algebra and taken values in the extended real line. Analogs of the Jordan decomposition theorem and the Radon-Nikodym theorem are obtained.


title: Banach space representations and Iwasawa theory

abstract: The lack of a $p$-adic Haar measure causes many methods of traditional representation theory to break down when applied to continuous representations of a compact $p$-adic Lie group $G$ in Banach spaces over a given $p$-adic field $K$. For example, Diarra showed that the abelian group $G=\dZ$ has an enormous wealth of infinite dimensional, topologically irreducible Banach space representations. We therefore address the problem of finding an additional ''finiteness'' condition on such representations that will lead to a reasonable theory. We introduce such a condition that we call ''admissibility''. We show that the category of all admissible $G$-representations is reasonable -- in fact, it is abelian and of a purely algebraic nature -- by showing that it is anti-equivalent to the category of all finitely generated modules over a certain kind of completed group ring $K[[G]]$. As an application of our methods we determine the topological irreducibility as well as the intertwining maps for representations of $GL_2(\dZ)$ obtained by induction of a continuous character from the subgroup of lower triangular matrices.


title: Uniform ergodic theorems on subshifts over a finite alphabet

abstract: We investigate uniform ergodic type theorems for additive and subadditive functions on a subshift over a finite alphabet. We show that every strictly ergodic subshift admits a uniform ergodic theorem for Banach-space-valued additive functions. We then give a necessary and sufficient condition on a minimal subshift to allow for a uniform subadditive ergodic theorem. This provides in particular a sufficient condition for unique ergodicity.


title: On a theorem of Henri Cartan concerning the equivaraint cohomology

abstract: Suppose G is a compact Lie group and N is a closed normal subgroup of G acting freely on a smooth manifold X. The Cartan theorem alluded to in the title postulates the existence of a natural isomorphism between the G-equivariant cohomology X and the G/N-equivariant cohomology of X/N. In this note we use J. Kalkman's explicit isomorphism between the Cartan and Weil models of equivariant cohomology to show that 1) Cartan's theorem is a simple consequence of Chern-Weil's transgression formula and 2) explicitly describe this isomorphism at the cochain level.


title: Multiple zeta-values, Galois groups, and geometry of modular varieties

abstract: We discuss the following two problems: 1) The properties of the multiple zeta-values and their generalizations, multiple polylogarithms at N-th roots of unity; 2) The action of the absolute Galois group on the pro-l-completion of the fundamental group of the projective line without zero, infinity, and all N-th roots of unity; and a surprising connection of these problems with the geometry and topology of modular varieties for GL_m.


title: Lines on Non-degenerate Surfaces

abstract: On an affine variety $X$ defined by homogeneous polynomials, every line in the tangent cone of $X$ is a subvariety of $X$. However there are many other germs of analytic varieties which are not of cone type but contain ``lines'' passing through the origin. In this paper, we give a method to determine the existence and the ``number'' of such lines on non-degenerate surface singualrities.


title: The q-twisted cohomology and the q-hypergeometric function at |q|=1

abstract: We construct the q-twisted cohomology associated with the q-multiplicative function of Jordan-Pochhammer type at |q|=1. In this framework, we prove the Heine's relations and a connection formula for the q-hypergeometric function of the Barnes type. We also prove an orthogonality relation of the q-little Jacobi polynomials at |q|=1.


title: U(g)-finite locally analytic representations

abstract: In this paper we continue the study of locally analytic representations of a $p$-adic Lie group $G$ in vector spaces over a spherically complete non-archimedean field $K$, building on the algebraic approach to such representations introduced in our paper "Locally analytic distributions and p-adic representation theory, with applications to GL_2." In that paper we associated to a representation $V$ a module $M$ over the ring $D(G,K)$ of locally analytic distributions on $G$ and described an admissibility condition on $V$ in terms of algebraic properties of $M$. In this paper we determine the relationship between our admissibility condition on locally analytic modules and the traditional admissibility of Langlands theory. We then analyze the class of locally analytic representations with the property that their associated modules are annihilated by an ideal of finite codimension in the universal enveloping algebra of G, showing under some hypotheses on G that they are sums of representations of the form $X\otimes Y$, with X finite dimensional and Y smooth. The irreducible representations of this type are obtained when X and Y are irreducible. We conclude by analyzing the reducible members of the locally analytic principal series of $SL_2(\Qp)$.


title: The identification capacity and resolvability of channels with input cost constraint

abstract: Given a general channel, we first formulate the idetification capacity problem as well as the resolvability problem with input cost constraint in as the general form as possible, along with relevant fundamental theorems. Next, we establish some mild sufficient condition for the key lemma linking the identification capacity with the resolvability to hold for the continuous input alphabet case with input cost constraint. Under this mild condition, it is shown that we can reach the {\em continuous}-input fundamental theorem of the same form as that for the fundamental theorem with {\em finite} input alphabet. Finally, as important examples of this continuous-input fundamental theorem, we show that the identification capacity as well as the resolvability coincides with the channel capacity for stationary additive white (and also non-white) Gaussian noise channels.


title: Locally Sasakian Manifolds

abstract: We show that every Sasakian manifold in dimension $2k+1$ is locally generated by a free real function of $2k$ variables. This function is a Sasakian analogue of the K\"ahler potential for K\"ahler geometry. It is also shown that every locally Sasakian-Einstein manifold in $2k+1$ dimensions is generated by a locally K\"ahler-Einstein manifold in dimension $2k$.


title: Logarithmic deformations of normal crossing Enriques surfaces in characteristic two

abstract: Working in characteristic two, I classify nonsmooth Enriques surfaces with normal crossing singularities. Using Kato's theory of logarithmic structures, I show that such surfaces are smoothable and lift to characteristic zero, provided they are d-semistable.


title: Witten solution of the Gelfand-Dikii hierarchy

abstract: Among solutions of n-Gelfand-Dikii's hierarchy there exists a remarkable solution W, which satisfies the string equation. We call it Witten's solution because according to the Witten conjecture the function F(x_1, x_2, x_3,...) = W(x_1,(x_2)/2, (x_3)/3,...) is the generating function for intersection nambers of Mumford-Morita-Muller cohomological classes of the moduli space of n-spin Riemann surfaces. This conjecture was proved by Kontsevich for n=2 and by Witten himself for surfaces of genus 0. In this paper we find recurrence relations between coefficients of Taylor series of W. This reduces the Witten's conjecture to conjecture that the Mamford-Morita-Muller numbers satisfy to the same relations. These relations give also an algorithm for calculation of $n$-spin Mamford-Morita-Muller numbers in assuming that the Witten conjecture is true. Moreover we prove that F(x_1,x_2,...,x_{n-1},0,0,...)= W(x_1, (x_2)/2,...,(x_{n-1})/(n-1),0,0,...).


title: Similarity problems and length

abstract: This is a survey of the author's recent results on the Kadison and Halmos similarity problems and the closely connected notion of ``length'' of an operator algebra.


title: Resolution of singularities of null cones

abstract: We give canonical resolutions of singularities of several cone varieties arising from invariant theory. We establish a connection between our resolutions and resolutions of singularities of closure of conjugacy classes in classical Lie algebras.


title: Classification of equivariant real vector bundles over a circle

abstract: This is a continuation of the authors' previous work [math.AT/9910001] on classification of equivariant complex vector bundles over a circle. In this paper we classify equivariant real vector bundles over a circle with a compact Lie group action, by characterizing the fiber representations of them, and by using the result of the complex case. We also treat the triviality of them. The basic phenomenon is similar to the complex case but more complicated here.


title: A Dehn surgery description of regular finite cyclic covering spaces of rational homology spheres

abstract: We provide related Dehn surgery descriptions for rational homology spheres and a class of their regular finite cyclic covering spaces. As an application, we use the surgery descriptions to relate the Casson invariants of the covering spaces to that of the base space. Finally, we show that this places restrictions on the number of finite and cyclic Dehn fillings of the knot complements in the covering spaces beyone those imposed by Culler-Gordon-Luecke-Shalen and Boyer-Zhang.


title: On Integrability of the Equations for Nonsingular Pairs of Compatible Flat Metrics

abstract: We deal with the problem of description of nonsingular pairs of compatible flat metrics for the general $N$-component case. We describe the scheme of the integrating the nonlinear equations describing nonsingular pairs of compatible flat metrics (or, in other words, nonsingular flat pencils of metrics). It is based on the reducing this problem to a special reduction of the Lame equations and the using the Zakharov method of differential reductions in the dressing method (a version of the inverse scattering method).


title: A Krein-Like Formula for Singular Perturbations of Self-Adjoint Operators and Applications

abstract: Given a self-adjoint operator $A:D(A)\subseteq\calH\to\calH$ and a continuous linear operator $\tau:D(A)\to\X$ with Range$ \tau'\cap\calH' ={0}$, $\X$ a Banach space, we explicitly construct a family $A^\tau_\Theta$ of self-adjoint operators such that any $A^\tau_\Theta$ coincides with the original $A$ on the kernel of $\tau$. Such a family is obtained by giving a Kre\u\i n-like formula where the role of the deficiency spaces is played by the dual pair $(\X,\X')$; the parameter $\Theta$ belongs to the space of symmetric operators from $\X'$ to $\X$. When $\X=\C$ one recovers the ``$\calH_{-2}$ -construction'' of Kiselev and Simon and so, to some extent, our results can be regarded as an extension of it to the infinite rank case. Considering the situation in which $\calH=L^2(\RE^n)$ and $\tau$ is the trace (restriction) operator along some null subset, we give various applications to singular perturbations of non necessarily elliptic pseudo-differential operators, thus unifying and extending previously known results.


title: Homogeneous Coordinates and Quotient Presentations for Toric Varieties

abstract: Generalizing cones over projective toric varieties, we present arbitrary toric varieties as quotients of quasiaffine toric varieties. Such quotient presentations correspond to groups of Weil divisors generating the topology. Groups comprising Cartier divisors define free quotients, whereas $\QQ$-Cartier divisors define geometric quotients. Each quotient presentation yields homogeneous coordinates. Using homogeneous coordinates, we express quasicoherent sheaves in terms of multigraded modules and describe the set of morphisms into a toric variety.


title: On Wlodarczyk's embedding theorem

abstract: We prove the following version of Wlodarczyk's Embedding Theorem: Every normal complex algebraic ${\bf C}^*$-variety admits an equivariant closed embedding into a toric prevariety $X$ on which ${\bf C}^*$ acts as a one-parameter-subgroup of the big torus of $X$.


title: The Configuration space integral for links in R^3

abstract: The perturbative expression of Chern-Simons theory for links in Euclidean 3-space is a linear combination of integrals on configuration spaces. This has successively been studied by Guadagnini, Martellini and Mintchev, Bar-Natan, Kontsevich, Bott and Taubes, D. Thurston, Altschuler and Freidel, Yang and others. We give a self-contained version of this study with a new choice of compactification, and we formulate a rationality result.


title: Equivariant embeddings into smooth toric varieties

abstract: We characterize embeddability of algebraic varieties into smooth toric varieties and prevarieties. Our embedding results hold also in an equivariant context and thus generalize a well known embedding theorem of Sumihiro on quasiprojective G-varieties. The main idea is to reduce the embedding problem to the affine case. This is done by constructing equivariant affine conoids, a tool which extends the concept of an equivariant affine cone over a projective G-variety to a more general framework.


title: Combinatorial Differential Forms

abstract: We extend to a scheme-theoretic context the notion of a combinatorial differential form, due to A.Kock in the framework of synthetic differential geometry. We show that group-valued combinatorial forms on a scheme may be identified, under very general hypotheses, with traditional Lie algebra-valued differential forms, and that their Lie algebra structure can be recovered from first principles. Some basic results from differential geometry (Maurer-Cartan equation, Bianchi identity), as well as a higher analogue, are obtained by exploiting this identification.


title: Rapidly converging series for the Weierstrass zeta-function and the Kronecker function

abstract: We present expressions for the Weierstrass zeta-function and related elliptic functions by rapidly converging series. These series arise as triple products in the A-infinity category of an elliptic curve.


title: On the space of Fredholm operators

abstract: We describe two topologies on the space of unbounded Fredholm operators and we explain their K-theoretic relevance. In the process we also prove a very general result concerning the continuity of families of first order, elliptic boundary value problems.


title: Realizations of quantum hom-spaces, invariant theory and quantum determinantal ideals

abstract: For a Hecke operator $R$, one defines the matrix bialgebra $\E_R$, which is considered as the function algebra on the quantum space of endomorphisms of the quantum space associated to $R$. One generalizes this notion, defining the function algebra $\M_{RS}$ on the quantum space of homomorphisms of two quantum spaces associated to two Hecke operators $R$ and $S$ respectively. $\M_{RS}$ can be considered as a quantum analogue (or a deformation) of the function algebra on the variety of matrices of a certain degree. We provide two realiztions of $\M_{RS}$ as a quotient algebra and as a subalgebra of a tensor algebra, whence derive interesting informations about $\M_{RS}$, for instance the Koszul property, a formula for computing the Poincar\'e series. On $\M_{RS}$ coact the bialgebras $\E_R$ and $\E_S$. We study the two-sided ideals in $\M_{RS}$, invariant with respect to these actions, in particular, the determinantal ideals. We prove analogies of the fundamental theorems on invariant theory for these quantum groups and quantum hom-spaces.


title: Lie algebras associated to fiber-type arrangements

abstract: Given a hyperplane arrangement in a complex vector space of dimension n, there is a natural associated arrangement of codimension k subspaces in a complex vector space of dimension k*n. Topological invariants of the complement of this subspace arrangement are related to those of the complement of the original hyperplane arrangement. In particular, if the hyperplane arrangement is fiber-type, then, apart from grading, the Lie algebra obtained from the descending central series for the fundamental group of the complement of the hyperplane arrangement is isomorphic to the Lie algebra of primitive elements in the homology of the loop space for the complement of the associated subspace arrangement. Furthermore, this last Lie algebra is given by the homotopy groups modulo torsion of the loop space of the complement of the subspace arrangement. Looping further yields an associated Poisson algebra, and generalizations of the "universal infinitesimal Poisson braid relations."


title: On Fourier frames

abstract: We solve the problem of Duffin and Schaeffer (1952) of characterizing those sequences of real frequencies which generate Fourier frames. Equivalently, we characterize the sampling sequences for the Paley-Wiener space. The key step is to connect the problem with de Branges' theory of Hilbert spaces of entire functions. We show that our description of sampling sequences permits us to obtain a classical inequality of H. Landau as a consequence of Pavlov's description of Riesz bases of complex exponentials and the John-Nirenberg theorem. Finally, we discuss how to transform our description into a working condition by relating it to an approximation problem for subharmonic functions. By this approach, we determine the critical growth rate of a nondecreasing function $\psi$ such that the sequence $\{\lamdda_k\}){k\in \Bbb Z}$ defined by $\lambda_k + \psi(\lambda_k)=k$ is a sampling.


title: Large characteristic subgroups of surface groups not containing any simple loops

abstract: We determine the largest (i.e. smallest index) characteristic subgroup of surface groups not containing any simple loops.


title: Estimates of Weil-Petersson volumes via effective divisors

abstract: We study the asymptotics of the Weil-Petersson volumes of the moduli spaces of compact Riemann surfaces of genus $g$ with $n$ punctures, for fixed $n$ as $g \to \infty$.


title: A generalization of Kummer's identity

abstract: The well-known Kummer's formula evaluates the hypergeometric series 2F1(A,B;C;-1) when the relation B-A+C=1 holds. This paper deals with evaluation of 2F1(-1) series in the case when C-A+B is an integer. Such a series is expressed as a sum of two \Gamma-terms multiplied by terminating 3F2(1) series. A few such formulas were essentially known to Whipple in 1920's. Here we give a simpler and more complete overview of this type of evaluations. Additionally, algorithmic aspects of evaluating hypergeometric series are considered. We illustrate Zeilberger's method and discuss its applicability to non-terminating series, and present a couple of similar generalizations of other known formulas.


title: Focal Loci of Algebraic Varieties I

abstract: The focal locus $\Sigma_X$ of an affine variety $X$ is roughly speaking the (projective) closure of the set of points $O$ for which there is a smooth point $x \in X$ and a circle with centre $O$ passing through $x$ which osculates $X$ in $x$. Algebraic geometry interprets the focal locus as the branching locus of the endpoint map $\epsilon$ between the Euclidean normal bundle $N_X$ and the projective ambient space ($\epsilon$ sends the normal vector $O-x$ to its endpoint $O$), and in this paper we address two general problems : 1) Characterize the "degenerate" case where the focal locus is not a hypersurface 2) Calculate, in the case where $\Sigma_X$ is a hypersurface, its degree (with multiplicity)


title: Families of maximal subbundles of stable vector bundles on curves

abstract: Let X be a smooth projective curve of genus g bigger then 2. For any vector bundle E on X let M_k(E) be the scheme of all rank k subbundles of E with maximal degree. For every integers r, k and x with 0<k<r, x positive and either x less then (k-1)(r-2k+1) (if 2k is less then r) or (r-k-1)(2k-r+1) (if 2k> r), we construct a rank r stable vector bundle E such that M_k(E) has an irreducible component of dimension x. Furthermore, if there exists a stable vector bundle F with small Lange's invariant s_k(F) and with M_k(F) `spread enough', then X i s a multiple covering of a curve of genus bigger then 2.


title: Uniform Bounds and Symbolic Powers on Smooth Varieties

abstract: We show how multiplier ideals can be used to obtain uniform multiplicative bounds for certain families of ideals on a smooth complex algebraic variety. In particular we prove a quick but rather surprising result about symbolic powers of radical ideals on such a variety. Specifically, let I be a radical ideal sheaf on a smooth variety X defining a reduced subscheme Z of X and suppose that every irreducible component of Z has codimension at most e in X. Given an integer m > 0 suppose that f is a function germ that vanishes to order at least e.m at a general point of each irreducible component of Z . Then in fact f lies in the m-th power I^m of I.


title: Decomposition of analytic measures on groups and measure spaces

abstract: This paper provides a new approach to proving generalizations of the F.&M. Riesz Theorem, for example, the result of Helson and Lowdenslager, the result of Forelli (and de Leeuw and Glicksberg), and more recent results of Yamagushi. We study actions of a locally compact abelian group with ordered dual onto a space of measures, and consider those measures that are analytic, that is, the spectrum of the action on the measure is contained within the positive elements of the dual of the group. The classical results tell us that the singular and absolutely continuous parts of the measure (with respect to a suitable measure) are also analytic. The approach taken in this paper is to adopt the transference principle developed by the authors and Saeki in another paper, and apply it to martingale inequalities of Burkholder and Garling. In this way, we obtain a decomposition of the measures, and obtain the above mentioned results as corollaries.


title: Grothendieck groups and tilting objects

abstract: Let C be a connected noetherian hereditary abelian Ext-finite category with Serre functor over an algebraically closed field k, with finite dimensional homomorphism and extension spaces. Using the classification of such categories from math.RT/9911242, we prove that if C has some object of infinite length, then the Grothendieck group of C is finitely generated if and only if C has a tilting object.


title: A quantum analog of the Poincare-Birkhoff-Witt theorem

abstract: We reduce the basis construction problem for Hopf algebras generated by skew-primitive semi-invariants to a study of special elements, called ``super-letters,'' which are defined by Shirshov standard words. In this way we show that above Hopf algebras always have sets of PBW-generators (``hard'' super-letters). It is shown also that these Hopf algebras having not more than finitely many ``hard'' super-letters share some of the properties of universal enveloping algebras of finite-dimensional Lie algebras. The background for the proofs is the construction of a filtration such that the associated graded algebra is obtained by iterating the skew polynomials construction, possibly followed with factorization.


title: Good representations and solvable groups

abstract: We give a characterization of connected solvable groups in terms of the existence of representations with certain geometric properties. The existence of such representations for the group of upper triangular matrices played an important role in the proof of the authors' equivariant Riemann-Roch theorem.