title: Arithmetic partial differential equations

abstract: We develop an arithmetic analogue of linear partial differential equations in two independent ``space-time'' variables. The spatial derivative is a Fermat quotient operator, while the time derivative is the usual derivation. This allows us to ``flow'' integers or, more generally, points on algebraic groups with coordinates in rings with arithmetic flavor. In particular, we show that elliptic curves have certain canonical ``flows'' on them that are the arithmetic analogues of the heat and wave equations. The same is true for the additive and the multiplicative group.


title: Special systems through double points on an algebraic surface

abstract: Let S be a smooth algebraic surface satisfying the following property: H^i(\oc_S(C))=0 (i=1,2) for any irreducible and reduced curve C of S. The aim of this paper is to provide a characterization of special linear systems on S which are singular along a set of double points in general position. As an application, the dimension of such systems is evaluated in case S is an Abelian, an Enriques, a K3 or an anticanonical rational surface.


title: New Symmetry Groups for Generalized Solutions of ODEs

abstract: It is shown for a simple ODE that it has many symmetry groups beyond its usual Lie group symmetries, when its generalized solutions are considered within the nowhere dense differential algebra of generalized functions.


title: Elastic waves in exterior domains, Part II: Global existence with a null structure

abstract: In this article, we prove that solutions to a problem in nonlinear elasticity corresponding to small initial displacements exist globally in the exterior of a nontrapping obstacle. The medium is assumed to be homogeneous, isotropic, and hyperelastic, and the nonlinearity is assumed to satisfy a null condition. The techniques contained herein would allow for more complicated geometries provided that there is a sufficient decay of local energy for the linearized problem.


title: Class Numbers of Orders in Quartic Fields

abstract: We prove an asymptotic formula for class numbers of totlally imaginary quartic number fields, ie for number fields of degree 4 over Q with only complex embeddings. After previous work for real quadratic fields (Sarnak) and complex cubic fields (Deitmar), this is the last remaining case of number fields with unit rank one.


title: When is the Product isomorphic to the Coproduct

abstract: For a category C we investigate the problem of when the coproduct $\bigoplus$ and the product functor $\prod$ from C^I to C are isomorphic for a fixed set I, or, equivalently, when the two functors are Frobenius functors. We show that for an Ab-category C this happens if and only if the set I is finite. Moreover, this is true even in a much more general case, if there is a morphism in C that is invertible with respect to the addition of morphisms. If C does not have this property we give an example to see that the two functors can be isomorphic for infinite sets $I$. However we show that $\bigoplus$ and $\prod$ are always isomorphic on a suitable subcategory of C^I which is isomorphic to C^I but is not a full subcategory. For the module category case we provide a different proof to display an interesting connection to the notion of Frobenius corings.


title: Iterated Differential Forms I: Tensors

abstract: We interpret tensors on a smooth manifold M as differential forms over a graded commutative algebra called the algebra of iterated differential forms over M. This allows us to put standard tensor calculus in a new differentially closed context and, in particular, enriches it with new natural operations. Applications will be considered in subsequent notes.


title: Group bundle duality, invariants for certain C*-algebras, and twisted equivariant K-theory

abstract: A duality is discussed for Lie group bundles vs. certain tensor categories with non-simple identity, in the setting of Nistor-Troitsky gauge-equivariant K-theory. As an application, we study C*-algebra bundles with fibre a fixed-point algebra of the Cuntz algebra: a classification is given, and a cohomological invariant is assigned, representing the obstruction to perform an embedding into a continuous bundle of Cuntz algebras. Finally, we introduce the notion of twisted equivariant K-theory.


title: Local structure theorems for smooth maps of formal schemes

abstract: We continue our study on infinitesimal lifting properties of maps between locally noetherian formal schemes started in math.AG/0604241. In this paper, we focus on some properties which arise specifically in the formal context. In this vein, we make a detailed study of the relationship between the infinitesimal lifting properties of a morphism of formal schemes and those of the corresponding maps of usual schemes associated to the directed systems that define the corresponding formal schemes. Among our main results, we obtain the characterization of completion morphisms as pseudo-closed immersions that are flat. Also, the local structure of smooth and etale morphisms between locally noetherian formal schemes is described: the former factors locally as a completion morphism followed by a smooth adic morphism and the latter as a completion morphism followed by an etale adic morphism.


title: Expected Number of Local Maxima of Some Gaussian Random Polynomials

abstract: Let $Q_n(x)=\sum_{i=0}^{n} A_{i}x^{i}$ be a random algebraic polynomial where the coefficients $A_0,A_1,... $ form a sequence of centered Gaussian random variables. Moreover, assume that the increments $\Delta_j=A_j-A_{j-1}$, $j=0,1,2,...$ are independent, $A_{-1}=0$. The coefficients can be considered as $n$ consecutive observations of a Brownian motion. We study the asymptotic behaviour of the expected number of local maxima of $Q_n(x)$ below level $u=O(n^k)$, for some $k>0$.


title: The Random Edge Simplex Algorithm on Dual Cyclic 4-Polytopes

abstract: The simplex algorithm using the random edge pivot-rule on any realization of a dual cyclic 4-polytope with n facets does not take more than O(n) pivot-steps. This even holds for general abstract objective functions (AOF) / acyclic unique sink orientations (AUSO). The methods can be used to show analogous results for products of two polygons. In contrast, we show that the random facet pivot-rule is slow on dual cyclic 4-polytopes, i.e. there are AUSOs on which random facet takes at least \Omega(n^2) steps.


title: Real hypersurfaces with constant principal curvatures in the complex hyperbolic plane

abstract: We classify all real hypersurfaces with constant principal curvatures in the complex hyperbolic plane.


title: Prime filtrations of monomial ideals and polarizations

abstract: We show that all monomial ideals in the polynomial ring in at most 3 variables are pretty clean and that an arbitrary monomial ideal $I$ is pretty clean if and only if its polarization $I^p$ is clean. This yields a new characterization of pretty clean monomial ideals in terms of the arithmetic degree, and it also implies that a multicomplex is shellable if and only the simplicial complex corresponding to its polarization is (non-pure) shellable. We also discuss Stanley decompositions in relation to prime filtrations.


title: The GGU-model and Generation of the Developmental Paradigms

abstract: In this brief note, certain illustrated methods for generating developmental paradigms (event sequences) are formalized and compared to previous methods.


title: A uniqueness result on boundary interpolation

abstract: Let $f$ be an analytic function mapping the unit disk $\D$ to itself. We give necessary and sufficient conditions on the local behavior of $f$ near a finite set of boundary points that requires $f$ to be a finite Blaschke product.


title: Castelnuovo-Mumford regularity of canonical and deficiency modules

abstract: We give two kinds of bounds for the Castelnuovo-Mumford regularity of the canonical module and the deficiency modules of a ring, respectively in terms of the homological degree and the Castelnuovo-Mumford regularity of the original ring.


title: The boundary of the Milnor fiber for some non-isolated germs of complex surfaces

abstract: We study the boundary L_t of the Milnor fiber for the non-isolated singularities in C^3 with equation z^m - g(x,y) = 0 where g(x,y) is a non-reduced plane curve germ. We give a complete proof that L_t is a Waldhausen graph manifold and we provide the tools to construct its plumbing graph. As an example, we give the plumbing graph associated to the germs z^2 - (x^2 - y^3)y^l = 0 with l an interger >1. We prove that the boundary of the Milnor fiber is a Waldhausen manifold new in complex geometry, as it cannot be the boundary of a normal surface singularity.


title: Abelian Equations and Rank Problems for Planar Webs

abstract: We find an invariant characterization of planar webs of maximum rank. For 4-webs, we prove that a planar 4-web is of maximum rank three if and only if it is linearizable and its curvature vanishes. This result leads to the direct web-theoretical proof of the Poincar\'{e}'s theorem: a planar 4-web of maximum rank is linearizable. We also find an invariant intrinsic characterization of planar 4-webs of rank two and one and prove that in general such webs are not linearizable. This solves the Blaschke problem ``to find invariant conditions for a planar 4-web to be of rank 1 or 2 or 3''. Finally, we find invariant characterization of planar 5-webs of maximum rank and prove than in general such webs are not linearizable.


title: On the stability by tensor products of complexes of arithmetic D-modules

abstract: Let $V$ be a complete discrete valued ring of mixed characteristic $(0,p)$, $K$ its field of fractions, $k$ its residue field which is supposed to be perfect. Let $X$ be a separated $k$-scheme of finite type and $Y$ be a smooth open of $X$. We check that the equivalence of categories $sp_{(Y,X),+}$ (from the category of overconvergent isocrystals on $(Y,X)/K$ to that of overcoherent isocrystals on $(Y,X)/K$) commutes with tensor products. Next, in Berthelot's theory of arithmetic $\mathcal{D}$-modules, we prove the stability under tensor products of the devissability in overconvergent isocrystals. With Frobenius structures, we get the stability under tensor products of the overholonomicity.


title: A construction of semisimple tensor categories

abstract: Starting from an abelian category A such that every object has only finitely many subobjects we construct a semisimple tensor category T. We show that T interpolates the categories Rep(Aut(p),K) where p runs through certain projective (pro-)objects of A. The main example is A=finite dimensional F_q-vector spaces. Then T can be considered as the category of representations of GL(n,F_q) where n is not a natural number. This work extends a construction of Deligne for symmetric groups.


title: Morse index of constant mean curvature tori of revolution in the 3-sphere

abstract: We compute lower bounds for the Morse index and nullity of constant mean curvature tori of revolution in the three-dimensional unit sphere. In particular, all such tori have index at least five, with index growing at least linearly with respect to the number of the surfaces' bulges, and the index of such tori can be arbitrarily large.


title: Chang's conjecture may fail at supercompact cardinals (submitted)

abstract: We prove a revised version of Laver's indestructibility theorem which slightly improves over the classical result. An application yields the consistency of $(\kappa^+,\kappa)\notcc(\aleph\_1,\aleph\_0)$ when $\kappa$ is supercompact. The actual proofs show that $\omega\_1$-regressive Kurepa-trees are consistent above a supercompact cardinal even though ${\rm MM}$ destroys them on all regular cardinals. This rather paradoxical fact contradicts the common intuition.


title: Forcing indestructibility of set-theoretic axioms

abstract: Various theorems for the preservation of set-theoretic axioms under forcing are proved, regarding both forcing axioms and axioms true in the Levy-Collapse. These show in particular that certain applications of forcing axioms require to add generic countable sequences high up in the set-theoretic hierarchy even before collapsing everything down to $\aleph\_1$. Later we give applications, among them the consistency of ${\rm MM}$ with $\aleph\_\omega$ not being Jonsson which answers a question raised during Oberwolfach 2005.


