Search

Given Y a non-compact manifold or orbifold, we define a natural subspace of the cohomology of Y called the narrow cohomology. We show that despite Y being non-compact, there is a well-defined and non-degenerate pairing on this subspace. The narrow cohomology proves useful for the study of genus zero Gromov-Witten theory. When Y is a smooth complex variety or Deligne-Mumford stack, one can define a quantum D-module on the narrow cohomology of Y. This yields a new formulation of quantum Serre duality.

Consider the strong subordination of a multivariate Lévy process with a multivariate subordinator. If the subordinate is a stack of independent Lévy processes and the components of the subordinator are indistinguishable within each stack, then strong subordination produces a Lévy process; otherwise it may not. Weak subordination was introduced to extend strong subordination, always producing a Lévy process even when strong subordination does not. Here we prove that strong and weak subordination are equal in law under the aforementioned condition. In addition, we prove that if strong subordination is a Lévy process then it is necessarily equal in law to weak subordination in two cases: firstly when the subordinator is deterministic, and secondly when it is pure-jump with finite activity.

We construct a complex analytic version of an equivariant cohomology theory which appeared in a paper of Rezk, and which is roughly modelled on the Borel-equivariant cohomology of the double free loop space. The construction is defined on finite, torus-equivariant CW complexes and takes values in coherent holomorphic sheaves over the moduli stack of complex elliptic curves. Our methods involve an inverse limit construction over all finite-dimensional subcomplexes of the double free loop space, following an analogous construction of Kitchloo for single free loop spaces. We show that, for any given complex elliptic curve $\mathcal {C}$, the fiber of our construction over $\mathcal {C}$ is isomorphic to Grojnowski's equivariant elliptic cohomology theory associated to $\mathcal {C}$.

Let $\mathcal{KC}_g ^k$ be the moduli stack of pairs $(S,C)$ with $S$ a $K3$ surface and $C\subset S$ a genus $g$ curve with divisibility $k$ in $\mathrm{Pic}(S)$. In this article we study the forgetful map $c_g^k:(S,C) \mapsto C$ from $\mathcal{KC}_g ^k$ to $\mathcal{M}_g$ for $k>1$. First we compute by geometric means the dimension of its general fibre. This turns out to be interesting only when $S$ is a complete intersection or a section of a Mukai variety. In the former case we find the existence of interesting Fano varieties extending $C$ in its canonical embedding. In the latter case this is related to delicate modular properties of the Mukai varieties. Next we investigate whether $c_g^k$ dominates the locus in $\mathcal{M}_g$ of $k$-spin curves with the appropriate number of independent sections. We are able to do this only when $S$ is a complete intersection, and obtain in these cases some classification results for spin curves., v2: post-final version. Various enhancements in Sec.4 (including new subsection 4.4 on maximal variation) that will not appear in the published version, to appear in Boll. Unione Mat. Ital

We study the Hitchin map for Gℝ-Higgs bundles on a smooth curve, where Gℝ is a quasi-split real form of a complex reductive algebraic group G. By looking at the moduli stack of regular Gℝ-Higgs bundles, we prove that it induces a banded gerbe structure on a slightly larger stack, whose band is given by sheaves of tori. This characterization yields a cocyclic description of the fibres of the corresponding Hitchin map by means of cameral data. According to this, fibres of the Hitchin map are categories of principal torus bundles on the cameral cover. The corresponding points inside the stack of G-Higgs bundles are contained in the substack of points fixed by an involution induced by the Cartan involution of Gℝ. We determine this substack of fixed points and prove that stable points are in correspondence with stable Gℝ-Higgs bundles.

Let X be a compact connected Riemann surface of genus g, with $$g\, \ge \, 2$$ , and let $${\text {G}}$$ be a connected semisimple affine algebraic group defined over $${\mathbb {C}}$$ . Given any $$\delta \, \in \, \pi _1({\text {G}})$$ , we prove that the moduli space of semistable principal $${\text {G}}$$ -bundles over X of topological type $$\delta $$ is simply connected. More generally, if $${\text {G}}$$ is a connected reductive complex affine algebraic group, then the fundamental group of the moduli space is isomorphic to $${\mathbb Z}^{2gd}$$ , where d is the complex dimension of the center of $${\text {G}}$$ . In contrast, the fundamental group of the moduli stack of principal $${\text {G}}$$ -bundles over X of topological type $$\delta $$ is shown to be isomorphic to $$H^1(X,\, \pi _1({\text {G}}))$$ , when $${\text {G}}$$ is semisimple. We also compute the fundamental group of the moduli stack of principal $${\text {G}}$$ -bundles when $${\text {G}}$$ is reductive.

