Graded annihilators and tight closure test ideals

Abstract: Let $R$ be a commutative Noetherian local ring of prime characteristic $p$. The main purposes of this paper are to show that if the injective envelope $E$ of the simple $R$-module has a structure as a torsion-free left module over the Frobenius skew polynomial ring over $R$, then $R$ has a tight closure test element (for modules) and is $F$-pure, and to relate the test ideal of $R$ to the smallest '$E$-special' ideal of $R$ of positive height. A byproduct is an analogue of a result of Janet Cowden Vassilev: she showed, in the case where $R$ is an $F$-pure homomorphic image of an $F$-finite regular local ring, that there exists a strictly ascending chain $0 = \tau_0 \subset \tau_1 \subset ... \subset \tau_t = R$ of radical ideals of $R$ such that, for each $i = 0, ..., t-1$, the reduced local ring $R/\tau_i$ is $F$-pure and its test ideal (has positive height and) is exactly $\tau_{i+1}/\tau_i$. This paper presents an analogous result in the case where $R$ is complete (but not necessarily $F$-finite) and $E$ has a structure as a torsion-free left module over the Frobenius skew polynomial ring. Whereas Cowden Vassilev's results were based on R. Fedder's criterion for $F$-purity, the arguments in this paper are based on the author's work on graded annihilators of left modules over the Frobenius skew polynomial ring.


On Jordan type inequalities for hyperbolic functions

Abstract: This paper deals with some inequalities for trigonometric and hyperbolic functions such as the Jordan inequality and its generalizations. In particular, lower and upper bounds for functions such as (sin x)/x and x/(sinh x) are proved.


Circular Law Theorem for Random Markov Matrices

Abstract: Consider an nxn random matrix X with i.i.d. nonnegative entries with bounded density, mean m, and finite positive variance sigma^2. Let M be the nxn random Markov matrix with i.i.d. rows obtained from X by dividing each row of X by its sum. In particular, when X11 follows an exponential law, then M belongs to the Dirichlet Markov Ensemble of random stochastic matrices. Our main result states that with probability one, the counting probability measure of the complex spectrum of n^(1/2)M converges weakly as n tends to infinity to the uniform law on the centered disk of radius sigma/m. The bounded density assumption is purely technical and comes from the way we control the operator norm of the resolvent.


New results on the least common multiple of consecutive integers

Abstract: When studying the least common multiple of some finite sequences of integers, the first author introduced the interesting arithmetic functions $g_k$ $(k \in \mathbb{N})$, defined by $g_k(n) := \frac{n (n + 1) ... (n + k)}{\lcm(n, n + 1, >..., n + k)}$ $(\forall n \in \mathbb{N} \setminus \{0\})$. He proved that $g_k$ $(k \in \mathbb{N})$ is periodic and $k!$ is a period of $g_k$. He raised the open problem consisting to determine the smallest positive period $P_k$ of $g_k$. Very recently, S. Hong and Y. Yang have improved the period $k!$ of $g_k$ to $\lcm(1, 2, ..., k)$. In addition, they have conjectured that $P_k$ is always a multiple of the positive integer $\frac{\lcm(1, 2, >..., k, k + 1)}{k + 1}$. An immediate consequence of this conjecture states that if $(k + 1)$ is prime then the exact period of $g_k$ is precisely equal to $\lcm(1, 2, ..., k)$. In this paper, we first prove the conjecture of S. Hong and Y. Yang and then we give the exact value of $P_k$ $(k \in \mathbb{N})$. We deduce, as a corollary, that $P_k$ is equal to the part of $\lcm(1, 2, ..., k)$ not divisible by some prime.


Regular dependence on initial data for stochastic evolution equations with multiplicative Poisson noise

Abstract: We prove existence, uniqueness and Lipschitz dependence on the initial datum for mild solutions of stochastic partial differential equations with Lipschitz coefficients driven by Wiener and Poisson noise. Under additional assumptions, we prove Gateaux and Frechet differentiability of solutions with respect to the initial datum. As an application, we obtain gradient estimates for the resolvent associated to the mild solution. Finally, we prove the strong Feller property of the associated semigroup.


The power of multifolds: Folding the algebraic closure of the rational numbers

Abstract: It is well known that the usual Huzita-Hatori axioms for origami enable angle trisection but not angle quintisection. Using the concept of a multifold, Lang has achieved quintisection but not arbitrary algebraic numbers. We define the n-parameter multifold and show how to use one-parameter multifolds to obtain the algebraic closure of the rational numbers.


Constructive Gelfand duality for C*-algebras

Abstract: We present a constructive proof of Gelfand duality for C*-algebras by reducing the problem to Gelfand duality for real C*-algebras.


De Morgan classifying toposes

Abstract: We present a general method for deciding whether a Grothendieck topos satisfies De Morgan's law (resp. the law of excluded middle) or not; applications to the theory of classifying toposes follow. Specifically, we obtain a syntactic characterization of the class of geometric theories whose classifying toposes satisfy De Morgan's law (resp. are Boolean), as well as model-theoretic criteria for theories whose classifying toposes arise as localizations of a given presheaf topos.


Integrals and Valuations

Abstract: We construct a homeomorphism between the compact regular locale of integrals on a Riesz space and the locale of (valuations) on its spectrum. In fact, we construct two geometric theories and show that they are biinterpretable. The constructions are elementary and tightly connected to the Riesz space structure.


Bounding sup-norms of cusp forms of large level

Abstract: Let f be an $L^2$-normalized weight zero Hecke-Maass cusp form of square-free level N, character $\chi$ and Laplacian eigenvalue $\lambda\geq 1/4$. It is shown that $\| f \|_{\infty} \ll_{\lambda} N^{-1/37}$, from which the hybrid bound $\|f \|_{\infty} \ll \lambda^{1/4} (N\lambda)^{-\delta}$ (for some $\delta > 0$) is derived. The first bound holds also for $f = y^{k/2}F$ where F is a holomorphic cusp form of weight k with the implied constant now depending on k.


Eigenvalue Asymptotics in a Twisted Waveguide

Abstract: We consider a twisted quantum wave guide, and are interested in the spectral analysis of the associated Dirichlet Laplacian H. We show that if the derivative of rotation angle decays slowly enough at infinity, then there is an infinite sequence of discrete eigenvalues lying below the infimum of the essential spectrum of H, and obtain the main asymptotic term of this sequence.


On the complexity group of stable curves

Abstract: In this paper, we study combinatorial properties of stable curves. To the dual graph of any nodal curve, it is naturally associated a group, which is the group of components of the N\'eron model of the generalized Jacobian of the curve. We study the order of this group, called the complexity. In particular, we provide a partial characterization of the stable curves having maximal complexity, and we provide an upper bound, depending only on the genus $g$ of the curve, on the maximal complexity of stable curves; this bound is asymptotically sharp for $g\gg 0$. Eventually, we state some conjectures on the behavior of stable curves with maximal complexity, and prove partial results in this direction.


Integration with Functions of a Quaternionic Variable

Abstract: Recent innovations in the differential calculus for functions of non-commuting variables, beginning with a quaternionic variable, are now extended to consider some integration.


Smoothable del Pezzo surfaces with quotient singularities

Abstract: We give a complete classification of del Pezzo surfaces with quotient singularities and Picard rank 1 which admit a Q-Gorenstein smoothing. There are 14 infinite families of toric examples. The surfaces in each family correspond to solutions of a Markov-type equation. The remaining surfaces are obtained as deformations of the toric surfaces or belong to a finite list of sporadic surfaces.


On SYZ mirror transformations

Abstract: In this expository paper, we discuss how Fourier-Mukai-type transformations, which we call SYZ mirror transformations, can be applied to provide a geometric understanding of the mirror symmetry phenomena for semi-flat Calabi-Yau manifolds and toric Fano manifolds. We also speculate the possible applications of these transformations to other more general settings.


Spacings and pair correlations for finite Bernoulli convolutions

Abstract: We consider finite Bernoulli convolutions with a parameter $1/2 < r < 1$ supported on a discrete point set, generically of size $2^N$. These sequences are uniformly distributed with respect to the infinite Bernoulli convolution measure $\nu_r$, as $N$ tends to infinity. Numerical evidence suggests that for a generic $r$, the distribution of spacings between appropriately rescaled points is Poissonian. We obtain some partial results in this direction; for instance, we show that, on average, the pair correlations do not exhibit attraction or repulsion in the limit. On the other hand, for certain algebraic $r$ the behavior is totally different.


Link invariants from finite Coxeter racks

Abstract: We study Coxeter racks over $\mathbb{Z}_n$ and the knot and link invariants they define. We exploit the module structure of these racks to enhance the rack counting invariants and give examples showing that these enhanced invariants are stronger than the unenhanced rack counting invariants.


Homological Dimensions in Cotorsion Pairs

Abstract: Two classes $\mathcal A$ and $\mathcal B$ of modules over a ring $R$ are said to form a cotorsion pair $(\mathcal A, \mathcal B)$ if $\mathcal A={\rm Ker Ext}^1_R(-,\mathcal B)$ and $\mathcal B={\rm Ker Ext}^1_R(\mathcal A,-)$. We investigate relative homological dimensions in cotorsion pairs. This can be applied to study the big and the little finitistic dimension of $R$. We show that $\Findim R<\infty$ if and only if the following dimensions are finite for some cotorsion pair $(\mathcal A, \mathcal B)$ in $\mathrm{Mod} R$: the relative projective dimension of $\A$ with respect to itself, and the $\mathcal A$-resolution dimension of the category $\mathcal P$ of all $R$-modules of finite projective dimension. Moreover, we obtain an analogous result for $\findim R$, and we characterize when $\Findim R=\findim R.$


A Generalized Publication Bias Model

Abstract: Scargle (2000) has discussed Rosenthal and Rubin's (1978) "fail-safe number" (FSN) method for estimating the number of unpublished studies in meta-analysis. He concluded that this FSN cannot possibly be correct because a central assumption the authors used conflicts with the very definition of publication bias. While this point has been made by others before (Elsahoff, 1978; Darlington, 1980; Thomas, 1985, Iyengar & Greenhouse, 1988), Scargle showed, by way of a simple 2-parameter model, how far off Rosenthal & Rubin' s estimate can be in practice. However, his results relied on the assumption that the decision variable is normally distributed with zero mean. In this case the ratio of unpublished to published papers is large only in a tiny region of the parameter plane. Building on these results, we now show that (1) Replacing densities with probability masses greatly simplifies Scargle's derivations and permits an explicit statement of the relation between the probability alpha of Type I errors and the step-size beta; (2) This result does not require any distribution assumptions; (3) The distinction between 1-sided and 2-sided rejection regions becomes immaterial; (4) This distribution-free approach leads to an immediate generalization to partitions involving more than two intervals, and thus covers more general selection functions.


On the average growth exponent for beta-expansions

