title: Infinitely divisible distributions for rectangular free convolution: classification and matricial interpretation

abstract: In a previous paper (called "Rectangular random matrices. Related covolution"), we defined, for $\lambda \in [0,1]$, the rectangular free convolution with ratio $\lambda$. Here, we investigate the related notion of infinite divisiblity, which happens to be closely related to the classical infinite divisibility: there exists a bijection between the set of classical symmetric infinitely divisible distributions and the set of distributions infinitely divisible with respect to this convolution, which preserves limit theorems. We give an interpretation of this correspondance in term of random matrices: we construct distributions on sets of complex rectangular matrices which give rise to random matrices with singular laws (i.e. uniform distributions on their singular values) going from the symmetric classical infinitely divisible distributions to their images by the previously mentioned bijection when the dimensions go from one to infinity in a ratio $\lambda$.


title: Rectangular random matrices, related free entropy and free Fisher's information

abstract: We prove that independent rectangular random matrices, when embedded in a space of larger square matrices, are asymptotically free with amalgamation over a commutative finite dimensional subalgebra $D$ (under an hypothesis of unitary invariance). Then we consider elements of a finite von Neumann algebra containing $D$, which have kernel and range projection in $D$. We associate them a free entropy with the microstates approach, and a free Fisher's information with the conjugate variables approach. Both give rise to optimization problems whose solutions involve freeness with amalgamation over $D$. It could be a first proposition for the study of operators between different Hilbert spaces with the tools of free probability. As an application, we prove a result of freeness with amalgamation between the two parts of the polar decomposition of $R$-diagonal elements with non trivial kernel.


title: A sufficient condition for a branched surface to fully carry a lamination

abstract: We give a sufficient condition for a branched surface in a 3 dimensional manifold to fully carry a lamination, giving a piece of answer to a classical question of D. Gabai.


title: An Optimal Lower Bound for the Frobenius Problem

abstract: Given $N$ positive integers $a_1, ..., a_N$ with $\gcd(a_1, ..., a_N)=1$, let $f_N$ denote the largest natural number which is not a positive integer combination of $a_1, ..., a_N$. This paper gives an optimal lower bound for $f_N$ in terms of the absolute inhomogeneous minimum of the standard $(N-1)$-simplex.


title: The identification of conformal hypercomplex and quaternionic manifolds

