On integral graphs which belong to the class\overline {\alpha K_a \cup \beta K_b }

LetG be a simple graph and let $\bar G$ denotes its complement. We say thatG is integral if its spectrum consists entirely of integers. If $\overline {\alpha K_a \cup \beta K_b } $ is integral we show that it belongs to the class of integral graphs $$\overline {[\frac{{kt}}{\tau }x_o + \frac{{mt}}{\tau }z]K(t + \ell n)k + \ell m \cup [\frac{{kt}}{\tau }y_o + \frac{{(t + \ell n)k + \ell m}}{\tau }z]nK\ell m,} $$ where (i) t, k, l, m, n ∈ ? such that (m, n) =1, (n, t) =1 and (l, t)=1; (ii) τ=((t+ln)k+lm, mt) such that τ| kt; (iii) (x₀, y₀) is aparticular solution of the linear Diophantine equation ((t+ln)k+lm)x-(mt)y=τ and (iv) z≥z₀ where z₀ is the least integer such that $(\frac{{kt}}{\tau }x_0 + \frac{{mt}}{\tau }z_0 ) \geqslant 1$ and $(\frac{{kt}}{\tau }y_0 + \frac{{(t + \ell n)k + \ell m}}{\tau }z_0 ) \geqslant 1$ .     

On Integral Graphs which Belong to the Class $\overline {\alpha K_{a,a,a}\cup \beta K_{b,b,b}}$

Let $G$ be a simple graph and let $\overline G$ denote its complement. We say that $G$ is integral if its spectrum consists entirely of integers. In this work we establish a characterization of integral graphs which belong to the class $\overline {\alpha K_{a,a,a} \cup\beta K_{b,b,b}}$, where $mG$ denotes the $m$-fold union of the graph $G$.     

Properties of singular integral operators $$\varvec{S}_{\varvec{\alpha ,\beta }}$$

For \(\alpha , \beta \in L^{\infty } (S^1),\) the singular integral operator \(S_{\alpha ,\beta }\) on \(L^2 (S^1)\) is defined by \(S_{\alpha ,\beta }f:= \alpha Pf+\beta Qf\), where P denotes the orthogonal projection of \(L^2(S^1)\) onto the Hardy space \(H^2(S^1),\) and Q denotes the orthogonal projection onto \(H^2(S^1)^{\perp }\). In a recent paper, Nakazi and Yamamoto have studied the normality and self-adjointness of \(S_{\alpha ,\beta }\). This work has shown that \(S_{\alpha ,\beta }\) may have analogous properties to that of the Toeplitz operator. In this paper, we study several other properties of \(S_{\alpha ,\beta }\).     

Extremal effective divisors on \overline{\mathcal M}_{1,n}

For every \(n\ge 3\) , we exhibit infinitely many extremal effective divisors on \(\overline{\mathcal M}_{1,n}\) , the Deligne-Mumford moduli space parameterizing stable genus one curves with \(n\) ordered marked points.     

Multiplicity one theorem for ({\rm GL}_{n+1}({\mathbb{R}}), {\rm GL} _ {n} ({ \mathbb{R}}))

Let F be either or . Consider the standard embedding and the action of GL_n(F) on GL_n+1(F) by conjugation. We show that any GL_n(F)-invariant distribution on GL_n+1(F) is invariant with respect to transposition. We prove that this implies that for any irreducible admissible smooth Fréchet representations π of GL_n+1(F) and of GL_n(F),

Navigating in the Cayley Graphs of {\rm SL}_{N}(\mathbb{Z}) and {\rm SL}_{N}(\mathbb{F}_{p})

We give a nondeterministic algorithm that expresses elements of , for N ≥ 3, as words in a finite set of generators, with the length of these words at most a constant times the word metric. We show that the nondeterministic time-complexity of the subtractive version of Euclid’s algorithm for finding the greatest common divisor of N ≥ 3 integers a₁, ..., a_N is at most a constant times . This leads to an elementary proof that for N ≥ 3 the word metric in is biLipschitz equivalent to the logarithm of the matrix norm – an instance of a theorem of Mozes, Lubotzky and Raghunathan. And we show constructively that there exists K>0 such that for all N ≥ 3 and primes p, the diameter of the Cayley graph of with respect to the generating set is at most .Mathematics Subject Classification: 20F05     

