title: An Affine Linear Solution for the 2-Face Colorable Gauss Code Problem in the Klein Bottle and a Quadratic System for Arbitrary Closed Surfaces

abstract: Let $\bar{P}$ be a sequence of length $2n$ in which each element of $\{1,2,...,n\}$ occurs twice. Let $P'$ be a closed curve in a closed surface $S$ having $n$ points of simple auto-intersections, inducing a 4-regular graph embedded in $S$ which is 2-face colorable. If the sequence of auto-intersections along $P'$ is given by $\bar{P}$, we say that is a {\em $P'$ 2-face colorable solution for the Gauss Code $\bar{P}$ on surface $S$} or a {\em lacet for $\bar{P}$ on $S$}. In this paper we present a necessary and sufficient condition yielding these solutions when $S$ is Klein bottle. The condition take the form of a system of $m$ linear equations in $2n$ variables over $\Z_2$, where $m \le n(n-1)/2$. Our solution generalize solutions for the projective plane and on the sphere. In a strong way, the Klein bottle is an extremal case admitting an affine linear solution: we show that the similar problem on the torus and on surfaces of higher connectivity are modelled by a quadratic system of equations.


title: On the zero slice of the sphere spectrum

abstract: In this paper we prove over fields of characteristic zero that the zero slice of the motivic sphere spectrum is the motivic Eilenberg-Maclane spectrum. As a corollary one concludes that the slices of any spectrum are modules over the motivic Eilenberg-MacLane spectrum. To prove our result we analyze the unstable homotopy type of the symmetric powers of the T-sphere.


title: Self-dual manifolds and mirror symmetry for the quintic threefold

abstract: For all $m > 0$ we build a two-dimensional family of smooth manifolds of real dimension $3m + 2$ and use it to interpolate between the anticanonical family in the complex projective space of dimension $m + 1$ and its mirror dual. The main tool is the notion of self-dual manifold.


title: A natural construction for the real numbers

abstract: A new construction of the real number system, that is built directly upon the additive group of integers and has its roots in the definition due to Henri Poincar\'e of the rotation number of an orientation preserving homeomorphism of the circle.


title: Exactly controlling the non-supercompact strongly compact cardinals

abstract: We summarize the known methods of producing a non-supercompact strongly compact cardinal and describe some new variants. Our Main Theorem shows how to apply these methods to many cardinals simultaneously and exactly control which cardinals are supercompact and which are only strongly compact in a forcing extension. Depending upon the method, the surviving non-supercompact strongly compact cardinals can be strong cardinals, have trivial Mitchell rank or even contain a club disjoint from the set of measurable cardinals. These results improve and unify previous results of the first author.


title: Multi-dimensional properties of One-dimensional discrete Fourier transform

abstract: A mathematical relation between elements of one- and multi-dimensional discrete Fourier transforms (DFT) is found. A method of analysing the multi-dimensional data by their single one-dimensional (1-D) DFT is offered. An experiment of filtering a two-dimensional image using the single 1-D DFT is carried out.


title: On spaces of connected graphs I: Properties of Ladders

abstract: We examine spaces of connected tri-/univalent graphs subject to local relations which are motivated by the theory of Vassiliev invariants. It is shown that the behaviour of ladder-like subgraphs is strongly related to the parity of the number of rungs: there are similar relations for ladders of even and odd lengths, respectively. Moreover, we prove that - under certain conditions - an even number of rungs may be transferred from one ladder to another.


title: On spaces of connected graphs II: Relations in the algebra Lambda

abstract: The graded algebra Lambda defined by Pierre Vogel is of general interest in the theory of finite-type invariants of knots and of 3-manifolds because it acts on the corresponding spaces of connected graphs subject to relations called IHX and AS. We examine a subalgebra Lambda_0 that is generated by certain elements called t and x_n with n >= 3. Two families of relations in Lambda_0 are derived and it is shown that the dimension of Lambda_0 grows at most quadratically with respect to degree. Under the assumption that t is not a zero divisor in Lambda_0, a basis of Lambda_0 and an isomorphism from Lambda_0 to a sub-ring of Z[t,u,v] is given.


title: On spaces of connected graphs III: The Ladder Filtration

abstract: A new filtration of the spaces of tri-/univalent graphs B_m^u that occur in the theory of finite-type invariants of knots and 3-manifolds is introduced. Combining the results of the two preceding articles, the quotients of this filtration are modeled by spaces of graphs with two types of edges and four types of vertices, and an upper bound for dim B_m^u in terms of the dimensions of the filtration quotients is given. The degree m up to which B_m^u is known is raised by two for u=0 and u=2.


title: Bravais colourings of planar modules with N-fold symmetry

abstract: The first step in investigating colour symmetries for periodic and aperiodic systems is the determination of all colouring schemes that are compatible with the symmetry group of the underlying structure, or with a subgroup of it. For an important class of colourings of planar structures, this mainly combinatorial question can be addressed with methods of algebraic number theory. We present the corresponding results for all planar modules with N-fold symmetry that emerge as the rings of integers in cyclotomic fields with class number one. The counting functions are multiplicative and can be encapsulated in Dirichlet series generating functions, which turn out to be the Dedekind zeta functions of the corresponding cyclotomic fields.


title: Super-Jordanian Quantum Superalgebra ${\cal U}_{h}(osp(2/1))$

abstract: A triangular quantum deformation of $ osp(2/1) $ from the classical $r$-matrix including an odd generator is presented with its full Hopf algebra structure. The deformation maps, twisting element and tensor operators are considered for the deformed $ osp(2/1)$. It is also shown that its subalgebra generated by the Borel subalgebra is self-dual.


title: Cell decomposition and p-adic integration

abstract: A semialgebraic bijection from the field of p-adic numbers to itself minus one point is constructed. Semialgebraic p-adic sets are classified up to semialgebraic bijection. A cell decomposition theorem for restricted analytic p-adic maps is proven, in analogy with the cell decomposition theorem for polynomial maps by Denef. This cell decomposition is used to show that a certain algebra (built up with analytic and subanalytic p-adic functions) is closed under p-adic integration. This solves a conjecture of Denef on parametrized analytic p-adic integrals. Local (analytic) singular series are shown to be in this algebra. Subanalytic p-adic sets are classified up to subanalytic bijection. Multivariate Kloosterman sums are studied modulo powers of p. A qualitative decay rate is obtained when this power goes to infinity. This is a multivariate analogue of a result of Igusa's. Also Presburger groups are studied. A dimension for Presburger sets is defined, Presburger sets are classified up to definable bijection, and elimination of imaginaries is proven. Grothendieck rings of several classes of valued fields are calculated.


title: Discrete Approximation of Non-Compact Operators Describing Continuum-of-Alleles Models

abstract: We consider the eigenvalue equation for the largest eigenvalue of certain kinds of non-compact linear operators given as the sum of a multiplication and a kernel operator. It is shown that, under moderate conditions, such operators can be approximated arbitrarily well by operators of finite rank, which constitutes a discretization procedure. For this purpose, two standard methods of approximation theory, the Nystr\"om and the Galerkin method, are generalized. The operators considered describe models for mutation and selection of an infinitely large population of individuals that are labeled by real numbers, commonly called continuum-of-alleles (COA) models.


title: On a class of integrable systems connected with GL(N,\RR)

abstract: In this paper we define a new class of the quantum integrable systems associated with the quantization of the cotangent bundle $T^*(GL(N))$ to the Lie algebra $\frak{gl}_N$. The construction is based on the Gelfand-Zetlin maximal commuting subalgebra in $U(\frak{gl}_N)$. We discuss the connection with the other known integrable systems based on $T^*GL(N)$. The construction of the spectral tower associated with the proposed integrable theory is given. This spectral tower appears as a generalization of the standard spectral curve for integrable system.


title: On Heegaard Floer homology and Seifert fibered surgeries

abstract: We explore certain restrictions on knots in the three-sphere which admit non-trivial Seifert fibered surgeries. These restrictions stem from the Heegaard Floer homology for Seifert fibered spaces, and hence they have consequences for both the Alexander polynomial of such knots, and also their knot Floer homology. In particular, we show that certain polynomials are never the Alexander polynomials of knots which admit homology three-sphere Seifert fibered surgeries. The knot Floer homology restrictions, on the other hand, apply also in cases where the Alexander polynomial gives no information, such as the Kinoshita-Terasaka knots.


title: Finite tensor categories

abstract: We start the general structure theory of not necessarily semisimple finite tensor categories, generalizing the results in the semisimple case (i.e. for fusion categories), obtained recently in our joint work with D.Nikshych. In particular, we generalize to the categorical setting the Hopf and quasi-Hopf algebra freeness theorems due to Nichols-Zoeller and Schauenburg, respectively. We also give categorical versions of the theory of distinguished group-like elements in a finite dimensional Hopf algebra, of Lorenz's result on degeneracy of the Cartan matrix, and of the absence of primitive elements in a finite dimensional Hopf algebra in zero characteristic. We also develop the theory of module categories and dual categories for not necessarily semisimple finite tensor categories; the crucial new notion here is that of an exact module category. Finally, we classify indecomposable exact module categories over the simplest finite tensor categories, such as representations of a finite group in positive characteristic, representations of a finite supergroup, and representations of the Taft Hopf algebra.


title: Closed and sigma-finite measures on the orthogonal projections

abstract: We characterize the connection between closed and $\sigma$-finite measures on orthogonal projections of von Neumann algebras.


title: p-adic Arakelov theory

abstract: We introduce the p-adic analogue of Arakelov intersection theory on arithmetic surfaces. The intersection pairing in an extension of the p-adic height pairing for divisors of degree 0 in the form described by Coleman and Gross. It also uses Coleman integration and is related to work of Colmez on p-adic Green functions. We introduce the p-adic version of a metrized line bundle and define the metric on the determinant of its cohomology in the style of Faltings. It is possible to prove in this theory analogues of the Adjunction formula and the Riemann-Roch formula.


title: Stanley-Reisner rings, sheaves, and Poincare-Verdier duality

abstract: Recently, I defined a squarefree module over a polynomial ring $S = k[x_1, >..., x_n]$ generalizing the Stanley-Reisner ring $k[\Delta] = S/I_\Delta$ of a simplicial complex $\Delta \subset 2^{1, ..., n}$. In this paper, from a squarefree module $M$, we construct the $k$-sheaf $M^+$ on an $(n-1)$ simplex $B$ which is the geometric realization of $2^{1, ..., n}$. For example, $k[\Delta]^+$ is (the direct image to $B$ of) the constant sheaf on the geometric realization $|\Delta| \subset B$. We have $H^i(B, M^+) = [H^{i+1}_m(M)]_0$ for all $i > 0$. The Poincare-Verdier duality for sheaves $M^+$ on $B$ corresponds to the local duality for squarefree modules over $S$. For example, if $|\Delta|$ is a manifold, then $k[\Delta]$ is a Buchsbaum ring whose canonical module is a squarefree module giving the orientation sheaf of $|\Delta|$ with the coefficients in $k$.


title: Representability of Aut_F and End_F

abstract: Recently N. Nitsure showed that for a coherent sheaf F on a noetherian scheme the automorphism functor Aut_F is representable if and only if F is locally free. Here we remove the noetherian hypothesis and show that the same result holds for the endomorphism functor End_F even if one asks for representability by an algebraic space.


title: Une correspondance de Jacquet-Langlands p-adique

abstract: We extend the Jacquet-Langlands'correspondence between the Hecke-modules of usual and quaternionic modular forms, to overconvergent p-adic forms of finite slope. We show that this correspondence respects p-adic families and is induced by an isomorphism between some associated eigencurves.


title: A generalization of the Simion-Schmidt bijection for restricted permutations

abstract: We consider the two permutation statistics which count the distinct pairs obtained from the last two terms of occurrences of patterns t_1...t_{m-2}m(m-1) and t_1...t_{m-2}(m-1)m in a permutation, respectively. By a simple involution in terms of permutation diagrams we will prove their equidistribution over the symmetric group. As special case we derive a one-to-one correspondence between permutations which avoid each of the patterns t_1...t_{m-2}m(m-1) in S_m and such ones which avoid each of the patterns t_1...t_{m-2}(m-1)m. For m=3, this correspondence coincides with the bijection given by Simion and Schmidt in their famous paper on restricted permutations.


title: A special class of solutions of the truncated Hill's equation

abstract: This work investigates the existence and properties of a certain class of solutions of the Hill's equation truncated in the interval [tau, tau + L] - where L = N a, a is the period of the coefficients in Hill's equation, N is a positive integer and tau is a real number. It is found that the truncated Hill's equation has two different types of solutions which vanish at the truncation boundaries tau and tau + L: There are always N-1 solutions in each stability interval of Hill's equation, whose eigen value is dependent on the truncation length L but not on the truncation boundary tau; There is always one and only one solution in each finite conditional instability interval of Hill's equation, whose eigen value might be dependent on the boundary location tau but not on the truncation length L. The results obtained are applied to the physics problem on the electronic states in one dimensional crystals of finite length. It significantly improves many known results and also provides more new understandings on the physics in low dimensional systems.


title: A brief introduction to p-adic numbers

abstract: In this short survey we look at a few basic features of p-adic numbers, somewhat with the point of view of a classical analyst. In particular, with p-adic numbers one has arithmetic operations and a norm, just as for real or complex numbers.


title: Entanglement via Barut-Girardello coherent state for $su_{q}(1, 1)$ quantum algebra: bipartite composite system

abstract: Using noncocommutative coproduct properties of the quantum algebras, we introduce and obtain, in a bipartite composite system, the Barut-Girardello coherent state for the q-deformed $su_{q}(1,1)$ algebra. The quantum coproduct structure ensures this normalizable coherent state to be entangled. The entanglement disappears in the classical $q \to 1$ limit, giving rise to a factorizable state.


title: Orthogonality of Jacobi polynomials with general parameters

abstract: In this paper we study the orthogonality conditions satisfied by Jacobi polynomials $P_n^{(\alpha,\beta)}$ when the parameters $\alpha$ and $\beta$ are not necessarily $>-1$. We establish orthogonality on a generic closed contour on a Riemann surface. Depending on the parameters, this leads to either full orthogonality conditions on a single contour in the plane, or to multiple orthogonality conditions on a number of contours in the plane. In all cases we show that the orthogonality conditions characterize the Jacobi polynomial $P_n^{(\alpha, \beta)}$ of degree $n$ up to a constant factor.


title: Positive trigonometric polynomials

abstract: We study the boundary of the nonnegative trigonometric polynomials from the algebraic point of view. In particularly, we show that it is a subset of an irreducible algebraic hypersurface and established its explicit form in terms of resultants.


title: Finite basis property for some classes of irreducible representations of the symmetric groups

abstract: In this paper we study the possibility to define irreducible representations of the symmetric groups with the help of finitely many relations. The existence of finite bases is established for the classes of representations corresponding to two-part partitions and to partitions from the fundamental alcove.


title: Quadratic functions on torsion groups

abstract: We investigate classification results for general quadratic functions on torsion abelian groups. Unlike the previously studied situations, general quadratic functions are allowed to be inhomogeneous or degenerate. We study the discriminant construction which assigns, to an integral lattice with a distinguished characteristic form, a quadratic function on a torsion group. When the associated symmetric bilinear pairing is fixed, we construct an affine embedding of a quotient of the set of characteristic forms into the set of all quadratic functions and determine explicitly its cokernel. We determine a suitable class of torsion groups so that quadratic functions defined on them are classified by the stable class of their lift. This refines results due to A.H. Durfee, V. Nikulin, C.T.C. Wall and E. Looijenga -- J. Wahl. Finally, we show that on this class of torsion groups, two quadratic functions are isomorphic if and only if they have equal associated Gauss sums and there is an isomorphism between the associated symmetric bilinear pairings which preserves the "homogeneity defects". This generalizes a classical result due to V. Nikulin. Our results are elementary in nature and motivated by low-dimensional topology.


title: Reidemeister-Turaev torsion modulo one of rational homology three-spheres

abstract: Given an oriented rational homology 3-sphere M, it is known how to associate to any Spin^c-structure \sigma on M two quadratic functions over the linking pairing. One quadratic function is derived from the reduction modulo 1 of the Reidemeister-Turaev torsion of (M,\sigma), while the other one can be defined using the intersection pairing of an appropriate compact oriented 4-manifold with boundary M. In this paper, using surgery presentations of the manifold M, we prove that those two quadratic functions coincide. Our proof relies on the comparison between two distinct combinatorial descriptions of Spin^c-structures on M Turaev's charges vs Chern vectors.


title: On the symmetry classes of the first covariant derivatives of tensor fields

abstract: We show that the symmetry classes of torsion-free covariant derivatives $\nabla T$ of r-times covariant tensor fields T can be characterized by Littlewood-Richardson products $\sigma [1]$ where $\sigma$ is a representation of the symmetric group $S_r$ which is connected with the symmetry class of T. If $\sigma = [\lambda]$ is irreducible then $\sigma [1]$ has a multiplicity free reduction $[\lambda][1] = \sum [\mu]$ and all primitive idempotents belonging to that sum can be calculated from a generating idempotent e of the symmetry class of T by means of the irreducible characters or of a discrete Fourier transform of $S_{r+1}$. We apply these facts to derivatives $\nabla S$, $\nabla A$ of symmetric or alternating tensor fields. The symmetry classes of the differences $\nabla S - sym(\nabla S)$ and $\nabla A - alt(\nabla A)$ are characterized by Young frames (r, 1) and (2, 1^{r-1}), respectively. However, while the symmetry class of $\nabla A - alt(\nabla A)$ can be generated by Young symmetrizers of (2, 1^{r-1}), no Young symmetrizer of (r, 1) generates the symmetry class of $\nabla S - sym(\nabla S)$. Furthermore we show in the case r = 2 that $\nabla S - sym(\nabla S)$ and $\nabla A - alt(\nabla A)$ can be applied in generator formulas of algebraic covariant derivative curvature tensors. For certain symbolic calculations we used the Mathematica packages Ricci and PERMS.


title: Algebraic structure of the space of homotopy classes of cycles and singular homology

abstract: Described the algebraic structure on the space of homotopy classes of cycles with marked topological flags of disks. This space is a non-commutative monoid, with an Abelian quotient corresponding to the group of singular homologies $H_k(M)$. For the marked flag contracted to a point the multiplication becomes commutative and the subgroup of spherical cycles corresponds to the usual homotopy group $\pi_k(M)$.


title: Noncommutative Lp modules

abstract: We construct classes of von Neumann algebra modules by considering ``column sums" of noncommutative L^p spaces. Our abstract characterization is based on an L^{p/2}-valued inner product, thereby generalizing Hilbert C*-modules and representations on Hilbert space. While the (single) representation theory is similar to the L^2 case, the concept of L^p bimodule (p not 2) turns out to be nearly trivial.


title: Closed Model Categories for Presheaves of Simplicial Groupoids and Presheaves of 2-Groupoids

abstract: It is shown that the category of presheaves of simplicial groupoids and the category of presheaves of 2-groupoids have Quillen closed model structures. Furthermore, their homotopy categories are equivalent to the homotopy categories of simplicial presheaves and homotopy 2-types, respectively.


title: Star-Operations Induced by Overrings

abstract: Let $D$ be an integral domain with quotient field $K$. A star-operation $\star$ on $D$ is a closure operation $A \longmapsto A^\star$ on the set of nonzero fractional ideals, $F(D)$, of $D$ satisfying the properties: $(xD)^\star = xD$ and $(xA)^\star = xA^\star$ for all $x \in K^\ast$ and $A \in F(D)$. Let ${\M S}$ be a multiplicatively closed set of ideals of $D$. For $A \in F(D)$ define $A_{\M S} = \{x \in K \mid xI \subseteq{A}$, for some $I \in {\M S}\}$. Then $D_{\M S}$ is an overring of $D$ and $A_{\M S}$ is a fractional ideal of $D_{\M S}$. Let ${\M S}$ be a multiplicative set of finitely generated nonzero ideals of $D$ and $A \in F(D)$, then the map $A \longmapsto A_{\M S}$ is a finite character star-operation if and only if for each $I \in {\M S}$, $I_v = D$. We give an example to show that this result is not true if the ideals are not assumed to be finitely generated. In general, the map $A \longmapsto A_{\M S}$ is a star-operation if and only if $\bar {\M S}$, the saturation of ${\M S}$, is a localizing GV-system. We also discuss star-operations given of the form $A \longmapsto \cap AD_\alpha$, where $D = \cap D_\alpha$.


title: Positive mass theorem and the boundary behaviors of compact manifolds with nonnegative scalar curvature

abstract: In this paper, we study the boundary behaviors of compact manifolds with nonnegative scalar curvature and with nonempty boundary. Using a general version of Positive Mass Theorem of Schoen-Yau and Witten, we prove the following theorem: For any compact manifold with boundary and nonnegative scalar curvature, if it is spin and its boundary can be isometrically embedded into Euclidean space as a strictly convex hypersurface, then the integral of mean curvature of the boundary of the manifold cannot be greater than the integral of mean curvature of the embedded image as a hypersurface in Euclidean space. Moreover, equality holds if and only if the manifold is isometric with a domain in the Euclidean space. Conversely, under the assumption that the theorem is true, then one can prove the ADM mass of an asymptotically flat manifold is nonnegative, which is part of the Positive Mass Theorem.


title: The number of terms in the permanent and the determinant of a generic circulant matrix

abstract: Let A=(a_(ij)) be the generic n by n circulant matrix given by a_(ij)=x_(i+j), with subscripts on x interpreted mod n. Define d(n) (resp. p(n)) to be the number of terms in the determinant (resp. permanent) of A. The function p(n) is well-known and has several combinatorial interpretations. The function d(n), on the other hand, has not been studied previously. We show that when n is a prime power, d(n)=p(n). The proof uses symmetric functions.


title: Complete reducibility of integrable modules for the affine Lie(super) algebras

abstract: We prove complete reducibility for an integrable module for an affine Lie algebra where the canonical central element acts non-trivially. We further prove that integrable modules does not exists for most of the super affine Lie algebras where the center acts non-trivially.


title: The abc-conjecture is true for at least $N(c), 1 \leq N(c) <\phi(c)/2$, partitions a, b of c

abstract: We prove that for any positive integer c there are at least N(c), $1\leq N(c) < \phi(c)/2$ representations of c as a sum of two positive integers a, b, with no common divisor, such that the N(c) radicals R(abc) are all greater than kc, where k an absolute constant.


title: Normed convergence property for hypergroups admitting an invariant measure

abstract: We prove that a hypergroup admitting a countable basis and an invariant Haar measure has normed convergence property if and only if it is compact.


title: Projectively and conformally invariant star-products

abstract: We consider the Poisson algebra S(M) of smooth functions on T^*M which are fiberwise polynomial. In the case where M is locally projectively (resp. conformally) flat, we seek the star-products on S(M) which are SL(n+1,R) (resp. SO(p+1,q+1))-invariant. We prove the existence of such star-products using the projectively (resp. conformally) equivariant quantization, then prove their uniqueness, and study their main properties. We finally give an explicit formula for the canonical projectively invariant star-product.


title: On Maps with a Single Zigzag

abstract: If a graph $G_M$ is embedded into a closed surface $S$ such that $S \backslash G_M$ is a collection of disjoint open discs, then $M=(G_M,S)$ is called a {\em map}. A {\em zigzag} in a map $M$ is a closed path which alternates choosing, at each star of a vertex, the leftmost and the rightmost possibilities for its next edge. If a map has a single zigzag we show that the cyclic ordering of the edges along it induces linear transformations, $c_P$ and $c_{P^\sim}$ whose images and kernels are respectively the cycle and bond spaces (over GF(2)) of $G_M$ and $G_D$, where $D=(G_D,S)$ is the dual map of $M$. We prove that $Im(c_P \circ c_{P^\sim})$ is the intersection of the cycle spaces of $G_M$ and $G_D$, and that the dimension of this subspace is connectivity of $S$. Finally, if $M$ has also a single face, this face induces a linear transformation $c_D$ which is invertible: we show that $c_D^{-1} = c_{P^\sim}$.


title: Kneading Theory for Triangular Maps

abstract: The main purpose of this paper is to present a kneading theory for two-dimensional triangular maps. This is done by defining a tensor product between the polynomials and matrices corresponding to the one-dimensional basis map and fiber map. We also define a Markov partition by rectangles for the phase space of these maps. A direct consequence of these results is the rigorous computation of the topological entropy of two-dimensional triangular maps. The connection between kneading theory and subshifts of finite type is shown by using a commutative diagram derived from the homological configurations associated to $m-$modal maps of the interval.


title: Limiting shape for directed percolation models

abstract: We consider directed first-passage and last-passage percolation on the nonnegative lattice Z_+^d, d\geq2, with i.i.d. weights at the vertices. Under certain moment conditions on the common distribution of the weights, the limits g(x)=lim_{n\to\infty}n^{-1}T(\lfloor nx\rfloor) exist and are constant a.s. for x\in R_+^d, where T(z) is the passage time from the origin to the vertex z\in Z_+^d. We show that this shape function g is continuous on R_+^d, in particular at the boundaries. In two dimensions, we give more precise asymptotics for the behavior of g near the boundaries; these asymptotics depend on the common weight distribution only through its mean and variance. In addition we discuss growth models which are naturally associated to the percolation processes, giving a shape theorem and illustrating various possible types of behavior with output from simulations.


title: CAT(0) is an algorithmic property

abstract: In this article we give an explicit algorithm which will determine, in a discrete and computable way, whether a finite piecewise Euclidean complex is non-positively curved. In particular, given such a complex we show how to define a boolean combination of polynomial equations and inequalities in real variables, i.e. a real semi-algebraic set, which is empty if and only if the complex is non-positively curved. Once this equivalence has been shown, the main result follows from a standard theorem in real algebraic geometry.


title: Combinatorial conditions that imply word-hyperbolicity for 3-manifolds

abstract: Thurston conjectured that a closed triangulated 3-manifold in which every edge has degree 5 or 6, and no two edges of degree 5 lie in a common 2-cell, has word-hyperbolic fundamental group. We establish Thurston's conjecture by proving that such a manifold admits a piecewise Euclidean metric of non-positive curvature and the universal cover contains no isometrically embedded flat planes. The proof involves a mixture of computer computation and techniques from small cancellation theory.


title: Algebres de Hecke affines generiques

abstract: Let $H$ be a generic affine Hecke algebra (Iwahori-Matsumoto definition) over a polynomial algebra with a finite number of indeterminates over the ring of integers. We prove the existence of an integral Bernstein-Lusztig basis related to the Iwahori-Matsumoto basis by a strictly upper triangular matrix, from which we deduce that the center $Z$ of $H$ is finitely generated and that $H$ is a finite type $Z$-module (this was proved after inversion of the parameters by Bernstein-Lusztig), and we give some applications to the theory of $H$-modules where the parameters act by 0. These results are related to the smooth $p$-adic or mod $p$ representations of reductive $p$-adic groups. We introduce the supersingular modules of the affine Hecke algebra of GL(n) with parameter 0, probably analogues of the Barthel-Livne supersingular mod $p$ representations of GL(2).


title: Effective actions of SU_n on complex n-dimensional manifolds

abstract: For $n\ge 2$ we classify all connected n-dimensional complex manifolds admitting effective actions of the special unitary group SU_n by biholomorphic transformations.


title: Oscillation of Fourier Integrals with a spectral gap

abstract: Suppose that Fourier transform of a function f is zero on the interval [-a,a]. We prove that the lower density of sign changes of f is at least a/pi, provided that f is a locally integrable temperate distribution in the sense of Beurling, with non-quasianalytic weight. We construct an example showing that the last condition cannot be omitted.


title: Relative tensor products for modules over von Neumann algebras

abstract: We give an overview of relative tensor products (RTPs) for von Neumann algebra modules. For background, we start with the categorical definition and go on to examine its algebraic formulation, which is applied to Morita equivalence and index. Then we consider the analytic construction, with particular emphasis on explaining why the RTP is not generally defined for every pair of vectors. We also look at recent work justifying a representation of RTPs as composition of unbounded operators, noting that these ideas work equally well for L^p modules. Finally, we prove some new results characterizing preclosedness of the map (\xi, \eta) \mapsto \xi \otimes_\phi \eta.


title: Convergence of formal embeddings between real-analytic hypersurfaces in codimension one

abstract: We show that every formal embedding sending a real-analytic strongly pseudoconvex hypersurface in $M\subset \C^N$ into another such hypersurface in $M'\subset \C^{N+1}$ is convergent. More generally, if $M$ and $M'$ are merely Levi-nondegenerate, the same conclusion holds for any formal embedding provided either that the embedding is CR transversal or the target hypersurface does not contain any complex curves.


title: Symmetrizers and Continuity of Stable Subspaces for Parabolic-Hyperbolic Boundary Value Problems

abstract: In this paper we prove the continuity of stable subspaces associated to parabolic-hyperbolic boundary value problems, for limiting values of parameters. The analysis is based on the construction performed in a previous paper of Kreiss' type symmetrizers.


title: Some remarks on Nichols algebras

abstract: Two algebras can be attached to a braided vector space $(V, c)$ in an intrinsic way; the FRT-bialgebra and the Nichols algebra $\toba(V, c)$. The FRT-bialgebra plays the r\^ole of the algebra of quantum matrices, whereas the r\^ole of the Nichols algebra is less understood. Some authors call $\toba(V)$ a quantum symmetric algebra. The purpose of this paper is to discuss some properties of certain Nichols algebras, in an attempt to establish classes of Nichols algebras which are worth of further study.


title: Characterization theorems for the projective space and vector bundle adjunction

abstract: We consider some conditions under which a smooth projective variety X is actually the projective space. We also extend to the case of positive characteristic some results in the theory of vector bundle adjunction. We use methods and techniques of the so called Mori theory, in particular the study of rational curves on projective manifolds.


title: On the automorphisms of $U_q^+({\mathfrak g})$

abstract: Let g be a simple complex finite dimensional Lie algebra and let U_q^+(g) be the positive part of the quantum enveloping algebra of g. If g is of type A_2, the group of algebra automorphisms of U_q^+(g) is a semidirect product of a 2-dimensional torus and the group of automorphisms of the Dynkin diagram; any algebra automorphism is an automorphism of braided Hopf algebra, and preserves the standard grading [AD1]. This intriguing smallness of the group of algebra automorphisms raises questions about the extent of these phenomena. We discuss some of them in the present paper. We introduce the notion of ``algebra with few automorphisms" and establish some consequences. We prove some exploratory results concerning the group of algebra automorphisms for the type B_2. We study Hopf algebra automorphisms of Nichols algebras and their bosonizations and compute in particular the group of Hopf algebra automorphisms of U_q^+(g).


title: The homotopy principle in complex analysis: a survey

abstract: This is a survey on the homotopy principle in complex analysis on Stein manifolds, also called the Oka principle in this context. We concentrate on the following topics: the Oka-Grauert principle (classification of holomorphic vector bundles); the homotopy principle for holomorphic mappings from Stein manifolds and, more generally, for sections of holomorphic submersions with sprays; question on removability of intersections of holomorphic mappings with complex subvarieties; embeddings and immersions of Stein manifolds in affine spaces of minimal dimension; embeddings of open Riemann surfaces in the affine plane; noncritical holomorphic functions on Stein manifolds and the Oka principle for holomorphic submersions of Stein manifolds to affine spaces.


title: The quasi-periodic stability condition (the KAM theorem) for partially-integrable systems

abstract: Written with respect to an appropriate Poisson structure, a partially integrable Hamiltonian system is viewed as a completely integrable system with parameters. Then, the theorem on quasi-periodic stability in Ref. [1] (the KAM theorem) can be applied to this system.


title: Torsion in almost Kaehler geometry

abstract: We study almost K\"ahler manifolds whose curvature tensor satisfies the second curvature condition of Gray (shortly ${\cal{AK}}_2$). This condition is interpreted in terms of the first canonical Hermitian connection. It turns out that this condition forces the torsion of this connection to be parallel in directions orthogonal to the K\"ahler nullity of the almost complex structure. We prove a local structure result for ${\cal{AK}}_2$ manifolds, showing that the basic pieces are manifolds with parallel torsion and special almost K\"ahler manifolds, a class generalizing, to some algebraic extent, the class of 4-dimensional ${\cal{AK}}_2$-manifolds. In the case of parallel torsion, the Einstein condition and the reducibility of the canonical Hermitian connection is studied.


title: Rayleigh triangles and non-matrix interpolation of matrix beta-integrals

abstract: We interpolate matrix beta-integrals of Siegel, Hua Loo Keng and Gindikin types with respect to dimension of the field. The domain of integration (Rayleigh triangles) imitates collections of all the eigenvalues of all the principal minors of a self-adjoint matrix. We also interpolate the Hua--Pickrell measures on inverse limits of symmetric spaces. Our family of integrals also contains the Selberg integral.


title: On automorphism groups of free products of finite groups, I: Proper Actions

abstract: If $G$ is a free product of finite groups, let $\Sigma Aut_1(G)$ denote all (necessarily symmetric) automorphisms of $G$ that do not permute factors in the free product. We show that a McCullough-Miller [D. McCullough and A. Miller, {\em Symmetric Automorphisms of Free Products}, Mem. Amer. Math. Soc. 122 (1996), no. 582] and Guti\'{e}rrez-Krsti\'{c} [M. Guti\'{e}rrez and S. Krsti\'{c}, {\em Normal forms for the group of basis-conjugating automorphisms of a free group}, International Journal of Algebra and Computation 8 (1998) 631-669] derived (also see Bogley-Krsti\'{c} [W. Bogley and S. Krsti\'{c}, {\em String groups and other subgroups of $Aut(F_n)$}, preprint] space of pointed trees is an $\underline{E} \Sigma Aut_1(G)$-space for these groups.


title: Topological Orthoalgebras

abstract: We define topological orthoalgebras (TOAs) and study their properties. While every topological orthomodular lattice is a TOA, the lattice of projections of a Hilbert space is an example of a lattice-ordered TOA that is not a toplogical lattice. On the other hand, we show that every compact Boolean TOA is a topological Boolean algebra. We also show that a compact TOA in which 0 is an isolated point is atomic and of finite height. We identify and study a particularly tractable class of TOAs, which we call {\em stably ordered}: those in which the upper-set generated by an open set is open. This includes all topological OMLs, and also the projection lattices of Hilbert spaces. Finally, we obtain a topological version of the Foulis-Randall representation theory for stably ordered TOAs


title: Relative Hofer-Zehnder capacity and periodic orbits in twisted cotangent bundles

abstract: The main theme of this paper is a relative version of the almost existence theorem for periodic orbits of autonomous Hamiltonian systems. We show that almost all low levels of a function on a geometrically bounded symplectically aspherical manifold carry contractible periodic orbits of the Hamiltonian flow, provided that the function attains its minimum along a closed symplectic submanifold. As an immediate consequence, we obtain the existence of contractible periodic orbits on almost all low energy levels for twisted geodesic flows with symplectic magnetic field. We give examples of functions with a sequence of regular levels without periodic orbits, converging to an isolated, but very degenerate, minimum. The proof of the relative almost existence theorem hinges on the notion of the relative Hofer-Zehnder capacity and on showing that this capacity of a small neighborhood of a symplectic submanifold is finite. The latter is carried out by proving that the flow of a Hamiltonian with sufficiently large variation has a non-trivial contractible one-periodic orbit, when the Hamiltonian is constant and equal to its maximum near a symplectic submanifold and supported in a neighborhood of the submanifold.


title: On the symmetric powers of cusp forms on $GL (2)$ of icosahedral type

abstract: In this note we study the symmetric powers of strongly modular icosahedral representations $\rho$ of ${\rm Gal} (\bar{F}/F)$, $F$ a number field, and their twisted $L$--functions. We prove that for such $\rho$, there exists a cuspidal automorphic representation $\Pi = \Pi_{\infty} \otimes \Pi_{f}$ of $GL_{6} (\mathbb{A}_{F})$ such that $L (s, {\rm sym}^{5} (\rho)) = L (s, \Pi_{f})$. One sees that ${\rm sym}^{5} (\rho)$ is twist equivalent to $\rho' \otimes {\rm sym}^{2} (\rho)$ for another modular icosahedral representation $\rho'$, and our theorem is a special case of a cuspidality criterion formulated and proved in this paper, which may be of independent interest, for the Kim--Shahidi automorphic tensor product $\pi \boxtimes {\rm sym}^{2} (\pi')$, where $\pi$ and $\pi'$ are cuspidal automorphic representations of $GL (2) / F$. We also give a complete structure theory of modular icosahedral representations. As a result, we prove that $L (s, {\rm sym}^{m} (\rho) \otimes \chi)$ does not admit any Landau--Siegel zero when it is not divisible by $L$--functions of quadratic characters. In general, there is no such divisibility and and there are no Landau--Siegel zeros for such $L$--functions.


title: Isometric immersions of R^2 into R^4 and pertubation of Hopf tori

abstract: We produce a new general family of flat tori in R^4, the first one since Bianchi's classical works in the 19th century. To construct these flat tori, obtained via small perturbation of certain Hopf tori in S^3, we first present a global description of all isometric immersions of R^2 into R^4 with flat normal bundle.


title: The Random Edge Rule on Three-Dimensional Linear Programs

abstract: The worst-case expected length f(n) of the path taken by the simplex algorithm with the Random Edge pivot rule on a 3-dimensional linear program with n constraints is shown to be bounded by 1.3445 n <= f(n) <= 1.4943 n for large enough n.


title: Sturm-Liouville operators with distributional potentials

abstract: In this paper we propose four different methods to determine Sturm-Liouville operator on an interval $(a,b)$ in case, when a potential $q(x)$ is a distribution from the Sobolev space with negative index of smoothness, i.e. (q\in W_2^{-\theta}), where (\theta\le 1). The main and second terms of asymptotic series for eigenvalues and eigenfunctions of these operators are obtained and the remaining terms are estimated depending on the class of smoothness of potential /(q/). Particular families of potentials, not belonging to the space (W_2^{-1}) are studied as well.


title: Groups of prime-power order with a small second derived quotient

abstract: For odd primes we prove some structure theorems for finite $p$-groups $G$, such that $G''\neq 1$ and $|G'/G''|=p^3$. Building on results of Blackburn and Hall, it is shown that $\lcs G3$ is a maximal subgroup of $G'$, the group $G$ has a central decomposition into two simpler subgroups, and, moreover, $G'$ has one of two isomorphism types.


title: A chain rule in the calculus of homotopy functors

abstract: We formulate and prove a chain rule for the derivative, in the sense of Goodwillie, of compositions of weak homotopy functors from simplicial sets to simplicial sets. The derivative spectrum dF(X) of such a functor F at a simplicial set X can be equipped with a right action by the loop group of its domain X, and a free left action by the loop group of its codomain Y = F(X). The derivative spectrum d(E o F)(X)$ of a composite of such functors is then stably equivalent to the balanced smash product of the derivatives dE(Y) and dF(X), with respect to the two actions of the loop group of Y. As an application we provide a non-manifold computation of the derivative of the functor F(X) = Q(Map(K, X)_+).


title: From entangled codipterous coalgebras to coassociative manifolds

abstract: We construct from coassociative coalgebras, bialgebras, Hopf algebras, new objects such as Poisson algebras, Leibniz algebras defined by J-L Loday and M. Ronco and explore the notion of coassociative manifolds.


title: Determinant bundles, boundaries, and surgery

abstract: In this note we specialize and illustrate the ideas developed in the paper math.DG/0201112 of the first author ("Index theory, eta forms, and Deligne cohomology ") in the case of the determinant line bundle. We discuss the surgery formula in the adiabatic limit using the adiabatic decomposition formula of the zeta regularized determinant of the Dirac Laplacian obtained by the second author and K. Wojciechowski.


title: 3-fold symmetric products of curves as hyperbolic hypersurfaces in $\Proj^4$

abstract: We construct new examples of Kobayashi hyperbolic hypersurfaces in the projective 4-space. They are generic projections of the triple symmetric product of a generic curve of genus at least 7, smoothly embedded in the projective 7-space.


title: Koszul duality and equivariant cohomology for tori

abstract: Let T be a torus. We show that Koszul duality can be used to compute the equivariant cohomology of topological T-spaces as well as the cohomology of pull backs of the universal T-bundle. The new features are that no further assumptions about the spaces are made and that the coefficient ring may be arbitrary. This gives in particular a Cartan-type model for the equivariant cohomology of a T-space with arbitrary coefficients. Our method works for intersection homology as well.


title: Construction of 2-local finite groups of a type studied by Solomon and Benson

abstract: A p-local finite group is an algebraic structure with a classifying space which has many of the properties of p-completed classifying spaces of finite groups. In this paper, we construct a family of 2-local finite groups, which are exotic in the following sense: they are based on certain fusion systems over the Sylow 2-subgroup of Spin_7(q) (q an odd prime power) shown by Solomon not to occur as the 2-fusion in any actual finite group. Thus, the resulting classifying spaces are not homotopy equivalent to the 2-completed classifying space of any finite group. As predicted by Benson, these classifying spaces are also very closely related to the Dwyer-Wilkerson space BDI(4). Erratum (11 Feb 2005). An error in the paper was pointed out to the authors by Andy Chernak. The error is corrected in the erratum at the end of version 2, which should be read alongside the paper.


title: The Hurewicz covering property and slaloms in the Baire space

abstract: According to a result of Kocinac and Scheepers, the Hurewicz covering property is equivalent to a somewhat simpler selection property: For each sequence of large open covers of the space one can choose finitely many elements from each cover to obtain a groupable cover of the space. We simplify the characterization further by omitting the need to consider sequences of covers: A set of reals $X$ satisfies the Hurewicz property if, and only if, each large open cover of $X$ contains a groupable subcover. This solves in the affirmative a problem of Scheepers. The proof uses a rigorously justified abuse of notation and a "structure" counterpart of a combinatorial characterization, in terms of slaloms, of the minimal cardinality b of an unbounded family of functions in the Baire space. In particular, we obtain a new characterization of $\b$.


title: Maximal rank root subsystems of hyperbolic root systems

abstract: A Kac-Moody algebra is called hyperbolic if it corresponds to a generalized Cartan matrix of hyperbolic type. We study root subsystems of root systems of hyperbolic algebras. In this paper, we classify maximal rank regular hyperbolic subalgebras of hyperbolic Kac-Moody algebras.


title: The barycenter method on singular spaces

abstract: Bonahon conjectured that compact convex cores with totally geodesic boundary uniquely minimize volume over all hyperbolic 3-manifolds in the same homotopy class. This paper proves Bonahon's conjecture. The proofs extend the techniques of Besson-Courtois-Gallot.


title: A resultant approach to detect intersecting curves in $\PP^3$

abstract: Given two curves in $\PP^3$, either implicitly or by a parameterization, we want to check if they intersect. For that purpose, we present and further develop generalized resultant techniques. Our aim is to provide a closed formula in the inputs which vanishes if and only if the two curves intersect. This could be useful in Computer Aided Design, for computing the intersection of algebraic surfaces.


title: Modular Hecke Algebras and their Hopf Symmetry

abstract: We introduce and begin to analyse a class of algebras, associated to congruence subgroups, that extend both the algebra of modular forms of all levels and the ring of classical Hecke operators. At the intuitive level, these are algebras of `polynomial coordinates' for the `transverse space' of lattices modulo the action of the Hecke correspondences. Their underlying symmetry is shown to be encoded by the same Hopf algebra that controls the transverse geometry of codimension 1 foliations. Its action is shown to span the `holomorphic tangent space' of the noncommutative space, and each of its three basic Hopf cyclic cocycles acquires a specific meaning. The Schwarzian 1-cocycle gives an inner derivation implemented by the level 1 Eisenstein series of weight 4. The Hopf cyclic 2-cocycle representing the transverse fundamental class provides a natural extension of the first Rankin-Cohen bracket to the modular Hecke algebras. Lastly, the Hopf cyclic version of the Godbillon-Vey cocycle gives rise to a 1-cocycle on PSL(2, Q) with values in Eisenstein series of weight 2, which when coupled with the `period' cocycle yields a representative of the Euler class.


title: Localizations for construction of quantum coset spaces

abstract: Viewing comodule algebras as the noncommutative analogues of affine varieties with affine group actions, we propose rudiments of a localization approach to nonaffine Hopf algebraic quotients of noncommutative affine varieties corresponding to comodule algebras. After reviewing basic background on noncommutative localizations, we introduce localizations compatible with coactions. Coinvariants of these localized coactions give local information about quotients. We define Zariski locally trivial quantum group algebraic principal and associated bundles. Compatible localizations induce localizations on the categories of Hopf modules. Their interplay with the functor of taking coinvariants and its left adjoint is stressed out. Using localization approach, we constructed a natural class of examples of quantum coset spaces, related to the quantum flag varieties of type A of other authors. Noncommutative Gauss decomposition via quasideterminants reveals a new structure in noncommutative matrix bialgebras. Particularily, in the "quantum" case, calculations with quantum minors yield the structure theorems.


abstract: We present a version of the Matsuki correspondence for the affine Grassmannian $Gr=G(C((t)))/G(C[[t]])$ of a connected reductive complex algebraic group $G$. The main statement is an anti-isomorphism between the orbit posets of two subgroups of $G(C((t)))$ acting on $Gr$. The first is the polynomial loop group $LG_R$ of a real form $G_R$ of $G$; the second is the loop group $K(C((t)))$ of the complexification $K$ of a maximal compact subgroup $K_c$ of $G_R$. The orbit poset itself turns out to be simple to describe.


title: CR Invariant powers of the sub-Laplacian

abstract: CR invariant differential operators on densities with leading part a power of the sub-Laplacian are derived. One family of such operators is constructed from the ``conformally invariant powers of the Laplacian'' via the Fefferman metric; the powers which arise for these operators are bounded in terms of the dimension. A second family is derived from a CR tractor calculus which is developed here; this family includes operators for every positive power of the sub-Laplacian. This result together with work of Cap, Slovak and Soucek imply in three dimensions the existence of a curved analogue of each such operator in flat space.


title: A Symplectic Case of Artin's Conjecture

abstract: Let K/F be an arbitrary Galois extension of number fields and r be a representation of Gal(K/F) into GSp(4,C). Let E_16 be the elemetary abelian group of order 16 and C_5 the cyclic group of order 5. If the image of r in the projective space PGSp(4,C) is isomorphic to the semidirect product of E_16 by C_5, then we show r satisfies Artin's conjecture by proving r corresponds to an automorphic representation. A specific case is given where r is primitive, so Artin's conjecture does not follow from previous results.


title: Linearization coefficients for orthogonal polynomials using stochastic processes

abstract: Given a basis for a polynomial ring, the coefficients in the expansion of a product of some of its elements in terms of this basis are called linearization coefficients. These coefficients have combinatorial significance for many classical families of orthogonal polynomials. Starting with a stochastic process and using the stochastic measures machinery introduced by Rota and Wallstrom, we calculate and give an interpretation of linearization coefficients for a number of polynomial families. The processes involved may have independent, freely independent or q-independent increments. The use of noncommutative stochastic processes extends the range of applications significantly, allowing us to treat Hermite, Charlier, Chebyshev, free Charlier and Rogers and continuous big q-Hermite polynomials. We also show that the q-Poisson process is a Markov process.


title: Counting Unimodular Lattices in $\R^{r,s}$

abstract: Narain lattices are unimodular lattices {\it in} $\R^{r,s}$, subject to certain natural equivalence relation and rationality condition. The problem of describing and counting these rational equivalence classes of Narain lattices in $\R^{2,2}$ has led to an interesting connection to binary forms and their Gauss products, as shown in [HLOYII]. As a sequel, in this paper, we study arbitrary rational Narain lattices and generalize some of our earlier results. In particular in the case of $\R^{2,2}$, a new interpretation of the Gauss product of binary forms brings new light to a number of related objects -- rank 4 rational Narain lattices, over-lattices, rank 2 primitive sublattices of an abstract rank 4 even unimodular lattice $U^2$, and isomorphisms of discriminant groups of rank 2 lattices.


title: Deforming convex hypersurfaces to a hypersurface with prescribed harmonic mean curvature

abstract: A heat flow method is used to deform convex hypersurfaces in a ring domain to a hypersurface whose harmonic mean curvature is a prescribed function.


title: The vortex dynamics of a Ginzburg-Landau system under pinning effect

abstract: It is proved that the vortices are attracted by impurities or inhomogeities in the superconducting materials. The strong H^1-convergence for the corresponding Ginzburg-Landau system is also proved.


title: Tilting exercises

abstract: This is an application of the theory of tilting objects to the geometric setting of perverse sheaves. We show that this theory is a natural framework for Beilinson's gluing of perverse sheaves construction. In the special case of Schubert stratification of a flag variety we get a short proof of Soergel's "Struktursatz", and describe (following a conjecture of Kapranov) Serre functor for category O. Some of our results were obtained independently by Rouquier.


title: An application of scattering theory to the spectrum of the Laplace-Beltrami operator

abstract: Applying a theorem due to Belopol'ski and Birman, we show that the Laplace-Beltrami operator on 1-forms on ${\bf R}^n$ endowed with an asymptotically Euclidean metric has absolutely continuous spectrum equal to $[0, +\infty)$.


title: Convex Hulls, Oracles, and Homology

abstract: This paper presents a new algorithm for the convex hull problem, which is based on a reduction to a combinatorial decision problem POLYTOPE-COMPLETENESS-COMBINATORIAL, which in turn can be solved by a simplicial homology computation. Like other convex hull algorithms, our algorithm is polynomial (in the size of input plus output) for simplicial or simple input. We show that the ``no''-case of POLYTOPE-COMPLETENESS-COMBINATORIAL has a certificate that can be checked in polynomial time (if integrity of the input is guaranteed).


title: Some Remarks on {$\mathfrak g$}-invariant Fedosov Star Products and Quantum Momentum Mappings

abstract: In these notes we consider the usual Fedosov star product on a symplectic manifold $(M,\omega)$ emanating from the fibrewise Weyl product $\circ$, a symplectic torsion free connection $\nabla$ on M, a formal series $\Omega \in \nu Z^2_{\rm\tiny dR}(M)[[\nu]]$ of closed two-forms on M and a certain formal series s of symmetric contravariant tensor fields on M. For a given symplectic vector field X on M we derive necessary and sufficient conditions for the triple $(\nabla,\Omega,s)$ determining the star product * on which the Lie derivative $\Lie_X$ with respect to X is a derivation of *. Moreover, we also give additional conditions on which $\Lie_X$ is even a quasi-inner derivation. Using these results we find necessary and sufficient criteria for a Fedosov star product to be $\mathfrak g$-invariant and to admit a quantum Hamiltonian. Finally, supposing the existence of a quantum Hamiltonian, we present a cohomological condition on $\Omega$ that is equivalent to the existence of a quantum momentum mapping. In particular, our results show that the existence of a classical momentum mapping in general does not imply the existence of a quantum momentum mapping.


title: Two applications of the curve lemma for orthogonal groups

abstract: We show (under some hypothesis in small dimensions) that the analytic degree of the divisor of a modular form on the orthogonal group O(2,p) is determined by its weight. Moreover, we prove that certain integrals, occurring in Arakelov intersection theory, associated with modular forms on O(2,p) converge.


title: A method for proving polynomial enumeration formulas

abstract: We present an elementary method for proving enumeration formulas which are polynomials in certain parameters if others are fixed and factorize into distinct linear factors over Z. Roughly speaking the idea is to prove such formulas by ``explaining'' their zeros using an appropriate combinatorial extension of the objects under consideration to negative integer parameters. We apply this method to prove a new refinement of the Bender-Knuth (ex-)Conjecture, which easily implies the Bender-Knuth (ex-)Conjecture itself. This is probably the most elementary way to prove this result currently known. Furthermore we adapt our method to q-polynomials, which allows us to derive generating function results as well. Finally we use this method to give another proof for the enumeration of semistandard tableaux of a fixed shape, which is opposed to the Bender-Knuth (ex-)Conjecture refinement a multivariate application of our method.


title: Freely braided elements in Coxeter groups

abstract: We introduce a notion of "freely braided element" for simply laced Coxeter groups. We show that an arbitrary group element $w$ has at most $2^{N(w)}$ commutation classes of reduced expressions, where $N(w)$ is a certain statistic defined in terms of the positive roots made negative by $w$. This bound is achieved if $w$ is freely braided. In the type $A$ setting, we show that the bound is achieved only for freely braided $w$.


title: Rigid 6-dimensional h-spaces of constant curvature

abstract: In this paper, we continue studying the 6-dimensional pseudo-Riemannian space V^6(g_{ij}) with signature [++--], which admits projective motions, i. e. continuous transformation groups preserving geodesics. In particular, we determine a necessary and sufficient condition that the 6-dimensional rigid h-spaces have constant curvature.


title: Combinatorics of words and semigroup algebras which are sums of locally nilpotent subalgebras

abstract: We construct new examples of non-nil algebras with any number of generators, which are direct sums of two locally nilpotent subalgebras. As all previously known examples, our examples are contracted semigroup algebras and the underlying semigroups are unions of locally nilpotent subsemigroups. In our constructions we make more transparent than in the past the close relationship between the considered problem and combinatorics of words.


title: On the Bessmertnyi Class of Homogeneous Positive Holomorphic Functions of Several Variables

abstract: The class of operator-valued functions which are homogeneous of degree one, holomorphic in the open right polyhalfplane, have positive semidefinite real parts there and take selfadjoint operator values at real points, and its subclass consisting of functions representable in the form of Schur complement of a block of a linear pencil of operators with positive semidefinite operator coefficients, are investigated. The latter subclass is a generalization of the class of characteristic matrix functions of passive 2n-poles considered as functions of impedances of its elements, which was introduced by M. F. Bessmertny\u\i. Several equivalent characterizations of the generalized Bessmertny\u{\i} class are given, and its intimate connection with the Agler--Schur class of holomorphic contractive operator-valued functions on the unit polydisk is established.


title: Locally conformal symplectic groupoids

abstract: Locally conformal symplectic (l.c.s.) groupoids are introduced as a generalization of symplectic groupoids. We obtain some examples and we prove that l.c.s. groupoids are examples of Jacobi groupoids in the sense of \cite{IM}. Finally, we describe the Lie algebroid of a l.c.s. groupoid.


title: A Globally Convergent LCL Method for Nonlinear Optimization

abstract: For optimization problems with nonlinear constraints, linearly constrained Lagrangian (LCL) methods sequentially minimize a Lagrangian function subject to linearized constraints. These methods converge rapidly near a solution but may not be reliable from arbitrary starting points. The well known example \MINOS\ has proven effective on many large problems. Its success motivates us to propose a globally convergent variant. Our stabilized LCL method possesses two important properties: the subproblems are always feasible, and they may be solved inexactly. These features are present in \MINOS only as heuristics. The new algorithm has been implemented in \Matlab, with the option to use either the \MINOS or \SNOPT Fortran codes to solve the linearly constrained subproblems. Only first derivatives are required. We present numerical results on a nonlinear subset of the \COPS, \CUTE, and HS test-problem sets, which include many large examples. The results demonstrate the robustness and efficiency of the stabilized LCL procedure.


title: Trees, parking functions, syzygies, and deformations of monomial ideals

abstract: For a graph G, we construct two algebras, whose dimensions are both equal to the number of spanning trees of G. One of these algebras is the quotient of the polynomial ring modulo certain monomial ideal, while the other is the quotient of the polynomial ring modulo certain powers of linear forms. We describe the set of monomials that forms a linear basis in each of these two algebras. The basis elements correspond to G-parking functions that naturally came up in the abelian sandpile model. These ideals are instances of the general class of monotone monomial ideals and their deformations. We show that the Hilbert series of a monotone monomial ideal is always bounded by the Hilbert series of its deformation. Then we define an even more general class of monomial ideals associated with posets and construct free resolutions for these ideals. In some cases these resolutions coincide with Scarf resolutions. We prove several formulas for Hilbert series of monotone monomial ideals and investigate when they are equal to Hilbert series of deformations. In the appendix we discuss the sandpile model.


title: Dedekind Zeta Functions and the Complexity of Hilbert's Nullstellensatz

abstract: Let HN denote the problem of determining whether a system of multivariate polynomials with integer coefficients has a complex root. It has long been known that HN in P implies P=NP and, thanks to recent work of Koiran, it is now known that the truth of the Generalized Riemann Hypothesis (GRH) yields the implication that HN not in NP implies P is not equal to NP. We show that the assumption of GRH in the latter implication can be replaced by either of two more plausible hypotheses from analytic number theory. The first is an effective short interval Prime Ideal Theorem with explicit dependence on the underlying field, while the second can be interpreted as a quantitative statement on the higher moments of the zeroes of Dedekind zeta functions. In particular, both assumptions can still hold even if GRH is false. We thus obtain a new application of Dedekind zero estimates to computational algebraic geometry. Along the way, we also apply recent explicit algebraic and analytic estimates, some due to Silberman and Sombra, which may be of independent interest.


title: Invariant subspaces of the quasinilpotent DT-operator

abstract: We previously introduced the class of DT--operators, which are modeled by certain upper triangular random matrices, and showed that if the spectrum of a DT-operator is not reduced to a single point, then it has a nontrivial, closed, hyperinvariant subspace. In this paper, we prove that also every DT-operator whose spectrum is concentrated on a single point has a nontrivial, closed, hyperinvariant subspace. In fact, each such operator has a one-parameter family of them. It follows that every DT-operator generates the von Neumann algebra L(F_2) of the free group on two generators.


title: Intrinsic L_p metrics for convex bodies

abstract: Intrinsic $L_p$ metrics are defined and shown to satisfy a dimension--free bound with respect to the Hausdorff metric.


title: Dehn filling of cusped hyperbolic 3-manifolds with geodesic boundary

abstract: We define for each g>=2 and k>=0 a set M_{g,k} of orientable hyperbolic 3-manifolds with $k$ toric cusps and a connected totally geodesic boundary of genus g. Manifolds in M_{g,k} have Matveev complexity g+k and Heegaard genus g+1, and their homology, volume, and Turaev-Viro invariants depend only on g and k. In addition, they do not contain closed essential surfaces. The cardinality of M_{g,k} for a fixed k has growth type g^g. We completely describe the non-hyperbolic Dehn fillings of each M in M_{g,k}, showing that, on any cusp of any hyperbolic manifold obtained by partially filling M, there are precisely 6 non-hyperbolic Dehn fillings: three contain essential discs, and the other three contain essential annuli. This gives an infinite class of large hyperbolic manifolds (in the sense of Wu) with boundary-reducible and annular Dehn fillings having distance 2, and allows us to prove that the corresponding upper bound found by Wu is sharp. If M has one cusp only, the three boundary-reducible fillings are handlebodies.


title: Central value of automorphic $L-$functions

abstract: We prove a generalization to the totally real field case of the Waldspurger's formula relating the Fourier coefficient of a half integral weight form and the central value of the L-function of an integral weight form. Our proof is based on a new interpretation of Waldspurger's formula in terms of equality between global distributions. As applications we generalize the Kohnen-Zagier formula for holomorphic forms and prove the equivalence of the Ramanujan conjecture for half integral weight forms and a case of the Lindelof hypothesis for integral weight forms. We also study the Kohnen space in the adelic setting.


title: Gauge Symmetries and Noether Currents in Optimal Control

abstract: We extend the second Noether theorem to optimal control problems which are invariant under symmetries depending upon k arbitrary functions of the independent variable and their derivatives up to some order m. As far as we consider a semi-invariance notion, and the transformation group may also depend on the control variables, the result is new even in the classical context of the calculus of variations.


title: On generalized winding numbers

abstract: Let $M^m$ be an oriented manifold, let $N^{m-1}$ be an oriented closed manifold, and let $p$ be a point in $M^m$. For a smooth map $f:N^{m-1} \to M^m, p \not\in Im f,$ we introduce an invariant $awin_p(f)$ that can be regarded as a generalization of the classical winding number of a planar curve around a point. We show that $awin_p$ estimates from below the number of times a wave front on $M$ passed through a given point $p\in M$ between two moments of time. Invariant $awin_p$ allows us to formulate the analogue of the complex analysis Cauchy integral formula for meromorphic functions on complex surfaces of genus bigger than one.


title: On the hyperbolicity of the Feigenbaum fixed point

abstract: We show the hyperbolicity of the Feigenbaum fixed point using the inflexibility of the Feigenbaum tower, the Man\~e-Sad-Sullivan $\lambda$-Lemma and the existence of parabolic domains (petals) for semi-attractive fixed points.


title: Elimination of singularities of smooth mappings of 4-manifolds into 3-manifolds

abstract: This paper has been withdrawn. Its new version has been published.


title: Maps conjugating holomorphic maps in C^n

abstract: If f is a bijection from C^n onto a complex manifold M, which conjugates every holomorphic map in C^n to an endomorphism in M, then we prove that f is necessarily biholomorphic or antibiholomorphic. This extends a result of A. Hinkkanen to higher dimensions. As a corollary, we prove that if there is an epimorphism from the semigroup of all holomorphic endomorphisms of C^n to the semigroup of holomorphic endomorphisms in M, or an epimorphism in the opposite direction for a doubly-transitive M, then it is given by conjugation by some biholomorphic or antibiholomorphic map. We show also that there are two unbounded domains in C^n with isomorphic endomorphism semigroups but which are neither biholomorphically nor antibiholomorphically equivalent.


title: Multipliers from Sobolev space $H^\al_p$ into $H^{-\al}_p$

abstract: A function $q(x)$ is said to be a multiplier from the Sobolev space $H^\al_p(R^n)$ into $H^{-\al}_p(R^n)$ if the operator $Lf(x)=q(x)f(x)$ is a bounded operator from the first space into the second one. Let $M^\al_p$ the the space of such multipliers. In this paper we give the description of the spaces $M^\al_p$ provided the condition $\al>min(n/p,n/p')$. In the case $\al\le min(n/p,n/p')$ we obtain some embedding theorems for Sobolev spaces with negative smoothness indices into $M^\al_p$.


title: Finite-dimensional pointed Hopf algebras of type $A_n$ related to the Faddeev-Reshetikhin-Takhtajan $U(R)$ construction

abstract: Two "quantum enveloping algebras", here denoted by $U(R)$ and $U^{\sim}(R)$, are associated in [FRTa] and [FRTb] to any Yang-Baxter operator R. The latter is only a bialgebra, in general; the former is a Hopf algebra. In this paper, we study the pointed Hopf algebras $U(R_Q)$, where $R_Q$ is the Yang-Baxter operator associated with the multi-parameter deformation of $GL_n$ supplied in [AST]; cf also [S,Re]. Some earlier results concerning these Hopf algebras $U(R_Q)$ were obtained in [To,CLMT,CM]; a related (but different) Hopf algebra was studied in [DP]. The main new results obtained here concerning these quantum enveloping algebras are: 1)We list, in an extremely explicit form, those quantum enveloping algebras $U(R_Q)$ which are finite-dimensional--let ${\mathcal U}$ denote the collection of these. 2)We verify that the pointed Hopf algebras in ${\mathcal U}$ are quasitriangular and of Cartan type $A_n$ in the sense of Andruskiewich-Schneider. 3)We show that every $U(R_Q)$ is a Hopf quotient of a double cross-product (hence, as asserted in 2), is quasitriangular if finite-dimensional.) 4) CAUTION: These Hopf algebras are NOT always cocycle twists of the standard 1-parameter deformation. This somewhat surprising fact is an immediate consequence of the data furnished here-- clearly a cocycle twist will not convert an infinite-dimensional Hopf algebra to a finite-dimensional one! Furthermore, these Hopf algebras in ${\mathcal U}$ are (it is proved) not all cocycle twists of each other. 5)We discuss also the case when the quantum determinant is central in $A(R_Q)$, so it makes sense to speak of a $Q$-deformation of the special linear group.


title: Hopf fibration and monopole connection over the contact quantum spheres

abstract: Noncommutative geometry of quantised contact spheres introduced by Omori, Maeda, Miyazaki and Yoshioka is studied. In particular it is proven that these spheres form a noncommutative Hopf fibration in the sense of Hopf-Galois extensions. The monopole (strong) connection is constructed, and projectors describing projective modules of all monopole charges are computed.


title: Some Remarks on Group Bundles and C*-dynamical systems

abstract: We introduce the notion of fibred action of a group bundle on a C(X)-algebra. By using such a notion, a characterization in terms of induced C*-bundles is given for C*-dynamical systems such that the relative commutant of the fixed-point algebra is minimal (i.e., it is generated by the centre of the given C*-algebra and the centre of the fixed-point algebra). A class of examples in the setting of the Cuntz algebra is given, and connections with superselection structures with nontrivial centre are discussed.


title: On representations of twisted group rings

abstract: We generalize certain parts of the theory of group rings to the twisted case. Let G be a finite group acting (possibly trivially) on a field L of characteristic coprime to the order of the kernel of this operation. Let K in L be the fixed field of this operation, let S be a discrete valuation ring with field of fractions K, maximal ideal generated by pi and integral closure T in L. We compute the colength of the twisted group ring T G in a maximal order in L G. Moreover, if S/pi S is finite, we compute the S/pi S- dimension of the center of T G/Jac(T G). If this quotient is split semisimple, this yields a formula for the number of simple T G-modules, generalizing Brauer's formula.


title: Strongly elliptic operators with distributional coefficients

abstract: We study operators of the form $$ L=\sum_{|\alpha|,|\beta|\le n} D^\alpha c_{\alpha,\beta} D^\beta, x\in\mathbb R^n $$ provided that the coefficients of the main symbol corresponding to the indices $|\alpha|=|\beta|=m$ are continuous while the other ones are distributions. Assuming that the main symbol defines the strongly elliptic operator we find sufficient conditions for the coefficients $c_{\alpha,\beta}(x)$ which guarantee that the operator $L$ is well defined. In particular, if $c_{\alpha,\beta}(x)$ belong to the spaces of multipliers from $H_2^{m-|\alpha|}$ to $H_2^{|\beta|-m}$ then $L$ defines a maximal sectorial operator in $L_2(\mathbb R^n)$. We also describe the spaces of multipliers.


title: Schroedinger and elliptic operators with distributional coefficients on a bounded domain

abstract: We study the operator $L=-\Delta+q$ on a bounded domain $\Omega\subset\mathbb R^n$, where $q(x)$ is a distributional potential. We find sufficient conditions for $q(x)$ which guarantee that $L$ is well--defined with Dirichlet and generalized Neumann boundary conditions. The asymptotics of the eigenvalues and the basis properties of the eigen- and associated functions of such operators are studied. The results are generalized for strongly elliptic operator of order $2m$ with Dirichlet boundary conditions.


title: Quivers of type A, flag varieties and representation theory

abstract: A short informal survey on the topics listed in the title. For the proceedings of the International Conference on Rings and Algebras X.


title: The estimates for the number of the eigenvalues of abstract and differential operator functions

abstract: We consider an operator function (F(\lambda)) for (\lambda\in(\sigma,\tau)\subseteq\mathbb R) whose values are semibounded selfadjoint operators in Hilbert space (\mathfrak H). Our main goal is to estimate the number (\mathcal N_F(\alpha,\beta)) of the eigenvalues of (F(\lambda)) on a segment ([\alpha,\beta)\Subset(\sigma,\tau)). In particular, we prove the estimates (\mathcal N_F(\alpha,\beta)\geqslant \nu_F(\beta)-\nu_F(\alpha)) and (\mathcal N_F(\alpha,\beta)= \nu_F(\beta)-\nu_F(\alpha)) where (\nu(\xi)) is the number of the negative eigenvalues of the operator (F(\xi)), (\xi\in(\sigma,\tau)). The obtained results are applied for the functions of ordinary differential operators on a finite interval.


title: Plus-construction for algebras over an operad, cyclic and Hochschild homologies up to homotopy

abstract: In this paper we apply homotopical localization to the framework of differential graded algebras over an operad. We get plus construction by performing nullification with respect to an universal acyclic algebra. This plus construction for Lie and Leibniz algebras up to homotopy yields two new homology theories for associative algebras. They are closely related to cyclic and Hochschild homologies. We also compute their first homology groups.


title: Gauge theoretical Gromov-Witten invariants and virtual fundamental classes

abstract: This article is an expanded version of talks given by the authors in Oberwolfach, Bochum, and at the Fano Conference in Torino. Some new results (e. g. the material concerning flag varieties, Quot spaces over $\P^1$, and the generalized quiver representations) were included. The main goal is the construction of gauge theoretical Gromov-Witten type invariants of arbitrary genus associated with certain symplectic factorization problems with additional symmetry, and the computation of these invariants in terms of complex geometric objects. The main tool for describing moduli spaces associated with symplectic factorization problems is the "universal Kobayashi-Hitchin correspondence", which gives canonical isomorphisms ${\cal M}^*\to{\cal M}^{\rm st}$ between gauge theoretic moduli spaces of irreducible solutions of certain PDE's and complex geometric moduli spaces of stable framed holomorphic objects. We state a conjecture for the general situation: When the gauge theoretic problem is of Fredholm type, and the data for ${\cal M}^{\rm st}$ are algebraic, then ${\cal M}^{\rm st}$ admits a canonical perfect obstruction theory in the sense of Behrend-Fantechi, and the Kobayashi-Hitchin isomorphism ${\cal M}^*\to{\cal M}^{\rm st}$ identifies the gauge theoretic and the algebraic virtual fundamental classes. The conjecture was checked for the symplectic factorization problems which yield the toric varieties.


title: On the existence of a proper minimal surface in $R^3$ with the conformal type of a disk

abstract: The main goal of this paper is to show a counterexample to the following conjecture: {\bf Conjecture} [Meeks, Sullivan]: If $f:M\to \mathbb{R}^3$ is a complete proper minimal immersion where $M$ is a Riemannian surface without boundary and with finite genus, then $M$ is parabolic. We have proved: {\bf Theorem:} There exists $\chi: D\longrightarrow \mathbb{R}^3$, a conformal proper minimal immersion defined on the unit disk.


title: Hyperbolic Coxeter n-polytopes with n+2 facets

abstract: In this paper, we classify all the hyperbolic non-compact Coxeter polytopes of finite volume combinatorial type of which is either a pyramid over a product of two simplices or a product of two simplices of dimension greater than one. Combined with results of Kaplinskaja (1974) and Esselmann (1996) this completes the classification of hyperbolic Coxeter n-polytopes of finite volume with n+2 facets.


title: Hyperbolic secants yield Gabor frames

abstract: We show that $(g_2,a,b)$ is a Gabor frame when $a>0, b>0, ab<1$ and $g_2(t)=({1/2}\pi \gamma)^{{1/2}} (\cosh \pi \gamma t)^{-1}$ is a hyperbolic secant with scaling parameter $\gamma >0$. This is accomplished by expressing the Zak transform of $g_2$ in terms of the Zak transform of the Gaussian $g_1(t)=(2\gamma)^{{1/4}} \exp (-\pi \gamma t^2)$, together with an appropriate use of the Ron-Shen criterion for being a Gabor frame. As a side result it follows that the windows, generating tight Gabor frames, that are canonically associated to $g_2$ and $g_1$ are the same at critical density $a=b=1$. Also, we display the ``singular'' dual function corresponding to the hyperbolic secant at critical density.


title: Grassmannian Frames with Applications to Coding and Communication

abstract: For a given class ${\cal F}$ of uniform frames of fixed redundancy we define a Grassmannian frame as one that minimizes the maximal correlation $|< f_k,f_l >|$ among all frames $\{f_k\}_{k \in {\cal I}} \in {\cal F}$. We first analyze finite-dimensional Grassmannian frames. Using links to packings in Grassmannian spaces and antipodal spherical codes we derive bounds on the minimal achievable correlation for Grassmannian frames. These bounds yield a simple condition under which Grassmannian frames coincide with uniform tight frames. We exploit connections to graph theory, equiangular line sets, and coding theory in order to derive explicit constructions of Grassmannian frames. Our findings extend recent results on uniform tight frames. We then introduce infinite-dimensional Grassmannian frames and analyze their connection to uniform tight frames for frames which are generated by group-like unitary systems. We derive an example of a Grassmannian Gabor frame by using connections to sphere packing theory. Finally we discuss the application of Grassmannian frames to wireless communication and to multiple description coding.


title: Associativity and Operator Hamiltonian Quantization of Gauge Theories

abstract: We show that the associative algebra structure can be incorporated in the BRST quantization formalism for gauge theories such that extension from the corresponding Lie algebra to the associative algebra is achieved using operator quantization of reducible gauge theories. The BRST differential that encodes the associativity of the algebra multiplication is constructed as a second-order quadratic differential operator on the bar resolution.


title: Contact fiber bundles

abstract: We define contact fiber bundles and investigate conditions for the existence of contact structures on the total space of such a bundle. The results are analogous to minimal coupling in symplectic geometry. The two applications are construction of K-contact manifolds generalizing Yamazaki's fiber join construction and a cross-section theorem for contact moment maps


title: The classification of surfaces with $p_g=0$, $K^2=6$ and non birational bicanonical map

abstract: Let $S$ be a minimal surface of general type with $p_g=0$ and $K^2=6$, such that its bicanonical map $\fie\colon S\to\pp^6$ is not birational. The map $\fie$ is a morphism of degree $\le 4$ onto a surface. The case of $\deg\fie=4$ is completely characterized in [Topology, {\bf 40} (5) (2001), 977--991] and the present paper completes the classification of these surfaces. It is proven that the degree of $\fie$ cannot be equal to 3, and the geometry of surfaces with $\deg\fie=2$ is analysed in detail. The last section contains three examples of such surfaces, two of which appear to be new.


title: Relative isoperimetric inequalities for Lagrangian disks

abstract: We prove a relative isoperimetric inequalities for Lagrangian half disks in $\mathbb{C}^2$ with respect to a Lagrangian plane, or a complex plane, or a union of any two of Lagrangian or complex planes that intersect transversally at the origin.


title: The Leray spectral sequence is motivic

abstract: Our goal is to prove that the Leray spectral sequence associated to a map of algebraic varieties is motivic in the following sense: If the singular cohomology groups of the category of quasiprojective varieties defined over a subfield of C can be canonically endowed with some additional structure, such as its mixed Hodge structure or its motive (in Nori's sense or as a product of realizations). Then the Leray spectral sequence for a projective map in this category is automatically compatible with this structure. As byproduct, we get a relatively cheap construction of a mixed Hodge structure on the cohomology of variation of Hodge structure of geometric origin.


title: Thompson's Group F is not Minimally Almost Convex

abstract: We prove that Richard Thompson's group F is not minimally almost convex with respect to the two standard generators. This improves upon a recent result of S. Cleary and J. Taback. We make use of the forest diagrams for elements of F introduced by J. Belk and K. Brown. These diagrams seem particularly well-suited for understanding the Cayley graph for the two standard generators.


title: On braided tensor categories of type BCD

abstract: We give a full classification of all braided semisimple tensor categories whose Grothendieck semiring is the one of Rep(O(\infty) (formally), Rep(O(N), Rep(Sp(N) or of one of its associated fusion categories. If the braiding is not symmetric, they are completely determined by the eigenvalues of a certain braiding morphism, and we determine precisely which values can occur in the various cases. If the category allows a symmetric braiding, it is essentially determined by the dimension of the object corresponding to the vector representation. Note that the paper is followed by a brief erratum, which corrects a mistake, which does not affect the main results of the paper.


title: Infinite systems of non-colliding Brownian particles

abstract: Non-colliding Brownian particles in one dimension is studied. $N$ Brownian particles start from the origin at time 0 and then they do not collide with each other until finite time $T$. We derive the determinantal expressions for the multitime correlation functions using the self-dual quaternion matrices. We consider the scaling limit of the infinite particles $N \to \infty$ and the infinite time interval $T \to \infty$. Depending on the scaling, two limit theorems are proved for the multitime correlation functions, which may define temporally inhomogeneous infinite particle systems.


title: Focusing at a point with caustic crossing for a class of nonlinear equations

abstract: We consider the asymptotic behavior of solutions to nonlinear partial differential equations in the limit of short wavelength. For initial data which cause focusing at one point, we highlight critical indexes as far as the influence of the nonlinearity in the neighborhood of the caustic is concerned. Our results generalize some previous ones proved by the first author in the case of nonlinear Schrodinger equations. We apply them to Hartree, Klein-Gordon and wave equations.


title: A New Perturbative Technique for Solving Integro-Partial Differential Equations

abstract: Integro-partial differential equations occur in many contexts in mathematical physics. Typical examples include time-dependent diffusion equations containing a parameter (e.g., the temperature) that depends on integrals of the unknown distribution function. The standard approach to solving the resulting nonlinear partial differential equation involves the use of predictor-corrector algorithms, which often require many iterations to achieve an acceptable level of convergence. In this paper we present an alternative procedure that allows us to separate a family of integro-partial differential equations into two related problems, namely (i) a perturbation equation for the temperature, and (ii) a linear partial differential equation for the distribution function. We demonstrate that the variation of the temperature can be determined by solving the perturbation equation before solving for the distribution function. Convergent results for the temperature are obtained by recasting the divergent perturbation expansion as a continued fraction. Once the temperature variation is determined, the self-consistent solution for the distribution function is obtained by solving the remaining, linear partial differential equation using standard techniques. The validity of the approach is confirmed by comparing the (input) continued-fraction temperature profile with the (output) temperature computed by integrating the resulting distribution function.


title: Une caract\'erisation diff\'erentielle des faisceaux analytiques coh\'erents sur une vari\'et\'e complexe

abstract: We give a generalization, in the context of sheaves, of a classical result of Grothendieck concerning the integrability of connections of type $(0,1)$ over a ${\cal C}^{\infty}$ vector bundle over a complex manifold. We introduce the notion of $\bar{\partial}$-coherent sheaf, which is a ${\cal C}^{\infty}$ notion, and we prove the existence of an (exact) equivalence between the category of coherent analytic sheaves and the category of $\bar{\partial}$-coherent sheaves. The principal difficulty of the proof is the solution of a quasi-linear differential equation with standard $\bar{\partial}$ as its principal term. We are able to find a solution of this differential equation, using a rapidly convergent iteration scheme of Nash-Moser type.


title: Navigating the Cayley graph of SL(2,Z/pZ)

abstract: This paper describes a non-deterministic polynomial-time algorithm to find a path of length O(log p loglog p) between any two vertices of the Cayley graph of SL(2,Z/pZ).


title: The multiplicative structure on polynomial continuous valuations

abstract: We introduce a canonical structure of a commutative associative filtered algebra with the unit on polynomial smooth valuations, and study its properties. The induced structure on the subalgebra of translation invariant smooth valuations has especially nice properties (it is the structure of the Frobenius algebra). We also present some applications.


title: Knot Floer homology and the four-ball genus

abstract: We use the knot filtration on the Heegaard Floer complex to define an integer invariant tau(K) for knots. Like the classical signature, this invariant gives a homomorphism from the knot concordance group to Z. As such, it gives lower bounds for the slice genus (and hence also the unknotting number) of a knot; but unlike the signature, tau gives sharp bounds on the four-ball genera of torus knots. As another illustration, we calculate the invariant for several ten-crossing knots.


title: Beckman-Quarles type theorems for mappings from R^n to C^n

abstract: Let G: C^n \times C^n -> C, G((x_1,...,x_n),(y_1,...,y_n))=(x_1-y_1)^2+...+ (x_n-y_n)^2. We say that f: R^n -> C^n preserves distance d>0 if for each x,y \in R^n G(x,y)=d^2 implies G(f(x),f(y))=d^2. Let A(n) denote the set of all positive numbers d such that any map f: R^n -> C^n that preserves unit distance preserves also distance d. Let D(n) denote the set of all positive numbers d with the property: if x,y \in R^n and |x-y|=d then there exists a finite set S(x,y) with {x,y} \subseteq S(x,y) \subseteq R^n such that any map f:S(x,y)->C^n that preserves unit distance preserves also the distance between x and y. We prove: (1) A(n) \subseteq {d>0: d^2 \in Q}, (2) for n>=2 D(n) is a dense subset of (0,\infty). Item (2) implies that each continuous mapping f from R^n to C^n (n>=2) preserving unit distance preserves all distances.


title: Homotopy theory of bundles with fiber matrix algebra

abstract: In the present paper we consider a special class of locally trivial bundles with fiber a matrix algebra. On the set of such bundles over a finite $CW$-complex we define a relevant equivalence relation. The obtained stable theory gives us a geometric description of the H-space structure $\BSU_\otimes$ on $\BSU$ related to the tensor product of virtual $\SU$-bundles of virtual dimension 1.


title: Fast multi-dimensional scattered data approximation with Neumann boundary conditions

abstract: An important problem in applications is the approximation of a function $f$ from a finite set of randomly scattered data $f(x_j)$. A common and powerful approach is to construct a trigonometric least squares approximation based on the set of exponentials $\{e^{2\pi i kx}\}$. This leads to fast numerical algorithms, but suffers from disturbing boundary effects due to the underlying periodicity assumption on the data, an assumption that is rarely satisfied in practice. To overcome this drawback we impose Neumann boundary conditions on the data. This implies the use of cosine polynomials $\cos (\pi kx)$ as basis functions. We show that scattered data approximation using cosine polynomials leads to a least squares problem involving certain Toeplitz+Hankel matrices. We derive estimates on the condition number of these matrices. Unlike other Toeplitz+Hankel matrices, the Toeplitz+Hankel matrices arising in our context cannot be diagonalized by the discrete cosine transform, but they still allow a fast matrix-vector multiplication via DCT which gives rise to fast conjugate gradient type algorithms. We show how the results can be generalized to higher dimensions. Finally we demonstrate the performance of the proposed method by applying it to a two-dimensional geophysical scattered data problem.


title: Linear systems on a special rational surface

abstract: We study the Hilbert series of a family of ideals J_\phi generated by powers of linear forms in k[x_1,...,x_n]. Using the results of Emsalem-Iarrobino, we formulate this as a question about fatpoints in P^{n-1}. In the three variable case this is equivalent to studying the dimension of a linear system on a blow up of P^2. The ideals that arise have the points in very special position, but because there are only seven points, we can apply results of Harbourne to obtain the classes of the negative curves. Reducing to an effective, nef divisor and using Riemann-Roch yields a formula for the Hilbert series. This proves the n=3 case of a conjecture of Postnikov and Shapiro, which they later showed true for all n. Postnikov and Shapiro observe that for a family of ideals closely related to J_\phi a similar result often seems to hold, although counterexamples exist for n=4 and n=5. Our methods allow us to prove that for n=3 an analogous formula is indeed true. We close with a counterexample to a conjecture Postnikov and Shapiro make about the minimal free resolution of these ideals.


title: Termination of 4-fold canonical flips

abstract: We prove the termination of 4-fold canonical flips.


title: A relation between Gamma convergence of functionals and their associated gradient flows

abstract: De Giorgi conjectured in 1979 that if a sequence of functionals converges in the sense of Gamma-convergence to a limiting functional, then the corresponding gradient flows will converge as well after changing timescale appropriately. It is shown that this conjecture holds true for a rather wide kind of functionals.


title: Gamma-convergence of integral functionals depending on vector-valued functions over parabolic domains

abstract: De Giorgi conjectured in 1979 that if a sequence of parabolic functionals Gamma converges to a limiting functional, then the corresponding gradient flows will converge as well after changing timescale appropriately. This paper studies the Gamma convergence for a kind of parabolic functionals, and it supports the De Giorgi's conjecture.


title: Generalizations of some identities involving the fibonacci numbers

abstract: In this paper we study the sum $$\sum_{j_1+j_2+...+j_d=n}\prod_{i=1}^d F_{k\cdot j_i},$$ where $d\geq2$ and $k\geq1$.


title: Rank stable instantons over positive definite four manifolds

abstract: We study the moduli space of rank stable based instantons over a connected sum of q copies of CP^2. For c_2=1 we give the homotopy type of the moduli space. For c_2=2 we compute the cohomology of the moduli space.


title: Fixed point data of finite groups acting on 3-manifolds

abstract: We consider fully effective orientation-preserving smooth actions of a given finite group G on smooth, closed, oriented 3-manifolds M. We investigate the relations that necessarily hold between the numbers of fixed points of various non-cyclic subgroups. In Section 2, we show that all such relations are in fact equations mod 2, and we explain how the number of independent equations yields information concerning low-dimensional equivariant cobordism groups. Moreover, we restate a theorem of A. Szucs asserting that under the conditions imposed on a smooth action of G on M as above, the number of G-orbits of points x in M with non-cyclic stabilizer G_x is even, and we prove the result by using arguments of G. Moussong. In Sections 3 and 4, we determine all the equations for non-cyclic subgroups G of SO(3).


title: A singularity at the criticality for the free energy in percolation

abstract: Consider percolation on the triangular lattice. Let $\kappa(p)$ be the free energy at the zero field. We show that $$|\kappa'''(p)| \leq |p-p_c|^{-1/3+o(1)} \mbox{ if } p \neq p_c.$$ Furthermore, we show that there exists a sequence $\epsilon_n\downarrow 0$ such that $$|\kappa'''(p_c\pm \epsilon_n)|\geq \epsilon_n^{-1/3+o(1)}.$$ This answers affirmatively a conjecture, asked by Sykes and Essam a half century ago, whether $\kappa(p)$ has a singularity at the criticality.


title: Relations Among Universal Equations For Gromov-Witten Invariants

abstract: In this paper, we study relations among known universal equations for Gromov-Witten invariants at genus 1 and 2.