Given a smooth projective variety $X$ and a smooth divisor $D\subset X$. We study relative Gromov-Witten invariants of $(X,D)$ and the corresponding orbifold Gromov-Witten invariants of the $r$-th root stack $X_{D,r}$. For sufficiently large $r$, we prove that orbifold Gromov-Witten invariants of $X_{D,r}$ are polynomials in $r$. Moreover, higher genus relative Gromov-Witten invariants of $(X,D)$ are exactly the constant terms of the corresponding higher genus orbifold Gromov-Witten invariants of $X_{D,r}$. We also provide a new proof for the equality between genus zero relative and orbifold Gromov-Witten invariants, originally proved by Abramovich-Cadman-Wise \cite{ACW}. When $r$ is sufficiently large and $X=C$ is a curve, we prove that stationary relative invariants of $C$ are equal to the stationary orbifold invariants in all genera., 29 pages. Revised according to referees' suggestions. Including results from arXiv:1804.09905 on target curves. To appear in Geometry & Topology

In this paper, we show that the numbers of t-stack sortable n-permutations with k − 1 descents satisfy central and local limit theorems for t = 1, 2, n − 1 and n − 2. This result, in particular, gives an affirmative answer to Shapiro's question about the asymptotic normality of the Narayana numbers.

We explicitly describe the KSBA/Hacking compactification of a moduli space of log surfaces of Picard rank 2. The space parametrizes log pairs $(S, D)$ where $S$ is a degeneration of $\mathbb{P}^1 \times \mathbb{P}^1$ and $D \subset S$ is a degeneration of a curve of class $(3,3)$. We prove that the compactified moduli space is a smooth Deligne--Mumford stack with 4 boundary components. We relate it to the moduli space of genus 4 curves; we show that it compactifies the blow-up of the hyperelliptic locus. We also relate it to a compactification of the Hurwitz space of triple coverings of $\mathbb{P}^1$ by genus 4 curves., 49 pages, 9 figures. Added more details and improved the introduction. To appear in Transactions of the American Mathematical Society

We define and study the motive of the moduli stack of vector bundles of fixed rank and degree over a smooth projective curve in Voevodsky's category of motives. We prove that this motive can be written as a homotopy colimit of motives of smooth projective Quot schemes of torsion quotients of sums of line bundles on the curve. When working with rational coefficients, we prove that the motive of the stack of bundles lies in the localising tensor subcategory generated by the motive of the curve, using Bialynicki-Birula decompositions of these Quot schemes. We conjecture a formula for the motive of this stack, and we prove this conjecture modulo a conjecture on the intersection theory of the Quot schemes., 32 pages. We have moved the section on Bialynicki-Birula decompositions (Section 3 in v1) to another joint paper entitled 'On the Voevodsky motive of the moduli space of Higgs bundles on a curve'

Given a strict simple degeneration $f \colon X\to C$ the first three authors previously constructed a degeneration $I^n_{X/C} \to C$ of the relative degree $n$ Hilbert scheme of $0$-dimensional subschemes. In this paper we investigate the geometry of this degeneration, in particular when the fibre dimension of $f$ is at most $2$. In this case we show that $I^n_{X/C} \to C$ is a dlt model. This is even a good minimal dlt model if $f \colon X \to C$ has this property. We compute the dual complex of the central fibre $(I^n_{X/C})_0$ and relate this to the essential skeleton of the generic fibre. For a type II degeneration of $K3$ surfaces we show that the stack ${\mathcal I}^n_{X/C} \to C$ carries a nowhere degenerate relative logarithmic $2$-form. Finally we discuss the relationship of our degeneration with the constructions of Nagai., Comment: 53 pages. To appear in J. Algebraic Geom

We study projective structures on a surface having poles of prescribed orders. We obtain a monodromy map from a complex manifold parameterising such structures to the stack of framed $\mathrm{PGL}_2(\mathbb{C})$ local systems on the associated marked bordered surface. We prove that the image of this map is contained in the union of the domains of the cluster charts. We discuss a number of open questions concerning this monodromy map., Comment: 54 pages. Version 2: Incorporated suggestions from referee

