title: What a classical r-matrix really is

abstract: The notion of classical $r$-matrix is re-examined, and a definition suitable to differential (-difference) Lie algebras, -- where the standard definitions are shown to be deficient, -- is proposed, the notion of an ${\mathcal O}$-operator. This notion has all the natural properties one would expect form it, but lacks those which are artifacts of finite-dimensional isomorpisms such as not true in differential generality relation $\mbox{End}\, (V) \simeq V^* \otimes V$ for a vector space $V$. Examples considered include a quadratic Poisson bracket on the dual space to a Lie algebra; generalized symplectic-quadratic models of such brackets (aka Clebsch representations); and Drinfel'd's 2-cocycle interpretation of nondegenate classical $r$-matrices.


title: Continuous and discrete transformations of a one-dimensional porous medium equation

abstract: We consider the one-dimensional porous medium equation $u_t=\left (u^nu_x \right )_x+\frac{\mu}{x}u^nu_x$. We derive point transformations of a general class that map this equation into itself or into equations of a similar class. In some cases this porous medium equation is connected with well known equations. With the introduction of a new dependent variable this partial differential equation can be equivalently written as a system of two equations. Point transformations are also sought for this auxiliary system. It turns out that in addition to the continuous point transformations that may be derived by Lie's method, a number of discrete transformations are obtained. In some cases the point transformations which are presented here for the single equation and for the auxiliary system form cyclic groups of finite order.


title: Harmonic cocycles and cohomology of arithmetic groups (in positive characteristic)

abstract: Let $K$ be a global field of characteristic $p>0$. We study the cohomology of arithmetic subgroups $\Gamma $ of $SL_{n+1}(K)$ (with respect to a fixed place of $K$), under the hypothesis that these groups have no $p'$-torsion (any arithmetic group possesses a normal subgroup of finite index without $p'$-torsion). We define the cohomology of $\Gamma $ with compact supports and values in ${\Bbb Z}[1/p]$, and we relate it to spaces of harmonic cocycles, also with compact supports (\S 3). We give a description of the locus of these supports, in particular by introducing a notion of cusp in dimension $n\geq 1$ (\S 4) and we calculate "geometrically" the Euler-Poincar\'e characteristic of this cohomology, up to torsion (\S 5).


title: A singular K3 surface related to sums of consecutive cubes

abstract: We study the surface arising from the diophantine equation $m^3+(m+1)^3+...+(m+k-1)^3=l^2$. It turns out that this is a $K3$ surface with Picard number 20. We stduy its aritmetic properties in detail. We construct elliptic fibrations on it, and we find a parametric solution to the original equation. Also, we determine the Hasse-Weil zeta function of the surface over $Q$.


title: Exactness of reduced amalgamated free product C*-algebras

abstract: Some completely positive maps on reduced amalgamated free products of C*-algebras are constructed; these allow a proof that the class of exact unital C*-algebras is closed under taking reduced amalgamated free products. Consequently, the class of exact discrete groups is closed under taking amalgamated free products.


title: Exactness of Cuntz-Pimsner C*-algebras

abstract: Let H be a full Hilbert bimodule over a C*-algebra A. We show that the Cuntz-Pimsner C*-algebra associated to H is exact if and only if A is exact. Using this result, we give alternative proofs for exactness of reduced amalgamated free products of exact C*-algebras. In the case that A is a finite dimensional C*-algebra, we also show that the Brown-Voiculescu topological entropy of Bogljubov automorphisms of the Cuntz-Pimsner algebra associated to an A,A Hilbert bimodule is zero.


title: Coarse Alexander duality and duality groups

abstract: We study discrete group actions on coarse Poincare duality spaces, e.g. acyclic simplicial complexes which admit free cocompact group actions by Poincare duality groups. When G is an (n-1) dimensional duality group and X is a coarse Poincare duality space of formal dimension n, then a free simplicial action of G on X determines a collection of ``peripheral'' subgroups F_1,...,F_k in G so that the group pair (G;F_1,...,F_k) is an n-dimensional Poincare duality pair. In particular, if G is a 2-dimensional 1-ended group of type FP_2, and X is a coarse PD(3) space, then G contains surface subgroups; if in addition X is simply connected, then we obtain a partial generalization of the Scott/Shalen compact core theorem to the setting of coarse PD(3) spaces.


title: On non-projective normal surfaces

abstract: We construct examples of non-projective normal proper algebraic surfaces and discuss the pathological behaviour of their Neron-Severi group. Our surfaces are birational to the product of a projective line and a curve of higher genus.


title: A move on diagrams that generates S-equivalence of knots

abstract: Two knots in three-space are S-equivalent if they are indistinguishable by Seifert matrices. We show that S-equivalence is generated by the doubled-delta move on knot diagrams. It follows as a corollary that a knot has trivial Alexander polynomial if and only if it can be undone by doubled-delta moves.


title: Polytopal linear retractions

