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.     

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.     

The rational cohomology of $${\overline{\mathcal{M}_4}}$$

We present two approaches to the study of the cohomology of moduli spaces of curves. Together, they allow us to compute the rational cohomology of the moduli space of stable complex curves of genus 4, with its Hodge structure.     

Finite rank operators in Jacobson radical \mathcal{R}_{\mathcal{N} \otimes \mathcal{M}}

In this paper we investigate finite rank operators in the Jacobson radical of Alg( ), where are nests. Based on the concrete characterizations of rank one operators in Alg( ) and , we obtain that each finite rank operator in can be written as a finite sum of rank one operators in and the weak closure of equals Alg( ) if and only if at least one of is continuous.     

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.     

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 universal difference variety over \overline{\mathcal{M }}_g

We determine the Kodaira dimension of the Deligne–Mumford compactification \(\overline{\mathfrak{Diff }}_g\) of the universal difference variety over the moduli space of curves.     

{\mathcal{F}}_\phi and {\mathcal{F}}_g Classes

In this paper we give a generalization of the Zhao F(p, q, s)-spaces by using operators instead of functions. In this way we unify and simplify several important results about the classic spaces D_p, Q_p{\mathcal{Q}}_{p} ,B^α, etc.     

A Construction of Partial Difference Sets in {\mathbb{Z}}_{p^{2 \times } } {\mathbb{Z}}_{p^{2 \times \cdot \cdot \cdot \times } } {\mathbb{Z}}_{p^2 }

In this paper, we give a construction of partial difference sets in _p ² x _p ² x ... x _p ²using some finite local rings.Dedicated to Hanfried Lenz on the occasion of his 80th birthdayThe work of this paper was done when the authors visited the University of Hong Kong.     

On S n -invariant conformal blocks vector bundles of rank one on {\overline{M}_{0,n}}

For any simple Lie algebra, a positive integer, and n-tuple of compatible weights, the conformal blocks bundle is a globally generated vector bundle on the moduli space of pointed rational curves. We classify all vector bundles of conformal blocks for \({\mathfrak{sl}_n}\), with S _n -invariant weights, which have rank one. We show that the cone generated by their base point free first Chern classes is polyhedral, generated by level one divisors.     

Unirationality of the Hurwitz space $$\varvec{\mathcal {H}_{9,8}}$$

In this paper we prove that the Hurwitz space \(\mathcal {H}_{9,8}\), which parameterizes 8-sheeted covers of \({\mathbb P }^1\) by curves of genus 9, is unirational. Our construction leads to an explicit Macaulay2 code, which will randomly produce a nodal curve of degree 8 of geometric genus 9 with 12 double points and together with a pencil of degree 8.     

{\boldsymbol(}\boldsymbol{\mathcal{Z}}_{\bf 1}, \boldsymbol{\mathcal{Z}}_{\bf 2}{\boldsymbol)}-Complete Partially Ordered Sets and Their Representations by \boldsymbol{\mathcal{Q}}-Spaces

The present paper proposes a general theory for $\left( \mathcal{Z}_{1}, \mathcal{Z}_{2}\right) $ -complete partially ordered sets (alias $\mathcal{Z} _{1}$ -join complete and $\mathcal{Z}_{2}$ -meet complete partially ordered sets) and their Stone-like representations. It is shown that for suitably chosen subset selections $\mathcal{Z}_{i}$ (i?=?1,...,4) and $\mathcal{Q} =\left( \mathcal{Z}_{1},\mathcal{Z}_{2},\mathcal{Z}_{3},\mathcal{Z} _{4}\right) $ , the category $\mathcal{Q}$ P of $\left( \mathcal{Z}_{1},\mathcal{Z}_{2}\right) $ -complete partially ordered sets and $\left( \mathcal{Z}_{3},\mathcal{Z}_{4}\right) $ -continuous (alias $\mathcal{ Z}_{3}$ -join preserving and $\mathcal{Z}_{4}$ -meet preserving) functions forms a useful categorical framework for various order-theoretical constructs, and has a close connection with the category $\mathcal{Q}$ S of $\mathcal{Q}$ -spaces which are generalizations of topological spaces involving subset selections. In particular, this connection turns into a dual equivalence between the full subcategory $ \mathcal{Q}$ P _s of $\mathcal{Q}$ P of all $\mathcal{Q}$ -spatial objects and the full subcategory $\mathcal{Q}$ S _s of $\mathcal{Q}$ S of all $\mathcal{Q}$ -sober objects. Here $\mathcal{Q}$ -spatiality and $\mathcal{Q}$ -sobriety extend usual notions of spatiality of locales and sobriety of topological spaces to the present approach, and their relations to $\mathcal{Z}$ -compact generation and $\mathcal{Z}$ -sobriety have also been pointed out in this paper.     

