In \cite{KP}, the last two authors introduced formal orbifold curves defined over an algebraically closed field of positive characteristics. They studied both étale and Nori fundamental group schemes associated to such objects. Our aim here is to study the higher dimensional analog of these objects objects and their fundamental groups.
We define the Gromov-Witten invariants for the parabolic bundles over an orbifold $C$ in various situation. Those bring us to refine this notion to get an accurate computation of the number of maximal subbundles of a sufficiently general parabolic bundle by means of the Intriligator-Varfa formula.
We introduce extended toric Deligne-Mumford stacks. We use an extended toric Deligne-Mumford stack to get the toric stack bundle and compute its orbifold Chow ring. Finally we generalize one result of Borisov, Chen and Smith so that the orbifold Chow ring of the toric stack bundle and the Chow ring of its crepant resolution are fibres of a flat family.
We study Givental's Lagrangian cone for the quantum orbifold cohomology of toric stack bundles and prove that the I-function gives points in the Lagrangian cone, namely we construct an explicit slice of the Lagrangian cone defined by the genus $0$ Gromov-Witten theory of a toric stack bundle.
In this article we consider log canonical pairs which are log-smooth. If the corresponding canonical bundle is pseudo-effective, then we show that any quotient of the orbifold cotangent bundle of the pair has a pseudo-effective determinant. One of the new ingredients in the proof is a generalization of the Bogomolov-McQuillan algebraicity criterion in the context of holomorphic foliations whose minimal slope with respect to a movable class is positive.
In this article, we study the behavior of the stability of pullback of a vector bundle under a finite morphism from a (not necessarily smooth) stacky curve to an orbifold curve. We establish a categorical equivalence between proper formal orbifold curves and proper orbifold curves in the sense of Deligne-Mumford stacks. Using this identification, we define the notion of slope $P$-(semi)stability of vector bundles on proper formal orbifold curves $(X,P)$. We establish some equivalent conditions for a stacky genuinely ramified morphism, analogous to the case of curves. Finally, we show that for …
In this article we establish a version of Y. Miyaoka generic semi-positivity theorem in the context of log-canonical orbifold pairs. As an application, we show that the canonical bundle associated to a lc pair is big as soon as there exists a generically injective morphism from an ample line bundle to some symmetric power of the cotangent bundle associated to the orbifold pair.
A scheme of computing $χ(\mbar_{1,n}, L_1^{\otimes d_1}\otimes ... \otimes L_n^{\otimes d_n})$ is given. Here $\mbar_{1,n}$ is the moduli space of $n$-pointed stable curves of genus one and $L_i$ are the universal cotangent line bundles defined by $x_i^*(ω_{C/M})$, where $C \to \mbar_{1,n}$ is the universal curve, $ω_{C/M}$ the relative dualizing sheaf and $x_i$ the marked point. This work is a sequel to \cite{YL1}.
We define formal orbifolds over an algebraically closed field of arbitrary characteristic as curves together with some branch data. Their étale coverings and their fundamental groups are also defined. These fundamental group approximates the fundamental group of an appropriate affine curve. We also define vector bundles on these objects and the category of orbifold bundles on any smooth projective curve. Analogues of various statement about vector bundles which are true in characteristic zero are proved. Some of these are positive characteristic avatar of notions which appear in the second aut…
To each connected component in the space of semisimple representations from the orbifold fundamental group of the base orbifold of a Seifert fibered homology 3-sphere into the Lie group U(2,1), we associate a real number called the "orbifold Toledo invariant." For each such orbifold, there exists an elliptic surface over it, called a Dolgachev surface. Using the theory of Higgs bundles on these Dolgachev surfaces, we explicitly compute all values taken on by the orbifold Toledo invariant.
We show that the orbifold fundamental group of an effective compact K{ä}hler orbifold with nef anticanonical bundle has polynomial growth, which generalizes M.P ăun's results for manifolds [P ău97, Theorem 1,Theorem 2]
The notion of 'slope rational connectedness' is introduced in the context of smooth orbifold pairs. The main result parallels the characterization of the rational connectedness of projective manifolds in terms of either the non-existence of holomorphic covariant tensors, or of absence of fibrations onto manifolds with pseudo-effective canonical bundle, or of existence of movable classes for which the minimal slope of the tangent bundle is positive. We then use this result to construct the `rational quotient map' in orbifold category.
We introduce the concept of directed orbifold, namely triples (X, V, D) formed by a directed algebraic or analytic variety (X, V), and a ramification divisor D, where V is a coherent subsheaf of the tangent bundle TX. In this context, we introduce an algebra of orbifold jet differentials and their sections. These jet sections can be seen as algebraic differential operators acting on germs of curves, with meromorphic coefficients, whose poles are supported by D and multiplicities are bounded by the ramification indices of the components of D. We estimate precisely the curvature tensor of the co…
We define the notion of a holomorphic bundle on the noncommutative toric orbifold $T_θ/G$ associated with an action of a finite cyclic group $G$ on an irrational rotation algebra. We prove that the category of such holomorphic bundles is abelian and its derived category is equivalent to the derived category of modules over a finite-dimensional algebras $Λ$. As an application we finish the computation of $K_0$-groups of the crossed product algebras describing the above orbifolds initiated by Kumjian, Walters and Buck. Also, we describe a torsion pair in the category of $Λ$-modules, such that th…
We investigate stable holomorphic vector bundles on a compact complex Kähler manifold and more generally on an orbifold that is equipped with a Kähler structure. We use the existence of Hermite-Einstein connections in this set-up and construct a generalized Weil-Petersson form on the moduli space of stable vector bundles with fixed determinant bundle. We show that the Weil-Petersson form extends as a (semi-)positive closed current for degenerating families that are restrictions of coherent sheaves. Such an extension will be called a Weil-Petersson current. When the orbifold is of Hodge type, t…
Starting from a collection of line bundles on a projective toric orbifold X, we introduce a stacky analogue of the classical linear series. Our first main result extends work of King by building moduli stacks of refined representations of labelled quivers. We associate one such stack to any collection of line bundles on X to obtain our notion of a stacky linear series; as in the classical case, X maps to the ambient stack by evaluating sections of line bundles in the collection. As a further application, we describe a finite sequence of GIT wall crossings between [A^n/G] and G-Hilb(A^n) for a …
In this work, we investigate the positivity of logarithmic and orbifold cotangent bundles along hyperplane arrangements in projective spaces. We show that a very interesting example given by Noguchi (as early as in 1986) can be pushed further to a very great extent. Key ingredients of our approach are the use of Fermat covers and the production of explicit global symmetric differentials. This allows us to obtain some new results in the vein of several classical results of the literature on hyperplane arrangements. These seem very natural using the modern point of view of augmented base loci, a…
We show that the Quantum Lefschetz Hyperplane Principle can fail for certain orbifold hypersurfaces and complete intersections. It can fail even for orbifold hypersurfaces defined by a section of an ample line bundle.
For an elliptic surface $q:Y \to Σ$, with prescribed singular fibres, Stefan Bauer proved directly via algebraic geometry that the stable bundles over $Y$, whose chern classes are pull backs from $Σ$, correspond to the stable (V-)bundles over $Σ$. We show, via a short proof in differential geometry, a generalisation to stable parabolic bundles. This uses extensions of Donaldson's deep result, giving the existence of Hermitian-Yang-Mills (or anti-self-dual) connections on stable parabolic bundles. In our cases these connections are flat and hence, correspond to representations of certain fundam…
We discuss positive closed currents and Fubini-Study currents on orbifolds, as well as Bergman kernels of singular Hermitian orbifold line bundles. We prove that the Fubini-Study currents associated to high powers of a semipositive singular line bundle converge weakly to the curvature current on the set where the curvature is strictly positive, generalizing a well-known theorem of Tian. We include applications to the asymptotic distribution of zeros of random holomorphic sections.
There is a well known bijective correspondence between isomorphism classes of polystable vector bundles $E$ with $c_i(E)=0$ for $i\geq 1$ on a smooth complex projective variety and equivalence classes of unitary representations of the fundamental group of the variety. We show that this bijective correspondence extends to smooth orbifolds.
We describe a notion of ampleness for line bundles on orbifolds with cyclic quotient singularities that is related to embeddings in weighted projective space, and prove a global asymptotic expansion for a weighted Bergman kernel associated to such a line bundle.
Algebraic parabolic bundles on smooth projective curves over algebraically closed field of positive characteristic is defined. It is shown that the category of algebraic parabolic bundles is equivalent to the category of orbifold bundles defined in \cite{KP}. Tensor, dual, pullback and pushforward operations are also defined for parabolic bundles.
In this paper we consider the Boothby-Wang construction over twist 1 stage 3 Bott orbifolds given in terms of the log pair $(S_{\bf n},Δ_{\bf m})$. We give explicit constant scalar curvature (CSC) Sasaki metrics either directly from CSC Kähler orbifold metrics or by using the weighted extremal approach of Apostolov and Calderbank. The Sasaki 7-manifolds (orbifolds) are finitely covered by compact simply connected manifolds (orbifolds) with the rational homology of the 2-fold connected sum of $S^2\times S^5$.
In this paper, we study compact complex orbifolds. In the first part, we shows the equivalence of two notions of compact Kähler orbifold. In the second part, we shows various versions of Demailly's regularisation theorems for compact orbifold and study the positivity of orbifold vector bundle. In the last section, we give a version of equivariant GAGA communicated to us by Brion.
A smooth GKM stack is a smooth Deligne-Mumford stack equipped with an action of an algebraic torus $T$, with only finitely many zero-dimensional and one-dimensional orbits. (i) We define the stacky GKM graph of a smooth GKM stack, under the mild assumption that any one-dimensional $T$-orbit closure contains at least one $T$ fixed point. The stacky GKM graph is a decorated graph which contains enough information to reconstruct the $T$-equivariant formal neighborhood of the 1-skeleton (union of zero-dimensional and one-dimensional $T$-orbits) as a formal smooth DM stack equipped with a $T$-actio…
Formal orbifolds are defined in higher dimension. Their étale fundamental groups are also defined. It is shown that the fundamental groups of formal orbifolds have certain finiteness property and it is also shown that they can be used to approximate the étale fundamental groups of normal varieties. Etale site on formal orbifolds are also defined. This framework allows one to study wild ramification in an organised way. Brylinski-Kato filtration, Lefschetz theorem for fundamental groups and $l$-adic sheaves in these contexts are also studied.
We compute the Chen-Ruan orbifold cohomology ring of the Batyrev mirror orbifold of a smooth quintic hypersurface in 4-dimensional projective space. We identify the obstruction bundle for this example by using the Riemann bilinear relations for periods. We outline a general method of computing the Chen-Ruan ring for Calabi-Yau hypersurfaces in projective simplicial toric varieties, modulo a conjecture that the Riemann bilinear relations are adequate for identifying the obstruction bundle for any complex orbifold.
This article lays the foundations for the study of modular forms transforming with respect to representations of Fuchsian groups of genus zero. More precisely, we define geometrically weighted graded modules of such modular forms, where the graded structure comes from twisting with all isomorphism classes of line bundles on the corresponding compactified modular curve, and we study their structure by relating it to the structure of vector bundles over orbifold curves of genus zero. We prove that these modules are free whenever the Fuchsian group has at most two elliptic points. For three or mo…
The simplicial wedge construction on simplicial complexes and simple polytopes has been used by a variety of authors to study toric and related spaces, including non-singular toric varieties, toric manifolds, intersections of quadrics and more generally, polyhedral products. In this paper we extend the analysis to include toric orbifolds. Our main results yield infinite families of toric orbifolds, derived from a given one, whose integral cohomology is free of torsion and is concentrated in even degrees, a property which might be termed \emph{integrally equivariantly formal}. In all cases, it …
Kawasaki's formula is a tool to compute holomorphic Euler characteristics of vector bundles on a compact orbifold X. Let X be an orbispace with perfect obstruction theory which admits an embedding in a smooth orbifold. One can then construct the virtual structure sheaf and the virtual fundamental class of X. In this paper we prove that Kawasaki's formula behaves well " with working virtually" on X in the following sense: if we replace the structure sheaves, tangent and normal bundles in the formula by their virtual counterparts then Kawasaki's formula stays true. Our motivation comes from stud…
For a semisimple real Lie group $G$, we study topological properties of moduli spaces of polystable parabolic $G$-Higgs bundles over a Riemann surface with a divisor of finitely many distinct points. For a split real form of a complex simple Lie group, we compute the dimension of apparent parabolic Teichm{ü}ller components. In the case of isometry groups of classical Hermitian symmetric spaces of tube type, we provide new topological invariants for maximal parabolic $G$-Higgs bundles arising from a correspondence to orbifold Higgs bundles. Using orbifold cohomology we count the least number of…
We solve the problem of the computation of the orbifold Euler characteristics of $\Mbar_{g,n}$. We take the works of Harer-Zagier \cite{hz} and Bini-Harer \cite{bh} as our starting point, and apply the formalisms developed in \cite{wz} and \cite{zhou1} to this problem. These formalisms are typical examples of mathematical methods inspired by quantum field theories. We also present many closed formulas and some numerical data. In genus zero the results are related to Ramanujan polynomials, and in higher genera we get recursion relations almost identical to the recursion relations for Ramanujan …
We extend the notion of Hitchin component from surface groups to orbifold groups and prove that this gives new examples of higher Teichmüller spaces. We show that the Hitchin component of an orbifold group is homeomorphic to an open ball and we compute its dimension explicitly. We then give applications to the study of the pressure metric, cyclic Higgs bundles, and the deformation theory of real projective structures on $3$-manifolds.
Let G be a split reductive group. We introduce the moduli problem of "bundle chains" parametrizing framed principal G-bundles on chains of lines. Any fan supported in a Weyl chamber determines a stability condition on bundle chains. Its moduli stack provides an equivariant toroidal compactification of G. All toric orbifolds may be thus obtained. Moreover, we get a canonical compactification of any semisimple G, which agrees with the wonderful compactification in the adjoint case, but which in other cases is an orbifold. Finally, we describe the connections with Losev-Manin's spaces of weighted…
We study actions of finite groups on moduli spaces of stable holomorphic vector bundles and relate the fixed-point sets of those actions to representation varieties of certain orbifold fundamental groups.
This study examines the finite $F$-representation type (abbr. FFRT) property of a two-dimensional normal graded ring $R$ in characteristic $p>0$, using notions from the theory of algebraic stacks. Given a graded ring $R$, we consider an orbifold curve $\mathfrak C$, which is a root stack over the smooth curve $C=\text{Proj} R$, such that $R$ is the section ring associated with a line bundle $L$ on $\mathfrak C$. The FFRT property of $R$ is then rephrased with respect to the Frobenius push-forwards $F^e_*(L^i)$ on the orbifold curve $\mathfrak C$. As a result, we see that if the singularity of …
In this paper we present a model to calculate the stringy product on twisted orbifold K-theory of Adem-Ruan-Zhang for abelian complex orbifolds. In the first part we consider the non-twisted case on an orbifold presented as the quotient of a manifold acted by a compact abelian Lie group. We give an explicit description of the obstruction bundle, we explain the relation with the product defined by Jarvis-Kaufmann-Kimura and, via a Chern character map, with the Chen-Ruan cohomology, and we explicitely calculate the stringy product for a weighted projective orbifold. In the second part we conside…
Let $Γ$ be a finite group acting linearly on $\C^n$, freely outside the origin, and let $N$ be the number of conjugacy classes of $Γ$ minus one. A construction of Kronheimer of moduli spaces $X_ζ$ of translation-invariant $Γ$-equivariant instantons on $\C^2$ is generalised to $\C^n$. The moduli spaces $X_ζ$ depend on a parameter $ζ\in\Q^N$. The following results are proved: for $ζ=0$, $X_0$ is isomorphic to $\C^n/Γ$; if $ζ\neq 0$, the natural maps $X_ζ\to X_0$ are partial resolutions. The moduli $X_ζ$ are furthermore shown to admit Kähler metrics which are Asymptotically Locally Euclidean (ALE…
We study anti-holomorphic involutions of the moduli space of principal $G$-Higgs bundles over a compact Riemann surface $X$, where $G$ is a complex semisimple Lie group. These involutions are defined by fixing anti-holomorphic involutions on both $X$ and $G$. We analyze the fixed point locus in the moduli space and their relation with representations of the orbifold fundamental group of $X$ equipped with the anti-holomorphic involution. We also study the relation with branes. This generalizes work by Biswas--Garc\'ıa-Prada--Hurtubise and Baraglia--Schaposnik.
We describe the family of real structures $σ$ on principal holomorphic torus bundles $X$ over tori, and prove its connectedness when the complex dimension is at most three. From this and previous results of the authors follows that the differentiable type (more precisely, the orbifold fundamental group) determines the deformation type of the pair $(X, σ)$ provided we have complex dimension at most three, fibre dimension one, and a certain 'reality' condition on the fundamental group is satisfied.
The aim of this paper is to study Seifert bundle structures on simply connected 5--manifolds. We classify all such 5--manifolds which admit a Seifert bundle structure, and in a few cases all Seifert bundle structures are also classified. These results are then used to construct positive Ricci curvature Einstein metrics on these manifolds. The proof has 4 main steps. First, the study of the Leray spectral sequence of the Seifert bundle, based on work of Orlik--Wagreich. Second, the study of log Del Pezzo surfaces. Third, the construction of Kähler--Einstein metrics on Del Pezzo orbifolds using …
In this note, we reconcile two approaches that have been used to construct stringy multiplications. The pushing forward after pulling back that has been used to give a global stringy extension of the functors K_0,K^{top},A^*,H^* [CR, FG, AGV, JKK2], and the pulling back after having pushed forward, which we have previously used in our (re)-construction program for G-Frobenius algebras, notably in considerations of singularities with symmetries and for symmetric products. A similar approach was also used by [CH] in their considerations of the Chen-Ruan product in a deRham setting for Abelian or…
In this paper we study the formal classication of two-dimensional neighborhoods of genus g $\ge$ 2 curves with trivial normal bundle. We first construct formal foliations on such neighborhoods with holonomy vanishing along many loops, then give the formal/analytic classication of neighborhoods equipped with two foliations, and finally put this together to obtain a description of the space of neighborhoods up to formal equivalence.