abstract: We review the map between hypercomplex manifolds that admit a closed homothetic Killing vector (i.e. `conformal hypercomplex' manifolds) and quaternionic manifolds of 1 dimension less. This map is related to a method for constructing supergravity theories using superconformal techniques. An explicit relation between the structure of these manifolds is presented, including curvatures and symmetries. An important role is played by `\xi transformations', relating connections on quaternionic manifolds, and a new type `\hat\xi transformations' relating complex structures on conformal hypercomplex manifolds. In this map, the subclass of conformal hyper-Kaehler manifolds is mapped to quaternionic-Kaehler manifolds.


title: Finding large Selmer rank via an arithmetic theory of local constants

abstract: We obtain lower bounds for Selmer ranks of elliptic curves over dihedral extensions of number fields. Suppose $K/k$ is a quadratic extension of number fields, $E$ is an elliptic curve defined over $k$, and $p$ is an odd prime. Let $F$ denote the maximal abelian $p$-extension of $K$ that is unramified at all primes where $E$ has bad reduction and that is Galois over $k$ with dihedral Galois group (i.e., the generator $c$ of $Gal(K/k)$ acts on $Gal(F/K)$ by -1). We prove (under mild hypotheses on $p$) that if the rank of the pro-$p$ Selmer group $S_p(E/K)$ is odd, then the rank of $S_p(E/L)$ is at least $[L:K]$ for every finite extension $L$ of $K$ in $F$.


title: g-elements, finite buildings and higher Cohen-Macaulay connectivity

abstract: The main result is a proof that the g-vector of a simplicial complex with a convex ear decomposition is an M-vector. This is a generalization of similar results for matroid complexes. We also show that a finite building has a convex ear decomposition. This leads to connections between higher Cohen-Macaulay connectivity and increasing h-vectors.


title: Filtered ends of infinite covers and groups

abstract: Let f:A-->B be a covering map. We say A has e filtered ends with respect to f (or B) if for some filtration {K_n} of B by compact subsets, A - f^{-1}(K_n) "eventually" has e components. The main theorem states that if Y is a (suitable) free H-space, if K < H has infinite index, and if Y has a positive finite number of filtered ends with respect to H\Y, then Y has one filtered end with respect to K\Y. This implies that if G is a finitely generated group and K < H < G are subgroups each having infinite index in the next, then 0 < {\tilde e}(G)(H) < \infty implies {\tilde e}(G)(K) = 1, where {\tilde e}(.)(.) is the number of filtered ends of a pair of groups in the sense of Kropholler and Roller.


title: On the minimum number of colors for knots

abstract: In this article we take up the calculation of the minimum number of colors needed to produce a non-trivial coloring of a knot. This is a knot invariant and we use the torus knots of type (2, n) as our case study. We calculate the minima in some cases. In other cases we estimate upper bounds for these minima leaning on the features of modular arithmetic. We introduce a sequence of transformations on colored diagrams called Teneva Transformations. Each of these Transformations reduces the number of colors in the diagrams by one (up to a point). This allows us to further decrease the upper bounds on these minima. We conjecture on the value of these minima. We apply these Transformations to rational knots.


title: On Kuiper's conjecture

abstract: We prove that any connected proper Dupin hypersurface in $\R^n$ is analytic algebraic and is an open subset of a connected component of an irreducible algebraic set. We prove the same result for any connected non-proper Dupin hypersurface in $\R^n$ that satisfies a certain finiteness condition. Hence any taut submanifold M in $\R^n$, whose tube $M_\epsilon$ satisfies this finiteness condition, is analytic algebraic and is a connected component of an irreducible algebraic set. In particular, we prove that every taut submanifold of dimension $m \leq 4$ is algebraic.


title: Dupin hypersurfaces with four principal curvatures, II

abstract: If $M$ is an isoparametric hypersurface in a sphere $S^n$ with four distrinct principal curvatures, then the principal curvatures $\kappa_1,...,\kappa_4$ can be ordered so that their multiplicities satisfy $m_1=m_2$ and $m_3=m_4$, and the cross-ratio $r$ of the principal curvatures (the Lie curvature) equals -1. In this paper, we prove that if $M$ is an irreducible connected proper Dupin hypersurface in $\R^n$ (or $S^n$) with four distinct principal curvatures with multiplicities $m_1=m_2 \geq 1$ and $m_3=m_4=1$, and constant Lie curvature $r=-1$, then $M$ is equivalent by Lie sphere transformation to an isoparametric hypersurface in a sphere. This result remains true if the assumption of irreducibility is replaced by compactness and $r$ is merely assumed to be constant.


title: A Polynomial Invariant for Flat Virtual Links

abstract: This paper gives a polynomial invariant for flat virtual links. In the case of one component, the polynomial specializes to Turaev's virtual string polynomial. We show that Turaev's polynomial has the property that it is non-zero precisely when there is no filamentation of the knot, as described by Hrencecin and Kauffman. Schellhorn has provided a version of filamentations for flat virtual links. Our polynomial has the property that if there is a filamentation, then the polynomial is 0. The converse fails, although if the polynomial is 0, then it turns out to be easy to determine if there is a filamentation.


title: Siegel zeros of Eisenstein series

abstract: If E(z,s) is the nonholomorphic Eisenstein series on the upper half plane, then for all y sufficiently large, E(z,s) has a "Siegel zero." That is E(z,\beta)=0 for a real number \beta just to the left of one. We give a generalization of this result to Eisenstein series formed with real valued automorphic forms on a finite central covering of the adele points of a connected reductive algebraic group over a global field.


title: A New Tower of Rankin-Selberg Integrals

abstract: This document describes the authors' current research project: the evaluation of a tower of Rankin-Selberg integrals on the group E_6. We recall the notion of a tower, and two known towers, making observations about how the integrals within a tower may be related to one another via formal manipulations, and offering a heuristic for how the L-functions should be related to one another when the integrals are related in this way. A detailed description of the E_6 tower is then given.


title: The structure of the category of parabolic equations

abstract: We define here the category of partial differential equations. Special cases of morphisms from an object (equation) are symmetries of the equation and reductions of the equation by a symmetry groups, but there are many other morphisms. We are mostly interested in a subcategory that arises from second order parabolic equations on arbitrary manifolds. We introduce a certain structure in this category enabling us to find the simplest representative of every quotient object of the given object, and develop a special-purpose language for description and study of structures of this kind. An example that deals with nonlinear reaction-diffusion equation is discussed in more detail.


title: Levi-Civita connections of flag manifolds

abstract: For any flag manifold G/T we obtain an explicit expression of its Levi-Civita connection with respect to any invariant Riemannian metric.


title: Ring structures for holomorphic discrete series and Rankin-Cohen brackets

abstract: In the present note we discuss two different ring structures on the set of holomorphic discrete series of a causal symmetric space of Cayley type $G/H$ and we suggest a new interpretation of Rankin-Cohen brackets in terms of intertwining operators arising in the decomposition of tensor products of holomorphic discrete series representations.


title: The six operations for sheaves on Artin stacks I: Finite Coefficients

abstract: In this paper we develop a theory of Grothendieck's six operations of lisse-\'etale constructible sheaves on Artin stacks which are locally of finite type over suitable regular basis of dimension at most 1.


title: Functional inequalities related to the Rogers-Shephard inequality

abstract: For a real-valued non-negative and log-concave function we introduce a notion of difference function; the difference function represents a functional analog on the difference body of a convex body. We prove a sharp inequality which bounds the integral of the difference function from above in terms of the integral of the function itself, and we characterize equality conditions. The investigation is extended to an analogous notion of difference function for $\alpha$-concave functions, with $\alpha$ smaller than zero. In this case also, we prove an upper bound for the integral of the $\alpha$-difference function of a function in terms of the integral of the function itself; the bound is proved to be sharp when $\alpha$ is equal to minus infinity and in the one dimensional case.


title: Inequivalent surface-knots with the same knot quandle

abstract: We have a knot quandle and a fundamental class as invariants for a surface-knot. These invariants can be defined for a classical knot in a similar way, and it is known that the pair of them is a complete invariant for classical knots. In this paper, we compare a situation in surface-knot theory with that in classical knot theory, and prove the following: There exist arbitrarily many inequivalent surface-knots of genus $g$ with the same knot quandle, and there exist two inequivalent surface-knots of genus $g$ with the same knot quandle and with the same fundamental class.


title: Functional Inequalities for Particle Systems on Polish Spaces

abstract: Various Poincare-Sobolev type inequalities are studied for a reaction-diffusion model of particle systems on Polish spaces. The systems we consider consist of finite particles which are killed or produced at certain rates, while particles in the system move on the Polish space interacting with one another (i.e. diffusion). Thus, the corresponding Dirichlet form, which we call reaction-diffusion Dirichlet form, consists of two parts: the diffusion part induced by certain Markov processes on the product spaces $E^n (n \geq 1)$ which determine the motion of particles, and the reaction part induced by a $Q$-process on $\mathbb Z_+$ and a sequence of reference probability measures, where the $Q$-process determines the variation of the number of particles and the reference measures describe the locations of newly produced particles. We prove that the validity of Poincare and weak Poincare inequalities are essentially due to the pure reaction part, i.e. either of these inequalities holds if and only if it holds for the pure reaction Dirichlet form, or equivalently, for the corresponding $Q$-process. But under a mild condition, stronger inequalities rely on both parts: the reaction-diffusion Dirichlet form satisfies a super Poincare inequality (e.g. the log-Sobolev inequality) if and only if so do both the corresponding $Q$-process and the diffusion part. Explicit estimates of constants in the inequalities are derived. Finally, some specific examples are presented to illustrate the main results.


title: More Approximation on Disks

abstract: In this paper we study the function algebra generated by z^2 and g^2 on a small closed disk centered at the origin of the complex plane. We prove, using a biholomorphic change of coordinates and already developed techniques in this area, that for a large class of functions g this algebra consists of all continuous functions on the disk.


title: Symmetric Self-Adjunctions: A Justification of Brauer's Representation of Brauer's Algebras

abstract: A classic result of representation theory is Brauer's construction of a diagrammatical (geometrical) algebra whose matrix representation is a certain given matrix algebra, which is the commutating algebra of the enveloping algebra of the representation of the orthogonal group. The purpose of this paper is to provide a motivation for this result through the categorial notion of symmetric self-adjunction.


title: Categorical Aspects of Topological Quantum Field Theories

abstract: This thesis provides an introduction to the various category theory ideas employed in topological quantum field theory. These theories are viewed as symmetric monoidal functors from topological cobordism categories into the category of vector spaces. In two dimensions, they are classified by Frobenius algebras. In three dimensions, and under certain conditions, they are classified by modular categories. These are special kinds of categories in which topological notions such as braidings and twists play a prominent role. There is a powerful graphical calculus available for working in such categories, which may be regarded as a generalization of the Feynman diagrams method familiar in physics. This method is introduced and the necessary algebraic structure is graphically motivated step by step. A large subclass of two-dimensional topological field theories can be obtained from a lattice gauge theory construction using triangulations. In these theories, the gauge group is finite. This construction is reviewed, from both the original algebraic perspective as well as using the graphical calculus developed in the earlier chapters. This finite gauge group toy model can be defined in all dimensions, and has a claim to being the simplest non-trivial quantum field theory. We take the opportunity to show explicitly the calculation of the modular category arising from this model in three dimensions, and compare this algebraic data with the corresponding data in two dimensions, computed both geometrically and from triangulations. We use this as an example to introduce the idea of a quantum field theory as producing a tower of algebraic structures, each dimension related to the previous by the process of categorification.


title: The big Chern classes and the Chern character

abstract: Let $X$ be a smooth scheme over a field of characteristic 0. Let $\dd^{\bullet}(X)$ be the complex of polydifferential operators on $X$ equipped with Hochschild co-boundary. Let $L(\dd^1(X))$ be the free Lie algebra generated over $\strc$ by $\dd^1(X)$ concentrated in degree 1 equipped with Hochschild co-boundary. We have a symmetrization map $I: \oplus_k \sss^k(L(\dd^1(X))) \rar \dd^{\bullet}(X)$. Theorem 1 of this paper measures how the map $I$ fails to commute with multiplication. A consequence of Theorem 1 and Theorem 2 is Corollary 1, a result "dual" to Theorem 1 of Markarian [3] that measures how the Hochschild-Kostant-Rosenberg quasi-isomorphism fails to commute with multiplication. In order to understand Theorem 1 conceptually, we prove a theorem (Theorem 3) stating that $\dd^{\bullet}(X)$ is the universal enveloping algebra of $T_X[-1]$ in $\dcat$. An easy consequence of Theorem 3 is Theorem 4, which interprets the Chern character $E$ as the "character of the representation $E$ of $T_X[-1]$" and gives a description of the big Chern classes of $E$. Finally, Theorem 4 along with Theorem 1 is used to give an explicit formula (Theorem 5) expressing the big Chern classes of $E$ in terms of the components of the Chern character of $E$.


title: Applications of duality theory to cousin complexes

abstract: We use the anti-equivalence between Cohen-Macaulay complexes and coherent sheaves on formal schemes to shed light on some older results and prove new results. We bring out the relations between a coherent sheaf M satisfying an S_2 condition and the lowest cohomology N of its "dual" complex. We show that if a scheme has a Gorenstein complex satisfying certain coherence conditions, then in a finite \'etale neighborhood of each point, it has a dualizing complex. If the scheme already has a dualizing complex, then we show that the Gorenstein complex must be a tensor product of a dualizing complex and a vector bundle of finite rank. We relate the various results in [S] on Cousin complexes to dual results on coherent sheaves on formal schemes.


title: Notes on 2-groupoids, 2-groups and crossed-modules

abstract: This paper contains some basic results on 2-groupoids, with special emphasis on computing derived mapping 2-groupoids between 2-groupoids and proving their invariance under strictification. Some of the results proven here are presumably folklore (but do not appear in the literature to the author's knowledge) and some of the results seem to be new. The main technical tool used throughout the paper is the Quillen model structure on the category of 2-groupoids introduced by Moerdijk and Svensson.


title: What can one reconstruct from the representation ring of a compact group?

abstract: It is well known that there exist non-isomorphic compact groups with isomorphic representation rings (fusion rules). Nevertheless, considerable structural information about the group can be reconstructed from its representation ring. We review these types of partial reconstruction theorems, including some recent results. In the Appendix a derivation of the Clebsch-Gordan series of SU(2) based only on information about the dimensions of the irreps is presented.


title: Liaison with Cohen-Macaulay Modules

abstract: We describe some recent work concerning Gorenstein liaison of codimension two subschemes of a projective variety. Applications make use of the algebraic theory of maximal Cohen-Macaulay modules, which we review in an Appendix.


title: Symplectic rigidity, symplectic fixed points and global perturbations of Hamiltonian systems

abstract: In this paper we study a generalized symplectic fixed point problem, first considered by J. Moser in \cite{M}, from the point of view of some relatively recently discovered symplectic rigidity phenomena. This problem has interesting applications concerning global perturbations of Hamiltonian systems.


title: Computably Based Locally Compact Spaces

abstract: ASD (Abstract Stone Duality) is a re-axiomatisation of general topology in which the topology on a space is treated, not as an infinitary lattice, but as an exponential object of the same category as the original space, with an associated lambda-calculus. In this paper, this is shown to be equivalent to a notion of computable basis for locally compact sober spaces or locales, involving a family of open subspaces and accompanying family of compact ones. This generalises Smyth's effectively given domains and Jung's strong proximity lattices. Part of the data for a basis is the inclusion relation of compact subspaces within open ones, which is formulated in locale theory as the way-below relation on a continuous lattice. The finitary properties of this relation are characterised here, including the Wilker condition for the cover of a compact space by two open ones. The real line is used as a running example, being closely related to Scott's domain of intervals. ASD does not use the category of sets, but the full subcategory of overt discrete objects plays this role; it is an arithmetic universe (pretopos with lists). In particular, we use this subcategory to translate computable bases for classical spaces into objects in the ASD calculus.


title: Mullineux involution and twisted affine Lie algebras

abstract: We use Naito-Sagaki's work [S. Naito & D. Sagaki, J. Algebra 245 (2001) 395--412, J. Algebra 251 (2002) 461--474] on Lakshmibai-Seshadri paths fixed by diagram automorphisms to study the partitions fixed by Mullineux involution. We characterize the set of Mullineux-fixed partitions in terms of crystal graphs of basic representations of twisted affine Lie algebras of type $A_{2\ell}^{(2)}$ and of type $D_{\ell+1}^{(2)}$. We set up bijections between the set of symmetric partitions and the set of partitions into distinct parts. We propose a notion of double restricted strict partitions. Bijections between the set of restricted strict partitions (resp., the set of double restricted strict partitions) and the set of Mullineux-fixed partitions in the odd case (resp., in the even case) are obtained.


title: Associate and conjugate minimal immersions in MxR

abstract: We consider minimal immersions in MxR. We study existence and uniqueness of associate and conjugate isometric immersions to a given minimal surface. We use the theory of univalent harmonic map between surfaces. Then we study the geometry of associate minimal vertical graphs. We prove that an associate surface of a vertical graph on a convex domain is a graph. In the classical theory it is a theorem of R. Krust.


title: On Spin L-functions for GSO_10

abstract: In this paper we construct a Rankin-Selberg integral which represents the Spin_10 x St L-function attached to the group GSO_10 x PGL_2. We use this integral representation to give some equivalent conditions for a generic cuspidal representation on GSO_10 to be a functorial lift from the group G_2 x PGL_2.


title: The dichotomy between structure and randomness, arithmetic progressions, and the primes

abstract: A famous theorem of Szemer\'edi asserts that all subsets of the integers with positive upper density will contain arbitrarily long arithmetic progressions. There are many different proofs of this deep theorem, but they are all based on a fundamental dichotomy between structure and randomness, which in turn leads (roughly speaking) to a decomposition of any object into a structured (low-complexity) component and a random (discorrelated) component. Important examples of these types of decompositions include the Furstenberg structure theorem and the Szemer\'edi regularity lemma. One recent application of this dichotomy is the result of Green and Tao establishing that the prime numbers contain arbitrarily long arithmetic progressions (despite having density zero in the integers). The power of this dichotomy is evidenced by the fact that the Green-Tao theorem requires surprisingly little technology from analytic number theory, relying instead almost exclusively on manifestations of this dichotomy such as Szemer\'edi's theorem. In this paper we survey various manifestations of this dichotomy in combinatorics, harmonic analysis, ergodic theory, and number theory. As we hope to emphasize here, the underlying themes in these arguments are remarkably similar even though the contexts are radically different.


title: Fake projective planes

abstract: A fake projective plane is a smooth complex surface which is not the complex projective plane but has the same Betti numbers as the complex projective plane. The first example of such a surface was constructed by David Mumford in 1979 using p-adic uniformization. Two more examples were found by Ishida and Kato by related method. Keum has recently given an example which is possibly different from the three known earlier. It is an interesting problem in complex algebraic geometry to determine all fake projective planes. Using the arithmeticity of the fundamental group of fake projective planes, the formula for the covolume of principal arithmetic subgroups given by the first-named auhor, and some number theoretic estimates, we give a classification of fake projective planes in this paper. Twenty eight distinct classes are found. The construction given in the paper appears to be more direct and more natural. It does not use p-adic uniformization.


title: Dehn surgeries on 2-bridge links which yield reducible 3-manifolds

abstract: We determine the Dehn surgeries on 2-bridge links, which yield reducible 3-manifolds. Further, we show the conditions that we obtain a torus or cable knot from one component of a 2-bridge link by a surgery on another component.


title: Level structures on the Weierstrass family of cubics

abstract: Let W -> A^2 be the universal Weierstrass family of cubic curves over C. For each N >= 2, we construct surfaces parametrizing the three standard kinds of level N structures on the smooth fibers of W. We then complete these surfaces to finite covers of A^2. Since W -> A^2 is the versal deformation space of a cusp singularity, these surfaces convey information about the level structure on any family of curves of genus g degenerating to a cuspidal curve. Our goal in this note is to determine for which values of N these surfaces are smooth over (0,0). From a topological perspective, the results determine the homeomorphism type of certain branched covers of S^3 with monodromy in SL_2(Z/N).


title: Optimal control of a large dam

abstract: A large dam model is an object of study of this paper. The parameters $L^{lower}$ and $L^{upper}$ are its lower and upper levels, $L=L^{upper}-L^{lower}$ is large, and if a current level of water is between these bounds, then the dam is assumed to be in normal state. Passage one or other bound leads to damage. Let $J_1$ $(J_2)$ denote the damage cost of crossing the lower (upper) level. It is assumed that input stream of water is described by a Poisson process, while the output stream is state-dependent (the exact formulation of the problem is given in the paper). Let $L_t$ denote the dam level at time $t$, and let $p_1=\lim_{t\to\infty}\mathbf{P}\{L_t= L^{lower}\}$, $p_2=\lim_{t\to\infty}\mathbf{P}\{L_t> L^{upper}\}$ exist. The long-run average cost $J=p_1J_1+p_2J_2$ is a performance measure. The aim of the paper is to choose the parameter of output stream (exactly specified in the paper) minimizing $J$.


title: Quasi-product forms for Levy-driven fluid networks

abstract: We study stochastic tree fluid networks driven by a multidimensional Levy process. We are interested in (the joint distribution of) the steady-state content in each of the buffers, the busy periods, and the idle periods. To investigate these fluid networks, we relate the above three quantities to fluctuations of the input Levy process by solving a multidimensional Skorokhod reflection problem. This leads to the analysis of the distribution of the componentwise maximums, the corresponding epochs at which they are attained, and the beginning of the first last-passage excursion. Using the notion of splitting times, we are able to find their Laplace transforms. It turns out that, if the components of the Levy process are `ordered', the Laplace transform has a so-called quasi-product form. The theory is illustrated by working out special cases, such as tandem networks and priority queues.


title: A reconstruction problem related to balance equations-II: the general case

abstract: A modified $k$-deck of a graph $G$ is obtained by removing $k$ edges of $G$ in all possible ways, and adding $k$ (not necessarily new) edges in all possible ways. Krasikov and Roditty asked if it was possible to construct the usual $k$-edge deck of a graph from its modified $k$-deck. Earlier I solved this problem for the case when $k=1$. In this paper, the problem is completely solved for arbitrary $k$. The proof makes use of the $k$-edge version of Lov\'asz's result and the eigenvalues of certain matrix related to the Johnson graph. This version differs from the published version. Lemma 2.3 in the published version had a typo in one equation. Also, a long manipulation of some combinatorial expressions was skipped in the original proof of Lemma 2.3, which made it difficult to follow the proof. Here a clearer proof is given.


title: Holomorphic extension associated with Fourier-Legendre expansions

abstract: In this article we prove that if the coefficients of a Fourier-Legendre expansion satisfy a suitable Hausdorff-type condition, then the series converges to a function which admits a holomorphic extension to a cut-plane. Furthermore, we prove that a Laplace-type (Laplace composed with Radon) transform of the function describing the jump across the cut is the unique Carlsonian interpolation of the Fourier coefficients of the expansion. We can thus reconstruct the discontinuity function from the coefficients of the Fourier-Legendre series by the use of the Pollaczek polynomials.


title: Restricted Patience Sorting and Barred Pattern Avoidance

abstract: Patience Sorting is a combinatorial algorithm that can be viewed as an iterated, non-recursive form of the Schensted Insertion Algorithm. In recent work the authors have shown that Patience Sorting provides an algorithmic description for permutations avoiding the barred (generalized) permutation pattern $3-\bar{1}-42$. Motivated by this and a recently formulated geometric form for Patience Sorting in terms of certain intersecting lattice paths, we study the related themes of restricted input and avoidance of similar barred permutation patterns. One such result is to characterize those permutations for which Patience Sorting is an invertible algorithm as the set of permutations simultaneously avoiding the barred patterns $3-\bar{1}-42$ and $3-\bar{1}-24$. We then enumerate this avoidance set, which involves convolved Fibonacci numbers.


title: Two-scale extensions for non-periodic coefficients

abstract: We consider non-homogeneous media with properties which can be characterized by rapidly oscillated coefficients. For such coefficients we define a notion of two-scale extension, present several ways to construct two-scale extensions, discuss their properties and relation to homogenization


title: Varietes faiblement speciales a courbes entieres degenerees

abstract: We show that certain non-special but weakly special threefolds $X$ constructed by Bogomolov-Tschinkel enjoy strong complex hyperbolicity properties: their entire curves are algebraically degenerate and lie either on a fixed divisor or on the fiber of the unique elliptic fibration on $X$. These properties are consistent with the conjectural link between hyperbolicity and arithmetics of projective manifolds. The arithmetic counterpart of this hyperbolicity property (the non-potential density of $X$, object of two conflicting conjectures) remains however open.


title: Blocks with quaternion defect group over a 2-adic ring: the case \tilde{A}_4

abstract: Except for blocks with a cyclic or Klein four defect group, it is not known in general whether the Morita equivalence class of a block algebra over a field of prime characteristic determines that of the corresponding block algebra over a p-adic ring. We prove this to be the case when the defect group is quaternion of order 8 and the block algebra over an algebraically closed field k of characteristic 2 is Morita equivalent to $k\tilde A_4$. The main ingredients are Erdmann's classification of tame blocks and work of Cabanes and Picaronny on perfect isometries between tame blocks.


title: Failure of the parametric h-principle for maps with prescribed jacobian

abstract: Let M and N be closed n-dimensional manifolds, and equip N with a volume form \sigma. Let \mu be an exact n-form on M. Arnold then asked the question: When can one find a map f:;N such that f*\sigma=\mu. In 1973 Eliashberg and Gromov showed that this problem is, in a deep sense, trivial: It satisfies an h-principle, and whenever one can find a bundle map f_bdl:T M to T N which is degree 0 on the base and induces \mu one can homotop this map to a solution f. That is if the naive topological conditions are satisfied on can find a solution. There is no further interesting geometry in the problem. We show the corresponding parametric h-principle fails- if one considers families of maps inducing \mu from \sigma, one can find interesting topology in the space of solutions which is not predicted by an h-principle. Moreover the homotopy type of such maps is quantized: for certain families of forms homotopy type remains constant, jumping only at discrete values.


title: On the conformal systoles of four-manifolds

abstract: We extend a result of M. Katz on conformal systoles to all four-manifolds with b^+=1 which have odd intersection form. The same result holds for all four-manifolds with b^+=1 with even intersection form and which are symplectic or satisfy the so-called 5/4-conjecture.


title: Crossed products of locally C*-algebras

abstract: The crossed products of locally C*-algebras are defined and a Takai duality theorem for inverse limit actions of a locally compact group on a locally C*-algebra is proved.


title: Vertex operator algebras associated to type B affine Lie algebras on admissible half-integer levels

abstract: Let L(n-l+1/2,0) be the vertex operator algebra associated to an affine Lie algebra of type B_l^(1) at level n-l+1/2, for a positive integer n. We classify irreducible L(n-l+1/2,0)-modules and show that every L(n-l+1/2,0)-module is completely reducible. In the special case n=1, we study a category of weak L(-l+3/2,0)-modules which are in the category $\cal{O}$ as modules for the associated affine Lie algebra. We classify irreducible objects in that category and prove semisimplicity of that category.


title: Super Poisson-Lie structure on $SU(m\ve n)$ via $SL(m\ve n,\C)^{\R}$

abstract: This paper concerns a super Poisson-Lie structure on the real Lie supergroup $SU(m \ve n)$. In fact, it turns out that the realification of the complex Lie supergroup $SL(m \ve n, \C)$ is a double of $SU(m \ve n)$ i.e. it is endowed with a structure of super Poisson-Lie which brings down on the supergroup $SU(m \ve n)$. We show that the dual Poisson-Lie supergroup of $SU(m\ve n)$ is $s(AN)$. Reciprocaly, $s(AN)$ inherits a super Poisson-Lie structure from the realification of $SL(m\ve n,\C)$ such that its dual Poisson-Lie supergroup is $SU(m\ve n)$.


title: Unimodality and convexity of f-vectors of polytopes

abstract: We consider unimodality and related properties of f-vectors of polytopes in various dimensions. By a result of Kalai (1988), f-vectors of 5-polytopes are unimodal. In higher dimensions much less can be said; we give an overview on current results and present a potentially interesting construction as well as a conjecture arising from this.


title: Small zeros of quadratic forms over the algebraic closure of Q

abstract: Let $N \geq 2$ be an integer, $F$ a quadratic form in $N$ variables over $\bar{\mathbb Q}$, and $Z \subseteq \bar{\mathbb Q}^N$ an $L$-dimensional subspace, $1 \leq L \leq N$. We prove the existence of a small-height maximal totally isotropic subspace of the bilinear space $(Z,F)$. This provides an analogue over $\bar{\mathbb Q}$ of a well-known theorem of Vaaler proved over number fields. We use our result to prove an effective version of Witt decomposition for a bilinear space over $\bar{\mathbb Q}$. We also include some related effective results on orthogonal decomposition and structure of isometries for a bilinear space over $\bar{\mathbb Q}$. This extends previous results of the author over number fields. All bounds on height are explicit.


title: Search bounds for zeros of polynomials over the algebraic closure of Q

abstract: We discuss existence of explicit search bounds for zeros of polynomials with coefficients in a number field. Our main result is a theorem about the existence of polynomial zeros of small height over the field of algebraic numbers outside of unions of subspaces. All bounds on the height are explicit.


title: Frobenius problem and the covering radius of a lattice

abstract: Let $N \geq2$ and let $1 < a_1 < ... < a_N$ be relatively prime integers. Frobenius number of this $N$-tuple is defined to be the largest positive integer that cannot be expressed as $\sum_{i=1}^N a_i x_i$ where $x_1,...,x_N$ are non-negative integers. The condition that $gcd(a_1,...,a_N)=1$ implies that such number exists. The general problem of determining the Frobenius number given $N$ and $a_1,...,a_N$ is NP-hard, but there has been a number of different bounds on the Frobenius number produced by various authors. We use techniques from the geometry of numbers to produce a new bound, relating Frobenius number to the covering radius of the null-lattice of this $N$-tuple. Our bound is particularly interesting in the case when this lattice has equal successive minima, which, as we prove, happens infinitely often.


title: Toward a classification of finite quandles

abstract: This paper summarizes substantive new results derived by a student team (the first three authors) under the direction of the fourth author at the 2005 session of the KSU REU ``Brainstorming and Barnstorming''. The main results are a decomposition theorem for quandles in terms of an operation of `semidisjoint union' showing that all finite quandles canonically decompose via iterated semidisjoint unions into connected subquandles, and a structure theorem for finite connected quandles with prescribe inner automorphism group. The latter theorem suggests a new approach to the classification of finite connected quandles.


title: Deformation quantization of gerbes

abstract: This is the first in a series of articles devoted to deformation quantization of gerbes. Here we give basic definitions and interpret deformations of a given gerbe as Maurer-Cartan elements of a differential graded Lie algebra (DGLA). We classify all deformations of a given gerbe on a symplectic manifold, as well as provide a deformation-theoretic interpretation of the first Rozansky-Witten class.


title: Tame concealed algebras and cluster quivers of minimal infinite type

abstract: In this paper we explain how and why the list of Happel-Vossieck of tame concealed algebras is closely related to the list of A. Seven of minimal infinite cluster quivers.


title: Noncommutative geometry and motives: the thermodynamics of endomotives

abstract: We combine aspects of the theory of motives in algebraic geometry with noncommutative geometry and the classification of factors to obtain a cohomological interpretation of the spectral realization of zeros of $L$-functions. The analogue in characteristic zero of the action of the Frobenius on l-adic cohomology is the action of the scaling group on the cyclic homology of the cokernel (in a suitable category of motives) of a restriction map of noncommutative spaces. The latter is obtained through the thermodynamics of the quantum statistical system associated to an endomotive (a noncommutative generalization of Artin motives). Semigroups of endomorphisms of algebraic varieties give rise canonically to such endomotives, with an action of the absolute Galois group. The semigroup of endomorphisms of the multiplicative group yields the Bost-Connes system, from which one obtains, through the above procedure, the desired cohomological interpretation of the zeros of the Riemann zeta function. In the last section we also give a Lefschetz formula for the archimedean local L-factors of arithmetic varieties.


title: Partial covering arrays and a generalized Erdos-Ko-Rado property

abstract: The classical Erd\H os-Ko-Rado theorem states that if $k\le\floor{n/2}$ then the largest family of pairwise intersecting $k$-subsets of $[n]=\{0,1,...,n\}$ is of size ${{n-1}\choose{k-1}}$. A family of $k$ subsets satisfying this pairwise intersecting property is called an EKR family. We generalize the EKR property and provide asymptotic lower bounds on the size of the largest family ${\cal A}$ of $k$-subsets of $[n]$ that satisfies the following property: For each $A,B,C\in{\cal A}$, each of the four sets $A\cap B\cap C;A\cap B\cap C^C; A\cap B^C\cap C; A^C\cap B\cap C$ are non-empty. This generalized EKR (GEKR) property is motivated, generalizations are suggested, and a comparison is made with fixed weight 3-covering arrays. Our techniques are probabilistic.


title: A new key exchange protocol based on the decomposition problem

abstract: In this paper we present a new key establishment protocol based on the decomposition problem in non-commutative groups which is: given two elements $w, w_1$ of the platform group $G$ and two subgroups $A, B \subseteq G$ (not necessarily distinct), find elements $a \in A, b \in B$ such that $w_1 = a w b$. Here we introduce two new ideas that improve the security of key establishment protocols based on the decomposition problem. In particular, we conceal (i.e., do not publish explicitly) one of the subgroups $A, B$, thus introducing an additional computationally hard problem for the adversary, namely, finding the centralizer of a given finitely generated subgroup.


title: Asympyotic expansions for infinite weighted convolutions of light subexponential distributions

abstract: We establish some asymptotic expansions for infinite weighted convolutions of distributions having light subexponential tails. Examples are presented, some showing that in order to obtain an expansion with two significant terms, one needs to have a general way to calculate higher order expansions, due to possible cancellations of terms. An algebraic methodology is employed to obtain the results.


title: Boundary conditions associated with the Painlev\'e III' and V evaluations of some random matrix averages

abstract: In a previous work a random matrix average for the Laguerre unitary ensemble, generalising the generating function for the probability that an interval $ (0,s) $ at the hard edge contains $ k $ eigenvalues, was evaluated in terms of a Painlev\'e V transcendent in $ \sigma $-form. However the boundary conditions for the corresponding differential equation were not specified for the full parameter space. Here this task is accomplished in general, and the obtained functional form is compared against the most general small $ s $ behaviour of the Painlev\'e V equation in $ \sigma $-form known from the work of Jimbo. An analogous study is carried out for the the hard edge scaling limit of the random matrix average, which we have previously evaluated in terms of a Painlev\'e \IIId transcendent in $ \sigma $-form. An application of the latter result is given to the rapid evaluation of a Hankel determinant appearing in a recent work of Conrey, Rubinstein and Snaith relating to the derivative of the Riemann zeta function.


title: Prime numbers -- your gems

abstract: Prime numbers or primes are man's eternal treasures that have been cherished for several millennia, until today. As their academic ancestors in ancient Mesopotamia, many mathematicians are still trying hard to see primes better. I shall relate here a part of my impressions that I have gathered in a corner of my mind through my own research and excursions outside my profession. This is in essence a translation of my Japanese article that was prepared for my public talk at the general assembly of the Mathematical Society of Japan, Spring 2005, and is now available on the home page of MSJ. At this opportunity I have made substantial revisions, and changed the title into a more appropriate one. This is also an enlarged version of my public talk to be delivered at TECHNION, Haifa, on Dec 20, 2005.


title: Color degree and color neighborhood union conditions for long heterochromatic paths in edge-colored graphs

abstract: Let $G$ be an edge-colored graph. A heterochromatic (rainbow, or multicolored) path of $G$ is such a path in which no two edges have the same color. Let $d^c(v)$ denote the color degree and $CN(v)$ denote the color neighborhood of a vertex $v$ of $G$. In a previous paper, we showed that if $d^c(v)\geq k$ (color degree condition) for every vertex $v$ of $G$, then $G$ has a heterochromatic path of length at least $\lceil\frac{k+1}{2}\rceil$, and if $|CN(u)\cup CN(v)|\geq s$ (color neighborhood union condition) for every pair of vertices $u$ and $v$ of $G$, then $G$ has a heterochromatic path of length at least $\lceil\frac{s}{3}\rceil+1$. Later, in another paper we first showed that if $k\leq 7$, $G$ has a heterochromatic path of length at least $k-1$, and then, based on this we use induction on $k$ and showed that if $k\geq 8$, then $G$ has a heterochromatic path of length at least $\lceil\frac{3k}{5}\rceil+1$. In the present paper, by using a simpler approach we further improve the result by showing that if $k\geq 8$, $G$ has a heterochromatic path of length at least $\lceil\frac{2k}{3}\rceil+1$, which confirms a conjecture by Saito. We also improve a previous result by showing that under the color neighborhood union condition, $G$ has a heterochromatic path of length at least $\lfloor\frac{2s+4}{5}\rfloor$.


title: Backward Stochatic Differential Equations II

abstract: In a preceding article, we have studied a generalization of the problem of finding a martingale on a manifold whose terminal value is known. This article completes the results obtained in the first article by providing uniqueness and existence theorems in a general framework (in particular if positive curvatures are allowed), still using differential geometry tools.


title: Distribution of Eigenvalues of Real Symmetric Palindromic Toeplitz Matrices and Circulant Matrices

abstract: Consider the ensemble of real symmetric Toeplitz matrices, each independent entry an i.i.d. random variable chosen from a fixed probability distribution p of mean 0, variance 1, and finite higher moments. Previous investigations showed that the limiting spectral measure (the density of normalized eigenvalues) converges weakly and almost surely, independent of p, to a distribution which is almost the standard Gaussian. The deviations from Gaussian behavior can be interpreted as arising from obstructions to solutions of Diophantine equations. We show that these obstructions vanish if instead one considers real symmetric palindromic Toeplitz matrices, matrices where the first row is a palindrome. A similar result was previously proved for a related circulant ensemble through an analysis of the explicit formulas for eigenvalues. By Cauchy's interlacing property and the rank inequality, this ensemble has the same limiting spectral distribution as the palindromic Toeplitz matrices; a consequence of combining the two approaches is a version of the almost sure Central Limit Theorem. Thus our analysis of these Diophantine equations provides an alternate technique for proving limiting spectral measures for certain ensembles of circulant matrices.


title: A note on multiple Seshadri constants on surfaces

abstract: We give a bound for the multiple Seshadri constants on surfaces with Picard number 1. The result is a natural extension of the bound of A. Steffens for simple Seshadri constants. In particular, we prove that the Seshadri constant $\epsilon(L; r)$ is maximal when $rL^2$ is a square.


title: Quantization effects for a fourth order equation of exponential growth in dimension four

abstract: We investigate the asymptotic behavior as $k \to +\infty$ of sequences $(u_k)_{k\in\mathbb{N}}\in C^4(\Omega)$ of solutions of the equations $\Delta^2 u_k=V_k e^{4u_k}$ on $\Omega$, where $\Omega$ is a bounded domain of $\mathbb{R}^4$ and $\lim_{k\to +\infty}V_k=1$ in $C^0_{loc}(\Omega)$. The corresponding 2-dimensional problem was studied by Br\'ezis-Merle and Li-Shafrir who pointed out that there is a quantization of the energy when blow-up occurs. As shown by Adimurthi, Struwe and the author, such a quantization does not hold in dimension four for the problem in its full generality. We prove here that under natural hypothesis on $\Delta u_k$, we recover such a quantization as in dimension 2.


title: Concentration phenomena for a fourth order equations with exponential growth: the radial case

abstract: We let $\Omega$ be a smooth bounded domain of $\mathbb{R}^4$ and a sequence of fonctions $(V_k)_{k\in\mathbb{N}}\in C^0(\Omega)$ such that $\lim_{k\to +\infty}V_k=1$ in $C^0_{loc}(\Omega)$. We consider a sequence of functions $(u_k)_{k\in\mathbb{N}}\in C^4(\Omega)$ such that $$\Delta^2 u_k=V_k e^{4u_k}$$ in $\Omega$ for all $k\in\mathbb{N}$. We address in this paper the question of the asymptotic behaviour of the $(u_k)'s$ when $k\to +\infty$. The corresponding problem in dimension 2 was considered by Br\'ezis-Merle and Li-Shafrir (among others), where a blow-up phenomenon was described and where a quantization of this blow-up was proved. Surprisingly, as shown by Adimurthi, Struwe and the author, a similar quantization phenomenon does not hold for this fourth order problem. Assuming that the $u_k$'s are radially symmetrical, we push further the previous analysis. We prove that there are exactly three types of blow-up and we describe each type in a very detailed way.


title: Locally coalgebra-Galois extensions

abstract: The paper introduces the notion of a locally coalgebra-Galois extension and, as its special case, a locally cleft extension. The necessary and sufficient conditions for a locally coalgebra-Galois extension to be a (global) coalgebra-Galois extension are stated. As an important special case, it is proven, that under not very restrictive conditions the gluing of two locally cleft extensions is a globally coalgebra-Galois extension. As an example, the quantum lens space of positive charge is constructed by gluing of two quantum solid tori.


title: Relating invariant linear form and local epsilon factors via global methods

abstract: {We use the recent proof of Jacquet's conjecture due to Harris and Kudla, and the Burger-Sarnak principle to give a proof about the relationship between the existence of trilinear forms on representations of $GL_2(k_u)$ for a non-Archimedean local field $k_u$ and local epsilon factors which was earlier proved only in the odd residue characteristic by this author. The same method gives a global proof of a theorem of Saito and Tunnell about characters of $GL_2$ using a theorem of Waldspurger about period integrals for $GL_2$ and also an extension of the theorem of Saito-Tunnell by this author which was earlier proved only in odd residue characteristic.}


title: Autour d'une surface rationnelle dans $\mathbb{C}^3$

abstract: Affine surfaces in $\mathbb{C}^{3}$ defined by an equation of the form $x^{n}z-Q(x,y)=0$ have been increasingly studied during the past 15 years. Of particular interest is the fact that they come equipped with an action of the additive group $\mathbb{C}_{+}$ induced by such an action on the ambient space. The litterature of the last decade may lead one to believe that there are essentially no other of rational surfaces in $\mathbb{C}^{3}$ with this property. In this note, we construct an explicit example of a surface nonisomorphic to a one of the above type but equipped with a free $\mathbb{C}_{+}$-action induced by an action on $\mathbb{C}^{3}$. We give an elementary and self-contained proof of this fact. As an application, we construct a wild but stably-tame automorphisme of $\mathbb{C}^{3}$ which seems to be new.


title: Weak del Pezzo surfaces with irregularity

abstract: I construct normal del Pezzo surfaces, and regular weak del Pezzo surfaces as well, with positive irregularity q>0. Such things can happen only over nonperfect fields. The surfaces in question are twisted forms of nonnormal del Pezzo surfaces, which were classified by Reid. The twisting is with respect to the flat topology and infinitesimal group scheme actions. The twisted surfaces appear as generic fibers for Fano--Mori contractions on certain threefolds with only canonical singularities.


title: Special families of curves, of Abelian varieties, and of certain minimal manifolds over curves

abstract: This survey article discusses some results on the structure of families f:V-->U of n-dimensional manifolds over quasi-projective curves U, with semistable reduction over a compactification Y of U. We improve the Arakelov inequality for the direct images of powers of the dualizing sheaf. For families of Abelian varieties we recall the characterization of Shimura curves by Arakelov equalities. For families of curves we recall the characterization of Teichmueller curves in terms of the existence of certain sub variation of Hodge structures. We sketch the proof that the moduli scheme of curves of genus g>1 can not contain compact Shimura curves, and that it only contains a non-compact Shimura curve for g=3.


title: Lower central series for surface braid groups

abstract: We determine the lower central series and corresponding residual properties for braid groups and pure braid groups of orientable surfaces.


title: Polar actions on compact rank one symmetric spaces are taut

abstract: We prove that the orbits of a polar action of a compact Lie group on a compact rank one symmetric space are tautly embedded with respect to Z_2-coefficients.


title: Petrie-Coxeter Maps Revisited

abstract: This paper presents a technique for constructing new chiral or regular polyhedra (or maps) from self-dual abstract chiral polytopes of rank 4. From improperly self-dual chiral polytopes we derive "Petrie-Coxeter-type" polyhedra (abstract chiral analogues of the classical Petrie-Coxeter polyhedra) and investigate their groups of automorphisms.


title: On the Density of Iterated Line Segment Intersections

abstract: Given S_1, a finite set of points in the plane, we define a sequence of point sets S_i as follows: With S_i already determined, let L_i be the set of all the line segments connecting pairs of points of the union of S_1,...,S_i, and let S_i+1 be the set of intersection points of those line segments in L_i, which cross but do not overlap. We show that with the exception of some starting configurations the set of all crossing points is dense in a particular subset of the plane with nonempty interior. This region is the intersection of all closed half planes which contain all but at most one point from S_1.


title: Properties preserved under Morita equivalence of C*-algebras

abstract: We show that important structural properties of C*-algebras and the multiplicity numbers of representations are preserved under Morita equivalence.


title: UFOs -- Unidentified Figurative Objects. A Geometric Challenge

abstract: Choose a polynomial in three variables with not more than three or four monomials of moderate degree. Take simple coefficients as 1 and -1. Then draw a picture of the solution variety in real three space using a ray-tracing program like POV-Ray, Surf or Spicy. Go to your colleague in the next room, show her/him the picture and ask for a suitable equation. This is the theme of the article: The problem of recognizing the algebraic definition of a geometric object, in this case a real algebraic surface. We do not offer any answers or results. 24 surfaces are presented, each in two different views, but without equations. The reader may try to find them -- or consult the calendar at http://www.hh.hauser.cc, where the equations are displayed one per day together with a short animation of the surface.


title: X=M Theorem: Fermionic formulas and rigged configurations under review

abstract: We give a review of the current status of the X=M conjecture. Here X stands for the one-dimensional configuration sum and M for the corresponding fermionic formula. There are three main versions of this conjecture: the unrestricted, the classically restricted and the level-restricted version. We discuss all three versions and illustrate the methods of proof with many examples for type A_{n-1}^{(1)}. In particular, the combinatorial approach via crystal bases and rigged configurations is discussed. Each section ends with a conglomeration of open problems.


title: Free and fragmenting filling length

abstract: The filling length of an edge-circuit \eta in the Cayley 2-complex of a finite presentation of a group is the least integer L such that there is a combinatorial null-homotopy of \eta down to a base point through loops of length at most L. We introduce similar notions in which the null-homotopy is not required to fix a basepoint, and in which the contracting loop is allowed to bifurcate. We exhibit groups in which the resulting filling invariants exhibit dramatically different behaviour to the standard notion of filling length. We also define the corresponding filling invariants for Riemannian manifolds and translate our results to this setting.


title: Global Attitude Estimation using Uncertainty Ellipsoids

abstract: Attitude estimation is often a prerequisite for control of the attitude or orientation of mechanical systems. Current attitude estimation algorithms use coordinate representations for the group of rigid body orientations. All coordinate representations of the group of orientations have associated problems. While minimal coordinate representations exhibit kinematic singularities for large rotations, non-minimal coordinates like quaternions require satisfaction of extra constraints. A deterministic attitude estimation problem for a rigid body with bounded measurement errors is considered here. An attitude estimation algorithm that globally minimizes the attitide estimation error, is obtained. Assuming that the initial attitude, the initial angular velocity and measurement noise lie within given ellipsoidal bounds, an uncertainty ellipsoid that bounds the attitude and the angular velocity of the rigid body is obtained. The center of the uncertainty ellipsoid provides point estimates, and the size of the uncertainty ellipsoid measures the accuracy of the estimates. The point estimates, and the uncertainty ellipsoids are propagated using a Lie group variational integrator, and its linearization, respectively. The attitude estimation is optimal in the sense that the attitude estimation error and the size of the uncertainty ellipsoid is minimized.


title: Around matrix-tree theorem

abstract: Generalizing the classical matrix-tree theorem we provide a formula counting subgraphs of a given graph with a fixed 2-core. We use this generalization to obtain an analog of the matrix-tree theorem for the root system $D_n$ (the classical theorem corresponds to the $A_n$-case). Several byproducts of the developed technique, such as a new formula for a specialization of the multivariate Tutte polynomial, are of independent interest.


title: Classification of braids which give rise to interchange

abstract: It is well known that the existence of a braiding in a monoidal category V allows many structures to be built upon that foundation. These include a monoidal 2-category V-Cat of enriched categories and functors over V, a monoidal bicategory V-Mod of enriched categories and modules, a category of operads in V and a 2-fold monoidal category structure on V. We will begin by focusing our exposition on the first and last in this list due to their ability to shed light on a new question. We ask, given a braiding on V, what non-equal structures of a given kind in the list exist which are based upon the braiding. For instance, what non-equal monoidal structures are available on V-Cat, or what non-equal operad structures are available which base their associative structure on the braiding in V. We demonstrate alternative underlying braids that result in an infinite family of associative structures. The external and internal associativity diagrams in the axioms of a 2-fold monoidal category will provide us with several obstructions that can prevent a braid from underlying an associative structure.


title: Moduli spaces for Bondal quivers

abstract: Given a sufficiently nice collection of sheaves on an algebraic variety V, Bondal explained how to build a quiver Q along with an ideal of relations in the path algebra of Q such that the derived category of representations of Q subject to these relations is equivalent to the derived category of coherent sheaves on V. We consider the case in which these sheaves are all locally free and study the moduli spaces of semistable representations of our quiver with relations for various stability conditions. We show that V can often be recovered as a connected component of such a moduli space and we describe the line bundle induced by a GIT construction of the moduli space in terms of the input data. In certain special cases, we interpret our results in the language of topological string theory.


title: A renormalized index theorem for some complete asymptotically regular metrics: the Gauss-Bonnet theorem

abstract: The Gauss-Bonnet Theorem is studied for edge metrics as a renormalized index theorem. These metrics include the Poincar\'e-Einstein metrics of the AdS/CFT correspondence. Renormalization is used to make sense of the curvature integral and the dimensions of the $L^2$-cohomology spaces as well as to carry out the heat equation proof of the index theorem. For conformally compact metrics even mod $x^m$, the finite time supertrace of the heat kernel on conformally compact manifolds is shown to renormalize independently of the choice of special boundary defining function.


title: Local move formulae for \\the Alexander polynomials of $n$-knots

abstract: It is well-known:Suppose there are three 1-dimensional links $K_+$, $K_-$, $K_0$ such that $K_+$, $K_-$, and $K_0$ coincide out of a 3-ball $B$ trivially embedded in $S^3$ and that $K_+\cap B$, $K_-\cap B$, and $K_0\cap B$ are drawn as follows. Then $\Delta_{K_+}-\Delta_{K_+}=(t-1)\cdot\Delta_{K_0}$, where $\Delta_{K}$ is the Alexander polynomial of $K$. We know similar formulae of other invariants of 1-dimensional knots and links. (The Jones polynomial etc.) It is natural to ask: Suppose there are two $n$-dimensional knots $K_+$, $K_-$ and a submanifold $K_0$ such that $K_+$, $K_-$, and $K_0$ coincide out of a $n$-ball $B$ trivially embedded in $S^{n+2}$. Then is there a relation in $K_+\cap B$, $K_-\cap B$, and $K_0\cap B$ with the following property(*)? (*)If $K_+$, $K_-$, and $K_0$ satisfy this relation, an invariant of $K_+$, that of $K_-$, and that of $K_0$ satisfy a fixed relation. In this paper we pove there are such a relation where $K_+$, $K_-$, and $K_0$ satisfy the formula $\Delta_{K_+}-\Delta_{K_+}=(t-1)\cdot\Delta_{K_0}$, where $\Delta_{K}$ is a polynomial to represent the Alexander polynomial of $K$. We show another relation where $K_+$, $K_-$, and $K_0$ satisfy the formula ${\mathrm{Arf}}K_+-{\mathrm{Arf}}K_-=\{|bP_{4k+2}\cap I(K_0)|+1\}mod 2,$ where (1)$I()$ is the inertia group. and $I(K_0)$ is the inertia group of a smooth manifold which is orientation preserving diffeomorphic to $K_0$. (2)For a group $G$, $|G|$ denote the order of $G$. A local move formula is a relation of an invariant of a few knots related by a local move as above.


title: Automorphisms of the Weyl algebra

abstract: We discuss a conjecture which says that the automorphism group of the Weyl algebra in characteristic zero is canonically isomorphic to the automorphism group of the corresponding Poisson algebra of classical polynomial symbols. Several arguments in favor of this conjecture are presented, all based on the consideration of the reduction of the Weyl algebra to positive characteristic.


title: $D$-Elliptic Sheaves and Uniformisation

abstract: An analytic uniformisation of the varieties of Laumon, Rapoport and Stuhler at the infinite place is presented. This can be seen as the function field analog to the uniformisation of Shimura varieties classifying Abelian varieties with large endomorphism rings.


title: The Jacobian Conjecture is stably equivalent to the Dixmier Conjecture

abstract: The Jacobian conjecture in dimension $n$ asserts that any polynomial endomorphism of $n$-dimensional affine space over a field of zero characteristic, with the Jacobian equal 1, is invertible. The Dixmier conjecture in rank $n$ asserts that any endomorphism of the $n$-th Weyl algebra (the algebra of polynomial differential operators in $n$ variables) is invertible. We prove that the Jacobian conjecture in dimension $2n$ implies the Dixmier conjecture in rank $n$. Together with a well-known implication in the opposite direction, it shows that the stable Jacobian and Dixmier conjectures are equivalent. The main tool of the proof is the reduction to finite characteristic. After the paper was finished we have learned that the main result was already published by Y.Tsuchimoto in Osaka Journal of Mathematics Volume 42, Number 2 (June 2005). His proof is different.


title: A generalization of an inequality from IMO 2005

abstract: A generalization of an inequality from IMO is proven.


title: Generalized Krein formula and determinants for even dimensional Poincare-Einstein manifolds

abstract: For a class of even dimensional conformally compact manifolds (X,g), we define a generalized Krein spectral function by applying a renormalized trace functional to the spectral measure of the Laplacian. We then show that this is the phase of the Kontsevich-Vishik determinant det S(s) of the scattering operator S(s) of (the Laplacian of) g and we analyze the divisors of det(S(s)). As an application for convex co-compact hyperbolic quotients, we obtain a functional equation for Selberg's Zeta function Z(s), we express the determinant of the GJMS conformal Laplacians of the conformal infinity of (X,g) in term of particular values of Z(s), and we show a sharp Weyl type asymptotic for the Krein function.


title: Fin de la Preuve de la Conjecture du Jacobien en dimension 2

abstract: This paper has been withdrawn by the author. Indeed, the identity Jac(F\_j,Psi)=Psi^s in part 2.2. has to be proved.


title: Multiplicative structures of values of the sum-of-divisors function

abstract: We study equations of the form $\sigma(p^{q-1})=Az$, where $p$ is a prime, $q$ is a fixed odd prime, $A$ is a fixed integer and $z$ is an integer composed of primes in a fixed finite set. We shall improve upper bounds for the size and the number of solutions of such equations.


title: The combinatorics of Coxeter categories

abstract: We present an alternative construction of Soergel's category of bimodules associated to a reflection faithful representation of a Coxeter system. We show that its objects can be viewed as sheaves on the associated moment graph. We introduce an exact structure and show that Soergel's "special" bimodules are the projective objects. Then we construct the indecomposable projectives by both a global and a local method, discuss a version of the Kazhdan-Lusztig conjecture and prove it for universal Coxeter systems.


title: The fair and random maximal division of "pizza"

abstract: Consider n straight line cuts of a circular pizza made so as to maximize the number of pieces. We investigate how fair such a maximal division may be and how many slices are obtained if the cuts are successfully made with a certain probability.


title: Special Lagrangian cones with higher genus links

abstract: For every odd natural number g=2d+1 we prove the existence of a countably infinite family of special Lagrangian cones in C^3 over a closed Riemann surface of genus g, using a geometric PDE gluing method.


title: Multi-Scaling of the $n$-point density function for coalescing Brownian motions

abstract: This paper gives a derivation for the large time asymptotics of the $n$-point density function of a system of coalescing Brownian motions on $\bf{R}$.

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


title: Property (FA) and lattices in SU(2,1)

abstract: In this paper we consider Property (FA) for lattices in SU(2,1). First, we prove that SU(2,1;O_3) has Property (FA). We then prove that the arithmetic lattices in SU(2,1) of second type arising from congruence subgroups studied by Rapoport--Zink and Rogawski cannot split as a nontrivial free product with amalgamation; one such example is Mumford's fake projective plane. In fact, we prove that the fundamental group of any fake projective plane has Property (FA).


title: Accompanying document to "Point Estimation with Exponentially Tilted Empirical Likelihood"

abstract: Parameters defined via General Estimating Equations (GEE) can be estimated by maximizing the Empirical Likelihood (EL). Newey and Smith (2004) have recently shown that this EL estimator exhibits desirable higher-order asymptotic properties, namely, that its O(n^-1) bias is small and that bias-corrected EL is higher-order efficient. Although EL possesses these properties when the model is correctly specified, this paper shows that, in the presence of model misspecification, EL may cease to be root n convergent when the functions defining the moment conditions are unbounded (even when their expectations are bounded). In contrast, the related Exponential Tilting (ET) estimator avoids this problem. This paper shows that the ET and EL estimators can be naturally combined to yield an estimator called Exponentially Tilted Empirical Likelihood (ETEL) exhibiting the same O(n^-1) bias and the same O(n^-2) variance as EL, while maintaining root n convergence under model misspecification.


title: A Calabi-Yau threefold with Brauer group (Z/8Z)^2

abstract: We calculate the Brauer group of a certain Calabi-Yau threefold discovered by Mark Gross and Sorin Popescu, which is a small resolution of a complete intersection of type (2,2,2,2) with 64 ordinary double points. We find the Brauer group is (Z/8Z)^2, which is the largest known example of a Brauer group of a Calabi-Yau threefold.


title: Complete Einstein-K\"{a}hler Metric and Holomorphic Sectional Curvature on $Y_{II}(r,p;K)$

abstract: The explicit complete Einstein-K\"{a}hler metric on the second type Cartan-Hartogs domain $Y_{II}(r,p;K)$ is obtained in this paper when the parameter $K$ equals $\frac p2+\frac 1{p+1}$. The estimate of holomorphic sectional curvature under this metric is also given which intervenes between $-2K$ and $-\frac{2K}p$ and it is a sharp estimate. In the meantime we also prove that the complete Einstein-K\"ahler metric is equivalent to the Bergman metric on $Y_{II}(r,p;K)$ when $K=\frac p2+\frac 1{p+1}$.


title: Higher Nash blowups

abstract: For each non-negative integer $n$, we define the $n$-th Nash blowup of an algebraic variety, and call them all higher Nash blowups. When $n=1$, it coincides with the classical Nash blowup. We study higher Nash blowups of curves in detail and prove that any curve in characteristic zero can be desingularized by its $n$-th Nash blowup with $n$ large enough.


title: Hartogs Type Theorems for CR L^{2} functions on Coverings of Strongly Pseudoconvex Manifolds

abstract: We prove an analog of the classical Hartogs extension theorem for CR $L^{2}$ functions defined on boundaries of certain (possibly unbounded) domains on coverings of strongly pseudoconvex manifolds. Our result is related to a problem posed in the paper of Gromov, Henkin and Shubin [GHS] on holomorphic $L_{2}$ functions on coverings of pseudoconvex manifolds.


title: On pairs of matrices generating matrix rings and their presentations

abstract: Let $M_n(\mathbb{Z})$ the ring of $n$-by-$n$ matrices with integral entries, and $n \geq 2$. This paper studies the set $G_n(\mathbb{Z})$ of pairs $(A,B) \in M_n(\mathbb{Z})^2$ generating $M_n(\mathbb{Z})$ as a ring. We use several presentations of $M_{n}(\mathbb{Z})$ with generators $X=\sum_{i=1}^n E_{i+1,i}$ and $Y=E_{11}$ to obtain the following consequences. \begin{enumerate} \item Let $k \geq 1$. Then the rings $M_n(\mathbb{Q})^k$ and $\bigoplus_{j=1}^{k} M_{n_j} (\mathbb{Z})$, where $n_1, ..., n_k \geq 2$ are pairwise relatively prime, have presentations with 2 generators and finitely many relations. \item Let $D$ be a commutative domain of sufficiently large characteristic over which every finitely generated projective module is free. We use 4 relations for $X$ and $Y$ to describe all representations of the ring $M_{n}(D)$ into $M_{m}(D)$ for $m \geq n$. \item We obtain information about the asymptotic density of $G_n(F)$ in $M_n(F)^2$ over different fields, and over the integers. \end{enumerate}


title: Equivariant K-theory of compactifications of algebraic groups

abstract: In this article we describe the $G\times G$-equivariant $K$-ring of $X$, where $X$ is a regular compactification of a connected complex reductive algebraic group $G$. Furthermore, in the case when $G$ is a semisimple group of adjoint type, and $X$ its wonderful compactification, we describe its ordinary $K$-ring $K(X)$. More precisely, we prove that $K(X)$ is a free module over $K(G/B)$ of rank the cardinality of the Weyl group. We further give an explicit basis of $K(X)$ over $K(G/B)$, and also determine the structure constants with respect to this basis.


title: Universal coverings of Steinberg Lie algebras of small characteristic

abstract: It is well-known that the second homology group $H_2(\st)$ of the Steinberg Lie algebra $\st$ is trivial when $n\geq 5$. In this paper, we will work out $H_2(\st)$ explicitly for $n=3, 4$ which are not necessarily trivial. Consequently, we obtained $H_2(sl_n(R))$ for $n=3, 4$.


title: The finite antichain property in Coxeter groups

abstract: We prove that the weak order on an infinite Coxeter group contains infinite antichains if and only if the group is not affine.


title: Characteristic 0 and p analogies, and some motivic cohomology

abstract: The purpose of this survey is to explain some recent results about analogies between characteristic 0 and characteristic $p>0$ geometry, and to discuss an infinitesimal variant of motivic cohomology. More specifically, we review results showing that the big de Rham Witt complex of a field is a complex of 0-cycles (section 2), as well as results showing analogies between char. $p>0$ and char. 0 geometry. Some of those results determine local cohomology invariants of singular varieties (section 3) and others are concerned with congruences modulo $q$-powers for the number of rational points of varieties defined over $\F_q$ (section 1).


title: Statistical mechanical systems on complete graphs, infinite exchangeability, finite extensions and a discrete finite moment problem

abstract: We show that a large collection of statistical mechanical systems with quadratically represented Hamiltonians on the complete graph can be extended to infinite exchangeable processes. This extends a known result for the ferromagnetic Curie--Weiss Ising model and includes as well all ferromagnetic Curie--Weiss Potts and Curie--Weiss Heisenberg models. By de Finetti's theorem, this is equivalent to showing that these probability measures can be expressed as averages of product measures. We provide examples showing that ``ferromagnetism'' is not however in itself sufficient and also study in some detail the Curie--Weiss Ising model with an additional 3-body interaction. Finally, we study the question of how much the antiferromagnetic Curie--Weiss Ising model can be extended. In this direction, we obtain sharp asymptotic results via a solution to a new moment problem. We also obtain a ``formula'' for the extension which is valid in many cases.


title: On the cohomological equation for nilflows

abstract: Let X be a vector field on a compact connected manifold M. An important question in dynamical systems is to know when a function g:M -> R is a coboundary for the flow generated by X, i.e. when there exists a function f: M->R such that Xf=g. In this article we investigate this question for nilflows on nilmanifolds. We show that there exists countably many independent Schwartz distributions D_n such that any sufficiently smooth function g is a coboundary iff it belongs to the kernel of all the distributions D_n.


title: How to compute the rank of a Delaunay polytope

abstract: Roughly speaking, the rank of a Delaunay polytope (first introduced in \cite{DGL92}) is its number of degrees of freedom. In \cite{DL}, a method for computing the rank of a Delaunay polytope $P$ using the hypermetrics related to $P$ is given. Here a simpler more efficient method, which uses affine dependencies instead of hypermetrics is given. This method is applied to classical Delaunay polytopes. Then, we give an example of a Delaunay polytope, which does not have any affine basis.


title: Bipolar spaces

abstract: Some basic features of the simultaneous inclusion of discrete fibrations and discrete opfibrations on a category A in the category of categories over A are studied; in particular, the reflections and the coreflections of the latter in the former are considered, along with a negation-complement operator which, applied to a discrete fibration, gives a functor with values in discrete opfibrations (and vice versa) and which turns out to be classical, in that the strong contraposition law holds. Such an analysis is developed in an appropriate conceptual frame that encompasses similar "bipolar" situations and in which a key role is played by "cofigures", that is components of products; e.g. the classicity of the negation-complement operator corresponds to the fact that discrete opfibrations (or in general "closed parts") are properly analyzed by cofigures with shape in discrete fibrations ("open parts"), that is, that the latter are "coadequate" for the former, and vice versa. In this context, a very natural definition of "atom" is proposed and it is shown that, in the above situation, the category of atoms reflections is the Cauchy completion of A.


title: Feller property and infinitesimal generator of the exploration process

abstract: We consider the exploration process associated to the continuous random tree (CRT) built using a Levy process with no negative jumps. This process has been studied by Duquesne, Le Gall and Le Jan. This measure-valued Markov process is a useful tool to study CRT as well as super-Brownian motion with general branching mechanism. In this paper we prove this process is Feller, and we compute its infinitesimal generator on exponential functionals and give the corresponding martingale.


title: Strictly stable distributions on convex cones

abstract: Using the LePage representation, a strictly stable random element in a Banach space with $\alpha\in(0,2)$ can be represented as a sum of points of a Poisson process. This point process is union-stable, i.e. the union of its two independent copies coincides in distribution with the rescaled original point process. These concepts makes sense in any convex cone, i.e. in a commutative semigroup equipped with multiplication by numbers, and lead to a construction of stable laws in general cones by means of the LePage series. The corresponding limit theorem shows that random samples (or binomial point processes) converge in distribution to the union-stable Poisson point process, and so yields a limit theorem for normalised sums of random elements with $\alpha$-stable limit for $\alpha\in(0,1)$. By using the technique of harmonic analysis on semigroups we characterise distributions of $\alpha$-stable random elements and show how possible values of $\alpha$ relate to the properties of the semigroup and the corresponding scaling operation, in particular, their distributivity properties. The approach developed in the paper not only makes it possible to handle stable distributions in rather general cones (like spaces of sets or measures), but also provides an alternative way to prove classical limit theorems and deduce the LePage representation for strictly stable random vectors in Banach spaces.


title: Brown measure and iterates of the Aluthge transform for some operators arising from measurable actions

abstract: We consider the Aluthge transform $|T|^{1/2}U|T|^{1/2}$ of a Hilbert space operator $T$, where $T=U|T|$ is the polar decomposition of $T$. We prove that the map that sends $T$ to its Aluthge transform is continuous with respect to the norm topology and with respect to the $*$--SOT topology on bounded sets. We consider the special case in a tracial von Neumann algebra when $U$ implements an automorphism of the von Neumann algebra generated by the positive part $|T|$ of $T$, and we prove that the iterated Aluthge transform converges to a normal operator whose Brown measure agrees with that of $T$ (and we compute this Brown measure). This proof relies on a theorem that is an analogue of von Neumann's mean ergodic theorem, but for sums weighted by binomial coefficients.


title: Level algebras with bad properties

abstract: This paper can be seen as a continuation of the works contained in the recent preprints [Za], of the second author, and [Mi], of Juan Migliore. Our results are: 1). There exist codimension three artinian level algebras of type two which do not enjoy the Weak Lefschetz Property (WLP). In fact, for $e\gg 0$, we will construct a codimension three, type two $h$-vector of socle degree $e$ such that {\em all} the level algebras with that $h$-vector do not have the WLP. We will also describe the family of those algebras and compute its dimension, for each $e\gg 0$. 2). There exist reduced level sets of points in ${\mathbf P}^3$ of type two whose artinian reductions all fail to have the WLP. Indeed, the examples constructed here have the same $h$-vectors we mentioned in 1). 3). For any integer $r\geq 3$, there exist non-unimodal monomial artinian level algebras of codimension $r$. As an immediate consequence of this result, we obtain another proof of the fact (first shown by Migliore in [Mi], Theorem 4.3) that, for any $r\geq 3$, there exist reduced level sets of points in ${\mathbf P}^r$ whose artinian reductions are non-unimodal.


