Powers of Ideals and Fibers of Morphisms

Abstract: Let X\subset PP^n be a projective scheme over a field, and let phi:X --> Y be a finite morphism. Our main result is a formula in terms of global data for the maximum of the Castelnuovo-Mumford regularity of the fibers of \phi, considered as subschemes of \PP^n. From an algebraic point of view, our formula is related to the theorem of Cutkosky-Herzog-Trung and Kodiyalam showing that for any homogeneous ideal I in a standard graded algebra S, the regularity of I^t can be written as dt+\epsilon for some non-negative integers d, \epsilon, and all large t. In the special case where I contains a power of S_+ and is generated by forms of a single degree, our formula gives an interpretation of \epsilon: it is one less than the maximum regularity of a fiber of the morphism associated to I. These formulas have strong consequences for ideals generated by generic forms.


Cluster algebras and Grassmannians of type G2

Abstract: We prove a conjecture of Geiss, Leclerc and Schr\"{o}er, producing cluster algebra structures on multi-homogeneous coordinate ring of partial flag varieties, for the case $G_2$. As a consequence we sharpen the known fact that coordinate ring of the double Bruhat cell $G^{e,w_0}$ is an upper cluster algebra, by proving that it is a cluster algebra.


Concrete Duality for Strict Infinity Categories

Abstract: An elementary theory of strict $\infty $-categories with application to concrete duality is given. All known famous dualities (Gelfand-Naimark, Pontryagin, Stone, etc.) are so-called natural. A criterion of existence of such a duality for higher categories is formulated. New examples are presented.


Cohomological rigidity of real Bott manifolds

Abstract: A real Bott manifold is the total space of iterated RP^1 bundles starting with a point, where each RP^1 bundle is projectivization of a Whitney sum of two real line bundles. We prove that two real Bott manifolds are diffeomorphic if their cohomology rings with Z/2 coefficients are isomorphic. A real Bott manifold is a real toric manifold and admits a flat riemannian metric invariant under the natural action of an elementary abelian 2-group. We also prove that the converse is true, namely a real toric manifold which admits a flat riemannian metric invariant under the action of an elementary abelian 2-group is a real Bott manifold.


On a class of II_1 factors with at most one Cartan subalgebra II

Abstract: This is a continuation of our previous paper studying the structure of Cartan subalgebras of von Neumann factors of type II_1. We provide more examples of II_1 factors having either zero, one or several Cartan subalgebras. We also prove a rigidity result for some group measure space II_1 factors.


C^0-rigidity of the double Poisson bracket

Abstract: The paper is devoted to function theory on symplectic manifolds. We study a natural class of functionals involving the double Poisson brackets from the viewpoint of their robustness properties with respect to small perturbations in the uniform norm. We observe an hierarchy of such robustness properties. The methods involve Hofer's geometry on the symplectic side and Landau-Hadamard-Kolmogorov inequalities on the function-theoretic side.


Generating families and Legendrian contact homology in the standard contact space

Abstract: We show that if a Legendrian knot in standard contact ${\bb R}^3$ possesses a generating family then there exists an augmentation of the Chekanov-Eliashberg DGA so that the associated linearized contact homology (LCH) is isomorphic to singular homology groups arising from the generating family. In this setting we show Sabloff's duality result for LCH may be viewed as Alexander duality. In addition, we provide an explicit construction of a generating family for a front diagram with graded normal ruling and give a new approach to augmentation $\Rightarrow$ normal ruling.


The $\Lambda$-coalescent speed of coming down from infinity

Abstract: Consider a $\Lambda$-coalescent that comes down from infinity (meaning that it starts from a configuration containing infinitely many blocks at time 0, yet it has a finite number $N_t$ of blocks at any positive time $t>0$). We exhibit a deterministic function $v:(0,\infty)\to(0,\infty)$ such that $N_t/v(t)\to1$, almost surely, and in $L^p$ for any $p\geq1$, as $t\to0$. Our approach relies on a novel martingale technique.


Quantum Isometry Groups of 0- Dimensional Manifolds

Abstract: Quantum isometry groups of spectral triples associated with approximately finite-dimensional C*-algebras are shown to arise as inductive limits of quantum symmetry groups of corresponding truncated Bratteli diagrams. This is used to determine explicitly the quantum isometry group of the natural spectral triple on the algebra of continuous functions on the middlethird Cantor set. It is also shown that the quantum symmetry groups of finite graphs or metric spaces coincide with the quantum isometry groups of the corresponding classical objects equipped with natural Laplacians.


Necessary and sufficient optimality conditions for relaxed and strict control problems of backward systems

Abstract: We consider a stochastic control problem where the set of strict (classical) controls is not necessarily convex, and the system is governed by a nonlinear backward stochastic differential equation. By introducing a new approach, we establish necessary as well as sufficient conditions of optimality for two models. The first concerns the relaxed controls, who are measure-valued processes. The second is a particular case of the first and relates to strict control problems.


Algorithms for computing multiplier ideals

Abstract: We give algorithms for computing multiplier ideals using Gr\"obner bases in Weyl algebras. The algorithms are based on a newly introduced notion which is a variant of Budur--Musta\c{t}\v{a}--Saito's (generalized) Bernstein--Sato polynomial. We present several examples computed by our algorithms.


A-graded methods for monomial ideals

Abstract: We use \ZZ^d-gradings to study d-dimensional monomial ideals. The Koszul functor is employed to interpret the quasidegrees of local cohomology in terms of the geometry of distractions and to explicitly compute the multiplicities of exponents. These multigraded techniques originate from the study of hypergeometric systems of differential equations.


Singularities in positive characteristic, stratification and simplification of the singular locus

Abstract: We introduce an upper semi-continuous function that stratifies the highest multiplicity locus of a hypersurface in arbitrary characteristic (over a perfect field). The blow-up along the maximum stratum defined by this function leads to a form of simplification of the singularities, also known as a reduction to the monomial case.


Complete description of derivations on $\tau$-compact operators for type I von Neumann algebras

Abstract: Given a type I von Neumann algebra $M$ with a faithful normal semi-finite trace $\tau,$ let $S_0(M, \tau)$ be the algebra of all $\tau$-compact operators affiliated with $M.$ We give a complete description of all derivations on the algebra $S_0(M, \tau).$ In particular, we prove that if $M$ is of type I$_\infty$ then every derivation on $S_0(M, \tau)$ is spatial.


On multiplicative congruences

Abstract: Let $\epsilon$ be a fixed positive quantity, $m$ be a large integer, $x_j$ denote integer variables. We prove that for any positive integers $N_1,N_2,N_3$ with $N_1N_2N_3>m^{1+\epsilon},$ the set $$ \{x_1x_2x_3 \pmod m: \quad x_j\in [1,N_j] \} $$ contains almost all the residue classes modulo $m$ (i.e., its cardinality is equal to $m+o(m)$). We further show that if $m$ is cubefree, then for any positive integers $N_1,N_2,N_3,N_4$ with $N_1N_2N_3N_4>m^{1+\epsilon},$ the set $$ \{x_1x_2x_3x_4 \pmod m: \quad x_j\in [1,N_j] \} $$ also contains almost all the residue classes modulo $m.$ Let $p$ be a large prime parameter and let $p>N>p^{63/76+\epsilon}.$ We prove that for any nonzero integer constant $k$ and any integer $\lambda\not\equiv 0\pmod p$ the congruence $$ p_1p_2(p_3+k)\equiv \lambda\pmod p $$ admits $(1+o(1))\pi(N)^3/p$ solutions in prime numbers $p_1, p_2, p_3\le N.$


A Brief History of Future Set Theory

Abstract: Mathematicians still use Naive Set Theory when generating sets without danger of producing any contradiction. Therefore their working method can be considered as a consistent inference system with an experience of over 100 years. My conjecture is that this method works well because mathematicians use only those predicates to form sets, which yield closed hereditary consistent predicate extensions. And for every open formula they use in the process of constructing of a certain (special) set (bottom up), we can always find an "almost-closed" formula (i.e. a parameter-free formula with only the free variable "x") which yields the same certain (special) set as predicate extension as constructed in the bottom up process before. Therefore the use of predicates with free parameters in the Comprehension Scheme does not cause any difficulties and can be "lifted" by meta-mathematical considerations. KEYWORDS: naive set theory, Quine, new foundation, NF, universal sets, comprehension schema, predicate extension, philosophy of set theory, Zermelo, Fraenkel, ZF, complement. CT is the Class-Theoretical frame: logic + "=" + Church Schema + Extensionality Axiom.


The Notion "Pathology" in Set Theory

Abstract: When we study the paradoxes of set theory we find out that there are mainly 2 types: the pathologies and the antinomies. These 2 notions are made precise and compared with the somehow inductively definable concept "abnormal". (See my paper "Naive Axiomatic Mengenlehre for Experiments" in arXiv.) In the following 5 Patho Theses are discussed in order to formalize this notion of pathology. This allows us to define formally the property "Hereditary-non-Pathological" for well-formed formulas. With this property the system NACT* of Naive Axiomatic Class Theory is constructed, which has a "unique maximal" universe (in a special sense).


Naive Axiomatic Class Theory: A Solution for the Antinomies of Naive Mengenlehre

Abstract: Since the axioms in (Consi-CoS) are not recursively enumerable, NACT* is no axiom system in the classical sense . Therefore we construct a series of partial systems which form a recursive axiom system too. Starting with the "dichotomic" systems NACT# and its variant NACT#4, we are going on to the "disjunctive" systems NACT+ and NACT+4, and eventually to NACT+Strat. After that we discuss the medium classes of these systems. Finally we present the inconsistent NSA-systems based on Not-SelfApplicability and explain their help for computational set theory.


Naive Axiomatic Mengenlehre for Experiments

Abstract: The main goal of "Naive Axiomatic Mengenlehre" (NAM) is to find a more or less adequately explicit criterion that precisely formalizes the intuitive notion of a "normal set". NAM is mainly a construction procedure for building several formal systems NAMix, each of which can turn out to be an adequate codification of the contentual naive set theory. ("i" is a natural number which enumerates the used "normality" condition, and "x" is a letter which points to the variants of the used axioms.) Parallel to NAM, the Naive Axiomatic Class Theory NACT is constructed as a system of systems too.


Estimates of the norms of the Toeplitz operators of H determined by rational inner functions

Abstract: An elementary method is given for estimates of the norms of the Toeplitz operators, determined by rational inner functions


Generalized ABC theorems for non-Archimedean entire functions of several variables in arbitrary characteristic

Abstract: We prove generalized ABC theorems for vanishing sums of non-Archimedean entire functions of several variables in arbitrary characteristic.


Topological classification of generalized Bott towers