Abstract: Let $\be\in(1,2)$. Each $x\in I_\be:=[0,\frac{1}{\be-1}]$ can be represented in the form \[ x=\sum_{k=1}^\infty a_k\be^{-k}, \] where $a_k\in\{0,1\}$ for all $k$ (a $\be$-expansion of $x$). It was shown in \cite{S} that a.e. $x\in I_\be$ has a continuum of distinct $\be$-expansions. In this paper we show that for a generic $x$, this continuum has one and the same growth rate, i.e., the general $\be$-expansions exhibit an ergodic behaviour. When $\be<\frac{1+\sqrt5}2$, we show that the set of $\be$-expansions grows exponentially for every $x\in(0,\frac{1}{\be-1})$. Special attention is paid to the case $\be=\frac{1+\sqrt5}2$, for which we explicitly compute the average growth exponent and apply this result to evaluating the local dimension of the corresponding Bernoulli convolution at a Lebesgue-generic $x$.


The sharp energy-capacity inequality

Abstract: Using the Oh-Schwarz spectral invariants and some arguments of Frauenfelder, Ginzburg, and Schlenk, we show that the \pi_1-sensitive Hofer-Zehnder capacity of any subset of a closed symplectic manifold is less than or equal to its displacement energy. This estimate is sharp, and implies some new extensions of the Non-Squeezing Theorem.


A Tale of Three Kernels

Abstract: We consider the Bergman, Szeg\H{o}, and Poisson Szeg\H{o} kernels on a domain in $\CC$ or $\CC^n$. Various properties and relationships are established. The paper has both an expository component and a research component.


Manin's conjecture for quartic del Pezzo surfaces with a conic fibration

Abstract: An asymptotic formula is established for the number of rational points of bounded height on a non-singular quartic del Pezzo surface with a conic bundle structure.


Continuity Points of Typical Bounded Functions

Abstract: Kostyrko and Salat showed that if a linear space of bounded functions has an element that is discontinuous almost everywhere, then a typical element in the space is discontinuous almost everywhere. We give a topological analogue of this theorem and provide some examples.


Coupled Painlev\'e systems with affine Weyl group symmetry of types $A_7^{(2)},A_5^{(2)}$ and $D_4^{(3)}$

Abstract: We find a four-parameter family of coupled Painlev\'e VI systems in dimension four with affine Weyl group symmetry of type $A_7^{(2)}$. This is the first example which gave higher-order Painlev\'e equations of type $A_{2l+5}^{(2)}$. We then give an explicit description of a confluence process from this system to a 3-parameter family of coupled Painlev\'e V and III systems in dimension four with $W(A_5^{(2)})$-symmetry. For a degenerate system of $A_5^{(2)}$ system, we also find a two-parameter family of ordinary differential systems in dimension four with affine Weyl group symmetry of type $D_4^{(3)}$. This is the first example which gave higher-order Painlev\'e equations of type $D_4^{(3)}$. We show that for each system, we give its symmetry and holomorphy conditions. These symmetries, holomorphy conditions and invariant divisors are new.


The nonlinear Schr\"odinger equations with combined nonlinearities of power-type and Hartree

Abstract: This paper is devoted to a comprehensive study of the nonlinear Schr\"odinger equations with combined nonlinearities of the power-type and Hartree-type in any dimension n\ge3. With some structural conditions, a nearly whole picture of the interactions of these nonlinearities in the energy space is given. The method is based on the Morawetz estimates and perturbation principles.


Quasi-commutative algebras

Abstract: We characterise algebras commutative with respect to a Yang-Baxter operator (quasi-commutative algebras) in terms of certain cosimplicial complexes. In some cases this characterisation allows the classification of all possible quasi-commutative structures.


Purity of level m stratifications

Abstract: Let $k$ be a field of characteristic $p>0$. Let $D_m$ be a $\BT_m$ over $k$ (i.e., an $m$-truncated Barsotti--Tate group over $k$). Let $S$ be a\break $k$-scheme and let $X$ be a $\BT_m$ over $S$. Let $S_{D_m}(X)$ be the subscheme of $S$ which describes the locus where $X$ is locally for the fppf topology isomorphic to $D_m$. If $p\ge 5$, we show that $S_{D_m}(X)$ is pure in $S$ i.e., the immersion $S_{D_m}(X) \hookrightarrow S$ is affine. For $p\in\{2,3\}$, we prove purity if $D_m$ satisfies a certain property depending only on its $p$-torsion $D_m[p]$. For $p\ge 5$, we apply the developed techniques to show that all level $m$ stratifications associated to Shimura varieties of Hodge type are pure.


Generalized Cheeger-Gromoll Metrics and the Hopf map

Abstract: We show, using two different approaches, that there exists a family of Riemannian metrics on the tangent bundle of a two-sphere, which induces metrics of constant curvature on its unit tangent bundle. In other words, given such a metric on the tangent bundle of a two-sphere, the Hopf map is identified with a Riemannian submersion from the universal covering space of the unit tangent bundle onto the two-sphere. A hyperbolic counterpart dealing with the tangent bundle of a hyperbolic plane is also presented.


Superfilters, Ramsey theory, and van der Waerden's Theorem

Abstract: Superfilters are generalized ultrafilters, which capture the underlying concept in Ramsey theoretic theorems such as van der Waerden's Theorem. We establish several properties of superfilters, which generalize both Ramsey's Theorem and its variant for ultrafilters on the natural numbers. We use them to confirm a conjecture of Ko\v{c}inac and Di Maio, which is a generalization of a Ramsey theoretic result of Scheepers, concerning selections from open covers. Following Bergelson and Hindman's 1989 Theorem, we present a new simultaneous generalization of the theorems of Ramsey, van der Waerden, Schur, Folkman-Rado-Sanders, Rado, and others, where the colored sets can be much smaller than the full set of natural numbers.


How incomputable is the separable Hahn-Banach theorem?

Abstract: We determine the computational complexity of the Hahn-Banach Extension Theorem. To do so, we investigate some basic connections between reverse mathematics and computable analysis. In particular, we use Weak Konig's Lemma within the framework of computable analysis to classify incomputable functions of low complexity. By defining the multi-valued function Sep and a natural notion of reducibility for multi-valued functions, we obtain a computational counterpart of the subsystem of second order arithmetic WKL_0. We study analogies and differences between WKL_0 and the class of Sep-computable multi-valued functions. Extending work of Brattka, we show that a natural multi-valued function associated with the Hahn-Banach Extension Theorem is Sep-complete.


Combinatorics of labelling in higher dimensional automata

Abstract: The main idea for interpreting concurrent processes as labelled precubical sets is that a given set of n actions running concurrently must be assembled to a labelled n-cube, in exactly one way. The main ingredient is the non-functorial construction called labelled directed coskeleton. It is defined as a subobject of the labelled coskeleton, the latter coinciding in the unlabelled case with the right adjoint to the truncation functor. This non-functorial construction is necessary since the labelled coskeleton functor of the category of labelled precubical sets does not fulfil the above requirement. We prove in this paper that it is possible to force the labelled coskeleton functor to be well-behaved by working with labelled transverse symmetric precubical sets. Moreover, we prove that this solution is the only one. A transverse symmetric precubical set is a precubical set equipped with symmetry maps and with a new kind of degeneracy map called transverse degeneracy. Finally, we also prove that the two settings are equivalent from a directed algebraic topological viewpoint. To illustrate, a new semantics of CCS, equivalent to the old one, is given.


Extremal distributions for tail probabilities of sums of iid random variables on [0,1]

Abstract: Two old conjectures from problem sections, one of which from SIAM Review, concern the question of finding distributions that maximize P(Sn <= t), where Sn is the sum of i.i.d. random variables X1, ..., Xn on the interval [0,1], satisfying E[X1]=m. In this paper a Lagrange multiplier technique is applied to this problem, yielding necessary conditions for distributions to be extremal, for arbitrary n. For n=2, a complete solution is derived from them: extremal distributions are discrete and have one of the following supports, depending on m and t: {0,t}, {t-1,1}, {t/2,1}, or {0,t,1}. These results suffice to refute both conjectures. However, acquired insight naturally leads to a revised conjecture: that extremal distributions always have at most three support points and belong to a (for each n, specified) finite collection of two and three point distributions.


Regularisation and the Mullineux map

Abstract: We classify the pairs of conjugate partitions whose regularisations are images of each other under the Mullineux map. This classification proves a conjecture of Lyle, answering a question of Bessenrodt, Olsson and Xu.


On idempotent states on quantum groups

Abstract: Idempotent states on a compact quantum group are shown to yield group-like projections in the multiplier algebra of the dual discrete quantum group. This allows to deduce that every idempotent state on a finite quantum group arises in a canonical way as the Haar state on a finite quantum hypergroup. A natural order structure on the set of idempotent states is also studied and some examples discussed.


Bundles of coloured posets and a Leray-Serre spectral sequence for Khovanov homology

Abstract: The decorated hypercube found in the construction of Khovanov homology for links is an example of a Boolean lattice equipped with a presheaf of modules. One can place this in a wider setting as an example of a coloured poset, that is to say a poset with a unique maximal element equipped with a presheaf of modules. In this paper we initiate the study of a bundle theory for coloured posets, producing for a certain class of base posets a Leray-Serre type spectral sequence. We then show how this theory finds application in Khovanov homology by producing a new spectral sequence converging to the Khovanov homology of a given link.


Describing all bi-orderings on Thompson's group F

Abstract: We describe all possible ways of bi-ordering Thompson group F: its space of bi-orderings is made up of eight isolated points and four canonical copies of the Cantor set.


Extended flux maps on surfaces and the contracted Johnson homomorphism

Abstract: On a closed symplectic surface Sigma of genus two or more, we give a new construction of an extended flux map (a crossed homomorphism from the symplectomorphism group Symp(Sigma) to the cohomology group H^1(Sigma;R) that extends the flux homomorphism). This construction uses the topology of the Jacobian of the surface and a correction factor related to the Johnson homomorphism. For surfaces of genus three or more, we give another new construction of an extended flux map using hyperbolic geometry.


Conservative discrete time-invariant systems and block operator CMV matrices

Abstract: It is well known that an operator-valued function $\Theta$ from the Schur class ${\bf S}(\mathfrak M,\mathfrak N)$, where $\mathfrak M$ and $\mathfrak N$ are separable Hilbert spaces, can be realized as the transfer function of a simple conservative discrete time-invariant linear system. The known realizations involve the function $\Theta$ itself, the Hardy spaces or the reproducing kernel Hilbert spaces. On the other hand, as in the classical scalar case, the Schur class operator-valued function is uniquely determined by its so called "Schur parameters". In this paper we construct simple conservative realizations using the Schur parameters only. It turns out that the unitary operators corresponding to the systems take the form of five diagonal block operator matrices, which are the analogs of Cantero--Moral--Vel\'azquez (CMV) matrices appeared recently in the theory of scalar orthogonal polynomials on the unit circle. We obtain new models given by truncated block operator CMV matrices for an arbitrary completely non-unitary contraction. It is shown that the minimal unitary dilations of a contraction in a Hilbert space and the minimal Naimark dilations of a semi-spectral operator measure on the unit circle can also be expressed by means of block operator CMV matrices.