title: The Orbifold Chow Ring of Hypertoric Deligne-Mumford Stacks

abstract: Hypertoric varieties are determined by hyperplane arrangements. In this paper, we use stacky hyperplane arrangements to define the notion of hypertoric Deligne-Mumford stacks. Their orbifold Chow rings are computed. As an application, some examples related to crepant resolutions are discussed.


title: On time-inhomogeneous controlled diffusion processes in domains

abstract: Time-inhomogeneous controlled diffusion processes in both cylindrical and noncylindrical domains are considered. Bellman's principle and its applications to proving the continuity of value functions are investigated.


title: The critical random graph, with martingales

abstract: We give a short proof that the largest component of the random graph $G(n, 1/n)$ is of size approximately $n^{2/3}$. The proof gives explicit bounds for the probability that the ratio is very large or very small.


title: Finite dimensional graded simple algebras

abstract: Let $R$ be a finite-dimensional algebra over an algebraically closed field $F$ graded by an arbitrary group $G$. We prove that $R$ is a graded division algebra if and only if it is isomorphic to a twisted group algebra of some finite subgroup of $G$. If the characteristic of $F$ is zero or ${\rm char} F$ does not divide the order of any finite subgroup of $G$ then we prove that $R$ is graded simple if and only if it is a matrix algebra over a finite-dimensional graded division algebra.