Abstract: If $B$ is a toric manifold and $E$ is a Whitney sum of complex line bundles over $B$, then the projectivization $P(E)$ of $E$ is again a toric manifold. Starting with $B$ as a point and repeating this construction, we obtain a sequence of complex projective bundles which we call a generalized Bott tower. We prove that if the top manifold in the tower has the same cohomology ring as a product of complex projective spaces, then every fibration in the tower is trivial so that the top manifold is diffeomorphic to the product of complex projective spaces. This gives a supporting evidence to what we call cohomological rigidity problem for toric manifolds "Are toric manifolds diffeomorphic (or homeomorphic) if their cohomology rings are isomorphic?" We provide two more results which support the cohomological rigidity problem.


Penalising symmetric stable L\'evy paths

Abstract: Limit theorems for the normalized laws with respect to two kinds of weight functionals are studied for any symmetric stable L\'evy process of index $ 1 < \alpha \le 2 $. The first kind is a function of the local time at the origin, and the second kind is the exponential of an occupation time integral. Special emphasis is put on the role played by a stable L\'evy counterpart of the universal $ \sigma $-finite measure, found in [9] and [10], which unifies the corresponding limit theorems in the Brownian setup for which $ \alpha =2 $.


On the spectrum and Lyapunov exponent of limit periodic Schrodinger operators

Abstract: We exhibit a dense set of limit periodic potentials for which the corresponding one-dimensional Schr\"odinger operator has a positive Lyapunov exponent for all energies and a spectrum of zero Lebesgue measure. No example with those properties was previously known, even in the larger class of ergodic potentials. We also conclude that the generic limit periodic potential has a spectrum of zero Lebesgue measure.


Infinitely generated free nilpotent groups: completeness of the automorphism groups

Abstract: Baumslag conjectured in the 1970s that the automorphism tower of a finitely generated free nilpotent group must be very short. Let F_{n,c} denote a free nilpotent group of finite rank n at least two and of nilpotency class c at least two. In 1976 Dyer and Formanek proved that the automorphism group of F_{n,2} is even complete (and hence the height of the aumorphism tower of F_{n,2} is two) provided that n is not three; in the case when n=3, the height of the automorphism tower of F_{n,2} is three. The author proved in 2001 that the automorphism group of any infinitely generated free nilpotent of class two is complete. In his Ph. D. thesis (2003) Kassabov found an upper bound u(n,c) (a natural number) for the height of the automorphism tower of F_{n,c} in terms of n and c, thereby finally proving Baumslag's conjecture. By analyzing the function u(n,c), one can conclude that if c is small compared to n, then the height of the automorphism tower of F_{n,c} is at most three. The main result of the present paper states that the automorphism group of any infinitely generated free nilpotent group of nilpotency class at least two is complete. Thus the automorphism tower of any free nilpotent group terminates after finitely many steps.


The automorphism groups of relatively free groups of infinite rank

Abstract: A survey article that presents some recent algebraic and model-theoretic results on the automorphism groups of relatively free groups of infinite rank. The topics include topological aspects, generating sets, descripition of automorpisms and expressive power of the first-order theories.


Finitely presented groups and homotopy of presentations of triangular algebras

Abstract: Given any finitely presented group G we find a triangular algebra such that has two presentations, one with fundamental group G and another with trivial group. Thus proving that given a collection G1,...,Gn of finitely presented groups there exist a triangular algebra A such that all Gi appear as fundamental group of some presentation of A, extending one of the result in arXiv:math/0405127v3 [math.RA]


Multivariable spectral multipliers and quasielliptic operators

Abstract: We study multivariable spectral multipliers $F(L_1,L_2)$ acting on Cartesian product of ambient spaces of two self-adjoint operators $L_1$ and $L_2$. We prove that if $F$ satisfies H\"ormander type differentiability condition then the operator $F(L_1,L_2)$ is of Calder\'on-Zygmund type. We apply obtained results to the analysis of quasielliptic operators acting on product of some fractal spaces. The existence and surprising properties of quasielliptic operators have been recently observed in works of Bockelman, Drenning and Strichartz. This paper demonstrates that Riesz type operators corresponding to quasielliptic operators are continuous on $L^p$ spaces.


A note on the Bruhat decomposition of semisimple Lie groups

Abstract: Let a split element of a connected semisimple Lie group act on one of its flag manifolds. We prove that each connected set of fixed points of this action is itself a flag manifold. With this we can obtain the generalized Bruhat decomposition of a semisimple Lie group by entirely dynamical arguments.


Mock Tridiagonal Systems

Abstract: We introduce the notion of a {\it mock tridiagonal system}. This is a generalization of a tridiagonal system in which the irreducibility assumption is replaced by a certain non-vanishing condition. We show how mock tridiagonal systems can be used to construct tridiagonal systems that meet certain specifications. This paper is part of our ongoing project to classify the tridiagonal systems up to isomorphism.


Projectivity of modules over Fourier algebras

Abstract: In this paper we will study the homological properties of various natural modules associated to the Fourier algebra of a locally compact group. In particular, we will focus on the question of identifying when such modules will be projective in the category of operator spaces. We will show that projectivity often implies that the underlying group is discrete and give evidence to show that amenability also plays an important role.


Some combinatorial properties of flag simplicial pseudomanifolds and spheres

Abstract: A simplicial complex $\Delta$ is called flag if all minimal nonfaces of $\Delta$ have at most two elements. The following are proved: First, if $\Delta$ is a flag simplicial pseudomanifold of dimension $d-1$, then the graph of $\Delta$ (i) is $(2d-2)$-vertex-connected and (ii) has a subgraph which is a subdivision of the graph of the $d$-dimensional cross-polytope. Second, the $h$-vector of a flag simplicial homology sphere $\Delta$ of dimension $d-1$ is minimized when $\Delta$ is the boundary complex of the $d$-dimensional cross-polytope.


Pseudo-localization of singular integrals and noncommutative Littlewood-Paley inequalities

Abstract: We prove weak type inequalities for a large class of noncommutative square functions. In conjunction with BMO type estimates, interpolation and duality, we will obtain the corresponding equivalences in the whole Lp scale. The main novelty of our approach relies on a row/column valued theory for noncommutative martingale transforms and operator-valued Calderon-Zygmund operators. This seems to be new in the noncommutative setting and might be regarded as a first step towards a vector-valued noncommutative theory. Some examples and applications are also explored.


Hermitian vector bundles and extension groups on arithmetic schemes. II. The arithmetic Atiyah extension

Abstract: In a previous paper, we have defined arithmetic extension groups in the context of Arakelov geometry. In the present one, we introduce an arithmetic analogue of the Atiyah extension that defines an element -- the arithmetic Atiyah class -- in a suitable arithmetic extension group. If $\overline{E}$ is a hermitian vector bundle on an arithmetic scheme $X$, its arithmetic Atiyah class is an obstruction to the algebraicity of the unitary connection on the vector bundle $E_\C$ over the complex manifold $X(\C)$ that is compatible with its holomorphic structure. We develop basic properties of the arithmetic Atiyah class and study its vanishing in the case of hermitian line bundles. This may be translated into a concrete problem of diophantine geometry, concerning rational points of the universal vector extension of the Picard variety of $X$. We investigate this problem, which was already considered and solved in some cases by Bertrand, by using a classical transcendence result of Schneider-Lang, and we derive a finiteness result. We also consider a geometric analog of our arithmetic situation, namely a smooth, projective variety $X$ which is fibered on a curve $C$ defined over some field $k$ of characteristic zero. To any line bundle $L$ over $X$ is attached its relative Atiyah class ${\rm at}_{X/C}L$. We describe precisely when this class vanishes. In particular, when the fixed part of the relative Picard variety of $X$ over $C$ is trivial, this holds only when the restriction of $L$ to the generic fiber $X_K$ of $X$ over $C$ is a torsion line bundle.


Spectral gap global solutions for degenerate Kirchhoff equations

Abstract: We consider the second order Cauchy problem $$u''+m(|A^{1/2}u|^2)Au=0, u(0)=u_{0}, u'(0)=u_{1},$$ where $m:[0,+\infty)\to[0,+\infty)$ is a continuous function, and $A$ is a self-adjoint nonnegative operator with dense domain on a Hilbert space. It is well known that this problem admits local-in-time solutions provided that $u_{0}$ and $u_{1}$ are regular enough, depending on the continuity modulus of $m$, and on the strict/weak hyperbolicity of the equation. We prove that for such initial data $(u_{0},u_{1})$ there exist two pairs of initial data $(\overline{u}_{0},\overline{u}_{1})$, $(\widehat{u}_{0},\widehat{u}_{1})$ for which the solution is global, and such that $u_{0}=\overline{u}_{0}+\widehat{u}_{0}$, $u_{1}=\overline{u}_{1}+\widehat{u}_{1}$. This is a byproduct of a global existence result for initial data with a suitable spectral gap, which extends previous results obtained in the strictly hyperbolic case with a smooth nonlinearity $m$.


Multilinear H\"older-type inequalities on Lorentz sequence spaces

Abstract: We establish H\"older type inequalities for Lorentz sequence spaces and their duals. In order to achieve these and some related inequalities, we study diagonal multilinear forms in general sequence spaces, and obtain estimates for their norms. We also consider norms of multilinear forms in different Banach multilinear ideals.


Blow-up estimates at horizontal points and applications

Abstract: Horizontal points of smooth submanifolds in stratified groups play the role of singular points with respect to the Carnot-Carathe'odory distance. When we consider hypersurfaces, they coincide with the well known characteristic points. In two step groups, we obtain pointwise estimates for the Riemannian surface measure at all horizontal points of $C^{1,1}$ smooth submanifolds. As an application, we establish an integral formula to compute the spherical Hausdorff measure of any $C^{1,1}$ submanifold. Our technique also shows that $C^2$ smooth submanifolds everywhere admit an intrinsic blow-up and that the limit set is an intrinsically homogeneous algebraic variety.


Stability of Quadratic Modules

Abstract: A finitely generated quadratic module or preordering in the real polynomial ring is called stable, if it admits a certain degree bound on the sums of squares in the representation of polynomials. Stability, first defined explicitly by Powers and Scheiderer, is a very useful property. It often implies that the quadratic module is closed; furthermore it helps settling the Moment Problem, solves the Membership Problem for quadratic modules and allows applications of methods from optimization to represent nonnegative polynomials. We provide sufficient conditions for finitely generated quadratic modules in real polynomial rings of several variables to be stable. These conditions can be checked easily. For a certain class of semi-algebraic sets, we obtain that the nonexistence of bounded polynomials implies stability of every corresponding quadratic module. As stability often implies the non-solvability of the Moment Problem, this complements Schmuedgen's result which uses bounded polynomials to check the solvability of the Moment Problem by dimensional induction. We also use stability to generalize a result on the Invariant Moment Problem by Cimpric, Kuhlmann and Scheiderer.


