title: A Proof that Euler's Constant Gamma is an Irrational Number

abstract: The attributes of Euler's constant Gamma have been a baffling problem to the world's mathematicians in the number theory field. In 1900, when German mathematician D. Hilbert addressed the 2nd International Congress of Mathematicians, he suggested twenty-three previously unsolved problems to the international mathematical field. The 7th of these problems pertained to Euler's constant Gamma. After investigating this problem for many years, the author has proved that Euler's constant Gamma is an irrational number.


title: Restriction of sections of abelian schemes

abstract: We prove the following result: Let B be a smooth, irreducible, quasi-projective variety over the complex numbers and assume that B has a projective compactification \bar{B} such that \bar{B} - B is of codimension at least two in \bar{B}. Then there exists a family of smooth ireducible curves {C_q}_{q \in Q} in B parametrised by an irreducible variety Q such that if p: A \to B is an abelian scheme and q \in Q is a generic point, then the restriction map on sections A(B) \to A(C_q) is an isomorphism. This answers, in a special case, a question of Graber, Harris, Mazur and Starr.


title: Some Results About Reverses of Cauchy-Schwarz Inequality in Inner Product Spaces

abstract: Some new reverses of the Cauchy-Schwarz inequality in inner product spaces are presented in this paper.The results obtained here complement the recent work of the references.


title: On the universal property of Pimsner-Toeplitz C*-algebras and their continuous analogues

abstract: We consider C*-algebras generated by a single Hilbert bimodule (Pimsner-Toeplitz algebras) and by a product systems of Hilbert bimodules. We give a new proof of a theorem of Pimsner, which states that any representation of the generating bimodule gives rise to a representation of the Pimsner-Toeplitz algebra. Our proof does not make use of the conditional expectation onto the subalgebra invariant under the dual action of the circle group. We then prove the analogous statement for the case of product systems, generalizing a theorem of Arveson from the case of product systems of Hilbert spaces.


title: Hodge Integrals and Integrable Hierarchies

abstract: We show that the generating series of some Hodge integrals involving one or two partitions are tau-functions of the KP hierarchy or the 2-Toda hierarchy respectively. We also formulate a conjecture on the connection between relative invariants and integrable hierarchies. The conjecture is verified in some examples.


title: Idempotents on the big phase space

abstract: In this paper we study vector fields on the big phase space of Gromov-Witten theory which are idempotents of the quantum product. Such vector fields can be used to simplify universal equations for higher genus Gromov-Witten invariants.


title: Genus-2 Gromov-Witten invariants for manifolds with semisimple quantum cohomology

abstract: In this paper, we give a simple formula for the generating function of genus-2 Gromov-Witten invariants for manifolds with semisimple quantum cohomology, and use this formula to prove the genus-2 Virasoro conjecture for such manifolds.


title: Packing 4-cycles in Eulerian and bipartite Eulerian tournaments with an application to distances in interchange graphs

abstract: We prove that every Eulerian orientation of $K_{m,n}$ contains $\frac{1}{4+\sqrt{8}}mn(1-o(1))$ arc-disjoint directed 4-cycles, improving earlier lower bounds. Combined with a probabilistic argument, this result is used to prove that every regular tournament with $n$ vertices contains $\frac{1}{8+\sqrt{32}}n^2(1-o(1))$ arc-disjoint directed 4-cycles. The result is also used to provide an upper bound for the distance between two antipodal vertices in interchange graphs.


title: Claims On Primorial Primes

abstract: I give some claims on primorial prime numbers for interested readers in number theory.


title: Unilateral Small Deviations for the Integral of Fractional Brownian Motion

abstract: We consider the paths of a Gaussian random process $x(t)$, $x(0)=0$ not exceeding a fixed positive level over a large time interval $(0,T)$, $T\gg 1$. The probability $p(T)$ of such event is frequently a regularly varying function at $\infty$ with exponent $\theta$. In applications this parameter can provide information on fractal properties of processes that are subordinate to $x(\cdot)$. For this reason the estimation of $\theta$ is an important theoretical problem. Here, we consider the process $x(t)$ whose derivative is fractional Brownian motion with self-similarity parameter $0<H<1$. For this case we produce new computational evidence in favor of the relations $\log p(T)=-\theta \log T(1+o(1))$ and $\theta =H(1-H)$. The estimates of $\theta$ are to within 0.01 in the range $0.1\le H\le 0.9$. An analytical result for the problem in hand is known for the markovian case alone, i.e., for $H=1/2$. We point out other statistics of $x(t)$ whose small values have probabilities of the same order as $p(T)$ in the $\log$ scale.


title: Homological mirror symmetry for the quartic surface

abstract: This proves Kontsevich's mirror conjecture for (on the symplectic side) a quartic surface in P^3.


title: Para-Hermitian and Para-Quaternionic manifolds

abstract: A set of canonical parahermitian connections on an almost paraHermitian manifold is defined. ParaHermitian version of the Apostolov-Gauduchon generalization of the Goldberg-Sachs theorem in General Relativity is given. It is proved that the Nijenhuis tensor of a Nearly paraK\"ahler manifolds is parallel with respect to the canonical connection. Salamon's twistor construction on quaternionic manifold is adapted to the paraquaternionic case. A hyper-paracomplex structure is constructed on Kodaira-Thurston (properly elliptic) surfaces as well as on the Inoe surfaces modeled on $Sol^4_1$. A locally conformally flat hyper-paraK\"ahler (hypersymplectic) structure with parallel Lee form on Kodaira-Thurston surfaces is obtained. Anti-self-dual non-Weyl flat neutral metric on Inoe surfaces modeled on $Sol^4_1$ is presented. An example of anti-self-dual neutral metric which is not locally conformally hyper-paraK\"ahler is constructed.


title: Every AF-algebra is Morita equivalent to a graph algebra

abstract: We show how to modify any Bratteli diagram $E$ for an AF-algebra $A$ to obtain a Bratteli diagram $KE$ for $A$ whose graph algebra $C^*(KE)$ contains both $A$ and $C^*(E)$ as full corners.


title: Sur la dynamique p-adique arithm\'etique des automorphismes de l'espace affine

abstract: We show that the set of periods of an automorphism of the affine plane defined over a $p$-adic field is bounded above by a constant independent from the automorphism. We deduce from this result a new proof in arithmetic dynamics of the Silverman's conjecture in dimension 2.


title: Local monodromy in non-archimedean analytic geometry -- fifth release

abstract: We study the topology of the punctured disc defined over a non-archimedean field of characteristic zero. Chapter two includes a new proof of the so-called p-adic Riemann existence theorem. This release completes the study of breaks and break decompositions of the monodromy representation of a sheaf around the origin of the punctured disc.


title: On the solutions of deformed algebraic systems

abstract: A problem concerning the shift of roots of a system of homogeneous algebraic equations is investigated. Its conservation and decomposition of a multiple root into simple roots are discussed.


title: Tangling and Braiding the Chessboard Complex

abstract: We describe a series of complexes that relate to the braid groups as the matching complexes relate to the symmetric groups. A modified construction applies as well to other complexes based on edge sets in graphs. We show that our constructions will yield Cohen-Macauley complexes provided the underlying complexes are Cohen-Macauley. Finally, we discuss a related series of complexes to provide some positive evidence that the braided Houghton groups, introduced by F. Degenhardt, are a series of groups with linearly increasing finiteness length as are the (unbraided) Houghton groups.


title: Representations of Group Algebras in Spaces of Completely Bounded Maps

abstract: Let G be a locally compact group, M(G) denote its measure algebra and L^1(G) denote its group algebra. Also, let pi:G->U(H) be a strongly continuous unitary representation, and let CB^{sigma}(B(H)) be the space of normal completely bounded maps on B(H). We study the range of the map Gamma_pi:M(G)->CB^sigma(B(H)), Gamma_pi(mu)= int_G pi(s)\otimes pi(s)^*dmu(s) where we identify CB^sigma(B(H)) with the extended Haagerup tensor product B(H)\otimes^{eh}B(H)$. We use the fact that the C*-algebra generated by integrating pi to L^1(G) is unital exactly when pi is norm continuous to show that Gamma_pi(L^1(G))\subset B(H)\otimes^{eh}B(H) exactly when pi is norm continuous. For the case that G is abelian, we study Gamma_pi(M(G)) as a subset of the Varopoulos algebra. We also characterise positive definite elements of the Varopoulos algebra in terms of completely positive operators.


title: Measures of Weak Compactness and Fixed Point Theory

abstract: In this paper, we study a class of Banach spaces, called \phi-spaces. In a natural way, we associate a measure of weak compactness in such spaces and prove an analogue of Sadovskii fixed point theorem for weakly sequentially continuous maps. A counter-example is given to justify our requirement. As an application, we establish an existence result for a Hammerstein integral equation in a Banach space.


title: Acyclic Digraphs and Eigenvalues of (0,1)-Matrices

abstract: We show that the number of acyclic directed graphs with n labeled vertices is equal to the number of n X n (0,1)-matrices whose eigenvalues are positive real numbers.


title: A Combinatorial Formula for the Character of the Diagonal Coinvariants

abstract: Let R_n be the ring of coinvariants for the diagonal action of the symmetric group S_n. It is known that the character of R_n as a doubly-graded S_n module can be expressed using the Frobenius characteristic map as \nabla e_n, where e_n is the n-th elementary symmetric function, and \nabla is an operator from the theory of Macdonald polynomials. We conjecture a combinatorial formula for \nabla e_n and prove that it has many desirable properties which support our conjecture. In particular, we prove that our formula is a symmetric function (which is not obvious) and that it is Schur positive. These results make use of the theory of ribbon tableau generating functions of Lascoux, Leclerc and Thibon. We also show that a variety of earlier conjectures and theorems on \nabla e_n are special cases of our conjecture. Finally, we extend our conjectures on \nabla e_n and several of the results supporting them to higher powers \nabla^m e_n.


title: Fusion rules for the vertex operator algebras M(1)^+ and V_L^+

abstract: The fusion rules for the vertex operator algebras M(1)^+ (of any rank) and V_L^+ (for any positive definite even lattice L) are determined completely.


title: Untwisting Heegaard diagrams in 3-space

abstract: We show that if $V^3$ is a handlebody in $\R^3$, with curves $J_1, ..., J_g \subset \partial V$ which are the attaching curves for a Heegaard splitting of a homology sphere, then there exists a homeomorphism $h\colon V \to V$ so that each of the curves $h(J_i)$ bounds an orientable surface in $\R^3 - int(V)$. This leads to a new characterization of homology spheres and also contradicts a remark of Haken (in 1969) regarding the Poincar\'e homology sphere.


title: Anomalous Diffusion with Periodical Initial Conditions on Interval with Reflecting Edges