title: Automorphisms Inner in the Local Multiplier Algebra and Connes Spectrum

abstract: We obtain some results that relate the Connes spectrum with the innerness of automorphisms in the fixed point local multiplier algebra. The results are variants and/or extensions of corresponding results of Olesen, Pedersen and Stormer [6], [7], [9] and Ara and Mathieu [1] to the case of local multiplier algebras.


title: Schubert Classes in the Equivariant K-Theory and Equivariant Cohomology of the Grassmannian

abstract: We give positive formulas for the restriction of a Schubert Class to a T-fixed point in the equivariant K-theory and equivariant cohomology of the Grassmannian. Our formulas rely on a result of Kodiyalam-Raghavan and Kreiman-Lakshmibai, which gives an equivariant Grobner degeneration of a Schubert variety in the neighborhood of a T-fixed point of the Grassmannian.


title: Intrinsically n-linked Complete Bipartite Graphs

abstract: We prove that every embedding of $K_{2n+1,2n+1}$ into $\R^3$ contains a non-split link of $n$-components. Further, given an embedding of $K_{2n+1,2n+1}$ in $\R^3$, every edge of $K_{2n+1,2n+1}$ is contained in a non-split $n$-component link in $K_{2n+1,2n+1}$.


title: Branching rules for Hecke Algebras of Type $D_{n}$