Analytic continuation in mapping spaces

Abstract: We consider a Stein manifold $M$ of dimension $\geq 2$ and a compact subset $K\subset M$ such that $M'=M\backslash K$ is connected. Let $S$ be a compact differential manifold, and let $M_S$, resp. $M'_S$ stand for the complex manifold of maps $S\to M$, resp. $S\to M'$, of some specified regularity, that are homotopic to constant. We prove that any holomorphic function on $M'_S$ continues analytically to $M_S$ (perhaps as a multivalued function).


Loose Hamilton cycles in hypergraphs

Abstract: We prove that any k-uniform hypergraph on n vertices with minimum degree at least n/(2(k-1))+o(n) contains a loose Hamilton cycle. The proof strategy is similar to that used by K\"uhn and Osthus for the 3-uniform case. Though some additional difficulties arise in the k-uniform case, our argument here is considerably simplified by applying the recent hypergraph blow-up lemma of Keevash.


On the G_2 bundle of a Riemannian 4-manifold

Abstract: We study the natural G_2 structure on the unit tangent sphere bundle SM of any given orientable Riemannian 4-manifold M, as it was discovered in \cite{AlbSal}. A name is proposed for the space. We work in the context of metric connections, or so called geometry with torsion, and describe the components of the torsion of the connection which imply certain equations of the G_2 structure. This article is devoted to finding the G_2-torsion tensors which classify our structure according to the theory in \cite{FerGray}.


Coherent sheaves and cohesive sheaves

Abstract: We consider coherent and cohesive sheaves of $\cO$--modules over open sets $\Omega\subset\bC^n$. We prove that coherent sheaves, and certain other sheaves derived from them, are cohesive; and conversely, certain sheaves derived from cohesive sheaves are coherent. An important tool in all this, also proved here, is that the sheaf of Banach space valued holomorphic germs is flat.


Generalized Polar Decompositions for Closed Operators in Hilbert Spaces and Some Applications

Abstract: We study generalized polar decompositions of densely defined, closed linear operators in Hilbert spaces and provide some applications to relatively (form) bounded and relatively (form) compact perturbations of self-adjoint, normal, and m-sectorial operators.


D-bar Spark Theory and Deligne Cohomology

Abstract: We study the Harvey-Lawson spark characters of level p on complex manifolds. Presenting Deligne cohomology classes by sparks of level $p$, we give an explicit analytic product formula for Deligne cohomology. We also define refined Chern classes in Deligne cohomology for holomorphic vector bundles over complex manifolds. Applications to algebraic cycles are given. A Bott-type vanishing theorem in Deligne cohomology for holomorphic foliations is established. A general construction of Nadel-type invariants is given together with a new proof of Nadel's conjecture.


Weakly turbulent solutions for the cubic defocusing nonlinear Schr\"odinger equation

Abstract: We consider the cubic defocusing nonlinear Schr\"odinger equation on the two dimensional torus. We exhibit smooth solutions for which the support of the conserved energy moves to higher Fourier modes. This weakly turbulent behavior is quantified by the growth of higher Sobolev norms: given any delta << 1, K >>1, s >1, we construct smooth initial data u_0 with ||u_0||_{{H}^s} < delta, so that the corresponding time evolution u satisfies ||u(T)||_{{H}^s} > K at some time T. This growth occurs despite the Hamiltonian's bound on ||u(t)||_{\dot{H}^1} and despite the conservation of the quantity ||u(t)||_{L^2}. The proof contains two arguments which may be of interest beyond the particular result described above. The first is a construction of the solution's frequency support that simplifies the system of ODE's describing each Fourier mode's evolution. The second is a construction of solutions to these simpler systems of ODE's which begin near one invariant manifold and ricochet from arbitrarily small neighborhoods of an arbitrarily large number of other invariant manifolds. The techniques used here are related to but are distinct from those traditionally used to prove Arnold Diffusion in perturbations of Hamiltonian systems.


Central Simple Algebras with Involution: A Geometric Approach

Abstract: Let $k$ be an algebraically closed base field of characteristic zero. The category equivalence between central simple algebras and irreducible, generically free $PGL_n$-varieties is extended to the context of central simple algebras with involution. The associated variety of a central simple algebra with involution comes with an action of the semidirect product $P_{n,\tau}:=PGL_n\rtimes<\tau>$, where $\tau$ is the automorphism of $\PGLn$ given by $\tau(h)=(h^{-1})^transpose$. Basic properties of an involution are described in terms of the action of $P_{n,\tau}$ on the associated variety, and in particular in terms of the stabilizer in general position for this action.


On the chain-level intersection pairing for PL pseudomanifolds

Abstract: James McClure recently showed that the domain for the intersection pairing of PL chains on a PL manifold $M$ is a subcomplex of $C_*(M)\otimes C_*(M)$ that is quasi-isomorphic to $C_*(M)\otimes C_*(M)$ and, more generally, that the intersection pairing endows $C_*(M)$ with the structure of a partially-defined commutative DGA. We generalize this theorem to intersection pairings of PL intersection chains on PL stratified pseudomanifolds and demonstrate the existence of a partial restricted commutative DGA structure. This structure is shown to generalize the iteration of the Goresky-MacPherson intersection product. As an application, we construct an explicit "roof" representation of the intersection homology pairing in the derived category of sheaves and verify that this sheaf theoretic pairing agrees with that arising from the geometric Goresky-MacPherson intersection pairing.


Intersection homology Kunneth theorems

Abstract: Cohen, Goresky and Ji showed that there is a Kunneth theorem relating the intersection homology groups $I^{\bar p}H_*(X\times Y)$ to $I^{\bar p}H_*(X)$ and $I^{\bar p}H_*(Y)$, provided that the perversity $\bar p$ satisfies rather strict conditions. We consider biperversities and prove that there is a K\"unneth theorem relating $I^{\bar p,\bar q}H_*(X\times Y)$ to $I^{\bar p}H_*(X)$ and $I^{\bar q}H_*(Y)$ for all choices of $\bar p$ and $\bar q$. Furthermore, we prove that the Kunneth theorem still holds when the biperversity $p,q$ is "loosened" a little, and using this we recover the Kunneth theorem of Cohen-Goresky-Ji.


On the K-theory of Toric Stack Bundles

Abstract: Simplicial toric stack bundles are smooth Deligne-Mumford stacks over smooth varieties with fibre a toric Deligne-Mumford stack. We compute the Grothendieck $K$-theory of simplicial toric stack bundles and study the Chern character homomorphism.


On Hecke Eigenvalues at Piatetski-Shapiro Primes

Abstract: Let $\lambda(n)$ be the normalized n-th Fourier coefficient of a holomorphic cusp form for the full modular group. We show that for some constant $C > 0$ depending on the cusp form and every fixed $c$ in the range $1 < c < 8/7$, the mean value of $\lambda(p)$ is $\ll \exp (-C \sqrt{\log N})$ as p runs over all (Piatetski-Shapiro) primes of the form $[n^c]$ with a natural number $n \leq N$.


A relative version of Kummer theory

Abstract: Let $E/F$ be a cyclic Galois extension of degree $p^l$ with Galois group $G$. It is shown that the Galois module structure of both sides of the Kummer pairing (for Kummer extensions of $E$) are the same. In other words, we show that the Kummer duality holds in the level of finitely generated $G$-modules.


Injective and non-injective realizations with symmetry

Abstract: In this paper, we introduce a natural classification of bar and joint frameworks that possess symmetry. This classification establishes the mathematical foundation for extending a variety of results in rigidity, as well as infinitesimal or static rigidity, to frameworks that are realized with certain symmetries and whose joints may or may not be embedded injectively in the space. In particular, we introduce a symmetry-adapted notion of `generic' frameworks with respect to this classification and show that `almost all' realizations in a given symmetry class are generic and all generic realizations in this class share the same infinitesimal rigidity properties. Within this classification we also clarify under what conditions group representation theory techniques can be applied to further analyze the rigidity properties of a (not necessarily injective) symmetric realization.


Quantum Statistical Mechanics of $\mathbb{Q}$-lattices and noncommutative geometry

Abstract: After recalling some basic notions of quantum statistical mechanics, we explain the Bost-Connes system that relates the structure of the maximal abelian extension of $\mathbb{Q}$ to the space of \kms states of a \cs-dynamical system. Afterwards, we study briefly the Connes-Marcolli $\text{GL}_2$-system as a generalization of the former system.


Nonpositively curved metric in the positive cone of a finite von Neumann algebra

Abstract: In this paper we study the metric geometry of the space $\Sigma$ of positive invertible elements of a von Neumann algebra ${\mathcal A}$ with a finite, normal and faithful tracial state $\tau$. The trace induces an incomplete Riemannian metric $<x,y>_a=\tau (ya^{-1}xa^{-1})$, and though the techniques involved are quite different, the situation here resembles in many relevant aspects that of the $n\times n$ matrices when they are regarded as a symmetric space. For instance we prove that geodesics are the shortest paths for the metric induced, and that the geodesic distance is a convex function; we give an intrinsic (algebraic) characterization of the geodesically convex submanifolds $M$ of $\Sigma$, and under suitable hypothesis we prove a factorization theorem for elements in the algebra that resembles the Iwasawa decomposition for matrices. This factorization is obtained \textit{via} a nonlinear orthogonal projection $\Pi_M:\Sigma\to M$, a map which turns out to be contractive for the geodesic distance.


Indecomposable $PD_3$-complexes

Abstract: We show that if $X$ is an indecomposable $PD_3$-complex and $\pi_1(X) is the fundamental group of a reduced finite graph of finite groups but is not virtually cyclic then $X$ is orientable, the underlying graph is a tree, all the edge groups are $Z/2Z$ and all but at most one of the vertex groups is dihedral of order $2m$ with $m$ odd. Every such group is realized by some $PD_3$-complex. We also propose a strategy for tackling the question of whether every $PD_3$-complex has a finite covering space which is homotopy equivalent to a closed orientable 3-manifold.


Some extensions of the class of convex bodies

Abstract: We introduce and study a new class of $\eps$-convex bodies (extending the class of convex bodies) in metric and normed linear spaces. We analyze relations between characteristic properties of convex bodies, demonstrate how $\eps$-convex bodies connect with some classical results of Convex Geometry, as Helly theorem, and find applications to geometric tomography. We introduce the notion of a circular projection and investigate the problem of determination of $\eps$-convex bodies by their projection-type images. The results generalize corresponding stability theorems by H. Groemer.


On the number of allelic types for samples taken from exchangeable coalescents with mutation