We give an algebraic analog of the functional equation of Riemann's theta function. More precisely, we define a `theta multiplier' line bundle over the moduli stack of principally polarized abelian schemes with theta characteristic and prove that its dual is isomorphic to the determinant bundle over the moduli stack. We do so by explicitly computing with Picard groups over the moduli stack. This is all done over the ring R=Z[1/2,i]: passing to the complex numbers, we recover the classical functional equation.

The purpose of the present paper is to develop the theory of (pre-)Tango structures and (dormant generic) Miura $\mathfrak{g}$-opers (for a semisimple Lie algebra $\mathfrak{g}$) defined on pointed stable curves in positive characteristic. A (pre-)Tango structure is a certain line bundle of an algebraic curve in positive characteristic, which gives some pathological (relative to zero characteristic) phenomena. In the present paper, we construct the moduli spaces of (pre-)Tango structures and (dormant generic) Miura $\mathfrak{g}$-opers respectively, and prove certain properties of them. One of the main results of the present paper states that there exists a bijective correspondence between the (pre-)Tango structures (of prescribed monodromy) and the dormant generic Miura $\mathfrak{s} \mathfrak{l}_2$-opers (of prescribed exponent). By means of this correspondence, we achieve a detailed understanding of the moduli stack of (pre-)Tango structures. As an application, we construct a family of algebraic surfaces in positive characteristic parametrized by a higher dimensional base space whose fibers are pairwise non-isomorphic and violate the Kodaira vanishing theorem., 74 pages, revised version

This paper investigates the geometry of canonically polarized surfaces defined over a field of positive characteristic which have a nontrivial global vector field, and the implications that the existence of such surfaces has in the moduli problem of canonically polarized surfaces. In particular, an explicit integer valued function f(x) is obtained with the following properties. If X is a canonically polarized surface with canonical singularities defined over an algebraically closed field of characteristic p>0 such that p>f(K_X^2) and X has a nontrivial global vector field, then X is unirational and the algebraic fundamental group is trivial. As a consequence of this result, large classes of canonically polarized surfaces are identified whose moduli stack is Deligne-Mumford, a property that does not hold in general in positive characteristic. This paper is mathematically identical to the previous version. The reason that the paper is replaced is in order to point out that this paper is a generalization to the case of singular surfaces with canonical singularities of the paper "Vector fields and moduli of canonically polarized surfaces in positive characteristic" with reference arXiv:1710.03076 which treated only the case of smooth surfaces. The results of this paper supercede the results of the aforementioned paper making it obsolete., This paper is a generalization to the case of singular surfaces with canonical singularities of the paper "Vector fields and moduli of canonically polarized surfaces in positive characteristic" with reference arXiv:1710.03076 which treated only the case of smooth surfaces. The results of this paper supercede the results of the aforementioned paper making it obsolete. 46 pages

For a gerbe $\mathcal{Y}$ over a smooth proper Deligne–Mumford stack $\mathcal{B}$ banded by a finite group $G$, we prove a structure result on the Gromov–Witten theory of $\mathcal{Y}$, expressing Gromov–Witten invariants of $\mathcal{Y}$ in terms of Gromov–Witten invariants of $\mathcal{B}$ twisted by various flat $U(1)$‑gerbes on $\mathcal{B}$. This can be viewed as a Leray–Hirsch type of result for Gromov–Witten theory of gerbes.

We establish an algebraic approach to prove the properness of moduli spaces of K-polystable Fano varieties and reduce the problem to a conjecture on destabilizations of K-unstable Fano varieties. Specifically, we prove that if the stability threshold of every K-unstable Fano variety is computed by a divisorial valuation, then such K-moduli spaces are proper. The argument relies on studying certain optimal destabilizing test configurations and constructing a $$\Theta $$ -stratification on the moduli stack of Fano varieties.

We study in this article the dual of a (strictly) commutative group stack $G$ and give some applications. Using the Picard functor and the Picard stack of $G$, we first give some sufficient conditions for $G$ to be dualizable. Then, for an algebraic stack $X$ with suitable assumptions, we define an Albanese morphism $a_X : X\to A^1(X)$ where $A^1(X)$ is a torsor under the dual commutative group stack $A^0(X)$ of $Pic_{X/S}$. We prove that $a_X$ satisfies a natural universal property. We give two applications of our Albanese morphism. On the one hand, we give a geometric description of the elementary obstruction and of universal torsors (standard tools in the study of rational varieties over number fields). On the other hand we give some examples of algebraic stacks that satisfy Grothendieck's section conjecture., 40 pages. Final version, including the comments of the referees. To appear in IMRN