abstract: Uchaikin suggested a mathematical model of an anomalous diffusion in a space was suggested. This model origins in an investigation of processes in complex systems with variable structure: glasses, liquid crystals, biopolymers, proteins and etc. In this model a coordinate of a particle has stable distribution (not normal one). As a result a density of its distribution function satisfies an analog of diffusion equation in which second derivative by coordinate is replaced by partial derivative. In this paper the anomalous diffusion with periodic initial conditions on an interval with reflecting edges is considered. Such problem is important for example in technical mechanics for an analysis of fuel mixing in straight flow engine too. As A.A. Borovkov suggested special probability methods are developed to analyze such a diffusion.


title: Generalized Path Algebras and Pointed Hopf Algebras

abstract: Most of pointed Hopf algebras of dimension $p^m$ with large coradical are shown to be generalized path algebras. By the theory of generalized path algebras it is obtained that the representations, homological dimensions and radicals of these Hopf algebras. The relations between the radicals of path algebras and connectivity of directed graphs are given.


title: The Classification of Rank 4 Locally Projective Polytopes and Their Quotients

abstract: This article announces the completion of the classification of rank 4 locally projective polytopes and their quotients. There are seventeen universal locally projective polytopes (nine nondegenerate). Amongst their 441 quotients are a further four (nonuniversal) regular polytopes, and 152 nonregular but section regular polytopes. All 156 of the latter have hemidodecahedral facets or hemi-icosahedral vertex figures. It is noted that, remarkably, every rank 4 locally projective section regular polytope is finite. The article gives a survey of the literature of locally projective polytopes and their quotients, and fills one small gap in the classification in rank 4.


title: Higher level affine crystals and Young walls

abstract: Using combinatorics of Young walls, we give a new realization of arbitrary level irreducible highest weight crystals $\mathcal{B}(\lambda)$ for quantum affine algebras of type $A_n^{(1)}$, $B_n^{(1)}$, $C_n^{(1)}$, $A_{2n-1}^{(2)}$, $A_{2n}^{(2)}$, and $D_{n+1}^{(2)}$. The irreducible highest weight crystals are realized as the affine crystals consisting of reduced proper Young walls. The notion of slices and splitting of blocks plays a crucial role in the constructions of crystal graphs.


title: Global Euler obstruction and polar invariants

abstract: For an affine complex algebraic singular space Y, we define a global Euler obstruction Eu(Y) which extends the Euler-Poincare characteristic of a nonsingular Y. Using Lefschetz pencils, we express Eu(Y) as alternating sum of global polar invariants.


title: Integral Geometry and Hamiltonian volume minimizing property of a totally geodesic Lagrangian torus in S^2 times S^2

abstract: We prove that the product of equators $S^{1} \times S^{1}$ in $S^{2} \times S^{2}$ is globally volume minimizing under Hamiltonian deformations.


title: Zero-infinity laws in Diophantine approximation

abstract: It is shown that for any translation invariant outer measure M, the M-measure of the intersection of any subset of R^n that is invariant under rational translations and which does not have full Lebesgue measure with an the closure of an open set of positive measure cannot be positive and finite. Analogues for $p$-adic fields and fields of formal power series over a finite field are established. The results are applied to some problems in metric Diophantine approximation.


title: G\'eom\'etrie, points rationnels et it\'er\'es des automorphismes de l'espace affine

abstract: We study over a number field, the iterates of automorphisms of the affine space. More precisely, we are interested in the periodic and non-periodic points; for the former the questions are similar to the ones about torsion points on abelian varieties, for the latter the questions are similar to the problems on counting rational points on varieties. In order to study this problem, we define geometric invariants, which are defined thanks to the cone of divisors associated to some varieties constructed from the automorphisms. We study, in all dimension, these invariants and bound them above for one of them we obtain a bound depending on the dynamical degree, this bound is reach by some automorphisms, in particular this bound is optimal. For an other invariant, we obtain in all dimension, thanks to a geometrical construction and under some geometric conditions, a better bound.


title: Waiting for a bat to fly by (in polynomial time)

abstract: We observe returns of a simple random walk on a finite graph to a fixed node, and would like to infer properties of the graph, in particular properties of the spectrum of the transition matrix. This is not possible in general, but at least the eigenvalues can be recovered under fairly general conditions, e.g. when the graph has a node-transitive automorphism group. The main result is that by observing polynomially many returns, it is possible to estimate the spectral gap of such a graph up to a constant factor.


title: Transformations of some Gauss hypergeometric functions

abstract: This paper presents explicit algebraic transformations of some Gauss hypergeometric functions. Specifically, the transformations considered apply to hypergeometric solutions of hypergeometric differential equations with the local exponent differences $1/K,1/L,1/M$ such that $K,L,M$ are positive integers and $1/K+1/L+1/M<1$. All algebraic transformations of these Gauss hypergeometric functions are considered. We show that apart from classical transformations of degree 2, 3, 4, 6 there are several other transformations of degree 6, 8, 9, 10, 12, 18, 24. Besides, we present an algorithm to compute relevant Belyi functions explicitly.


title: On the geometry of reduced cotangent bundles at zero momentum

abstract: We consider the problem of cotangent bundle reduction for non free group actions at zero momentum. We show that in this context the symplectic stratification obtained by Sjamaar and Lerman refines in two ways: (i) each symplectic stratum admits a stratification which we call the secondary stratification with two distinct types of pieces, one of which is open and dense and symplectomorphic to a cotangent bundle; (ii) the reduced space at zero momentum admits a finer stratification than the symplectic one into pieces that are coisotropic in their respective symplectic strata.


title: Ultrafilters with property (s)

abstract: A set X which is a subset of the Cantor set has property (s) (Marczewski (Spzilrajn)) iff for every perfect set P there exists a perfect set Q contained in P such that Q is a subset of X or Q is disjoint from X. Suppose U is a nonprincipal ultrafilter on omega. It is not difficult to see that if U is preserved by Sacks forcing, i.e., it generates an ultrafilter in the generic extension after forcing with the partial order of perfect sets, then U has property (s) in the ground model. It is known that selective ultrafilters or even P-points are preserved by Sacks forcing. On the other hand (answering a question raised by Hrusak) we show that assuming CH (or more generally MA for ctble posets) there exists an ultrafilter U with property (s) such that U does not generate an ultrafilter in any extension which adds a new subset of omega. http://www.math.wisc.edu/~miller/res/index.html miller@math.wisc.edu


title: Eigenforms of the Laplacian for Riemannian V-submersions

abstract: Let p: Z -> Y be a Riemannian V-submersion of compact V-manifolds. We study when the pull-back of an eigenform of the Laplacian on Y is an eigenform of the Laplacian on Z, and when the associated eigenvalue can change.


title: On Valiron's Theorem

abstract: This is a survey on Valiron's Theorem about the convergence properties of orbits of analytic self-maps of the disk of hyperbolic type and related questions in one and several variables.


title: On the Deligne-Simpson problem and its weak version

abstract: We consider the {\em Deligne-Simpson problem (DSP) (resp. the weak DSP): Give necessary and sufficient conditions upon the choice of the $p+1$ conjugacy classes $c_j\subset gl(n,{\bf C})$ or $C_j\subset GL(n,{\bf C})$ so that there exist irreducible $(p+1)$-tuples (resp. $(p+1)$-tuples with trivial centralizers) of matrices $A_j\in c_j$ with zero sum or of matrices $M_j\in C_j$ whose product is $I$.} The matrices $A_j$ (resp. $M_j$) are interpreted as matrices-residua of Fuchsian linear systems (resp. as monodromy matrices of regular linear systems) of differential equations with complex time. In the paper we give sufficient conditions for solvability of the DSP in the case when one of the matrices is with distinct eigenvalues.


title: Witten's conjecture and Virasoro conjecture for genus up to two

abstract: This is an expository paper based on the results in [12] and [16]. The main goal is to prove the following two conjectures for genus up to two. (1) Witten's conjecture on the relations between higher spin curves and Gelfand-Dickey Hierarchies. (2) Virasoro conjecture for conformal semisimple Frobenius manifolds.


title: The functional formulation of second-order ordinary differential equations

abstract: In this paper, the necessary and sufficient conditions in order that a smooth mapping F be a dependence of a complete solution of some second-order ordinary differential equation on Neumann conditions are deduced. These necessary and sufficient conditions consist of functional equations for F and of a smooth extensibility condition. Illustrative examples are presented to demonstrate this result. In these examples, the mentioned functional equations for F are related to the functional equations for geodesics, to Jensen's equation, to the functional equations for conic sections and to Neuman's result for linear ordinary differential equations.


title: A Constructive Proof of Ky Fan's Generalization of Tucker's Lemma

abstract: We present a constructive proof of Ky Fan's combinatorial lemma concerning labellings of triangulated spheres. Our construction works for triangulations of $S^n$ that contain a flag of hemispheres. As a consequence, we produce a constructive proof of Tucker's lemma that holds for a larger class of triangulations than previous constructive proofs.


title: Dirac structures, moment maps and quasi-Poisson manifolds

abstract: We extend the correspondence between Poisson maps and actions of symplectic groupoids, which generalizes the one between momentum maps and hamiltonian actions, to the realm of Dirac geometry. As an example, we show how hamiltonian quasi-Poisson manifolds fit into this framework by constructing an ``inversion'' procedure relating quasi-Poisson bivectors to twisted Dirac structures.


title: Varieties with Degenerate Gauss Maps with Multiple Foci and Twisted Cones

abstract: The authors study in detail new types of varieties with degenerate Gauss maps: varieties with multiple foci and their particular case, the so-called twisted cones. They prove an existence theorem for twisted cones and describe their structure.


title: Maximum rank webs are not necessarily almost Grassmannizable

abstract: We present an example of a 6-web W (6, 3, 2) of codimension two and of maximum rank on a six-dimensional manifold which is not almost Grassmannizable.


title: Cycles and Commutative Algebra

abstract: We describe several applications of the theory of cycles to questions in Commutative Algebra. The main topic is the use of the theory of local Chern characters to answer some questions on modules of finite homological dimension. This paper is based on talks given at the conference on cycles in Morelia, Mexico in June 2003.


title: Solving the quartic with a pencil

abstract: This expository paper presents the general solution of a quartic equation as a jump off point to introduce Lefschetz fibrations. It should be accessible to a broad audience.


title: The Gromov invariant and the Donaldson-Smith standard surface count

abstract: Simon Donaldson and Ivan Smith recently studied symplectic surfaces in symplectic 4-manifolds X by introducing an invariant DS associated to any Lefschetz fibration on blowups of X which counts holomorphic sections of a relative Hilbert scheme that is constructed from the fibration. Smith has shown that DS satisfies a duality relation identical to that satisfied by the Gromov invariant Gr introduced by Clifford Taubes, which led Smith to conjecture that DS=Gr provided that the fibration has high enough degree. This paper proves that conjecture. The crucial technical ingredient is an argument which allows us to work with curves C in the blown-up 4-manifold that are made holomorphic by an almost complex structure which is integrable near C and with respect to which the fibration is a pseudoholomorphic map.


title: On the integrability conditions for some structures related to evolution differential equations