Abstract: Let $K_n$ denote the number of types of a sample of size $n$ taken from an exchangeable coalescent process ($\Xi$-coalescent) with mutation. A distributional recursion for the sequence $(K_n)_{n\in{\mathbb N}}$ is derived. If the coalescent does not have proper frequencies, i.e., if the characterizing measure $\Xi$ on the infinite simplex $\Delta$ does not have mass at zero and satisfies $\int_\Delta |x|\Xi(dx)/(x,x)<\infty$, where $|x|:=\sum_{i=1}^\infty x_i$ and $(x,x):=\sum_{i=1}^\infty x_i^2$ for $x=(x_1,x_2,...)\in\Delta$, then $K_n/n$ converges weakly as $n\to\infty$ to a limiting variable $K$ which is characterized by an exponential integral of the subordinator associated with the coalescent process. For so-called simple measures $\Xi$ satisfying $\int_\Delta\Xi(dx)/(x,x)<\infty$ we characterize the distribution of $K$ via a fixed-point equation.


A classification of smooth embeddings of 4-manifolds in 7-space, II

Abstract: Let N be a closed, connected, smooth 4-manifold with H_1(N;Z)=0. Our main result is the following classification of the set E^7(N) of smooth embeddings N->R^7 up to smooth isotopy. Haefliger proved that the set E^7(S^4) with the connected sum operation is a group isomorphic to Z_{12}. This group acts on E^7(N) by embedded connected sum. Boechat and Haefliger constructed an invariant BH:E^7(N)->H_2(N;Z) which is injective on the orbit space of this action; they also described im(BH). We determine the orbits of the action: for u in im(BH) the number of elements in BH^{-1}(u) is GCD(u/2,12) if u is divisible by 2, or is GCD(u,3) if u is not divisible by 2. The proof is based on a new approach using modified surgery as developed by Kreck.


Conflations of Probability Distributions

Abstract: The conflation of a finite number of probability distributions P_1,..., P_n is a consolidation of those distributions into a single probability distribution Q=Q(P_1,..., P_n), where intuitively Q is the conditional distribution of independent random variables X_1,..., X_n with distributions P_1,..., P_n, respectively, given that X_1= ... =X_n. Thus, in large classes of distributions the conflation is the distribution determined by the normalized product of the probability density or probability mass functions. Q is shown to be the unique probability distribution that minimizes the loss of Shannon Information in consolidating the combined information from P_1,..., P_n into a single distribution Q, and also to be the optimal consolidation of the distributions with respect to two minimax likelihood-ratio criteria. When P_1,..., P_n are Gaussian, Q is Gaussian with mean the classical weighted-mean-squares reciprocal of variances. A version of the classical convolution theorem holds for conflations of a large class of a.c. measures.


Shellability and the strong gcd-condition

Abstract: Shellability is a well-known combinatorial criterion for verifying that a simplicial complex is Cohen-Macaulay. Another notion familiar to commutative algebraists, but which has not received as much attention from combinatorialists as the Cohen-Macaulay property, is the notion of a Golod ring. Recently, a criterion on simplicial complexes reminiscent of shellability, called the strong gcd-condition, was shown to imply Golodness of the associated Stanley-Reisner ring. The two algebraic notions were tied together by Herzog, Reiner and Welker who showed that if the Alexander dual of a complex is sequentially Cohen-Macaulay then the complex itself is Golod. In this paper, we present a combinatorial companion of this result, namely that if the Alexander dual of a complex is (non-pure) shellable then the complex itself satisfies the strong gcd-condition. Moreover, we show that all implications just mentioned are strict in general but that they are equivalences for flag complexes.


Spherical conjugacy classes and Bruhat decomposition

Abstract: Let G be a connected, reductive algebraic group over an algebraically closed field of characteristic zero or good and odd. We characterize the spherical conjugacy classes of G as those intersecting only Bruhat cells corresponding to involutions in the Weyl group of G.


Sheaves of ordered spaces and interval theories

Abstract: We study the homotopy theory of locally ordered spaces, that is manifolds with boundary whose charts are partially ordered in a compatible way. Their category is not particularly well-behaved with respect to colimits. However, this category turns out to be a certain full subcategory of a topos of sheaves over a simpler site. A precise characterisation of this subcategory is provided. The ambient topos makes available some general homotopical machinery.


Relations between the leading terms of a polynomial automorphism

Abstract: Let $I$ be the ideal of relations between the leading terms of the polynomials defining an automorphism of $K^n$. In this paper, we prove the existence of a locally nilpotent derivation which preserves $I$. Moreover, if $I$ is principal, i.e. $I=(R)$, we compute an upper bound for $\deg_2(R)$ for some degree function $\deg_2$ defined by the automorphism. As applications, we determine all the principal ideals of relations for automorphisms of $K^3$ and deduce two elementary proofs of the Jung-van der Kulk Theorem about the tameness of automorphisms of $K^{2}$.


Fourier analysis, linear programming, and densities of distance avoiding sets in R^n

Abstract: In this paper we derive new upper bounds for the densities of measurable sets in R^n which avoid a finite set of prescribed distances. The new bounds come from the solution of a linear programming problem. We apply this method to obtain new upper bounds for measurable sets which avoid the unit distance in dimensions 2,..., 24. This gives new lower bounds for the measurable chromatic number in dimensions 3,..., 24. We apply it to get a new, short proof of a variant of a recent result of Bukh which in turn generalizes theorems of Furstenberg, Katznelson, Weiss and Bourgain and Falconer about sets avoiding many distances.


Subgroups of free idempotent generated semigroups need not be free

Abstract: We use topological methods to study the maximal subgroups of the free idempotent generated semigroup on a biordered set. We use these to give an example of a free idempotent generated semigroup with maximal subgroup isomorphic to the free abelian group of rank 2. This is the first example of a non-free subgroup of a free idempotent generated semigroup.


Note on the Euler Numbers and Polynomials

Abstract: In this paper we investigate the properties of the Euler functions. By using the Fourier transform for the Euler function, we derive the interesting formula related to the infinite series. Finally we give some interesting identities between the Euler numbers and the second kind stirling numbers.


Fibered nonlinearities for $p(x)$-Laplace equations

Abstract: In $\R^m\times\R^{n-m}$, endowed with coordinates $X=(x,y)$, we consider the PDE $$ -{\rm div} \big(\alpha(\x) |\nabla u(\X)|^{p(x)-2}\nabla u(\X)\big)=f(x,u(\X)).$$ We prove a geometric inequality and a symmetry result.


Primitive Collections and Toric Varieties

Abstract: This paper studies Batyrev's notion of primitive collection. We use primitive collections to characterize the nef cone of a quasi-projective toric variety whose fan has convex support, a result stated without proof by Batyrev in the smooth projective case. When the fan is non-simplicial, we modify the definition of primitive collection and explain how our definition relates to primitive collections of simplicial subdivisons. The paper ends with some open problems.


Intrinsic geometry of oriented congruences in three dimensions

Abstract: Starting from the classical notion of an oriented congruence (i.e. a foliation by oriented curves) in $R^3$, we abstract the notion of an oriented congruence structure. This is a 3-dimensional CR manifold $(M,H, J)$ with a preferred splitting of the tangent space $TM=V\oplus H$. We find all local invariants of such structures using Cartan's equivalence method refining Cartan's classification of 3-dimensional CR structures. We use these invariants and perform Fefferman like constructions, to obtain interesting Lorentzian metrics in four dimensions, which include explicit Ricci-flat and Einstein metrics, as well as not conformally Einstein Bach-flat metrics.


Questions about determinants and polynomials

Abstract: We discuss several conjectures about the real-rootedness of polynomials whose coefficients are determinants of coefficients of a real-rooted polynomial. We also consider some questions about matrices generalizing totally positive matrices, namely totally stable matrices and totally upper matrices.


Weak amenability of Fourier algebras on compact groups

Abstract: We give for a compact group G, a full characterisation of when its Fourier algebra A(G) is weakly amenable: when the connected component of the identity G_e is abelian. This condition is also equivalent to the hyper-Tauberian property for A(G), and to having the anti-diagonal D^v={(s,s^{-1}):s is in G} being a set of spectral synthesis for A(GXG). We show the relationship between amenability and weak amenability of A(G), and (operator) amenability and (operator) weak amenability of A_D(G), an algebra defined by the authors in arXiv:0705.4277. We close by extending our results to some classes of non-compact, locally compact groups, including small invariant neighbourhood groups and maximally weakly almost periodic groups.


Varieties with Definable Factor Congruences

Abstract: We study direct product representations of algebras in varieties. We collect several conditions expressing that these representations are "definable" in a first-order-logic sense, among them the concept of Definable Factor Congruences (DFC). The main results are that DFC is a Mal'cev property and that it is equivalent to all other conditions formulated; in particular we prove that V has DFC if and only if V has 0&1 and Boolean Factor Congruences. We also obtain an explicit first order definition of the kernel of the canonical projections via the terms associated to the Mal'cev condition for DFC, in such a manner it is preserved by taking direct products and direct factors. The main tool is the use of "central elements," which are a generalization of both central idempotent elements in rings with identity and neutral complemented elements in a bounded lattice.


Lower Bounds for Dimensions of Sums of Sets

Abstract: We study lower bounds for the Minkowski and Hausdorff dimensions of the algebraic sum E+K of two subsets E and K of d-dimensional Euclidean space.


Squishing dimers on the hexagon lattice

Abstract: We describe an operation on dimer configurations on the hexagon lattice, called "squishing", and use this operation to explain some of the properties of dimer generating functions.


Weighted interlace polynomials

Abstract: The interlace polynomials introduced by Arratia, Bollobas and Sorkin extend to invariants of graphs with vertex weights, and these weighted interlace polynomials have several novel properties. One novel property is a version of the fundamental three-term formula q(G)=q(G-a)+q(G^{ab}-b)+((x-1)^{2}-1)q(G^{ab}-a-b) that lacks the last term. It follows that interlace polynomial computations can be represented by binary trees rather than mixed binary-ternary trees. Binary computation trees provide a description of $q(G)$ that is analogous to the activities description of the Tutte polynomial. If $G$ is a tree or forest then these "algorithmic activities" are associated with a certain kind of independent set in $G$. Three other novel properties are weighted pendant-twin reductions, which involve removing certain kinds of vertices from a graph and adjusting the weights of the remaining vertices in such a way that the interlace polynomials are unchanged. These reductions allow for smaller computation trees as they eliminate some branches. If a graph can be completely analyzed using pendant-twin reductions then its interlace polynomial can be calculated in polynomial time. An intuitively pleasing property is that graphs which can be constructed through graph substitutions have vertex-weighted interlace polynomials which can be obtained through algebraic substitutions.


Turbulence, representations, and trace-preserving actions