First the Griffiths line bundle of a $\mathbf Q$-VHS $\mathscr V$ is generalized to a Griffiths character ${\rm grif}(\mathbf G, \mu,r)$ associated to any triple $(\mathbf G, \mu, r)$, where $\mathbf G$ is a connected reductive group over an arbitrary field $F$, $\mu \in X_*(\mathbf G)$ is a cocharacter (over $\overline{F}$) and $r:\mathbf G \to GL(V)$ is an $F$-representation; the classical bundle studied by Griffiths is recovered by taking $F=\mathbf Q$, $\mathbf G$ the Mumford-Tate group of $\mathscr V$, $r:\mathbf G \to GL(V)$ the tautological representation afforded by a very general fiber and pulling back along the period map the line bundle associated to ${\rm grif}(\mathbf G, \mu, r)$. The more general setting also gives rise to the Griffiths bundle in the analogous situation in characteristic $p$ given by a scheme mapping to a stack of $\mathbf G$-Zips. When $\mathbf G$ is $F$-simple, we show that, up to positive multiples, the Griffiths character ${\rm grif}(\mathbf G,\mu,r)$ (and thus also the Griffiths line bundle) is essentially independent of $r$ with central kernel, and up to some identifications is given explicitly by $-\mu$. As an application, we show that the Griffiths line bundle of a projective $\mathbf G{\rm -Zip}^{\mu}$-scheme is nef., Comment: Math. Ann., to appear

We find a new presentation of the stack of hyperelliptic curves of odd genus as a quotient stack and we use it to compute its integral Chow ring by means of equivariant intersection theory., Comment: 27 pages, published on Int. Math. Res. Not

We prove that the Brauer group of the moduli stack of elliptic curves M 1 , 1 , k over an algebraically closed field k of characteristic 2 is isomorphic to Z / ( 2 ) . We also compute the Brauer group of M 1 , 1 , k where k is a finite field of characteristic 2.

Degree one twisting of Deligne cohomology, as a differential refinement of integral cohomology, was established in previous work. Here we consider higher degree twists. The Rham complex, hence de Rham cohomology, admits twists of any odd degree. However, in order to consider twists of integral cohomology we need a periodic version. Combining the periodic versions of both ingredients leads us to introduce a periodic form of Deligne cohomology. We demonstrate that this theory indeed admits a twist by a gerbe of any odd degree. We present the main properties of the new theory and illustrate its use with examples and computations, mainly via a corresponding twisted differential Atiyah-Hirzebruch spectral sequence., 25 pages, paragraph added to introduction, references added

We compute the cohomological invariants of $\mathcal{H}_g$, the moduli stack of smooth hyperelliptic curves, for every odd $g$., Comment: 42 pages, we added an introduction to Rost's theory of Chow groups with coefficients and to equivariant intersection theory. To appear in Transformation Groups

We show that the canonical bundle of the Hurwitz stack classifying covers of genus g>1 and degree k>2 of the projective line is big. We show that all coarse moduli spaces of trigonal curves of genus g>1 are of general type., 16 pages. Final version, to appear in a special issue of Mathematische Zeitschrift in honor of Olivier Debarre

We consider certain decision problems for the free model of the theory of Cartesian monoids. We introduce a model of computation based on the notion of a single stack one-way PDA due to Ginsburg, Greibach and Harrison. This model allows us to solve problems such as (1) Given a finite set B of elements and an element F, is F a product of members of B? (2) Is the submonoid generated by the finite set B infinite? for certain fragments of the free Cartesian monoid. These fragments include the submonoid of right invertible elements and so our results apply to the Thompson-Higman groups., In Proceedings ACT 2020, arXiv:2101.07888