title: Kurepa-trees and Namba-forcing

abstract: We show that compact cardinals and {\rm MM} are sensitive to $\lambda$-closed forcings for arbitrarily large $\lambda$. This is done by adding 'regressive' $\lambda$-Kurepa-trees in either case. We argue that the destruction of regressive Kurepa-trees with {\rm MM} requires the use of Namba forcing.


title: Trees, ultrametrics, and noncommutative geometry

abstract: Noncommutative geometry is used to study the local geometry of ultrametric spaces and the geometry of trees at infinity. Connes's example of the noncommutative space of Penrose tilings is interpreted as a non-Hausdorff orbit space of a compact, ultrametric space under the action of its local isometry group. This is generalized to compact, locally rigid, ultrametric spaces. The local isometry types and the local similarity types in those spaces can be analyzed using groupoid C^*-algebras. The concept of a locally rigid action of a countable group \Gamma on a compact, ultrametric space by local similarities is introduced. It is proved that there is a faithful unitary representation of \Gamma into the germ groupoid C^*-algebra of the action. The prototypical example is the standard action of Thompson's group V on the ultrametric Cantor set. In this case, the C^*-algebra is the Cuntz algebra O_2 and representations originally due to Birget and Nekrashevych are recovered. End spaces of trees are sources of ultrametric spaces. Some connections are made between locally rigid, ultrametric spaces and a concept in the theory of tree lattices of Bass and Lubotzky.


title: Repopulation: is it inevitably?

abstract: A mathematical model of radiotherapy is proposed. The study used the classical 24 hours way of fractionation with a weekend pause. We introduce the matrices of ``radiotherapy'' and ``growth''. We developed an equation of the fraction cell evolution, which we solved numerically. The results indicate that the accelerated growth of cells occurs due to the decrease of the fraction of slowly growing cells and increase of the cells that are fast growing.


title: The fundamental group of symplectic manifolds with Hamiltonian Lie group actions

abstract: Let $(M, \omega)$ be a connected, compact symplectic manifold equipped with a Hamiltonian $G$ action, where $G$ is a connected compact Lie group. Let $\phi$ be the moment map. In \cite{L}, we proved the following result for $G=S^1$ action: as fundamental groups of topological spaces, $\pi_1(M)=\pi_1(M_{red})$, where $M_{red}$ is the symplectic quotient at any value of the moment map $\phi$. In this paper, we generalize this result to other connected compact Lie group $G$ actions. We also prove that the above fundamental group is isomorphic to that of $M/G$. We briefly discuss the generalization of the first part of the results to non-compact manifolds with proper moment maps.


title: Higher order semiparametric frequentist inference with the profile sampler

abstract: We consider higher order frequentist inference for the parametric component of a semiparametric model based on sampling from the posterior profile distribution. The first order validity of this procedure established by Lee, Kosorok and Fine in [J. American Statist. Assoc. 100 (2005) 960--969] is extended to second-order validity in the setting where the infinite-dimensional nuisance parameter achieves the parametric rate. Specifically, we obtain higher order estimates of the maximum profile likelihood estimator and of the efficient Fisher information. Moreover, we prove that an exact frequentist confidence interval for the parametric component at level $\alpha$ can be estimated by the $\alpha$-level credible set from the profile sampler with an error of order $O_P(n^{-1})$. Simulation studies are used to assess second-order asymptotic validity of the profile sampler. As far as we are aware, these are the first higher order accuracy results for semiparametric frequentist inference.


title: Lines of minima and Teichmuller geodesics

abstract: For two measured laminations $\nu^+$ and $\nu^-$ that fill up a hyperbolizable surface $S$ and for $t \in (-\infty, \infty)$, let $L_t$ be the unique hyperbolic surface that minimizes the length function $e^t l(\nu^+) + e^{-t} l(\nu^-)$ on Teichmuller space. We characterize the curves that are short in $L_t$ and estimate their lengths. We find that the short curves coincide with the curves that are short in the surface $G_t$ on the Teichmuller geodesic whose horizontal and vertical foliations are respectively, $e^t \nu^+$ and $e^{-t} \nu^-$. By deriving additional information about the twists of $\nu^+$ and $\nu^-$ around the short curves, we estimate the Teichmuller distance between $L_t$ and $G_t$. We deduce that this distance can be arbitrarily large, but that if $S$ is a once-punctured torus or four-times-punctured sphere, the distance is bounded independently of $t$.


title: Fomin-Zelevinsky mutation and tilting modules over Calabi-Yau algebras

abstract: We say that an algebra $\Lambda$ over a commutative noetherian ring $R$ is Calabi-Yau of dimension $d$ ($d$-CY) if the shift functor $[d]$ gives a Serre functor on the bounded derived category of the finite length $\Lambda$-modules. We show that when $R$ is $d$-dimensional local Gorenstein the $d$-CY algebras are exactly the symmetric $R$-orders of global dimension $d$. We give a complete description of all tilting modules of projective dimension at most one for 2-CY algebras, and show that they are in bijection with elements of affine Weyl groups, preserving various natural partial orders. We show that there is a close connection between tilting theory for 3-CY algebras and the Fomin-Zelevinsky mutation of quivers (or matrices). We prove a conjecture of Van den Bergh on derived equivalence of non-commutative crepant resolutions.


title: Termination of (many) 4-dimensional log flips

abstract: We prove that any sequence of 4-dimensional log flips that begins with a klt pair (X,D) such that -(K+D) is numerically equivalent to an effective divisor, terminates. This implies termination of flips that begin with a log Fano pair and termination of flips in a relative birational setting. We also prove termination of directed flips with big K+D. As a consequence, we prove existence of minimal models of 4-dimensional dlt pairs of general type, existence of 5-dimensional log flips, and rationality of Kodaira energy in dimension 4.


title: Constructive Mathematical Truth

abstract: We define constructive truth for arithmetic and for intuitionistic analysis, and investigate its properties. We also prove that the set of constructively true (first order) arithmetical statements is Pi-1-2 and Sigma-1-2 hard, and we conjecture it to be complete for second order arithmetic. A statement is constructively true iff it is realized by a constructive function under continuous function realizability.


title: Deformations of local systems and Eisenstein series

abstract: Let $X$ be a (smooth and complete) curve and $G$ a reductive group. In [BG] we introduced the object that we called "geometric Eisenstein series". This is a perverse sheaf $\bar{Eis}_E$ (or rather a complex of such) on the moduli stack $Bun_G(X)$ of principal $G$-bundles on $X$, which is attached to a local system $E$ on $X$ with respect to the torus $\check{T}$, Langlands dual to the Cartan subgroup $T\subset G$. In loc. cit. we showed that$\bar{Eis}_E$ corresponds to the $\check{G}$-local system induced from $E$, in the sense of the geometric Langlands correspondence. In the present paper we address the following question, suggested by V. Drinfeld: what is the perverse sheaf on $Bun_G(X)$ that corresponds to the universal deformation of $E$ as a local system with respect to the Borel subgroup $\check{B}\subset \check{G}$? We prove, following a conjecture of Drinfeld, that the resulting perverse sheaf if the classical, i.e., non-compactified Eisenstein series.


title: L'isomorphisme entre les tours de Lubin-Tate et de Drinfeld : demonstration du resultat principal

abstract: This is the fourth article about the isomorphism between Lubin-Tate and Drinfeld towers. We prove the final result concerning the isomorphism that is to say the existence of an equivariant isomorphism between some blow-up of the formal scheme associated to Lubin-Tate space with infinite level constructed cellularly before and a blow-up of another formal scheme associated to Drinfeld tower. We follow the strategy of Gerd Faltings.


title: The homotopy Gerstenhaber algebra of Hochschild cochains of a regular algebra is formal

abstract: The solution of Deligne's conjecture on Hochschild cochains and the formality of the operad of little disks provide us with a natural homotopy Gerstenhaber algebra structure on the Hochschild cochains of an associative algebra. In this paper we construct a natural chain of quasi-isomorphisms of homotopy Gerstenhaber algebras between the Hochschild cochain complex C(A) of a regular commutative algebra A over a field of characteristic zero and the Gerstenhaber algebra of multiderivations of A. Unlike the original approach of the second author based on the computation of obstructions our method allows us to avoid the bulky Gelfand-Fuchs trick and prove the formality of the homotopy Gerstenhaber algebra structure on the sheaf of polydifferential operators on a smooth algebraic variety, a complex manifold, and a smooth real manifold.


title: Non-Holonomicity of Sequences Defined via Elementary Functions

abstract: We present a new method for proving non-holonomicity of sequences, which is based on results about the number of zeros of elementary and of analytic functions. Our approach is applicable to sequences that are defined as the values of an elementary function at positive integral arguments. We generalize several recent results; e.g., non-holonomicity of the logarithmic sequence is extended to rational functions involving $\log n$. Moreover, we show that the sequence that arises from evaluating the Riemann zeta function at odd integers is not holonomic.


title: Projective Pseudodifferential Analysis and Harmonic Analysis

abstract: We consider pseudodifferential operators on functions on $\R^{n+1}$ which commute with the Euler operator, and can thus be restricted to spaces of functions homogeneous of some given degree. Their symbols can be regarded as functions on a reduced phase space, isomorphic to the homogeneous space $G_n/H_n=SL(n+1,\R)/GL(n,\R)$, and the resulting calculus is a pseudodifferential analysis of operators acting on spaces of appropriate sections of line bundles over the projective space $P_n(\R)$ : these spaces are the representation spaces of the maximal degenerate series $(\pi_{i\lambda,\epsilon})$ of $G_n$ . This new approach to the quantization of $G_n/H_n$, already considered by other authors, has several advantages: as an example, it makes it possible to give a very explicit version of the continuous part from the decomposition of $L^2(G_n/H_n)$ under the quasiregular action of $G_n$ . We also consider interesting special symbols, which arise from the consideration of the resolvents of certain infinitesimal operators of the representation $\pi_{i\lambda,\epsilon}$ .


title: Enumeration of generalized polyominoes

abstract: As a generalization of polyominoes we consider edge-to-edge connected nonoverlapping unions of regular $k$-gons. For $n\le 4$ we determine formulas for the number $a_k(n)$ of generalized polyominoes consisting of $n$ regular $k$-gons. Additionally we give a table of the numbers $a_k(n)$ for small $k$ and $n$ obtained by computer enumeration. We finish with some open problems for $k$-polyominoes.


title: On twisted Fourier analysis and convergence of Fourier series on discrete groups

abstract: We study norm convergence and summability of Fourier series in the setting of reduced twisted group $C^*$-algebras of discrete groups. For amenable groups, F{\o}lner nets give the key to Fej\'er summation. We show that Abel-Poisson summation holds for a large class of groups, including e.g. all Coxeter groups and all Gromov hyperbolic groups. As a tool in our presentation, we introduce notions of polynomial and subexponential H-growth for countable groups w.r.t. proper scale functions, usually chosen as length functions. These coincide with the classical notions of growth in the case of amenable groups.