Abstract: We establish criteria for turbulence in certain spaces of C*-algebra representations and apply this to the problem of nonclassifiability by countable structures for group actions on a standard atomless probability space (X,\mu) and on the hyperfinite II_1 factor R. We also prove that the conjugacy action on the space of free actions of a countably infinite amenable group on R is turbulent, and that the conjugacy action on the space of ergodic measure-preserving flows on (X,\mu) is generically turbulent.


The number of 2x2 integer matrices having a prescribed integer eigenvalue

Abstract: Random matrices arise in many mathematical contexts, and it is natural to ask about the properties that such matrices satisfy. If we choose a matrix with integer entries at random, for example, what is the probability that it will have a particular integer as an eigenvalue, or an integer eigenvalue at all? If we choose a matrix with real entries at random, what is the probability that it will have a real eigenvalue in a particular interval? The purpose of this paper is to resolve these questions, once they are made suitably precise, in the setting of 2x2 matrices.


Connections on non-abelian Gerbes and their Holonomy

Abstract: We introduce an axiomatic framework for the parallel transport of connections on gerbes. It incorporates parallel transport along curves and along surfaces, and is formulated in terms of gluing axioms and smoothness conditions. The smoothness conditions are imposed with respect to a strict Lie 2-group, which plays the role of a band, or structure 2-group. Upon choosing certain examples of Lie 2-groups, our axiomatic framework reproduces in a systematical way several known concepts of gerbes with connection: non-abelian differential cocycles, Breen-Messing gerbes, abelian and non-abelian bundle gerbes. These relationships convey a well-defined notion of surface holonomy from our axiomatic framework to each of these concrete models. Till now, holonomy was only known for abelian gerbes; our approach reproduces that known concept and extends it to non-abelian gerbes. Several new features of surface holonomy are exposed under its extension to non-abelian gerbes; for example, it carries an action of the mapping class group of the surface.


Existence of minimal models for varieties of log general type II

Abstract: We prove the existence of pl-flips.


New coins from old, smoothly

Abstract: Given a (known) function $f:[0,1] \to (0,1)$, we consider the problem of simulating a coin with probability of heads $f(p)$ by tossing a coin with unknown heads probability $p$, as well as a fair coin, $N$ times each, where $N$ may be random. The work of Keane and O'Brien (1994) implies that such a simulation scheme with the probability $\P_p(N<\infty)$ equal to 1 exists iff $f$ is continuous. Nacu and Peres (2005) proved that $f$ is real analytic in an open set $S \subset (0,1)$ iff such a simulation scheme exists with the probability $\P_p(N>n)$ decaying exponentially in $n$ for every $p \in S$. We prove that for $\alpha>0$ non-integer, $f$ is in the space $C^\alpha [0,1]$ if and only if a simulation scheme as above exists with $\P_p(N>n) \le C (\Delta_n(p))^\alpha$, where $\Delta_n(x)\eqbd \max \{\sqrt{x(1-x)/n},1/n \}$. The key to the proof is a new result in approximation theory: Let $\B_n$ be the cone of univariate polynomials with nonnegative Bernstein coefficients of degree $n$. We show that a function $f:[0,1] \to (0,1)$ is in $C^\alpha [0,1]$ if and only if $f$ has a series representation $\sum_{n=1}^\infty F_n$ with $F_n \in \B_n$ and $\sum_{k>n} F_k(x) \le C(\Delta_n(x))^\alpha$ for all $ x \in [0,1]$ and $n \ge 1$. We also provide a counterexample to a theorem stated without proof by Lorentz (1963), who claimed that if some $\phi_n \in \B_n$ satisfy $|f(x)-\phi_n(x)| \le C (\Delta_n(x))^\alpha$ for all $ x \in [0,1]$ and $n \ge 1$, then $f \in C^\alpha [0,1]$.


Action integrals and infinitesimal characters

Abstract: Let $G$ be a reductive Lie group and ${\mathcal O}$ the coadjoint orbit of a hyperbolic element of ${\frak g}^*$. By $\pi$ is denoted the unitary irreducible representation of $G$ associated with ${\mathcal O}$ by the orbit method. We give geometric interpretations in terms of concepts related to ${\mathcal O}$ of the constant $\pi(g)$, for $g\in Z(G)$. We also offer a description of the invariant $\pi(g)$ in terms of action integrals and Berry phases. In the spirit of the orbit method we interpret geometrically the infinitesimal character of the differential representation of $\pi$.


Nonstandard Mathematics and New Zeta and L-Functions

Abstract: This Ph.D. thesis, prepared under the supervision of Professor Ivan Fesenko, defines new zeta functions in a nonstandard setting and their analytical properties are developed. Further, p-adic interpolation is presented within a nonstandard setting which enables the concept of interpolating with respect to two, or more, distinct primes to be defined. The final part of the dissertation examines the work of M. J. Shai Haran and makes initial attempts of viewing it from a nonstandard perspective.


De Morgan's law and the theory of fields

Abstract: We show that the classifying topos for the theory of fields does not satisfy De Morgan's law, and we identify its largest dense De Morgan subtopos as the classifying topos for the theory of fields of nonzero characteristic which are algebraic over their prime fields.


Calculating intersection numbers on moduli spaces of pointed curves

Abstract: This is a note on calculating intersection numbers on moduli spaces of curves. A codimension 3 relation among tautological classes on the moduli space of genus 4 curves is given.


Conformally Invariant Operators via Curved Casimirs: Examples

Abstract: We discuss a general scheme for a construction of linear conformally invariant differential operators from curved Casimir operators; we then explicitly carry this out for several examples. Apart from demonstrating the efficacy of the approach via curved Casimirs, this shows that this method applies both in regular and in singular infinitesimal character, and also that it can be used to construct standard as well as non--standard operators. The examples treated include conformally invariant operators with leading term, in one case, a square of the Laplacian, and in another case, a cube of the Laplacian.


d-collapsibility is NP-complete for d greater or equal to 4

Abstract: A simplicial complex is d-collapsible if it can be reduced to an empty complex by repeatedly removing (collapsing) a face of dimension at most d-1 that is contained in a unique maximal face. We prove that the algorithmic question whether a given simplicial complex is d-collapsible is NP-complete for d greater or equal to 4 and polynomial time solvable for d at most 2. As an intermediate step, we prove that d-collapsibility can be recognized by the greedy algorithm for d at most 2, but the greedy algorithm does not work for d greater or equal 3. A simplicial complex is d-representable if it is the nerve of a collection of convex sets in R^d. The main motivation for studying d-collapsible complexes is that every d-representable complex is d-collapsible. We also observe that known results imply that analogical algorithmic question for d-representable complexes is NP-hard for d greater or equal to 2.


On visualisation scaling, subeigenvectors and Kleene stars in max algebra

Abstract: The purpose of this paper is to investigate the interplay arising between max algebra, convexity and scaling problems. The latter, which have been studied in nonnegative matrix theory, are strongly related to max algebra. One problem is strict visualisation scaling, which means finding, for a given nonnegative matrix A, a diagonal matrix X such that all elements of X^{-1}AX are less than or equal to the maximum cycle geometric mean of A, with strict inequality for the entries which do not lie on critical cycles. In this paper such scalings are described by means of the max-algebraic subeigenvectors and Kleene stars of nonnegative matrices as well as by some concepts of convex geometry.


Torelli theorem for the moduli space of framed bundles

Abstract: Let X be an irreducible smooth complex projective curve of genus g>2, and let x be a fixed point. A framed bundle is a pair (E,\phi), where E is a vector bundle over X, of rank r and degree d, and \phi:E_x\to C^r is a non-zero homomorphism. There is a notion of (semi)stability for framed bundles depending on a parameter \tau>0, which gives rise to the moduli space of \tau-semistable framed bundles M^\tau. We prove a Torelli theorem for M^\tau, for \tau>0 small enough, meaning, the isomorphism class of the one-pointed curve (X,x), and also the integer r, are uniquely determined by the isomorphism class of the variety M^\tau.


Reconsidering the asymptotic null distribution of likelihood ratio tests for genetic linkage in multivariate variance components models

Abstract: Accurate knowledge of the null distribution of hypothesis tests is important for valid application of the tests. In previous papers and software, the asymptotic null distribution of likelihood ratio tests for detecting genetic linkage in multivariate variance components models has been stated to be a mixture of chi-square distributions with binomial mixing probabilities. Here we show, by simulation and by theoretical arguments based on the geometry of the parameter space, that all aspects of the previously stated asymptotic null distribution are incorrect--both the binomial mixing probabilities and the chi-square components. Correcting the null distribution gives more conservative critical values than previously stated, yielding P values that can easily be ten times larger. The true mixing probabilities give the highest probability to the case where all variance parameters are estimated positive, and the mixing components show severe departures from chi-square distributions. Thus, the asymptotic null distribution has complex features that raise challenges for the assessment of significance of multivariate linkage findings. We propose a method to generate an asymptotic null distribution that is much faster than other empirical methods such as gene-dropping, enabling us to obtain P values with higher precision more efficiently.


An application of Jacquet-Langlands correspondence to transfer operators for geodesic flows on Riemann surfaces

Abstract: In the paper as a new application of the Jacquet-Langlands correspondence we connect the transfer operators for different cofinite Fuchsian groups by comparing the corresponding Selberg zeta functions.


The B\"{a}cklund transforms of Peterson's deformations of quadrics

Abstract: In trying to provide explicit deformations of quadrics the starting point of our investigation is to use Bianchi's link between real deformations of totally real regions of real paraboloids and various totally real forms of the sine-Gordon equation coupled with Bianchi's simple observation that the vacuum soliton of these totally real forms of the sine-Gordon equation provides precisely Peterson's deformations of such quadrics in order to derive explicit B\"{a}cklund transforms of Peterson's deformations of quadrics. Based also on Bianchi's approach of the B\"{a}cklund transformation for quadrics via common conjugate systems and in analogy to the solitons of the sine-Gordon equation corresponding at the level of the geometric picture to the solitons of the pseudo-sphere we propose a model for the solitons of quadrics.


On secant loci and simple linear projections of some projective varieties

Abstract: In this paper, we study how simple linear projections of some projective varieties behave when the projection center runs through the ambient space. More precisely, let $X \subset \P^r$ be a projective variety satisfying Green-Lazarsfeld's property $N_p$ for some $p \geq 2$, $q \in \P^r$ a closed point outside of $X$, and $X_q := \pi_q (X) \subset \P^{r-1}$ the projected image of $X$ from $q$. First, it is shown that the secant locus $\Sigma_q (X)$ of $X$ with respect to $q$, i.e. the set of all points on $X$ spanning secant lines passing through $q$, is either empty or a quadric in a subspace of $\P^r$. This implies that the finite morphism $\pi_q : X \to X_q$ is birational. Our main result is that cohomological and local properties of $X_q$ are precisely determined by $\Sigma_q (X)$. To complete this result, the next step should be to classify all possible secant loci and to decompose the ambient space via the classification of secant loci. We obtain such a decomposition for Veronese embeddings and Segre embeddings. Also as an application of the main result, we study cohomological properties of low degree varieties.