abstract: In this paper we study the branching problems for Hecke algebra $\H(D_n)$ of type $D_n$. We explicitly describe the decompositions of the socle of the restriction of each irreducible $\H(D_n)$-representation to $\H(D_{n-1})$ into irreducible modules by using the corresponding results for type $B$ Hecke algebras. In particular, we show that any such restrictions are always multiplicity free.


title: Dual Mixed Volumes and the Slicing Problem

abstract: We develop a technique using dual mixed-volumes to study the isotropic constants of some classes of spaces. In particular, we recover, strengthen and generalize results of Ball and Junge concerning the isotropic constants of subspaces and quotients of L_p and related spaces. An extension of these results to negative values of p is also obtained, using generalized intersection-bodies. In particular, we show that the isotropic constant of a convex body which is contained in an intersection-body is bounded (up to a constant) by the ratio between the latter's mean-radius and the former's volume-radius. We also show how type or cotype 2 may be used to easily prove inequalities on any isotropic measure.


title: A comment on the low-dimensional Busemann-Petty problem

abstract: The generalized Busemann-Petty problem asks whether centrally-symmetric convex bodies having larger volume of all m-dimensional sections necessarily have larger volume. When m>3 this is known to be false, but the cases m=2,3 are still open. In those cases, it is shown that when the smaller body's radial function is a (n-m)-th root of the radial function of a convex body, the answer to the generalized Busemann-Petty problem is positive (for any larger star-body). Several immediate corollaries of this observation are also discussed.