title: Effective support size

abstract: Notion of effective size of support (Ess) of a random variable is introduced. A small set of natural requirements that a measure of Ess should satisfy is presented. The measure with prescribed properties is in a direct (exp-) relationship to the family of Renyi's $\alpha$-entropies. Question of selecting the value of $\alpha$ most appropriate for the purpose of measuring Ess is briefly addressed.


title: An upper bound for permanents of nonnegative matrices

abstract: A recent conjecture of Caputo, Carlen, Lieb, and Loss, and, independently, of the author, states that the maximum of the permanent of a matrix whose rows are unit vectors in l_p is attained either for the identity matrix I or for a constant multiple of the all-1 matrix J. The conjecture is known to be true for p = 1 (I) and for p \ge 2 (J). We prove the conjecture for a subinterval of (1,2), and show the conjectured upper bound to be true within a subexponential factor (in the dimension) for all 1 < p < 2. In fact, for p bounded away from 1, the conjectured upper bound is true within a constant factor. This leads to a mild (subexponential) improvement in deterministic approximation factor for the permanent. We present an efficient deterministic algorithm that approximates the permanent of a nonnegative n\times n matrix within exp{n - O(n/\log n)}.


title: Strong consistency of MLE for finite mixtures of location-scale distributions when the scale parameters are exponentially small (full version)

abstract: In a finite mixture of location-scale distributions maximum likelihood estimator does not exist because of the unboundedness of the likelihood function when the scale parameter of some mixture component approaches zero. In order to study the strong consistency of maximum likelihood estimator, we consider the case that the scale parameters of the component distributions are restricted from below by $c_n$, where $c_n$ is a sequence of positive real numbers which tend to zero as the sample size $n$ increases. We prove that under mild regularity conditions maximum likelihood estimator is strongly consistent if the scale parameters are restricted from below by $c_{n} = \exp(-n^d)$, $0 < d < 1$.


title: Notes on duality theories of abelian groups

abstract: In this notebook, I present duality theory (or theories) of abelian groups with some categorical and categorical topological flavour. I consider writing this notebook as a longer-term project, and its current content and presentation is "under development." In other words, all questions, comments, suggestions, and criticism is more than usually welcome. In Chapter 1, which is the only more-or-less ready part, the evaluation homomorphism A --> A^^ (of a group A into its bidual A^^) is studied, with particular attention to quasi-convexity and special groups (compact, discrete, LCA) and subgroups (open, compact). The treatment of LCA groups is incomplete, but the ultimate goal is to make it as self-contained as possible.


title: On toric face rings

abstract: Following a construction of Stanley we consider toric face rings associated to rational pointed fans. This class of rings is a common generalization of the concepts of Stanley--Reisner and affine monoid algebras. The main goal of this article is to unify parts of the theories of Stanley--Reisner- and affine monoid algebras. We consider (non-pure) shellable fan's and the Cohen--Macaulay property. Moreover, we study the local cohomology, the canonical module and the Gorenstein property of a toric face ring.


title: The regular algebra of a quiver

abstract: Let $K$ be a fixed field. We attach to each column-finite quiver $E$ a von Neumann regular $K$-algebra $Q(E)$ in a functorial way. The algebra $Q(E)$ is a universal localization of the usual path algebra $P(E)$ associated with $E$. The monoid of isomorphism classes of finitely generated projective right $Q(E)$-modules is explicitly computed.


title: A one dimensional family of K3 surfaces with a Z_4 action

abstract: The minimal resolution of the degree four cyclic cover of the plane branched along a GIT stable quartic is a K3 surface with a non symplectic action of Z_4. In this paper we study the geometry of the one dimensional family of K3 surfaces associated to the locus of plane quartics with five nodes.


title: Periodic Solutions of Abel Differential Equations

abstract: For a class of polynomial non-autonomous differential equations of degree n, we use phase plane analysis to show that each equation in this class has n periodic solutions. The result implies that certain rigid two-dimensional systems have at most one limit cycle which appears through multiple Hopf bifurcation.


title: Graphical Condensation Generalizations Involving Pfaffians and Determinants

abstract: Graphical condensation is a technique used to prove combinatorial identities among numbers of perfect matchings of plane graphs. Propp and Kuo first applied this technique to prove identities for bipartite graphs. Yan, Yeh, and Zhang later applied graphical condensation to nonbipartite graphs to prove more complex identities. Here we generalize some of the identities of Yan, Yeh, and Zhang. We also describe the latest generalization of graphical condensation in which the number of perfect matchings of a plane graph is expressed as a Pfaffian or a determinant where the entries are also numbers of perfect matchings of subgraphs.


title: On certain generalizations of twisted affine Lie algebras and quasimodules for $\Gamma$-vertex algebras

abstract: We continue a previous study on $\Gamma$-vertex algebras and their quasimodules. In this paper we refine certain known results and we prove that for any $\Z$-graded vertex algebra $V$ and a positive integer $N$, the category of $V$-modules is naturally isomorphic to the category of quasimodules of a certain type for $V^{\otimes N}$. We also study certain generalizations of twisted affine Lie algebras and we relate such Lie algebras to vertex algebras and their quasimodules, in a way similar to that twisted affine Lie algebras are related to vertex algebras and their twisted modules.


title: Homology Functors with Cubical Bars

abstract: This work arose from efforts to generalise the usual cubical boundary by using different 'weights' for opposite faces, but still to obtain a chain complex, and this method was found to generalise. We describe a variant of the classical singular homology theory, in which the usual boundary (n-1)-cubes of each n-cube are replaced by combinations of internal (n-1)-cubes parallel to the boundary. This defines a generalised homology theory, but the usual singular homology can be recovered by taking the quotient by the degenerate singular cubes.


title: Operator algebras and conjugacy problem for the pseudo-Anosov automorphisms of a surface

abstract: The conjugacy problem for the pseudo-Anosov automorphisms of a compact surface is studied. To each pseudo-Anosov automorphism f, we assign an AF-algebra A(f) (an operator algebra). It is proved that the assignment is functorial, i.e. every f', conjugate to f, maps to an AF-algebra A(f'), which is stably isomorphic to A(f). The new invariants of the conjugacy of the pseudo-Anosov automorphisms are obtained from the known invariants of the stable isomorphisms of the AF-algebras. Namely, the main invariant is a triple (L, [I], K), where L is an order in the ring of integers in a real algebraic number field K and [I] an equivalence class of the ideals in L. The numerical invariants include the determinant D and the signature S, which we compute for the case of the Anosov automorphisms. A question concerning the p-adic invariants of the pseudo-Anosov automorphism is formulated.


title: Complex-valued solutions of the Benjamin-Ono equation

abstract: We prove that the Benjamin-Ono initial-value problem is locally well-posed for small, complex-valued data in Sobolev spaces with special low-frequency structure.


title: The configurational measure on mutually avoiding SLE paths

abstract: We define multiple chordal SLEs in a simply connected domain by considering a natural configurational measure on paths. We show how to construct these measures so that they are conformally covariant and satisfy certain boundary perturbation and Markov properties, as well as a cascade relation. As an example of our construction, we derive the scaling limit of Fomin's identity in the case of two paths directly; that is, we prove that the probability that an SLE(2) and a Brownian excursion do not intersect can be given in terms of the determinant of the excursion hitting matrix. Finally, we define the lambda-SAW, a one-parameter family of measures on self-avoiding walks on Z^2.


title: Jacobians with a vanishing theta-null in genus 4

abstract: In this paper we prove a conjecture of Hershel Farkas that if a 4-dimensional principally polarized abelian variety has a vanishing theta-null, and the hessian of the theta function at the corresponding point of order two is degenerate, the abelian variety is a Jacobian. We also discuss possible generalizations to higher genera, and an interpretation of this condition as an infinitesimal version of Andreotti and Mayer's local characterization of Jacobians by the dimension of the singular locus of the theta divisor.


title: L\"owner equations and dispersionless hierarchies

abstract: Using the Hirota representation of dispersionless dKP and dToda hierarchies, we show that the chordal L\"owner equations and radial L\"owner equations respectively serve as consistency conditions for one variable reductions of these integrable hierarchies. We also clarify the geometric meaning of this result by relating it to the eigenvalue distribution of normal random matrices in the large N limit.


title: A binary additive equation involving fractional powers

abstract: We study the solubility of the binary additive equation $[m^c] + [p^c] = n$, where $m$ is an integer, $p$ is a prime number, and $c$ is a fixed real number in the range $1 < c < 3/2$.


title: An action of a Lie algebra on the homology groups of moduli spaces of stable sheaves

abstract: We construct an action of a Lie algebra on the homology groups of moduli spaces of stable sheaves on K3 surfaces under some technical conditions. This is a generalization of Nakajima's construction of sl_2-action on the homology groups. In particular, for an A,D,E-configulation of (-2)-curves, we shall give a collection of moduli spaces such that the associated Lie algebra acts on their homology groups.


title: A Euclidean Geometric Invariant of Framed (Un)Knots in Manifolds

abstract: We present an invariant of a three-dimensional manifold with a framed knot in it based on the Reidemeister torsion of an acyclic complex of Euclidean geometric origin. To show its nontriviality, we calculate the invariant for some framed (un)knots in lens spaces. Our invariant is related to a finite-dimensional fermionic topological quantum field theory.


title: A Finiteness theorem for zero-cycles over $p$-adic fields

abstract: In this paper we prove a finiteness result concerning the Chow group of zero-cycles for varieties over $p$-adic local fields. In this final version, there are several corrections concerning mathematical symbols and reference to related known results.


title: Induced Representations of Infinite Symmetric Group

abstract: We study the representations of the infinite symmetric group induced from the identity representations of Young subgroups. It turns out that such induced representations can be either of type~I or of type~II. Each Young subgroup corresponds to a partition of the set of positive integers; depending on the sizes of blocks of this partition, we divide Young subgroups into two classes: large and small subgroups. The first class gives representations of type I, in particular, irreducible representations. The most part of Young subgroups of the second class give representations of type~II and, in particular, von Neumann factors of type II. We present a number of various examples. The main problem is to find the so-called {it spectral measure of the induced representation.} The complete solution of this problem is given for two-block Young subgroups and subgroups with infinitely many singletons and finitely many finite blocks of length greater than one.


title: Singular numbers and Stickelberger relation