Bianchi's B\"{a}cklund transformation for higher dimensional quadrics

Abstract: We provide a generalization of Bianchi's B\"{a}cklund transformation from 2-dimensional quadrics to higher dimensional quadrics. The starting point of our investigation is the higher dimensional (infinitesimal) version of Bianchi's main four theorems on the theory of deformations of quadrics and Bianchi's treatment of the B\"{a}cklund transformation for diagonal paraboloids via conjugate systems.


Stably diffeomorphic manifolds and l_{2q+1}(Z[\pi])

Abstract: The monoids l_{2q+1}(Z[\pi]) detect s-cobordisms amongst certain bordisms between stably diffeomorphic 2q-dimensional manifolds and generalise the Wall simple surgery obstruction groups, L_{2q+1}^s(Z[\pi]) \subset l_{2q+1}(Z[\pi]). In this paper we give exact sequences which completely describe l_{2q+1}(Z[\pi]) as a set and which we use to compute its Grothendieck group. As a consequence we deduce cancellation results for stably diffeomorphic manifolds with polycyclic-by-finite fundamental group.


Perfect, strongly eutactic lattices are periodic extreme

Abstract: We introduce a parameter space for periodic point sets, given as unions of $m$ translates of point lattices. In it we investigate the behavior of the sphere packing density function and derive sufficient conditions for local optimality. Using these criteria we prove that perfect, strongly eutactic lattices cannot be locally improved to yield a periodic sphere packing with greater density. This applies in particular to the densest known lattice sphere packings in dimension $d\leq 8$ and $d=24$.


Scattering configuration spaces

Abstract: For a compact manifold with boundary $X$ we introduce the $n$-fold scattering stretched product $X^n_{\text{sc}}$ which is a compact manifold with corners for each $n,$ coinciding with the previously known cases for $n=2,3.$ It is constructed by iterated blow up of boundary faces and boundary faces of multi-diagonals in $X^n.$ The resulting space is shown to map smoothly, by a b-fibration, covering the usual projection, to the lower stretched products. It is anticipated that this manifold with corners, or at least its combinatorial structure, is a universal model for phenomena on asymptotically flat manifolds in which particle clusters emerge at infinity. In particular this is the case for magnetic monopoles on $\mathbb{R}^3$ in which case these spaces are closely related to compactifications of the moduli spaces with the boundary faces mapping to lower charge idealized moduli spaces.


Regular induced subgraphs of a random graph

Abstract: An old problem of Erd\H{o}s, Fajtlowicz and Staton asks for the order of a largest induced regular subgraph that can be found in every graph on n vertices. Motivated by this problem, we consider the order of such a subgraph in a typical graph on n vertices, i.e., in a binomial random graph G(n,1/2). We prove that with high probability a largest induced regular subgraph of G(n,1/2) has about n^{2/3} vertices.


On asymptotic stability of standing waves of discrete Schr\"odinger equation in $\Bbb Z$

Abstract: We prove an analogue of a classical asymptotic stability result of standing waves of the Schr\"odinger equation originating in work by Soffer and Weinstein. Specifically, our result is a transposition on the lattice Z of a result by Mizumachi and it involves a discrete Schr\"odinger operator H. The decay rates on the potential are less stringent than in Mizumachi, since we require for the potential $q\in \ell ^{1,1}$. We also prove $|e^{itH}(n,m)|\le C < t > ^{-1/3}$ for a fixed $C$ requiring, in analogy to Goldberg and Schlag only $q\in \ell ^{1,1}$ if $H$ has no resonances and $q\in \ell ^{1,2}$ if it has resonances. In this way we ease the hypotheses on H contained in Pelinovsky and Stefanov, which have a similar dispersion estimate.


Efficient computation of resonance varieties via Grassmannians

Abstract: Associated to the cohomology ring A of the complement X(A) of a hyperplane arrangement A in complex m-space are the resonance varieties R^k(A). The most studied of these is R^1(A), which is the union of the tangent cones at the origin to the characteristic varieties of the fundamental group of X. R^1(A) may be described in terms of Fitting ideals, or as the locus where a certain Ext module is supported. Both these descriptions give obvious algorithms for computation. In this note, we show that interpreting R^1(A) as the locus of decomposable two-tensors in the Orlik-Solomon ideal leads to a description of R^1(A) as the intersection of a Grassmannian with a linear space, determined by the quadratic generators of the Orlik-Solomon ideal. This method is much faster than previous alternatives.


Eigenvalues Estimates for the p-Laplace Operator on Manifolds

Abstract: We obtain geometric estimates for the first eigenvalue and the fundamental tone of the p-laplacian on manifolds in terms of admissible vector fields. Also, we defined a new spectral invariant and we show its relation with the geometry of the manifold.


Piecewise polynomials on polyhedral complexes

Abstract: For a d-dimensional polyhedral complex P, the dimension of the space of piecewise polynomial functions (splines) on P of smoothness r and degree k is given, for k sufficiently large, by a polynomial f(P,r,k) of degree d. When d=2 and P is simplicial, Alfeld and Schumaker determined a formula for all three coefficients of f. However, in the polyhedral case, no formula is known. Using localization techniques and specialized dual graphs associated to codimension--2 linear spaces, we obtain the first three coefficients of f(P,r,k), giving a complete answer when d=2.


Blocks of cyclotomic Hecke algebras and Khovanov-Lauda algebras

Abstract: We construct an explicit isomorphism between blocks of cyclotomic Hecke algebras and (sign-modified) Khovanov-Lauda algebras in type A. These isomorphisms connect the categorification conjecture of Khovanov and Lauda to Ariki's categorification theorem. The Khovanov-Lauda algebras are naturally graded, which allows us to exhibit a non-trivial Z-grading on blocks of cyclotomic Hecke algebras, including symmetric groups in positive characteristic.


Inductive Analysis on Singular Minimal Hypersurfaces

Abstract: The present paper describes a way to relate Martin boundaries on spaces of varying topology. This enables us to approach some detailed inductive analysis of the eigenfunctions of conformal Laplacians on minimal hypersurfaces near their singularities. This can directly be used resp. translated to understand the way how such minimal hypersurfaces inherit positive scalar curvature from their ambience resp. how to smooth singular minimal hypersurfaces to regular hypersurfaces with positive mean curvature.


Weak* continuous states on Banach algebras

Abstract: We prove that if a unital Banach algebra $A$ is the dual of a Banach space $\pd{A}$, then the set of weak* continuous states is weak* dense in the set of all states on $A$. Further, weak* continuous states linearly span $\pd{A}$.


Hyperbolic conservation laws on the sphere. A geometry-compatible finite volume scheme

Abstract: We consider entropy solutions to the initial value problem associated with scalar nonlinear hyperbolic conservation laws posed on the two-dimensional sphere. We propose a finite volume scheme which relies on a web-like mesh made of segments of longitude and latitude lines. The structure of the mesh allows for a discrete version of a natural geometric compatibility condition, which arose earlier in the well-posedness theory established by Ben-Artzi and LeFloch. We study here several classes of flux vectors which define the conservation law under consideration. They are based on prescribing a suitable vector field in the Euclidean three-dimensional space and then suitably projecting it on the sphere's tangent plane; even when the flux vector in the ambient space is constant, the corresponding flux vector is a non-trivial vector field on the sphere. In particular, we construct here "equatorial periodic solutions", analogous to one-dimensional periodic solutions to one-dimensional conservation laws, as well as a wide variety of stationary (steady state) solutions. We also construct "confined solutions", which are time-dependent solutions supported in an arbitrarily specified subdomain of the sphere. Finally, representative numerical examples and test-cases are presented.


Almost filling laminations and the connectivity of ending lamination space

Abstract: We show that if S is a finite type orientable surface of negative Euler characteristic which is not the 3-holed sphere, 4-holed sphere or 1-holed torus, then the ending lamination space of S is connected, locally path connected and cyclic.


Abelian ideals with given dimension in Borel subalgebras

Abstract: A well-known Peterson's theorem says that the number of abelian ideals in a Borel subalgebra of a rank-$r$ finite dimensional simple Lie algebra is exactly $2^r$. In this paper, we determine the dimensional distribution of abelian ideals in a Borel subalgebra of finite dimensional simple Lie algebras, which is a refinement of the Peterson's theorem capturing more Lie algebra invariants.


Connectivity Properties of Horospheres in Euclidean Buildings and Applications to Finiteness Properties of Discrete Groups

Abstract: Let G(O_S) be an S-arithmetic subgroup of a connected, absolutely almost simple linear algebraic group G over a global function field K. We show that the sum of local ranks of G determines the homological finiteness properties of G(O_S) provided the K-rank of G is 1. This shows that the general upper bound for the finiteness length of G(O_S) established in an earlier paper is sharp in this case. The geometric analysis underlying our result determines the conectivity properties of horospheres in thick Euclidean buildings.


Density estimates and concentration inequalities with Malliavin calculus

Abstract: We show how to use the Malliavin calculus to obtain density estimates of the law of general centered random variables. In particular, under a non-degeneracy condition, we prove and use a new formula for the density of a random variable which is measurable and differentiable with respect to a given isonormal Gaussian process. Among other results, we apply our techniques to bound the density of the maximum of a general Gaussian process from above and below; several new results ensue, including improvements on the so-called Borell-Sudakov inequality. We then explain what can be done when one is only interested in or capable of deriving concentration inequalities, i.e. tail bounds from above or below but not necessarily both simultaneously.


All exceptional surgeries on alternating knots are integral surgeries

Abstract: We show that all exceptional surgeries on hyperbolic alternating knots in the 3-sphere are integral surgeries.


The flipping puzzle on a graph

Abstract: Let $S$ be a connected graph which contains an induced path of $n-1$ vertices, where $n$ is the order of $S.$ We consider a puzzle on $S$. A configuration of the puzzle is simply an $n$-dimensional column vector over $\{0, 1\}$ with coordinates of the vector indexed by the vertex set $S$. For each configuration $u$ with a coordinate $u_s=1$, there exists a move that sends $u$ to the new configuration which flips the entries of the coordinates adjacent to $s$ in $u.$ We completely determine if one configuration can move to another in a sequence of finite steps.


The Maskit embedding of the twice punctured torus