On the continuity of \text{ SLE }_{\kappa } in \kappa

We prove that for almost every Brownian motion sample, the corresponding SLE \(_\kappa \) curves parameterized by capacity exist and change continuously in the supremum norm when \(\kappa \) varies in the interval \([0,\kappa _0)\) , where \(\kappa _0=8(2-\sqrt{3})\approx 2.1\) . We estimate the \(\kappa \) -dependent modulus of continuity of the curves and also give an estimate on the modulus of continuity for the supremum norm change with \(\kappa \) .     

The Gorenstein conjecture fails for the tautological ring of \mathcal{\overline{M}}_{2,n}

We prove that for N equal to at least one of the integers 8, 12, 16, 20 the tautological ring $R^{\bullet}(\overline {\mathcal {M}}_{2,N})$ is not Gorenstein. In fact, our N equals the smallest integer such that there is a non-tautological cohomology class of even degree on $\overline {\mathcal {M}}_{2,N}$ . By work of Graber and Pandharipande, such a class exists on $\overline {\mathcal {M}}_{2,20}$ , and we present some evidence indicating that N is in fact 20.     

Effect of a random real on\kappa \to \left( {\kappa ,{\text{ }}\left( {_{\omega _1 }^\alpha } \right)} \right)^2

It is consistent that $\kappa \to (\kappa ,{\text{ }}\left( {_{\omega _1 }^\alpha } \right))^2 $ holds in the random extension.     

A Version of the {\cal G} \rm{-conditional Bipolar Theorem in} {L^0 (\mathbb{R}^{d}_{+};\Omega}, {\cal F},\mathbb{P})

Motivated by applications in financial mathematics, Ref. 3 showed that, although fails to be locally convex, an analogue to the classical bipolar theorem can be obtained for subsets of : if we place this space in polarity with itself, the bipolar of a set of non-negative random variables is equal to its closed (in probability), solid, convex hull. This result was extended by Ref. 1 in the multidimensional case, replacing by a closed convex cone K of [0, )^d, and by Ref. 12 who provided a conditional version in the unidimensional case. In this paper, we show that the conditional bipolar theorem of Ref. 12 can be extended to the multidimensional case. Using a decomposition result obtained in Ref. 3 and Ref. 1, we also remove the boundedness assumption of Ref. 12 in the one dimensional case and provide less restrictive assumptions in the multidimensional case. These assumptions are completely removed in the case of polyhedral cones K.     

Moduli Spaces of Stable Polygons and Symplectic Structures on\overline {\mathcal{M}} _{0,n}

In this paper, certain natural and elementary polygonal objects in Euclidean space, the stable polygons, are introduced, and the novel moduli spaces of stable polygons are constructed as complex analytic spaces. Quite unexpectedly, these new moduli spaces are shown to be projective and isomorphic to the moduli space of the Deligne–Mumford stable curves of genus 0. Further, built into the structures of stable polygons are some natural data giving rise to a family of (classes of) symplectic (Kähler) forms. This, via the link to , brings up a new tool to study the Kähler topology of . A wild but precise conjecture on the shape of the Kähler cone of is given in the end.     

On the \partial\overline{\partial}-Lemma and Bott-Chern cohomology

On a compact complex manifold X, we prove a Frölicher-type inequality for Bott-Chern cohomology and we show that the equality holds if and only if X satisfies the $\partial\overline{\partial}$ -Lemma.     

The dual complex of {\overline{M}_{0,n}} via phylogenetics

The moduli space \({\overline{M}_{0,n}}\) of stable rational n-pointed curves has divisorial boundary with simple normal crossings. In this brief note I observe that the dual complex is a flag complex; that is, a collection of boundary divisors has nonempty intersection if and only if the pairwise intersections are nonempty. Rather than proving this directly, I translate the statement to a setting in phylogenetics, where it is widely used and multiple explicit proofs have been written. It appears that this result is known by experts but lacks a detailed reference in the literature, except recently for n = 7.     