abstract: Let p be an odd prime. Let K_p = Q(zeta) be the p-cyclotomic field. Let pi be the prime ideal of K_p lying over p. Let G be the Galois group of K_p. Let v be a primitive root mod p. Let sigma be a Q-isomorphism of K_p. Let P(sigma) = sigma^{p-2}v^{-(p-2)}+ ... + sigma v^{-1} +1 in Z[G], where v^n is understood (mod p). We apply Stickelberger relation to odd prime numbers q different of p and to some singular integers A of K_p connected with the p-class group C_p of K_p and prove the pi-adic congruences: 1) pi^{2p-1} | A^{P(\sigma)} if q = 1 (mod p), 2) pi^{2p-1} || A^{P(\sigma)} if q = 1 (mod p) and p^{(q-1)/p} = 1 (mod q). 3) pi^{2p} | A^{P(\sigma)} if q not = 1 (mod p). These results allow us to connect the structure of the p-class group C_p with pi-adic expression of singular numbers A and with solutions of some explicit congruences mod p in Z[X]. The last secion applies Stickelberger relation to describe the structure of the complete class group of K_p.


title: Loop-free Markov chains as determinantal point processes

abstract: We show that any loop-free Markov chain on a discrete space can be viewed as a determinantal point process. As an application, we prove central limit theorems for the number of particles in a window for renewal processes and Markov renewal processes with Bernoulli noise.


title: Simple closed form Hankel transforms based on the central coefficients of certain Pascal-like triangles

abstract: We study the Hankel transforms of sequences related to the central coefficients of a family of Pascal-like triangles. The mechanism of Riordan arrays is used to elucidate the structure of these transforms.


title: An explicit Construction of the Jacobian of a nonsingular curve and its group law

abstract: This paper is devoted to constructing an explicit efficient representation for the Jacobian variety of a nonsingular curve of genus greater than 1, and its group law. We describe an algorithm for executing the group law on the Jacobian elements, consisting of several steps. Finally we exhibit two examples. The first example exhibits an explicit formulation for the Jacobian of a well known non singular elliptic curve of genus 1, that is, the Weierstrass curve. The second example introduces an explicit computation of the group law for a non singular curve of genus 3, $C : \omega_2^4 = \omega_1 (\omega_1-\omega_0)(\omega_1-2\omega_0)(\omega_1-3\omega_0)$, where $\omega_0, \omega_1, \omega_2$ are homogeneous coordinates of the projective plane $\mathbb{P}^2$. These examples are highly detailed for the convenience of the reader.


title: Families of Sets with Intersecting Clusters

abstract: A family of $k$-subsets $A_1, A_2, ..., A_d$ on $[n]=\{1,2,..., n\}$ is called a $(d, c)$-cluster if the union $A_1\cup A_2 \cup ... \cup A_d$ contains at most $ck$ elements with $c<d$. Let $\mathcal{F}$ be a family of $k$-subsets of an $n$-element set. We show that for $k \geq 2$ and $n \geq k+2$, if every $(k, 2)$-cluster of $\mathcal{F}$ is intersecting, then $\mathcal{F}$ contains no $(k-1)$-dimensional simplices. This leads to an affirmative answer to Mubayi's conjecture for $d=k$ based on Chv\'atal's simplex theorem. We also show that for any $d$ satisfying $3 \leq d \leq k$ and $n \geq \frac{dk}{d-1}$, if every $(d, {d+1\over 2})$-cluster is intersecting, then $|\mathcal{F}|\leq {{n-1} \choose {k-1}}$ with equality only when $ \mathcal{F}$ is a complete star. This result is an extension of both Frankl's theorem and Mubayi's theorem.


title: Bispectral and (gl_N, gl_M) Dualities, Discrete Versus Differential

abstract: Let $V = < x^{\lambda_i}p_{ij}(x), i=1,...,n, j=1, ..., N_i > $ be a space of quasi-polynomials in $x$ of dimension $N=N_1+...+N_n$. The regularized fundamental differential operator of $V$ is the polynomial differential operator $\sum_{i=0}^N A_{N-i}(x)(x \frac d {dx})^i$ annihilating $V$ and such that its leading coefficient $A_0$ is a monic polynomial of the minimal possible degree. Let $U = < z_a^{u} q_{ab}(u), a=1,...,m, b=1,..., M_a >$ be a space of quasi-exponentials in $u$ of dimension $M=M_1+...+M_m$. The regularized fundamental difference operator of $U$ is the polynomial difference operator $\sum_{i=0}^M B_{M-i}(u)(\tau_u)^i$ annihilating $U$ and such that its leading coefficient $B_0$ is a monic polynomial of the minimal possible degree. Here $(\tau_uf)(u)=f(u+1)$. Having a space $V$ of quasi-polynomials with the regularized fundamental differential operator $D$, we construct a space of quasi-exponentials $U = <z_a^{u}q_{ab}(u) >$ whose regularized fundamental difference operator is the difference operator $\sum_{i=0}^N u^i A_{N-i}(\tau_u)$. The space $U$ is constructed from $V$ by a suitable integral transform. Similarly, having $U$ we can recover $V$ by a suitable integral transform. Our integral transforms are analogs of the bispectral involution on the space of rational solutions to the KP hierarchy \cite{W}. As a corollary of the properties of the integral transforms we obtain a correspondence between solutions to the Bethe ansatz equations of two $(gl_N, gl_M)$ dual quantum integrable models: one is the special trigonometric Gaudin model and the other is the special XXX model.


title: Geometry of rank tests

abstract: We study partitions of the symmetric group which have desirable geometric properties. The statistical tests defined by such partitions involve counting all permutations in the equivalence classes. These permutations are the linear extensions of partially ordered sets specified by the data. Our methods refine rank tests of non-parametric statistics, such as the sign test and the runs test, and are useful for the exploratory analysis of ordinal data. Convex rank tests correspond to probabilistic conditional independence structures known as semi-graphoids. Submodular rank tests are classified by the faces of the cone of submodular functions, or by Minkowski summands of the permutohedron. We enumerate all small instances of such rank tests. Graphical tests correspond to both graphical models and to graph associahedra, and they have excellent statistical and algorithmic properties.


title: Howe Pairs in the Theory of Vertex Algebras

abstract: For any vertex algebra V and any subalgebra A of V, there is a new subalgebra of V known as the commutant of A in V. This construction was introduced by Frenkel-Zhu, and is a generalization of an earlier construction due to Kac-Peterson and Goddard-Kent-Olive known as the coset construction. In this paper, we interpret the commutant as a vertex algebra notion of invariant theory. We present an approach to describing commutant algebras in an appropriate category of vertex algebras by reducing the problem to a question in commutative algebra. We give an interesting example of a Howe pair (ie, a pair of mutual commutants) in the vertex algebra setting.


title: Few-cosine spherical codes and Barnes-Wall lattices

abstract: Using Barnes-Wall lattices and 1-cocycles on finite groups of monomial matrices, we give a procedure to construct tricosine spherical codes. This was inspired by a 14-dimensional code which Ballinger, Cohn, Giansiracusa and Morris discovered in studies of the universally optimal property. It has 64 vectors and cosines $-3/7, -1/7, 1/7$. We construct the {\it Optimism Code}, a 4-cosine spherical code with 256 unit vectors in 16-dimensions. The cosines are $0, 1/4, -1/4, -1$. Its automorphism group has shape $2^{1+8}{\cdot}GL(4,2)$. The Optimism Code contains a subcode related to the BCGM code. The Optimism Code implies existence of a nonlinear binary code with parameters $(16,256,6)$, a Nordstrom-Robinson code, and gives a context for determining its automorphism group, which has form $2^4{:}Alt_7$.


title: On the structure of framed vertex operator algebras and their pointwise frame stabilizers

abstract: In this paper, we study the structure of a general framed vertex operator algebra. We show that the structure codes (C,D) of a framed VOA V satisfy certain duality conditions. As a consequence, we prove that every framed VOA is a simple current extension of the associated binary code VOA V_C. This result would give a prospect on the classification of framed vertex operator algebras. In addition, the pointwise frame stabilizer of V is studied. We completely determine all automorphisms in this pointwise stabilizer, which are of order 1, 2 or 4. The 4A-twisted sector and the 4A-twisted orbifold theory of the famous Moonshine VOA are also constructed explicitly. We verify that the top module of this twisted sector is of dimension 1 and of weight 3/4 and the VOA obtained by 4A-twisted orbifold construction of the moonshine VOA is isomorphic to the moonshine VOA itself.


title: Character sheaves on certain spherical varieties

abstract: We study a class of perverse sheaves on some spherical varieties which include the strata of the De Concini-Procesi completion of a symmetric variety. This is a generalization of the theory of (parabolic) character sheaves.


title: A note on complete subdivisions in digraphs of large outdegree

abstract: Mader conjectured that for all k there is an integer d(k) such that every digraph of minimum outdegree at least d(k) contains a subdivision of a transitive tournament of order k. In this note we observe that if the minimum outdegree of a digraph is sufficiently large compared to its order then one can even guarantee a subdivision of a large complete digraph. More precisely, let G be a digraph of order n whose minimum outdegree is at least d. Then G contains a subdivision of a complete digraph of order at least d^2/(8n^{3/2}).


title: Two-parameter Quantum Groups of Exceptional Type E-Series and Convex PBW Type Basis

abstract: The presentation of two-parameter quantum groups of type E-series in the sense of Benkart-Witherspoon [BW1] is given, which has a Drinfel'd quantum double structure. The universal $R$-matrix and a convex PBW-type basis are described for type E_6 (as a sample), and the conditions of those isomorphisms from these quantum groups into the one-parameter quantum doubles are discussed.


title: Studies on concave Young-functions

abstract: We succeeded to isolate a special class of concave Young-functions enjoying the so-called \emph{density-level property}. In this class there is a proper subset whose members have each the so-called degree of contraction denoted by $c^{\ast}$, and map bijectively the interval $[ c^{\ast}, \infty) $ onto itself. We constructed the fixed point of each of these functions. Later we proved that every positive number $b$ is the fixed point of a concave Young-function having $b$ as degree of contraction. We showed that every concave Young-function is square integrable with respect to a specific Lebesgue measure. We also proved that the concave Young-functions possessing the density-level property constitute a dense set in the space of concave Young-functions with respect to the distance induced by the $L^{2}$-norm.


title: Bijections and metric spaces induced by some collective properties of concave Young-functions