In arXiv:2011.08830 we established a series of correspondences relating five enumerative theories of log Calabi-Yau surfaces, i.e. pairs $(Y,D)$ with $Y$ a smooth projective complex surface and $D=D_1+\dots +D_l$ an anticanonical divisor on $Y$ with each $D_i$ smooth and nef. In this paper we explore the generalisation to $Y$ being a smooth Deligne-Mumford stack with projective coarse moduli space of dimension 2, and $D_i$ nef $\mathbb{Q}$-Cartier divisors. We consider in particular three infinite families of orbifold log Calabi-Yau surfaces, and for each of them we provide closed form solutions of the maximal contact log Gromov-Witten theory of the pair $(Y,D)$, the local Gromov-Witten theory of the total space of $\bigoplus_i \mathcal{O}_Y(-D_i)$, and the open Gromov-Witten theory of toric orbi-branes in a Calabi-Yau 3-orbifold associated to $(Y,D)$. We also consider new examples of BPS integral structures underlying these invariants, and relate them to the Donaldson-Thomas theory of a symmetric quiver specified by $(Y,D)$, and to a class of open/closed BPS invariants., Comment: 26 pages, 11 figures. v2: typos fixed, minor changes, version accepted for the Boris Dubrovin Memorial Issue of LMP

For a connected reductive group $G$ over a finite field, we study automorphic vector bundles on the stack of $G$-zips. In particular, we give a formula in the general case for the space of global sections of an automorphic vector bundle in terms of the Brylinski--Kostant filtration. Moreover, we give an equivalence of categories between the category of automorphic vector bundles on the stack of $G$-zips and a category of admissible modules with actions of a zero-dimensional algebraic subgroup a Levi subgroup and monodromy operators., Comment: 33 pages

There is no formula for general t-stack sortable permutations. Thus, we attempt to study them by establishing lower and upper bounds. Permutations that avoid certain pattern sets provide natural lower bounds. This paper presents a recurrence relation that counts the number of permutations that avoid the set (23451,24351,32451,34251,42351,43251). This establishes a lower bound on 3-stack sortable permutations. Additionally, the proof generalizes to provide lower bounds for all t-stack sortable permutations.

We construct a map from the prestack of Tate objects over a commutative ring $k$ to the stack of $\mathbb{G}_{\rm m}$-gerbes. The result is obtained by combining the determinant map from the stack of perfect complexes as proposed by Sch\"urg-To\"en-Vezzosi with a relative $S_{\bullet}$-construction for Tate objects as studied by Braunling-Groechenig-Wolfson. Along the way we prove a result about the K-theory of vector bundles over a connective $\mathbb{E}_{\infty}$-ring spectrum which is possibly of independent interest., Comment: Section 2 rewritten, some results now hold more generally

We derive a simple functional equation with two catalytic variables characterising the generating function of 3-stack-sortable permutations. Using this functional equation, we extend the 174-term series to 1000 terms. From this series, we conjecture that the generating function behaves as $$W(t) \sim C_0(1-\mu_3 t)^\alpha \cdot \log^\beta(1-\mu_3 t), $$ so that $$[t^n]W(t)=w_n \sim \frac{c_0\mu_3^n}{ n^{(\alpha+1)}\cdot \log^\lambda{n}} ,$$ where $\mu_3 = 9.69963634535(30),$ $\alpha = 2.0 \pm 0.25.$ If $\alpha = 2$ exactly, then $\lambda = -\beta+1$, and we estimate $\beta \approx -2,$ but with a wide uncertainty of $\pm 1.$ If $\alpha$ is not an integer, then $\lambda=-\beta$, but we cannot give a useful estimate of $\beta$. The growth constant estimate (just) contradicts a conjecture of the first author that $$9.702 < \mu_3 \le 9.704.$$ We also prove a new rigorous lower bound of $\mu_3\geq 9.4854$, allowing us to disprove a conjecture of Bóna. We then further extend the series using differential-approximants to obtain approximate coefficients $O(t^{2000}),$ expected to be accurate to $20$ significant digits, and use the approximate coefficients to provide additional evidence supporting the results obtained from the exact coefficients.

We give a definition of full level structure on group schemes of the form $G\times G$, where $G$ is a finite flat commutative group scheme of rank $p$ over a $\mathbb{Z}_p$-scheme $S$ or, more generally, a truncated $p$-divisible group of height $1$. We show that there is no natural notion of full level structure over the stack of all finite flat commutative group schemes., 11 pages

In this paper we give a complete description of the integral Chow ring of the stack $\mathscr{H}_{g,1}$ of 1-pointed hyperelliptic curves, lifting relations and generators from the Chow ring of $\mathscr{H}_g$. We also give a geometric interpretation for the generators.