Effective divisors on {\overline{\mathcal{M}}_g} associated to curves with exceptional secant planes

This article is a sequel to Cotterill (Math Zeit 267(3):549–582, 2011), in which the author studies secant planes to linear series on a curve that is general in moduli. In that paper, the author proves that a general curve has no linear series with exceptional secant planes, in a very precise sense. Consequently, it makes sense to study effective divisors on ${\overline{\mathcal{M}}_g}$ associated to curves equipped with secant-exceptional linear series. Here we describe a strategy for computing the classes of those divisors. We pay special attention to the extremal case of (2d ? 1)-dimensional series with d-secant (d ? 2)-planes, which appears in the study of Hilbert schemes of points on surfaces. In that case, modulo a combinatorial conjecture, we obtain hypergeometric expressions for tautological coefficients that enable us to deduce the asymptotics in d of our divisors’ virtual slopes.     

Towards a classification of modular compactifications of \mathcal {M}_{g,n}

The moduli space of smooth curves admits a beautiful compactification $\mathcal{M}_{g,n} \subset \overline{\mathcal{M}}_{g,n}$ by the moduli space of stable curves. In this paper, we undertake a systematic classification of alternate modular compactifications of $\mathcal{M}_{g,n}$ . Let $\mathcal{U}_{g,n}$ be the (non-separated) moduli stack of all n-pointed reduced, connected, complete, one-dimensional schemes of arithmetic genus g. When g=0, $\mathcal{U}_{0,n}$ is irreducible and we classify all open proper substacks of $\mathcal{U}_{0,n}$ . When g≥1, $\mathcal{U}_{g,n}$ may not be irreducible, but there is a unique irreducible component $\mathcal{V}_{g,n} \subset\mathcal{U}_{g,n}$ containing $\mathcal{M}_{g,n}$ . We classify open proper substacks of $\mathcal {V}_{g,n}$ satisfying a certain stability condition.     

The exact order of\sum\nolimits_{k = 1}^{\text{n}} {|{\text{x - x}}_{\text{k}} } |^8 |{\text{l}}_{\text{k}} ({\text{x)|}}^{\text{t}}

In this paper we give the exact order of \(\sum\nolimits_{k = 1}^{\text{n}} {|{\text{x - x}}_{\text{k}} } |^5 .\) for any fixed nonnegative integers s and t, which is n^?s, n^?s lnn and n^1?t for s≤t?2, s=t?1 and s≥t, respectively.     

Monotone hulls for {\mathcal {N}}\cap {\mathcal {M}}

Using the method of decisive creatures [see Kellner and Shelah (J Symb Log 74:73–104, 2009)] we show the consistency of “there is no increasing \(\omega _2\) –chain of Borel sets and \(\mathrm{non}({\mathcal N})= \mathrm{non}({\mathcal M})=\mathrm{non}({\mathcal N}\cap {\mathcal M})=\omega _2=2^\omega \) ”. Hence, consistently, there are no monotone Borel hulls for the ideal \({\mathcal M}\cap {\mathcal N}\) . This answers Balcerzak and Filipczak (Math Log Q 57:186–193, 2011 [Questions 23, 24]). Next we use finite support iteration of ccc forcing notions to show that there may be monotone Borel hulls for the ideals \({\mathcal M},{\mathcal N}\) even if they are not generated by towers.     

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.     

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.     

The reducible Specht modules for the Hecke algebra \mathcal{H}_{\mathbb{C},{-}1}(\mathfrak{S}_{n})

The reducible Specht modules for the Hecke algebra $\mathcal {H}_{\mathbb{F},q}(\mathfrak{S}_{n})$ have been classified except when q=?1. We prove one half of a conjecture which we believe classifies the reducible Specht modules when q=?1.     

The action of S n on the cohomology of \overline{M}_{0,n}(\mathbb{R})

In recent work by Etingof, Henriques, Kamnitzer, and the author, a presentation and explicit basis was given for the rational cohomology of the real locus of the moduli space of stable genus 0 curves with n marked points. We determine the graded character of the action of S_n on this space (induced by permutations of the marked points), both in the form of a plethystic formula for the cycle index, and as an explicit product formula for the value of the character on a given cycle type.