title: Asymmetric binary covering codes

abstract: An asymmetric binary covering code of length n and radius R is a subset C of the n-cube Q_n such that every vector x in Q_n can be obtained from some vector c in C by changing at most R 1's of c to 0's, where R is as small as possible. K^+(n,R) is defined as the smallest size of such a code. We show K^+(n,R) is of order 2^n/n^R for constant R, using an asymmetric sphere-covering bound and probabilistic methods. We show K^+(n,n-R')=R'+1 for constant coradius R' iff n>=R'(R'+1)/2. These two results are extended to near-constant R and R', respectively. Various bounds on K^+ are given in terms of the total number of 0's or 1's in a minimal code. The dimension of a minimal asymmetric linear binary code ([n,R]^+ code) is determined to be min(0,n-R). We conclude by discussing open problems and techniques to compute explicit values for K^+, giving a table of best known bounds.


title: Differential Equations for Dyson Processes

abstract: We call "Dyson process" any process on ensembles of matrices in which the entries undergo diffusion. We are interested in the distribution of the eigenvalues (or singular values) of such matrices. In the original Dyson process it was the ensemble of n by n Hermitian matrices, and the eigenvalues describe n curves. Given sets X_1,...,X_m the probability that for each k no curve passes through X_k at time \tau_k is given by the Fredholm determinant of a certain matrix kernel, the extended Hermite kernel. For this reason we call this Dyson process the Hermite process. Similarly, when the entries of a complex matrix undergo diffusion we call the evolution of its singular values the Laguerre process, for which there is a corresponding extended Laguerre kernel. Scaling the Hermite process at the edge leads to the Airy process and in the bulk to the sine process; scaling the Laguerre process at the edge leads to the Bessel process. Generalizing and strengthening earlier work, we assume that each X_k is a finite union of intervals and find for the Airy process a system of partial differential equations, with the end-points of the intervals of the X_k as independent variables, whose solution determines the probability that for each k no curve passes through X_k at time \tau_k. Then we find the analogous systems for the Hermite process (which is more complicated) and also for the sine process. Finally we find an analogous system of PDEs for the Bessel process, which is the most difficult.


title: Convex Combinatorial Optimization

abstract: We introduce the convex combinatorial optimization problem, a far reaching generalization of the standard linear combinatorial optimization problem. We show that it is strongly polynomial time solvable over any edge-guaranteed family, and discuss several applications.


title: Geometry of lines on certain Moishezon threefolds. I. Explicit description of families of twistor lines

abstract: We study real lines on certain Moishezon threefolds which are potentially twistor spaces of 3CP^2. Here, line means a smooth rational curve whose normal bundle is O(1)^2 and the reality implies the invariance under an anti-holomorphic involution on the threefolds. Our threefolds are birational to double coverings of CP^3 branched along singular quartic surfaces. On these threefolds we find families of real lines in explicit form and prove that which families have to be chosen as twistor lines depend on how we take small resolutions of the double covering. This is a first step for determining the moduli space of self-dual metrics on 3CP^2 of positive scalar curvature, which admit a non-trivial Killing field.


title: Conformally invariant operators, differential forms, cohomology and a generalisation of Q-curvature

abstract: On conformal manifolds of even dimension $n\geq 4$ we construct a family of new conformally invariant differential complexes. Each bundle in each of these complexes appears either in the de Rham complex or in its dual. Each of the new complexes is elliptic if the signature is Riemannian. We also construct gauge companion operators which complete the exterior derivative to a conformally invariant and (in the case of Riemannian signature) elliptically coercive system. These (operator,gauge) pairs are used to define finite dimensional conformally stable form subspaces which are are candidates for spaces of conformal harmonics. These constructions are based on a family of operators on closed forms which generalise in a natural way the Q-curvature. We give a universal construction of these new operators and show that they yield new conformally invariant global pairings between differential form bundles. Finally we give a geometric construction of a family of conformally invariant differential operators between density-valued differential form bundles and develop their properties (including their ellipticity type in the case of definite conformal signature). The construction is based on the ambient metric of Fefferman and Graham, and its relationship to tractor bundles. For each form order, our derivation yields an operator of every even order in odd dimensions, and even order operators up to order $n$ in even dimension $n$. In the case of unweighted forms as domain, these operators are the natural form analogues of the critical order conformal Laplacian of Graham et al., and are key ingredients in the new differential complexes mentioned above.


title: New Reverses of Schwarz, Triangle and Bessel Inequalities in Inner Product Spaces

abstract: New reverses of the Schwarz, triangle and Bessel inequalities in inner product spaces are pointed out. These results complement the recent ones obtained by the author in an earlier paper. Further, they are employed to establish new Gruss type inequalities. Finally, some natural integral inequalities are stated as well.


title: The geodesics of metric connections with vectorial torsion

abstract: The present note deals with the dynamics of metric connections with vectorial torsion, as already described by E. Cartan in 1925. We show that the geodesics of metric connections with vectorial torsion defined by gradient vector fields coincide with the Levi-Civita geodesics of a conformally equivalent metric. By pullback, this yields a systematic way of constructing invariants of motion for such connections from isometries of the conformally equivalent metric, and we explain in as much this result generalizes the Mercator projection which maps sphere loxodromes to straight lines in the plane. An example shows that Beltrami's theorem fails for this class of connections. We then study the system of differential equations describing geodesics in the plane for vector fields which are not gradients, and show among others that the Hopf-Rinow theorem does also not hold in general.


title: On $C^*$-algebras associated with $C^*$-correspondences

abstract: We study $C^*$-algebras arising from $C^*$-correspondences, which was introduced by the author. We prove the gauge-invariant uniqueness theorem, and obtain conditions for our $C^*$-algebras to be nuclear, exact, or satisfy the Universal Coefficient Theorem. We also obtain a 6-term exact sequence of $K$-groups involving the $K$-groups of our $C^*$-algebras.


title: Analysis on real affine G-varieties

abstract: We consider the action of a real linear algebraic group $G$ on a smooth, real affine algebraic variety $M\subset \R^n$, and study the corresponding left regular $G$-representation on the Banach space $C_0(M)$ of continuous, complex valued functions on $M$ vanishing at infinity. We show that the differential structure of this representation is already completely characterized by the action of the Lie algebra $\g$ of $G$ on the dense subspace $\P=\C[M] \cdot e^{-r^2}$, where $\C[M]$ denotes the algebra of regular functions of $M$ and $r$ the distance function in $\R^n$. We prove that the elements of this subspace constitute analytic vectors of the considered $G$-representation, and, using this fact, we construct discrete reducing series in $C_0(M)$. In case that $G$ is reductive, $K$ a maximal compact subgroup, $\P$ turns out to be a $(\g,K)$-module in the sense of Harish-Chandra and Lepowsky, and by taking suitable subquotients of $\P$, respectively $C_0(M)$, one gets admissible $(\g,K)$-modules as well as $K$-finite Banach representations.


title: Galois embedding problems with cyclic quotient of order p

abstract: Let K/F be a cyclic field extension of odd prime degree. We consider Galois embedding problems involving Galois groups with common quotient Gal(K/F) such that corresponding normal subgroups are indecomposable Fp[Gal(K/F)]-modules. For these embedding problems we prove conditions on solvability, formulas for explicit construction, and results on automatic realizability.


title: Signed quivers, symmetric quivers, and root systems

abstract: We define a special sort of weighted oriented graphs, signed quivers. Each of these yields a symmetric quiver, i.e., a quiver endowed with an involutive anti-automorphism and the inherited signs. We develop a representation theory of symmetric quivers, in particular we describe the indecomposable symmetric representations. Their dimensions constitute root systems corresponding to certain symmetrizable generalized Cartan matrices.


title: On the structure of the adjacency matrix of the line digraph of a regular digraph

abstract: We show that the adjacency matrix M of the line digraph of a d-regular digraph D on n vertices can be written as M=AB, where the matrix A is the Kronecker product of the all-ones matrix of dimension d with the identity matrix of dimension n and the matrix B is the direct sum of the adjacency matrices of the factors in a dicycle factorization of D.


title: Holomorphic submersions from Stein manifolds

abstract: In this paper we prove results on the existence and homotopy classification of holomorphic submersions from Stein manifolds to other complex manifolds. We say that a complex manifold Y satisfies Property S_n for some integer n bigger or equal the dimension of Y if every holomorphic submersion from a compact convex set in C^n of a certain special type to Y can be uniformly approximated by holomorphic submersions from C^n to Y. Assuming this condition we prove the following. A continuous map f from an n-dimensional Stein manifold X to Y is homotopic to a holomorphic submersions of X to Y if and only if there exists a fiberwise surjective complex vector bundle map from TX to TY covering f. We also prove results on the homotopy classification of holomorphic submersions. We show that Property S_n is satisfied when n>dim Y and Y is any of the following manifolds: a complex Euclidean space, a complex projective space or Grassmanian, a Zariski open set in any of the above whose complement does not contain any complex hypersurfaces, a complex torus, a Hopf manifold, a non-hyperbolic Riemann surface, etc. In the case when Y is a complex Euclidean space the main result of this paper was obtained in [arXiv:math.CV/0211112].


title: Finite differrence operators with a finite--band spectrum

abstract: We discuss a functional model for multi--diagonal selfadjoint operators with almost periodic coefficients that generalizes the well known model for finite band Jacobi matrices. It give us an opportunity to construct examples of almost periodic operators with different spectral properties. Main result deals with an exact condition for the uniqueness of the model of the given type.


title: Young Wall Realization of Crystal Bases for Classical Lie Algebras

abstract: In this paper, we give a new realization of crystal bases for finite dimensional irreducible modules over classical Lie algebras. The basis vectors are parameterized by certain Young walls lying between highest weight and lowest weight vectors.


title: Convergence of symmetric diffusions on Wiener spaces

abstract: We prove convergence of symmetric diffusions on Wiener spaces by using stopping times arguments and capacity techniques. The drifts of the diffusions can be singular, we require the densities of the processes to be neither bounded from above nor away from zero.


title: On CP1 and CP2 maps and Weierstrass representations for surfaces immersed into multi-dimensional Euclidean spaces

abstract: An extension of the classic Enneper-Weierstrass representation for conformally parametrised surfaces in multi-dimensional spaces is presented. This is based on low dimensional CP^1 and CP^2 sigma models which allow the study of the constant mean curvature (CMC) surfaces immersed into Euclidean 3- and 8-dimensional spaces, respectively. Relations of Weierstrass type systems to the equations of these sigma models are established. In particular, it is demonstrated that the generalised Weierstrass representation can admit different CMC-surfaces in R^3 which have globally the same Gauss map. A new procedure for constructing CMC-surfaces in R^n is presented and illustrated in some explicit examples.


title: Nonlinear Schrodinger, infinite dimensional tori and neighboring tori

abstract: In this work, we explain in what sense the generic level set of the constants of motion for the periodic nonlinear Schrodinger equation is an infinite dimensional torus on which each generalized nonlinear Schrodinger flow is reduced to straight line almost periodic motion, and describe how neighboring generic infinite dimensional tori are connected.


title: Noncentral extensions as anomalies in classical dynamical systems

abstract: A two cocycle is associated to any action of a Lie group on a symplectic manifold. This allows to enlarge the concept of anomaly in classical dynamical systems considered by F. Toppan [in J. Nonlinear Math. Phys. 8, no.3 (2001) 518-533] so as to encompass some extensions of Lie algebras related to noncanonical actions.


title: The structured distance to ill-posedness for conic systems

abstract: An important measure of conditioning of a conic linear system is the size of the smallest structured perturbation making the system ill-posed. We show that this measure is unchanged if we restrict to perturbations of low rank. We thereby derive a broad generalization of the classical Eckart-Young result characterizing the distance to ill-posedness for a linear map.


title: The Urysohn universal metric space is homeomorphic to a Hilbert space

abstract: The Urysohn universal metric space U is characterized up to isometry by the following properties: (1) U is complete and separable; (2) U contains an isometric copy of every separable metric space; (3) every isometry between two finite subsets of U can be extended to an isometry of U onto itself. We show that U is homeomorphic to the Hilbert space l_2 (or to the countable power of the real line).


title: A result on resolutions of Veronese embeddings

abstract: This paper deals with syzygies of the ideals of the Veronese embeddings. We prove that O(3) on P^n satisfies Property N_4 for every n. Besides we prove that O(d) on P^n satisfies N_p for all n >= p iff O(d) on P^p satisfies N_p.


title: The Proof of Goldbach Conjecture, Twin Primes Conjecture and Other Two Propositions

abstract: By creating a new method, the author proved the well-known world's baffling problems Goldbach conjecture, twin primes conjecture, the Proposition (C) and the Proposition $n^2+1$.


title: Trace forms of Galois extensions in the presence of a fourth root of unity

abstract: We study quadratic forms that can occur as trace forms of Galois field extensions L/K, under the assumption that K contains a primitive 4th root of unity. M. Epkenhans conjectured that any such form is a scaled Pfister form. We prove this conjecture and classify the finite groups G which admit a G-Galois extension L/K with a non-hyperbolic trace form. We also give several applications of these results.


title: Another Proof of a Famous Inequality

abstract: A simple proof of the weighted two variable geometric-arithmetic a mean inequality based on one given earlier valid only for integer weights


title: Splitting With Continuous Control in Algebraic K-theory

abstract: In this work, the continuously controlled assembly map in algebraic $K$-theory, as developed by Carlsson and Pedersen, is proved to be a split injection for groups $\Gamma$ that satisfy certain geometric conditions. The group $\Gamma$ is allowed to have torsion, generalizing a result of Carlsson and Pedersen. Combining this with a result of John Moody, $K_0(k\Gamma)$ is proved to be isomorphic to the colimit of $K_0(kH)$ over the finite subgroups $H$ of $\Gamma$, when $\Gamma$ is a virtually polycyclic group and $k$ is a field of characteristic zero.


title: Topological Dynamics of Exponential Maps on their Escaping Sets

abstract: We develop an abstract model for the dynamics of an exponential map $z\mapsto \exp(z)+\kappa$ on its set of escaping points and, as an analog of Boettcher's theorem for polynomials, show that every exponential map is conjugate, on a suitable subset of its set of escaping points, to a restriction of this model dynamics. Furthermore, we show that any two attracting and parabolic exponential maps are conjugate on their sets of escaping points; in fact, we construct an analog of Douady's "pinched disk model" for the Julia sets of these maps. On the other hand, we show that two exponential maps are generally not conjugate on their sets of escaping sets. Using the correspondence with our model, we also answer several questions about escaping endpoints of external rays, such as when a ray is differentiable in such an endpoints or how slowly these endpoints can escape to infinity.


title: Lecture Hall Theorems, q-series and Truncated Objects

abstract: We show here that the refined theorems for both lecture hall partitions and anti-lecture hall compositions can be obtained as straightforward consequences of two q-Chu Vandermonde identities, once an appropriate recurrence is derived. We use this approach to get new lecture hall-type theorems for truncated objects. We compute their generating function and give two different multivariate refinements of these new results : the q-calculus approach gives (u,v,q)-refinements, while a completely different approach gives odd/even (x,y)-refinements. From this, we are able to give a combinatorial characterization of truncated lecture hall partitions and new finitizations of refinements of Euler's theorem.


title: On the square-free sieve

abstract: We improve on the best available bounds for the square-free sieve and provide a general framework for its applicability. The failure of the local-to-global principle allows us to obtain results better than those reached by a classical sieve-based approach. Techniques involving sphere-packing yield upper bounds on the number of integer and rational points on curves of positive genus.


title: Partitions and Compositions defined by inequalities

abstract: We consider sequences of integers defined by a system of linear inequalities with integer coefficients. We show that when the constraints are strong enough to guarantee that all the entries are nonnegative, the generating function for the integer solutions of weight $n$ has a finite product form. The results are proved bijectively and are used to give several examples of interesting identities for integer partitions and compositions. The method can be adapted to accommodate equalities along with inequalities and can be used to obtain multivariate forms of the generating function. We show how to extend the technique to obtain the generating function when some coefficients are allowed to be rational, generalizing the case of lecture hall partitions. Our initial results were conjectured thanks to the Omega package.


title: The Cox ring of a Del Pezzo surface

abstract: Let $X_r$ be a smooth Del Pezzo surface obtained from $\P^2$ by blowing up $r \leq 8$ points in general position. It is well known that for $r \in \{3,4,5,6,7,8 \}$ the Picard group $\Pic(X_r)$ contains a canonical root system $R_r \in \{A_2 \times A_1, A_4, D_5, E_6, E_7, E_8 \}$. We prove some general properties of the Cox ring of $X_r$ ($r \geq 4$) and show its similarity to the homogeneous coordinate ring of the orbit of the highest weight vector in some irreducible representation of the algebraic group $G$ associated with the root system $R_r$.


title: Dispersive analysis of the charge transfer models

abstract: We prove the dispersive estimates for charge transfer Hamiltonians, including the matrix non-selfadjoint generalizations. The charge transfer models appear naturally in the study of stability of multi-soliton systems.


title: The Search for the Primitive

abstract: In this paper the effect of the search for a primitive on the theory of integration is discussed.


title: Asymptotic stability of N-soliton states of NLS

abstract: The focusing nonlinear Schrodinger equation possesses special non-dispersive solitary type solutions, solitons. Under certain spectral assumptions we show existence and asymptotic stability of solutions with the asymptoic profile (as time goes to infinity) of a linear combination of N non-colliding solitons.


title: More About Trigonometric Series and Integration

abstract: In this paper the discussion of the effect of trigonometric series on the theory of integration is continued from an earlier paper by Gluchoff, Trigonometric series and theories of integration, Math.Mag., 67 (1994), 3--20.


title: Stable rank of corner rings

abstract: B. Blackadar recently proved that any full corner $pAp$ in a unital C*-algebra $A$ has K-theoretic stable rank greater than or equal to the stable rank of $A$. (Here $p$ is a projection in $A$, and fullness means that $ApA=A$.) This result is extended to arbitrary (unital) rings $A$ in the present paper: If $p$ is a full idempotent in $A$, then $sr(pAp) \geq sr(A)$. The proofs rely partly on algebraic analogs of Blackadar's methods, and partly on a new technique for reducing problems of higher stable rank to a concept of stable rank one for skew (rectangular) corners $pAq$. The main result yields estimates relating stable ranks of Morita equivalent rings. In particular, if $B$ is isomorphic to the endomorphism ring of a finitely generated projective generator $P_A$ which can be generated by $n$ elements, then $sr(A) \leq n{\cdot}sr(B)-n+1$.


title: Refinements of Some Reverses of Schwarz's Inequality in 2-Inner Product Spaces and Applications for Integrals

abstract: Refinements of some recent reverse inequalities for the celebrated Cauchy-Bunyakovsky-Schwarz inequality in 2-inner product spaces are given. Using this framework, applications for determinantal integral inequalities are also provided.


title: Some notes about matrices, 4

abstract: In these notes we focus a bit on the complex case for some families of matrices and equivalences between them.


title: Some notes about matrices, 5

abstract: This short survey reviews some aspects of spaces of positive-definite self-adjoint linear transformations on R^n and on C^n, including the standard Riemannian metric and the relation with the exponential mapping acting on self-adjoint linear transformations, which indeed leads to geodesics of positive-definite linear transformations.


title: An invariant of finitary codes with finite expected square root coding length

abstract: Let $p$ and $q$ be probability vectors with the same entropy $h$. Denote by $B(p)$ the Bernoulli shift indexed by $\Z$ with marginal distribution $p$. Suppose that $\phi$ is a measure preserving homomorphism from $B(p)$ to $B(q)$. We prove that if the coding length of $\phi$ has a finite 1/2 moment, then $\sigma_p^2=\sigma_q^2$, where $\sigma_p^2=\sum_i p_i(-\log p_i-h)^2$ is the {\dof informational variance} of $p$. In this result, which sharpens a theorem of Parry (1979), the 1/2 moment cannot be replaced by a lower moment. On the other hand, for any $\theta<1$, we exhibit probability vectors $p$ and $q$ that are not permutations of each other, such that there exists a finitary isomorphism $\Phi$ from $B(p)$ to $B(q)$ where the coding lengths of $\Phi$ and of its inverse have a finite $\theta$ moment. We also present an extension to ergodic Markov chains.


title: Polynomial maps over finite fields and residual finiteness of mapping tori of group endomorphisms

abstract: We prove that every mapping torus of any free group endomorphism is residually finite. We show how to use a not yet published result of E. Hrushovski to extend our result to arbitrary linear groups. The proof uses algebraic self-maps of affine spaces over finite fields. In particular, we prove that when such a map is dominant, the set of its fixed closed scheme points is Zariski dense in the affine space.


title: On the Classification of One Class of Three-Dimensional Bol Algebras with Solvable Enveloping Lie Algebras of Small Dimension Part I

abstract: We give the classification of 3-dimensional Bol algebras associated to the trilinears operations $(e_2,e_3, e_2)=e_1, (e_2, e_3, e_3)=\pme_2$. It turn that for such trilinears operation there exist up to isomorphism and isotopy one family and one exceptional Bol algebras. We describe their corresponding 3-webs.


title: Error Correcting Codes on Algebraic Surfaces

abstract: Error correcting codes are defined and important parameters for a code are explained. Parameters of new codes constructed on algebraic surfaces are studied. In particular, codes resulting from blowing up points in $\proj^2$ are briefly studied, then codes resulting from ruled surfaces are covered. Codes resulting from ruled surfaces over curves of genus 0 are completely analyzed, and some codes are discovered that are better than direct product Reed Solomon codes of similar length. Ruled surfaces over genus 1 curves are also studied, but not all classes are completely analyzed. However, in this case a family of codes are found that are comparable in performance to the direct product code of a Reed Solomon code and a Goppa code. Some further work is done on surfaces from higher genus curves, but there remains much work to be done in this direction to understand fully the resulting codes. Codes resulting from blowing points on surfaces are also studied, obtaining necessary parameters for constructing infinite families of such codes. Also included is a paper giving explicit formulas for curves with more \field{q}-rational points than were previously known for certain combinations of field size and genus. Some upper bounds are now known to be optimal from these examples.


title: Logarithmic Derivatives of Solutions to Linear Differential Equations

abstract: Given an ordinary differential field $K$ of characteristic zero, it is known that if $y$ and $1/y$ satisfy linear differential equations with coefficients in $K$, then $y'/y$ is algebraic over $K$. We present a new short proof of this fact using Gr\"{o}bner basis techniques and give a direct method for finding a polynomial over $K$ that $y'/y$ satisfies. Moreover, we provide explicit degree bounds and extend the result to fields with positive characteristic. Finally, we give an application of our method to a class of nonlinear differential equations.


title: Birational morphisms of the plane

abstract: Let A^2 be the affine plane over a field K of characteristic 0. Birational morphisms of A^2 are mappings A^2 \to A^2 given by polynomial mappings \phi of the polynomial algebra K[x,y] such that for the quotient fields, one has K(\phi(x), \phi(y)) = K(x,y). Polynomial automorphisms are obvious examples of such mappings. Another obvious example is the mapping \tau_x given by x \to x, y \to xy. For a while, it was an open question whether every birational morphism is a product of polynomial automorphisms and copies of \tau_x. This question was answered in the negative by P. Russell (in an informal communication). In this paper, we give a simple combinatorial solution of the same problem. More importantly, our method yields an algorithm for deciding whether a given birational morphism can be factored that way.


title: Indecomposable Ideals in Incidence Algebras

abstract: The elements of a finite partial order $P$ can be identified with the maximal indecomposable two-sided ideals of its incidence algebra $\A$, and then for two such ideals, $I\prec J \iff IJ \not=0$. This offers one way to recover a poset from its incidence algebra. In the course of proving the above, we classify all of the two-sided ideals of $\A$.


title: On the Quillen determinant

abstract: We explain the bundle structures of the {\it Determinant line bundle} and the {\it Quillen determinant line bundle} considered on the connected component of the space of Fredholm operators including the identity operator in an intrinsic way. Then we show that these two are isomorphic and that they are non-trivial line bundles and trivial on some subspaces. Also we remark a relation of the {\it Quillen determinant line bundle} and the {\it Maslov line bundle}.


title: On new examples of Hamiltonian-minimal and minimal Lagrangian submanifolds in $C^n$ and $CP^n$

abstract: We propose a new method for the construction of Hamiltonian-minimal and minimal Lagrangian immersions of some manifolds in $C^n$ and in $CP^n$. By this method one can construct, in particular, immersions of such manifolds as the generalized Klein's bottle $K^n$, the multidimensional torus, $K^{n-1}\times S^1$, $S^{n-1}\times S^1$, and others. In some cases these immersions are embeddings. For example, it is possible to embed the following manifolds: $K^{2n+1},$ $S^{2n+1}\times S^1$, $K^{2n+1}\times S^1$, $S^{2n+1}\times S^1\times S^1$.


title: Dense Random Finitely Generated Subgroups of Lie Groups

abstract: Let G be a connected real Lie group of dimension n. Then there exists a relatively compact open neighbourhood W of e in G such that for n+1 randomly chosen elements g_0,..,g_n the generated subgroup will be dense in G with probability one.


title: There are Significantly More Nonnegative Polynomials than Sums of Squares

abstract: We investigate the quantitative relationship between nonnegative polynomials and sums of squares of polynomials. We show that if the degree is fixed and the number of variables grows then there are significantly more nonnegative polynomials than sums of squares. More specifically, we take compact bases of the cone of nonnegative polynomials and the cone of sums of squares and derive bounds for the volumes of the bases. If the degree is greater than 2 then we show that the ratio of the volumes of the bases, raised to the power reciprocal to the ambient dimension, tends to 0 as the number of variables tends to infinity.


title: On the Frobenius-Schur indicators for quasi-Hopf algebras

abstract: Mason and Ng have given a generalization to semisimple quasi-Hopf algebras of Linchenko and Montgomery's generalization to semisimple Hopf algebras of the classical Frobenius-Schur theorem for group representations. We give a simplified proof, in particular a somewhat conceptual derivation of the appropriate form of the Frobenius-Schur indicator that indicates if and in which of two possible fashions a given simple module is self-dual.


title: Affine pavings for affine Springer fibers for split elements in PGL(3)

abstract: This paper constructs pavings by affine spaces for the affine Springer fibers for PGL(3) obtained from regular compact elements in a split maximal torus. These pavings are constructed by intersecting the affine Springer fiber with a non-standard paving of the affine Grassmannian.


title: Generalized orbifold Euler characteristics of symmetric orbifolds and covering spaces

abstract: Let G be a finite group and let M be a G-manifold. We introduce the concept of generalized orbifold invariants of M/G associated to an arbitrary group Gamma, an arbitrary Gamma-set, and an arbitrary covering space of a connected manifold Sigma whose fundamental group is Gamma. Our orbifold invariants have a natural and simple geometric origin in the context of locally constant G-equivariant maps from G-principal bundles over covering spaces of Sigma to the G-manifold M. We calculate generating functions of orbifold Euler characteristic of symmetric products of orbifolds associated to arbitrary surface groups (orientable or non-orientable, compact or non-compact), in both an exponential form and in an infinite product form. Geometrically, each factor of this infinite product corresponds to an isomorphism class of a connected covering space of a manifold Sigma. The essential ingredient for the calculation is a structure theorem of the centralizer of homomorphisms into wreath products described in terms of automorphism groups of Gamma-equivariant G-principal bundles over finite Gamma-sets. As corollaries, we obtain many identities in combinatorial group theory. As a byproduct, we prove a simple formula which calculates the number of conjugacy classes of subgroups of given index in any group. Our investigation is motivated by orbifold conformal field theory.


title: Character sheaves and generalizations

abstract: This paper contains an exposition of the theory of character sheaves for reductive groups and some attempts to extend it to other cases: unipotent groups, reductive groups modulo the unipotent radical of a parabolic.


title: Aztec Diamonds and Baxter Permutations

abstract: We present a proof of a conjecture about the relationship between Baxter permutations and pairs of alternating sign matrices that are produced from domino tilings of Aztec diamonds. It is shown that if and only if a tiling corresponds to a pair of ASMs that are both permutation matrices, the larger permutation matrix corresponds to a Baxter permutation. There has been a thriving literature on both pattern-avoiding permutations of various kinds and tilings of regions using dominos or rhombuses as tiles. However, there have not as of yet been many links between these two areas of enumerative combinatorics. This paper gives one such link.


title: Regular points in affine Springer fibers

abstract: Work of Kazhdan-Lusztig and Bezrukavnikov suggests the importance of points in affine Springer fibers for which the associated conjugacy class in the finite dimensional Lie algebra is regular. Such points are characterized in a different way in this paper, using the same kind of information as goes into the weight factors used to form weighted orbital integrals.


title: Rational maps and string topology

abstract: We apply a version of the Chas-Sullivan-Cohen-Jones product on the higher loop homology of a manifold in order to compute the homology of the spaces of continuous and holomorphic maps of the Riemann sphere into a complex projective space. This product makes sense on the homology of maps from a co-H space to a manifold, and comes from a ring spectrum. We also build a holomorphic version of the product for maps of the Riemann sphere into homogeneous spaces. In the continuous case we define a related module structure on the homology of maps from a mapping cone into a manifold, and then describe a spectral sequence that can compute it. As a consequence we deduce a periodicity and dichotomy theorem when the source is a compact Riemann surface and the target is a complex projective space.


title: Cluster algebras and Weil-Petersson forms

abstract: In our previous paper we have discussed Poisson properties of cluster algebras of geometric type for the case of a nondegenerate matrix of transition exponents. In this paper we consider the case of a general matrix of transition exponents. Our leading idea that a relevant geometric object in this case is a certain closed 2-form compatible with the cluster algebra structure. The main example is provided by Penner coordinates on the decorated Teichmueller space, in which case the above form coincides with the classic Weil-Petersson symplectic form.


title: A heat transfer with a source: the complete set of invariant difference schemes

abstract: In this letter we present the set of invariant difference equations and meshes which preserve the Lie group symmetries of the equation u_{t}=(K(u)u_{x})_{x}+Q(u). All special cases of K(u) and Q(u) that extend the symmetry group admitted by the differential equation are considered. This paper completes the paper [J. Phys. A: Math. Gen. 30, no. 23 (1997) 8139-8155], where a few invariant models for heat transfer equations were presented.


title: Unexpected connections between Burnside Groups and Knot Theory

abstract: In Classical Knot Theory and in the new Theory of Quantum Invariants substantial effort was directed toward the search for unknotting moves on links. We solve, in this note, several classical problems concerning unknotting moves. Our approach uses a new concept, Burnside groups of links, which establishes unexpected relationship between Knot Theory and Group Theory. Our method has the potential to be used in computational biology in the analysis of DNA via tangle embedding theory, as developed by D.W.Sumners.


title: Existence theorems of fold-maps

abstract: A smooth map having only fold singularities is called a fold-map. We will give effective conditions for a continuous map to be homotopic to a fold-map from the viewpoint of the homotopy principle.


title: Level zero fundamental representations over quantized affine algebras and Demazure modules

abstract: We show that the finite-dimensional fundamental module over a quantized affine algebra is isomorphic to a Demazure module of a higest weight module of level one as a module over a quantized classical universal enveloping algebra.


title: Non-linear sigma-models in noncommutative geometry: fields with values in finite spaces

abstract: We study sigma-models on noncommutative spaces, notably on noncommutative tori. We construct instanton solutions carrying a nontrivial topological charge q and satisfying a Belavin-Polyakov bound. The moduli space of these instantons is conjectured to consists of an ordinary torus endowed with a complex structure times a projective space $CP^{q-1}$.


title: Smarandache Fuzzy Algebra

abstract: The author studies the Smarandache Fuzzy Algebra, which, like its predecessor Fuzzy Algebra, arose from the need to define structures that were more compatible with the real world where the grey areas mattered, not only black or white. This book has seven chapters, which are divided into two parts. Part I contains the first chapter, and Part II encloses the remaining six chapters. In the first chapter (which also forms the first part), which is subdivided into twelve sections, we deal with eleven distinct fuzzy algebraic concepts and in the concluding section list the miscellaneous properties of fuzzy algebra. The eleven fuzzy algebraic concepts which we analyze are fuzzy sets, fuzzy subgroups, fuzzy sub-bigroups, fuzzy rings, fuzzy birings, fuzzy fields, fuzzy semirings, fuzzy near-rings, fuzzy vector spaces, fuzzy semigroups and fuzzy half-groupoids. The results used in these sections are extensive and we have succeeded in presenting new concepts defined by several researchers.


title: "Brave New" Algebraic Geometry and global derived moduli spaces of ring spectra

abstract: We develop homotopical algebraic geometry (see math.AG/0207028) in the special context where the base symmetric monoidal model category is the category S of spectra, i.e. what might be called, after Waldhausen, ``brave new algebraic geometry''. We discuss various model topologies on the model category of commutative algebras in S, the associated theories of geometric S-stacks (a geometric S-stack being an analog of Artin notion of algebraic stack in Algebraic Geometry), and finally show how to define global moduli spaces of associative ring spectra structures and a moduli space related to topological modular forms as geometric S-stacks.


title: Complex, symplectic and Kaehler structures on four dimensional Lie groups

abstract: In this work we deal with left invariant complex and symplectic structures on simply connected four dimensional solvable real Lie groups. We search the general form of such structures, when they exist and we make use of this information to determine all left invariant Kaehler structures. Finally, as an appendix we compute explicitly the real cohomology of the corresponding Lie algebras.


title: q-Levy processes

abstract: We continue the investigation of the Levy processes on a q-deformed full Fock space started in a previous paper. First, we show that the vacuum vector is cyclic and separating for the algebra generated by such a process. Next, we describe a chaotic representation property in terms of multiple integrals with respect to diagonal measures, in the style of Nualart and Schoutens. We define stochastic integration with respect to these processes, and calculate their combinatorial stochastic measures. Finally, we show that they generate infinite von Neumann algebras.


title: Is it possible to compute the Moebius function without factoring?

abstract: It has been well known since Fermat's Little Theorem was first published that it is possible to determine that a number is composite without determining any of its nontrivial factors. It is natural to ask whether it is also possible to compute the Moebius function of a composite number without determining any of its nontrivial factors. In this note, we argue that this is impossible.


title: Small examples of non-constructible simplicial balls and spheres

abstract: We construct non-constructible simplicial $d$-spheres with $d+10$ vertices and non-constructible, non-realizable simplicial $d$-balls with $d+9$ vertices for $d\geq 3$.


title: Ribbon concordance of surface-knots via quandle cocycle invariants

abstract: We give necessary conditions of a surface-knot to be ribbon concordant to another, by introducing a new variant of the cocycle invariant of surface-knots in addition to using the invariant already known. We demonstrate that twist-spins of some torus knots are not ribbon concordant to their orientation reversed images.


title: Independence polynomials of well-covered graphs: generic counterexamples for the unimodality conjecture

abstract: A graph $G$ is well-covered if all its maximal stable sets have the same size, denoted by alpha(G) (M. D. Plummer, 1970). If for any $k$ the $k$-th coefficient of a polynomial I(G;x) is equal to the number of stable sets of cardinality $k$ in graph $G$, then it is called the independence polynomial of $G$ (Gutman and Harary, 1983). J. I. Brown, K. Dilcher and R. J. Nowakowski (2000) conjectured that I(G;x) is unimodal (that is, there exists an index $k$ such that the part of the sequence of coefficients from the first to $k$-th is non-decreasing while the other part of coefficients is non-increasing) for any well-covered graph $G$. T. S. Michael and W. N. Traves (2002) proved that this assertion is true for alpha(G) < 4, while for alpha(G) from the set {4,5,6,7} they provided counterexamples. In this paper we show that for any integer $alpha$ > 7, there exists a (dis)connected well-covered graph $G$ with $alpha$ = alpha(G), whose independence polynomial is not unimodal. In addition, we present a number of sufficient conditions for a graph $G$ with alpha(G) < 7 to have unimodal independence polynomial.


title: Some Examples of Free actions on Products of Spheres

abstract: If $G_1$ and $G_2$ are finite groups with periodic Tate cohomology, then $G_1\times G_2$ acts freely and smoothly on some product $S^n \times S^n$.


title: The number of extensions of a number field with fixed degree and bounded discriminant

abstract: We give an upper bound on the number of extensions of a fixed number field of prescribed degree and discriminant less than X; these bounds improve on work of Schmidt. We also prove various related results, such as lower bounds for the number of extensions and upper bounds for Galois extensions.


title: Test Sets for Integer Programs with Z-Convex Objective

abstract: In this paper we extend test set based augmentation methods for integer linear programs to programs with more general convex objective functions. We show existence and computability of finite test sets for these wider problem classes by providing an explicit relationship to Graver bases. One candidate where this new approach may turn out fruitful is the Quadratic Assignment Problem.


title: Infinite-dimensional vector bundles in algebraic geometry (an introduction)

abstract: Raynaud and Gruson showed that there is a reasonable algebro-geometric notion of family of discrete (infinite-dimensional) vector spaces. The author introduces a notion of family of Tate spaces ("Tate" means "locally linearly compact") and claims that it is local. The definition takes in account that the K_{-1} of a ring is not necessarily zero. However, we prove that K_{-1} always vanishes after Nisnevich sheafification. As a discrete counterpart of families of Tate spaces, we introduce the notion of almost projective module. We discuss the notions of dimension torsor and determinant gerbe of a family of Tate spaces. The above technique has two different applications. First, we clarify the structure of the ind-scheme of formal loops of a smooth affine manifold Y. This allows to define a "refined" motivic integral of a differential form on Y with no zeros, which is an object of a triangulated category rather than an element of its K_0 group. Second, we show that almost projective modules and families of Tate spaces appear naturally in the study of the cohomology of a family of finite-dimensional vector bundles on a punctured smooth manifold. The canonical central extension that comes from this cohomology allows to interpret the "Uhlenbeck compactification" of the stack of vector bundles on the projective plane as the fine moduli space of a certain type of generalized vector bundles.


title: Non-crossing frameworks with non-crossing reciprocals

abstract: We study non-crossing frameworks in the plane for which the classical reciprocal on the dual graph is also non-crossing. We give a complete description of the self-stresses on non-crossing frameworks whose reciprocals are non-crossing, in terms of: the types of faces (only pseudo-triangles and pseudo-quadrangles are allowed); the sign patterns in the self-stress; and a geometric condition on the stress vectors at some of the vertices. As in other recent papers where the interplay of non-crossingness and rigidity of straight-line plane graphs is studied, pseudo-triangulations show up as objects of special interest. For example, it is known that all planar Laman circuits can be embedded as a pseudo-triangulation with one non-pointed vertex. We show that if such an embedding is sufficiently generic, then the reciprocal is non-crossing and again a pseudo-triangulation embedding of a planar Laman circuit. For a singular (i.e., non-generic) pseudo-triangulation embedding of a planar Laman circuit, the reciprocal is still non-crossing and a pseudo-triangulation, but its underlying graph may not be a Laman circuit. Moreover, all the pseudo-triangulations which admit a non-crossing reciprocal arise as the reciprocals of such, possibly singular, stresses on pseudo-triangulation embeddings of Laman circuits. All self-stresses on a planar graph correspond to liftings to piece-wise linear surfaces in 3-space. We prove characteristic geometric properties of the lifts of such non-crossing reciprocal pairs.


title: The Number System of the Old European Script

abstract: The oldest (c. 4000 BC) undeciphered language is the Old European Script known from approximately 940 inscribed objects (82% of inscriptions on pottery) found in excavations in the Vinca-Tordos region Transylvania. Also, it is not known for what the script was used, but the prevailing theory is that it had a religious purpose. We note that more than a quarter of the inscriptions are on the bottom of a pot-seemingly a most illogical and inglorious place to pay homage to a deity. Consistent with this, in a survey we performed of pots and containers in modern locations, we could not find a single religious inscription. Here we delineate the number system of the Old European Script, and propose that the Old European Script may have been used for economic purposes. The delineation of the number signs of the Old European Script should facilitate further understanding of the rest of the script and of the Old European culture, especially as new archaeologic findings emerge.


title: Algorithm for multiplying Schubert classes

abstract: Based on the multiplicative rule of Schubert classes obtained in [Du3], we present an algorithm computing the product of two arbitrary Schubert classes. As a result, the algorithm gives also a method to compute the integral cohomology ring of a flag manifold independent of the classical spectral sequence technique due to Leray and Borel.


title: Closed geodesics on incomplete surfaces

abstract: We consider the problem of finding embedded closed geodesics on the two-sphere with an incomplete metric defined outside a point. Various techniques including curve shortening methods are used.


title: Universal algebraic equivalences between tautological cycles on Jacobians of curves

abstract: We present a collection of algebraic equivalences between tautological cycles on the Jacobian $J$ of a curve, i.e., cycles in the subring of the Chow ring of $J$ generated by the classes of certain standard subvarieties of $J$. These equivalences are universal in the sense that they hold for all curves of given genus. We show also that they are compatible with the action of the Fourier transform on tautological cycles and compute this action explicitly.


title: Isomorphism rigidity in entropy rank two

abstract: We study the rigidity properties of a class of algebraic Z^3-actions with entropy rank two. For this class, conditions are found which force an invariant measure to be the Haar measure on an affine subset. This is applied to show isomorphism rigidity for such actions, and to provide examples of non-isomorphic Z^3-actions with all their Z^2-sub-actions isomorphic. The proofs use lexicographic half-space entropies and total ergodicity along critical directions.


title: Knot Theory With The Lorentz Group

abstract: We analyse the perturbative expansion of the knot invariants defined from the unitary representations of the Quantum Lorentz Group in two different ways, namely using the Kontsevich Integral and weight systems, and the $R$-matrix in the Quantum Lorentz Group defined by Buffenoir and Roche. The two formulations are proved to be equivalent; and they both yield $C[[h]]$-valued knot invariants related with the Melvin Morton expansion of the Coloured Jones Polynomial.


title: Poisson geometrical symmetries associated to non-commutative formal diffeomorphisms

abstract: Let G be the group of all formal power series starting with x with coefficients in a field k of zero characteristic (with the composition product), and let F[G] be its function algebra. C. Brouder and A. Frabetti introduced a non-commutative, non-cocommutative graded Hopf algebra H, via a direct process of ``disabelianisation'' of F[G], i.e. taking the like presentation of the latter as an algebra but dropping the commutativity constraint. In this paper we apply a general method to provide four one-parameters deformations of H, which are quantum groups whose semiclassical limits are Poisson geometrical symmetries such as Poisson groups or Lie bialgebras, namely two quantum function algebras and two quantum universal enveloping algebras. In particular the two Poisson groups are extensions of G, isomorphic as proalgebraic Poisson varieties but not as proalgebraic groups. This analysis easily extends to a hudge family of Hopf algebras of similar nature, thus yielding a method to associate to such "generalized symmetries" some classical geometrical symmetries (such as Poisson groups and Lie bialgebras) in a natural way: the present case then stands as a simplest, toy model for the general situation.


title: A new test for the multivariate two-sample problem based on the concept of minimum energy

abstract: We introduce a new statistical quantity the energy to test whether two samples originate from the same distributions. The energy is a simple logarithmic function of the distances of the observations in the variate space. The distribution of the test statistic is determined by a resampling method. The power of the energy test in one dimension was studied for a variety of different test samples and compared to several nonparametric tests. In two and four dimensions a comparison was performed with the Friedman-Rafsky and nearest neighbor tests. The two-sample energy test was shown to be especially powerful in multidimensional applications.


title: Automorphisms and strongly invariant relations

abstract: We investigate characterizations of the Galois connection sInv-Aut between sets of finitary relations on a base set A and their automorphisms. In particular, for A=omega_1, we construct a countable set R of relations that is closed under all invariant operations on relations and under arbitray intersections, but is not closed under sInv(Aut(-)). Our structure (A,R) has an omega-categorical first order theory. A higher order definable well-order makes it rigid, but any reduct to a finite language is homogeneous.


title: Exactness and uniform embeddability of discrete groups

abstract: We define a numerical quasi-isometry invariant of a finitely generated group, whose values parametrize the difference between the group being uniformly embeddable in a Hilbert space and the reduced C*-algebra of the group being exact.


title: On the second order derivatives of convex functions on the Heisenberg group

abstract: In the Euclidean setting the celebrated Aleksandrov-Busemann-Feller theorem states that convex functions are a.e. twice differentiable. In this paper we prove that a similar result holds in the Heisenberg group, by showing that every continuous H-convex function belongs to the class of functions whose second order horizontal distributional derivatives are Radon measures. Together with a recent result by Ambrosio and Magnani, this proves the existence a.e. of second order horizontal derivatives for the class of continuous H-convex functions in the Heisenberg group.


title: Iwahori-Hecke Algebras

abstract: This article gives a fairly self-contained treatment of the basic facts about the Iwahori-Hecke algebra of a split p-adic group, including Bernstein's presentation, Macdonald's formula, the Casselman-Shalika formula, and the Lusztig-Kato formula.


title: Analysis of the $\bar{\partial}$-Neumann problem along a straight edge

abstract: We show there exists an L^p solution, for p>2, to the dbar-Neumann problem on an edge domain in C^2 for (0,1)-forms, and we explicitly compute the singularities, which are of complex logarithmic and arctangent type, along the edge, of the solution.


title: On the Heegaard Floer homology of branched double-covers

abstract: Let $L\subset S^3$ be a link. We study the Heegaard Floer homology of the branched double-cover $\Sigma(L)$ of $S^3$, branched along $L$. When $L$ is an alternating link, $\HFa$ of its branched double-cover has a particularly simple form, determined entirely by the determinant of the link. For the general case, we derive a spectral sequence whose $E^2$ term is a suitable variant of Khovanov's homology for the link $L$, converging to the Heegaard Floer homology of $\Sigma(L)$.


title: Quadri-algebras

abstract: We introduce the notion of quadri-algebras. These are associative algebras for which the multiplication can be decomposed as the sum of four operations in a certain coherent manner. We present several examples of quadri-algebras: the algebra of permutations, the shuffle algebra, tensor products of dendriform algebras. We show that a pair of commuting Baxter operators on an associative algebra gives rise to a canonical quadri-algebra structure on the underlying space of the algebra. The main example is provided by the algebra End(A) of linear endomorphisms of an infinitesimal bialgebra A. This algebra carries a canonical pair of commuting Baxter operators: $\beta(T)=T\ast\id$ and $\gamma(T)=\id\ast T$, where $\ast$ denotes the convolution of endomorphisms. It follows that End(A) is a quadri-algebra, whenever A is an infinitesimal bialgebra. We also discuss commutative quadri-algebras and state some conjectures on the free quadri-algebra.


title: A moduli curve for compact conformally-Einstein K\"ahler manifolds

abstract: We classify quadruples $(M,g,m,\tau)$ in which $(M,g)$ is a compact K\"ahler manifold of complex dimension $m>2$ with a nonconstant function $\tau$ on $M$ such that the conformally related metric $g/\tau^2$, defined wherever $\tau\ne 0$, is Einstein. It turns out that $M$ then is the total space of a holomorphic $CP^1$ bundle over a compact K\"ahler-Einstein manifold $(N,h)$. The quadruples in question constitute four disjoint families: one, well-known, with K\"ahler metrics $g$ that are locally reducible; a second, discovered by B\'erard Bergery (1982), and having $\tau\ne 0$ everywhere; a third one, related to the second by a form of analytic continuation, and analogous to some known K\"ahler surface metrics; and a fourth family, present only in odd complex dimensions $m\ge 9$. Our classification uses a {\it moduli curve}, which is a subset $\mathcal{C}$, depending on $m$, of an algebraic curve in $R^2$. A point $(u,v)$ in $\mathcal{C}$ is naturally associated with any $(M,g,m,\tau)$ having all of the above properties except for compactness of $M$, replaced by a weaker requirement of ``vertical'' compactness. One may in turn reconstruct $M,g$ and $\tau$ from this $(u,v)$ coupled with some other data, among them a K\"ahler-Einstein base $(N,h)$ for the $CP^1$ bundle $M$. The points $(u,v)$ arising in this way from $(M,g,m,\tau)$ with compact $M$ form a countably infinite subset of $\mathcal{C}$.


title: Blocking sets in small finite linear spaces II

abstract: The contents of this paper has been incorporated into math.CO/0308288.


title: Subfactor realisation of modular invariants

abstract: We study the problem of realising modular invariants by braided subfactors and the related problem of classifying nimreps. We develop the fusion rule structure of these modular invariants. This structure is useful tool in the analysis of modular data from quantum double subfactors, particularly those of the double of cyclic groups, the symmetric group on 3 letters and the double of the subfactors with principal graph the extended Dynkin diagram D_5^(1). In particular for the double of S_3, 14 of the 48 modular modular invariants are nimless, and only 28 of the remaining 34 nimble invariants can be realised by subfactors.


title: Modular invariants and their fusion rules

abstract: The subfactor approach to modular invariants gives insight into the fusion rule structure of the modular invariants.


title: Logarithmic singularity of the Szeg\"o kernel and a global invariant of strictly pseudoconvex domains

abstract: The Szego kernel of a strictly pseudoconvex domain admits a singularity on the boundary diagonal, which consists of a pole and logarithmic type singularity. In this paper, we prove that the integral over the boundary of the coefficient of the logarithmic singularity gives a biholomorphic invariant of a domain, or a CR invariant of the boundary. We also show that the same invariant appears as the coefficient of the logarithmic term of the volume expansion of the domain with respect to the Bergman volume element.


title: H-minimal Lagrangian fibrations in Kahler manifolds and minimal Lagrangian vanishing tori in Kahler-Einstein manifolds

abstract: H-minimal Lagrangian submanifolds in general K\"{a}hler manifolds generalize special Lagrangian submanifolds in Calabi-Yau manifolds. In this paper we will use the deformation theory of H-minimal Lagrangian submanifolds in K\"{a}hler manifolds to construct minimal Lagrangian torus in certain K\"{a}hler-Einstein manifolds with negative first Chern class.


title: On Borcherds products associated with lattices of prime discriminant

abstract: We show that certain spaces of vector valued modular forms are isomorphic to spaces of scalar valued modular forms whose Fourier coefficients are supported on suitable progressions. As an application we give a very explicit description of Borcherds products on Hilbert modular surfaces.


title: On isomorphisms of algebras of smooth functions

abstract: We show that for any smooth Hausdorff manifolds M and N, which are not necessarily second countable, paracompact or connected, any isomorphism from the algebra of smooth (real or complex) functions on N to the algebra of smooth functions on M is given by composition with a unique diffeomorphism from M to N. An analogous result holds true for isomorphisms of algebras of smooth functions with compact support.


title: Coisotropic submanifolds in Poisson geometry and branes in the Poisson sigma model

abstract: General boundary conditions ("branes") for the Poisson sigma model are studied. They turn out to be labeled by coisotropic submanifolds of the given Poisson manifold. The role played by these boundary conditions both at the classical and at the perturbative quantum level is discussed. It turns out to be related at the classical level to the category of Poisson manifolds with dual pairs as morphisms and at the perturbative quantum level to the category of associative algebras (deforming algebras of functions on Poisson manifolds) with bimodules as morphisms. Possibly singular Poisson manifolds arising from reduction enter naturally into the picture and, in particular, the construction yields (under certain assumptions) their deformation quantization.


title: On the Dirichlet problem for asymmetric zero-range process on increasing domains

abstract: We characterize the principal eigenvalue of the generator of the asymmetric zero-range process in dimensions d>2, with Dirichlet boundary on special domains. We obtain a Donsker-Varadhan variational representation for the principal eigenvalue, and show that the corresponding eigenfunction is unique in a natural class of functions. This allows us to obtain asymptotic hitting time estimates.


title: Hitting times for special patterns in the symmetric exclusion process on Z^d

abstract: We consider the symmetric exclusion process {\eta_t,t>0} on {0,1}^{Z^d}. We fix a pattern A:={\eta:\sum_{\Lambda}\eta(i)\ge k}, where \Lambda is a finite subset of Z^d and k is an integer, and we consider the problem of establishing sharp estimates for \tau, the hitting time of A. We present a novel argument based on monotonicity which helps in some cases to obtain sharp tail asymptotics for \tau in a simple way. Also, we characterize the trajectories {\eta_s,s\le t} conditioned on {\tau>t}.


title: On the Cauchy problem for a nonlinearly dispersive wave equation

abstract: We establish the local well-posedness for a new nonlinearly dispersive wave equation and we show that the equation has solutions that exist for indefinite times as well as solutions which blowup in finite times. Furthermore, we derive an explosion criterion for the equation and we give a sharp estimate from below for the existence time of solutions with smooth initial data.


title: Algebra cohomology over a commutative algebra revisited

abstract: The aim of this paper is to give a relatively easy bicomplex which computes the Shukla, or Quillen cohomology in the category of associative algebras over a commutative algebra $A$, in the case when $A$ is an algebra over a field.


title: Measurable Categories

abstract: We develop the theory of categories of measurable fields of Hilbert spaces and bounded fields of bounded operators. We examine classes of functors and natural transformations with good measure theoretic properties, providing in the end a rigorous construction for the bicategory used in joint work with Crane as the basis for a representation theory of (Lie) 2-groups. Several important technical results are established along the way: First it is shown that all bounded invertible additive functors (and thus a fortiori all invertible *-functors) between categories of measurable fields of Hilbert spaces are induced by invertible measurable transformations between the underlying Borel spaces. Second the distributivity of Hilbert space tensor product over direct integrals over Lusin spaces with respect to $\sigma$-finite measures is established. The paper concludes with a general definition of measurable bicategories.


title: The Bloch-Okounkov correlation functions at higher levels

abstract: We establish an explicit formula for the n-point correlation functions in the sense of Bloch-Okounkov for the irreducible representations of $\hat{gl}_\infty$ and $W_{1+\infty}$ of arbitrary positive integral levels.


title: 23040 symmetries of hyperbolic tetrahedra

abstract: We give a rigorous geometric proof of the Murakami-Yano formula for the volume of a hyperbolic tetrahedron. In doing so, we are led to consider generalized hyperbolic tetrahedra, which are allowed to be non-convex, and have vertices `beyond infinity'; and we uncover a group, which we call 22.5K, of 23040 scissors-class-preserving symmetries of the space of (suitably decorated) generalized hyperbolic tetrahedra. The group 22.5K contains the Regge symmetries as a subgroup of order 144. From a generic tetrahedron, 22.5K produces 30 distinct generalized tetrahedra in the same scissors class, including the 12 honest-to-goodness tetrahedra produced by the Regge subgroup. The action of 22.5K leads us to the Murakami-Yano formula, and to 9 others, which are similar but less symmetrical. From here, we can derive yet other volume formulas with pleasant algebraic and analytical properties. The key to understanding all this is a natural relationship between a hyperbolic tetrahedron and a pair of ideal hyperbolic octahedra.


title: Berezinians, Exterior Powers and Recurrent Sequences

abstract: We study power expansions of the characteristic function of a linear operator $A$ in a $p|q$-dimensional superspace $V$. We show that traces of exterior powers of $A$ satisfy universal recurrence relations of period $q$. `Underlying' recurrence relations hold in the Grothendieck ring of representations of $\GL(V)$. They are expressed by vanishing of certain Hankel determinants of order $q+1$ in this ring, which generalizes the vanishing of sufficiently high exterior powers of an ordinary vector space. In particular, this allows to explicitly express the Berezinian of an operator as a rational function of traces. We analyze the Cayley--Hamilton identity in a superspace. Using the geometric meaning of the Berezinian we also give a simple formulation of the analog of Cramer's rule.


title: The general hyperplane section of a curve

abstract: In this paper, we discuss some necessary and sufficient condition for a curve to be arithmetically Cohen-Macaulay, in terms of its general hyperplane section. We obtain a characterization of the degree matrices that can occur for points in the plane that are the general hyperplane section of a non arithmetically Cohen-Macaulay curve of P^3. We prove that almost all the degree matrices with positive subdiagonal that occur for the general plane section of a non arithmetically Cohen-Macaulay curve of P^3, arise also as degree matrices of the general plane section of some smooth, integral, non arithmetically Cohen-Macaulay curve, and we characterize the exceptions. We give a necessary condition on the graded Betti numbers of the general hyperplane section of an arithmetically Buchsbaum, (non arithmetically Cohen-Macaulay) curve in P^n. For curves in P^3, we show that any set of Betti numbers that satisfies that condition, can be realised as the Betti numbers of the general plane section of an arithmetically Buchsbaum, non arithmetically Cohen-Macaulay curve. We also show that the matrices that arise as degree matrix of the general plane section of an arithmetically Buchsbaum, integral, (smooth) non arithmetically Cohen-Macaulay space curve are exactly those that arise as degree matrix of the general plane section of an arithmetically Buchsbaum, non arithmetically Cohen-Macaulay space curve and have positive subdiagonal. We also prove some bounds on the dimension of the deficiency module of an arithmetically Buchsbaum space curve, in terms of the degree matrix of the general plane section of the curve.


title: Dynamical zeta functions and Kummer congruences

abstract: We establish a connection between the coefficients of Artin-Mazur zeta-functions and Kummer congruences. This allows to settle positively the question of the existence of a map T such that the number of fixed points of the n-th iterate of T is equal to the absolute value of the 2n-th Euler number. Also we solve a problem of Gabcke related to the coefficients of Riemann-Siegel formula.


title: On Hausdorff dimension of some Cantor attractors

abstract: We study what happens with the dimension of Feigenbaum-like attractors of smooth unimodal maps as the order of the critical point grows


title: Topological and geometric properties of graph-manifolds

abstract: This is an exposition of results on the existence problem of $\pi_1$-injective immersed and embedded surfaces in graph-manifolds, and also of nonpositively curved metrics on graph-manifolds, obtained by different authors. The results are represented from a unified point of view based on the notion of compatible cohomological classes and some difference equation on the graph of a graph-manifold (BKN-equation). Criteria for seven different properties of graph-manifolds at three levels are given: at the level of compatible cohomological classes; at the level of solutions to the BKN-equation; in terms of spectral properties of operator invariants of a graph-manifold.


title: Harmonic maps and representations of non-uniform lattices of PU(m,1)

abstract: We study representations of lattices of PU(m,1) into PU(n,1). We show that if a representation is reductive and if m is at least 2, then there exists a finite energy harmonic equivariant map from complex hyperbolic m-space to complex hyperbolic n-space. This allows us to give a differential geometric proof of rigidity results obtained by M. Burger and A. Iozzi. We also define a new invariant associated to representations into PU(n,1) of non-uniform lattices in PU(1,1), and more generally of fundamental groups of orientable surfaces of finite topological type and negative Euler characteristic. We prove that this invariant is bounded by a constant depending only on the Euler characteristic of the surface and we give a complete characterization of representations with maximal invariant, thus generalizing the results of D. Toledo for uniform lattices.


title: A Generalized Balanced Pair Algorithm

abstract: We present here a more general version of the balanced pair algorithm. This version works in the reducible case and terminates more often than the standard algorithm. We present examples to illustrate this point. Lastly, we discuss the features which lead to balanced pair algorithms not terminating and state several conjectures.


title: The content of a Gaussian polynomial is invertible

abstract: Let R be an integral domain and let f(X) be a nonzero polynomial in R[X]. The content of f is the ideal c(f) generated by the coefficients of f. The polynomial f(X) is called Gaussian if c(fg)=c(f)c(g) for all g(X) in R[X]. It is well known that if c(f) is an invertible ideal, then f is Gaussian. In this note we prove the converse.


title: De Rham representations and universal norms

abstract: We compute the module of universal norms for a de Rham p-adic representation. The computation uses the theory of (phi,Gamma)-modules (Cherbonnier-Colmez's reciprocity formula) and the differential equation attached to a de Rham representation.


title: The Hopf condition for bilinear forms over arbitrary fields

abstract: We settle an old question about the existence of certain "sums-of-squares" formulas over a field F (which are the simplest examples of composition formulas for quadratic forms). A classical theorem says that if such a formula exists over a field of characteristic 0, then certain binomial coefficients must be even. We use motivic cohomology to prove that the same result holds in characteristic p.


title: Uniform embeddings of bounded geometry spaces into reflexive Banach space

abstract: We show that every metric space with bounded geometry uniformly embeds into an explicit reflexive Banach space (a direct sum of l^p spaces). In the case of discrete groups we show the analogue of a-T-menability. That is, we construct a metrically proper affine isometric action on this Banach space.


title: In and around the origin of quantum groups

abstract: Quantum groups were invented largely to provide solutions of the Yang-Baxter equation and hence solvable models in 2-dimensional statistical mechanics and one-dimensional quantum mechanics. They have been hugely successful. But not all Yang-Baxter solutions fit into the framework of quantum groups. We shall explain how other mathematical structures, especially subfactors, provide a language and examples for solvable models. The prevalence of the Connes tensor product of Hilbert spaces over von Neumann algebras leads us to speculate concerning its potential role in describing entangled or interacting quantum systems.


title: Geometric conditions which imply compactness of the $\bar{\partial}$-Neumann operator

abstract: For smooth bounded pseudoconvex domains in $mathbb{C}^{2}$, we provide geometric conditions on (the points of infinite type in) the boundary which imply compactness of the $\bar{\partial}$-Neumann operator. It is noteworthy that the proof of compactness does \emph{not} proceed via verifying the known potential theoretic sufficient conditions.


title: Ramanujan's "Lost Notebook" and the Virasoro Algebra

abstract: By using the theory of vertex operator algebras, we gave a new proof of the famous Ramanujan's modulus 5 modular equation from his "Lost Notebook" (p.139 in \cite{R}). Furthermore, we obtained an infinite list of $q$-identities for all odd moduli; thus, we generalized the result of Ramanujan.

categories: math.QA hep-th math-ph math.CO math.MP math.NT math.RT


title: Virasoro action on Schur function expansions, skew Young tableaux and random walks

abstract: It is known that some matrix integrals over U(n) satisfy an sl(2,R)-algebra of Virasoro constraints. Acting with these Virasoro generators on 2-dimensional Schur function expansions leads to difference relations on the coefficients of this expansions. These difference relations, set equal to zero, are precisely the backward and forward equations for non-intersecting random walks. The transition probabilities for these random walks appear as the coefficients of an expansion of U(n)-matrix integrals (of the type above), by inserting in the integral the product of two Schur polynomials associated with two partitions; the latter are specified by the initial and final positions of the non-intersecting random walk. An essential ingredient in this work is the generalization of the Murnaghan-Nakayama rule to the action of Virasoro on Schur polynomials.


title: Dynamical Yang-Baxter equations, quasi-Poisson homogeneous spaces, and quantization

abstract: This paper is a continuation of [KS]. We develop the results of [KS] principally in two directions. First, we generalize the main result of [KS], the connection between the solutions of the classical dynamical Yang-Baxter equation and Poisson homogeneous spaces of Poisson Lie groups. We hope that now we present this result in its natural generality. Secondly, we propose a partial quantization of the results of [KS]. [KS] E. Karolinsky and A. Stolin, Classical dynamical r-matrices, Poisson homogeneous spaces, and Lagrangian subalgebras, Lett. Math. Phys., 60 (2002), p.257-274; e-print math.QA/0110319.


title: A homotopy principle for maps with prescribed Thom-Boardman singularities

abstract: Let N and P be smooth manifolds of dimensions n and p (n>=p>=2). Let Omega^{I}(N,P) denote an open subspace of J(N,P) which consists of all Boardman submanifolds Sigma^{J}(N,P) with J=< I in the lexicographic order. We will prove the homotopy principle in the existence level for Omega^{I}(N,P).


title: J-holomorphic Disks and Lagrangian Squeezing

abstract: We define an invariant $l(M,W,\omega)$ for Lagrangian submanifold and prove that if the Lagrangian submanifold is embedded in the ball of radius $r_0$, then $l(M,W,\Omega)$ must be smaller than $4\pi t_0^2$. This improves Gromov's Lagrangian embedding theorem.


title: Necessary and Sufficient Conditions in the Spectral Theory of Jacobi Matrices and Schr\"odinger Operators

abstract: We announce three results in the theory of Jacobi matrices and Schr\"odinger operators. First, we give necessary and sufficient conditions for a measure to be the spectral measure of a Schr\"odinger operator $-\f{d^2}{dx^2} +V(x)$ on $L^2 (0,\infty)$ with $V\in L^2 (0,\infty)$ and $u(0)=0$ boundary condition. Second, we give necessary and sufficient conditions on the Jacobi parameters for the associated orthogonal polynomials to have Szeg\H{o} asymptotics. Finally, we provide necessary and sufficient conditions on a measure to be the spectral measure of a Jacobi matrix with exponential decay at a given rate.


title: Affine Weyl groups in K-theory and representation theory

abstract: We give an explicit combinatorial Chevalley-type formula for the equivariant K-theory of generalized flag varieties G/P which is a direct generalization of the classical Chevalley formula. Our formula implies a simple combinatorial model for the characters of the irreducible representations of G and, more generally, for the Demazure characters. This model can be viewed as a discrete counterpart of the Littelmann path model, and has several advantages. Our construction is given in terms of a certain R-matrix, that is, a collection of operators satisfying the Yang-Baxter equation. It reduces to combinatorics of decompositions in the affine Weyl group and enumeration of saturated chains in the Bruhat order on the (nonaffine) Weyl group. Our model easily implies several symmetries of the coefficients in the Chevalley-type formula. We also derive a simple formula for multiplying an arbitrary Schubert class by a divisor class, as well as a dual Chevalley-type formula. The paper contains other applications and examples.


title: The Noncommutative Chern-Connes Character of the Locally Compact Quantum Normalizer of SU(1,1) in SL(2,C)

abstract: We observe that the von Neumann envelope of the quantum algebra of functions on the normalizer of thegroup $\SU(1,1)\cong \SL(2,\mathbb R)$ in $\SL(2,\mathbb C)$ via deformation quantization contains the von Neumann algebraic quantum normalizer of $\SU(1,1)$ in the frame work of Waronowicz-Korogodsky. We then use the technique of reduction to the maximal subgroup to compute the K-theory, the periodic cyclic homology and the corresponding Chern-Connes character.


title: Flatness, preorders and general metric spaces

abstract: This paper studies a general notion of flatness in the enriched context: P-flatness where the parameter P stands for a class of presheaves. One obtains a completion of a category A by considering the category Flat_P(A) of P-flat presheaves over A. This completion is related to the free cocompletion of A under a class of colimits defined by Kelly. For a category A, for P = P0 the class of all presheaves, Flat_P0(A) is the Cauchy-completion of A. Two classes P1 and P2 of general interest for general metric spaces are considered. The P1- and P2-flatness are investigated and the associated completions are characterized for general metric spaces (enrichemnts over R+) and preorders (enrichments over Bool). We get this way two non-symmetric completions for metric spaces and retrieve the ideal completion for preorders.


title: Equations for some very special Enriques surfaces in characteristic two

abstract: We give an explicit construction and clasification of some very special sort of Enriques surfaces in characteristic two. This proves the existence of some of the surfaces that were called ``extra-special'' by Cossec and Dolgachev in their book on the subject, and whose existence was left open by them. These surfaces coincide with a class of surfaces that are introduced in recent work by Ekedahl and Shepherd--Barron.


title: Value-at-Risk and expected shortfall for linear portfolios with elliptically distributed risk factors

abstract: In this paper, we generalize the parametric delta-VaR method from portfolios with normally distributed risk factors to portfolios with elliptically distributed ones. We treat both the expected shortfall and the Value-at-Risk of such portfolios. Special attention is given to the particular case of a multivariate t-distribution.


title: Paires sym\'etriques orthogonales et Isomorphisme de Rouvi\`ere

abstract: We recover a recent result of A. Alekseev et E. Meinrenken (arXiv: math. RT/0308135) by using our theory of generalized Harish-Chandra homomorphism for symmetric pair.


title: Ennea-algebras

abstract: We propose a generalisation of a recent work of M. Aguiar and J.-L. Loday on Quadri-algebras, called Ennea-algebras. In this second version, this paper has been extended. We show that the augmented free Ennea-algebra is a connected Hopf algebra and construct explicit formal deformations of dendriform dialgebras, quari-algebras and ennea-algebras via Baxter operators.


title: The colored Jones function is q-holonomic

abstract: A function of several variables is called holonomic if, roughly speaking, it is determined from finitely many of its values via finitely many linear recursion relations with polynomial coefficients. Zeilberger was the first to notice that the abstract notion of holonomicity can be applied to verify, in a systematic and computerized way, combinatorial identities among special functions. Using a general state sum definition of the colored Jones function of a link in 3-space, we prove from first principles that the colored Jones function is a multisum of a q-proper-hypergeometric function, and thus it is q-holonomic. We demonstrate our results by computer calculations.


title: A lower bound for periods of matrices

abstract: For a nonsingular integer matrix A, we study the growth of the order of A modulo N. We say that a matrix is exceptional if it is diagonalizable, and a power of the matrix has all eigenvalues equal to powers of a single rational integer, or all eigenvalues are powers of a single unit in a real quadratic field. For exceptional matrices, it is easily seen that there are arbitrarily large values of N for which the order of A modulo N is logarithmically small. In contrast, we show that if the matrix is not exceptional, then the order of A modulo N goes to infinity faster than any constant multiple of log N.


title: A volume formula for generalized hyperbolic tetrahedra

abstract: A generalized hyperbolic tetrahedra is a polyhedron (possibly non-compact) with finite volume in hyperbolic space, obtained from a tetrahedron by the polar truncation at the vertices lying outside the space. In this paper it is proved that a volume formula for ordinary hyperbolic tetrahedra devised by J. Murakami and M. Yano can be applied to such ones. There are two key tools for the proof; one is so-called Schlafli's differential formula for hyperbolic polyhedra, and the other is a necessary and sufficient condition for given numbers to be the dihedral angles of a generalized hyperbolic simplex with respect to their dihedral angles.


title: Moduli spaces of curves with effective r-spin structures

abstract: We introduce the moduli stack of pointed curves equipped with effective $r$-spin structures: these are effective divisors $D$ such that $rD$ is a canonical divisor modified at marked points. We prove that this moduli space is smooth and compute its dimension. We also prove that it always contains a component that projects birationally to the locus $S^0$ in the moduli space of $r$-spin curves consisting of $r$-spin structures $L$ such that $h^0(L)\neq 0$. Finally, we study the relation between the locus $S^0$ and Witten's virtual top Chern class.


title: On Stein Neighborhood Basis of Real Surfaces

abstract: In this paper, we show that a compact real surface embedded in a complex surface has a regular Stein neighborhood basis, provided that there are only finitely many complex points on the surface, and that they are all flat and hyperbolic. An application to unions of totally real planes in $\CC^2$ is then given.


title: Real Surfaces in Elliptic Surfaces

abstract: We study the structure of complex points on real surfaces, embedded into complex Elliptic surfaces. We show, for example, that any compact surface has a totally real embedding into a blow-up of a K3 surface. We also exhibit smooth disc bundles over compact orientable surfaces that have a Stein structure as Stein domains inside Elliptic surfaces.


title: Maximal triangulations of a regular prism

abstract: In this paper, we resolve two conjectures of De Loera, Santos, and Takeuchi in the affirmative, computing the maximal size of any regular triangulation of the $n$-prism and $n$-antiprism.


title: Proofs On Arnold Chord Conjecture And Weinstein Conjecture In M\times C

abstract: We give new proofs on Arnold Chord Conjecture and Weinstein Conjecture in M\times C which generalizes the previous works.


title: Fast simulation of new coins from old

abstract: Let S\subset (0,1). Given a known function f:S\to (0,1), we consider the problem of using independent tosses of a coin with probability of heads p (where p\in S is unknown) to simulate a coin with probability of heads f(p). We prove that if S is a closed interval and f is real analytic on S, then f has a fast simulation on S (the number of p-coin tosses needed has exponential tails). Conversely, if a function f has a fast simulation on an open set, then it is real analytic on that set.


title: Dimension via Waiting time and Recurrence

abstract: Quantitative recurrence indicators are defined by measuring the first entrance time of the orbit of a point $x$ in a decreasing sequence of neighborhoods of another point $y$. It is proved that these recurrence indicators are a.e. greater or equal to the local dimension at $y$, then these recurrence indicators can be used to have a numerical upper bound on the local dimension of an invariant measure.


title: The 3x+1 problem: An annotated bibliography (1963--1999) (sorted by author)

abstract: The 3x+ 1 problem concerns iteration of the map on the integers given by T(n) = (3n+1)/2 if n is odd; T(n) = n/2 if n is even. The 3x+1 Conjecture asserts that for every positive integer n > 1 the forward orbit of n under iteration by T includes the integer 1. This paper is an annotated bibliography of work done on the 3x+1 problem and related problems from 1963 through 1999. At present the 3x+1 Conjecture remains unsolved.


title: The Computational Complexity of Rules for the Character Table of S_n

abstract: The Murnaghan-Nakayama rule is the classical formula for computing the character table of S_n. Y. Roichman has recently discovered a rule for the Kazhdan-Lusztig characters of q-Hecke algebras of type A, which can also be used for the character table of S_n. For each of the two rules, we give an algorithm for computing entries in the character table of S_n. We then analyze the computational complexity of the two algorithms, and in the case of characters indexed by partitions in the (k,l)-hook, compare their complexities to each other. It turns out that the algorithm based on the Murnaghan-Nakayama rule requires far less operations than the other algorithm. We note the algorithms' complexities' relation to two enumeration problems of Young diagrams and Young tableaux.


title: Guts of surfaces in punctured-torus bundles

abstract: Let M be a hyperbolic manifold of finite volume which fibers over the circle with fiber a once punctured torus, and let S be an arbitrary incompressible surface in M. We determine the characteristic JSJ-subpair of M-S and show, in particular, that the guts of (M,S) is empty.


title: Relative virtual localization and vanishing of tautological classes on moduli spaces of curves

abstract: We prove a localization formula for the moduli space of stable relative maps. As an application, we prove that all codimension i tautological classes on the moduli space of stable pointed curves vanish away from strata corresponding to curves with at least i-g+1 genus 0 components. (The proof of this result is quite short and naive.) As consequences, we prove and generalize various conjectures and theorems about various moduli spaces of curves (due to Getzler, Ionel, Faber, Looijenga, Pandharipande, Diaz, and others). This theorem appears to be the geometric content behind these results; the rest is straightforward graph combinatorics. The theorem also suggests the importance of the stratification of the moduli space by number of rational components.


title: Towards an Effectivisation of the Riemann Theorem

abstract: The Riemann Theorem states, that for any nontrivial connected and simply connected domain on the Riemann sphere there exists some its conformal bijection to the exterior of the unit disk. In this paper we find an explicit form of this map for a broad class of domains with analytic boundaries.


title: The orbifold Chow ring of toric Deligne-Mumford stacks

abstract: Generalizing toric varieties, we introduce toric Deligne-Mumford stacks which correspond to combinatorial data. The main result in this paper is an explicit calculation of the orbifold Chow ring of a toric Deligne-Mumford stack. As an application, we prove that the orbifold Chow ring of the toric Deligne-Mumford stack associated to a simplicial toric variety is a flat deformation of (but is not necessarily isomorphic to) the Chow ring of a crepant resolution.


title: Symplectic stability, analytic stability in non-algebraic complex geometry

abstract: We give a systematic presentation of the stability theory in the non-algebraic Kaehlerian geometry. We introduce the concept of "energy complete Hamiltonian action". To an energy complete Hamiltonian action of a reductive group G on a complex manifold one can associate a G-equivariant maximal weight function and prove a Hilbert criterion for semistability. In other words, for such actions, the symplectic semistability and analytic semistability conditions are equivalent.


title: On the sign-imbalance of partition shapes

abstract: Let the sign of a standard Young tableau be the sign of the permutation you get by reading it row by row from left to right, like a book. A conjecture by Richard Stanley says that the sum of the signs of all SYTs with n squares is 2^[n/2]. We present a stronger theorem with a purely combinatorial proof using the Robinson-Schensted correspondence and a new concept called chess tableaux. We also prove a sharpening of another conjecture by Stanley concerning weighted sums of squares of sign-imbalances. The proof is built on a remarkably simple relation between the sign of a permutation and the signs of its RS-corresponding tableaux.


title: Powers of the Euler product and commutative subalgebras of a complex simple Lie algebra

abstract: If $\frak g$ is a complex simple Lie algebra, and $k$ does not exceed the dual Coxeter number of $\frak g$, then the k$^{th}$ coefficient of the $dim \frak g$ power of the Euler product may be given by the dimension of a subspace of $\wedge^k\frak g$ defined by all abelian subalgebras of $\frak g$ of dimension $k$. This has implications for all the coefficients of all the powers of the Euler product. Involved in the main results are Dale Peterson's $2^{rank}$ theorem on the number of abelian ideals in a Borel subalgebra of $\frak g$, an element of type $\rho$ and my heat kernel formulation of Macdonald's $\eta$-function theorem, a set $D_{alcove}$ of special highest weights parameterized by all the alcoves in a Weyl chamber (generalizing Young diagrams of null $m$-core when $\frak g= Lie Sl(m,\Bbb C)$), and the homology and cohomology of the nil radical of the standard maximal parabolic subalgebra of the affine Kac-Moody Lie algebra.


title: Maximal and inextensible polynomials and the geometry of the spectra of normal operators

abstract: We consider the set S(n,0) of monic complex polynomials of degree $n\ge 2$ having all their zeros in the closed unit disk and vanishing at 0. For $p\in S(n,0)$ we let $|p|_{0}$ denote the distance from the origin to the zero set of $p'$. We determine all 0-maximal polynomials of degree $n$, that is, all polynomials $p\in S(n,0)$ such that $|p|_{0}\ge |q|_{0}$ for any $q\in S(n,0)$. Using a second order variational method we then show that although some of these polynomials are inextensible, they are not necessarily locally maximal for Sendov's conjecture. This invalidates the recently claimed proofs of the conjectures of Sendov and Smale and shows that the method used in these proofs can only lead to (already known) partial results. In the second part of the paper we obtain a characterization of the critical points of a complex polynomial by means of multivariate majorization relations. We also propose an operator theoretical approach to Sendov's conjecture, which we formulate in terms of the spectral variation of a normal operator and its compression to the orthogonal complement of a trace vector. Using a theorem of Gauss-Lucas type for normal operators, we relate the problem of locating the critical points of complex polynomials to the more general problem of describing the relationships between the spectra of normal matrices and the spectra of their principal submatrices.


title: Connections for general group actions

abstract: Partial connections are (singular) differential systems generalizing classical connections on principal bundles, yielding analogous decompositions for manifolds with nonfree group actions. Connection forms are interpreted as maps determining projections of the tangent bundle onto the partial connection; this approach eliminates many of the complications arising from the presence of isotropy. A connection form taking values in the dual of the Lie algebra is smooth even at singular points of the action, while analogs of the classical algebra-valued connection form are necessarily discontinuous at such points. The curvature of a partial connection form can be defined under mild technical hypotheses; the interpretation of curvature as a measure of the lack of involutivity of the (partial) connection carries over to this general setting.


title: Extremal Reversible Measures for the Exclusion Process

abstract: We give a characterization of the invariant measures for the exclusion process on the integers with certain reversible transition kernels. Some examples include all nearest-neighbor kernels with asymptotic mean zero. One tool used is a necessary and sufficient condition for reversible measures to be extremal in the set of all invariant measures which is an interesting result in its own right.


title: Rank-One Decomposition of Operators and Construction of Frames

abstract: The construction of frames for a Hilbert space H can be equated to the decomposition of the frame operator as a sum of positive operators having rank one. This realization provides a different approach to questions regarding frames with particular properties and motivates our results. We find a necessary and sufficient condition under which any positive finite-rank operator B can be expressed as a sum of rank-one operators with norms specified by a sequence of positive numbers {c_i}. Equivalently, this result proves the existence of a frame with B as it's frame operator and with vector norms given by the square roots of the sequence elements. We further prove that, given a non-compact positive operator B on an infinite dimensional separable real or complex Hilbert space, and given an infinite sequence {c_i} of positive real numbers which has infinite sum and which has supremum strictly less than the essential norm of B, there is a sequence of rank-one positive operators, with norms given by {c_i}, which sum to B in the strong operator topology. These results generalize results by Casazza, Kovacevic, Leon, and Tremain, in which the operator is a scalar multiple of the identity operator (or equivalently the frame is a tight frame), and also results by Dykema, Freeman, Kornelson, Larson, Ordower, and Weber in which {c_i} is a constant sequence.


title: Perturbations of the Symmetric Exclusion Process

abstract: For the exclusion process with symmetric kernel p(x,y)=p(y,x), the set of invariant measures has been completely studied. This paper gives results concerning the invariant measures for exclusion processes where p(x,y)=p(y,x) except for finitely many (x,y).


title: Finitely labeled generating trees and restricted permutations

abstract: Generating trees are a useful technique in the enumeration of various combinatorial objects, particularly restricted permutations. Quite often the generating tree for the set of permutations avoiding a set of patterns requires infinitely many labels. Sometimes, however, this generating tree needs only finitely many labels. We characterize the finite sets of patterns for which this phenomenon occurs. We also present an algorithm - in fact, a special case of an algorithm of Zeilberger - that is guaranteed to find such a generating tree if it exists.


title: Deformations of Calabi-Yau hypersurfaces arising from deformations of toric varieties

abstract: There are easy "polynomial" deformations of Calabi-Yau hypersurfaces in toric varieties performed by changing the coefficients of the defining polynomial of the hypersurface. In this paper, we explicitly constructed the ``non-polynomial'' deformations of Calabi-Yau hypersurfaces, which arise from deformations of the ambient toric variety.


title: Embedding of Calabi-Yau deformations into toric varieties

abstract: We show that "non-polynomial" deformations of semiample (minimal) nondegenerate Calabi-Yau hypersurfaces in complete simplicial toric varieties can be realized as quasismooth complete intersections in higher dimensional simplicial toric varieties.


title: Extensions of the well-poised and elliptic well-poised Bailey lemma

abstract: We establish a number of extensions of the well-poised Bailey lemma and elliptic well-poised Bailey lemma. As application we prove some new transformation formulae for basic and elliptic hypergeometric series, and embed some recent identities of Andrews, Berkovich and Spiridonov in a well-poised Bailey tree.


title: Summation formulae for elliptic hypergeometric series

abstract: Several new identities for elliptic hypergeometric series are proved. Remarkably, some of these are elliptic analogues of identities for basic hypergeometric series that are balanced but not very-well-poised.