Viscosity solutions for systems of parabolic variational inequalities

Abstract: In this paper, we first define the notion of viscosity solution for the following system of partial differential equations involving a subdifferential operator:\[\{[c]{l}\dfrac{\partial u}{\partial t}(t,x)+\mathcal{L}_tu(t,x)+f(t,x,u(t,x))\in\partial\phi (u(t,x)),\quad t\in[0,T),x\in\mathbb{R}^d, u(T,x)=h(x),\quad x\in\mathbb{R}^d,\] where $\partial\phi$ is the subdifferential operator of the proper convex lower semicontinuous function $\phi:\mathbb{R}^k\to (-\infty,+\infty]$ and $\mathcal{L}_t$ is a second differential operator given by $\mathcal{L}_tv_i(x)={1/2}\operatorname {Tr}[\sigma(t,x)\sigma^*(t,x)\mathrm{D}^2v_i(x)]+< b(t,x),\nabla v_i(x)>$, $i\in\bar{1,k}$. We prove the uniqueness of the viscosity solution and then, via a stochastic approach, prove the existence of a viscosity solution $u:[0,T]\times\mathbb{R}^d\to\mathbb{R}^k$ of the above parabolic variational inequality.


Coordinated motion design on Lie groups

Abstract: The present paper proposes a unified geometric framework for coordinated motion on Lie groups. It first gives a general problem formulation and analyzes ensuing conditions for coordinated motion. Then, it introduces a precise method to design control laws in fully actuated and underactuated settings with simple integrator dynamics. It thereby shows that coordination can be studied in a systematic way once the Lie group geometry of the configuration space is well characterized. This allows among others to retrieve control laws in the literature for particular examples. A link with Brockett's double bracket flows is also made. The concepts are illustrated on SO(3), SE(2) and SE(3).


On quasiconformal maps with identity boundary values

Abstract: Quasiconformal homeomorphisms of the unit ball $B^n$ of ${\mathbb R}^n, n \ge 3,$ onto itself with identity boundary values are studied. A spatial analogue of Teichm\"uller's theorem is proved.


Low-rank optimization for semidefinite convex problems

Abstract: We propose an algorithm for solving nonlinear convex programs defined in terms of a symmetric positive semidefinite matrix variable $X$. This algorithm rests on the factorization $X=Y Y^T$, where the number of columns of Y fixes the rank of $X$. It is thus very effective for solving programs that have a low rank solution. The factorization $X=Y Y^T$ evokes a reformulation of the original problem as an optimization on a particular quotient manifold. The present paper discusses the geometry of that manifold and derives a second order optimization method. It furthermore provides some conditions on the rank of the factorization to ensure equivalence with the original problem. The efficiency of the proposed algorithm is illustrated on two applications: the maximal cut of a graph and the sparse principal component analysis problem.


Linearly recurrent subshifts have a finite number of non-periodic subshift factors

Abstract: A minimal subshift $(X,T)$ is linearly recurrent if there exists a constant $K$ so that for each clopen set $U$ generated by a finite word $u$ the return time to $U$, with respect to $T$, is bounded by $K|u|$. We prove that given a linearly recurrent subshift $(X,T)$ the set of its non-periodic subshift factors is finite up to isomorphism. We also give a constructive characterization of these subshifts.


Measure of submanifolds in the Engel group

Abstract: We find all intrinsic measures of $C^{1,1}$ smooth submanifolds in the Engel group, showing that they are equivalent to the corresponding $d$-dimensional spherical Hausdorff measure restricted to the submanifold. The integer $d$ is the degree of the submanifold. These results follow from a different approach to negligibility, based on a blow-up technique.


Construction of Minimal Bracketing Covers for Rectangles

Abstract: We construct explicit $\delta$-bracketing covers with minimal cardinality for the set system of (anchored) rectangles in the two dimensional unit cube. More precisely, the cardinality of these $\delta$-bracketing covers are bounded from above by $\delta^{-2} + o(\delta^{-2})$. A lower bound for the cardinality of arbitrary $\delta$-bracketing covers for $d$-dimensional anchored boxes from [M. Gnewuch, Bracketing numbers for axis-parallel boxes and applications to geometric discrepancy, J. Complexity 24 (2008) 154-172] implies the lower bound $\delta^{-2}+O(\delta^{-1})$ in dimension $d=2$, showing that our constructed covers are (essentially) optimal. We study also other $\delta$-bracketing covers for the set system of rectangles, deduce the coefficient of the most significant term $\delta^{-2}$ in the asymptotic expansion of their cardinality, and compute their cardinality for explicit values of $\delta$.


Boundary regularity via Uhlenbeck-Rivi\`ere decomposition

Abstract: We prove that weak solutions of systems with skew-symmetric structure, which possess a continuous boundary trace, have to be continuous up to the boundary. This applies, e.g., to the H-surface system with bounded H and thus extends an earlier result by P. Strzelecki and proves the natural counterpart of a conjecture by E. Heinz. Methodically, we use estimates below natural exponents of integrability and a recent decomposition result by T.Rivi\`ere.


Riemannian Metric and Geometric Mean for Positive Semidefinite Matrices of Fixed Rank

Abstract: This paper introduces a new metric and mean on the set of positive semidefinite matrices of fixed-rank. The proposed metric is derived from a well-chosen Riemannian quotient geometry that generalizes the reductive geometry of the positive cone and the associated natural metric. The resulting Riemannian space has strong geometrical properties: it is geodesically complete, and the metric is invariant with respect to all transformations that preserve angles (orthogonal transformations, scalings, and pseudoinversion). A meaningful approximation of the associated Riemannian distance is proposed, that can be efficiently numerically computed via a simple algorithm based on SVD. The induced mean preserves the rank, possesses the most desirable characteristics of a geometric mean, and is easy to compute.


Approximate Multipartite Version of the Hajnal--Szemer\'edi Theorem

Abstract: Let $q$ be a positve integer, and $G$ be a $q$-partite simple graph on $qn$ vertices, with $n$ vertices in each vertex class. Let $\delta={k_q \over k_q+1}$, where $k_q=q+O(\log{q})$. If each vertex of $G$ is adjacent to at least $\delta n$ vertices in each of the other vertex classes, $q$ is bounded and $n$ is large enough, then $G$ has a $K_q$-factor.


Rank functions on rooted tree quivers

Abstract: The free abelian group R(Q) on the set of indecomposable representations of a quiver Q, over a field K, has a ring structure where the multiplication is given by the tensor product. We show that if Q is a rooted tree (an oriented tree with a unique sink), then the ring $R(Q)_{red}$ is a finitely generated $\Z$-module (here $R(Q)_{red}$ is the ring R(Q) modulo the ideal of all nilpotent elements). We will describe the ring $R(Q)_{red}$ explicitly, by studying functors from the category Rep(Q) of representations of Q over K to the category of finite dimensional K-vector spaces. We also present an open problem for future direction.


Smooth metrics on jet bundles and applications

Abstract: Following a suggestion made by J.-P. Demailly, for each $k\ge 1$, we endow, by an induction process, the $k$-th (anti)tautological line bundle $\mathcal O_{X_k}(1)$ of an arbitrary complex directed manifold $(X,V)$ with a natural smooth hermitian metric. Then, we compute recursively the Chern curvature form for this metric, and we show that it depends (asymptotically -- in a sense to be specified later) only on the curvature of $V$ and on the structure of the fibration $X_k\to X$. When $X$ is a surface and $V=T_X$, we give explicit formulae to write down the above curvature as a product of matrices. As an application, we obtain a new proof of the existence of global invariant jet differentials vanishing on an ample divisor, for $X$ a minimal surface of general type whose Chern classes satisfy certain inequalities, without using a strong vanishing theorem of Bogomolov.


Properties of special classes of analytic functions which are multipliers of the Cauchy-Stieltjes integrals

Abstract: Special classes of analytic functions, denoting by K and J arc considered in this paper.


Note on the multipliers of Cauchy integrals of logarithmic potentials

Abstract: The present note contains a generalization of a theorem of Hallenbeck and Samotij for the multipliers of Cauchy integrals of logarithmic potentials.


Bers slices are Zariski dense

Abstract: We prove that every Bers slice of quasi-Fuchsian space is Zariski dense in the character variety.


On the Symmetric Homology of Algebras

Abstract: Symmetric homology is an analog of cyclic homology in which the cyclic groups are replaced by symmetric groups. The foundations for the theory of symmetric homology of algebras are developed in the context of crossed simplicial groups using derived functors and the symmetric bar construction of Fiedorowicz. The symmetric homology of group rings is related to stable homotopy theory. Two chain complexes are constructed that compute symmetric homology, as well as two spectral sequences. In the setup of the second spectral sequence, a complex isomorphic to the suspension of the cycle-free chessboard complex of Vrecica and Zivaljevic appears. Homology operations are defined on the symmetric homology groups over Z/p, p a prime. Finally, an explicit partial resolution is presented, permitting the computation of the zeroth and first symmetric homology groups of finite-dimensional algebras.


Factorization in generalized Calogero-Moser spaces

Abstract: Using a recent construction of Bezrukavnikov and Etingof we prove that there is a factorization of the Etingof-Ginzburg sheaf on the generalized Calogero-Moser space associated to a complex reflection group. In the case W = S_n, this confirms a conjecture of Etingof and Ginzburg.


A Bialgebraic Approach to Automata and Formal Language Theory

Abstract: A bialgebra is a structure which is simultaneously an algebra and a coalgebra, such that the algebraic and coalgebraic parts are "compatible". Bialgebras are normally studied over a field or commutative ring. In this paper, we show how to apply the defining diagrams of algebras, coalgebras, and bialgebras to categories of semimodules and semimodule homomorphisms over a commutative semiring. We then show that formal language theory and the theory of bialgebras have essentially undergone "convergent evolution", with the same constructions appearing in both contexts. For example, formal languages correspond to elements of dual algebras of coalgebras, automata are "pointed representation objects" of algebras, automaton morphisms are instances of linear intertwiners, and a construction from the theory of bialgebras shows how to run two automata in parallel. We also show how to associate an automaton with an arbitrary algebra, which in the classical case yields the automaton whose states are formal languages and whose transitions are given by language differentiation.


Functorial reconstruction theorems for stacks

Abstract: We study the circumstances under which one can reconstruct a stack from its associated functor of isomorphism classes. This is possible surprisingly often: we show that many of the standard examples of moduli stacks are determined by their functors. Our methods seem to exhibit new anabelian-type phenomena, in the form of structures in the category of schemes that encode automorphism data in groupoids.


Bounds for the Transition Density of Time-Homogeneous Diffusion Processes

Abstract: The paper presents new simple sharp bounds for transition density functions for time-homogeneous diffusions processes. The bounds are obtained under mild conditions on the drift and diffusion coefficients, extending and substantially improving previous results in the literature which were limited to drifts satisfying a linear growth condition. They lead to an asymptotic expression for the transition density as the transition time approaches zero. While the focus is on the one-dimensional case, an extension to multiple dimensions is discussed. Results are illustrated by numerical examples.


A third order dispersive flow for closed curves into almost Hermitian manifolds

Abstract: We discuss a short-time existence theorem of solutions to the initial value problem for a third order dispersive flow for closed curves into a compact almost Hermitian manifold. Our equations geometrically generalize a physical model describing the motion of vortex filament. The classical energy method cannot work for this problem since the almost complex structure of the target manifold is not supposed to be parallel with respect to the Levi-Civita connection. In other words, a loss of one derivative arises from the covariant derivative of the almost complex structure. To overcome this difficulty, we introduce a bounded pseudodifferential operator acting on sections of the pullback bundle, and eliminate the loss of one derivative from the partial differential equation of the dispersive flow.


On the cohomological equation of magnetic flows

Abstract: We consider a magnetic flow without conjugate points on a closed manifold $M$ with generating vector field $\G$. Let $h\in C^{\infty}(M)$ and let $\theta$ be a smooth 1-form on $M$. We show that the cohomological equation \[\G(u)=h\circ \pi+\theta\] has a solution $u\in C^{\infty}(SM)$ only if $h=0$ and $\theta$ is closed. This result was proved in \cite{DP2} under the assumption that the flow of $\G$ is Anosov.


On the $M_t/M_t/K_t+M_t$ queue in heavy traffic

Abstract: The focus of this paper is on the asymptotics of large-time numbers of customers in time-periodic Markovian many-server queues with customer abandonment in heavy traffic. Limit theorems are obtained for the periodic number-of-customers processes under the fluid and diffusion scalings. Other results concern limits for general time-dependent queues and for time-homogeneous queues in steady state.


Counting perfect colourings of plane regular tilings

Abstract: A first step in investigating colour symmetries of periodic and nonperiodic patterns is determining the number of colours which allow perfect colourings of the pattern under consideration. A perfect colouring is one where each symmetry of the uncoloured pattern induces a global permutation of the colours. Two cases are distinguished: Either perfect colourings with respect to all symmetries, or with respect to orientation preserving symmetries only (no reflections). For the important class of colourings of regular tilings (and some Laves tilings) of the Euclidean or hyperbolic plane, this mainly combinatorial question is addressed here using group theoretical methods.


Hyperbolic conservation laws on manifolds. Error estimate for finite volume schemes

Abstract: Following Ben-Artzi and LeFloch, we consider nonlinear hyperbolic conservation laws posed on a Riemannian manifold, and we establish an L1-error estimate for a class of finite volume schemes allowing for the approximation of entropy solutions to the initial value problem. The error in the L1 norm is of order h^(1/4) at most, where h represents the maximal diameter of elements in the family of geodesic triangulations. The proof relies on a suitable generalization of Cockburn, Coquel, and LeFloch's theory which was originally developed in the Euclidian setting. We extent the arguments to curved manifolds, by taking into account the effects to the geometry and overcoming several new technical difficulties.


Hidden Markov models for the assessment of chromosomal alterations using high-throughput SNP arrays

Abstract: Chromosomal DNA is characterized by variation between individuals at the level of entire chromosomes (e.g., aneuploidy in which the chromosome copy number is altered), segmental changes (including insertions, deletions, inversions, and translocations), and changes to small genomic regions (including single nucleotide polymorphisms). A variety of alterations that occur in chromosomal DNA, many of which can be detected using high density single nucleotide polymorphism (SNP) microarrays, are linked to normal variation as well as disease and are therefore of particular interest. These include changes in copy number (deletions and duplications) and genotype (e.g., the occurrence of regions of homozygosity). Hidden Markov models (HMM) are particularly useful for detecting such alterations, modeling the spatial dependence between neighboring SNPs. Here, we improve previous approaches that utilize HMM frameworks for inference in high throughput SNP arrays by integrating copy number, genotype calls, and the corresponding measures of uncertainty when available. Using simulated and experimental data, we, in particular, demonstrate how confidence scores control smoothing in a probabilistic framework. Software for fitting HMMs to SNP array data is available in the R package VanillaICE.


Round about Theta. Part I Prehistory

Abstract: There is a huge amount of work on different kinds of theta functions, the theta correspondence, cohomology classes coming from special Schwartz classes via theta distribution, and much more. The aim of this text is to try to find joint construction principles while often leaving aside relevant but cumbersome details.


Non-diffusive large time behaviour for a degenerate viscous Hamilton-Jacobi equation

Abstract: The convergence to non-diffusive self-similar solutions is investigated for non-negative solutions to the Cauchy problem $\partial_t u = \Delta_p u + |\nabla u|^q$ when the initial data converge to zero at infinity. Sufficient conditions on the exponents $p>2$ and $q>1$ are given that guarantee that the diffusion becomes negligible for large times and the $L^\infty$-norm of $u(t)$ converges to a positive value as $t\to\infty$.


Unsupervised empirical Bayesian multiple testing with external covariates

Abstract: In an empirical Bayesian setting, we provide a new multiple testing method, useful when an additional covariate is available, that influences the probability of each null hypothesis being true. We measure the posterior significance of each test conditionally on the covariate and the data, leading to greater power. Using covariate-based prior information in an unsupervised fashion, we produce a list of significant hypotheses which differs in length and order from the list obtained by methods not taking covariate-information into account. Covariate-modulated posterior probabilities of each null hypothesis are estimated using a fast approximate algorithm. The new method is applied to expression quantitative trait loci (eQTL) data.


Modules of finite homological dimension with respect to a semidualizing module

Abstract: We prove versions of results of Foxby and Holm about modules of finite (Gorenstein) injective dimension and finite (Gorenstein) projective dimension with respect to a semidualizing module. We also verify special cases of a question of Takahashi and White.


Gamma shape mixtures for heavy-tailed distributions

Abstract: An important question in health services research is the estimation of the proportion of medical expenditures that exceed a given threshold. Typically, medical expenditures present highly skewed, heavy tailed distributions, for which (a) simple variable transformations are insufficient to achieve a tractable low-dimensional parametric form and (b) nonparametric methods are not efficient in estimating exceedance probabilities for large thresholds. Motivated by this context, in this paper we propose a general Bayesian approach for the estimation of tail probabilities of heavy-tailed distributions, based on a mixture of gamma distributions in which the mixing occurs over the shape parameter. This family provides a flexible and novel approach for modeling heavy-tailed distributions, it is computationally efficient, and it only requires to specify a prior distribution for a single parameter. By carrying out simulation studies, we compare our approach with commonly used methods, such as the log-normal model and nonparametric alternatives. We found that the mixture-gamma model significantly improves predictive performance in estimating tail probabilities, compared to these alternatives. We also applied our method to the Medical Current Beneficiary Survey (MCBS), for which we estimate the probability of exceeding a given hospitalization cost for smoking attributable diseases. We have implemented the method in the open source GSM package, available from the Comprehensive R Archive Network.


A Strong Law of Large Numbers for Strongly Mixing Processes

Abstract: We prove a strong law of large numbers for a class of strongly mixing processes. Our result rests on recent advances in understanding of concentration of measure. It is simple to apply and gives finite-sample (as opposed to asymptotic) bounds, with readily computable rate constants. In particular, this makes it suitable for analysis of inhomogeneous Markov processes. We demonstrate how it can be applied to establish an almost-sure convergence result for a class of models that includes as a special case a class of adaptive Markov chain Monte Carlo algorithms.


Quantitative magnetic resonance image analysis via the EM algorithm with stochastic variation

Abstract: Quantitative Magnetic Resonance Imaging (qMRI) provides researchers insight into pathological and physiological alterations of living tissue, with the help of which researchers hope to predict (local) therapeutic efficacy early and determine optimal treatment schedule. However, the analysis of qMRI has been limited to ad-hoc heuristic methods. Our research provides a powerful statistical framework for image analysis and sheds light on future localized adaptive treatment regimes tailored to the individual's response. We assume in an imperfect world we only observe a blurred and noisy version of the underlying pathological/physiological changes via qMRI, due to measurement errors or unpredictable influences. We use a hidden Markov random field to model the spatial dependence in the data and develop a maximum likelihood approach via the Expectation--Maximization algorithm with stochastic variation. An important improvement over previous work is the assessment of variability in parameter estimation, which is the valid basis for statistical inference. More importantly, we focus on the expected changes rather than image segmentation. Our research has shown that the approach is powerful in both simulation studies and on a real dataset, while quite robust in the presence of some model assumption violations.


How to Compute a Puiseux Expansion

Abstract: In this paper, an explanation of the Newton-Peiseux algorithm is given. This explanation is supplemented with well-worked and explained examples of how to use the algorithm to find fractional power series expansions for all branches of a polynomial at the origin.


The Generalized Effros-Hahn Conjecture for Groupoids

Abstract: The generalized Effros-Hahn conjecture for groupoid C*-algebras says that, if G is amenable, then every primitive ideal of the groupoid C*-algebra C*(G) is induced from a stability group. We prove that the conjecture is valid for all second countable amenable locally compact Hausdorff groupoids. Our results are a sharpening of previous work of Jean Renault and depend significantly on his results.


The smooth representations of GL_2(O)

Abstract: We present some unpublished results of Kutzko together with results of Hill, giving a classification of the smooth (complex) representations of $\mathrm{GL}_{2}(\mathcal{O})$, where $\mathcal{O}$ is the ring of integers in a local field with finite residue field.


A note on the Jordan decomposition

Abstract: In this article we prove that the elliptic, hyperbolic and nilpotent (or unipotent) additive (or multiplicative) Jordan components of an endomorphism $X$ (or an isomorphism $g$) of a finite dimensional vector space are given by polynomials in $X$ (or in $g$). By using this, we provide a simple proof that, for an element $X$ of a linear semisimple Lie algebra $\g$ (or $g$ of a linear semisimple connected Lie group $G$), its three Jordan components lie again in the algebra (in the group). This was previously unknown for linear Lie groups other then $\Int(\g)$. This implies that, for this class of algebras and groups, the usual linear Jordan decomposition coincides with the abstract Jordan decomposition.


Covariance fields

Abstract: We introduce and study covariance fields of distributions on a Riemannian manifold. At each point on the manifold, covariance is defined to be a symmetric and positive definite (2,0)-tensor. Its product with the metric tensor specifies a linear operator on the respected tangent space. Collectively, these operators form a covariance operator field. We show that, in most circumstances, covariance fields are continuous. We also solve the inverse problem: recovering distribution from a covariance field. Surprisingly, this is not possible on Euclidean spaces. On non-Euclidean manifolds however, covariance fields are true distribution representations.


Some sharp Hardy inequalities on spherically symmetric domains

Abstract: We prove some sharp Hardy inequalities for domains with a spherical symmetry. In particular, we prove an inequality for domains of the unit $n$-dimensional sphere with a point singularity, and an inequality for functions defined on the half-space $\R_+^{n+1}$} vanishing on the hyperplane $\{x_{n+1}=0\}$, with singularity along the $x_{n+1}$-axis. The proofs rely on a one-dimensional Hardy inequality involving a weight function related to the volume element on the sphere, as well as on symmetrization arguments. The one-dimensional inequality is derived in a general form.


Reduction mod $\ell$ of Theta Series of Level $\ell^n$

Abstract: It is proved that the theta series of an even lattice whose level is a power of a prime $\ell$ is congruent modulo $\ell$ to an elliptic modular form of level~1. The proof uses arithmetic and algebraic properties of lattices rather than methods from the theory of modular forms. The methods presented here may therefore be especially pleasing to those working in the theory of quadratic forms, and they admit generalizations to more general types of theta series as they occur e.g. in the theory of Siegel or Hilbert modular forms.


Irreducibility criterion for the set of two matrices

Abstract: We give the criterion for the irreducibility, the Schur irreducibility and the indecomposability of the set of two $n\times n$ matrices $\Lambda_n$ and $A_n$ in terms of the subalgebra associated with the "support" of the matrix $A_n$, where $\Lambda_n$ is a diagonal matrix with different non zeros eigenvalues and $A_n$ is an arbitrary one. The list of all maximal subalgebras of the algebra ${\rm Mat}(n,{\mathbb C})$ and the list of the corresponding invariant subspaces connected with these two matrices is also given. The properties of the corresponding subalgebras are expressed in terms of the graphs associated with the support of the second matrix. For arbitrary $n$ we describe all minimal subsets of the elementary matrices $E_{km}$ that generate the algebra ${\rm Mat}(n,{\mathbb C})$.


Rescaled weighted random balls models and stable self-similar random fields

Abstract: We consider weighted random balls in $\real^d$ distributed according to a random Poisson measure with heavy-tailed intensity and study the asymptotic behaviour of the total weight of some configurations in $\real^d$. This procedure amounts to be very rich and several regimes appear in the limit, depending on the intensity of the balls, the zooming factor, the tail parameters of the radii and of the weights. Statistical properties of the limit fields are also evidenced, such as isotropy, self-similarity or dependence. One regime is of particular interest and yields $\alpha$-stable stationary isotropic self-similar generalized random fields which recovers Takenaka fields, Telecom process or fractional Brownian motion.


Large scale geometry of commutator subgroups

Abstract: Let G be a finitely presented group, and G' its commutator subgroup. Let C be the Cayley graph of G' with all commutators in G as generators. Then C is large scale simply connected. Furthermore, if G is a torsion-free nonelementary word-hyperbolic group, C is one-ended. Hence (in this case), the asymptotic dimension of C is at least 2.


A generalization of Gabriel's Galois covering functors and derived equivalences

Abstract: Let $G$ be a group acting on a category $\mathcal{C}$. We give a definition for a functor $F\colon \mathcal{C} \to \mathcal{C}'$ to be a $G$-covering and three constructions of the orbit category $\mathcal{C}/G$, which generalizes the notion of a Galois covering of locally finite-dimensional categories with group $G$ whose action on $\mathcal{C}$ is free and locally bonded defined by Gabriel. Here $\mathcal{C}/G$ is defined for any category $\mathcal{C}$ and we do not require that the action of $G$ is free or locally bounded. We show that a $G$-covering is a universal "$G$-invariant" functor and is essentially given by the canonical functor $\mathcal{C} \to \mathcal{C}/G$. By using this we improve a covering technique for derived equivalence. Also we prove theorems describing the relationships between smash product construction and the orbit category construction by Cibils and Marcos (2006) without the assumption that the $G$-action is free. The orbit category construction by a cyclic group generated by an auto-equivalence modulo natural isomorphisms (e.g., the construction of cluster categories) is justified by a notion of the "colimit orbit category". In addition, we give a presentation of the orbit category of a category with a monoid action by a quiver with relations, which enables us to calculate many examples.


Strangely dispersed minimal sets in the quasiperiodically forced Arnold map

Abstract: We study quasiperiodically forced circle endomorphisms, homotopic to the identity, and show that under suitable conditions these exhibit uncountably many minimal sets with a complicated structure, to which we refer to as `strangely dispersed'. Along the way, we generalise some well-known results about circle endomorphisms to the uniquely ergodically forced case. Namely, all rotation numbers in the rotation interval of a uniquely ergodically forced circle endomorphism are realised on minimal sets, and if the rotation interval has non-empty interior then the topological entropy is strictly positive. The results apply in particular to the quasiperiodically forced Arnold circle map, which serves as a paradigm example.


Eventually Expanding Maps

Abstract: In this paper we show that the piecewise linear map f(x) = px for x in [0,1/p], and sx-s/p for x in (1/p,1], p > 1, 0 < s < 1 which has an expanding, onto branch and a contracting branch is eventually piecewise expanding and exact.


Incompressible surfaces, hyperbolic volume, Heegaard genus and homology

Abstract: We show that if M is a complete, finite-volume, hyperbolic 3-manifold having exactly one cusp, and if H_1(M;Z_2) has dimension at least 6, then M has volume greater than 5.06. We also show that if M is a closed, orientable hyperbolic 3-manifold such that H_1(M;Z_2) has dimension at least 4, and if the image of the cup product map in H^2(M;Z_2) has dimension at most 1, then M has volume greater than 3.08. The proofs of these geometric results involve new topological results relating the Heegaard genus of a closed Haken manifold M to the Euler characteristic of the kishkes (i.e guts) of the complement of an incompressible surface in M.


On an Auxiliary Function for Log-Density Estimation

Abstract: In this note we provide explicit expressions and expansions for a special function which appears in nonparametric estimation of log-densities. This function returns the integral of a log-linear function on a simplex of arbitrary dimension. In particular it is used in the R-package "LogCondDEAD" by Cule et al. (2007).


The Colombeau Quaternion Algebra

Abstract: We introduce the Colombeau Quaternio Algebra and study its algebraic structure. We also study the dense ideal, dense in the algebraic sense, of the algebra of Colombeau generalized numbers and use this show the existence of a maximal ting of quotions which is Von Neumann regular. Recall that it is already known that then algebra of COlombeau generalized numbers is not Von Neumann regular. We also use the study of the dense ideals to give a criteria for a generalized holomorphic function to satisfy the identity theorem. Aragona-Fernadez-Juriaans showed that a generalized holomorphic function has a power series. This is one of the ingredients use to prove the identity theorem.


On a conjecture of Laugesen and Morpurgo

Abstract: A well known conjecture of R. Laugesen and C. Morpurgo asserts that the diagonal element of the Neumann heat kernel of the unit ball in $\mathbb{R}^{n}$ ($n\geq1$) is a radially increasing function. In this paper, we use probabilistic arguments to settle this conjecture, and, as an application, we derive a new proof of the Hot Spots conjecture of J. Rauch in the case of the unit disk.


The GBG-Rank and t-Cores I. Counting and 4-Cores

Abstract: Let r_j(\pi,s) denote the number of cells, colored j, in the s-residue diagram of partition \pi. The GBG-rank of \pi mod s is defined as r_0+r_1*w_s+r_2*w_s^2+...+r_(s-1)*w_s^(s-1), where w_s=exp(2*\Pi*I/s). We will prove that for (s,t)=1, v(s,t) <= binomial(s+t,s)/(s+t), where v(s,t) denotes a number of distinct values that GBG-rank mod s of t-core may assume. The above inequality becomes an equality when s is prime or when s is composite and t<=2p_s, where p_s is a smallest prime divisor of s. We will show that the generating functions for 4-cores with the prescribed values of GBG-rank mod 3 are all eta-products.


Maxwell strata in sub-Riemannian problem on the group of motions of a plane

Abstract: The left-invariant sub-Riemannian problem on the group of motions of a plane is considered. Sub-Riemannian geodesics are parametrized by Jacobi's functions. Discrete symmetries of the problem generated by reflections of pendulum are described. The corresponding Maxwell points are characterized, on this basis an upper bound on the cut time is obtained.


Manin's conjecture for a cubic surface with D_5 singularity

Abstract: The Manin conjecture is established for a split singular cubic surface in P^3, with singularity type D_5.


Morse theory of the moment map for representations of quivers

Abstract: The results of this paper concern the Morse theory of the norm-square of the moment map on the space of representations of a quiver. We show that the gradient flow of this function converges, and that the Morse stratification induced by the gradient flow co-incides with the Harder-Narasimhan stratification from algebraic geometry. Moreover, the limit of the gradient flow is isomorphic to the graded object of the Harder-Narasimhan-Jordan-H\"older filtration associated to the initial conditions for the flow. With a view towards applications to Nakajima quiver varieties we construct explicit local co-ordinates around the Morse strata and (under a technical hypothesis on the stability parameter) describe the negative normal space to the critical sets. Finally, we observe that the usual Kirwan surjectivity theorems in rational cohomology and integral K-theory carry over to this non-compact setting, and that these theorems generalize to certain equivariant contexts.


Conformal actions of nilpotent groups on pseudo-Riemannian manifolds

Abstract: We study conformal actions of connected nilpotent Lie groups on compact pseudo-Riemannian manifolds. We prove that if a type-(p,q) compact manifold M supports a conformal action of a connected nilpotent group H, then the degree of nilpotence of H is at most 2p+1, assuming p <= q; further, if this maximal degree is attained, then M is conformally equivalent to the universal type-(p,q), compact, conformally flat space, up to finite covers. The proofs make use of the canonical Cartan geometry associated to a pseudo-Riemannian conformal structure.


Mod-Gaussian convergence: new limit theorems in probability and number theory

Abstract: We introduce a new type of convergence in probability theory, which we call ``mod-Gaussian convergence''. It is directly inspired by theorems and conjectures, in random matrix theory and number theory, concerning moments of values of characteristic polynomials or zeta functions. We study this type of convergence in detail in the framework of infinitely divisible distributions, and exhibit some unconditional occurrences in number theory, in particular for families of $L$-functions over function fields in the Katz-Sarnak framework. A similar phenomenon of ``mod-Poisson convergence'' turns out to also appear in the classical Erd\H{o}s-K\'ac Theorem.


Generalizing the Croke-Kleiner Construction

Abstract: It is well known that every word hyperbolic group has a well-defined visual boundary. An example of C. Croke and B. Kleiner shows that the same cannot be said for CAT(0) groups. All boundaries of a CAT(0) group are, however, shape equivalent, as observed by M. Bestvina and R. Geoghegan. Bestvina has asked if they also satisfy the stronger condition of being cell-like equivalent. This article describes a construction which will produce CAT(0) groups with multiple boundaries. These groups have very complicated boundaries in high dimensions. It is our hope that their study may provide insight into Bestvina's question.


Les groupes de triangles $(2,p,q)$ sont d\'etermine\'es par leur spectre des longueurs

Abstract: We describe the length spectra of triangle groups $(2,p,q)$ before showing that the length spectra characterizes the isometry class of such a group.


Prime regular Hopf Algebras of GK-dimension One

Abstract: This paper constitutes the first part of a program to classify all affine prime regular Hopf algebras $H$ of Gelfand-Kirillov dimension one over an algebraically closed field of characteristic zero. We prove a number of properties of such an algebra, list some classes of examples, and then prove that - when the PI-degree of $H$ is prime - our list contains all such algebras.


Certain aperiodic automorphisms of unital simple projectionless C*-algebras

Abstract: Let $G$ be an inductive limit of finite cyclic groups and let $A$ be a unital simple projectionless C*-algebra with $K_1(A) \cong G$ and with a unique tracial state, as constructed based on dimension drop algebras by Jiang and Su. First, we show that any two aperiodic elements in $\Aut(A)/\WInn(A)$ are conjugate, where $\WInn(A)$ means the subgroup of $\Aut(A)$ consisting of automorphisms which are inner in the tracial representation. In the second part of this paper, we consider a class of unital simple C*-algebras with a unique tracial state which contains the class of unital simple AT-algebras of real rank zero with a unique tracial state. This class is closed under inductive limits and under crossed products by actions of $\Z$ with the Rohlin property. Let $A$ be a TAF-algebra in this class. We show that for any automorphism $\alpha$ of $A$ there exists an automorphism $\widetilde{\alpha}$ of $A$ with the Rohlin property such that $\widetilde{\alpha}$ and $\alpha$ are asymptotically unitarily equivalent. In its proof we use an aperiodic automorphism of the Jiang-Su algebra.


Jet schemes, invariant chiral differential operators, and Howe duality

Abstract: This paper has been withdrawn due to an error in the proof of Theorem 5.3.


Center and representations of infinitesimal Hecke algebras of sl_2

Abstract: In this paper, we compute the center of the infinitesimal Hecke algebras Hz associated to sl_2 ; then using nontriviality of the center, we study representations of these algebras in the framework of the BGG category O. We also discuss central elements in infinitesimal Hecke algebras over gl(n) and sp(2n) for all n. We end by proving an analogue of the theorem of Duflo for Hz.


On the colored Jones polynomials of certain cable of the torus knots

Abstract: In this paper, we study the asymptotic behavior of the colored Jones polynomials evaluated at roots of unity for a special class of knots. We show that certain limit is zero as predicted by the volume conjecture.


Wild cyclic-by-tame extensions

Abstract: Suppose G is a semi-direct product of the form Z/p^n \rtimes Z/m where p is prime and m is relatively prime to p. Suppose K is a local field of characteristic p > 0. The main result states necessary and sufficient conditions on the ramification filtrations that occur for wildly ramified G-Galois extensions of K. In addition, we prove that there exists a parameter space for G-Galois extensions of K with given ramification filtration whose dimension depends only on the ramification filtration. We provide explicit equations for wild cyclic extensions of K of degree p^3.


Incompressible one-sided surfaces in filled link spaces

Abstract: When a Dehn filled link manifold contains a geometrically incompressible one-sided surface, it is shown there is a unique boundary incompressible position that the surface can take in the link space. The proof uses a version of the sweep-out technique from two-sided Heegaard splitting theory. When applied to one-sided Heegaard splittings, this result can be used to complete the classification of one-sided splittings of (2p, q) fillings of Figure 8 knot space: determining that fillings with |2p/q|<3 have two non-isotopic geometrically incompressible one-sided splitting surfaces.


Peak reduction and finite presentations for automorphism groups of right-angled Artin groups

Abstract: We generalize the peak-reduction algorithm (Whitehead's theorem) for free groups to a theorem about a general right-angled Artin group A_Gamma. As an application, we find a finite presentation for the automorphism group Aut A_Gamma that generalizes McCool's presentation for the automorphism group of a finite rank free group. We also give consider a stronger generalization of peak-reduction, giving a counterexample and proving a special case.


Toric cohomological rigidity of simple convex polytopes

Abstract: A simple convex polytope $P$ is \emph{cohomologically rigid} if its combinatorial structure is determined by the cohomology ring of a quasitoric manifold over $P$. Not every $P$ has this property, but some important polytopes such as simplices or cubes are known to be cohomologically rigid. In this article we investigate the cohomological rigidity of polytopes and establish it for several new classes of polytopes including products of simplices. Cohomological rigidity of $P$ is related to the \emph{bigraded Betti numbers} of its \emph{Stanley--Reisner ring}, another important invariants coming from combinatorial commutative algebra.


Symplectic structures on right-angled Artin groups: between the mapping class group and the symplectic group

Abstract: We define a family of groups that include the mapping class group of a genus g surface with one boundary component and the integral symplectic group Sp(2g,Z). We then prove that these groups are finitely generated. These groups, which we call mapping class groups over graphs, are indexed over labeled simplicial graphs with 2g vertices. The mapping class group over the graph Gamma is defined to be a subgroup of the automorphism group of the right-angled Artin group A_Gamma of Gamma. We also prove that the kernel of the map Aut A_Gamma to Aut H_1(A_Gamma) is finitely generated, generalizing a theorem of Magnus.


Matrix representations for toric parametrizations

Abstract: In this paper we show that a surface in P^3 parametrized over a 2-dimensional toric variety T can be represented by a matrix of linear syzygies if the base points are finite in number and form locally a complete intersection. This constitutes a direct generalization of the corresponding result over P^2 established in [BJ03] and [BC05]. Exploiting the sparse structure of the parametrization, we obtain significantly smaller matrices than in the homogeneous case and the method becomes applicable to parametrizations for which it previously failed. We also treat the important case T = P^1 x P^1 in detail and give numerous examples.


H2-optimal approximation of MIMO linear dynamical systems

Abstract: We consider the problem of approximating a multiple-input multiple-output (MIMO) $p\times m$ rational transfer function $H(s)$ of high degree by another $p\times m$ rational transfer function $\hat H(s)$ of much smaller degree, so that the ${\cal H}_2$ norm of the approximation error is minimized. We characterize the stationary points of the ${\cal H}_2$ norm of the approximation error by tangential interpolation conditions and also extend these results to the discrete-time case. We analyze whether it is reasonable to assume that lower-order models can always be approximated arbitrarily closely by imposing only first-order interpolation conditions. Finally, we analyze the ${\cal H}_2$ norm of the approximation error for a simple case in order to illustrate the complexity of the minimization problem.


Transformations of algebraic Gauss hypergeometric functions

Abstract: A celebrated theorem of Klein implies that any hypergeometric differential equation with algebraic solutions is a pull-back of one of the few standard hypergeometric equations with algebraic solutions. The most interesting cases are hypergeometric equations with tetrahedral, octahedral or icosahedral monodromy groups. We give an algorithm for computing Klein's pull-back coverings in these cases, based on certain explicit expressions (Darboux evaluations) of algebraic hypergeometric functions. The explicit expressions can be computed using contiguous relations and a data base of simplest Darboux evaluations (covering the Schwarz table). Klein's pull-back transformations also induce algebraic transformations between hypergeometric solutions and a standard hypergeometric function with the same finite monodromy group.


Singular cotangent model

Abstract: Any singular level of a completely integrable system (c.i.s.) with non-degenerate singularities has a singular affine structure. We shall show how to construct a simple c.i.s. around the level, having the above affine structure. The cotangent budle of the desingularised level is used to perform the construction, and the c.i.s. obtained looks like the simplest one associated to the affine structure. This method of construction is used to provide several examples of c.i.s. with different kinds of non-degenerate singularities.


Torus quotients of homogeneous spaces-minimal dimensional Schubert Variety admitting semi-stable points

Abstract: In this paper, for any simple, simply connected algebraic group $G$ of type $B_n,C_n$ or $D_n$ and for any maximal parabolic subgroup $P$ of $G$, we describe all minimal dimensional Schubert varieties in $G/P$ admitting semistable points for the action of a maximal torus $T$ with respect to an ample line bundle on $G/P$. In this paper, we also describe, for any semi-simple simply connected algebraic group $G$ and for any Borel subgroup $B$ of $G$, all Coxeter elements $\tau$ for which the Schubert variety $X(\tau)$ admits a semistable point for the action of the torus $T$ with respect to a non-trivial line bundle on $G/B$.


Sur le corps des modules de certaines vari\'et\'es

Abstract: To every covering of curves, we associate several varieties having the same field of moduli and same fields of definition. We deduce examples of curves having Q (the field of rationals) as field of moduli, that admit models over any completion of Q but no model over Q.


When are dual Cayley automaton semigroups finite?

Abstract: In this note we prove that, for a finite semigroup $S$, the dual Cayley automaton semigroup $\mathbf{C^{\ast}}(S)$ is finite if and only if $S$ is $\mathcal{H}$-trivial and has no non-trivial right zero subsemigroups.


Concentration of the ratio between the geometric and arithmetic means

Abstract: We explore the concentration properties of the ratio between the geometric mean and the arithmetic mean, showing that for certain sequences of weights one does obtain concentration, around a value that depends on the sequence.


Mock Theta Functions

Abstract: In this Ph.D. thesis, written under the direction of D.B. Zagier and R.W. Bruggeman, we study the mock theta functions, that were introduced by Ramanujan. We show how they can be interpreted in the theory of (real-analytic) modular forms. In Chapter 1 we give results for Lerch sums (also called Appell functions, or generalized Lambert series). In Chapter 2 we consider indefinite theta functions of type (r-1,1). Chapter 3 deals with Fourier coefficients of meromorphic Jacobi forms. In Chapter 4 we use the results from Chapter 2 to give explicit results for 8 of the 10 fifth order mock theta functions and all 3 seventh order functions, that were originally defined by Ramanujan. The result is that we can find a correction term, which is a period integral of a weight 3/2 unary theta functions, such that if we add it to the mock theta function, we get a weight 1/2 real-analytic modular form, which is annihilated by the hyperbolic Laplacian.


Identities for the Hankel transform and their applications

Abstract: In the present paper the authors show that iterations of the Hankel transform with $\mathscr{K}_{\nu}$-transform is a constant multiple of the Widder transform. Using these iteration identities, several Parseval-Goldstein type theorems for these transforms are given. By making use of these results a number of new Goldstein type exchange identities are obtained for these and the Laplace transform. The identities proven in this paper are shown to give rise to useful corollaries for evaluating infinite integrals of special functions. Some examples are also given as illustration of the results presented here.


Paradigms-Shift in Set Theory

Abstract: In this article the author claims that there is a paradigm shift from ZFC to NFUM and further to NACT - due to philosophical reasons, not mathematical ones. The goal is to construct systems where every "Not-Properclass" is a set! With help of Non-Monotonic Logic, the consistent systems NACT-MoonW, NACT*W, and NACT-SunW are producing "largest possible universes" of sets. Using self-evident philosophical principles, three approximations are suggested: NACT+NFUM-closed (to NACT*), NACT&ZFC4+(GCH) (also to NACT*) and NACT-NFUM (to NACT-Sun). Also the system NACT[&ZFC4-closed]+(FCA) is considered. NFUM = NFU with (AC) and measurable properclass Ord. NFUM-closed is NFUM where the set-constituting formulas Ai in the set operator need not only to be stratified but also to be made parameter-free (i.e., have only x as free variable over which the set is comprehended). In other formulas, free variables are allowed. Keywords: Set Theory, ZFC, Naive Set Theory, Predicate-Extension, Church Schema of Comprehension, NF, NFUM, Stratification, Universal Sets, Eliminative Class Theory, NBG, NACT (= Naive Axiomatic Class Theory), NACT-Sun, NACT-Moon, NACT-Star, NACT+NFUM-closed, ZFCK, NACT+NFUM, (GCH), (FCA) [= Finite or Countable Anti-Thesis], NACT+ZFC4+(GCH), NACT[+ZFC4-[closed]+(FCA).


Poincar\'e series and monodromy of the simple and unimodal boundary singularities

Abstract: A boundary singularity is a singularity of a function on a manifold with boundary. The simple and unimodal boundary singularities were classified by V. I. Arnold and V. I. Matov. The McKay correspondence can be generalized to the simple boundary singularities. We consider the monodromy of the simple, parabolic, and exceptional unimodal boundary singularities. We show that the characteristic polynomial of the monodromy is related to the Poincar\'e series of the coordinate algebra of the ambient singularity.


An instance of umbral methods in representation theory: the parking function module

Abstract: We test the umbral methods introduced by Rota and Taylor within the theory of representation of symmetric group. We define a simple bijection between the set of all parking functions of length $n$ and the set of all noncrossing partitions of $\{1,2,...,n\}$. Then we give an umbral expression of the Frobenius characteristic of the parking function module introduced by Haiman that allows an explicit relation between this symmetric function and the volume polynomial of Pitman and Stanley.


Groupoid sheaves as quantale sheaves

Abstract: Several notions of sheaf on various types of quantale have been proposed and studied in the last twenty five years. It is fairly standard that for an involutive quantale Q satisfying mild algebraic properties the sheaves on Q can be defined to be the idempotent self-adjoint Q-valued matrices. These can be thought of as Q-valued equivalence relations, and, accordingly, the morphisms of sheaves are the Q-valued functional relations. Few concrete examples of such sheaves are known, however, and in this paper we provide a new one by showing that the category of equivariant sheaves on a localic etale groupoid G (the classifying topos of G) is equivalent to the category of sheaves on its involutive quantale O(G). As a means towards this end we begin by replacing the category of matrix sheaves on Q by an equivalent category of complete Hilbert Q-modules, and we approach the envisaged example where Q is an inverse quantal frame O(G) by placing it in the wider context of stably supported quantales, on one hand, and in the wider context of a module theoretic description of arbitrary actions of \'etale groupoids, both of which may be interesting in their own right.


On interpretations of bounded arithmetic and bounded set theory

Abstract: In a recent paper, Kaye and Wong proved the following result, which they considered to belong to the folklore of mathematical logic. THEOREM: The first-order theories of Peano arithmetic and ZF with the axiom of infinity negated are bi-interpretable: that is, they are mutually interpretable with interpretations that are inverse to each other. In this note, I describe a theory of sets that stands in the same relation to the bounded arithmetic IDelta0 + exp. Because of the weakness of this theory of sets, I cannot straightforwardly adapt Kaye and Wong's interpretation of arithmetic in set theory. Instead, I am forced to produce a different interpretation.


The V/S test of long-range dependence in random fields

Abstract: Recently, Giraitis et al. (2003, [10]) proposed the $V/S$ statistic for testing long memory in random sequences. We generalize this statistic to the setting of random fields. The null hypothesis is concerned with short memory random fields while the alternative contains a very large family of long memory random fields. Contrary to most of the previous works dealing with long-range dependence, no assumption is made about the isotropy of the strong dependence. Some simulations are presented in order to assess the power of the test according to the kind of long memory in presence.


Complex vector fields and hypoelliptic partial differential operators

Abstract: We prove a subelliptic estimate for systems of complex vector fields under some assumptions that generalize the essential pseudoconcavity for $CR$ manifolds and H\"ormander's bracket condition for real vector fields. Applications are given to prove the hypoellipticity of first order systems and second order partial differential operators. Finally we describe a class of compact homogeneous CR manifolds for which the distribution of $(0,1)$ vector fields satisfies a subelliptic estimate. v2: minor revision, to appear in Ann. Inst. Fourier


Construction of weakly CUD sequences for MCMC sampling

Abstract: In Markov chain Monte Carlo (MCMC) sampling considerable thought goes into constructing random transitions. But those transitions are almost always driven by a simulated IID sequence. Recently it has been shown that replacing an IID sequence by a weakly completely uniformly distributed (WCUD) sequence leads to consistent estimation in finite state spaces. Unfortunately, few WCUD sequences are known. This paper gives general methods for proving that a sequence is WCUD, shows that some specific sequences are WCUD, and shows that certain operations on WCUD sequences yield new WCUD sequences. A numerical example on a 42 dimensional continuous Gibbs sampler found that some WCUD inputs sequences produced variance reductions ranging from tens to hundreds for posterior means of the parameters, compared to IID inputs.


Adaptive complexity regularization for linear inverse problems

Abstract: We tackle the problem of building adaptive estimation procedures for ill-posed inverse problems. For general regularization methods depending on tuning parameters, we construct a penalized method that selects the optimal smoothing sequence without prior knowledge of the regularity of the function to be estimated. We provide for such estimators oracle inequalities and optimal rates of convergence. This penalized approach is applied to Tikhonov regularization and to regularization by projection.


Functional principal components analysis via penalized rank one approximation

Abstract: Two existing approaches to functional principal components analysis (FPCA) are due to Rice and Silverman (1991) and Silverman (1996), both based on maximizing variance but introducing penalization in different ways. In this article we propose an alternative approach to FPCA using penalized rank one approximation to the data matrix. Our contributions are four-fold: (1) by considering invariance under scale transformation of the measurements, the new formulation sheds light on how regularization should be performed for FPCA and suggests an efficient power algorithm for computation; (2) it naturally incorporates spline smoothing of discretized functional data; (3) the connection with smoothing splines also facilitates construction of cross-validation or generalized cross-validation criteria for smoothing parameter selection that allows efficient computation; (4) different smoothing parameters are permitted for different FPCs. The methodology is illustrated with a real data example and a simulation.


Hierarchical pinning model with site disorder: Disorder is marginally relevant

Abstract: We study a hierarchical disordered pinning model with site disorder for which, like in the bond disordered case [6, 9], there exists a value of a parameter b (enters in the definition of the hierarchical lattice) that separates an irrelevant disorder regime and a relevant disorder regime. We show that for such a value of b the critical point of the disordered system is different from the critical point of the annealed version of the model. The proof goes beyond the technique used in [9] and it takes explicitly advantage of the inhomogeneous character of the Green function of the model.


Rank and crank moments for overpartitions

Abstract: We study two types of crank moments and two types of rank moments for overpartitions. We show that the crank moments and their derivatives, along with certain linear combinations of the rank moments and their derivatives, can be written in terms of quasimodular forms. We then use this fact to prove exact relations involving the moments as well as congruence properties modulo 3, 5, and 7 for some combinatorial functions which may be expressed in terms of the second moments. Finally, we establish a congruence modulo 3 involving one such combinatorial function and the Hurwitz class number H(n).


FDR control for multiple hypothesis testing on composite nulls

Abstract: Multiple hypothesis testing often involves composite nulls, i.e., nulls that are associated with two or more distributions. In many cases, it is reasonable to assume that there is a prior distribution on the distributions despite it is unknown. When the number of distributions under true nulls is finite, we show that under the above assumption, the false discover rate (FDR) can be controlled using $p$-values computed under constraints imposed by the empirical distribution of the observations. Comparing to FDR control using $p$-values defined as maximum significance level over all null distributions, the proposed FDR control can have substantially more power.


Dihedral Gauss hypergeometric functions

Abstract: Gauss hypergeometric functions with a dihedral monodromy group can be expressed as elementary functions, since their hypergeometric equations can be transformed to Fuchsian equations with cyclic monodromy groups by a quadratic change of the argument variable. The paper presents general elementary expressions of these dihedral hypergeometric functions, involving finite bivariate sums expressible as terminating Appell's F2 or F3 series. Additionally, trigonometric expressions for the dihedral functions are presented, and degenerate cases (logarithmic, or with the monodromy group Z/2Z) are considered.


Knots, sutures and excision

Abstract: We develop monopole and instanton Floer homology groups for balanced sutured manifolds. Applications include a new proof of Property P for knots.


Complex cobordisms and singular manifolds arising from Chern classes

Abstract: This paper deals with the question of J.Morava on existence of canonical complex cobordism class of singular submanifold. We present several solutions of this question for $X_r(\xi)$ -- the set of points where $\dim\xi-r+1$ generic sections of a complex vector bundle $\xi$ are linearly dependent. The corresponding complex cobordism classes $Q_r(\xi)$ and $P_r(\xi)$ tend to have many nice properties, such as deformed sum formula, but they don't coincide with Chern classes $c_r^U(\xi)$. They also have relation to the theory of $IH$-small resolutions.


Random matrices: Universality of ESDs and the circular law

Abstract: Given an $n \times n$ complex matrix $A$, let $$\mu_{A}(x,y):= \frac{1}{n} |\{1\le i \le n, \Re \lambda_i \le x, \Im \lambda_i \le y\}|$$ be the empirical spectral distribution (ESD) of its eigenvalues $\lambda_i \in \BBC, i=1, ... n$. We consider the limiting distribution (both in probability and in the almost sure convergence sense) of the normalized ESD $\mu_{\frac{1}{\sqrt{n}} A_n}$ of a random matrix $A_n = (a_{ij})_{1 \leq i,j \leq n}$ where the random variables $a_{ij} - \E(a_{ij})$ are iid copies of a fixed random variable $x$ with unit variance. We prove a \emph{universality principle} for such ensembles, namely that the limit distribution in question is {\it independent} of the actual choice of $x$. In particular, in order to compute this distribution, one can assume that $x$ is real of complex gaussian. As a related result, we show how laws for this ESD follow from laws for the \emph{singular} value distribution of $\frac{1}{\sqrt{n}} A_n - zI$ for complex $z$. As a corollary we establish the Circular Law conjecture (in both strong and weak forms), that asserts that $\mu_{\frac{1}{\sqrt{n}} A_n}$ converges to the uniform measure on the unit disk when the $a_{ij}$ have zero mean.


A Proof of Green's Conjecture Regarding the Removal Properties of Sets of Linear Equations

Abstract: A system of \ell linear equations in p unknowns Mx=b is said to have the removal property if every set S \subseteq {1,...,n} which contains o(n^{p-\ell}) solutions of Mx=b can be turned into a set S' containing no solution of Mx=b, by the removal of o(n) elements. Green [GAFA 2005] proved that a single homogenous linear equation always has the removal property and conjectured that every set of homogenous linear equations has the removal property. We confirm Green's conjecture by showing that every set of linear equations (even non-homogenous) has the removal property.


Random networks with sublinear preferential attachment: Degree evolutions

Abstract: We define a dynamic model of random networks, where new vertices are connected to old ones with a probability proportional to a sublinear function of their degree. We first give a strong limit law for the empirical degree distribution, and then have a closer look at the temporal evolution of the degrees of individual vertices, which we describe in terms of large and moderate deviation principles. Using these results, we expose an interesting phase transition: in cases of strong preference of large degrees, eventually a single vertex emerges forever as vertex of maximal degree, whereas in cases of weak preference, the vertex of maximal degree is changing infinitely often. Loosely speaking, the transition between the two phases occurs in the case when a new edge is attached to an existing vertex with a probability proportional to the root of its current degree.


An Ore-type theorem for perfect packings in graphs

Abstract: We say that a graph G has a perfect H-packing (also called an H-factor) if there exists a set of disjoint copies of H in G which together cover all the vertices of G. Given a graph H, we determine, asymptotically, the Ore-type degree condition which ensures that a graph G has a perfect H-packing. More precisely, let \delta_{\rm Ore} (H,n) be the smallest number k such that every graph G whose order n is divisible by |H| and with d(x)+d(y)\geq k for all non-adjacent x \not = y \in V(G) contains a perfect H-packing. We determine \lim_{n\to \infty} \delta_{\rm Ore} (H,n)/n.


The cubic fourth-order Schrodinger equation

Abstract: We investigate the cubic defocusing fourth order Schr\"odinger equation $iu_t + \Delta^2u + |u|^2u=0$ in arbitrary space dimension $\mathbb{R}^n$ for arbitrary $H^2$ initial data. We prove that the equation is globally well-posed when $n \le 8$ and ill-posed when $n \ge 9$, with the additional important information that scattering holds true when $5 \le n \le 8$.


The Burnside Ring-Valued Morse Formula for Vector Fields on Manifolds with Boundary

Abstract: Let G be a compact Lie group and A(G) its Burnside Ring. For a compact smooth n-dimensional G-manifold X equipped with a generic G-invariant vector field v, we prove an equivariant analog of the Morse formula Ind^G(v) = \sum_{k = 0}^{n} (-1)^k \chi^G(\d_k^+X) which takes its values in A(G). Here Ind^G(v) denotes the equivariant index of the field v, {\d_k^+X\} the v-induced Morse stratification (see [M]) of the boundary \d X, and \chi^G(\d_k^+X) the class of the (n - k)-manifold \d_k^+X in $A(G)$. We examine some applications of this formula to the equivariant real algebraic fields v in compact domains X \subset \R^n defined via a generic polynomial inequality. Next, we link the above formula with the equivariant degrees of certain Gauss maps. This link is an equivariant generalization of Gottlieb's formulas.


ZFK := ZFC with a Complement, or: Hegel and the Synto-Set-Theory

Abstract: What is the slightest modification of ZF to add a complement-axiom? The answer in my Ph.D. thesis 1971 was ZF'': Zermelo-Fraenkel with replacement for only well-founded domains and an omega-axiom. In 1974, Alonzo Church published a similar system, as did Urs Oswald in 1976. In his 1976 Ph.D. thesis, E. Mitchell also designed, a system very similar to ZF''. In this article we argue that ZF'' is the slightest modification of ZF among all these systems and that its successor ZFK is the simplest set theory with a universal set at all.


Higher Cardinals are only a Convention

Abstract: Zermelo's Axiom of Separation is: Exist x: Forall y: (y in x <==> y in a & E(y)) with definite(E) and parameter a. Thoralf Skolem suggested to characterize the terminus "definite" by "the property E should be representable by a FOL formula". But that is trivial. "definite" must mean more. The author claims that "definite" means "in accordance with the theory of definitions of logic". In this case the theorem of Cantor is no longer a theorem, but a undecidable sentence, and has to be established explicitly as axiom. This is not done by the community, but it is made a silent assumption that we can drop the appendix "definite(E)" from the axiom of separation at all. But this is a convention (even when it is silent) and it is nothing else than an axiom.


Persistence of laminations

Abstract: We present a modern proof of some extensions of the celebrated Hirsch-Pugh-Shub theorem on persistence of normally hyperbolic compact laminations. Our extensions consist of allowing the dynamics to be an endomorphism, of considering the complex analytic case and of allowing the laminations to be non compact. To study the analytic case, we use the formalism of deformations of complex structures. We present various persistent complex laminations which appear in dynamics of several complex variables: Henon maps, fibered holomorphic maps... In order to proof the persistence theorems, we construct a laminar structure on the stable and unstable of the normally hyperbolic laminations.


Serre's uniformity problem in the split Cartan case

Abstract: We prove that there exists an integer p_0 such that X_split(p)(Q) is made of cusps and CM-points for any prime p>p_0. Equivalently, for any non-CM elliptic curve E over Q and any prime p>p_0 the image of the Galois representation induced by the Galois action on the p-division points of E is not contained in the normalizer of a split Cartan subgroup. This gives a partial answer to an old question of Serre.


A family of non-isomorphism results

Abstract: We give a short argument showing that if $m, n \in {1, 2, ...} \cup {\omega}$, then the groups mV and nV are not isomorphic. This answers a question of Brin.


A Quillen model category structure on some categories of comonoids

Abstract: We prove that for certain monoidal (Quillen) model categories, the category of comonoids therein also admits a model structure.


Nonhyperbolicity of invariant measures on maximal attractor

Abstract: The article states that for every compact manifold M of dimension 4 or higher there is an area U in a set of smooth diffeomorphisms over M such that every map f from U has local maximal partially hyperbolic attractor and nonatomic ergodic invariant measure on it where one of Lyapunov exponents vanish. The result is first proved for skew products over horseshoe and then transferred onto smooth diffeomorphisms.


Analysis on some infinite modules, inner projection, and applications

Abstract: A projective scheme $X$ is called `quadratic' if $X$ is scheme-theoretically cut out by homogeneous equations of degree 2. Furthermore, we say $X$ satisfies `property $\textbf{N}_{2,p}$' if it is quadratic and the quadratic ideal has only linear syzygies up to first $p$-th steps. In the present paper, we compare the linear syzygies of the inner projections with those of $X$ and obtain a theorem on `embedded linear syzygies' as one of our main results. This is the natural projection-analogue of `restricting linear syzygies' in the linear section case, \cite{EGHP1}. As an immediate corollary, we show that the inner projections of $X$ satisfy property $\textbf{N}_{2,p-1}$ for any reduced scheme $X$ with property $\textbf{N}_{2,p}$. Moreover, we also obtain the neccessary lower bound $(\codim X)\cdot p -\frac{p(p-1)}{2}$, which is sharp, on the number of quadrics vanishing on $X$ in order to satisfy $\textbf{N}_{2,p}$ and show that the arithmetic depths of inner projections are equal to that of the quadratic scheme $X$. These results admit an interesting `syzygetic' rigidity theorem on property $\textbf{N}_{2,p}$ which leads the classifications of extremal and next to extremal cases. For these results we develope the elimination mapping cone theorem for infinitely generated graded modules and improve the partial elimination ideal theory initiated by M. Green. This new method allows us to treat a wider class of projective schemes which can not be covered by the Koszul cohomology techniques, because these are not projectively normal in general.


C*-Algebra Relations

Abstract: We investigate relations on elements in C*-algebras, including *-polynomial relations, order relations and all relations that correspond to universal C*-algebras. We call these C*-relations and define them axiomatically. Within these are the compact C*-relations, which are those that determine universal C*-algebras, and we introduce the more flexible concept of a closed C*-relation. In the case of a finite set of generators, we show that closed C*-relations correspond to the zero-sets of elements in a free sigma -C*-algebra. This provides a solid link between two of the previous theories on relations in C*-algebras. Applications to lifting problems are briefly considered in the last section.


W-Symmetry of the Adelic Grassmannian

Abstract: We give a geometric construction of the W_{1+infty} vertex algebra as the infinitesimal form of a factorization structure on an adelic Grassmannian. This gives a concise interpretation of the higher symmetries and Backlund-Darboux transformations for the KP hierarchy and its multicomponent extensions in terms of a version of "W_{1+infty}-geometry": the geometry of D-bundles on smooth curves, or equivalently torsion-free sheaves on cuspidal curves.


Positivity in power series rings

Abstract: We extend and generalize the results of Scheiderer (2006) on the representation of polynomials nonnegative on two-dimensional basic closed semialgebraic sets. Our extension covers some situations where the defining polynomials do not satisfy the transversality condition. Such situations arise naturally when one considers semialgebraic sets invariant under finite group actions.


A new method for fast computing unbiased estimators of cumulants

Abstract: We propose new algorithms for generating $k$-statistics, multivariate $k$-statistics, polykays and multivariate polykays. The resulting computational times are very fast compared with procedures existing in the literature. Such speeding up is obtained by means of a symbolic method arising from the classical umbral calculus. The classical umbral calculus is a light syntax that involves only elementary rules to managing sequences of numbers or polynomials. The cornerstone of the procedures here introduced is the connection between cumulants of a random variable and a suitable compound Poisson random variable. Such a connection holds also for multivariate random variables.