We discuss the parabolic Hilbert scheme of points on smooth surface, which is an interesting generalization of Hilbert scheme of points on surface. Some of the studies by Ellingsrud-Stromme, Goettsche, Cheah, Nakajima and Grojnowski can be generalized in our parabolic case.
We prove de Cataldo-Hausel-Migliorini's P=W conjecture in arbitrary rank for parabolic Higgs bundles labeled by the affine Dynkin diagrams $\tilde{A}_0$, $\tilde{D}_4$, $\tilde{E}_6$, $\tilde{E}_7$, and $\tilde{E}_8$. Our proof relies on the study of the tautological classes on the Hilbert scheme of points on an elliptic surface with respect to the perverse filtration.
In this paper, we investigate the apparent singularities and the dual parameters of rank 2 parabolic connections on $\mathbb{P}^1$ and rank 2 (parabolic) Higgs bundle on $\mathbb{P}^1$. Then we obtain explicit descriptions of Zariski open sets of the moduli space of the parabolic connections and the moduli space of the Higgs bundles. For $n=5$, we can give global descriptions of the moduli spaces in detail.
Let $(C,\bt)$ ($\bt=(t_1,...,t_n)$) be an $n$-pointed smooth projective curve of genus $g$ and take an element $\blambda=(λ^{(i)}_j)\in\C^{nr}$ such that $-\sum_{i,j}λ^{(i)}_j=d\in\mathbf{Z}$. For a weight $\balpha$, let $M_C^{\balpha}(\bt,\blambda)$ be the moduli space of $\balpha$-stable $(\bt,\blambda)$-parabolic connections on $C$ and let $RP_r(C,\bt)_{\ba}$ be the moduli space of representations of the fundamental group $π_1(C\setminus\{t_1,...,t_n\},*)$ with the local monodromy data $\ba$ for a certain $\ba\in\C^{nr}$. Then we prove that the morphism $\RH:M_C^{\balpha}(\bt,\blambda)\righ…
It is known that the variety parametrizing pairs of commuting nilpotent matrices is irreducible and that this provides a proof of the irreducibility of the punctual Hilbert scheme in the plane. We extend this link to the nilpotent commuting variety of parabolic subalgebras of $M\_n(\K)$ and to the punctual nested Hilbert scheme. By this method, we obtain a lower bound on the dimension of these moduli spaces. We characterize the numerical conditions under which they are irreducible. In some reducible cases, we describe the irreducible components and their dimension.
We construct five families of two-dimensional moduli spaces of parabolic Higgs bundles (respectively local systems) by taking the equivariant Hilbert scheme of a certain finite group acting on the cotangent bundle of an elliptic curve. We show that the Hilbert scheme of m points of these surfaces is again a moduli space of parabolic Higgs bundles (respectively local systems), confirming a conjecture of Boalch in these cases and extending a result of Gorsky--Nekrasov--Rubtsov. Using the McKay correspondence we establish the autoduality conjecture for the derived categories of the moduli spaces …
Parabolic triples of the form $(E_*,θ,σ)$ are considered, where $(E_*,θ)$ is a parabolic Higgs bundle on a given compact Riemann surface $X$ with parabolic structure on a fixed divisor $S$, and $σ$ is a nonzero section of the underlying vector bundle. Sending such a triple to the Higgs bundle $(E_*,θ)$ a map from the moduli space of stable parabolic triples to the moduli space of stable parabolic Higgs bundles is obtained. The pull back, by this map, of the symplectic form on the moduli space of stable parabolic Higgs bundles will be denoted by $\text{d}Ω'$. On the other hand, there is a map f…
We investigate the birational geometry (in the sense of Mori's program) of the moduli space of rank 2 semistable parabolic vector bundles on a rational curve. We compute the effective cone of the moduli space and show that all birational models obtained by Mori's program are also moduli spaces of parabolic vector bundles with certain parabolic weights.
In this paper, we show that the family of moduli spaces of $\balpha'$-stable $(\bt, \blambda)$-parabolic $ϕ$-connections of rank 2 over $\BP^1$ with 4-regular singular points and the fixed determinant bundle of degree -1 is isomorphic to the family of Okamoto--Painlevé pairs introduced by Okamoto \cite{O1} and \cite{STT02}. We also discuss about the generalization of our theory to the case where the rank of the connections and genus of the base curve are arbitrary. Defining isomonodromic flows on the family of moduli space of stable parabolic connections via the Riemann-Hilbert correspondences…
The goal of this paper is the study of simple rank 2 parabolic vector bundles over a $2$-punctured elliptic curve $C$. We show that the moduli space of these bundles is a non-separated gluing of two charts isomorphic to $\mathbb{P}^1 \times \mathbb{P}^1$. We also showcase a special curve $Γ$ isomorphic to $C$ embedded in this space, and this way we prove a Torelli theorem. This moduli space is related to the moduli space of semistable parabolic bundles over $\mathbb{P}^1$ via a modular map which turns out to be the 2:1 cover ramified in $Γ$. We recover the geometry of del Pezzo surfaces of deg…
Let $X$ be a quasi-projective curve, compactified to $(Y,D)$ with $X=Y-D$. We construct a Deligne-Hitchin twistor space out of moduli spaces of framed $λ$-connections of rank $2$ over $Y$ with logarithmic singularities and quasi-parabolic structure along $D$. To do this, one should divide by a Hecke-gauge groupoid. Tame harmonic bundles on $X$ give preferred sections, and the relative tangent bundle along a preferred section has a mixed twistor structure with weights $0,1,2$. The weight $2$ piece corresponds to the deformations of the KMS structure including parabolic weights and the residues …
In this paper we describe the structure of the space of parabolic reductions, and their compactifications, of principal $G$-bundles over a smooth projective curve over an algebraically closed field of arbitrary characteristic. We first prove estimates for the dimensions of moduli spaces of stable maps to the twisted flag varieties $E/P$ and Hilbert schemes of closed subschemes of $E/P$ with same Hilbert polynomials as that of a $P$-reductions of $E$. This generalizes the earlier results of Mihnea Popa and Mike Roth to connected reductive groups and the results of Y. I. Holla and M. S. Narasimh…
A local Riemann-Hilbert correspondence for tame meromorphic connections on a curve compatible with a parahoric level structure will be established. Special cases include logarithmic connections on G-bundles and on parabolic G-bundles, where G is a complex reductive group. The corresponding Betti data involves pairs (M,P) consisting of the local monodromy M in G and a (weighted) parabolic subgroup P of G such that M is in P, as in the multiplicative Brieskorn-Grothendieck-Springer resolution (extended to the parabolic case). The natural quasi-Hamiltonian structures that arise on such spaces of …
We classify minimal-degree curves in the Hilbert schemes of points on algebraic surfaces. When the algebraic surface is the projective plane, the nef cone and a flip structure of these Hilbert schemes are determined.
In this paper, we give three bases for the cohomology groups of the Hilbert scheme of two points on projective space. Then, we use these bases to compute all effective and nef cones of higher codimensional cycles on the Hilbert scheme. Next, we compute the class in one of these bases of the Chern classes of tautological bundles coming from line bundles. Finally, we provide an application of these results to the degrees of secant varieties of complete intersections.
We classify all Gieseker semi-stable sheaves on the complex projective plane that have dimension 1, multiplicity 6 and Euler characteristic 3. We show that their moduli space is birational to the blow-up at a special point of a certain moduli space of semi-stable Kronecker modules.
We study the relative Hilbert scheme of a family of nodal (or smooth) curves, over a base of arbitrary dimension, via its (birational) cycle map, going to the relative symmetric product. We show the cycle map is the blowing up of the discriminant locus, which consists of cycles with multiple points. We work out the action of the blowup or 'discriminant' polarization on some natural cycles in the Hilbert scheme, including generalized diagonals and cycles, called 'node scrolls', parametrizing schemes supported on singular points. We derive an intersection calculus for Chern classes of tautologic…
The purpose of this paper is to explore the geometry and establish the slope stability of tautological vector bundles on Hilbert schemes of points on smooth surfaces. By establishing stability in general we complete a series of results of Schlickewei and Wandel who proved the slope stability of these vector bundles for Hilbert schemes of 2 points or 3 points on K3 or abelian surfaces with Picard group restrictions. In exploring the geometry we show that every sufficiently positive semistable vector bundle on a smooth curve arises as the restriction of a tautological vector bundle on the Hilber…
The moduli space of $G$-bundles on an elliptic curve with additional flag structure admits a Poisson structure. The bivector can be defined using double loop group, loop group and sheaf cohomology constructions. We investigate the links between these methods and for the case $\SL_2$ perform explicit computations, describing the bracket and its leaves in detail.
In this paper, we will give a complete geometric background for the geometry of Painlevé $VI$ and Garnier equations. By geometric invariant theory, we will construct a smooth coarse moduli space $M_n^{\balpha}(\bt, \blambda, L) $ of stable parabolic connection on $\BP^1$ with logarithmic poles at $D(\bt) = t_1 + ... + t_n$ as well as its natural compactification. Moreover the moduli space $\cR(\cP_{n, \bt})_{\ba}$ of Jordan equivalence classes of $SL_2(\C)$-representations of the fundamental group $π_1(\BP^1 \setminus D(\bt),\ast)$ are defined as the categorical quotient. We define the Riemann…
We study the ring generated by the Chern classes of tautological line bundles on the moduli space of parabolic bundles of arbitrary rank on a Riemann surface. We show the Poincaré duals to these Chern classes have simple geometric representatives. We use this construction to show that the ring generated by these Chern classes vanishes below the dimension of the moduli space, in analogy with the Newstead-Ramanan conjecture for stable bundles.
A cone structure on a complex manifold $M$ is a closed submanifold $\mathcal C \subset \mathbb P TM$ of the projectivized tangent bundle which is submersive over $M$. A conic connection on $\mathcal C$ specifies a distinguished family of curves on $M$ in the directions specified by $\mathcal C$. There are two common sources of cone structures and conic connections, one in differential geometry and another in algebraic geometry. In differential geometry, we have cone structures induced by the geometric structures underlying holomorphic parabolic geometries, a classical example of which is the n…
Closed subschemes in projective space with a fixed Hilbert polynomial are parametrized by a Hilbert scheme. We classify the smooth ones. We identify numerical conditions on a polynomial that completely determine when the Hilbert scheme is smooth. We also reinterpret these smooth Hilbert schemes as generalized partial flag varieties and describe the subschemes being parametrized.
Reductive (or semisimple) algebraic groups, Lie groups and Lie algebras have a rich geometry determined by their parabolic subgroups and subalgebras, which carry the structure of a building in the sense of J. Tits. We present herein an elementary approach to the geometry of parabolic subalgebras, over an arbitrary field of characteristic zero, which does not rely upon the structure theory of semisimple Lie algebras. Indeed we derive such structure theory, from root systems to the Bruhat decomposition, from the properties of parabolic subalgebras. As well as constructing the Tits building of a …
This note is devoted to the study of the links between the Hilbert function of a subscheme X of the projective space, and its geometric properties. We will assume that X is arithmetically Cohen-Macaulay, which allows us to characterize its Hilbert function by a d integers, where d is the degree of X. We study in this context the geometric description of special linear systems of dimension maximal with respect to their degree on projective Gorenstein curves.
We represent algebraic curves via commuting matrix polynomials. This allows us to show that the Hilbert scheme of cohomologically stable twisted rational curves of degree $d$ in ${\Bbb P}^3\backslash {\Bbb P}^1$ is isomorphic to a complexified hyperkähler quotient of an open subset of a vector space by a non-reductive Lie group.
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 compare and contrast results of E. Davis, of A. Bigatti, A.V. Geramita and the author, and of J. Ahn and the author. The underlying idea is that certain numerical conditions on the Hilbert function of a finite set of points in projective space force geometric consequences on the base loci of the linear systems of hypersurfaces containing the points. When the points have uniform position, this tends to force better behavior for these base loci. However, unexpected behavior is still possible, and we give examples.
The polynomial method has been used recently to obtain many striking results in combinatorial geometry. In this paper, we use affine Hilbert functions to obtain an estimation theorem in finite field geometry. The most natural way to state the theorem is via a sort of bounded degree Zariski closure operation: given a set, we consider all polynomials of some bounded degree vanishing on that set, and then the common zeros of these polynomials. For example, the degree d closure of d + 1 points on a line will contain the whole line, as any polynomial of degree at most d vanishing on the d + 1 point…
We obtain new results on the geometry of Hilbert modular varieties in positive characteristic and morphisms between them. Using these results and methods of rigid geometry, we develop a theory of canonical subgroups for abelian varieties with real multiplication.
In this paper we construct a coarse moduli scheme of stable unramified irregular singular parabolic connections on a smooth projective curve and prove that the constructed moduli space is smooth and has a symplectic structure. Moreover we will construct the moduli space of generalized monodromy data coming from topological monodromies, formal monodromies, links and Stokes data associated to the generic irregular connections. We will prove that for a generic choice of generalized local exponents, the generalized Riemann-Hilbert correspondence from the moduli space of the connections to the modu…
We show how the natural context for the definition of parabolic sheaves on a scheme is that of logarithmic geometry. The key point is a reformulation of the concept of logarithmic structure in the language of symmetric monoidal categories, which might be of independent interest. Our main result states that parabolic sheaves can be interpreted as quasi-coherent sheaves on certain stacks of roots.
We develop the theory of resolvent degree, introduced by Brauer \cite{Br} in order to study the complexity of formulas for roots of polynomials and to give a precise formulation of Hilbert's 13th Problem. We extend the context of this theory to enumerative problems in algebraic geometry, and consider it as an intrinsic invariant of a finite group. As one application of this point of view, we prove that Hilbert's 13th Problem, and his Sextic and Octic Conjectures, are equivalent to various enumerative geometry problems, for example problems of finding lines on a smooth cubic surface or bitangen…