abstract: Using the result by D.Gessler (Differential Geom. Appl. 7 (1997) 303-324, DIPS-9/98, http://diffiety.ac.ru/preprint/98/09_98abs.htm), we show that any invariant variational bivector (resp., variational 2-form) on an evolution equation with nondegenerate right-hand side is Hamiltonian (resp., symplectic).

categories: math.DG hep-th math-ph math.AP math.MP nlin.SI


title: Dilation of a class of quantum dynamical semigroups with unbounded generator on UHF algebras

abstract: Evans-Hudson flows are constructed for a class of quantum dynamical semigroups with unbounded generator on UHF algebras, which appeared in \cite{Ma}. It is shown that these flows are unital and covariant. Ergodicity of the flows for the semigroups associated with partial states is also discussed.


title: Inequalities related to free entropy derived from random matrix approximation

abstract: Biane proved the free analog of the logarithmic Sobolev inequality for probability measures on the real line by means of random matrix approximation procedure. We show that the same method can be applied to reprove Biane and Voiculescu's free analog of Talagrand's transportation cost inequality for measures on the real line. Furthermore, we prove the free analogs of the logarithmic Sobolev inequality and the transportation cost inequality for measures on 1-dimensional torus as well by extending the method to special unitary random matrices.


title: Sur des invariants g\'eom\'etriques associ\'es aux automorphismes du plan affine

abstract: We associate to each automorphism of the plane, a geometric construction with some properties, it is the {\it{canonical resolution}}. We study the geometry of the canonical resolution, we deduce from it an upper bound for a geometric invariant (the ample index) linked to an automorphism of the affine plane and we link the structure of the effective cone of the surface we get to values of another geometric invariant (the effective index).


title: Second order tangent bundles of infinite dimensional manifolds

abstract: The second order tangent bundle $T^{2}M$ of a smooth manifold $M$ consists of the equivalent classes of curves on $M$ that agree up to their acceleration. It is known that in the case of a finite $n$-dimensional manifold $M$, $T^{2}M$ becomes a vector bundle over $M$ if and only if $M$ is endowed with a linear connection. Here we extend this result to $M$ modeled on an arbitrarily chosen Banach space and more generally to those Fr\'{e}chet manifolds which can be obtained as projective limits of Banach manifolds. The result may have application in the study of infinite-dimensional dynamical systems.


title: A simplicial model for the Hopf map

abstract: We give an explicit simplicial model for the Hopf map S^3 -> S^2. For this purpose, we construct a model of S^3 as a principal twisted cartesian product K x_{eta} S^2, where K is a simplicial model for S^1 acting by left multiplication on itself, S^2 is given the simplest simplicial model and the twisting map is eta:(S^2)_n -> (K)_{n-1}. We construct a Kan complex for the simplicial model K of S^1. The simplicial model for the Hopf map is then the projection K x_{eta} S^2 -> S^2.


title: Rank t H-primes in quantum matrices

abstract: Let K be a (commutative) field and consider a nonzero element q in K which is not a root of unity. Goodearl and Lenagan have shown that the number of H-primes in the algebra R of m times p quantum matrices which contain all (t+1) times (t+1) quantum minors but not all t times t quantum minors is a perfect square. The aim of this paper is to make precise their result: we prove that this number is equal to (t!)^2 S(n+1,t+1)^2, where S(n+1,t+1) denotes the Stirling number of second kind associated to n+1 and t+1. This result was conjectured by Goodearl, Lenagan and McCammond. The proof involves some closed formulas for the poly-Bernoulli numbers that were established by Arakawa-Kaneko and Kaneko.


title: A new criterion for knots with free periods

abstract: Let $p\geq 2$ and $q\neq 0$ an integer. A knot $K$ in the three-sphere is said to be a $(p,q)$-lens knot if and only if it covers a link in the lens space $L(p,q)$. In this paper, we use the second coefficient of the HOMFLY polynomial to provide a necessary condition for a knot to be a $(p,q)$-lens knot. As an application, it is shown that this criterion rules out the possibility of being $(5,1)$-lens for 80 among the 84 knots with less than 9 crossings.


title: Quantum invariants and finite group actions on three-manifolds

abstract: A 3-manifold $M$ is said to be $p$-periodic ($p\geq 2$ an integer) if and only if the finite cyclic group of order $p$ acts on $M$ with a circle as the set of fixed points. This paper provides a criterion for periodicity of rational homology three-spheres. Namely, we give a necessary condition for a rational homology three-sphere to be periodic with a prime period. This condition is given in terms of the quantum SU(3) invariant. We also discuss similar results for the Murakami-Ohtsuki-Okada invariant.


title: Singularities of special Lagrangian submanifolds

abstract: We survey what is known about singularities of special Lagrangian submanifolds (SL m-folds) in (almost) Calabi-Yau manifolds. The bulk of the paper summarizes the author's five papers math.DG/0211294, math.DG/0211295, math.DG/0302355, math.DG/0302356, math.DG/0303272 on SL m-folds X with isolated conical singularities. That is, near each singular point x, X is modelled on an SL cone C in C^m with isolated singularity at 0. We also discuss directions for future research, and give a list of open problems.


title: A uniformly distributed parameter on a class of lattice paths

abstract: Let G_n denote the set of lattice paths from (0,0) to (n,n) with steps of the form (i,j) where i and j are nonnegative integers, not both 0. Let D_n denote the set of paths in G_n with steps restricted to (1,0), (0,1), (1,1), so-called Delannoy paths. Stanley has shown that | G_n | = 2^(n-1) | D_n | and Sulanke has given a bijective proof. Here we give a simple parameter on G_n that is uniformly distributed over the 2^(n-1) subsets of [n-1] = {1,2,...,n-1} and takes the value [n-1] precisely on the Delannoy paths.


title: Hypersymplectic four-dimensional Lie algebras

abstract: A study is made of real Lie algebras admitting a hypersymplectic structure, and we provide a method to construct such hypersymplectic Lie algebras. We use this method in order to obtain the classification of all hypersymplectic structures on four-dimensional Lie algebras, and we describe the associated metrics on the corresponding Lie groups.


title: On Clifford's theorem for rank-3 bundles

abstract: In this paper we obtain bounds on $h^0(E)$ where $E$ is a semistable bundle of rank 3 over a smooth irreducible projective curve $X$ of genus $g \geq 2$ defined over an algebraically closed field of characteristic 0. These bounds are expressed in terms of the degrees of stability $s_1(E), s_2(E)$. We show also that in some cases the bounds are best possible. These results extend recent work of J. Cilleruelo and I. Sols for bundles of rank 2.


title: Strong marked isospectrality of affine Lorentzian groups

abstract: The Margulis invariant is a function defined on a group of Lorentzian transformations $G$ acting on Minkowski space $\R^{2,1}$, that contains no elliptic elements. The spectrum of $G$ is the sequence of values of the Margulis invariant for all its elements. If the underlying linear group of $G$ is fixed, Drumm and Goldman proved that the spectrum defines the translational part completely. In this note, we strengthen this result by showing that isospectrality holds for any free product of cyclic groups of given rank, up to conjugation in the group of affine transformations of $R^{2,1}$, as long as it is non-radiant and that its linear part is discrete and non-elementary. In particular, isospectrality holds when the linear part is a Schottky group.


title: Finite-gap solutions of the Fuchsian equation

abstract: We find a new class of the Fuchsian equations, which have an algebraic geometric solutions with the parameter belonging to a hyperelliptic curve. Methods of calculating the algebraic genus of the curve, and its branching points, are suggested. Numerous examples are given.


title: Seesaw words in Thompson's group F

abstract: We describe a family of words in Thompson's group F which present a challenge to the question of finding canonical minimal length representatives, and which show that F is not combable by geodesics. These words have the property that there are only two possible suffixes of long lengths for geodesic paths to the word from the identity; one is of the form $g^k$ and the other of the form $g^{-k}$ where g is a generator of the group.


title: The determination of integral closures and geometric applications

abstract: We express explicitly the integral closures of some ring extensions; this is done for all Bring-Jerrard extensions of any degree as well as for all general extensions of degree < 6; so far such an explicit expression is known only for degree < 4 extensions. As a geometric application we present explicitly the structure sheaf of every Bring-Jerrard covering space in terms of coefficients of the equation defining the covering; in particular, we show that a degree-3 morphism f : Y --> X is quasi-etale if and only if the first Chern class of the sheaf f_*(O_Y) is trivial (details in Theorem 5.3). We also try to get a geometric Galoisness criterion for an arbitrary degree-n finite morphism; this is successfully done when n = 3 and less satifactorily done when n = 5.


title: Information geometric neighbourhoods of randomness and geometry of the McKay bivariate gamma 3-manifold

abstract: We show that gamma distributions provide models for departures from randomness since every neighbourhood of an exponential distribution contains a neighbourhood of gamma distributions, using an information theoretic metric topology. We derive also the information geometry of the 3-manifold of McKay bivariate gamma distributions, which can provide a metrization of departures from randomness and departures from independence for bivariate processes. The curvature objects are derived, including those on three submanifolds. As in the case of bivariate normal manifolds, we have negative scalar curvature but here it is not constant and we show how it depends on correlation. These results have applications, for example, in the characterization of stochastic materials.


title: Moduli space of Fedosov structures

abstract: We consider the space of germs of Fedosov structures at a point, together with the group of origin-preserving diffeomorphisms acting on it. We calculate dimensions of moduli spaces of $k$-jets of generic structures and construct Poincar\'e series. It is shown to be a rational function.


title: A Complete Formulation of Baum-Conens' Conjecture for the Action of Discrete Quantum Groups

abstract: We formulate a version of Baum-Connes' conjecture for a discrete quantum group, building on our earlier work (\cite{GK}). Given such a quantum group $\cla$, we construct a directed family $\{\cle_F \}$ of $C^*$-algebras ($F$ varying over some suitable index set), borrowing the ideas of \cite{cuntz}, such that there is a natural action of $\cla$ on each $\cle_F$ satisfying the assumptions of \cite{GK}, which makes it possible to define the "analytical assembly map", say $\mu^{r,F}_i$, $i=0,1,$ as in \cite{GK}, from the $\cla$-equivariant $K$-homolgy groups of $\cle_F$ to the $K$-theory groups of the "reduced" dual $\hat{\cla_r}$ (c.f. \cite{GK} and the references therein for more details). As a result, we can define the Baum-Connes' maps $\mu^r_i : \stackrel{\rm lim}{\longrightarrow} KK_i^\cla(\cle_F,\IC) \raro K_i(\hat{\cla_r}),$ and in the classical case, i.e. when $\cla$ is $C_0(G)$ for a discrete group, the isomorphism of the above maps for $i=0,1$ is equivalent to the Baum-Connes' conjecture. Furthermore, we verify its truth for an arbitrary finite dimensional quantum group and obtain partial results for the dual of $SU_q(2).$


title: Addendum to "Coarse homology theories"

abstract: This article corrects two mistakes in the article "Coarse homology theories" [math.AT/0106183].


title: Classification of O-topologically non-equivalent functions with color chord diagrams

abstract: By means of color chord diagrams we establish a necessary and sufficient condition for $O$-topological equivalence of functions with one essentially critical point on oriented surfaces with edge. We also calculate the number of $O$-topologically non-equivalent functions with one essentially critical point on oriented surfaces with edge.


title: The angle defect for odd-dimensional simplicial manifolds

abstract: In a 1967 paper, Banchoff stated that a certain type of polyhedral curvature, that applies to all finite polyhedra, was zero at all vertices of an odd-dimensional polyhedral manifold; one then obtains an elementary proof that odd-dimensional manifolds have zero Euler characteristic. In a previous paper, the author defined a different approach to curvature for arbitrary simplicial complexes, based upon a direct generalization of the angle defect. The generalized angle defect is not zero at the simplices of every odd-dimensional manifold. In this paper we use a sequence based upon the Bernoulli numbers to define a variant of the angle defect for finite simplicial complexes that still satisfies a Gauss-Bonnet type theorem, but is also zero at any simplex of an odd-dimensional simplicial complex K (of dimension at least 3), such that the Euler characteristic of the link of each i-simplex equals 2, where i is a non-negative even integer that is less than n. As a corollary, an elementary proof is given that any such simplicial complex has Euler characteristic zero.


title: Hyperbolic distance to submanifolds in an almost-complex manifold

abstract: Complete hyperbolicity of small Euclidean balls with respect to a C^1-smooth almost complex structure standard at origin is improved to give a complete hyperbolicity of strictly pseudoconvex domains. More precise (and lower) regularity assumptions on almost complex structure are made also for another results.


title: Solving two-point boundary value problems using generating functions: Theory and Applications to optimal control and the study of Hamiltonian dynamical systems

abstract: A methodology for solving two-point boundary value problems in phase space for Hamiltonian systems is presented. Using Hamilton-Jacobi theory in conjunction with the canonical transformation induced by the phase flow, we show that the generating functions for this transformation solve any two-point boundary value problem in phase space. Properties of the generating functions are exposed, we especially emphasize multiple solutions, singularities, relations with the state transition matrix and symmetries. Then, we show that using Hamilton's principal function we are also able to solve two-point boundary value problems, nevertheless both methodologies have fundamental differences that we explore. Finally, we present some applications of this theory. Using the generating functions for the phase flow canonical transformation we are able to solve the optimal control problem (without an initial guess), to study phase space structures in Hamiltonian dynamical systems (periodic orbits, equilibrium points) and classical targeting problems (this last topic finds its applications in the design of spacecraft formation trajectories, reconfiguration, formation keeping, etc...).


title: A Szemeredi-type regularity lemma in abelian groups, with applications

abstract: Szemeredi's regularity lemma is an important tool in graph theory which has applications throughout combinatorics. In this paper we prove an analogue of Szemeredi's regularity lemma in the context of abelian groups and use it to derive some results in additive number theory. One is a structure theorm for sets which are almost sum-free. If A is a subset of [N] which contains just o(N^2) triples (x,y,z) such that x + y = z then A may be written as the union of B and C, where B is sum-free and |C| = o(N). Another answers a question of Bergelson, Host and Kra. If alpha, epsilon > 0, if N > N_0(alpha,epsilon) and if A is a subset of {1,...,N} of size alpha N, then there is some non-zero d such that A contains at least (alpha^3 - epsilon)N three-term arithmetic progressions with common difference d.


title: Semilinear Elliptic Equations and Fixed Points

abstract: In this paper, we deal with a class of semilinear elliptic equation in a bounded domain $\Omega\subset\mathbb{R}^N$, $N\geq 3$, with $C\sp{1,1}$ boundary. Using a new fixed point result of the Krasnoselskii's type for the sum of two operators, an existence principle of strong solutions is proved. We give two examples where the nonlinearity can be critical.


title: Exact matrix formula for the unmixed resultant in three variables

abstract: We give the first exact determinantal formula for the resultant of an unmixed sparse system of four Laurent polynomials in three variables with arbitrary support. This follows earlier work by the author on exact formulas for bivariate systems and also uses the exterior algebra techniques of Eisenbud and Schreyer. Along the way we will prove an interesting new vanishing theorem for the sheaf cohomology of divisors on toric varieties. This will allow us to describe some supports in four or more variables for which determinantal formulas for the resultant exist.


title: Compact moduli of hyperplane arrangements

abstract: The minimal model program suggests a compactification of the moduli space of hyperplane arrangements which is a moduli space of stable pairs. Here, a stable pair consists of a scheme X which is a degeneration of projective space and a divisor D=D_1+..+D_n on X which is a limit of hyperplane arrangements. For example, in the 1-dimensional case, the stable pairs are stable curves of genus 0 with n marked points. Kapranov has defined an alternative compactification using his Chow quotient construction, which may be described fairly explicitly. We prove that these two compactifications coincide. We deduce a description of all stable pairs.


title: Hypergeometric functions and the Tricomi operator

abstract: We show how certain hypergeometric functions play an important role in finding fundamental solutions for a generalized Tricomi operator.


title: Calculus III: Taylor Series

abstract: We study functors from spaces to spaces or spectra that preserve weak homotopy equivalences. For each such functor we construct a universal n-excisive approximation, which may be thought of as its n-excisive part. Homogeneous functors, meaning n-excisive functors with trivial (n-1)-excisive part, can be classified: they correspond to symmetric functors of n variables that are reduced and 1-excisive in each variable. We discuss some important examples, including the identity functor and Waldhausen's algebraic K-theory.


title: Geometry of coisotropic submanifolds in symplectic and K\"ahler manifolds

abstract: The first purpose of this paper is to generalize the well-known Maslov indices of maps of open Riemann surfaces with boundary lying on Lagrangian submanifolds to maps with boundary lying on coisotropic submanifolds in symplectic manifolds. For this purpose, we first define the notion of {\it Maslov loops} of coisotropic Grassmanians and their indices. Then we introduce the notions of {\it transverse Maslov bundle} of coisotropic submanifolds, and {\it gradable coisotropic submanifolds}. We then define {\it graded coisotropic submanifolds} and the {\it coisotropic Maslov index} of the maps with boundary lying on such graded coisotropic submanifolds, which reduces to the standard Maslov index of disc maps for the case of Lagrangian submanifolds. The second purpose is to study the geometry of coisotropic submanifolds in K\"ahler manifolds. We introduce the notion of the leafwise mean curvature form and transverse canonical bundle of coisotropic submanifolds and study various geometric properties thereof. Finally we combine all these to define the notion of {\it special coisotropic submanifolds} for the case of Calabi-Yau manifolds, and prove various consequences on their properties of the coisotropic Maslov indices.


title: On the homotopy invariance of configuration spaces

abstract: For a closed PL manifold M, we consider the configuration space F(M,k) of ordered k-tuples of distinct points in M. We show that a suitable iterated suspension of F(M,k) is a homotopy invariant of M. The number of suspensions we require depends on three parameters: the number of points k, the dimension of M and the connectivity of M. Our proof uses a mixture of Poincare embedding theory and fiberwise algebraic topology.


title: Nef reduction and anticanonical bundles

abstract: We investigate the structure of smooth projective 3-folds X with -K_X nef and K_X^3=0.


title: The upper bound on number of graphs, with fixed number of vertices, that vertices can be colored with n colors

abstract: In the paper we state and prove theorem describing the upper bound on number of the graphs that have fixed number of vertices |V| and can be colored with the fixed number of n colors. The bound relates both numbers using power of 2, while the exponent is the difference between |V| and n. We also state three conjectures on the number of graphs that have fixed number of vertices |V| and chromatic number n.


title: On smooth surfaces in P4 containing a plane curve

abstract: We consider smooth surfaces $S \subset \Pq$ containing a plane curve $P$ and prove some general result concerning the linear system $|H-P|$. We then look at regular surfaces lying on hypersurfaces of degree $s$ having a plane of multiplicity $(s-2)$. This implies that $S$ contains a plane curve. We prove that the degree of such surfaces is bounded and for $s=4$ we compute an actual bound.


title: Multiplier Ideals and Modules on Toric Varieties

abstract: A simple formula computing the multiplier ideal of a monomial ideal on an arbitrary affine toric variety is given. Variants for the multiplier module and test ideals are also treated.


title: Gibbs properties of the fuzzy Potts model on trees and in mean field

abstract: We study Gibbs properties of the fuzzy Potts model in the mean field case (i.e on a complete graph) and on trees. For the mean field case, a complete characterization of the set of temperatures for which non-Gibbsianness happens is given. The results for trees are somewhat less explicit, but we do show for general trees that non-Gibbsianness of the fuzzy Potts model happens exactly for those temperatures where the underlying Potts model has multiple Gibbs measures.


title: L^2-Invariants from the Algebraic Point of View

abstract: We give a survey on L^2-invariants such as L^2-Betti numbers and L^2-torsion taking an algebraic point of view. We discuss their basic definitions, properties and applications to problems arising in topology, geometry, group theory and K-theory.


title: From solitons to many-body systems

abstract: We present a bridge between the KP soliton equations and the Calogero-Moser many-body systems through noncommutative algebraic geometry. The Calogero-Moser systems have a natural geometric interpretation as flows on spaces of spectral curves on a ruled surface. We explain how the meromorphic solutions of the KP hierarchy have an interpretation via a noncommutative ruled surface. Namely, we identify KP Lax operators with vector bundles on quantized cotangent spaces (formulated technically in terms of D-modules). A geometric duality (a variant of the Fourier-Mukai transform) then identifies the parameter space for such vector bundles with that for the spectral curves and sends the KP flows to the Calogero-Moser flows. It follows that the motion and collisions of the poles of the rational, trigonometric, and elliptic solutions of the KP hierarchy, as well as of its multicomponent analogs, are governed by the (spin) Calogero-Moser systems on cuspidal, nodal, and smooth genus one curves. This provides a geometric explanation and generalizations of results of Airault-McKean-Moser, Krichever, and Wilson.


title: Semi-invertible extensions and asymptotic homomorphisms

abstract: We consider the semigroup $Ext(A,B)$ of extensions of a separable C*-algebra $A$ by a stable C*-algebra $B$ modulo unitary equivalence and modulo asymptotically split extensions. This semigroup contains the group $Ext^{-1/2}(A,B)$ of invertible elements (i.e. of semi-invertible extensions). We show that the functor $Ext^{1/2}(A,B)$ is homotopy invariant and that it coincides with the functor of homotopy classes of asymptotic homomorphisms from $C(\mathbb T)\otimes A$ to $M(B)$ that map $SA\subseteq C(\mathbb T)\otimes A$ into $B$.


title: Extensions of C*-algebras and translation invariant asymptotic homomorphisms

abstract: Let $A$, $B$ be C*-algebras; $A$ separable, $B$ $\sigma$-unital and stable. We introduce a notion of translation invariance for asymptotic homomorphisms from $SA=C_0(\mathbb R)\otimes A$ to $B$ and show that the Connes-Higson construction applied to any extension of $A$ by $B$ is homotopic to a translation invariant asymptotic homomorphism. In the other direction we give a construction which produces extensions of $A$ by $B$ out of such a translation invariant asymptotic homomorphism. This leads to our main result; that the homotopy classes of extensions coincide with the homotopy classes of translation invariant asymptotic homomorphisms.


title: Regularity jumps for powers of ideals

abstract: The Castelnuovo-Mumford regularity $\reg(I)$ is one of the most important invariants of a homogeneous ideal $I$ in a polynomial ring. A basic question is how the regularity behaves with respect to taking powers of ideals. It is known that in the long-run $\reg(I^k)$ is a linear function of $k$. We show that in the short-run the regularity of $I^k$ can be quite "irregular". For any given integer $d>1$ we construct an ideal $J$ generated by $d+5$ monomials of degree $d+1$ in 4 variables such that $\reg(J^k)=k(d+1)$ for every $k<d$ and $\reg(J^d)\geq d(d+1)+d-1$.


title: Deformations of modules of differential forms

abstract: We study non-trivial deformations of the natural action of the Lie algebra $\mathrm{Vect}({\mathbb R}^n)$ on the space of differential forms on ${\mathbb R}^n$. We calculate abstractions for integrability of infinitesimal multi-parameter deformations and determine the commutative associative algebra corresponding to the miniversal deformation in the sense of \cite{ff}.


title: Meromorphic functions with two completely invariant domains

abstract: We show that if a meromorphic function has two completely invariant Fatou components and only finitely many critical and asymptotic values, then its Julia set is a Jordan curve. However, even if both domains are attracting basins, the Julia set need not be a quasicircle. We also show that all critical and asymptotic values are contained in the two completely invariant components. This need not be the case for functions with infinitely many critical and asymptotic values.


title: Nevanlinna functions with real zeros

abstract: We show that for every non-negative integer d, there exist differential equations w''+Pw=0, where P is a polynomial of degree d, such that some non-trivial solution w has all zeros real.


title: Combinatorics of binomial decompositions of the simplest Hodge integrals

abstract: We reduce the calculation of the simplest Hodge integrals to some sums over decorated trees. Since Hodge integrals are already calculated, this gives a proof of a rather interesting combinatorial theorem and a new representation of Bernoulli numbers.


title: Global rigidity of solvable group actions on S^1

abstract: In this paper we find all solvable subgroups of Diff^omega(S^1) and classify their actions. We also investigate the C^r local rigidity of actions of the solvable Baumslag-Solitar groups on the circle. The investigation leads to two novel phenomena in the study of infinite group actions on compact manifolds. We exhibit a finitely generated group Gamma and a manifold M such that: * Gamma has exactly countably infinitely many effective real-analytic actions on M, up to conjugacy in Diff^omega(M); * every effective, real analytic action of Gamma on M is C^r locally rigid, for some r>=3, and for every such r, there are infinitely many nonconjugate, effective real-analytic actions of Gamma on M that are C^r locally rigid, but not C^(r-1) locally rigid.


title: The noisy voter-exclusion process

abstract: The symmetric exclusion process and the voter model are two interacting particle systems for which a dual finite particle system allows one to characterize its invariant measures. Adding spontaneous births and deaths to the two processes still allows one to use the dual to obtain information about the original process. We study the noisy voter-exclusion process which generalizes these processes by allowing for all of these interactions to take place. The dual process is used to characterize its invariant measures under various circumstances. Finally, an ergodic theorem for a related process is proved using couplings.


title: Traces and Quasi-traces on the Boutet de Monvel Algebra

abstract: We construct an analogue of Kontsevich and Vishik's canonical trace for a class of pseudodifferential boundary value problems in Boutet de Monvel's calculus on compact manifolds with boundary. For an operator A in the calculus (of class zero), and an auxiliary operator B, formed of the Dirichlet realization of a strongly elliptic second-order differential operator and an elliptic operator on the boundary, we consider the coefficient C_0(A,B) of (-\lambda)^{-N} in the asymptotic expansion of the resolvent trace Tr(A(B-\lambda)^{-N}) (with N large) in powers and log-powers of \lambda as \lambda tends to infinity in a suitable sector of the complex plane. C_0(A,B) identifies with the coefficient of s^0 in the Laurent series for the meromorphic extension of the generalized zeta function \zeta(A,B,s)= Tr(AB^{-s}) at s=0, when B is invertible. We show that C_0(A,B) is in general a quasi-trace, in the sense that it vanishes on commutators [A,A'] modulo local terms, and has a specific value independent of B modulo local terms; and we single out particular cases where the local ``errors'' vanish so that C_0(A,B) is a well-defined trace of A. Our main tool is a precise analysis of the asymptotic expansion of the resolvent trace, based on pseudodifferential calculations involving rational functions (in particular Laguerre functions) of the normal variable.


title: The primitive solutions to x^3+y^9=z^2

abstract: We determine the rational integers x,y,z such that x^3+y^9=z^2 and gcd(x,y,z)=1. First we determine a finite set of curves of genus 10 such that any primitive solution to x^3+y^9=z^2 corresponds to a rational point on one of those curves. We observe that each of these genus 10 curves covers an elliptic curve over some extension of Q. We use this cover to apply a Chabauty-like method to an embedding of the curve in the Weil restriction of the elliptic curve. This enables us to find all rational points and therefore deduce the primitive solutions to the original equation.


title: Symmetric coalgebras

abstract: We construct a structure of a ring with local units on a co-Frobenius coalgebra. We study a special class of co-Frobenius coalgebras whose objects we call symmetric coalgebras. We prove that any semiperfect coalgebra can be embedded in a symmetric coalgebra. A dual version of Brauer's equivalence theorem is presented, allowing a characterization of symmetric coalgebras by comparing certain functors. We define an automorphism of the ring with local units constructed from a co-Frobenius coalgebra, which we call the Nakayama automorphism. This is used to give a new characterization to symmetric coalgebras and to describe Hopf algebras that are symmetric as coalgebras. As a corollary we obtain as a consequence the known characterization of Hopf algebras that are symmetric as algebras.


title: Which Point Configurations are Determined by the Distribution of their Pairwise Distances?

abstract: In a previous paper we showed that, for any $n \ge m+2$, most sets of $n$ points in $\RR^m$ are determined (up to rotations, reflections, translations and relabeling of the points) by the distribution of their pairwise distances. But there are some exceptional point configurations which are not reconstructible from the distribution of distances in the above sense. In this paper, we present a reconstructibility test with running time $O(n^{11})$. The cases of orientation preserving rigid motions (rotations and translations) and scalings are also discussed.


title: Quantization, orbifold cohomology, and Cherednik algebras

abstract: We compute the Hochschild homology of the crossed product $\Bbb C[S_n]\ltimes A^{\otimes n}$ in terms of the Hochschild homology of the associative algebra $A$ (over $\Bbb C$). It allows us to compute the Hochschild (co)homology of $\Bbb C[W]\ltimes A^{\otimes n}$ where $A$ is the $q$-Weyl algebra or any its degeneration and $W$ is the Weyl group of type $A_{n-1}$ or $B_n$. For a deformation quantization $A_+$ of an affine symplectic variety $X$ we show that the Hochschild homology of $S^n A$, $A=A_+[\hbar^{-1}]$ is additively isomorphic to the Chen-Ruan orbifold cohomology of $S^nX$ with coefficients in $\Bbb C((\hbar))$. We prove that for $X$ satisfying $H^1(X,\Bbb C)=0$ (or $A\in VB(d)$) the deformation of $S^nX$ ($\Bbb C[S_n]\ltimes A^{\otimes n}$) which does not come from deformations of $X$ ($A$) exists if and only if $\dim X=2$ ($d=2$). In particular if $A$ is $q$-Weyl algebra (its trigonometric or rational degeneration) then the corresponding nontrivial deformations yield the double affine Hecke algebras of type $A_{n-1}$ (its trigonometric or rational versions) introduced by Cherednik.


title: A Question about Differential Ideals

abstract: The paper investigates the converse to the following theorem. Let R be a differential domain R which is finitely generated over a differential field F whose field of constants is algebraically closed of characteristic 0. If R has no proper nonzero differential ideals, then the quotient field, E, of R has no new constants. The converse is false, but a question was raised about the existence of a finitely generated extension of R within E which has no proper nonzero differential ideals when E has no new constants. This posted paper gives one example to show this is false and two limited positive results in Krull dimension one or two.


title: Constants of Differentiation and Differential Ideals

abstract: Let R be a differential domain finitely generated over a differential field, F, with field of constants, C, of characteristic 0. Let E be the quotient field of R. The paper investigates necessary and sufficient conditions on R's differential ideals for the constants of differentiation of E to also be C (no new constants). It was known that no proper nonzero differential ideals guarantees no new constants. The paper shows that when C is algebraically closed that if R has only finitely many height one prime differential ideals that E will have no new constants. An example with F infinitely generated over C shows the converse is false. The paper gives conditions on C and F so that when F is finitely generated over C and R is a polynomial ring over F that no new constants in E implies that R has only fintely many height one prime differential ideals.


title: Differential Characters on Orbifolds and String Connections I

abstract: In this paper we introduce the Cheeger-Simons cohomology of a global quotient orbifold. We prove that the Cheeger-Simons cohomology of the orbifold is isomorphic to its Beilinson-Deligne cohomology. Furthermore we construct a string connection (\`{a} la Segal) from a global gerbe with connection over the loop orbifold, refining the corresponding differential character.


title: Period three actions on lens spaces

abstract: We show that a free period three action on a lens space is standard, i.e. the quotient is homeomorphic to a lens space. This is an extension of the result for period three actions on the three-sphere, arXiv:math.GT/0204077, by the author and J. Hyam Rubinstein.


title: The distribution of values of the Poincare pairing for hyperbolic Riemann surfaces

abstract: For a cocompact group of SL_2(R) we fix a non-zero harmonic 1-form \a. We normalize and order the values of the Poincare pairing <gamma,\a> according to the length of the corresponding closed geodesic l(gamma). We prove that these normalized values have a Gaussian distribution.


title: Newton's method, zeroes of vector fields, and the Riemannian center of mass

abstract: We present an iterative technique for finding zeroes of vector fields on Riemannian manifolds. As a special case we obtain a ``nonlinear averaging algorithm'' that computes the centroid of a mass distribution supported in a set of small enough diameter D in a Riemannian manifold M. We estimate the convergence rate of our general algorithm and the more special Riemannian averaging algorithm. The algorithm is also used to provide a constructive proof of Karcher's theorem on the existence and local uniqueness of the center of mass, under a somewhat stronger requirement than Karcher's on D. Another corollary of our results is a proof of convergence, for a fairly large open set of initial conditions, of the ``GPA algorithm'' used in statistics to average points in a shape-space, and a quantitative explanation of why the GPA algorithm converges rapidly in practice. We also show that a mass distribution in M with support Q has a unique center of mass in a (suitably defined) convex hull of Q.


title: Reflection Groups. A Contribution to the Handbook of Algebra

abstract: This is a survey article on the theory of finite complex reflection groups. No proofs are given but numerous references are included.


title: Sharp van der Corput estimates and minimal divided differences

abstract: We find the nodes that minimise divided differences and use them to find the sharp constant in a sublevel set estimate. We also find the sharp constant in the first instance of the van der Corput Lemma using a complex mean value theorem for integrals. With these sharp bounds we improve the constant in the general van der Corput Lemma, so that it is asymptotically sharp.


title: A van der Corput lemma for the p-adic numbers

abstract: We prove a version of van der Corput's Lemma for polynomials over the p-adic numbers.


title: A compact group which is not Valdivia compact

abstract: A compact space $K$ is {\em Valdivia compact} if it can be embedded in a Tikhonov cube $I^A$ in such a way that the intersection $K\cap\Sigma$ is dense in $K$, where $\Sigma$ is the sigma-product (= the set of points with countably many non-zero coordinates). We show that there exists a compact connected Abelian group of weight $\o_1$ which is not Valdivia compact, and deduce that Valdivia compact spaces are not preserved by open maps.


title: Cochains and Homotopy Type

abstract: Finite type nilpotent spaces are weakly equivalent if and only if their singular cochains are quasi-isomorphic as E-infinity algebras. The cochain functor from the homotopy category of finite type nilpotent spaces to the homotopy category of E-infinity algebras is faithful but not full.


title: Radii minimal projections of polytopes and constrained optimization of symmetric polynomials

abstract: We provide a characterization of the radii minimal projections of polytopes onto $j$-dimensional subspaces in Euclidean space $\E^n$. Applied on simplices this characterization allows to reduce the computation of an outer radius to a computation in the circumscribing case or to the computation of an outer radius of a lower-dimensional simplex. In the second part of the paper, we use this characterization to determine the sequence of outer $(n-1)$-radii of regular simplices (which are the radii of smallest enclosing cylinders). This settles a question which arose from the incidence that a paper by Wei{\ss}bach (1983) on this determination was erroneous. In the proof, we first reduce the problem to a constrained optimization problem of symmetric polynomials and then to an optimization problem in a fixed number of variables with additional integer constraints.


title: On the parametrization of the simple modules for Ariki-Koike algebras at roots of unity

abstract: Following ideas of Geck and Rouquier, we show that there exists a ``canonical basic set'' of Specht modules in bijection with the simple modules of Ariki-Koike algebras at roots of unity. Moreover, we determine the parametrization of this set and we give the consequences of these results on the representation theory of Ariki-Koike algebras.


title: Flat Spacetimes with Compact Hyperbolic Cauchy Surfaces

abstract: In this paper we study the flat (n+1)-spacetimes admitting a Cauchy surface diffeomorphic to a compact hyperbolic n-manifold. We show how to construct a canonical future complete one among all such spacetimes sharing the same holonomy. We study the geometry of such a spacetime in terms of its canonical cosmological time. In particular we study the asymptotic behaviour of the level surfaces of the cosmological time. The present work generalizes the case n=2 treated by Mess, taking from a work of Benedetti and Guadagnini the emphasis on the fundamental role played by the canonical cosmological time.


title: Note on bounds for multiplicities

abstract: Let S=K[x_1,...,x_n] be a polynomial ring and R=S/I be a graded K-algebra where I is a graded ideal in S. Herzog, Huneke and Srinivasan have conjectured that the multiplicity of R is bounded above by a function of the maximal shifts in the minimal graded free resolution of R over S. We prove the conjecture in the case that codim(R)=2 which generalizes results in of Herzog, Srinivasan and Gold. We also give a proof for the bound in the case in which I is componentwise linear. For example, stable and squarefree stable ideals belong to this class of ideals.


title: Interval Computations and their Categorification

abstract: By the example of the proof of Minkowski's conjecture on critical determinant we give a category theory framework for interval computation.


title: Construction of the generalised q-derivative operators

abstract: This investigation pertains to the construction of a class of generalised deformed derivative operators which furnish the familiar finite difference and the q-derivatives as special cases. The procedure involves the introduction of a linear operator which is multiplicative over functions of a real variable. The validity of the general prescriptions is ascertained by considering suitable examples of such derivatives and constructing their eigenfunctions explicitly. The relationship of a particular version of the operator with the one-dimensional Mobius transformation is also established.


title: Some elementary theorems about divisibility of 0-cycles on abelian varieties defined over finite fields

abstract: If $X$ is an abelian variety over a field and $L$ is an invertible sheaf, we know that the degree of the 0-cycle $L^g$ is divisible by $g!$. As a 0-cycle, it is not, even over a field of cohomological dimension 1. But we show that over a finite field there is perhaps some hope.


title: The moduli space of 6-dimensional 2-step nilpotent Lie algebras

abstract: We determine the moduli space of metric 2-step nilpotent Lie algebras of dimension up to 6. This space is homeomorphic to a cone over a 4-dimensional contractible simplicial complex.


title: Vectors of Higher Rank on a Hadamard Manifold with Compact Quotient

abstract: <ENGLISH> Consider a closed, smooth manifold M of nonpositive sectional curvature. Write p:UM-> M for the unit tangent bundle over M and let R_> denote the subset consisting of all vectors of higher rank. This subset is closed and invariant under the geodesic flow on UM. We will define the structured dimension sdim(R_>) which, essentially, is the dimension of the set p(R_>) of base points of R_>. The main result holds for manifolds with sdim(R_>) < dim(M)/2: For every E>0 there is an E-dense, flow invariant, closed subset Z_E in UM R_> such that p(Z_E)=M. For every point in M this means that through this point there is a complete geodesic for which the velocity vector field avoids a neighbourhood of R_>. <DEUTSCH> Gegeben sei eine geschlossene, glatte Mannigfaltigkeit M nichtpositiver Schnittkruemmung. Das Einheitstangentialbuendel sei mit p:UM-> M bezeichnet und die Teilmenge aller Vektoren hoeheren Ranges mit R_>. Diese Teilmenge ist abgeschlossen und invariant unter dem geodaetischen Fluss auf UM. Wir definieren die Strukturdimension sdim(R_>) von R_>, die, im Wesentlichen, die Dimension der Fusspunktmenge p(R_>) misst. Das Hauptergebnis gilt unter der Bedingung, dass sdim(R_>) < dim(M)/2 gilt: Fuer jedes E>0 gibt es eine E-dichte, flussinvariante, abgeschlossene Teilmenge Z_E in UM R_>, fuer die gilt p(Z_E) = M. Dies bedeutet, dass es durch jeden Punkt in M eine vollstaendige Geodaete gibt, deren Geschwindigkeitsfeld eine Umgebung von R_> vermeidet.


title: Hodge structures for orbifold cohomology

abstract: We construct a polarized Hodge structure on the primitive part of Chen and Ruan's orbifold cohomology $H_{orb}^k(X)$ for projective $SL$-orbifolds $X$ satisfying a ``Hard Lefschetz Condition''. Furthermore, the total cohomology $H_{orb}^{*,*}(X)$ forms a mixed Hodge structure that is polarized by every element of the K\"ahler cone of $X$. Using results of Cattani-Kaplan-Schmid this implies the existence of an abstract polarized variation of Hodge structure on the complexified K\"ahler cone of $X$. This construction should be considered as the analogue of the abstract polarized variation of Hodge structure that can be attached to the singular cohomology of a crepant resolution of $X$, in the light of the conjectural correspondence between the (quantum) orbifold cohomology and the (quantum) cohomology of a crepant resolution.


title: Energy estimates for weakly hyperbolic systems of the first order

abstract: For a class of weakly hyperbolic systems of the form D_t - A(t,x,D_x), where A(t,x,D_x) is a first-order pseudodifferential operator whose principal symbol degenerates like t^{l_*} at time t=0, for some integer l_* \geq 1, well-posedness of the Cauchy problem is proved in an adapted scale of Sobolev spaces. In addition, an upper bound for the loss of regularity that occurs when passing from the Cauchy data to the solutions is established. In examples, this upper bound turns out to be sharp.


title: Green's formulas for cone differential operators

abstract: Green's formulas for elliptic cone differential operators are established. This is done by an accurate description of the maximal domain of an elliptic cone differential operator and its formal adjoint, thereby utilizing the concept of a discrete asymptotic type. From this description, the singular coefficients replacing the boundary traces in classical Green's formulas are deduced.


title: Zeta functions over zeros of general zeta and $L$-functions

abstract: We describe in detail three distinct families of generalized zeta functions built over the (nontrivial) zeros of a rather general arithmetic zeta or L-function, extending the scope of two earlier works that treated the Riemann zeros only. Explicit properties are also displayed more clearly than before. Several tables of formulae cover the simplest concrete cases: L-functions for real primitive Dirichlet characters, and Dedekind zeta functions.


title: A lower bound for the height of a rational function at $S$-unit points

abstract: Let $\Gamma$ be a finitely generated subgroup of the multiplicative group $\G_m^2(\bar{Q})$. Let $p(X,Y),q(X,Y)\in\bat{Q}$ be two coprime polynomials not both vanishing at $(0,0)$; let $\epsilon>0$. We prove that, for all $(u,v)\in\Gamma$ outside a proper Zariski closed subset of $G_m^2$, the height of $p(u,v)/q(u,v)$ verifies $h(p(u,v)/q(u,v))>h(1:p(u,v):q(u,v))-\epsilon \max(h(uu),h(v))$. As a consequence, we deduce upper bounds for (a generalized notion of) the g.c.d. of $u-1,v-1$ for $u,v$ running over $\Gamma$.


title: A Simple Proof of a Theorem by Uhlenbeck and Yau

abstract: A subbundle of a Hermitian vector bundle $(E, h)$ can be metrically and differentiably defined by the orthogonal projection onto this subbundle. A weakly holomorphic subbundle of a Hermitian holomorphic bundle is, by definition, an orthogonal projection $\pi$ lying in the Sobolev space $L^2_1$ of $L^2$ sections with $L^2$ first order derivatives in the sense of distributions, which satisfies furthermore $(\mathrm{Id}-\pi)\circ D''\pi=0$. We give a new simple proof of the fact that a weakly holomorphic subbundle of $(E, h)$ defines a coherent subsheaf of ${\cal O}(E),$ that is a holomorphic subbundle of $E$ in the complement of an analytic set of codimension $\geq 2.$ This result was the crucial technical argument in Uhlenbeck's and Yau's proof of the Kobayashi-Hitchin correspondence on compact K\"ahler manifolds. We give here a much simpler proof based on current theory. The idea is to construct local meromorphic sections of $\mathrm{Im} \pi$ which locally span the fibers. We first make this construction on every one-dimensional submanifold of $X$ and subsequently extend it via a Hartogs-type theorem of Shiffman's.


title: Stochastic differential equations with non-lipschitz coefficients: I. Pathwise uniqueness and large deviation

abstract: We study a class of stochastic differential equations with non-Lipschitzian coefficients.A unique strong solution is obtained and a large deviation principle of Freidln-Wentzell type has been established.


title: S\'eries hyperg\'eom\'etriques basiques, $q$-analogues des valeurs de la fonction z\^eta et s\'eries d'Eisenstein

abstract: Nous \'etudions la nature arithm\'etique de $q$-analogues des valeurs $\zeta(s)$ de la fonction z\^eta de Riemann, notamment des valeurs des fonctions $\zeta_q(s)= \sum_{k=1} ^{\infty}q^k \sum_{d\mid k} ^{}d^{s-1}$, $s=1,2,...$, o{\`u} $q$ est un nombre complexe, $| q|<1$ (ces fonctions sont intimenent li\'ees au monde automorphe). Le th\'eor\`eme principal de cet article montre que, si $1/q$ est un nombre entier diff\'erent de $\pm1$ et si $M$ est un nombre impair suffisamment grand, alors la dimension de l'espace vectoriel engendr\'e sur $\mathbb Q$ par $1,\zeta_q(3), \zeta_q(5),..., \zeta_q(M)$ est au moins $c_1\cdot\sqrt{M}$, avec $c_1=0,3358$. Ce r\'esultat peut \^etre consid\'er\'e comme un $q$-analogue du r\'esultat de \cite{ri, br}, qui affirme que la dimension de l'espace vectoriel engendr\'e sur $\mathbb Q$ par $1,\zeta(3),\zeta(5),...,\zeta(M)$ est au moins $c_2\cdot\log{M}$, avec $c_2=0,5906$. Pour les m\^emes valeurs de $q$, une minoration similaire pour les valeurs $\zeta_q(s)$ aux entiers $s$ pairs nous permet de red\'emontrer un cas particulier d'un r{\'e}sultat de Bertrand \cite{ber} qui affirme la transcendance sur $\mathbb{Q}$ de l'une des deux s\'eries d'Eisenstein $E_4(q)$ et $E_6(q)$ pour tout nombre complexe $q$ tel que $0<| q| <1$.


title: Stochastic differential equtions with non-lipschitz coefficients:II. Dependence with respect to initial values

abstract: The existence of the unique strong solution for a class of stochastic differential equations with non-Lipschitz coefficients was established recently. In this paper, we shall investigate the dependence with respect to the initial values. We shall prove that the non confluence of solutions holds under our general conditions. To obtain a continuous version, the modulus of continuity of coefficients is assumed to be less than $\dis |x-y|\log{1\over|x-y|}$. In this case, it will give rise to a flow of homeomorphisms if the coefficients are compactly supported.


title: Pascal Pyramids, Pascal Hyper-Pyramids and a Bilateral Multinomial Theorem

abstract: Part I: The two-dimensional Pascal Triangle will be generalized into a three-dimensional Pascal Pyramid and four-, five- or whatsoever-dimensional hyper-pyramids. Part II: The Bilateral Binomial Theorem will be generalised into a Bilateral Trinomial Theorem resp. a Bilateral Multinomial Theorem.


title: Computations of the Ozsvath-Szabo knot concordance invariant

abstract: Ozsvath and Szabo have defined a knot concordance invariant tau that bounds the 4-ball genus of a knot. Here we discuss shortcuts to its computation. We include examples of Alexander polynomial one knots for which the invariant is nontrivial, including all iterated untwisted positive doubles of knots with nonnegative Thurston-Bennequin number, such as the trefoil, and explicit computations for several 10 crossing knots. We also note that a new proof of the Slice-Bennequin Inequality quickly follows from these techniques.


title: Generic 3-connected planar constraint systems are not soluble by radicals

abstract: We show that planar embeddable 3-connected CAD graphs are generically non-soluble. A CAD graph represents a configuration of points on the Euclidean plane with just enough distance dimensions between them to ensure rigidity. Formally, a CAD graph is a maximally independent graph, that is, one that satisfies the vertex-edge count 2v - 3 = e together with a corresponding inequality for each subgraph. The following main theorem of the paper resolves a conjecture of Owen in the planar case. Let G be a maximally independent 3-connected planar graph, with more than 3 vertices, together with a realisable assignment of generic dimensions for the edges which includes a normalised unit length (base) edge. Then, for any solution configuration for these dimensions on a plane, with the base edge vertices placed at rational points, not all coordinates of the vertices lie in a radical extension of the dimension field.


title: On a special class of smooth codimension two subvarieties in $\mathbb{P}^n$, $n \geq 5$

abstract: We consider smooth codimension two subcanonical subvarieties in $\mathbb{P}^n$ with $n \geq 5$, lying on a hypersurface of degree $s$ having a linear subspace of multiplicity $(s-2)$. We prove that such varieties are complete intersections. We also give a little improvement to some earlier results on the non existence of rank two vector bundles on $\mathbb{P}^4$ with small Chern classes.


title: On multilinear oscillatory integrals, nonsingular and singular

abstract: Basic questions concerning nonsingular multilinear operators with oscillatory factors are posed and partially answered. Lebesgue space norm inequalities are established for multilinear integral operators of Calderon-Zygmund type which incorporate oscillatory factors exp(iP), where P is a real-valued polynomial with large coefficients. A related problem concerning upper bounds for measures of sublevel sets is solved.


title: Non-proper Actions of the Fundamental Group of a Punctured Torus

abstract: Given an affine isometry of $\R^3$ with hyperbolic linear part, its Margulis invariant measures signed Lorentzian displacement along an invariant spacelike line. In order for a group generated by hyperbolic isometries to act properly on $\R^3$, the sign of the Margulis invariant must be constant over the group. We show that, in the case when the linear part is the fundamental group of a punctured torus, positivity of the Margulis invariant over any finite generating set does not imply that the group acts properly. This contrasts with the case of a pair of pants, where it suffices to check the sign of the Margulis invariant for a certain triple of generators.


title: The First Order Definability of Graphs: Upper Bounds for Quantifier Rank

abstract: We say that a first order formula A distinguishes a graph G from another graph G' if A is true on G and false on G'. Provided G and G' are non-isomorphic, let D(G,G') denote the minimal quantifier rank of a such formula. We prove that, if G and G' have the same order n, then D(G,G')\le(n+3)/2, which is tight up to an additive constant of 1. The analogous questions are considered for directed graphs (more generally, for arbitrary structures with maximum relation arity 2) and for k-uniform hypergraphs. Also, we study defining formulas, where we require that A distinguishes G from any other non-isomorphic G'.


title: Good Reductions of Shimura Varieties of Preabelian Type in Arbitrary Unramified Mixed Characteristic, I

abstract: We prove the existence of weak integral canonical models of Shimura varieties of Hodge type in arbitrary unramified mixed characteristic $(0,p)$. As a first application we solve a conjecture of Langlands for Shimura varieties of Hodge type. As a second application we prove the existence of integral canonical models of Shimura varieties of preabelian (resp. of abelian) type in mixed characteristic $(0,p)$ with $p\Ge 3$ (resp. with $p=2$) and with respect to hyperspecial subgroups; if $p=3$ (resp. if $p=2$) we restrict in this part I either to the $A_n$, $C_n$, $D_n^{\dbH}$ (resp. $A_n$ and $C_n$) types or to the $B_n$ and $D_n^{\dbR}$ (resp. $B_n$, $D_n^{\dbH}$ and $D_n^{\dbR}$) types which have compact factors over $\dbR$ (resp. which have compact factors over $\dbR$ in some $p$-compact sense). Though the second application is new just for $p\Le 3$, a great part of its proof is new even for $p\Ge 5$ and corrects [Va1, 6.4.11] in most of the cases. The second application forms progress towards the proof of a conjecture of Milne. It also provides in arbitrary mixed characteristic the very first examples of general nature of projective varieties over number fields which are not embeddable into abelian varieties and which have N\'eron models over certain local rings of rings of integers of number fields.


title: Appell polynomials and their relatives

abstract: This paper summarizes some known results about Appell polynomials and investigates their various analogs. The primary of these are the free Appell polynomials. In the multivariate case, they can be considered as natural analogs of the Appell polynomials among polynomials in non-commuting variables. They also fit well into the framework of free probability. For the free Appell polynomials, a number of combinatorial and "diagram" formulas are proven, such as the formulas for their linearization coefficients. An explicit formula for their generating function is obtained. These polynomials are also martingales for free Levy processes. For more general free Sheffer families, a necessary condition for pseudo-orthogonality is given. Another family investigated are the Kailath-Segall polynomials. These are multivariate polynomials, which share with the Appell polynomials nice combinatorial properties, but are always orthogonal. Their origins lie in the Fock space representations, or in the theory of multiple stochastic integrals. Diagram formulas are proven for these polynomials as well, even in the q-deformed case.


title: On blocks with cyclic defect group and their head orders

abstract: It is shown that Section 8 of Plesken's 1983 lecture notes describes blocks of cyclic defect group up to Morita equivalence. In particular such a block is determined by its planar embedded Brauer tree. Applying the radical idealizer process, the head order of such blocks is calculated explicitly.


title: A Phase Transition and Stochastic Domination in Pippenger's Probabilistic Failure Model for Boolean Networks with Unreliable Gates

abstract: We study Pippenger's model of Boolean networks with unreliable gates. In this model, the conditional probability that a particular gate fails, given the failure status of any subset of gates preceding it in the network, is bounded from above by some $\epsilon$. We show that if we pick a Boolean network with $n$ gates at random according to the Barak-Erd\H{o}s model of a random acyclic digraph, such that the expected edge density is $c n^{-1}\log n$, and if $\epsilon$ is equal to a certain function of the size of the largest reflexive, transitive closure of a vertex (with respect to a particular realization of the random digraph), then Pippenger's model exhibits a phase transition at $c=1$. Namely, with probability $1-o(1)$ as $n\to\infty$, we have the following: for $0 \le c \le 1$, the minimum of the probability that no gate has failed, taken over all probability distributions of gate failures consistent with Pippenger's model, is equal to $o(1)$, whereas for $c >1$ it is equal to $\exp(-\frac{c}{e(c-1)}) + o(1)$. We also indicate how a more refined analysis of Pippenger's model, e.g., for the purpose of estimating probabilities of monotone events, can be carried out using the machinery of stochastic domination.

categories: math.PR cond-mat.dis-nn math-ph math.CO math.MP


title: Codes and Invariant Theory

abstract: The main theorem in this paper is a far-reaching generalization of Gleason's theorem on the weight enumerators of codes which applies to arbitrary-genus weight enumerators of self-dual codes defined over a large class of finite rings and modules. The proof of the theorem uses a categorical approach, and will be the subject of a forthcoming book. However, the theorem can be stated and applied without using category theory, and we illustrate it here by applying it to generalized doubly-even codes over fields of characteristic 2, doubly-even codes over the integers modulo a power of 2, and self-dual codes over the noncommutative ring $\F_q + \F_q u$, where $u^2 = 0$..


title: Assessing security of some group based cryptosystems

abstract: One of the possible generalizations of the discrete logarithm problem to arbitrary groups is the so-called conjugacy search problem (sometimes erroneously called just the conjugacy problem): given two elements a, b of a group G and the information that a^x=b for some x \in G, find at least one particular element x like that. Here a^x stands for xax^{-1}. The computational difficulty of this problem in some particular groups has been used in several group based cryptosystems. Recently, a few preprints have been in circulation that suggested various "neighbourhood search" type heuristic attacks on the conjugacy search problem. The goal of the present survey is to stress a (probably well known) fact that these heuristic attacks alone are not a threat to the security of a cryptosystem, and, more importantly, to suggest a more credible approach to assessing security of group based cryptosystems. Such an approach should be necessarily based on the concept of the average case complexity (or expected running time) of an algorithm. These arguments support the following conclusion: although it is generally feasible to base the security of a cryptosystem on the difficulty of the conjugacy search problem, the group G itself (the "platform") has to be chosen very carefully. In particular, experimental as well as theoretical evidence collected so far makes it appear likely that braid groups are not a good choice for the platform. We also reflect on possible replacements.


title: Ill-posedness for nonlinear Schrodinger and wave equations

abstract: The nonlinear wave and Schrodinger equations on Euclidean space of any dimension, with general power nonlinearity and with both the focusing and defocusing signs, are proved to be ill-posed in the Sobolev space of index s whenever the exponent s is lower than that predicted by scaling or Galilean invariances, or when the regularity is too low to support distributional solutions. This extends previous work of the authors, which treated the one-dimensional cubic nonlinear Schrodinger equation. In the defocusing case soliton or blowup examples are unavailable, and a proof of ill-posedness requires the construction of other solutions. In earlier work this was achieved using certain long-time asymptotic behavior which occurs only for low power nonlinearities. Here we analyze instead a class of solutions for which the zero-dispersion limit provides a good approximation.


title: Sturm Oscillation and Comparison Theorems

abstract: This is a celebratory and pedagogical discussion of Sturm oscillation theory. Included is the discussion of the difference equation case via determinants and a renormalized oscillation theorem of Gesztesy, Teschl, and the author.


title: Analogs of the M-Function in the Theory of Orthogonal Polynomials on the Unit Circle

abstract: We show that the multitude of applications of the Weyl-Titchmarsh m-function leads to a multitude of different functions in the theory of orthogonal polynomials on the unit circle that serve as analogs of the m-function.


title: Commensurability classes of twist knots

abstract: In this paper we prove that if $M_K$ is the complement of a non-fibered twist knot $K$ in $\mathbb S^3$, then $M_K$ is not commensurable to a fibered knot complement in a $\mathbb Z/ 2 \mathbb Z$-homology sphere. To prove this result we derive a recursive description of the character variety of twist knots and then prove that a commensurability criterion developed by D. Calegari and N. Dunfield is satisfied for these varieties. In addition, we partially extend our results to a second infinite family of 2-bridge knots.


title: The Compactification of the Moduli Space of Convex RP(2) Surfaces, I

abstract: There is a canonical identification, due to the author, of a convex real projective structure on an orientable surface of genus g and a pair consisting of a conformal structure together with a holomorphic cubic differential on the surface. The Deligne-Mumford compactification of the moduli space of curves then suggests a partial compactification of the moduli space of convex real projective structures: Allow the Riemann surface to degenerate to a stable nodal curve on which there is a regular cubic differential. We construct convex real projective structures on open surfaces corresponding to this singular data and relate their holonomy to earlier work of Goldman. Also we have results for families degenerating toward the boundary of the moduli space. The techniques involve affine differential geometry results of Cheng-Yau and C.P. Wang and a result of Dunkel on the asymptotics of systems of ODEs.


title: The frequency space of a free group

abstract: We analyze the structure of the \emph{frequency space} $Q(F)$ of a nonabelian free group $F=F(a_1,...,a_k)$ consisting of all shift-invariant Borel probability measures on $\partial F$ and construct a natural action of $Out(F)$ on $Q(F)$. In particular we prove that for any outer automorphism $\phi$ of $F$ the \emph{conjugacy distortion spectrum} of $\phi$, consisting of all numbers $||\phi(w)||/||w||$, where $w$ is a nontrivial conjugacy class, is the intersection of $\mathbb Q$ and a closed subinterval of $\mathbb R$ with rational endpoints. We also provide an algorithm for detecting strict hyperbolicity of an automorphism of $F$.


title: Aleksandrov surfaces and hyperbolicity

abstract: Aleksandrov surfaces are a generalization of two-dimensional Riemannian manifolds, and it is known that every open simply connected Aleksandrov surface is conformally equivalent either to the unit disc (hyperbolic case) or to the plane (parabolic case). We prove a criterion for hyperbolicity of Aleksandrov surfaces which have nice tilings(triangulations) and where negative curvature dominates. We then apply this to generalize a result of Nevanlinna and give a partial answer for his conjecture about line complexes.


title: Asymptotic upper bounds for the entropy of orthogonal polynomials in the Szeg\H{o} class

abstract: We give an asymptotic upper bound as $n\to\infty$ for the entropy integral $$E_n(w)= -\int p_n^2(x)\log (p_n^2(x))w(x)dx,$$ where $p_n$ is the $n$th degree orthonormal polynomial with respect to a weight $w(x)$ on $[-1,1]$ which belongs to the Szeg\H{o} class. We also study two functionals closely related to the entropy integral. First, their asymptotic behavior is completely described for weights $w$ in the Bernstein class. Then, as for the entropy, we obtain asymptotic upper bounds for these two functionals when $w(x)$ belongs to the Szeg\H{o} class. In each case, we give conditions for these upper bounds to be attained.


title: On a problem of Erd\H{o}s involving the largest prime factor of $n$

abstract: An asymptotic formula for the number of $n \le x$ such that $n$ does not divide $P(n)!$ is given, where P(n) is the largest prime factor of $n$.


title: Rational double points on supersingular K3 surfaces

abstract: We investigate configurations of rational double points with the total Milnor number 21 on supersingular $K3$ surfaces. The complete list of possible configurations is given. As an application, we also give the complete list of extremal (quasi-)elliptic fibrations on supersingular $K3$ surfaces.


title: Lectures on Instanton Counting

abstract: These notes have two parts. The first is a study of Nekrasov's deformed partition functions $Z(\ve_1,\ve_2,\vec{a};\q,\vec{\tau})$ of N=2 SUSY Yang-Mills theories, which are generating functions of the integration in the equivariant cohomology over the moduli spaces of instantons on $\mathbb R^4$. The second is review of geometry of the Seiberg-Witten curves and the geometric engineering of the gauge theory, which are physical backgrounds of Nekrasov's partition functions. The first part is continuation of math.AG/0306198, where we identified the Seiberg-Witten prepotential with $Z(0,0,\vec{a};\q,0)$. We put higher Casimir operators to the partition function and clarify their relation to the Seiberg-Witten $u$-plane. We also determine the coefficients of $\ve_1\ve_2$ and $(\ve_1^2+\ve_2^2)/3$ (the genus 1 part) of the partition function, which coincide with two measure factors $A$, $B$ appeared in the $u$-plane integral. The proof is based on the blowup equation which we derived in the previous paper.


title: On the asymptotic tensor norm

abstract: We introduce a new asymptotic one-sided and symmetric tensor norm, the latter of which can be considered as the minimal tensor norm on the category of separable C*-algebras with homotopy classes of asymptotic homomorphisms as morphisms. We show that the one-sided asymptotic tensor norm differs in general from both the minimal and the maximal tensor norms and we discuss its relation to semi-invertibility of C*-extensions.


title: Star operations and Pullbacks

abstract: In this paper we study the star operations on a pullback of integral domains. In particular, we characterize the star operations of a domain arising from a pullback of ``a general type'' by introducing new techniques for ``projecting'' and ``lifting'' star operations under surjective homomorphisms of integral domains. We study the transfer in a pullback (or with respect to a surjective homomorphism) of some relevant classes or distinguished properties of star operations such as $v-, t-, w-, b-, d-,$ finite type, e.a.b., stable, and spectral operations. We apply part of the theory developed here to give a complete positive answer to a problem posed by D. F. Anderson in 1992 concerning the star operations on the ``$D+M$'' constructions.


title: Some Properties of Lattice Substitution Systems

abstract: If a partition of a lattice in R^d is selfsimilar, it is called lattice substitution system (LSS). Such sets represent nonperiodic, but highly ordered structures. An important property of such structures is, whether they are model sets or not (equivalently, whether they are pure point diffractive or not). In this paper two conditions are given, which can be used to show that a given lattice substitution system does not consist of model sets.


title: Planar dimers and Harnack curves

abstract: In this paper we study the connection between dimers and Harnack curves discovered in math-ph/0311005. We prove that every Harnack curve arises as a spectral curve of some dimer model. We also prove that the space of Harnack curve of given degree is homeomorphic to a closed octant and that the areas of the amoeba holes and the distances between the amoeba tentacles give these global coordinates. We characterize Harnack curves of genus zero as spectral curves of isoradial dimers and also as minimizers of the volume under their Ronkin function with given boundary conditions.


title: Fuzzy Cognitive Maps and Neutrosophic Cognitive Maps

abstract: In this book we study the concepts of Fuzzy Cognitive Maps (FCMs) and their Neutrosophic analogue, the Neutrosophic Cognitive Maps (NCMs).Fuzzy Cognitive Maps are fuzzy structures that strongly resemble neural networks, and they have powerful and far-reaching consequences as a mathematical tool for modeling complex systems. Neutrosophic Cognitive Maps are generalizations of FCMs, and their unique feature is the ability to handle indeterminacy in relations between two concepts thereby bringing greater sensitivity into the results. Some of the varied applications of FCMs and NCMs which has been explained by us, in this book, include: modeling of supervisory systems; design of hybrid models for complex systems; mobile robots and in intimate technology such as office plants; analysis of business performance assessment; formalism debate and legal rules; creating metabolic and regulatory network models; traffic and transportation problems; medical diagnostics; simulation of strategic planning process in intelligent systems; specific language impairment; web-mining inference application; child labor problem; industrial relations: between employer and employee, maximizing production and profit; decision support in intelligent intrusion detection system; hyperknowledge representation in strategy formation; female infanticide; depression in terminally ill patients and finally, in the theory of community mobilization and women empowerment.


title: There may be no Hausdorff ultrafilters

abstract: An ultrafilter U is Hausdorff if for any two functions f,g mapping N to N, f(U)=g(U) iff f(n)=g(n) for n in some X in U. We will show that it is consistent that there are no Hausdorff ultrafilters.


abstract: The authors obtained the classification theorem for Lagrangian H-umbilical submanifolds in quaternion Euclidean spaces using the idea of quaternion extensors.