We previously showed that the fundamental groupoid of a topological space can be defined by the Seifert–van Kampen theorem. This allowed us to give the first axiomatization of the topological fundamental groupoid. We will prove in this paper that the analogue holds for the étale fundamental groupoid of a Noetherian scheme $X$ as well.

Suppose $(X,\Omega,g)$ is a compact Spin(7)-manifold, e.g. a Riemannian 8-manifold with holonomy Spin(7), or a Calabi-Yau 4-fold. Let $G$ be U$(m)$ or SU$(m)$, and $P\to X$ be a principal $G$-bundle. We show that the infinite-dimensional moduli space ${\mathcal B}_P$ of all connections on $P$ modulo gauge is orientable, in a certain sense. We deduce that the moduli space ${\mathcal M}_P^{Spin(7)}\subset{\mathcal B}_P$ of irreducible Spin(7)-instanton connections on $P$ modulo gauge, as a manifold or derived manifold, is orientable. This improves theorems of Cao and Leung arXiv:1502.01141 and Mu\~noz and Shahbazi arXiv:1707.02998. If $X$ is a Calabi-Yau 4-fold, the derived moduli stack $\boldsymbol{\mathscr M}$ of (complexes of) coherent sheaves on $X$ is a $-2$-shifted symplectic derived stack $(\boldsymbol{\mathcal M},\omega)$ by Pantev-To\"en-Vaqui\'e-Vezzosi arXiv:1111.3209, and so has a notion of orientation by Borisov-Joyce arXiv:1504.00690. We prove that $(\boldsymbol{\mathscr M},\omega)$ is orientable, by relating algebro-geometric orientations on $(\boldsymbol{\mathscr M},\omega)$ to differential-geometric orientations on ${\mathcal B}_P$ for U$(m)$-bundles $P\to X$, and using orientability of ${\mathcal B}_P$. This has applications to the programme of defining Donaldson-Thomas type invariants counting moduli spaces of (semi)stable coherent sheaves on a Calabi-Yau 4-fold, as in Donaldson and Thomas 1998, Cao and Leung arXiv:1407.7659, and Borisov and Joyce arXiv:1504.00690. This is the third in a series arXiv:1811.01096, arXiv:1811.02405 on orientations of gauge-theoretic moduli spaces., Comment: 57 pages. (v2) Major rewrite: new title, added author, new material on Calabi-Yau manifolds

Let $\mathcal D_n$ denote the average number of iterations of West's stack-sorting map $s$ that are needed to sort a permutation in $S_n$ into the identity permutation $123\cdots n$. We prove that \[0.62433\approx\lambda\leq\liminf_{n\to\infty}\frac{\mathcal D_n}{n}\leq\limsup_{n\to\infty}\frac{\mathcal D_n}{n}\leq \frac{3}{5}(7-8\log 2)\approx 0.87289,\] where $\lambda$ is the Golomb-Dickman constant. Our lower bound improves upon West's lower bound of $0.23$, and our upper bound is the first improvement upon the trivial upper bound of $1$. We then show that fertilities of permutations increase monotonically upon iterations of $s$. More precisely, we prove that $|s^{-1}(\sigma)|\leq|s^{-1}(s(\sigma))|$ for all $\sigma\in S_n$, where equality holds if and only if $\sigma=123\cdots n$. This is the first theorem that manifests a law-of-diminishing-returns philosophy for the stack-sorting map that B\'ona has proposed. Along the way, we note some connections between the stack-sorting map and the right and left weak orders on $S_n$., Comment: 17 pages, 4 figures

Flip-sort is a natural sorting procedure which raises fascinating combinatorial questions. It finds its roots in the seminal work of Knuth on stack-based sorting algorithms and leads to many links with permutation patterns. We present several structural, enumerative, and algorithmic results on permutations that need few (resp. many) iterations of this procedure to be sorted. In particular, we give the shape of the permutations after one iteration, and characterize several families of permutations related to the best and worst cases of flip-sort. En passant, we also give some links between pop-stack sorting, automata, and lattice paths, and introduce several tactics of bijective proofs which have their own interest., Comment: This v3 just updates the journal reference, according to the publisher wish