Abstract: The Maskit embedding M of a surface \Sigma is the space of geometrically finite groups on the boundary of quasifuchsian space for which the `top' end is homeomorphic to \Sigma, while the `bottom' end consists of two triply punctured spheres, the remains of \Sigma when two fixed disjoint curves have been pinched. As such representations vary in the character variety, the conformal structure on the top side varies over the Teichm\"uller space T(\Sigma). We investigate M when \Sigma is a twice punctured torus, using the method of pleating rays. Fix a projective measure class [\mu] supported on closed curves on \Sigma. The pleating ray P_[\mu] consists of those groups in M for which the bending measure of the top component of the convex hull boundary of the associated 3-manifold is in [\mu]. It is known that P is a real 1-submanifold of M. Our main result is a formula for the asymptotic direction of P in M as the bending measure tends to zero, in terms of natural parameters for the 2-complex dimensional representation space R and the Dehn-Thurston coordinates of the support curves to [\mu] relative to the pinched curves on the bottom side. This leads to a method of locating M in R.


Adjoint vector fields and differential operators on representation spaces

Abstract: Let $G$ be a semisimple algebraic group with Lie algebra $\g$. In 1979, J. Dixmier proved that any vector field annihilating all $G$-invariant polynomials on $\g$ lies in the $\bbk[\g]$-module generated by the "adjoint vector fields", i.e., vector fields $\varsigma$ of the form $\varsigma(y)(x)=[x,y]$, $x,y\in\g$. A substantial generalisation of Dixmier's theorem was found by Levasseur and Stafford. They explicitly described the centraliser of $\bbk[\g]^G$ in the algebra of differential operators on $\g$. On the level of vector fields, their result reduces to Dixmier's theorem. The purpose of this paper is to explore similar problems in the general context of affine algebraic groups and their rational representations.


Two-dimensional models of type theory

Abstract: We describe a non-extensional variant of Martin-L\"of type theory which we call two-dimensional type theory, and equip it with a sound and complete semantics valued in 2-categories.


High-dimensional Gaussian model selection on a Gaussian design

Abstract: We consider the problem of estimating the conditional mean of a real Gaussian variable $\nolinebreak Y=\sum_{i=1}^p\nolinebreak\theta_iX_i+\nolinebreak \epsilon$ where the vector of the covariates $(X_i)_{1\leq i\leq p}$ follows a joint Gaussian distribution. This issue often occurs when one aims at estimating the graph or the distribution of a Gaussian graphical model. We introduce a general model selection procedure which is based on the minimization of a penalized least-squares type criterion. It handles a variety of problems such as ordered and complete variable selection, allows to incorporate some prior knowledge on the model and applies when the number of covariates $p$ is larger than the number of observations $n$. Moreover, it is shown to achieve a non-asymptotic oracle inequality independently of the correlation structure of the covariates. We also exhibit various minimax rates of estimation in the considered framework and hence derive adaptiveness properties of our procedure.


Parallel calibrations and minimal submanifolds

Abstract: Given a parallel calibration $\phi \in \Omega^p(M)$ on a Riemannian manifold $M$, I prove that the $\phi$--critical submanifolds with nonzero critical value are minimal submanifolds. I also show that the $\phi$--critical submanifolds are precisely the integral manifolds of a $\mathscr{C}^\infty(M)$--linear subspace $\sP \subset \Omega^p(M)$. In particular, the calibrated submanifolds are necessarily integral submanifolds of the system. (Examples of parallel calibrations include the special Lagrangian calibration on Calabi-Yau manifolds, (co)associative calibrations on $G_2$--manifolds, and the Cayley calibration on $\tSpin(7)$--manifolds.)


Local energy estimates for the finite element method on sharply varying grids

Abstract: Local energy error estimates for the finite element method for elliptic problems were originally proved in 1974 by Nitsche and Schatz. These estimates show that the local energy error may be bounded by a local approximation term, plus a global "pollution" term that measures the influence of solution quality from outside the domain of interest and is heuristically of higher order. However, the original analysis of Nitsche and Schatz is restricted to quasi-uniform grids. We present local a priori energy estimates that are valid on shape regular grids, an assumption which allows for highly graded meshes and which much more closely matches the typical practical situation. Our chief technical innovation is an improved superapproximation result.


Tangent Cone of Numerical Semigroup Rings of Embedding Dimension Three

Abstract: In this paper, we give new characterizations of the Buchsbaum and Cohen-Macaulay properties of the tangent cone $\gr_\frakm(R)$, where $(R,\frakm)$ is a numerical semigroup ring of embedding dimension 3. In particular, we confirm the conjectures raised by Sapko on the Buchsbaumness of $\gr_\frakm(R)$.


\'Etale cohomology, Lefschetz Theorems and Number of Points of Singular Varieties over Finite Fields

Abstract: We prove a general inequality for estimating the number of points of arbitrary complete intersections over a finite field. This extends a result of Deligne for nonsingular complete intersections. For normal complete intersections, this inequality generalizes also the classical Lang-Weil inequality. Moreover, we prove the Lang-Weil inequality for affine as well as projective varieties with an explicit description and a bound for the constant appearing therein. We also prove a conjecture of Lang and Weil concerning the Picard varieties and \'etale cohomology spaces of projective varieties. The general inequality for complete intersections may be viewed as a more precise version of the estimates given by Hooley and Katz. The proof is primarily based on a suitable generalization of the Weak Lefschetz Theorem to singular varieties together with some Bertini-type arguments and the Grothendieck-Lefschetz Trace Formula. We also describe some auxiliary results concerning the \'etale cohomology spaces and Betti numbers of projective varieties over finite fields and a conjecture along with some partial results concerning the number of points of projective algebraic sets over finite fields.


The Continuous Graph FFT

Abstract: The discrete Fourier transform and the FFT algorithm are extended from the circle to continuous graphs with equal edge lengths.


The local recognition of reflection graphs of spherical Coxeter groups

Abstract: Based on the third author's thesis in this article we complete the local recognition of commuting reflection graphs of spherical Coxeter groups arising from irreducible crystallographic root systems.


The Katok-Spatzier Conjecture and Generalized Symmetries

Abstract: Within the smooth category, an intertwining is exhibited between the global rigidity of irreducible higher rank abelian Anosov actions on the n-torus and the classification of equilibrium-free flows on the n-torus that possess nontrivial generalized symmetries.


Pinned Repetitions in Symbolic Flows: Preliminary Results

Abstract: We consider symbolic flows over finite alphabets and study certain kinds of repetitions in these sequences. Positive and negative results for the existence of such repetitions are given for codings of interval exchange transformations and codings of quadratic polynomials.


Multidimensional Chebyshev Systems - just a definition

Abstract: We provide a definition of Multidimensional Chebyshev Systems of order N which is satisfied by the solutions of a wide class of elliptic equations of order 2N. This definition generalizes a very large class of Extended Complete Chebyshev systems in the one-dimensional case. This is the first of a series of papers in this area, which solves the longstanding problem of finding a satisfactory multidimensional generalization of the classical Chebyshev systems introduced already by A. Markov more than hundered years ago, and studied later by S. Bernstein and M. Krein.


On isoperimetric profiles of algebras

Abstract: Isoperimetric profile in algebras was first introduced by Gromov. We study the behavior of the isoperimetric profile under various ring theoretic constructions and its relation with the Gelfand-Kirillov dimension.


Relatively Open Gromov-Witten Invariants for Symplectic Manifolds of Lower Dimensions

Abstract: Let $(X,\omega)$ be a compact symplectic manifold, $L$ be a Lagrangian submanifold and $V$ be a codimension 2 symplectic submanifold of $X$, we consider the pseudoholomorphic maps from a Riemann surface with boundary $(\Sigma,\partial\Sigma)$ to the pair $(X,L)$ satisfying Lagrangian boundary conditions and intersecting $V$. In some special cases, for instance, under the semi-positivity condition, we study the stable moduli space of such open pseudoholomorphic maps involving the intersection data. If $L\cap V=\emptyset$, we study the problem of orientability of the moduli space. Moreover, assume that there exists an anti-symplectic involution $\phi$ on $X$ such that $L$ is the fixed point set of $\phi$ and $V$ is $\phi$-anti-invariant, then we define the so-called "relatively open" invariants for the tuple $(X,\omega,V,\phi)$ if $L$ is orientable and dim$X\le 6$. If $L$ is nonorientable, we define such invariants under the condition that dim$X\le4$ and some additional restrictions on the number of marked points on each boundary component of the domain.


The distribution of the irreducibles in an algebraic number field

Abstract: We study the distribution of principal ideals generated by irreducible elements in an algebraic number field.


Sum of squares of degrees in a graph

Abstract: Let $\G(v,e)$ be the set of all simple graphs with $v$ vertices and $e$ edges and let $P_2(G)=\sum d_i^2$ denote the sum of the squares of the degrees, $d_1, >..., d_v$, of the vertices of $G$. It is known that the maximum value of $P_2(G)$ for $G \in \G(v,e)$ occurs at one or both of two special graphs in $\G(v,e)$--the \qs graph or the \qc graph. For each pair $(v,e)$, we determine which of these two graphs has the larger value of $P_2(G)$. We also determine all pairs $(v,e)$ for which the values of $P_2(G)$ are the same for the \qs and the \qc graph. In addition to the \qs and \qc graphs, we find all other graphs in $\G(v,e)$ for which the maximum value of $P_2(G)$ is attained. Density questions posed by previous authors are examined.


Implicit-Explicit Variational Integration of Highly Oscillatory Problems