abstract: We investigate graded retracts of polytopal algebras (essentially the homogeneous rings of affine cones over projective toric varieties) as polytopal analogues of vector spaces. In many cases we show that these retracts are again polytopal algebras and that codimension 1 retractions factor through retractions preserving the semigroup structure. We expect that these results hold in general. This paper is a part of the project started in our paers "Polytopal linear groups" (J. Algebra 219 (1999), 715-737) and "Polyhedral algebras, toric arrangements, and their groups" (preprint), where we have investigated the graded automorphism groups of polytopal algebras. Part of the motivation comes from the observation that there is a reasonable `polytopal' generalization of linear algebra (and, subsequently, that of algebraic $K$-theory).


title: Purely infinite, simple C*-algebras arising from free product constructions, II

abstract: Certain reduced free products of C*-algebras, (A,phi)=(A_1,phi_1)*(A_2,\phi_2), taken with respect to faithful states, at least one of which is not a trace, are shown to be purely infinite and simple. It is assumed that one of the A_i contain a partial isometry in the spectral subspace of phi_i corresponding to a positive number not equal to one. For example, if A_1 and A_2 are copies of the two-by-two complex matrices and if phi_1 and phi_2 are not unitarily conjugate, it is shown that A is simple and purely infinite.


title: Purely infinite, simple C*-algebras arising from free product constructions, III

abstract: In the reduced free product of C*-algebras (A,phi)=(A_1,phi_1)*(A_2,phi_2), A is shown to be purely infinite and simple under the hypothesis that A_1 is the crossed product of a C*-algebra by a discrete infinite group, phi_1 is well behaved with respect to this crossed product and A_2 is not one dimensional.


title: Projections in free product C*-algebras, II

abstract: Let (A,phi) be the reduced free product of infinitely many pairs (A_i,phi_i) of C*-algebras with faithful states. Assume that the A_i are not too small, in a specific sense. It is shown that if phi is a trace then K_0(A) is determined entirely by K_0(phi). If, furthermore, the image of K_0(phi) is dense in the reals then A has real rank zero. On the other hand, if phi is not a trace then A is simple and purely infinite.


title: Topological entropy of some automorphisms of reduced amalgamated free product C*-algebras

abstract: Certain classes of automorphisms of recued amalgamated free products of C*-algebras are shown to have Brown-Voiculescu topological entropy zero. Also, for automorphisms of exact C*-algebras, the Connes-Narnhofer-Thirring entropy is shown to be bounded above by the Brown-Voiculescu entropy. These facts are applied to generalize Stormer's result about entropy of automorphisms of the II_1-factor of a free group.


title: Compressions of free products of von Neumann algebras

abstract: A reduction formula for compressions of von Neumann algebras arising as free products is proved. This shows that the fundamental group is all of the positive reals for some such algebras. Additionally, by taking a sort of free product with an unbounded semicircular element, continuous one parameter groups of trace scaling automorphisms on II_infinity factors are constructed; this produces type III_1 factors with core M tensor B(H), where M can be a full II_1-factor without the Haagerup approximation property.


title: Embeddings of reduced free products of operator algebras

abstract: Given reduced amalgamated free products of C$^*$-algebras, $(A,phi)=*_i(A_i,phi_i)$ and $(D,psi)=*_i(D_i,psi_i)$, an embedding $A\to D$ is shown to exist assuming there are conditional expectation preserving embeddings $A_i\to D_i$. This result is extended to show the existance of the reduced amalgamated free product of certain classes of unital completely positive maps. Analogues of the above mentioned results are proved for von Neumann algebras.


title: On the complemented subspaces of the Schreier spaces

abstract: It is shown that the Schreier space X admits a set of continuum cardinality whose elements are mutually incomparable complemented subspaces spanned by subsequences of the natural Schauder basis of X.


title: Birational classification of moduli spaces of representations of quivers

abstract: Let \alpha be a Schur root; let h=hcf_v(\alpha(v)) and let p = 1 - < \alpha/h,\alpha/h >. Then a moduli space of representations of dimension vector \alpha is birational to p h by h matrices up to simultaneous conjugacy. Therefore, if h=1,2,3 or 4, then such a moduli space is a rational variety and if h divides 420 it is a stably rational variety.


title: Quantum Matrix Pairs

abstract: The notion of quantum matrix pairs is defined. These are pairs of matrices with non-commuting entries, which have the same pattern of internal relations, q-commute with each other under matrix multiplication, and are such that products of powers of the matrices obey the same pattern of internal relations as the original pair. Such matrices appear in an approach by the authors to quantizing gravity in 2 space and 1 time dimensions with negative cosmological constant on the torus. Explicit examples and transformations which generate new pairs from a given pair are presented.


title: Subspaces of c_0 and Lipschitz isomorphisms

abstract: We show that the class of subspaces of c_0 is stable under Lipschitz isomorphisms. The main corollary is that any Banach space which is Lipschitz isomorphic to c_0 is linearly isomorphic to c_0.


title: Szlenk indices and uniform homeomorphisms

abstract: We prove some rather precise renorming theorems for Banach spaces with Szlenk index $\omega_0$. We use these theorems to show the invariance of certain quantitative Szlenk-type indices under uniform homeomorphisms.


title: The structure of quotients of the Onsager algebra by closed ideals

abstract: We study the Onsager algebra from the ideal theoretic point of view. A complete classification of closed ideals and the structure of quotient algebras are obtained. We also discuss the solvable algebra aspect of the Onsager algebra through the use of formal Lie algebras.

categories: math.QA cond-mat.stat-mech math-ph math.CO math.MP nlin.SI solv-int


title: Unconditional structures of weakly null sequences

abstract: The following dichotomy is established for a normalized weakly null sequence in a Banach space: Either every subsequence admits a convex block subsequence equivalent to the unit vector basis of c, the Banach space of null sequences under the supremum norm, or there exists a subsequence which is boundedly convexly complete. This result generalizes J. Elton's dichotomy on weakly null sequences.


title: Plancherel formula for Berezin deformation of $L^2$ on Riemannian symmetric space

abstract: Consider the space B of complex $p\times q$ matrces with norm <1. There exists a standard one-parameter family $S_a$ of unitary representations of the pseudounitary group U(p,q) in the space of holomorphic functions on B (i.e. scalar highest weight representations). Consider the restriction $T_a$ of $S_a$ to the pseudoorthogonal group O(p,q). The representation of O(p,q) in $L^2$ on the symmetric space $O(p,q)/O(p)\times O(q)$ is a limit of the representations $T_a$ in some precise sence. Spectrum of a representation $T_a$ is comlicated and it depends on $\alpha$. We obtain the complete Plancherel formula for the representations $T_a$ for all admissible values of the parameter $\alpha$. We also extend this result to all classical noncompact and compact Riemannian symmetric spaces.


title: Slices in the unit ball of a uniform algebra

abstract: We show that every nonvoid relatively weakly open subset, in particular every slice, of the unit ball of an infinite-dimensional uniform algebra has diameter~2.


title: Toward the classification of higher-dimensional toric Fano varieties

abstract: The purpose of this paper is to give basic tools for the classification of nonsingular toric Fano varieties by means of the notions of primitive collections and primitive relations due to Batyrev. By using them we can easily deal with equivariant blow-ups and blow-downs, and get an easy criterion to determine whether a given nonsingular toric variety is a Fano variety or not. As applications of these results, we get a toric version of a theorem of Mori, and can classify, in principle, all nonsingular toric Fano varieties obtained from a given nonsingular toric Fano variety by finite successions of equivariant blow-ups and blow-downs through nonsingular toric Fano varieties. Especially, we get a new method for the classification of nonsingular toric Fano varieties of dimension at most four. These methods are extended to the case of Gorenstein toric Fano varieties endowed with natural resolutions of singularities. Especially, we easily get a new method for the classification of Gorenstein toric Fano surfaces.


title: On Rigidly Scalar-Flat Manifolds

abstract: Witten and Yau (hep-th/9910245) have recently considered a generalisation of the AdS/CFT correspondence, and have shown that the relevant manifolds have certain physically desirable properties when the scalar curvature of the boundary is positive. It is natural to ask whether similar results hold when the scalar curvature is zero. With this motivation, we study compact scalar flat manifolds which do not accept a positive scalar curvature metric. We call these manifolds rigidly scalar-flat. We study this class of manifolds in terms of special holonomy groups. In particular, we prove that if, in addition, a rigidly scalar flat manifold $M$ is $Spin$ with $\dim M\geq 5$, then $M$ either has a finite cyclic fundamental group, or it must be a counter example to Gromov-Lawson-Rosenberg conjecture.


title: Localization of the Riemann-Roch character

abstract: We present a K-theoritic approach to the Guillemin-Sternberg conjecture, about the commutativity of geometric quantization and symplectic reduction, which was proved by Meinrenken and Tian-Zhang. Besides providing a new proof of this conjecture for the full non-abelian group action case, our methods lead to a generalisation for compact Lie group actions on manifolds that are not symplectic. Instead, these manifolds carry an invariant almost complex structure and an abstract moment map.


title: On the parameters of Algebraic Geometry codes related to Arf semigroups

abstract: In this paper we compute the order (or Feng-Rao) bound on the minimum distance of one-point algebraic geometry codes, when the Weierstrass semigroup at the point Q is an Arf semigroup. The results developed to that purpose also provide the dimension of the improved geometric Goppa codes related to those.


title: Bracket products for Weyl-Heisenberg frames

abstract: We provide a detailed development of a function valued inner product known as the bracket product and used effectively by de Boor, Devore, Ron and Shen to study translation invariant systems. We develop a version of the bracket product specifically geared to Weyl-Heisenberg frames. This bracket product has all the properties of a standard inner product including Bessel's inequality, a Riesz Representation Theorem, and a Gram-Schmidt process which turns a sequence of functions $(g_{n})$ into a sequence $(e_{n})$ with the property that $(E_{mb}e_{n})_{m,n\in \Bbb Z}$ is orthonormal in $L^{2}(\Bbb R)$. Armed with this inner product, we obtain several results concerning Weyl-Heisenberg frames. First we see that fiberization in this setting takes on a particularly simple form and we use it to obtain a compressed representation of the frame operator. Next, we write down explicitly all those functions $g\in L^{2}(\Bbb R)$ and $ab=1$ so that the family $(E_{mb}T_{na}g)$ is complete in $L^{2}(\Bbb R)$. One consequence of this is that for functions $g$ supported on a half-line $[{\alpha},\infty)$ (in particular, for compactly supported $g$), $(g,1,1)$ is complete if and only if $\text{sup}_{0\le t< a}|g(t-n)|\not= 0$ a.e. Finally, we give a direct proof of a result hidden in the literature by proving: For any $g\in L^{2}(\Bbb R)$, $A\le \sum_{n} |g(t-na)|^{2}\le B$ is equivalent to $(E_{m/a}g)$ being a Riesz basic sequence.


title: Analyzing the Weyl-Heisenberg Frame Identity

abstract: In 1990, Daubechies proved a fundamental identity for Weyl-Heisenberg systems which is now called the Weyl-Heisenberg Frame Identity. WH-Frame Identity: If $g\in W(L^{\infty},L^{1})$, then for all continuous, compactly supported functions f we have: \[\sum_{m,n}|<f,E_{mb}T_{na}g>|^{2} = \frac{1}{b}\sum_{k}\int_{\Bbb R}\bar{f(t)}f(t-k/b)\sum_{n} g(t-na)\bar{g(t-na-k/b)} dt.\] It has been folklore that the identity will not hold universally. We make a detailed study of the WH-Frame Identity and show: (1) The identity does not require any assumptions on ab (such as the requirement that $ab\le 1$ to have a frame); (2) As stated above, the identity holds for all $f\in L^{2}(\Bbb R)$; (3) The identity holds for all bounded, compactly supported functions if and only if $g\in L^{2}(\Bbb R)$; (4) The identity holds for all compactly supported functions if and only if $\sum_{n}|g(x-na)|^{2}\le B$ a.e.; Moreover, in (2)-(4) above, the series on the right converges unconditionally; (5) In general, there are WH-frames and functions $f\in L^{2}(\Bbb R)$ so that the series on the right does not converge (even symmetrically). We give necessary and sufficient conditions for it to converge symmetrically; (6) There are WH-frames for which the series on the right always converges symmetrically to give the WH-Frame Identity, but there are functions for which the series does not converge and we classify when the series converges for all functions $f\in \L$; (7) There are WH-frames for which the series always converges, but it does not converge unconditionally for some functions, and we classify when we have unconditional convergence for all functions f; and (8) We show that the series converges unconditionally for all $f\in L^{2}(\Bbb R)$ if g satisfies the CC-condition.


title: Geometry and algebra of real forms of complex curves

abstract: Let Y be a complex algebraic curve and let [Y]={X_1,...,X_n} be the set of all real algebraic curves X_i with complexification X_i(C)=Y, such that the real points X_i(R) divide X_i(C). We find all such families [Y]. According to Harnak theorem a number |X_i| of connected components of X_i(R) satifies by the inequality |X_i|<= g+1, where g is the genus of Y. We prove that SUM |X_i| <= 2g-(n-9) 2^{n-3}-2 <= 2g+30 and these estimates are exact.


title: Tensor products of Frobenius manifolds and moduli spaces of higher spin curves

abstract: We review progress on the generalized Witten conjecture and some of its major ingredients. This conjecture states that certain intersection numbers on the moduli space of higher spin curves assemble into the logarithm of the tau function of a semiclassical limit of the r-th Gelfand-Dickey (or KdV_r) hierarchy. Additionally, we prove that tensor products of the Frobenius manifolds associated to such hierarchies admit a geometric interpretation in terms of moduli spaces of higher spin structures. We also elaborate upon the analogy to Gromov-Witten invariants of a smooth, projective variety.


title: Rational Hypergeometric Functions

abstract: Multivariate hypergeometric functions associated with toric varieties were introduced by Gel'fand, Kapranov and Zelevinsky. Singularities of such functions are discriminants, that is, divisors projectively dual to torus orbit closures. We show that most of these potential denominators never appear in rational hypergeometric functions. We conjecture that the denominator of any rational hypergeometric function is a product of resultants, that is, a product of special discriminants arising from Cayley configurations. This conjecture is proved for toric hypersurfaces and for toric varieties of dimension at most three. Toric residues are applied to show that every toric resultant appears in the denominator of some rational hypergeometric function.


title: Spectral sequences of universal distribution and Sinnott's index formula

abstract: We prove an abstract index formula about Sinnott's symbol between two different lattices. We also develop the theory of the universal distribution and predistribution in a double complex point of view. The theory of spectral sequence is used to interpret the index formula and to analyze the cohomology of the universal distribution. Combing these results, we successfully prove Sinnott's index formula about the Stickelberger ideal. In addition, the {1, -1}-cohomology groups of the universal distribution and the universal predistribution are obtained.


title: Group cohomology of universal ordinary distribution

abstract: For any odd squarefree integer r, we get complete description of the G_r=Gal(Q(mu_r)/Q) group cohomology of the universal ordinary distribution U_r in this paper. Moreover, if M is a fixed integer which divides l-1 for all prime factors l of r, we study the cohomology group H^{*}(G_r, U_r/MU_r). In particular, we explain the mysterious construction of the elements kappa_{r'} for r'|r in Rubin's construction of Kolyvagin elements, which come exactly from a certain Z/M Z-basis of the cohomology group H^{0}(G_r, U_r/MU_r) through an evaluation map.


title: On the lower bound estimates of sections of the canonical bundle over a Riemann surface

abstract: In this paper, we give some estimates of the sum of the square norm of the sections of the pluricanonical bundles over a Riemann surface with genus greater than 2 and Gauss curvature (-1). Using these estimate, we give a uniform estimate of the corona problem on Riemann surfaces.


title: Dipper-Donkin algebra as global symmetry of quantum chains

abstract: We analize the role of GL_2, a quantum group constructed by Dipper-Donkin, as a global symmetry for quantum chains, and show the way to construct all possible Hamiltonians for four states quantum chains with GL_2 global symmetry. In doing this, we search all inner actions of GL_2 on the Clifford algebra C(1,3) and show them. We also introduce the corresponding operator algebras, invariants and Hamiltonians, explicitly.


title: On Family Rigidity Theorems II

abstract: In LM, we proved a family version of the famous Witten rigidity theorems and several family vanishing theorems for elliptic genera. In this paper, we gerenalize our theorems LM in two directions. First we establish a family rigidity theorem for the Dirac operator on loop space twisted by general positive energy loop group representations. Second we prove a family rigidity theorem for spin^c-manifolds. Several vanishing theorems on both cases are also obtained.


title: A minimax selector for a class of hamiltonians on cotangent bundles

abstract: We construct a minimax selector for eventually quadratic hamiltonians on cotangent bundles. We use it to give a relation between Hofer's energy and Mather's action minimizing function. We also study the local flatness of the set of twist maps.


title: An asymptotic property of Schachermayer's space under renorming

abstract: A Banach space X with closed unit ball B is said to have property 2-beta, repsectively 2-NUC if for every \ep > 0, there exists \delta > 0 such that for every \ep-separated sequence (x_n) in the unit ball B, and every x in B, there are distinct indices m and n such that ||x + x_m + x_n|| < 3(1 - \delta), respectively, ||x_m + x_n|| < 2(1 - \delta). It is shown that a Banach space constructed by Schachermayer has property 2-beta but cannot be renormed to have property 2-NUC.


title: Transversal Twistor Spaces of Foliations

abstract: The transversal twistor space of a foliation F of an even codimension is the bundle ZF of the complex structures of the fibers of the transversal bundle of F. On ZF, there exists a foliation F' by covering spaces of the leaves of F, and any Bott connection of F produces an ordered pair (I,J) of transversal almost complex structures of F'. The existence of a Bott connection which yields a structure I that is projectable to the space of leaves is equivalent to the fact that F is a transversally projective foliation. A Bott connection which yields a projectable structure J exists iff F is a transversally projective foliation which satisfies a supplementary cohomological condition, and, in this case, I is projectable as well. J is never integrable. The essential integrability condition of I is the flatness of the transversal projective structure of F.


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

abstract: The paper is withdrawn due to some errors.


title: Representative dynamics

abstract: This short note is devoted to the representative dynamics, which realizes a link between the theory of controlled systems and representation theory. Dynamical inverse problem of representation theory for controlled systems is considered: to solve it means to correspond a representative dynamics to the controlled system.


title: The Zhang transformation and U_q(osp(1,2l))-Verma modules annihilators

abstract: In [ZH], R.B. Zhang found a way to link certain formal deformations of the Lie algebra o(2l+1) and the Lie superalgebra osp(1,2l). The aim of this article is to reformulate the Zhang transformation in the context of the quantum enveloping algebras "\`a la" Drinfeld-Jimbo and to show how this construction can explain the main theorem of [GL2]: the annihilator of a Verma module over the Lie superalgebra osp(1,2l) is generated by its intersection with the centralizer of the even part of the enveloping algbra.


title: Index of $\Gamma$-equivariant Toeplitz operators

abstract: Let $\Gamma$ be a discrete icc subgroup of PSL(2,R) of infinite covolume. and let M denote the quotient of the unit disc by $\Gamma$. We prove that a Toeplitz operator with $\Gamma$-invariant symbol f in C(M) is Brauer Fredholm if its symbol is invertible on the boundary of M and its Brauer index is equal to the winding number of f at the boundary. We construct the associated extension of the algebra of functions continuous on the boundary of M by the Brauer ideal in the C*-algebra generated by such operators.


title: Embedding of a maximal curve in a Hermitian variety

abstract: Let X be a projective geometrically irreducible non-singular algebraic curve defined over a finite field F of order $q^2$. If the number of F-rational points of X satisfies the Hasse-Weil upper bound, then X is said to be F-maximal. For a point P_0\in X(F), let \pi be the morphism arising from the linear series D:=|(q+1)P_0|, and let N:=dim(D). It is known that N\ge 2 and that \pi is independent of P_0 whenever X is F-maximal. The following theorems will be proved: Theorem 0.1: If X is F-maximal, then \pi:X\to \pi(X) is a F-isomorphism. The non-singular model \pi(X) has degree q+1 and lies on a Hermitian variety defined over F of P^N(\bar F); Theorem 0.2: If X is F-maximal, then it is F-isomorphic to a curve Y in P^M(\bar F), with 2\le M\le N, such that Y has degree q+1 and lies on a non-degenerate Hermitian variety defined over F of \P^M(\bar F). Furthermore, Aut_F(X) is isomorphic to a subgroup of the projective unitary group PGU(M+1,q^2); Theorem 0.3: If X is F-birational to a curve Y embedded in P^M(\bar F) such that Y has degree q+1 and lies on a non-degenerate Hermitian variety defined over F of P^M(\bar F), then X is F-maximal and X is F-isomorphic to Y.


title: Geometry and Algebra of prime Fano 3-folds of genus 12

abstract: The connection between these Fano 3-folds and plane quartic curves is explained.


title: On the delbar-equation in a Banach space

abstract: We show that on the unit ball of a certain separable Banach space there is a smooth delbar-closed (0,1)-form which is not locally delbar-exact. Further, the Dolbeault isomorphism theorem does not generalize to arbitrary Banach spaces. Lastly, the Newlander-Nirenberg theorem does not generalize to arbitrary smooth integrable almost complex Banach manifolds.


title: Spanning sets for automorphic forms and dynamics of the frame flow on complex hyperbolic spaces

abstract: Let G be a semisimple Lie group with no compact factors, K a maximal compact subgroup of G, and $\Gamma$ a lattice in G. We study automorphic forms for $\Gamma$ if G is of real rank one with some additional assumptions, using dynamical approach based on properties of the homogeneous flow on $\Gamma \backslash G$ and a Livshitz type theorem we prove for such a flow. In the Hermitian case G=SU(n,1) we construct relative Poincare series associated to closed geodesics on $\Gamma\backslash G/K$ for one-dimensional representations of K, and prove that they span the corresponding spaces of cusp forms.


title: An Index Theorem for Non Periodic Solutions of Hamiltonian Systems

abstract: We consider a {\em Hamiltonian setup} $\sextuple$, where $(\mathcal M,\omega)$ is a symplectic manifold, $\mathfrak L$ is a distribution of Lagrangian subspaces in $\mathcal M$, $\mathcal P$ a Lagrangian submanifold of $ \mathcal M$, $H$ is a smooth time dependent Hamiltonian function on $\mathcal M$ and $\Gamma:[a,b]\to\mathcal M$ is an integral curve of the Hamiltonian flow $\Hf$ starting at $\mathcal P$. We do not require any convexity property of the Hamiltonian function $H$. Under the assumption that $\Gamma(b)$ is not $\mathcal P$-focal it is introduced the Maslov index $\maslov(\Gamma)$ of $\Gamma$ given in terms of the first relative homology group of the Lagrangian Grassmannian; under generic circumstances $\maslov(\Gamma)$ is computed as a sort of {\em algebraic count} of the $\mathcal P$-focal points along $\Gamma$. We prove the following version of the Index Theorem: under suitable hypotheses, the Morse index of the Lagrangian action functional restricted to suitable variations of $\Gamma$ is equal to the sum of $\maslov(\Gamma)$ and a {\em convexity term} of the Hamiltonian $H$ relative to the submanifold $\mathcal P$. When the result is applied to the case of the cotangent bundle $\mathcal M=TM^*$ of a semi-Riemannian manifold $(M,g)$ and to the geodesic Hamiltonian $H(q,p)=\frac12 g^{-1}(p,p)$, we obtain a semi-Riemannian version of the celebrated Morse Index Theorem for geodesics with variable endpoints in Riemannian geometry.


title: Free products of exact groups

abstract: It has recently been proved that the class of unital exact C*-algebras is closed under taking reduced amalgamated free products. In particular, this implied that the class of exact discrete groups is closed under taking amalgamated free products. Here a proof is presented of a special case: that the class of exact discrete groups is closed under taking free products (with amalgamation over the identity element). The proof of this special case is considerably simpler than in full generality.


title: The Universal Perturbative Quantum 3-manifold Invariant, Rozansky-Witten Invariants, and the Generalized Casson Invariant

abstract: Let Z^{LMO} be the 3-manifold invariant of [LMO]. It is shown that Z^{LMO}(M)=1, if the first Betti number of M, b_{1}(M), is greater than 3. If b_{1}(M)=3, then Z^{LMO}(M) is completely determined by the cohomology ring of M. A relation of Z^{LMO} with the Rozansky-Witten invariants Z_{X}^{RW}[M] is established at a physical level of rigour. We show that Z_{X}^{RW}[M] satisfies appropriate connected sum properties suggesting that the generalized Casson invariant ought to be computable from the LMO invariant.


title: Perverse Sheaves on affine Grassmannians and Langlands Duality

abstract: This is an expanded version of the text ``Perverse Sheaves on Loop Grassmannians and Langlands Duality'', AG/9703010. The main new result is a topological realization of algebraic representations of reductive groups over arbitrary rings. We outline a proof of a geometric version of the Satake isomorphism. Given a connected, complex algebraic reductive group G we show that the tensor category of representations of the Langlands dual group is naturally equivalent to a certain category of perverse sheaves on the loop Grassmannian of G. The above result has been announced by Ginsburg in and some of the arguments are borrowed from his approach. However, we use a more "natural" commutativity constraint for the convolution product, due to Drinfeld. Secondly, we give a direct proof that the global cohomology functor is exact and decompose this cohomology functor into a direct sum of weights. The geometry underlying our arguments leads to a construction of a canonical basis of Weyl modules given by algebraic cycles and an explicit construction of the group algebra of the dual group in terms of the affine Grassmannian. We completely avoid the use of the decomposition theorem which makes our techniques applicable to perverse sheaves with coefficients over an arbitrary commutative ring. We deduce the classical Satake isomorphism using the affine Grassmannian defined over a finite field. This note contains indications of proofs of some of the results. The details will appear elsewhere.


title: Seiberg-Witten invariants of 4-manifolds with free circle actions

abstract: The main results of this paper describes a formula for the Seiberg-Witten invariant of a 4-manifold which admits a nontrivial free S^1-action. We use this theorem to produce a nonsymplectic 4-manifold with a free circle action whose orbit space fibers over S^1. We also describe a 3-manifold which is not the orbit space of any symplectic 4-manifold with a free circle action. A corollary of the main theorem is a formula for the 3-dimensional Seiberg-Witten invariants of the total space of a circle bundle over a surface.


title: Showing OCA in Pmax-style extensions

abstract: We give a proof that OCA holds in the Pmax extension of L(R). The proof is general enough to be adapted to most Pmax variations.


title: Noncommutative Residues, Dixmier's Trace, and Heat Trace Expansions on Manifolds with Boundary

abstract: For manifolds with boundary, we define an extension of Wodzicki's noncommutative residue to boundary value problems in Boutet de Monvel's calculus. We show that this residue can be recovered with the help of heat kernel expansions and explore its relation to Dixmier's trace.


title: Dynamical and Topological methods in Theory of Geodesically Equivalent Metrics

abstract: This paper is a review on recently found connection between geodesically equivalent metrics and integrable geodesic flows. Suppose two different metrics on one manifold have the same geodesics. We show that then the geodesic flows of these metrics admit sufficiently many integrals (of a special form) in involution and vice versa. The quantum version of this result is also true. As a corollary we have that the topology of the manifold (with two different metrics with the same geodesics) must be sufficiently simple. Also we have that the non-proportionality of the metrics at a point induces the non-proportionality of the metrics at almost all points.

categories: math.DG math.SG math.SP nlin.SI solv-int


title: The homotopy classification and the index of boundary value problems for general elliptic operators

abstract: We give the homotopy classification and compute the index of boundary value problems for elliptic equations. The classical case of operators that satisfy the Atiyah-Bott condition is studied first. We also consider the general case of boundary value problems for operators that do not necessarily satisfy the Atiyah-Bott condition.


title: Multiple covers and the integrality conjecture for rational curves in Calabi-Yau threefolds

abstract: We study the contribution of multiple covers of an irreducible rational curve C in a Calabi-Yau threefold Y to the genus 0 Gromov-Witten invariants in the following cases. (1) If the curve C has one node and satisfies a certain genericity condition, we prove that the contribution of multiple covers of degree d is given by the sum of all 1/n^3 where n divides d. (2) For a smoothly embedded contractable curve C in Y we define schemes C_i for i=1,...,l where C_i is supported on C and has multiplicity i, and the integer l (0<l<7) is Kollar's invariant ``length''. We prove that the contribution of multiple covers of C of degree d is given by the sum of k_{d/n}/n^3 where n divides d and where k_i is the multiplicity of C_i in its Hilbert scheme (and k_i=0 if i>l). In the latter case we also get a formula for arbitrary genus. These results show that the curve C contributes an integer amount to the so-called instanton numbers that are defined recursively in terms of the Gromov-Witten invariants and are conjectured to be integers.


title: Holomorphic maps of real submanifolds in complex spaces of different dimensions

abstract: We define a new local invariant (called degeneracy) associated to a triple (M,M',H), where M and M' are real submanifolds of C^N and C^N', respectively, and H: M->M' is either a holomorphic map, a formal holomorphic map, or a smooth CR-map. We use this invariant to find sufficient conditions under which finite jet dependence, convergence and algebraicity results hold.


title: $U_q[\hat{sl(2|1)}]$ Vertex Operators, Screen Currents and Correlation Functions at Arbitrary Level

abstract: Bosonized q-vertex operators related to the 4-dimensional evaluation modules of the quantum affine superalgebra $U_q[\hat{sl(2|1)}]$ are constructed for arbitrary level $k=\alpha$, where $\alpha\neq 0, -1$ is a complex parameter appearing in the 4-dimensional evaluation representations. They are intertwiners among the level-$\alpha$ highest weight Fock-Wakimoto modules. Screen currents which commute with the action of $U_q[\hat{sl(2|1)}]$ up to total differences are presented. Integral formulae for N-point functions of type I and type II q-vertex operators are proposed.


title: The Maximality of Cartesian Categories

abstract: It is proved that equalities between arrows assumed for cartesian categories are maximal in the sense that extending them with any new equality in the language of free cartesian categories collapses a cartesian category into a preorder. An analogous result holds for categories with binary products, which may lack a terminal object. The proof is based on a coherence result for cartesian categories, which is related to model-theoretical methods of normalization.


title: A note on a theorem of H. Cartan

abstract: We prove that if $D\subset C^n$ is a bounded domain with real analytic boundary and D is pseudoconvex then the compact open topology in the group of holomorphic automorphisms of D is the topology of uniform convergence on D.


title: Reversing Symmetry Groups of Cat Maps

abstract: Toral automorphisms are widely used (discrete) dynamical systems, the perhaps most prominent example (in 2D) being Arnold's cat map. Given such an automorphism M, its symmetries (i.e. all automorphisms that commute with M) and reversing symmetries (i.e. all automorphisms that conjugate M into its inverse) can be determined by means of number theoretic tools. Here, the case of GL(2,Z) is presented and the possible (reversing) symmetry groups are completely classified. Extensions to affine mappings and to k-(reversing) symmetries (i.e. (reversing) symmetries of the k-th power of M), and applications to the projective group PGL(2,Z) and to trace maps (compare math.DS/9901124), are briefly discussed.


title: Geodesic equivalence and integrability

abstract: We suggest a construction that, given a trajectorial diffeomorphism between two Hamiltonian systems, produces integrals of them. As the main example we treat geodesic equivalence of metrics. We show that the existence of a non-trivially geodesically equivalent metric leads to Liouville integrability, and present explicit formulae for integrals.


title: Presentations for the punctured mapping class groups in terms of Artin groups

abstract: Consider an oriented compact surface F of positive genus, possibly with boundary, and a finite set P of punctures in the interior of F, and define the punctured mapping class group of F relatively to P to be the group of isotopy classes of orientation-preserving homeomorphisms h: F-->F which pointwise fix the boundary of F and such that h(P) = P. In this paper, we calculate presentations for all punctured mapping class groups. More precisely, we show that these groups are isomorphic with quotients of Artin groups by some relations involving fundamental elements of parabolic subgroups.


title: On an example of Aspinwall and Morrison

abstract: In this paper, a family of smooth multiply connected Calabi--Yau threefolds is investigated. The family presents a counterexample to global Torelli as conjectured by Aspinwall and Morrison.


title: On Permuting Cut with Contraction

abstract: The paper presents a cut-elimination procedure for intuitionistic propositional logic in which cut is eliminated directly, without introducing the multiple-cut rule mix, and in which pushing cut above contraction is one of the reduction steps. The presentation of this procedure is preceded by an analysis of Gentzen's mix-elimination procedure, made in the perspective of permuting cut with contraction. It is also shown that in the absence of implication, pushing cut above contraction doesn't pose problems for directly eliminating cut.


title: Embeddings of Surfaces into 3-Space and Quadruple Points of Regular Homotopies

abstract: Let F be a closed orientable surface. We give an explicit formula for the number mod 2 of quadruple points occurring in any generic regular homotopy between any two regularly homotopic embeddings e,e':F -> R^3. The formula is in terms of homological data extracted from the two embeddings.


title: On the Fourier-Laplace Transform of Functionals on a Weighted Space of Infinitely Differentiable Functions

abstract: The strong dual space of linear continuous functionals on a weighted space G of infinitely differentiable functions defined on the real line is described in terms of their Fourier-Laplace transforms.


title: On the equivariant K-theory of the nilpotent cone

abstract: Let G be a simple algebraic group over the complex numbers. Let N be the cone of nilpotent elements in the Lie algebra of G. Let K_{G x C^*}(N) denote the Grothendieck group of the category of G x C^*-equivariant coherent sheaves on N. In this note we construct a Kazhdan-Lusztig type canonical basis of K_{G x C^*}(N) over representation ring of C^*. This basis is parametrized by the set of dominant weights for G. On the other hand we conjecture that this basis is close to the basis consisting of irreducible G-equivariant bundles on nilpotent orbits. This would give us a natural construction of Lusztig's bijection between two sets: \{dominant weights for G\} and \{pairs consisting of a nilpotent orbit O and irreducible G-equivariant bundle on O.


title: Abel Maps and Presentation Schemes

abstract: We sharpen the two main tools used to treat the compactified Jacobian of a singular curve: Abel maps and presentation schemes. First we prove a smoothness theorem for bigraded Abel maps. Second we study the two complementary filtrations provided by the images of certain Abel maps and certain presentation schemes. Third we study a lifting of the Abel map of bidegree (m,1) to the corresponding presentation scheme. Fourth we prove that, if a curve is blown up at a double point, then the corresponding presentation scheme is a IP^1-bundle. Finally, using Abel maps of bidegree (m,1), we characterize the curves having double points at worst


title: Smoothings of cyclic quotient singularities from a topological point of view

abstract: For a smoothing Y of a 2-dimensional cyclic quotient singularity X, we construct a simple handle decomposition of Y by using a particular birational map from Y to the projective plane. The manifold Y is built up from the product of an annulus with a disk by attaching 2-handles in a manner which can be described by means of a plumbing graph. In particular, Y is homotopy equivalent to a 2-dimensional CW-complex with 1-skeleton a single circle.


title: Autoduality of the compactified Jacobian

abstract: We prove the following autoduality theorem for an integral projective curve C in any characteristic. Given an invertible sheaf L of degree 1, form the corresponding Abel map A_L: C->J, which maps C into its compactified Jacobian, and form its pullback map A_L^*: Pic^0_J to J, which carries the connected component of 0 in the Picard scheme back to the Jacobian. If C has, at worst, points of multiplicity 2, then A_L^* is an isomorphism, and forming it commutes with specializing C. Much of our work is valid, more generally, for a family of curves with, at worst, points of embedding dimension 2. In this case, we use the determinant of cohomology to construct a right inverse to A_L^*. Then we prove a scheme-theoretic version of the theorem of the cube, generalizing Mumford's, and use it to prove that A_L^* is independent of the choice of L. Finally, we prove our autoduality theorem: we use the presentation scheme to achieve an induction on the difference between the arithmetic and geometric genera; here, we use a few special properties of points of multiplicity 2.


title: Boundary slopes of immersed surfaces in 3-manifolds

abstract: This paper presents some finiteness results for the number of boundary slopes of immersed essential surfaces of given genus g in a compact 3-manifold with torus boundary. In the case of hyperbolic 3-manifolds we obtain uniform quadratic bounds in g for the number of possible slopes, independent of the 3-manifold. We also look at some related quantities, such as how many times the slopes of two such surfaces of specified genus can intersect.


title: The Maximality of the Typed Lambda Calculus and of Cartesian Closed Categories

abstract: From the analogue of Boehm's Theorem proved for the typed lambda calculus, without product types and with them, it is inferred that every cartesian closed category that satisfies an equality between arrows not satisfied in free cartesian closed categories must be a preorder. A new proof is given here of these results, which were obtained previously by Richard Statman and Alex K. Simpson.


title: Crystal graphs for basic representations of the quantum affine algebra $U_q(C_2^{(1)})$

abstract: We give a realization of crystal graphs for basic representations of the quantum affine algebra $U_q(C_2^{(1)})$ in terms of new combinatorial objects called the Young walls.


title: Differential Equations for F_q-Linear Functions

abstract: We study certain classes of equations for $F_q$-linear functions, which are the natural function field counterparts of linear ordinary differential equations. It is shown that, in contrast to both classical and $p$-adic cases, formal power series solutions have positive radii of convergence near a singular point of an equation. Algebraic properties of the ring of $F_q$-linear differential operators are also studied.


title: Growth in free groups (and other stories)

abstract: We start by studying the distribution of (cyclically reduced) elements of the free groups with respect to their abelianization. We derive an explicit generating function, and a limiting distribution, by means of certain results (of independent interest) on Chebyshev polynomials; we also prove that the reductions $\mod p$ ($p$ -- an arbitrary prime) of these classes are asymptotically equidistributed, and we study the deviation from equidistribution. We extend our techniques to a more general setting and use them to study the statistical properties of long cycles (and paths) on regular (directed and undirected) graphs. We return to the free group to study some growth functions of the number of conjugacy classes as a function of their cyclically reduced length.


title: On the zero-in-the-spectrum conjecture

abstract: We prove that the answer to the "zero-in-the-spectrum" conjecture, in its form, suggested by J. Lott, is negative. Namely, we show that for any n > 5 there exists a closed n-dimensional manifold M, so that zero does not belong to the spectrum of the Laplace-Beltrami operator acting on the L^2 forms of all degrees on the universal covering of M.


title: Secant Varieties and Birational Geometry

abstract: We show how to use information about the equations defining secant varieties to smooth projective varieties in order to construct a natural collection of birational transformations. These were first constructed as flips in the case of curves by M. Thaddeus via Geometric Invariant Theory, and the first flip in the sequence was constructed by the author for varieties of arbitrary dimension in an earlier paper. We expose the finer structure of a second flip; again for varieties of arbitrary dimension. We also prove a result on the cubic generation of the secant variety and give some conjectures on the behavior of equations defining the higher secant varieties.


title: Realisation of special Kaehler manifolds as parabolic spheres

abstract: We prove that any simply connected special Kaehler manifold admits a canonical immersion as a parabolic affine hypersphere. As an application, we associate a parabolic affine hypersphere to any nondegenerate holomorphic function. Also we show that a classical result of Calabi and Pogorelov on parabolic spheres implies Lu's theorem on complete special Kaehler manifolds with a positive definite metric.


title: Representations of Fundamental Groups of Compact Kahler Manifolds in Solvable Matrix Groups

abstract: In the paper we prove a factorization theorem for representations of fundamental groups of compact K\"{a}hler manifolds ({\em K\"{a}hler groups}) into solvable matrix groups. We apply this result to prove that the universal covering of a compact K\"{a}hler manifold with a residually solvable fundamental group is holomorphically convex.


title: On Two Proofs for the Existence and Uniqueness of Integrals for Finite-Dimensional Hopf Algebras

abstract: This paper has two purposes. The first is to explicate the diagrammatic approach to Hopf algebras due to Kuperberg, and to examine his proof of the existence and uniqueness of integrals in both the diagrammatic and purely algebraic contexts. The second purpose of the paper is to show that the theory of integrals for a finite dimensional Hopf algebra A can be deduced from ideas concerning the trace function on End(A). Connections between Kuperberg's work and the trace function should be of interest to those who study three manifold invariants in relation to Hopf algebras.


title: Weighted Banach spaces of holomorphic functions in the upper half plane

abstract: We consider weighted banach spaces of holomorphic functions on the upper half plane that are determined by $ \|f\|=\sup_{y>0,-\infty<x<\infty}p(y)|f(x+iy)|<\infty $ for a very large class of weight functions p. We completely solve the problem whether such banach spaces are trivial or not by giving necessary and sufficient conditions stated in terms of some simple properties of the weight function. Further, we investigate the behaviour at infinity of some functions that belong to some of the banach spaces under consideration.


title: Almost all extraspecial p-groups are Swan groups

abstract: Let P be an extraspecial p-group which is neither dihedral of order 8, nor of odd order p^3 and exponent p. Let G be a finite group having P as a Sylow p-subgroup. Then the mod-p cohomology ring of G coincides with that of the normalizer N_G(P).


title: Values of Brownian intersection exponents I: Half-plane exponents

abstract: This paper proves conjectures originating in the physics literature regarding the intersection exponents of Brownian motion in a half-plane. For instance, suppose that B and B' are two independent planar Brownian motions started from distinct points in a half-plane H. Then, as $t \to \infty$, $$ P [ B[0,t] \cap B'[0,t] = \emptyset, B[0,t] \cup B'[0,t] \subset H ] = t^{-5/3 + o(1)}.$$ The proofs use ideas and tools developped by the authors in previous papers. We prove that one of the stochastic Loewner evolution processes (with parameter 6, that we will call SLE_6 and which has been conjectured to correspond to the scaling limit of critical percolation cluster boundaries) satisfies the ``conformal restriction property''. We establish a generalization of Cardy's formula (for crossings of a rectangle by a percolation cluster) for SLE_6, from which the exact values of intersection exponents for SLE_6 followd. Since this process satisfies the conformal restriction property, the Brownian intersection exponents can be determined from the SLE_6 intersection exponents. Results about intersection exponents in the whole plane appear in subsequent papers.


title: The Culler-Shalen seminorms of the (-2,3,n) pretzel knot

abstract: We show that the SL(2,C)-character variety of the (-2,3,n) pretzel knot consists of two (respectively three) algebraic curves when 3 does not divide n (respectively 3 divides n) and give an explicit calculation of the Culler-Shalen seminorms of these curves. Using this calculation, we describe the fundamental polygon and Newton polygon for these knots and give a list of Dehn surgeries yielding a manifold with finite or cyclic fundamental group. This constitutes a new proof of property P for these knots.


title: An inverse problem for point inhomogeneities

abstract: We study quantum scattering theory off $n$ point inhomogeneities ($n\in\bbN$) in three dimensions. The inhomogeneities (or generalized point interactions) positioned at $\{\xi_1,...,\xi_n\}\subset\bbR^3$ are modeled in terms of the $n^2$ (real) parameter family of self-adjoint extensions of $-\Delta\big|_{C^\infty_0(\bbR^3\backslash\{\xi_1,...,\xi_n\})}$ in $L^2(\bbR^3)$. The Green's function, the scattering solutions and the scattering amplitude for this model are explicitly computed in terms of elementary functions. Moreover, using the connection between fixed energy quantum scattering and acoustical scattering, the following inverse spectral result in acoustics is proved: The knowledge of the scattered field on a plane outside these point-like inhomogeneities, with all inhomogeneities located on one side of the plane, uniquely determines the positions and boundary conditions associated with them.


title: Hecke-Tyurin parametrization of the Hitchin and KZB systems

abstract: We study the parametrization of the moduli space Bun_2(C)_L of rank 2 bundles over a curve C with fixed determinant, provided by Hecke modifications at fixed points of the trivial bundle. This parametrization is closely related to the Tyurin parametrization of vector bundles over curves. We use it to parametrize the Hitchin and KZB systems, as well as lifts of the Beilinson-Drinfeld D-modules. We express a generating series for the lifts of the Beilinson-Drinfeld operators in terms of a "quantum L-operator" \ell(z). We explain the relation to earlier joint work with G. Felder, based on parametrization by flags of bundles (math/9807145) and introduce filtrations on conformal blocks, related with the Hecke modifications.


title: The symplectic and algebraic geometry of Horn's problem

abstract: Horn's problem was the following: given two Hermitian matrices with known spectra, what might be the eigenvalue spectrum of the sum? This linear algebra problem is exactly of the sort to be approached with the methods of modern Hamiltonian geometry (which were unavailable to Horn). The theorem linking symplectic quotients and geometric invariant theory lets one also bring algebraic geometry and representation theory into play. This expository note is intended to elucidate these connections for linear algebraists, in the hope of making it possible to recognize what sort of problems are likely to fall to the same techniques that were used in proving Horn's conjecture.


title: Compact Central WENO Schemes for Multidimensional Conservation Laws

abstract: We present a new third-order central scheme for approximating solutions of systems of conservation laws in one and two space dimensions. In the spirit of Godunov-type schemes,our method is based on reconstructing a piecewise-polynomial interpolant from cell-averages which is then advanced exactly in time. In the reconstruction step, we introduce a new third-order as a convex combination of interpolants based on different stencils. The heart of the matter is that one of these interpolants is taken as an arbitrary quadratic polynomial and the weights of the convex combination are set as to obtain third-order accuracy in smooth regions. The embedded mechanism in the WENO-like schemes guarantees that in regions with discontinuities or large gradients, there is an automatic switch to a one-sided second-order reconstruction, which prevents the creation of spurious oscillations. In the one-dimensional case, our new third order scheme is based on an extremely compact point stencil. Analogous compactness is retained in more space dimensions. The accuracy, robustness and high-resolution properties of our scheme are demonstrated in a variety of one and two dimensional problems.


title: Optimal Prediction for Hamiltonian partial differential equations

abstract: Optimal prediction methods compensate for a lack of resolution in the numerical solution of time-dependent differential equations through the use of prior statistical information. We present a new derivation of the basic methodology, show that field-theoretical perturbation theory provides a useful device for dealing with quasi-linear problems, and provide a nonlinear example that illuminates the difference between a pseudo-spectral method and an optimal prediction method with Fourier kernels. Along the way, we explain the differences and similarities between optimal prediction, the representer method in data assimilation, and duality methods for finding weak solutions. We also discuss the conditions under which a simple implementation of the optimal prediction method can be expected to perform well.


title: On Hopf algebras with positive bases

abstract: We show that if a finite dimensional Hopf algebra over ${\bf C}$ has a basis such that all the structure constants are non-negative, then the Hopf algebra must be given by a finite group $G$ and a factorization $G=G_+G_-$ into two subgroups. We also show that Hopf algebras in the category of finite sets with correspondences as morphisms are classified in the similar way. Our results can be used to explain some results in Hopf algebras from set-theoretical viewpoint.


title: Quasi-triangular structures on Hopf algebras with positive bases

abstract: A basis B of a finite dimensional Hopf algebra H is said to be positive if all the structure constants of H relative to B are non-negative. A quasi-triangular structure $R\in H\otimes H$ is said to be positive with respect to B if it has non-negative coefficients in the basis $B \otimes B$ of $H\otimes H$. In our earlier work, we have classified all finite dimensional Hopf algebras with positive bases. In this paper, we classify positive quasi-triangular structures on such Hopf algebras. A consequence of this classification is a new way of constructing set-theoretical solutions of the Yang-Baxter equation.


title: Calibrated Fibrations

abstract: In this paper we investigate the geometry of Calibrated submanifolds and study relations between their moduli-space and geometry of the ambient manifold. In particular for a Calabi-Yau manifold we define Special Lagrangian submanifolds for any Kahler metric on it. We show that for a choice of Kahler metric the Borcea-Voisin threefold has a fibration structure with generic fiber being a Special Lagrangian torus. Moreover we construct a mirror to this fibration. Also for any closed G_2 form on a 7-manifold we study coassociative submanifolds and we show that one example of a G_2 manifold constructed by Joyce in [10] is a fibration with generic fiber being a coassociative 4-torus. Similarly we construct a mirror to this fibration.


title: Sharp estimates for the arithmetic Nullstellensatz

abstract: We present sharp estimates for the degree and the height of the polynomials in the Nullstellensatz over $\Z$. The result improves previous work of Philippon, Berenstein-Yger and Krick-Pardo. We also present degree and height estimates of intrinsic type, which depend mainly on the degree and the height of the input polynomial system. As an application, we derive an effective arithmetic Nullstellensatz for sparse polynomial systems. The proof of these results relies heavily on the notion of local height of an affine variety defined over a number field. We introduce this notion and study its basic properties.


title: Radon transforms for quasi-equivariant D-modules on generalized flag manifolds

abstract: In this paper we deal with Radon transforms for generalized flag manifolds in the framework of quasi-equivariant D-modules. We shall follow the method employed by Baston-Eastwood and analyze the Radon transform using the Bernstein-Gelfand-Gelfand resolution and the Borel-Weil-Bott theorem. We shall determine the transform completely on the level of the Grothendieck groups. Moreover, we point out a vanishing criterion and give a sufficient condition in order that a D-module associated to an equivariant locally free O-module is transformed into an object of the same type. The case of maximal parabolic subgroups of classical simple groups is studied in detail.


title: Moduli of simple holomorphic pairs and effective divisors

abstract: In this note we identify two complex structures (one is given by algebraic geometry, the other by gauge theory) on the set of isomorphism classes of holomorphic bundles with section on a given compact complex manifold. In the case of line bundles, these complex spaces are shown to be isomorphic to a space of effective divisors on the manifold.


title: Krichever Correspondence for Algebraic Surfaces

abstract: In 70's there was discovered a construction how to attach to some algebraic-geometric data an infinite-dimensional subspace in the space k((z)) of the Laurent power series. The construction was successfully used in the theory of integrable systems, particularly, for the KP and KdV equations. There were also found some applications to the moduli of algebraic curves. But there remained a hard restriction by the case of curves, so by dimension 1. Recently, it was pointed out by the author that there are some connections between the theory of the KP-equations and the theory of n-dimensional local fields. From this point of view it becomes clear that the Krichever construction should have a generalization to the case of higher dimensions. This generalization is suggested in the paper for the case of algebraic surfaces.


title: On a Ring of Formal Pseudo-differential Operators

abstract: We study the notion of non-commumative higher dimensional local fields. A simplest example is the ring P of formal pseudo- differential operators. As an application we extend the KP hierarchy to the space $P^n$.


title: Instability of the virtual solvability and the property of being virtually torsion-free for quasi-isometric groups

abstract: We construct examples of groups showing that virtual solvability and the property of being virtually torsion-free are not preserved by bi-Lipschitz maps and hence by quasi-isometries.


title: The structure of a symplectic manifold on the space of loops of 7-manifold

abstract: We define a symplectic structure on the space of non parametrized loops in $G_2$ manifold. We also develop some basics of intersection theory of Lagrangian submanifolds.


title: On the geometry of Goursat structures

abstract: A Goursat structure on a manifold of dimension n is a rank two distribution D such that dim D(i)=i+2, for i=0,...,n-2, where D(i) denotes the derived flag of D, which is defined by D(0)=D and D(i+1)=D(i)+[D(i),D(i)]. Goursat structures appeared first in the work of E. von Weber and E. Cartan, who have shown that on an open and dense subset they can be converted into the so-called Goursat normal form. Later, Goursat structures have been studied by Kumpera and Ruiz. Contact structures on three manifolds and Engel structures on four manifolds are examples of Goursat structures. In the paper, we introduce a new invariant for Goursat structures, called the singularity type, and prove that the growth vector and the abnormal curves of all elements of the derived flag are determined by this invariant. Then we show, using a generalized version of Backlund's theorem, that abnormal curves of all elements of the derived flag do not determine the local equivalence class of a Goursat structure if n>8. We also propose a new proof of a classical theorem of Kumpera and Ruiz. All results are illustrated by the n-trailer system, which, as we show, turns out to be a universal model for all local Goursat structures.


title: Twisted index theory on good orbifolds, I: noncommutative Bloch theory

abstract: This paper, together with Part II, expands the results of math.DG/9803051. In Part I we study the twisted index theory of elliptic operators on orbifold covering spaces of compact good orbifolds, which are invariant under a projective action of the orbifold fundamental group. We apply these results to obtain qualitative results on real and complex hyperbolic spaces in 2 and 4 dimensions, related to generalizations of the Bethe-Sommerfeld conjecture and the Ten Martini Problem, on the spectrum of self adjoint elliptic operators which are invariant under a projective action of a discrete cocompact group.


title: Twisted higher index theory on good orbifolds, II: fractional quantum numbers

abstract: This paper is the continuation of Part I, expanding previous results of math.DG/9803051. This paper uses techniques in noncommutative geometry as developed by Alain Connes in order to study the twisted higher index theory of elliptic operators on orbifold covering spaces of compact good orbifolds, which are invariant under a projective action of the orbifold fundamental group. We also compute the range of the higher cyclic traces on $K$-theory for cocompact Fuchsian groups, which is then applied to determine the range of values of the Connes-Kubo Hall conductance in the discrete model of the quantum Hall effect on the hyperbolic plane. The new phenomenon that we observe in our case is that the Connes-Kubo Hall conductance has plateaux at integral multiples of a fractional valued topological invariant, namely the orbifold Euler characteristic. The set of possible fractions has been determined, and is compared with recently available experimental data.


title: Algorithms for polynomials in two variables

abstract: Vladimir Shpilrain and Jie-Tai Yu have asked for an effective algorithm to decide if two elements of C[x,y] are related by an automorphism of C[x,y]. We describe here an efficient algorithm that decides this question and finds the automorphism if it exists. The algorithm is due to the second author, who described it in terms of Newton polygons, with C replaceable by a field of any characteristic. Here we describe it in terms of splice diagrams, which gains some efficiency at cost of generality (it currently applies only to characteristic zero). Part of the purpose of this paper is to give an exposition of the use of splice diagrams in studying C[x,y].


title: Families of hyperk\"ahler manifolds

abstract: We show the density of the jumping loci of the Picard number of a hyperk\"ahler manifold under small deformation and provide several applications. In particular, we apply this to reveal the structure of hierarchy among all the narrow Mordell-Weil lattices of Jacobian K3 surfaces.


title: Rigorous Probabilistic Analysis of Equilibrium Crystal Shapes

abstract: The rigorous microscopic theory of equilibrium crystal shapes has made enormous progress during the last decade. We review here the main results which have been obtained, both in two and higher dimensions. In particular, we describe how the phenomenological Wulff and Winterbottom constructions can be derived from the microscopic description provided by the equilibrium statistical mechanics of lattice gases. We focus on the main conceptual issues and describe the central ideas of the existing approaches.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: Remarks on the flux groups

abstract: I study flux groups of compact symplectic manifolds. Under some topological assumptions, I give a new estimate of the rank of flux groups and give a method of construcion of compact symplectic aspherical manifolds.


title: On Quantization of the Geometric Langlands Correspondence I

abstract: This paper has been withdrawn due to non-clearness of some technical points, as well as lack of a reasonable statement of quantization conjecture.


title: Birkhoff's Theorem for Panstochastic Matrices

abstract: The panstochastic analogue of Birkhoff's Theorem on doubly-stochastic matrices is proved in the case $n=5$. It is shown that this analogue fails when $n>1$, $n \ne 5$.


title: M-Complete approximate identities in operator spaces

abstract: This work introduces the concept of an M-complete approximate identity (M-cai) for a given operator subspace X of an operator space Y. M-cai's generalize central approximate identities in ideals in $C^*$-algebras, for it is proved that if X admits an M-cai in Y, then X is a complete M-ideal in Y. It is proved, using ``special'' M-cai's, that if $\cal J$ is a nuclear ideal in a $C^*$-algebra $\cal A$, then $\cal J$ is completely complemented in Y for any (isomorphically) locally reflexive operator space Y with $\cal J \subset Y \subset \cal A$ and $Y/\cal J$ separable. (This generalizes the previously known special case where $Y=\cal A$, due to Effros-Haagerup.) In turn, this yields a new proof of the Oikhberg-Rosenthal Theorem that $\cal K$ is completely complemented in any separable locally reflexive operator superspace, $\cal K$ the $C^*$-algebra of compact operators on $\ell^2$. M-cai's are also used in obtaining some special affirmative answers to the open problem of whether $\cal K$ is Banach-complemented in $\cal A$ for any separable $C^*$-algebra $\cal A$ with $\cal K\subset\cal A\subset B(\ell^2)$. It is shown that if conversely X is a complete M-ideal in Y, then X admits an M-cai in Y in the following situations: (i) Y has the (Banach) bounded approximation property; (ii) Y is 1-locally reflexive and X is $\lambda$-nuclear for some $\lambda \ge1$; (iii) X is a closed 2-sided ideal in an operator algebra Y (via the Effros-Ruan result that then X has a contractive algebraic approximate identity). However it is shown that there exists a separable Banach space X which is an M-ideal in $Y=X^{**}$, yet X admits no M-approximate identity in Y.


title: A definition of graph homology and graph K-theory of algebras

abstract: We introduce and study elementary properties of graph homology of algebras. This new homology theory shares many features of cyclic and Hochschild homology. We also define a graph K-theory together with an analog of Chern character.


title: Combinatorics of q-characters of finite-dimensional representations of quantum affine algebras

abstract: We study finite-dimensional representations of quantum affine algebras using q-characters. We prove the conjectures from math.QA/9810055 and derive some of their corollaries. In particular, we prove that the tensor product of fundamental representations is reducible if and only if at least one of the corresponding normalized R-matrices has a pole.


title: The number of edges in critical strongly connected graphs

abstract: We prove that the maximal number of directed edges in a vertex-critical strongly connected simple digraph on n vertices is n(n-1)/2 - n +4.


title: Nonstandard q-deformation of the universal enveloping algebra $U'({\rm so}_n)$

abstract: We describe properties of the nonstandard q-deformation $U'_q({\rm so}_n)$ of the universal enveloping algebra $U({\rm so}_n)$ of the Lie algebra ${\rm so}_n$ which does not coincide with the Drinfeld--Jimbo quantum algebra $U_q({\rm so}_n)$. Irreducible representations of this algebras for q a root of unity q^p=1 are given. These representations act on p^N-dimensional linear space (where N is a number of positive roots of the Lie algebra ${\rm so}_n$) and are given by $r={\rm dim} {\rm so}_n$ complex parameters.


title: Splitting: Tanaka's SDE revisited

abstract: The weak solution of Tanaka's SDE is not a function of the driving Brownian motion, and therefore it has no Wiener chaos expansion. However in some sense explained here it has a generalised chaos expansion involving infinite products of stochastic differentials accumulating at the minimum of the Brownian path. This is related to the existence of a non-classical noise richer than the usual white noise.


title: Direct images in non-archimedean Arakelov theory

abstract: We develop a formalism of direct images for metrized vector bundles in the context of the non-archimedean Arakelov theory introduced in our previous joint work with S. Bloch, and we prove a Riemann-Roch-Grothendieck theorem for this direct image.


title: Selfdual spaces with complex structures, Einstein-Weyl geometry and geodesics

abstract: We study the Jones and Tod correspondence between selfdual conformal 4-manifolds with a conformal vector field and abelian monopoles on Einstein-Weyl 3-manifolds, and prove that invariant complex structures correspond to shear-free geodesic congruences. Such congruences exist in abundance and so provide a tool for constructing interesting selfdual geometries with symmetry, unifying the theories of scalar-flat Kahler metrics and hypercomplex structures with symmetry. We also show that in the presence of such a congruence, the Einstein-Weyl equation is equivalent to a pair of coupled monopole equations, and we solve these equations in a special case. The new Einstein-Weyl spaces, which we call Einstein-Weyl ``with a geodesic symmetry'', give rise to hypercomplex structures with two commuting triholomorphic vector fields.


title: Mathematical Modeling of Boson-Fermion Stars in the Generalized Scalar-Tensor Theories of Gravity

abstract: A model of static boson-fermion star with spherical symmetry based on the scalar-tensor theory of gravity with massive dilaton field is investigated numerically. Since the radius of star is \textit{a priori} an unknown quantity, the corresponding boundary value problem (BVP) is treated as a nonlinear spectral problem with a free internal boundary. The Continuous Analogue of Newton Method (CANM) for solving this problem is applied. Information about basic geometric functions and the functions describing the matter fields, which build the star is obtained. In a physical point of view the main result is that the structure and properties of the star in presence of massive dilaton field depend essentially both of its fermionic and bosonic components.


title: On contractible curves on normal surfaces

abstract: We characterize contractible curves on proper normal algebraic surfaces in terms of complementary Weil divisors. Using this we generalize the classical criteria of Castelnuovo and Artin. As application we derive a finiteness result on homogeneous spectra defined by Weil divisors on surfaces.


title: Kauffman bracket skein module of a connected sum of 3-manifolds

abstract: We show that for the Kauffman bracket skein module over the field of rational functions in variable A, the module of a connected sum of 3-manifolds is the tensor product of modules of the individual manifolds.


title: Einstein metrics, hypercomplex structures and the Toda field equation

abstract: We obtain explicitly all solutions of the SU(infinity) Toda field equation with the property that the associated Einstein-Weyl space admits a 2-sphere of divergence-free shear-free geodesic congruences. The solutions depend on an arbitrary holomorphic function and give rise to new hyperKahler and selfdual Einstein metrics with one dimensional isometry group. These metrics each admit a compatible hypercomplex structure with respect to which the symmetries are triholomorphic.

categories: math.DG gr-qc math-ph math.MP nlin.SI solv-int


title: A new combinatorial characterization of the minimal cardinality of a subset of R which is not of first category

abstract: Let M denote the ideal of first category subsets of R. We prove that min{card X: X \subseteq R, X \not\in M} is the smallest cardinality of a family S \subseteq {0,1}^\omega with the property that for each f: \omega -> \bigcup_{n \in \omega}{0,1}^n there exists a sequence {a_n}_{n \in \omega} belonging to S such that for infinitely many i \in \omega the infinite sequence {a_{i+n}}_{n \in \omega} extends the finite sequence f(i). We inform that S \subseteq {0,1}^\omega is not of first category if and only if for each f: \omega -> \bigcup_{n \in \omega}{0,1}^n there exists a sequence {a_n}_{n \in \omega} belonging to S such that for infinitely many i \in \omega the infinite sequence {a_{i+n}}_{n \in \omega} extends the finite sequence f(i).


title: Fukaya category with curves of higher genus

abstract: We introduce a formalism which allows us to formulate a version of Fukaya category in presence of curves of higher genus.


title: Homotopy of state orbits

abstract: Let M be a von Neumann algebra, f a faithful normal state and denote by M^f the fixed point algebra of the modular group of f. Let U_M and U_{M^f} be the unitary groups of M and M^f. In this paper we study the quotient U_M/U_{M^f} endowed with two natural topologies: the one induced by the usual norm of M (called here usual topology), and the one induced by the pre-Hilbert C*-module norm given by the f-invariant conditional expectation E_f:M \to M^f (called the modular topology). It is shown that U_M/U_{M^f} is simply connected with the usual topology. Both topologies are compared, and it is shown that they coincide if and only if the Jones index of E_f is finite. The set U_M/U_{M^f} can be regarded as a model for the unitary orbit {f \circ Ad(u^*): u\in U_M} of f, and either with the usual or the modular it can be embedded continuously in the conjugate space M* (although not as a topological submanifold).


title: Dynamic monopolies of constant size

abstract: The paper deals with a polling game on a graph. Initially, each vertex is colored white or black. At each round, each vertex is colored by the color shared by the majority of vertices in its neighborhood. We say that a set of vertices is a dynamic monopoly if starting the game with the vertices of the set colored white, the entire system is white after a finite number of rounds. Peleg asked how small a dynamic monopoly may be as a function of the number of vertices. We show that the answer is O(1).


title: Idempotent mathematics and interval analysis

abstract: A brief introduction into Idempotent Mathematics and an idempotent version of Interval Analysis are presented. Some applications are discussed.


title: The Moduli Space of Abelian Varieties and the Singularities of the Theta Divisor

abstract: In this paper we give a lower bound for the codimension of the Andreotti-Mayer loci in the moduli space of principally polarized complex abelian varieties. We also present a conjecture on this codimension.


title: Characterizing the topology of pseudo-boundaries of Euclidean spaces

abstract: We give a topological characterization of the n-dimensional pseudo-boundary of the (2n+1)-dimensional Euclidean space.


title: Nonclassical type representations of the q-deformed algebra $U'_q({\rm so}_n)$

abstract: The nonstandard q-deformation $U'_q({\rm so}_n)$ of the universal enveloping algebra $U({\rm so}_n)$ has irreducible finite dimensional representations which are a q-deformation of the well-known irreducible finite dimensional representations of $U({\rm so}_n)$. But $U'_q({\rm so}_n)$ also has irreducible finite dimensional representations which have no classical analogue. The aim of this paper is to give these representations which are called nonclassical type representations. They are given by explicit formulas for operators of the representations corresponding to the generators of $U'_q({\rm so}_n)$.


title: Central elements of the algebras $U'_q({\rm so}_m)$ and $U_q({\rm iso}_m)$

abstract: The aim of this paper is to give a set of central elements of the algebras $U'_q({\rm so}_m)$ and $U_q({\rm iso}_m)$ when q is a root of unity. They are surprisingly arise from a single polynomial Casimir element of the algebra $U'_q({\rm so}_3)$. It is conjectured that the Casimir elements of these algebras under any values of q (not only for q a root of unity) and the central elements for q a root of unity derived in this paper generate the centers of $U'_q({\rm so}_m)$ and $U_q({\rm iso}_m)$ when q is a root of unity.


title: Nearly Holomorphic Functions and Relative Discrete Series of Weighted $L^2$-Spaces on Bounded Symmetric Domains

abstract: We realize the relative discrete series of a weighted $L^2$-space on a bounded symmetric doamin as kernels of invariant Cauchy-Riemann operator, and thus as the spaces of nearly holomorphic functions.


title: Massey products in symplectic manifolds

abstract: The paper is devoted to study of Massey products in symplectic manifolds. Theory of generalized and classical Massey products and a general construction of symplectic manifolds with nontrivial Massey products of arbitrary large order are exposed. The construction uses the symplectic blow-up and is based on the author results, which describe conditions under which the blow-up of a symplectic manifold X along its submanifold Y inherits nontrivial Massey products from X ot Y. This gives a general construction of nonformal symplectic manifolds.


title: Geometry of oblique projections

abstract: Let A be a unital C*-algebra. Denote by P the space of selfadjoint projections of A. We study the relationship between P and the spaces of projections P_a determined by the different involutions #_a induced by positive invertible elements a in A. The maps f_p: P \to P_a sending p to the unique q in P_a with the same range as p and \Omega_a: P_a \to P sending q to the unitary part of the polar decomposition of the symmetry 2q-1 are shown to be diffeomorphisms. We characterize the pairs of idempotents q, r in A with |q-r|<1 such that there exists a positive element a in A verifying that q, r are in P_a. In this case q and r can be joined by an unique short geodesic along the space of idempotents Q of A.


title: The ideal structure of the Hecke C*-algebra of Bost and Connes

abstract: We compute explicitly the primitive ideal space of the Bost-Connes Hecke C*-algebra by embedding it as a full corner in a transformation group C*-algebra and applying a general theorem of Williams. This requires the computation of the quasi-orbit space for the action of the multiplicative positive rationals on the space of finite adeles. We then carry out a similar computation for the action of the nonzero rationals on the space of full adeles.


title: From endomorphisms to automorphisms and back: dilations and full corners

abstract: When S is a discrete subsemigroup of a discrete group G such that G = S^{-1} S, it is possible to extend circle-valued multipliers from S to G; to dilate (projective) isometric representations of S to (projective) unitary representations of G; and to dilate/extend actions of S by injective endomorphisms of a C*-algebra to actions of G by automorphisms of a larger C*-algebra. These dilations are unique provided they satisfy a minimality condition. The (twisted) semigroup crossed product corresponding to an action of S is isomorphic to a full corner in the (twisted) crossed product by the dilated action of G. This shows that crossed products by semigroup actions are Morita equivalent to crossed products by group actions, making powerful tools available to study their ideal structure and representation theory. The dilation of the system giving the Bost-Connes Hecke C*-algebra from number theory is constructed explicitly as an application: it is the crossed product corresponding to the multiplicative action of the positive rationals on the additive group of finite adeles.


title: Coalescence of skew Brownian motions

abstract: We prove that two skew Brownian motions with the same skewness parameter (different from 0) and driven by the same Brownian motion coalesce a.s.


abstract: The classes of FP-injective and weakly quasi-Frobenius rings are investigated. The properties for both classes of rings are closely linked with embedding of finitely presented modules in fp-flat and free modules respectively. Using these properties, we describe the classes of coherent CF and FGF-rings. Moreover, it is proved that the group ring R(G) is FP-injective (resp. weakly quasi-Frobenius) if and only if the ring R is FP-injective (resp. weakly quasi-Frobenius) and the group G is locally finite.


title: A new quantum so(2,2) algebra

abstract: By starting from the non-standard quantum deformation of the sl(2,R) algebra, a new quantum deformation for the real Lie algebra so(2,2) is constructed by imposing the former to be a Hopf subalgebra of the latter. The quantum so(2,2) algebra so obtained is realized as a quantum conformal algebra of the (1+1) Minkowskian spacetime. This Hopf algebra is shown to be the symmetry algebra of a time discretization of the (1+1) wave equation and its contraction gives rise to a new $(2+1)$ quantum Poincar\'e algebra.


title: Schur-Weyl Categories and Non-quasiclassical Weyl Type Formula

abstract: To a vector space V equipped with a non-quasiclassical involutary solution of the quantum Yang-Baxter equation and a partition $\lambda$, we associate a vector space $\Vl$ and compute its dimension. The functor $V\mapsto \Vl$ is an analogue of the well-known Schur functor. The category generated by the objects $\Vl$ is called the Schur-Weyl category. We suggest a way to construct some related twisted varieties looking like orbits of semisimple elements in sl(n)^*. We consider in detail a particular case of such "twisted orbits", namely the twisted non-quasiclassical hyperboloid and we define the twisted Casimir operator on it. In this case, we obtain a formula looking like the Weyl formula, and describing the asymptotic behavior of the function $N(\la)=\{\sharp \la_i\leq\la\}$, where $\la_i$ are the eigenvalues of this operator.


title: Quantum line bundles via Cayley-Hamilton identity

abstract: As was shown in \cite{GPS} the matrix $L=|| l_i^j||$ whose entries $l_i^j$ are generators of the so-called reflection equation algebra is subject to some polynomial identity looking like the Cayley-Hamilton identity for a numerical matrix. Here a similar statement is presented for a matrix whose entries are generators of a filtered algebra being a "non-commutative analogue" of the reflection equation algebra. In an appropriate limit we get a similar statement for the matrix formed by the generators of the algebra $U(gl(n))$. This property is used to introduce the notion of line bundles over quantum orbits in the spirit of the Serre-Swan approach. The quantum orbits in question are presented explicitly as some quotients of one of the mentioned above algebras both in the quasiclassical case (i.e. that related to the quantum group $U_q(sl(n))$) and a non-quasiclassical one (i.e. that arising from a Hecke symmetry with non-standard Poincar\'e series of the corresponding symmetric and skewsymmetric algebras).


title: Quantum Sphere via Reflection Equation Algebra

abstract: Quantum sphere is introduced as a quotient of the so-called Reflection Equation Algebra. This enables us to construct some line bundles on it by means of the Cayley-Hamilton identity whose a quantum version was discovered in \cite{PS}, \cite{GPS}. A new way to introduce some elements of "braided geometry" on the quantum sphere is discussed.


title: Projective spaces of a C*-algebra

abstract: Based on the projective matrix spaces studied by B. Schwarz and A. Zaks, we study the notion of projective space associated to a C*-algebra A with a fixed projection p. The resulting space P(p) admits a rich geometrical structure as a holomorphic manifold and a homogeneous reductive space of the invertible group of A. Moreover, several metrics (chordal, spherical, pseudo-chordal, non-Euclidean - in Schwarz-Zaks terminology) are considered, allowing a comparison among P(p), the Grassmann manifold of A and the space of positive elements which are unitary with respect to the bilinear form induced by the reflection e = 2p-1. Among several metrical results, we prove that geodesics are unique and of minimal length when measured with the spherical and non-Euclidean metrics.


title: Canonical symbolic dynamics for one-dimensional generalized solenoids

abstract: We define canonical subshift of finite type cover for Williams' 1-dimensional generalized solenoids, and use resulting invariants to distinguish some closely related solenoids.


title: On subspaces of c_0 and extension of operators into C(K)-spaces

abstract: Johnson and Zippin recently showed that if $X$ is a weak^*-closed subspace of $\ell_1$ and T:X-> C(K) is any bounded operator then T can extended to a bounded operator $\tilde T:\ell_1\to C(K).$ We give a converse result: if X is a subspace of $\ell_1$ so that $\ell_1/X$ has a (UFDD) and every operator T:X -> C(K) can be extended to $\ell_1$ then there is an automorphism $\tau$ of $\ell_1$ so that $\tau(X)$ is weak^*-closed. This result is proved by studying subspaces of c_0 and several different characterizations of such subspaces are given.


title: Polar decomposition under perturbations of the scalar product

abstract: Let A be a unital C* algebra with involution * represented in a Hilbert space H, G the group of invertible elements of A, U the unitary group of A, G^s the set of invertible selfadjoint elements of A, Q={e in G : e^2 = 1} the space of reflections and P = Q\cap U. For any positive a in G consider the a-unitary group U_a={g in G : a^{-1} g^* a = g^{-1}}, i.e. the elements which are unitary with respect to the scalar product <\xi,\eta>_a = <a \xi,\eta> for \xi, \eta in H. If \pi denotes the map that assigns to each invertible element its unitary part in the polar decomposition, we show that the restriction \pi|_{U_a}: U_a \to U is a diffeomorphism, that \pi(U_a \cap Q) = P and that \pi(U_a\cap G^s) = U_a\cap G^s = {u in G: u=u^*=u^{-1} and au = ua}.


title: Asymptotic values of hyperbolic monopoles

abstract: We show that many hyperbolic monopoles can be distinguished from each other via their asymptotic values in contrast to the case of Euclidean monopoles.


title: Tactical games & behavioral self-organization

abstract: The interactive game theoretical approach to tactics and behavioral self-organization is developed. Though it uses the interactive game theoretical formalization of dialogues as psycholinguistic phenomena, the crucial role is played by the essentially new concept of a tactical game. Applications to the perception processes and related subjects (memory, recollection, image understanding, imagination) are discussed together with relations to the computer vision and pattern recognition (the dynamical formation of patterns and perception models during perception as a result of its self-organization) and computer games (modelling of the tactical behavior and self-organization, tactical RPG and elaboration of new tactical game techniques). The appendix is devoted to the operative computer games and the user programming of operative units in a multi-user online operative computer game.


title: New subfactors associated with closed systems of sectors

abstract: A theorem is derived which (i) provides a new class of subfactors which may be interpreted as generalized asymptotic subfactors, and which (ii) ensures the existence of two-dimensional local quantum field theories associated with certain modular invariant matrices.


title: Canonical tensor product subfactors

abstract: Canonical tensor product subfactors (CTPS's) describe, among other things, the embedding of chiral observables in two-dimensional conformal quantum field theories. A new class of CTPS's is constructed some of which are associated with certain modular invariants, thereby establishing the expected existence of the corresponding two-dimensional theories.


title: Machines, Logic and Quantum Physics

abstract: Though the truths of logic and pure mathematics are objective and independent of any contingent facts or laws of nature, our knowledge of these truths depends entirely on our knowledge of the laws of physics. Recent progress in the quantum theory of computation has provided practical instances of this, and forces us to abandon the classical view that computation, and hence mathematical proof, are purely logical notions independent of that of computation as a physical process. Henceforward, a proof must be regarded not as an abstract object or process but as a physical process, a species of computation, whose scope and reliability depend on our knowledge of the physics of the computer concerned.


title: Orbits of conditional expectations

abstract: Let N \subseteq M be von Neumann algebras and E:M\to N a faithful normal conditional expectation. In this work it is shown that the similarity orbit S(E) of E by the natural action of the invertible group of G_M of M has a natural complex analytic structure and the map given by this action: G_M\to S(E) is a smooth principal bundle. It is also shown that if N is finite then S(E) admits a reductive structure. These results were known previously under the conditions of finite index and N'\cap M \subseteq N, which are removed in this work. Conversely, if the orbit S(E) has an homogeneous reductive structure for every expectation defined on M, then M is finite. For every algebra M and every expectation E, a covering space of the unitary orbit U(E) is constructed in terms of the connected component of 1 in the normalizer of E. Moreover, this covering space is the universal covering in any of the following cases: 1) M is a finite factor and Ind(E) < \infty; 2) M is properly infinite and E is any expectation; 3) E is the conditional expectation onto the centralizer of a state. Therefore, in those cases, the fundamental group of U(E) can be characterized as the Weyl group of E.


title: Index of Hadamard multiplication by positive matrices II

abstract: Given a definite nonnegative matrix $A \in M_n (C)$, we study the minimal index of A: $I(A) = \max \{\lambda \ge 0 : A\circ B \ge \lambda B$ for all $0\le B\}$, where $A\circ B$ denotes the Hadamard product $(A\circ B)_{ij} = A_{ij} B_{ij}$. For any unitary invariant norm N in $M_n(C)$, we consider the N-index of A: $I(N,A) = \min\{N(A\circ B) : B\ge 0$ and $N(B) = 1 \}$. If A has nonnegative entries, then $I(A) = I(\| \cdot \|_{sp}, A)$ if and only if there exists a vector u with nonnegative entries such that $Au = (1, >..., 1)^T$. We also show that $I(\| \cdot \|_{2}, A)= I(\| \cdot \|_{sp}, {\bar A}\circ A)^{1/2}$. We give formulae for I(N, A), for an arbitrary unitary invariant norm N, when A is a diagonal matrix or a rank 1 matrix. As an application we find, for a bounded invertible selfadjoint operator S on a Hilbert space, the best constant M(S) such that $\|STS + S^{-1} T S^{-1} \| \ge M(S) \|T\| $ for all $0 \le T$.


title: Sharp L^2 bounds for oscillatory integral operators with C^\infty phases

abstract: Let T be an oscillatory integral operator on L^2(R) with a smooth real phase function S(x,y). We prove that, in all cases but the one described below, after localization to a small neighborhood of the origin the norm of T decays like N^{-d/2} as the frequency N->infty, where d is the Newton decay rate introduced by Phong and Stein, which is determined by the Newton diagram of S(x,y). For real analytic phase functions this result was proved by Phong and Stein. For smooth phase functions the best known results so far contained a loss of epsilon in the exponent (implicit in the work of Seeger). The exceptional case mentioned above happens when the Taylor series of the mixed partial derivative S''(x,y) factorizes in R[[x,y]] as U(x,y)(y-f(x))^k, where U(x,y) is a unit, k\ge 2, and f(x) is a series in R[[x]] of the form Cx+(higher order), C\ne 0. In this case we prove an estimate with a loss of of a power of log N.


title: Smoothness of the uniformization of two-dimensional linear foliation on torus with nonstandard metric

abstract: Consider a parallel plane foliation on real finite-dimensional linear vector space. It induces a foliation on the torus obtained by factorization of the space by the integer lattice (let us denote the latter foliation by F). Let g be arbitrary metric on the torus. It induces a complex structure on each leaf of F such that all the leaves are parabolic: each individual leaf admits a conformal flat complete metric. We show that for any foliation F as above and arbitrary smooth metric g the correspondent complete conformal flat metric on the leaves, which is smooth on individual leaf, can be chosen to be smooth in the whole torus (in particular, in transversal parameter). We show that under appropriate Diophantine condition on the foliation for arbitrary smooth metric g there exists a smooth Euclidean metric on the torus conformal on the leaves such that the latters are totally geodesic; in other terms, the correspondent triple consisting of the torus, the foliation and the complex structure on the leaves is isomorphic to a triple correspondent to a linear foliation on another torus equipped with the standard complex structure on the leaves. This Diophantine condition is exact. We state and prove the analytic versions of these statements.