We compute the integral Chow ring of the stack of smooth, non-hyperelliptic curves of genus three. We obtain this result by computing the integral Chow ring of the stack of smooth plane quartics, by means of equivariant intersection theory., Comment: 40 pages, comments are welcome! To appear on Transactions of the American Mathematical Society

We consider the stack $\mathcal{L}og_X$ parametrizing log schemes over a log scheme $X$, and weak and strong properties of log morphisms via $\mathcal{L}og_X$, as defined by Olsson. We give a concrete combinatorial presentation of $\mathcal{L}og_X$, and prove a simple criterion of when weak and strong properties of log morphisms coincide. We then apply this result to the study of logarithmic regularity, derive its main properties, and give a chart criterion analogous to Kato's chart criterion of logarithmic smoothness., Comment: 19 pages, final version

We describe a family of graphs with queue-number at most 4 but unbounded stack-number. This resolves open problems of Heath, Leighton and Rosenberg (1992) and Blankenship and Oporowski (1999).

We construct Bridgeland stability conditions on the derived category of smooth quasi-projective Deligne-Mumford surfaces whose coarse moduli spaces have ADE singularities. This unifies the construction for smooth surfaces and Bridgeland's work on Kleinian singularities. The construction hinges on an orbifold version of the Bogomolov-Gieseker inequality for slope semistable sheaves on the stack, and makes use of the To\"en-Hirzebruch-Riemann-Roch theorem., Comment: 22 pages, comments are welcome! Final version, to appear in Math. Z. Section 5 rewritten, Appendix removed and submitted independently as arXiv:2103.10767

Layered pathwidth is a new graph parameter studied by Bannister et al (2015). In this paper we present two new results relating layered pathwidth to two types of linear layouts. Our first result shows that, for any graph $G$, the stack number of $G$ is at most four times the layered pathwidth of $G$. Our second result shows that any graph $G$ with track number at most three has layered pathwidth at most four. The first result complements a result of Dujmovi\'c and Frati (2018) relating layered treewidth and stack number. The second result solves an open problem posed by Bannister et al (2015)., Comment: 14 pages; 8 figures

In this paper, which is a sequel of arXiv:2002.07494, we investigate, for any reductive group $G$ over an algebraically closed field $k$, the Picard group of the universal moduli stack $\mathrm{Bun}_{G,g,n}$ of $G$-bundles over $n$-pointed smooth projective curves of genus $g$. In particular: we give new functorial presentations of the Picard group of $\mathrm{Bun}_{G,g,n}$; we study the restriction homomorphism onto the Picard group of the moduli stack of principal $G$-bundles over a fixed smooth curve; we determine the Picard group of the rigidification of $\mathrm{Bun}_{G,g,n}$ by the center of $G$ as well as the image of the obstruction homomorphism of the associated gerbe. As a consequence, we compute the divisor class group of the moduli space of semistable $G$-bundles over $n$-pointed smooth projective curves of genus $g$., Comment: 56 pages. Final version, to appear on Ann. Sc. Norm. Super. Pisa

In this paper we study the moduli stack of complexes of vector bundles (with chain isomorphisms) over a smooth projective variety X via derived algebraic geometry. We prove that if X is a Calabi–Yau variety of dimension d then this moduli stack has a ( 1 − d ) -shifted Poisson structure. In the case d = 1 , we construct a natural foliation of the moduli stack by 0-shifted symplectic substacks. We show that our construction recovers various known Poisson structures associated to complex elliptic curves, including the Poisson structure on Hilbert scheme of points on elliptic quantum projective planes studied by Nevins and Stafford, and the Poisson structures on the moduli spaces of stable triples over an elliptic curves considered by one of us. We also relate the latter Poisson structures to the semi-classical limits of the elliptic Sklyanin algebras studied by Feigin and Odesskii.

A general conjecture is stated on the cone of automorphic vector bundles admitting nonzero global sections on schemes endowed with a smooth, surjective morphism to a stack of$G$-zips of connected Hodge type; such schemes should include all Hodge-type Shimura varieties with hyperspecial level. We prove our conjecture for groups of type$A_{1}^{n}$,$C_{2}$, and$\mathbf{F}_{p}$-split groups of type$A_{2}$(this includes all Hilbert–Blumenthal varieties and should also apply to Siegel modular$3$-folds and Picard modular surfaces). An example is given to show that our conjecture can fail for zip data not of connected Hodge type.