Abstract: In this paper, we derive a variational integrator for certain highly oscillatory problems in mechanics. To do this, we take a new approach to the splitting of fast and slow potential forces: rather than splitting these forces at the level of the differential equations or the Hamiltonian, we split the two potentials with respect to the Lagrangian action integral. By using a different quadrature rule to approximate the contribution of each potential to the action, we arrive at a geometric integrator that is implicit in the fast force and explicit in the slow force. This can allow for significantly longer time steps to be taken (compared to standard explicit methods, such as St\"ormer/Verlet) at the cost of only a linear solve rather than a full nonlinear solve. We also analyze the stability of this method, in particular proving that it eliminates the linear resonance instabilities that can arise with explicit multiple-time-stepping methods. Next, we perform some numerical experiments, studying the behavior of this integrator for two test problems: a system of coupled linear oscillators, for which we compare against the resonance behavior of the r-RESPA method; and slow energy exchange in the Fermi--Pasta--Ulam problem, which couples fast linear oscillators with slow nonlinear oscillators. Finally, we prove that this integrator accurately preserves the slow energy exchange between the fast oscillatory components, which explains the numerical behavior observed for the Fermi--Pasta--Ulam problem.


Persistent Clustering and a Theorem of J. Kleinberg

Abstract: We construct a framework for studying clustering algorithms, which includes two key ideas: persistence and functoriality. The first encodes the idea that the output of a clustering scheme should carry a multiresolution structure, the second the idea that one should be able to compare the results of clustering algorithms as one varies the data set, for example by adding points or by applying functions to it. We show that within this framework, one can prove a theorem analogous to one of J. Kleinberg, in which one obtains an existence and uniqueness theorem instead of a non-existence result. We explore further properties of this unique scheme, stability and convergence are established.


Compact symmetric spaces, triangular factorization, and Cayley coordinates

Abstract: Let U/K represent a connected, compact symmetric space, where theta is an involution of U that fixes K, phi: U/K to U is the geodesic Cartan embedding, and G is the complexification of U. We investigate the intersection of phi(U/K) with the Bruhat decomposition of G corresponding to a theta-stable triangular, or LDU, factorization of the Lie algebra of G. When g in phi(U/K) is generic, the corresponding factorization g=ld(g)u is unique, where l in N^-, d(g) in H, and u in N^+. In this paper we present an explicit formula for d in Cayley coordinates, compute it in several types of symmetric spaces, and use it to identify representatives of the connected components of the generic part of phi(U/K). This formula calculates a moment map for a torus action on the highest dimensional symplectic leaves of the Evens-Lu Poisson structure on U/K.


Explicit multidimensional Ingham--Beurling type estimates

Abstract: Recently a new proof was given for Beurling's Ingham type theorem on one-dimensional nonharmonic Fourier series, providing explicit constants. We improve this result by applying a short elementary method instead of the previous complex analytical approach. Our proof equally works in the multidimensional case.


Cayley automaton semigroups

Abstract: In this paper we characterize when a Cayley automaton semigroup is a group, is trivial, is finite, is free, is a left zero semigroup, or is a right zero semigroup.


Uniform bounds for point cohomology of $\ell^1({\mathbb Z}_+)$ and related algebras

Abstract: It is well-known that the point cohomology of the convolution algebra $\ell^1({\mathbb Z}_+)$ vanishes in degrees 2 and above. We sharpen this result by obtaining splitting maps whose norms are bounded independently of the choice of point module. Our construction is a by-product of new estimates on projectivity constants of maximal ideals in $\ell^1({\mathbb Z}_+)$. Analogous results are obtained for some other $L^1$-algebras which arise from `rank one' subsemigroups of ${\mathbb R}_+$.


Superefficiency from the Vantage Point of Computability

Abstract: In 1952 Lucien Le Cam announced his celebrated result that, for regular univariate statistical models, sets of points of superefficiency have Lebesgue measure zero. After reviewing the turbulent history of early studies of superefficiency, I suggest using the notion of computability as a tool for exploring the phenomenon of superefficiency. It turns out that only computable parameter points can be points of superefficiency for computable estimators. This algorithmic version of Le Cam's result implies, in particular, that sets of points of superefficiency not only have Lebesgue measure zero but are even countable.


Deducing the multidimensional Szemeredi Theorem from an infinitary removal lemma

Abstract: We offer a new proof of the Furstenberg-Katznelson multiple recurrence theorem for several commuting probability-preserving transformations T_1, T_2, >..., T_d: \bbZ\curvearrowright (X,\S,\mu), and so, via the Furstenberg correspondence principle introduced in, a new proof of the multi-dimensional Szemeredi Theorem. We bypass the careful manipulation of certain towers of factors of a probability-preserving system that underlies the Furstenberg-Katznelson analysis, instead modifying an approach recently developed for the study of convergence of nonconventional ergodic averages to pass to a large extension of our original system in which this analysis greatly simplifies. The proof is then completed using an adaptation of arguments developed by Tao for his study of an infinitary analog of the hypergraph removal lemma. In a sense, this addresses the difficulty, highlighted by Tao, of establishing a direct connection between his infinitary, probabilistic approach to the hypergraph removal lemma and the infinitary, ergodic-theoretic approach to Szemeredi's Theorem set in motion by Furstenberg.


On the geometry of a class of invariant measures and a problem of Aldous

Abstract: In his 1985 survey of notions of exchangeability, Aldous introduced a form of exchangeability corresponding to the symmetries of the infinite discrete cube, and asked whether these exchangeable probability measures enjoy a representation theorem similar to those for exchangeable sequences, arrays and set-indexed families. In this note we to prove that, whereas the known representation theorems for different classes of partially exchangeable probability measure imply that the compact convex set of such measures is a Bauer simplex (that is, its subset of extreme points is closed), in the case of cube-exchangeability it is a copy of the Poulsen simplex (in which the extreme points are dense). This follows from the arguments used by Glasner and Weiss' for their characterization of property (T) in terms of the geometry of the simplex of invariant measures for associated generalized Bernoulli actions. The emergence of this Poulsen simplex suggests that, if a representation theorem for these processes is available at all, it must take a very different form from the case of set-indexed exchangeable families.


Descent Construction for Gspin Groups: Main Results and Applications

Abstract: The purpose of this note is to announce an extension of the descent method of Ginzburg, Rallis and Soudry to the setting of essentially self dual representations. This extension of the descent construction provides a complement to recent work of Asgari and Shahidi on the generic transfer for general Spin groups as well as to the work of Asgari and Raghuram on cuspidality of the exterior square lift for representations of GL4. Complete proofs of the results announced in the present note will appear in our forthcoming articles.


Lagrangian Grassmannian in Infinite Dimension

Abstract: Given a complex structure $J$ on a real (finite or infinite dimensional) Hilbert space $H$, we study the geometry of the Lagrangian Grassmannian $\Lambda(H)$ of $H$, i.e. the set of closed linear subspaces $L\subset H$ such that $$J(L)=L^\perp.$$ The complex unitary group $U(H_J)$, consisting of the elements of the orthogonal group of $H$ which are complex linear for the given complex structure, acts transitively on $\Lambda(H)$ and induces a natural linear connection in $\Lambda(H)$. It is shown that any pair of Lagrangian subspaces can be joined by a geodesic of this connection. A Finsler metric can also be introduced, if one regards subspaces $L$ as projections $p_L$ (=the orthogonal projection onto $L$) or symmetries $\e_L=2p_L-I$, namely measuring tangent vectors with the operator norm. We show that for this metric the Hopf-Rinow theorem is valid in $\Lambda(H)$: a geodesic joining a pair of Lagrangian subspaces can be chosen to be of minimal length. We extend these results to the classical Banach-Lie groups of Schatten.


Finsler geometry and actions of the p-Schatten unitary groups

Abstract: Let $p$ be an even positive integer and $U_p(H)$ be the Banach-Lie group of unitary operators $u$ which verify that $u-1$ belongs to the $p$-Schatten ideal $B_p(H)$. Let ${\cal O}$ be a smooth manifold on which $U_p(H)$ acts transitively and smoothly. Then one can endow ${\cal O}$ with a natural Finsler metric in terms of the $p$-Schatten norm and the action of $U_p(H)$. Our main result establishes that for any pair of given initial conditions $$ x\in {\cal O}\hbox{and} X\in (T{\cal O})_x $$ there exists a curve $\delta(t)=e^{tz}\cdot x$ in ${\cal O}$, with $z$ a skew-hermitian element in the $p$-Schatten class such that $$ \delta(0)=x \hbox{and} \dot{\delta}(0)=X, $$ which remains minimal as long as $t\|z\|_p\le \pi/4$. Moreover, $\delta$ is unique with these properties. We also show that the metric space $({\cal O},d)$ ($d=$ rectifiable distance) is complete. In the process we establish minimality results in the groups $U_p(H)$, and a convexity property for the rectifiable distance. As an example of these spaces, we treat the case of the unitary orbit $$ {\cal O}=\{uAu^*: u\in U_p(H)\} $$ of a self-adjoint operator $A\in B(H)$.


Norm Inequalities in Operator Ideals

Abstract: In this paper we introduce a new technique for proving norm inequalities in operator ideals with an unitarily invariant norm. Among the well known inequalities which can be proved with this technique are the L\"owner-Heinz inequality, inequalities relating various operator means and the Corach-Porta-Recht inequality. We prove two general inequalities and from them we derive several inequalities by specialization, many of them new. We also show how some inequalities, known to be valid for matrices or bounded operators, can be extended with this technique to normed ideals in $C^*$-algebras, in particular to the noncommutative $L^p$-spaces of a semi-finite von Neumann algebra.


On conformal biharmonic immersions

Abstract: This paper studies conformal biharmonic immersions. We first study the transformations of Jacobi operator and the bitension field under conformal change of metrics. We then obtain an invariant equation for a conformal biharmonic immersion of a surface into Euclidean 3-space. As applications, we construct a 2-parameter family of non-minimal conformal biharmonic immersions of cylinder into $\r^3$ and some examples of conformal biharmonic immersions of 4-dimensional Euclidean space into sphere and hyperbolic space thus provide many simple examples of proper biharmonic maps with rich geometric meanings. These suggest that there are abundant proper biharmonic maps in the family of conformal immersions. We also explore the relationship between biharmonicity and holomorphicity of conformal immersions of surfaces.


Duality Relation for the Hilbert Series of Almost Symmetric Numerical Semigroups

Abstract: We derive the duality relation for the Hilbert series H(d^m;z) of almost symmetric numerical semigroup S(d^m) combining it with its dual H(d^m;z^{-1}). On this basis we establish the bijection between the multiset of degrees of the syzygy terms and the multiset of the gaps F_j, generators d_i and their linear combinations. We present the relations for the sums of the Betti numbers of even and odd indices separately. We apply the duality relation to the simple case of the almost symmetric semigroups of maximal embedding dimension, and give the necessary and efficient conditions for minimal set d^m to generate such semigroups.


Markov paths, loops and fields

Abstract: This is an extended version of a series of lectures given in St Flour. It includes a discussion of relations between the occupation field of Markov loops with the corresponding free field.


Boundaries of systolic groups

Abstract: For all systolic groups we construct boundaries which are EZ--structures. This implies the Novikov conjecture for torsion--free systolic groups. The boundary is constructed via a system of distinguished geodesics in a systolic complex, which we prove to have coarsely similar properties to geodesics in CAT(0) spaces.


Boolean complexes for Ferrers graphs

Abstract: In this paper we provide an explicit formula for calculating the boolean number of a Ferrers graph. By previous work of the last two authors, this determines the homotopy type of the boolean complex of the graph. Specializing to staircase shapes, we show that the boolean numbers of the associated Ferrers graphs are the Genocchi numbers of the second kind, and obtain a relation between the Legendre-Stirling numbers and the Genocchi numbers of the second kind. In another application, we compute the boolean number of a complete bipartite graph, corresponding to a rectangular Ferrers shape, which is expressed in terms of the Stirling numbers of the second kind. Finally, we analyze the complexity of calculating the boolean number of a Ferrers graph using these results and show that it is a significant improvement over calculating by edge recursion.


The arithmetic-geometric scaling spectrum for continued fractions

Abstract: To compare continued fraction digits with the denominators of the corresponding approximants we introduce the arithmetic-geometric scaling. We will completely determine its multifractal spectrum by means of a number theoretical free energy function and show that the Hausdorff dimension of sets consisting of irrationals with the same scaling exponent coincides with the Legendre transform of this free energy function. Furthermore, we identify the asymptotic of the local behaviour of the spectrum at the right boundary point and discuss a connection to the set of irrationals with continued fraction digits exceeding a given number which tends to infinity.