abstract: For each ${\small b\in(0, \infty)}$ we intend to generate a decreasing sequence of subsets $(\mathcal{Y}_{b}^{(n)}) \subset Y_{\mathrm{conc}}$ depending on $b$ such that whenever $n\in\mathbb{N}$, then $\mathcal{A}\cap\mathcal{Y}_{b}^{(n)}% $ is dense in $\mathcal{Y}_{b}^{(n)}$ and the following four sets $\mathcal{Y}_{b}^{(n)}$, $\mathcal{Y}_{b}^{(n) }\backslash(\mathcal{A}\cap\mathcal{Y}_{b}^{(n)}) $, $\mathcal{A}\cap\mathcal{Y}_{b}^{(n)}$ and $\mathcal{Y}_{\mathrm{conc}}$ are pairwise equinumerous. Among others we also show that if $f$ is any measurable function on a measure space $(\Omega,\mathcal{F},\lambda) $ and $p\in[ 1,\infty) $ is an arbitrary number then the quantities $\left\Vert f\right\Vert_{L^{p}}$ and $\sup_{\Phi\in\widetilde{\mathcal{Y}_{\mathrm{conc}}}}(\Phi(1)) ^{-1}\left\Vert \Phi\circ| f| \right\Vert_{L^{p}}$ are equivalent, in the sense that they are both either finite or infinite at the same time.


title: Midy's Theorem for Periodic Decimals

abstract: The decimal expansion of 1/7 is 0.142857142857..., the block 142857 repeating forever. We call 142857 the period and its length is 6 = 2x3. If the period is broken into 2 pieces each of length 3 which are then added, the result is 142 + 857 = 999; similarly 14 + 28 + 57 = 99. Other periodic decimals show the same phenomenon while others do not. The general question then arises: Let a/N be a fraction with denominator prime to 10, having decimal expansion with period length dk, if the period is broken into d pieces of length k which are then added, when will the sum be 99...9, a block of k 9's? In 1836 E. Midy published an article analyzing this question and gave sufficient conditions in certain cases. We put the problem in a more general setting, working in an arbitrary number base B, and obtain new results. However, some open questions still remain.


title: On Algebraic Solutions of Polynomial Equations of Degree n in one Variable

abstract: We will show that the roots of a polynomial equation in one variable of degree n are related to the solutions of a symmetric quadratic form in n-1 variables with constant positive integer coefficients. The classic polynomial notation will be rewritten to define a characteristic discriminant of a polynomial of degree n. A new set of characteristic roots allows expressing the characteristic discriminant as the result of a symmetric quadratic form.


title: A remark on a relation between foliations and number theory

abstract: We interpret a formula for meromorphic functions on foliations by Riemann surfaces as an analogue to the product formula of valuations in algebraic number theory.


title: Automorphisms of finite Abelian groups

abstract: We give an accessible and modern description of the automorphisms of a finite abelian group $G$. Included is an explicit formula for the cardinality of $Aut(G)$.


title: Coisotropic Intersections

abstract: In this paper we make the first steps towards developing a theory of intersections of coisotropic submanifolds, similar to that for Lagrangian submanifolds. For coisotropic submanifolds satisfying a certain stability requirement we establish persistence of coisotropic intersections under Hamiltonian diffeomorphisms, akin to the Lagrangian intersection property. To be more specific, we prove that the displacement energy of a stable coisotropic submanifold is positive, provided that the ambient symplectic manifold meets some natural conditions. We also show that a displaceable, stable, coisotropic submanifold has non-zero Liouville class. This result further underlines the analogy between displacement properties of Lagrangian and coisotropic submanifolds.


title: The Brouwer Lecture 2005: Statistical estimation with model selection

abstract: The purpose of this paper is to explain the interest and importance of (approximate) models and model selection in Statistics. Starting from the very elementary example of histograms we present a general notion of finite dimensional model for statistical estimation and we explain what type of risk bounds can be expected from the use of one such model. We then give the performance of suitable model selection procedures from a family of such models. We illustrate our point of view by two main examples: the choice of a partition for designing a histogram from an n-sample and the problem of variable selection in the context of Gaussian regression.


title: On Decentralized Policies for the Stochastic k-Server Problem

abstract: In this paper we study a dynamic resource allocation problem which we call the stochastic k-server problem. In this problem, requests for some service to be performed appear at various locations over time, and we have a collection of k mobile servers which are capable of servicing these requests. When servicing a request, we incur a cost equal to the distance traveled by the dispatched server. The goal is to find a strategy for choosing which server to dispatch to each incoming request which keeps the average service cost as small as possible. In the model considered in this paper, the locations of service requests are drawn according to an IID random process. We show that, given a statistical description of this process, we can compute a simple decentralized state-feedback policy which achieves an average cost within a factor of two of the cost achieved by an optimal state-feedback policy. In addition, we demonstrate similar results for several extensions of the basic stochastic k-server problem.


title: Perfect packings with complete graphs minus an edge

abstract: Let K_r^- denote the graph obtained from K_r by deleting one edge. We show that for every integer r\ge 4 there exists an integer n_0=n_0(r) such that every graph G whose order n\ge n_0 is divisible by r and whose minimum degree is at least (1-1/chi_{cr}(K_r^-))n contains a perfect K_r^- packing, i.e. a collection of disjoint copies of K_r^- which covers all vertices of G. Here chi_{cr}(K_r^-)=r(r-2)/(r-1) is the critical chromatic number of K_r^-. The bound on the minimum degree is best possible and confirms a conjecture of Kawarabayashi for large n.


title: Fourier-Mukai transform on abelian surfaces

abstract: We show that the Fourier-Mukai transfortm on an abelian surface induces a birational map of the moduli space of stablke sheaves.


title: On Spin Structures and Dirac Operators on the Noncommutative Torus

abstract: We find and classify possible equivariant spin structures with Dirac operators on the noncommutative torus, proving that similarly as in the classical case the spectrum of the Dirac operator depends on the spin structure.


title: The conformal deformation detour complex for the obstruction tensor

abstract: On pseudo-Riemannian manifolds of even dimension $n\geq 4$, with everywhere vanishing (Fefferman-Graham) obstruction tensor, we construct a complex of conformally invariant differential operators. The complex controls the infinitesimal deformations of obstruction-flat structures, and, in the case of Riemannian signature the complex is elliptic.


title: Valuations in algebraic field extensions