Let $\overline{\mathcal{M}}_{g,A[n]}$ be the Hassett moduli stack of weighted stable curves, and let $\overline{M}_{g,A[n]}$ be its coarse moduli space. These are compactifications of $\mathcal{M}_{g,n}$ and $M_{g,n}$ respectively, obtained by assigning rational weights $A = (a_{1},...,a_{n})$, $0< a_{i} \leq 1$ to the markings; they are defined over $\mathbb{Z}$, and therefore over any field. We study the first order infinitesimal deformations of $\overline{\mathcal{M}}_{g,A[n]}$ and $\overline{M}_{g,A[n]}$. In particular, we show that $\overline{M}_{0,A[n]}$ is rigid over any field, if $g\geq 1$ then $\overline{\mathcal{M}}_{g,A[n]}$ is rigid over any field of characteristic zero, and if $g+n > 4$ then the coarse moduli space $\overline{M}_{g,A[n]}$ is rigid over an algebraically closed field of characteristic zero. Finally, we take into account a degeneration of Hassett spaces parametrizing rational curves obtained by allowing the weights to have sum equal to two. In particular, we consider such a Hassett $3$-fold which is isomorphic to the Segre cubic hypersurface in $\mathbb{P}^4$, and we prove that its family of first order infinitesimal deformations is non-singular of dimension ten, and the general deformation is smooth., 14 pages

In this note, we give explicit examples of compact complex 3-folds which admit automorphisms that are isotopic to the identity through C $\infty$-diffeomorphisms but not through biholomorphisms. These automorphisms play an important role in the construction of the Te-ichm{\"u}ller stack of higher dimensional manifolds., Comment: v2. Section 2 added (motivation)

We study the stack M of cameral covers for a complex reductive group G, introduced by Donagi and Gaitsgory. We compute its rational cohomology ring. In the special case G=GL(n), M is the stack of spectral covers. We also compute the cohomology ring of the stack of abstract regular G-Higgs bundles., 30 pages

For each simply connected, simple complex group $G$ we show that the direct sum of all vector bundles of conformal blocks on the moduli stack $\bar{\mathcal{M}}_{g, n}$ of stable marked curves carries the structure of a flat sheaf of commutative algebras. The fiber of this sheaf over a smooth marked curve $(C, \vec{p})$ agrees with the Cox ring of the moduli of quasi-parabolic principal $G-$bundles on $(C, \vec{p})$. We use the factorization rules on conformal blocks to produce flat degenerations of these algebras. These degenerations are toric in the case $G = SL_2(\mathbb{C}),$ and the resulting toric varieties are shown to be isomorphic to phylogenetic algebraic varieties from mathematical biology. We conclude with a proof that the Cox ring of the moduli stack of qausi-parabolic $SL_2(\mathbb{C})$ principal bundles over a generic curve is generated by conformal blocks of levels 1 and 2 with relations generated in degrees $2, 3,$ and 4.

We study the class of binary coded versions of unary languages that can be accepted by alternating machines with loglog n space. We show that there exists a binary PSpace-complete language $\mathcal {L}$ such that the unary coded version of $\mathcal {L}$ is in ASpace(loglog n). Consequently, the standard translation between unary languages accepted with loglog n space and binary languages accepted with log n space works for alternating machines if and only ifP = PSpace. In general, if a binary language is accepted deterministically in 2n⋅nO(1) time and, simultaneously, in nO(1) space—which covers many PSpace-complete problems—then its unary coded version is accepted by an alternating Turing machine using an initially delimited worktape of size loglog n. This unexpected power follows from the fact that, with an auxiliary worktape of size O(loglog n) on a unary input 1n, an alternating machine can simulate a stack with log n bits, representing the contents of the stack by its input head position. The standard push/pop operations on the stack are implemented by moving the head along the input.

Let X be a smooth projective curve over a field of characteristic zero. We calculate the motivic class of the moduli stack of semistable Higgs bundles on X. We also calculate the motivic class of the moduli stack of vector bundles with connections by showing that it is equal to the class of the stack of semistable Higgs bundles of the same rank and degree zero. We follow the strategy of Mozgovoy and Schiffmann for counting Higgs bundles over finite fields. The main new ingredient is a motivic version of a theorem of Harder about Eisenstein series claiming that all vector bundles have approximately the same motivic class of Borel reductions as the degree of Borel reduction tends to $-\infty$., Comment: Minor corrections and improvements; 48 pages