The Idempotents of the TL n -Module {\otimes^{n}\mathbb{C}2} in Terms of Elements of {{\rm U}_{q} \mathfrak{sl}_2}

The vector space \({\otimes^{n}\mathbb{C}^2}\) upon which the XXZ Hamiltonian with n spins acts bears the structure of a module over both the Temperley–Lieb algebra \({{\rm TL}_{n}(\beta = q + q^{-1})}\) and the quantum algebra \({{\rm U}_{q} \mathfrak{sl}_2}\) . The decomposition of \({\otimes^{n}\mathbb{C}^2}\) as a \({{\rm U}_{q} \mathfrak{sl}_2}\) -module was first described by Rosso (Commun Math Phys 117:581–593, 1988), Lusztig (Cont Math 82:58–77, 1989) and Pasquier and Saleur (Nucl Phys B 330:523–556, 1990) and that as a TL _n -module by Martin (Int J Mod Phys A 7:645–673, 1992) (see also Read and Saleur Nucl Phys B 777(3):316–351, 2007; Gainutdinov and Vasseur Nucl Phys B 868:223–270, 2013). For q generic, i.e. not a root of unity, the TL _n -module \({\otimes^{n}\mathbb{C}^2}\) is known to be a sum of irreducible modules. We construct the projectors (idempotents of the algebra of endomorphisms of \({\otimes^{n}\mathbb{C}^2}\) ) onto each of these irreducible modules as linear combinations of elements of \({{\rm U}_{q} \mathfrak{sl}_2}\) . When q = q _c is a root of unity, the TL _n -module \({\otimes^{n}\mathbb{C}^2}\) (with n large enough) can be written as a direct sum of indecomposable modules that are not all irreducible. We also give the idempotents projecting onto these indecomposable modules. Their expression now involves some new generators, whose action on \({\otimes^{n}\mathbb{C}^2}\) is that of the divided powers \({(S^{\pm})^{(r)} = \lim_{q \rightarrow q_{c}} (S^{\pm})^r/[r]!}\) .     

Notes on the partition property of {\mathcal{P}_\kappa\lambda}

We investigate the partition property of ${\mathcal{P}_{\kappa}\lambda}$ . Main results of this paper are as follows: (1) If λ is the least cardinal greater than κ such that ${\mathcal{P}_{\kappa}\lambda}$ carries a (λ ^κ , 2)-distributive normal ideal without the partition property, then λ is ${\Pi^1_n}$ -indescribable for all n?<?ω but not ${\Pi^2_1}$ -indescribable. (2) If cf(λ) ≥?κ, then every ineffable subset of ${\mathcal{P}_{\kappa}\lambda}$ has the partition property. (3) If cf(λ) ≥ κ, then the completely ineffable ideal over ${\mathcal{P}_{\kappa}\lambda}$ has the partition property.     

NONVANISHING OF CONFORMAL BLOCKS DIVISORS ON $$ {\overline{\mathrm{M}}}_{0,n} $$

We introduce and study the problem of finding necessary and sufficient conditions under which a conformal blocks divisor on \( {\overline{\mathrm{M}}}_{0,n} \) is nonzero, solving the problem completely for \( \mathfrak{s}{\mathfrak{l}}_2 \). We give necessary nonvanishing conditions in type A, which are sufficient when theta and critical levels coincide. We also show divisors are subject to additive identities, reflecting a decomposition of the weights and level.     

Scaling of conformal blocks and generalized theta functions over $$\overline{\mathcal {M}}_{g,n}$$

By way of intersection theory on \(\overline{\mathcal {M}}_{g,n}\), we show that geometric interpretations for conformal blocks, as sections of ample line bundles over projective varieties, do not have to hold at points on the boundary. We show such a translation would imply certain recursion relations for first Chern classes of these bundles. While recursions can fail, geometric interpretations are shown to hold under certain conditions.