title: Classification of irreducible weight modules with a finite dimensional weight space over twisted Heisenberg-Virasoro algebra

abstract: We show that the support of an irreducible weight module over the twisted Heisenberg-Virasoro algebra, which has an infinite dimensional weight space, coincides with the weight lattice and that all nontrivial weight spaces of such a module are infinite dimensional. As a corollary, we obtain that every irreducible weight module over the twisted Heisenberg-Virasoro algebra, having a nontrivial finite dimensional weight space, is a Harish-Chandra module (and hence is either an irreducible highest or lowest weight module or an irreducible module from the intermediate series


title: Almost central involutions in split extensions of Coxeter groups by graph automorphisms

abstract: In this paper, given a split extension of an arbitrary Coxeter group by automorphisms of the Coxeter graph, we determine the involutions in that extension whose centralizer has finite index. Our result has applications to many problems such as the isomorphism problem of general Coxeter groups. In the argument, some properties of certain special elements and of the fixed-point subgroups by graph automorphisms in Coxeter groups, which are of independent interest, are also given.


title: On deformations of generalized Calabi-Yau, hyperK\"ahler, $G_2$ and Spin$(7)$ structures I

abstract: In this paper we will introduce a new notion of geometric structures defined by systems of closed differential forms in term of the Clifford algebra of the direct sum of the tangent bundle and the cotangent bundle on a manifold. We develop a unified approach of a deformation problem and establish a criterion of unobstructed deformations of the structures from a cohomological point of view. We construct the moduli spaces of the structures by using the action of b-fields and show that the period map of the moduli space is locally injective under a cohomological condition (the local Torelli type theorem). We apply our approach to generalized Calabi-Yau (metrical) structures and obtain an analog of the theorem by Bogomolov-Tian-Todorov. Further we prove that deformations of generalized Spin(7) structures are unobstructed.


title: Orbifold Index Cobordism Invariance

abstract: We prove cobordism index invariance for pseudo-differential elliptic operators on closed orbifolds with $K$--theoretical methods.


title: Large Deviation Principle for Enhanced Gaussian Processes

abstract: We study large deviation principles for Gaussian processes lifted to the free nilpotent group of step N. We apply this to a large class of Gaussian processes lifted to geometric rough paths. A large deviation principle for enhanced (fractional) Brownian motion, in Hoelder- or modulus topology, appears as special case.


title: Note on the Tau Function

abstract: This note proposes an improved estimate of the coefficient t(n) of the discriminant modular form using elementary method. It improves a well known estimate of the tau function t(n) by Deligne.


title: The inversion formula for automorphisms of the Weyl algebras and polynomial algebras

abstract: The inversion formula is given for automorphisms of the Weyl algebras with polynomial coefficients over a field of characteristic zero. The theorem of Gabber on the degree of polynomial automorphism is extended. It is proved that any automorphism of the Weyl algebra with polynomial coefficients is determined by its left (right) faces (extending the result of J. H. McKay and S. S.-S. Wang for polynomial automorphisms).


title: The Local Structure of Nonstandard Representatives of Distributions

abstract: It is shown that the nonstandard representatives of Schwartz-distributions, as introduced by K.D. Stroyan and W.A.J. Luxemburg in their book 'Introduction to the theory of infinitesimals', are locally equal to a finite-order derivative of a finite-valued and S-continuous function. By 'equality', we mean a pointwise equality, not an equality in a distributional sense. This proves a conjecture by M. Oberguggenberger in [Z. Anal. Anwend. 10 (1991), 263-264]. Moreover, the representatives of the zero-distribution are locally equal to a finite-order derivative of a function assuming only infinitesimal values. These results also unify the nonstandard theory of distributions by K.D. Stroyan and W.A.J. Luxemburg with the theory by R.F. Hoskins and J. Sousa Pinto in [Portugaliae Mathematica 48(2), 195-216].


title: On DEPTH and DEPTH^+ of Boolean Algebras

abstract: We show that the Depth^+ of an ultraproduct of Boolean Algebras, can not jump over the Depth^+ of every component by more than one cardinality. We can have, consequently, similar results for the Depth invariant.


title: Universal graphs with a forbidden subtree

abstract: We show that the problem of the existence of universal graphs with specified forbidden subgraphs can be systematically reduced to certain critical cases by a simple pruning technique which simplifies the underlying structure of the forbidden graphs, viewed as trees of blocks. As an application, we characterize the trees T for which a universal countable T-free graph exists.


title: Group invariant Colombeau generalized functions

abstract: Colombeau generalized functions invariant under smooth (additive) one-parameter groups are characterized. This characterization is applied to generalized functions invariant under orthogonal groups of arbitrary signature, such as groups of rotations or the Lorentz group. Further, a one-dimensional Colombeau generalized function with two (real) periods is shown to be a generalized constant, when the ratio of the periods is an algebraic nonrational number. Finally, a nonstandard Colombeau generalized function invariant under standard translations is shown to be constant.


title: kappa-bounded Exponential-Logarithmic Power Series Fields

abstract: In math.AC/9608214 it was shown that fields of generalized power series cannot admit an exponential function. In this paper, we construct fields of generalized power series with bounded support which admit an exponential. We give a natural definition of an exponential, which makes these fields into models of real exponentiation. The method allows to construct for every kappa regular uncountable cardinal, 2^{kappa} pairwise non-isomorphic models of real exponentiation (of cardinality kappa), but all isomorphic as ordered fields. Indeed, the 2^{kappa} exponentials constructed have pairwise distinct growth rates. This method relies on constructing lexicographic chains with many automorphisms.


title: Feller Processes on non-locally compact spaces

abstract: We introduce the ergodic condition which assures the existence of an invariant measure for Feller processes defined on an arbitrary complete and separable metric space.


title: The asymptotic properties of the spectrum of non symmetrically perturbed Jacobi matrix sequences

abstract: Under the mild trace-norm assumptions we show that the eigenvalues of a generic (non Hermitian) complex perturbation of a Jacobi matrix sequence (not necessarily real) are still distributed as the real-valued function $2\cos t$ on $[0,\pi]$, which characterizes the nonperturbed case. In this way the real interval $[-2,2]$ is still a cluster for the asymptotic joint spectrum and, moreover, $[-2,2]$ attracts strongly (with infinite order) the perturbed matrix sequence. The results follow in a straightforward way from more general facts that we prove in an asymptotic linear algebra framework and are plainly generalized to the case of matrix-valued symbol, which arises when dealing with orthogonal polynomials with asymptotically periodic recurrence coefficients.


title: Periodic orbits and homoclinic loops for surface homeomorphisms

abstract: Let p be a saddle fixed point for an orientation-preserving surface diffeomorphism f admitting a homoclinic point q. Let V be an open 2-cell bounded by a simple loop formed by two arcs joining p to q lying respectively in the stable and unstable curves at p. It is shown that f|V has fixed point index 1 or 2 depending only on the geometry of V near p.


title: Approximation Operators, Exponential, q-Exponential, and Free Exponential Families

abstract: Using the technique developed in approximation theory, we construct examples of exponential families of infinitely divisible laws which can be viewed as deformations of the normal, gamma, and Poisson exponential families. Replacing the differential equation of approximation theory by a q-differential equation, we define the q-exponential families, and we identify all q-exponential families with quadratic variance functions when |q|<1. We elaborate on the case of q=0 which is related to free convolution of measures. We conclude by considering briefly the case q>1, and other related generalizations.


title: A TQFT of Intersection Numbers on Moduli Spaces of Admissible Covers

abstract: We construct a two-level weighted TQFT whose structure coefficents are equivariant intersection numbers on moduli spaces of admissible covers. Such a structure is parallel (and strictly related) to the local Gromov-Witten theory of curves of Bryan-Pandharipande. We compute explicitly the theory using techniques of localization on moduli spaces of admissible covers of a parametrized projective line. The Frobenius Algebras we obtain are one parameter deformations of the class algebra of the symmetric group S_d. In certain special cases we are able to produce explicit closed formulas for such deformations in terms of the representation theory of S_d.


title: The Overdeterminedness of a Class of Functional Equations

abstract: We prove a uniqueness theorem for a large class of functional equations in the plane, which resembles in form a classical result of Aczel. It is also shown that functional equations in this class are overdetermined in the sense of Paneah. This means that the solutions, if they exist, are determined by the corresponding relation being fulfilled not in the original domain of validity, but only at the points of a subset of the boundary of the domain of validity.


title: Trees, set compositions and the twisted descent algebra

abstract: We first show that increasing trees are in bijection with set compositions, extending simultaneously a recent result on trees due to Tonks and a classical result on increasing binary trees. We then consider algebraic structures on the linear span of set compositions (the twisted descent algebra). Among others, a number of enveloping algebra structures are introduced and studied in detail. For example, it is shown that the linear span of trees carries an enveloping algebra structure and embeds as such in an enveloping algebra of increasing trees. All our constructions arise naturally from the general theory of twisted Hopf algebras.