abstract: Let $K\to L$ be an algebraic field extension and $\nu$ a valuation of $K$. The purpose of this paper is to describe the totality of extensions $\left\{\nu'\right\}$ of $\nu$ to $L$ using a refined version of MacLane's key polynomials. In the basic case when $L$ is a finite separable extension and $rk \nu=1$, we give an explicit description of the limit key polynomials (which can be viewed as a generalization of the Artin--Schreier polynomials). We also give a realistic upper bound on the order type of the set of key polynomials. Namely, we show that if $char K=0$ then the set of key polynomials has order type at most $\mathbb N$, while in the case $char K=p>0$ this order type is bounded above by $([\log_pn]+1)\omega$, where $n=[L:K]$. Our results provide a new point of view of the the well known formula $\sum\limits_{j=1}^se_jf_jd_j=n$ and the notion of defect.


title: The Behavior of Nil-Groups under Localization and the Relative Assembly Map

abstract: We study the behavior of the Nil-subgroups of K-groups under localization. As a consequence we obtain that the relative assembly map from the family of finite subgroups to the family of virtually cyclic subgroups is rationally an isomorphism. Combined with the equivariant Chern character we obtain a complete computation of the rationalized source of the K-theoretic assembly map in terms of group homology and the K-groups of finite cyclic subgroups.


title: Corrections to: Involutions fixing $\Bbb{RP}^{\text{odd}}\sqcup P(h,i)$, II

abstract: The purpose of this note is to correct statements of some assertions in \cite{l}.


title: Algebraic cobordism revisited

abstract: We define a cobordism theory in algebraic geometry based on normal crossing degenerations with double point singularities. The main result is the equivalence of double point cobordism to the theory of algebraic cobordism previously defined by Levine and Morel. Double point cobordism provides a simple, geometric presentation of algebraic cobordism theory. As a corollary, the Lazard ring given by products of projective spaces rationally generates all nonsingular projective varieties modulo double point degenerations. Double point degenerations arise naturally in relative Donaldson-Thomas theory. We use double point cobordism to prove all the degree 0 conjectures in Donaldson-Thomas theory: absolute, relative, and equivariant.


title: An index theorem for gerbes

abstract: In this paper we show an index theorem for gerbes


title: Cocycle categories

abstract: A cocycle category H(X,Y) is defined for objects X and Y in a model category, and it is shown that the set of morphisms [X,Y] is isomorphic to the set of path components of H(X,Y) provided the ambient model category is right proper and satisfies the extra condition that weak equivalences are closed under finite products. Various applications of this result are displayed, including the homotopy classification of torsors, abelian cohomology groups, group extensions and gerbes. The older classification results have simple new proofs involving canonically defined cocycles.


title: Behavior of a second class particle in Hammersley's process

abstract: In the case of a rarefaction fan in a non-stationary Hammersley process, we explicitly calculate the asymptotic behavior of the process as we move out along a ray, and the asymptotic distribution of the angle within the rarefaction fan of a second class particle and a dual second class particle. Furthermore, we consider a stationary Hammersley process and use the previous results to show that trajectories of a second class particle and a dual second class particles touch with probability one, and we give some information on the area enclosed by the two trajectories, up until the first intersection point. This is linked to the area of influence of an added Poisson point in the plane.


title: Homotopy classification of gerbes

abstract: Gerbes are locally connected presheaves of groupoids. They are classified up to local weak equivalence by path components in a 2-cocycle category taking values in all sheaves of groups, their isomorphisms and homotopies. If F is a full presheaf of sheaves of groups, isomorphisms and homotopies, then [*,BF] is isomorphic to equivalence classes of gerbes locally equivalent to groups appearing in F. Giraud's non-abelian cohomology object of equivalence classes of gerbes with band L is isomorphic to morphisms in the homotopy category from the point * to the homotopy fibre over L for a map defined on BF and taking values in the classifying space for the stack completion of the fundamental groupoid of F.


title: Painleve I asymptotics for orthogonal polynomials with respect to a varying quartic weight

abstract: We study polynomials that are orthogonal with respect to a varying quartic weight \exp(-N(x^2/2+tx^4/4)) for t<0, where the orthogonality takes place on certain contours in the complex plane. Inspired by developments in 2D quantum gravity, Fokas, Its, and Kitaev, showed that there exists a critical value for t around which the asymptotics of the recurrence coefficients are described in terms of exactly specified solutions of the Painleve I equation. In this paper, we present an alternative and more direct proof of this result by means of the Deift/Zhou steepest descent analysis of the Riemann-Hilbert problem associated with the polynomials. Moreover, we extend the analysis to non-symmetric combinations of contours. Special features in the steepest descent analysis are a modified equililbrium problem and the use of Psi-functions for the Painleve I equation in the construction of the local parametrix.


title: Prevalent Behavior of Strongly Order Preserving Semiflows

abstract: Classical results in the theory of monotone semiflows give sufficient conditions for the generic solution to converge toward an equilibrium or towards the set of equilibria (quasiconvergence). In this paper, we provide new formulations of these results in terms of the measure-theoretic notion of prevalence. For monotone reaction-diffusion systems with Neumann boundary conditions on convex domains, we show that the set of continuous initial data corresponding to solutions that converge to a spatially homogeneous equilibrium is prevalent. We also extend a previous generic convergence result to allow its use on Sobolev spaces. Careful attention is given to the measurability of the various sets involved.


title: Iterating lowering operators

abstract: For an algebraically closed base field of characteristic p>0, a new algorithm to construct some non-zero GL(n-1)-high weight vectors of irreducible rational GL(n)-modules is suggested. It is based on successively applying Kleshchev's lowering operators to GL(n-1)-high weight vectors already obtained.


title: On One Approach to Investigation of Mechanical Systems

abstract: The paper presents some results of qualitative analysis of Kirchhoff's differential equations describing motion of a rigid body in ideal fluid in Sokolov's case. The research methods are based on Lyapunov's classical results. Methods of computer algebra implemented in the computer algebra system (CAS) "Mathematica" were also used. Combination of these methods allowed us to obtain rather detailed information on qualitative properties for some classes of solutions of the equations.


title: On uniform subalgebras of L^\infty on the unit circle generated by almost periodic functions

abstract: In the present paper we introduce analogs of almost periodic functions on the unit circle. We study certain uniform algebras generated by such functions, prove corona theorems for them and describe their maximal ideal spaces.


title: Yang-Baxter maps and symmetries of integrable equations on quad-graphs

abstract: A connection between the Yang-Baxter relation for maps and the multi-dimensional consistency property of integrable equations on quad-graphs is investigated. The approach is based on the symmetry analysis of the corresponding equations. It is shown that the Yang-Baxter variables can be chosen as invariants of the multi-parameter symmetry groups of the equations. We use the classification results by Adler, Bobenko and Suris to demonstrate this method. Some new examples of Yang-Baxter maps are derived in this way from multi-field integrable equations.


title: Chen-Ruan cohomology of ADE singularities

abstract: We study Ruan's \textit{cohomological crepant resolution conjecture} for orbifolds with transversal ADE singularities. In the $A_n$-case we compute both the Chen-Ruan cohomology ring $H^*_{\rm CR}([Y])$ and the quantum corrected cohomology ring $H^*(Z)(q_1,...,q_n)$. The former is achieved in general, the later up to some additional, technical assumptions. We construct an explicit isomorphism between $H^*_{\rm CR}([Y])$ and $H^*(Z)(-1)$ in the $A_1$-case, verifying Ruan's conjecture. In the $A_n$-case, the family $H^*(Z)(q_1,...,q_n)$ is not defined for $q_1=...=q_n=-1$. This implies that the conjecture should be slightly modified. We propose a new conjecture in the $A_n$-case which we prove in the $A_2$-case by constructing an explicit isomorphism.


title: The Inequalities for Some Types of $q$-Integrals

abstract: We discuss the inequalities for $q$-integrals because of the fact that the inequalities can be very useful in the future mathematical research. Since $q$-integral of a function over an interval $[a,b]$ is defined by the difference of two infinite sums, there a lot of unexpected troubles in analyzing analogs of well-known integral inequalities. In this paper, we will signify to some directions to exceed this problem.


title: Low-regularity Schr\"{o}dinger maps, II: global well-posedness in dimensions $d\geq 3$

abstract: In dimensions greater than or equal to 3, we prove that the Schroedinger map initial-value problem is globally well-posed for small data in the critical Besov space.


title: Low-regularity Schr\"{o}dinger maps

abstract: We prove that the Schroedinger map initial-value problem is locally well-posed for small data in the Sobolev spaces $H^\sigma$, $\sigma>(d+1)/2$.


title: Relatively hyperbolic groups: geometry and quasi-isometric invariance

abstract: In this paper it is proved that relative hyperbolicity is an invariant of quasi-isometry. As a byproduct of the arguments, simplified definitions of relative hyperbolicity are obtained. In particular we obtain a new definition very similar to the one of hyperbolicity, relying on the existence for every quasi-geodesic triangle of a central left coset of peripheral subgroup.


title: Random matrix central limit theorems for nonintersecting random walks

abstract: We consider nonintersecting random walks satisfying the condition that the increments have a finite moment generating function. We prove that in a certain limiting regime where the number of walks and the number of time steps grow to infinity, several limiting distributions of the walks at the mid-time behave as the eigenvalues of random Hermitian matrices as the dimension of the matrices grows to infinity.


title: On the proper homotopy type of locally compact A^2_n-polyhedra

abstract: In this paper we address the classification problem for locally compact (n-1)-connected CW-complexes with dimension less or equal than n+2 up to proper homotopy type. We obtain complete classification theorems in terms of purely algebraic data in those cases where the representation type of the involved algebra is finite. For this we define new quadratic functors in controlled algebra and new homotopy and cohomology invariants in proper homotopy theory.


title: Smooth linearization of commuting circle diffeomorphisms

abstract: We show that a finite number of commuting diffeomorphisms with simultaneously Diophantine rotation numbers are smoothly conjugated to roations.


title: On the existence of $E_0$-semigroups

abstract: Product systems are the classifying structures for semigroups of endomorphisms of B(H), in that two $E_0$-semigroups are cocycle conjugate iff their product systems are isomorphic. Thus it is important to know that every abstract product system is associated with an $E_0$-semigrouop. This was first proved more than fifteen years ago by rather indirect methods. Recently, Skeide has given a more direct proof. In this note we give yet another proof by an elementary construction.


title: Integrals and Series Related to the Surface Area of Arbitrary Ellipsoids

abstract: Integrals related to the surface area of arbitrary ellipsoids are derived, evaluated, and compared with each other and existing integrals found in the literature. We clarify the literature on the ellipsoid area problem, which dates back to Legendre's original 1811 work. We derive and evaluate several additional integrals involving or evaluating to elliptic integrals. These new integrals are natural extensions of those found in the literature and constitute useful additions to standard integrals compendia.


title: Schur-Weyl duality for higher levels

abstract: We extend Schur-Weyl duality to an arbitrary level $l \geq 1$, the case $l=1$ recovering the classical duality between the symmetric and general linear groups. In general, the symmetric group is replaced by the degenerate cyclotomic Hecke algebra over $\C$ parametrized by a dominant weight of level $l$ for the root system of type $A_\infty$. As an application, we prove that the degenerate analogue of the quasi-hereditary cover of the cyclotomic Hecke algebra constructed by Dipper, James and Mathas is Morita equivalent to certain blocks of parabolic category $\mathcal{O}$ for the general linear Lie algebra.


title: The enumeration of planar graphs via Wick's theorem

abstract: A seminal technique of theoretical physics called Wick's theorem interprets the Gaussian matrix integral of the products of the trace of powers of Hermitian matrices as the number of labelled maps with a given degree sequence, sorted by their Euler characteristics. This leads to the map enumeration results analogous to those obtained by combinatorial methods. In this paper we show that the enumeration of the graphs embeddable on a given 2-dimensional surface (a main research topic of contemporary enumerative combinatorics) can also be formulated as the Gaussian matrix integral of an ice-type partition function. Some of the most puzzling conjectures of discrete mathematics are related to the notion of the cycle double cover. We express the number of the graphs with a fixed directed cycle double cover as the Gaussian matrix integral of an Ihara-Selberg-type function.


title: Gauss Decomposition of the Yangian Y(gl_{m|n})

abstract: We describe a Gauss decomposition for the Yangian Y(gl_{m|n}) of the general linear Lie superalgebra. This gives a connection between this Yangian and the Yangian of the classical Lie superalgebra Y(A(m-1,n-1)) (with m and n not equal) defined and studied in papers by Stukopin, and suggests natural definitions for the Yangians Y(sl_{n|n}) and Y(A(n,n)). We also show that the coefficients of the quantum Berezinian generate the centre of Y(gl_{m|n}). This was conjectured by Nazarov in 1991.


title: Equivariant virtual Betti numbers

abstract: We define a generalised Euler characteristic for arc-symmetric sets endowed with a group action. It coincides with equivariant homology for compact nonsingular sets, but is different in general. We lay emphasis on the particular case of $Z/2\Z$, and give an application to the study of the singularities of Nash function germs via an analog of the motivic zeta function of Denef & Loeser.


title: On the behavior of random walk around heavy points

abstract: Consider a symmetric aperiodic random walk in $Z^d$, $d\geq 3$. There are points (called heavy points) where the number of visits by the random walk is close to its maximum. We investigate the local times around these heavy points and show that they converge to a deterministic limit as the number of steps tends to infinity.


title: Solution of the coincidence problem in dimensions $d\le 4$

abstract: Discrete point sets $\mathcal{S}$ such as lattices or quasiperiodic Delone sets may permit, beyond their symmetries, certain isometries $R$ such that $\mathcal{S}\cap R\mathcal{S}$ is a subset of $\mathcal{S}$ of finite density. These are the so-called coincidence isometrie. They are important in understanding and classifying grain boundaries and twins in crystals and quasicrystals. It is the purpose of this contribution to introduce the corresponding coincidence problem in a mathematical setting and to demonstrate how it can be solved algebraically in dimensions 2, 3 and 4. Various examples both from crystals and quasicrystals are treated explicitly, in particular (hyper-)cubic lattices and quasicrystals with non-crystallographic point groups of type $H_2$, $H_3$ and $H_4$. We derive parametrizations of all linear coincidence isometries, determine the corresponding coincidence index (the reciprocal of the density of coinciding points, also called $\varSigma$-factor), and finally encapsulate their statistics in suitable Dirichlet series generating functions.


title: On monodromies of a degeneration of irreducible symplectic K\"ahler manifolds

abstract: We study the monodromy operators on the betti cohomologies associated to a good degeneration of irreducible symplectic manifold and we show that the unipotency of the monodromy operator on the middle cohomology is at least the half of the dimension.


title: Measuring Large Scale Space Perception in Literary Texts

abstract: The center and radius of perception associated with a written text are defined, and algorithms for their computation are presented. Indicators for anisotropy in large scale space perception are introduced. The relevance of these notions for the analysis of literary and historical records is briefly discussed and illustrated with an example taken from medieval historiography.


title: Rank one discrete valuations of power series fields

abstract: In this paper we study the rank one discrete valuations of the field $k((X_1,..., X_n))$ whose center in $k\lcor\X\rcor$ is the maximal ideal. In sections 2 to 6 we give a construction of a system of parametric equations describing such valuations. This amounts to finding a parameter and a field of coefficients. We devote section 2 to finding an element of value 1, that is, a parameter. The field of coefficients is the residue field of the valuation, and it is given in section 5. The constructions given in these sections are not effective in the general case, because we need either to use the Zorn's lemma or to know explicitly a section $\sigma$ of the natural homomorphism $R_v\to\d$ between the ring and the residue field of the valuation $v$. However, as a consequence of this construction, in section 7, we prove that $k((\X))$ can be embedded into a field $L((\Y))$, where $L$ is an algebraic extension of $k$ and the {\em ``extended valuation'' is as close as possible to the usual order function}.


title: An explicit construction of ruled surfaces

abstract: The main goal of this paper is to give a general method to compute (via computer algebra systems) an explicit set of generators of the ideals of the projective embeddings of some ruled surfaces, namely projective line bundles over curves such that the fibres are embedded as smooth rational curves. Indeed, although the existence of the embeddings that we consider is well known, often in literature there are no explicit descriptions of the corresponding projective ideals. Such an explicit description allows to compute, besides all the syzygies, some of the important algebraic invariants of the surface, for instance the $k$-regularity, which are not always easy to compute by general formulae or by geometric arguments. An implementation of our algorithms and explicit examples for the computer algebra system Macaulay2 are included, so that anyone can use them for his own purposes.


title: On the Diophantine equation $x^2+q^{2m}=2y^p$

abstract: In this paper we consider the Diophantine equation $x^2+q^{2m}=2y^p$ where $m,p,q,x,y$ are integer unknowns with $m>0,$ $p$ and $q$ are odd primes and $\gcd(x,y)=1.$ We prove that there are only finitely many solutions $(m,p,q,x,y)$ for which $y$ is not a sum of two consecutive squares. We also study the above equation with fixed $y$ and with fixed $q.$


title: Entropy of shifts on higher-rank graph C*-algebras

abstract: Let O_{Lambda} be a higher rank graph C*-algebra of rank r. For every tuple p of non-negative integers there is a canonical completely positive map Phi^p on O_{Lambda} and a subshift T^p on the path space X of the graph. We show that ht(Phi^p)=h(T^p), where ht is Voiculescu's approximation entropy and h the classical topological entropy. For a higher rank Cuntz-Krieger algebra O_M we obtain ht(Phi^p)= log r(M_1^{p_1}M_2^{p_2} ... M_r^{p_r}), r being the spectral radius. This generalises Boca and Goldstein's result for Cuntz-Krieger algebras.


title: Twisted Fourier-Mukai functors

abstract: Due to a theorem by Orlov every exact fully faithful functor between the bounded derived categories of coherent sheaves on smooth projective varieties is of Fourier-Mukai type. We extend this result to the case of bounded derived categories of twisted coherent sheaves and at the same time we weaken the hypotheses on the functor. As an application we get a complete description of the exact functors between the abelian categories of twisted coherent sheaves on smooth projective varieties.


title: Conjugacy in Garside groups I: Cyclings, powers, and rigidity

abstract: In this paper a relation between iterated cyclings and iterated powers of elements in a Garside group is shown. This yields a characterization of elements in a Garside group having a rigid power, where 'rigid' means that the left normal form changes only in the obvious way under cycling and decycling. It is also shown that, given X in a Garside group, if some power X^m is conjugate to a rigid element, then m can be bounded above by ||\Delta||^3. In the particular case of braid groups, this implies that a pseudo-Anosov braid has a small power whose ultra summit set consists of rigid elements. This solves one of the problems in the way of a polynomial solution to the conjugacy decision problem (CDP) and the conjugacy search problem (CSP) in braid groups. In addition to proving the rigidity theorem, it will be shown how this paper fits into the authors' program for finding a polynomial algorithm to the CDP/CSP, and what remains to be done.


title: On a recursive equation over $p$-adic field

abstract: In the paper we completely describe the set of all solutions of a recursive equation, arising from the Bethe lattice models over $p$-adic numbers.


title: Borne sur le degr\'e des polyn\^omes presque parfaitement non-lin\'eaires

abstract: The vectorial Boolean functions are employed in cryptography to build block coding algorithms. An important criterion on these functions is their resistance to the differential cryptanalysis. Nyberg defined the notion of almost perfect non-linearity (APN) to study resistance to the differential attacks. Up to now, the study of functions APN was especially devoted to power functions. Recently, Budaghyan and al. showed that certain quadratic polynomials were APN. Here, we will give a criterion so that a function is not almost perfectly non-linear. H. Janwa showed, by using Weil's bound, that certain cyclic codes could not correct two errors. A. Canteaut showed by using the same method that the functions powers were not APN for a too large value of the exponent. We use Lang and Weil's bound and a result of P. Deligne on the Weil's conjectures (or more exactly improvements given by Ghorpade and Lachaud) about surfaces on finite fields to generalize this result to all the polynomials. We show therefore that a polynomial cannot be APN if its degree is too large.


title: Character formulas for the operad of two compatible brackets and for the bihamiltonian operad

abstract: We compute dimensions of the components for the operad of two compatible brackets and for the bihamiltonian operad. We also obtain character formulas for the representations of the symmetric groups and the $SL_2$ group in these spaces.


title: On edge graceful labelings of disjoint unions of $2r$-regular edge graceful graphs

abstract: We prove that if $G$ is a $2r$-regular edge graceful $(p,q)$ graph with $(r,kp)=1$ then $kG$ is edge graceful for odd $k$. We also prove that for certain specific classes of $2r$-regular edge graceful graphs it is possible to drop the requirement that $(r,kp)=1$


title: The circular $k$-partite crossing number of $K_{m,n}$

abstract: We define a new kind of crossing number which generalizes both the bipartite crossing number and the outerplanar crossing number. We calculate exact values of this crossing number for many complete bipartite graphs and also give a lower bound.


title: Quantum seaweed algebras and quantization of affine Cremmer-Gervais r-matrices

abstract: We propose a method of quantization of certain Lie bialgebra structures on the polynomial Lie algebras related to quasi-trigonometric solutions of the classical Yang--Baxter equation. The method is based on an affine realization of certain seaweed algebras and their quantum analogues. We also propose a method of $\omega$-affinization, which enables us to quantize rational $r$-matrices of $\mathfrak{sl}(3)$.


title: Free holomorphic functions on the unit ball of B(H)^n

abstract: We develop a theory of holomorphic functions in several noncommuting (free) variables and thus provide a framework for the study of arbitrary n-tuples of operators. The main topics are the following: Free holomorphic functions and Hausdorff derivations; Cauchy, Liouville, and Schwartz type results for free holomorphic functions; Algebras of free holomorphic functions; Free analytic functional calculus and noncommutative Cauchy transforms; Weierstrass and Montel theorems for free holomorphic functions; Free pluriharmonic functions and noncommutative Poisson transforms; Hardy spaces of free holomorphic functions.


title: Several Convex-Ear Decompositions

abstract: In this paper we give convex-ear decompositions for the order complexes of several classes of posets, namely supersolvable lattices with non-zero Mobius functions and rank-selected subposets of such lattices, rank-selected geometric lattices, and rank-selected face posets of shellable complexes which do not include the top rank. These decompositions give us many new inequalities for the h-vectors of these complexes. In addition, our decomposition of rank-selected face posets of shellable complexes allows us to prove inequalities for the flag h-vector of face posets of Cohen-Macaulay complexes.


title: Spin Chern-Simons and Spin TQFTs

abstract: In a previous paper we constructed classical spin Chern-Simons for any compact Lie group $G$: a gauge theory whose action depends on the spin structure of the 3-manifold. Here we apply geometric quantization to the classical Hamiltonian theory and investigate the formal properties of the partition function in the Lagrangian theory, all in the case $G = SO_3$. We find that the quantum theory for $SO_3$ spin Chern-Simons corresponds to the spin TQFT constructed by Blanchet and Masbaum in the same way that the quantum theory for standard $SU_2$ Chern-Simons corresponds to the TQFT constructed by Reshetikhen and Turaev or the TQFT constructed by Blanchet, Habegger, Masbaum, and Vogel.


title: L^2-homology for compact quantum groups

abstract: A notion of L^2-homology for compact quantum groups is introduced, generalizing the classical notion for countable, discrete groups. If the compact quantum group in question has tracial Haar state, it is possible to define its L^2-Betti numbers and Novikov-Shubin invariants/capacities. It is proved that these L^2-Betti numbers vanish for the Gelfand dual of a compact Lie group and that the zeroth Novikov-Shubin invariant equals the dimension of the underlying Lie group. Finally, we relate our approach to the approach of A. Connes and D. Shlyakhtenko by proving that the L^2-Betti numbers of a compact quantum group, with tracial Haar state, are equal to the Connes-Shlyakhtenko L^2-Betti numbers of its Hopf *-algebra of matrix coefficients.


title: The integral Chow ring of the stack of at most 1-nodal rational curves

abstract: We give a presentation for the stack of rational curves with at most 1 node as the quotient by GL(3) of an open set in a 6-dimensional irreducible representation. We then use equivariant intersection theory to calculate the integral Chow ring of this stack.


title: N-Fold Integer Programming

abstract: In this article we study a broad class of integer programming problems in variable dimension. We show that these so-termed {\em n-fold integer programming problems} are polynomial time solvable. Our proof involves two heavy ingredients discovered recently: the equivalence of linear optimization and so-called directed augmentation, and the stabilization of certain Graver bases. We discuss several applications of our algorithm to multiway transportation problems and to packing problems. One important consequence of our results is a polynomial time algorithm for the $d$-dimensional integer transportation problem for long multiway tables. Another interesting application is a new algorithm for the classical cutting stock problem.


title: Zero-Preserving Iso-spectral Flows Based on Parallel Sums

abstract: Driessel ["Computing canonical forms using flows", Linear Algebra and Its Applications 2004] introduced the notion of quasi-projection onto the range of a linear transformation from one inner product space into another inner product space. Here we introduce the notion of quasi-projection onto the intersection of the ranges of two linear transformations from two inner product spaces into a third inner product space. As an application, we design a new family of iso-spectral flows on the space of symmetric matrices that preserves zero patterns. We discuss the equilibrium points of these flows. We conjecture that these flows generically converge to diagonal matrices. We perform some numerical experiments with these flows which support this conjecture. We also compare our zero preserving flows with the Toda flow.


title: Computational aspects of modular forms and Galois representations

abstract: This is a book about computational aspects of modular forms and the Galois representations attached to them. The main result is the following: Galois representations over finite fields attached to modular forms of level one can, in almost all cases, be computed in polynomial time in the weight and the size of the finite field. As a consequence, coefficients of modular forms can be computed fast via congruences, as in Schoof's algorithm for the number of points of elliptic curves over finite fields. The most important feature of the proof of the main result is that exact computations involving systems of polynomial equations in many variables are avoided by approximations and height bounds, i.e., bounds for the accuracy that is necessary to derive exact values from the approximations.


title: Regularity of coupled two-dimensional nonlinear Fokker-Planck and Navier-Stokes systems

abstract: We consider systems of particles coupled with fluids. The particles are described by the evolution of their density, and the fluid is described by the Navier-Stokes equations. The particles add stress to the fluid and the fluid carries and deforms the particles. Because the particles perform rapid random motion, we assume that the density of particles is carried by a time average of the fluid velocity. The resulting coupled system is shown to have smooth solutions at all values of parameters, in two spatial dimensions.


title: On the Boxicity and Cubicity of Hypercubes

abstract: For a graph $G$, its \emph{cubicity} $cub(G)$ is the minimum dimension $k$ such that $G$ is representable as the intersection graph of (axis--parallel) cubes in $k$--dimensional space. Chandran, Mannino and Oriolo showed that for a $d$--dimensional hypercube $H_d$, $\frac{d-1}{\log d} \le cub(H_d) \le 2d$. In this paper, we show that $cub(H_d) = \Theta(\frac{d}{\log d})$.The parameter \emph{boxicity} generalizes cubicity: the boxicity $box(G)$ of a graph $G$ is defined as the minimum dimension $k$ such that $G$ is representable as the intersection graph of axis parallel boxes in $k$ dimensional space. Since $box(G) \le cub(G)$ for any graph $G$, our result implies that $box(H_d) = O(\frac{d}{\log d})$. The problem of determining a non-trivial lower bound for $box(H_d)$ is left open.


title: Connections on Metriplectic Manifolds

abstract: In this note we discuss conditions under which a linear connection on a manifold equipped with both a symmetric (Riemannian) and a skew-symmetric (almost-symplectic or Poisson) tensor field will preserve both structures.


title: Algebraic Geometry over Lie Algebras

abstract: This is a survey paper on Alegbraic Geometry over Lie Algebras


title: The homotopy type of the cobordism category

abstract: The embedded cobordism category under study in this paper generalizes the category of conformal surfaces, introduced by G. Segal in order to formalize the concept of field theories. Our main result identifies the homotopy type of the classifying space of the embedded d-dimensional cobordism category for all d. For d=2, our results lead to a new proof of the generalized Mumford conjecture, somewhat different in spirit from the original one.


title: Eigenvalues of transformations arising from irrational rotations and step functions. (Valeurs propres de transformations li\'ees aux rotations irrationnelles et aux fonctions en escalier)

abstract: Given an irrational rotation $T$ on $\M T$ we settle necessary and sufficient conditions on a step function $\phi$ and $t\in \M T$ for the existence of measurable solutions to the cohomogical equation $$\exp{(2i\pi\phi)}=\e{2i\pi t}f/f\rond T.$$ This yields a characterization of eigenvalues and eigenfunctions for several transformations arising from irrational rotations and step functions: cylinder flows, special flows, induced maps... From there we give constructions of special flows and three-interval exchange transformations with unusual spectral properties. In both cases we exhibit examples with Kronecker factors of infinite rank. We also construct three-interval exchange transformations which are non-trivially conjugate to irrational rotations or to odometers. Similarly there exist special flows over irrational rotations which are non-trivially conjugate to translations flows on $\M T^2$ or on solenoids. Finally, we prove a regularization property which allows us to give similar examples of special flows with smooth ceiling functions, under natural Diophantine conditions for the rotation.


title: Brown Measures of Unbounded Operators Affiliated with a Finite von Neumann Algebra

abstract: In this paper we generalize Brown's spectral distribution measure to a large class of unbounded operators affiliated with a finite von Neumann algebra. Moreover, we compute the Brown measure of all unbounded R-diagonal operators in this class. As a particular case, we determine the Brown measure of z=xy^{-1}, where (x,y) is a circular system in the sense of Voiculescu, and we prove that for all positive integers n, z^n is in L^p(M) iff 0<p< 2/(n+1).


title: On generalised Paley graphs and their automorphism groups

abstract: The generalised Paley graphs are, as their name suggests, a generalisation of the Paley graphs, first defined by Paley in 1933 (see \cite{Paley}). They arise as the relation graphs of symmetric cyclotomic association schemes. However, their automorphism groups may be much larger than the groups of the corresponding schemes. We determine the parameters for which the graphs are connected, or equivalently, the schemes are primitive. Also we prove that generalised Paley graphs are sometimes isomorphic to Hamming graphs and consequently have large automorphism groups, and we determine precisely the parameters for this to occur. We prove that in the connected, non-Hamming case, the automorphism group of a generalised Paley graph is a primitive group of affine type, and we find sufficient conditions under which the group is equal to the one-dimensional affine group of the associated cyclotomic association scheme. The results have been applied in \cite{LLP} to distinguish between cyclotomic schemes and similar twisted versions of these schemes, in the context of homogeneous factorisations of complete graphs.


title: Edge-Transitive Homogeneous Factorisations of Complete Graphs

abstract: This thesis concerns the study of homogeneous factorisations of complete graphs with edge-transitive factors. A factorisation of a complete graph $K_n$ is a partition of its edges into disjoint classes. Each class of edges in a factorisation of $K_n$ corresponds to a spanning subgraph called a factor. If all the factors are isomorphic to one another, then a factorisation of $K_n$ is called an isomorphic factorisation. A homogeneous factorisation of a complete graph is an isomorphic factorisation where there exists a group $G$ which permutes the factors transitively, and a normal subgroup $M$ of $G$ such that each factor is $M$-vertex-transitive. If $M$ also acts edge-transitively on each factor, then a homogeneous factorisation of $K_n$ is called an edge-transitive homogeneous factorisation. The aim of this thesis is to study edge-transitive homogeneous factorisations of $K_n$. We achieve a nearly complete explicit classification except for the case where $G$ is an affine 2-homogeneous group of the form $Z_p^R \rtimes G_0$, where $G_0 \leq \Gamma L(1,p^R)$. In this case, we obtain necessary and sufficient arithmetic conditions on certain parameters for such factorisations to exist, and give a generic construction that specifies the homogeneous factorisation completely, given that the conditions on the parameters hold. Moreover, we give two constructions of infinite families of examples where we specify the parameters explicitly. In the second infinite family, the arc-transitive factors are generalisations of certain arc-transitive, self-complementary graphs constructed by Peisert in 2001.


title: On a Conjecture of Rapoport and Zink

abstract: In their book Rapoport and Zink constructed rigid analytic period spaces $F^{wa}$ for Fontaine's filtered isocrystals, and period morphisms from PEL moduli spaces of $p$-divisible groups to some of these period spaces. They conjectured the existence of an \'etale bijective morphism $F^a \to F^{wa}$ of rigid analytic spaces and of a universal local system of $Q_p$-vector spaces on $F^a$. For Hodge-Tate weights $n-1$ and $n$ we construct in this article an intrinsic Berkovich open subspace $F^0$ of $F^{wa}$ and the universal local system on $F^0$. We conjecture that the rigid-analytic space associated with $F^0$ is the maximal possible $F^a$, and that $F^0$ is connected. We give evidence for these conjectures and we show that for those period spaces possessing PEL period morphisms, $F^0$ equals the image of the period morphism. Then our local system is the rational Tate module of the universal $p$-divisible group and enjoys additional functoriality properties. We show that only in exceptional cases $F^0$ equals all of $F^{wa}$ and when the Shimura group is $GL_n$ we determine all these cases.


title: Generalized Weierstrass Relations and Frobenius reciprocity

abstract: This article investigates local properties of the further generalized Weierstrass relations for a spin manifold $S$ immersed in a higher dimensional spin manifold $M$ from viewpoint of study of submanifold quantum mechanics. We show that kernel of a certain Dirac operator defined over $S$, which we call submanifold Dirac operator, gives the data of the immersion. In the derivation, the simple Frobenius reciprocity of Clifford algebras $S$ and $M$ plays important roles.


title: Tensor networks and the enumeration of regular subgraphs

abstract: We propose a universal approach to a range of enumeration problems in graphs. The key point is in contracting suitably chosen symmetric tensors placed at the vertices of a graph along the edges. In particular, this leads to an algorithm that counts the number of d-regular subgraphs of an arbitrary graph including the number of d-factors (previously we considered the case d=2 with a special emphasis on the enumeration of Hamiltonian cycles; cf. math.CO/0403339). We briefly discuss the problem of the computational complexity of this algorithm.


title: Graphs having no quantum symmetry

abstract: We consider circulant graphs having $p$ vertices, with $p$ prime. To any such graph we associate a certain number $k$, that we call type of the graph. We prove that for $p>>k$ the graph has no quantum symmetry, in the sense that the quantum automorphism group reduces to the classical automorphism group.


title: Chebycheff and Belyi polynomials, dessins d'enfants, Beauville surfaces and group theory

abstract: We start discussing the group of automorphisms of the field of complex numbers, and describe, in the special case of polynomials with only two critical values, Grothendieck's program of 'Dessins d' enfants', aiming at giving representations of the absolute Galois group. We describe Chebycheff and Belyi polynomials, and other explicit examples. As an illustration, we briefly treat difference and Schur polynomials. Then we concentrate on a higher dimensional analogue of the triangle curves, namely, Beauville surfaces and varieties isogenous to a product. We describe their moduli spaces, and show how the study of these varieties leads to new interesting questions in the theory of finite (simple) groups.


title: Axiomatization of topological space in terms of the operation of boundary

abstract: We present the set of axioms for topological space with the operation of boundary as primitive notion.


title: Cubic hypersurfaces and integrable systems

abstract: We show that the family of 21-dimensional intermediate jacobians of cubic fivefolds containing a given cubic fourfold X is generically an algebraic integrable system. In the proof we apply an integrability criterion, introduced and used by Donagi and Markman to find a similar integrable system over the family of cubic threefolds in X. To enter in the conditions of this criterion, we write down explicitly the known by Beauville and Donagi symplectic structure on the family F(X) of lines on the general cubic fourfold X, and prove that the family of planes on a cubic fivefold containing X is embedded as a Lagrangian surface in F(X). By a symplectic reduction we deduce that our integrable system induces on the nodal boundary another integrable system, interpreted generically as the family of 20-dimensional intermediate jacobians of Fano threefolds of genus four contained in X. Along the way we prove an Abel-Jacobi type isomorphism for the Fano surface of conics in the general Fano threefold of genus 4, and compute the numerical invariants of this surface.


title: A Morse complex for Lorentzian geodesics

abstract: We prove the Morse relations for the set of all geodesics connecting two non-conjugate points on a class of globally hyperbolic Lorentzian manifolds. We overcome the difficulties coming from the fact that the Morse index of every geodesic is infinite, and from the lack of the Palais-Smale condition, by using the Morse complex approach.