Mark Blume
In this paper we construct $G$-Hilbert schemes for finite group schemes $G$. We find a construction of $G$-Hilbert schemes as relative $G$-Hilbert schemes over the quotient that does not need the Hilbert scheme of $n$ points, works under more natural assumptions and gives additional information about the morphism from the $G$-Hilbert scheme to the quotient.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
In this paper, we shall discuss Hilbert property of ${\rm Hilb}^{G}(\mathbb{C}^{3})$, Fujiki-Oka resolutions and iterated Fujiki-Oka resolutions for three dimensional canonical cyclic quotient singularities by using the classification shown by Ishida and Iwashita\cite{II}. Finally, we shall prove that there exists a Hilbert desingularization for any three dimensional canonical cyclic quotient singularity.
We give explicit equations for the Chow and Hilbert quotients of a projective scheme X by the action of an algebraic torus T in an auxiliary toric variety. As a consequence we provide GIT descriptions of these canonical quotients, and obtain other GIT quotients of X by variation of GIT quotient. We apply these results to find equations for the moduli space \bar{M}_{0,n} of stable genus zero n-pointed curves as a subvariety of a smooth toric variety defined via tropical methods.
Invariant Hilbert schemes and desingularizations of quotients by classical groups
本文研究了经典群作用下的不变希尔伯特方案，通过构造光滑的$\mathcal{H}$，实现了对分类商的光滑化。
In this note we investigate the generating series of the Euler characteristics of Hilbert scheme of points on cyclic quotient singularities of type (p,1). We link the appearing combinatorics to p-fountains, a generalization of the notion of fountain of coins. We obtain a representation of the generating series as coefficient of a two variable generating series.
We investigate algebraicity properties of quotients of complex spaces by complex reductive Lie groups G. We obtain a projectivity result for compact momentum map quotients of algebraic G-varieties. Furthermore, we prove equivariant versions of Kodaira's Embedding Theorem and Chow's Theorem relative to an analytic Hilbert quotient. Combining these results we derive an equivariant algebraisation theorem for complex spaces with projective quotient.
Let \X be an affine toric variety under a torus \T and let T be a subtorus. The general T-orbit closures in \X and their flat limits are parametrized by the main component H_0 of the toric Hilbert scheme. Further, the quotient torus \T/T acts on H_0 with a dense orbit. We describe the fan of this toric variety; this leads us to an integral analogue of the fiber polytope of Billera and Sturmfels. We also describe the relation of H_0 to the main component of the inverse limit of GIT quotients of \X by T.
Hilbert series of symplectic quotients by the 2-torus
本文研究 2-环面线性辛商的实正则函数分次代数，给出其 Hilbert 级数及在 t=1 处 Laurent 展开前四个系数的计算方法，并提供可用于具体例子的算法。
The aim of this note is to announce some results on the GIT problem for the Hilbert and Chow scheme of curves of degree d and genus g in P^{d-g}, whose full details will appear in a subsequent paper. In particular, we extend the previous results of L. Caporaso up to d>4(2g-2) and we observe that this is sharp. In the range 2(2g-2)<d<7/2(2g-2), we get a complete new description of the GIT quotient. As a corollary, we get a new compactification of the universal Jacobian over the moduli space of pseudo-stable curves.
We provide a Hilbert-Mumford Criterion for actions of reductive groups $G$ on $Q$-factorial complex varieties. The result allows to construct open subsets admitting a good quotient by $G$ from certain maximal open subsets admitting a good quotient by a maximal torus of $G$. As an application, we show how to obtain all invariant open subsets with good quotient for a given $G$-action on a complete $Q$-factorial toric variety.
Let the special linear group $G := SL_{2}$ act regularly on a $Q$-factorial variety $X$. Consider a maximal torus $T \subset G$ and its normalizer $N \subset G$. We prove: If $U \subset X$ is a maximal open $N$-invariant subset admitting a good quotient $U \to U // N$ with a divisorial quotient space, then the intersection $W(U)$ of all translates $g \dot U$ is open in $X$ and admits a good quotient $W(U) \to W(U) // G$ with a divisorial quotient space. Conversely, we obtain that every maximal open $G$-invariant subset $W \subset X$ admitting a good quotient $W \to W // G$ with a divisorial qu…
Open Covers and Lex Points of Hilbert schemes over quotient rings via relative marked bases
本文引入相对标记基，为商环上的 Hilbert 概形提供计算方法，并给出理论开覆盖与计算 lex 点的两个应用。
The aim of this paper is twofold. First we prove a theorem of extension of sections of a coherent subquotient of a hermitian vector bundle on a complex analytic space with control of the norms, without any of the smoothness assumptions that were needed in previously known analogous results. Then we show how to associate an arithmetic Hilbert-Samuel function to a coherent sheaf on an arithmetic variety -- provided this coherent sheaf is a subquotient of a hermitian vector bundle -- and using the classical arithmetic Hilbert-Samuel theorem and our extension theorem, we give the leading term of t…
We take a new look at the curvilinear Hilbert scheme of points on a smooth projective variety $X$ as a projective completion of the non-reductive quotient of holomorphic map germs from the complex line into $X$ by polynomial reparametrisations. Using an algebraic model of this quotient coming from global singularity theory we develop an iterated residue formula for tautological integrals over curvilinear Hilbert schemes.
Let F(X,n):= X^n-Δbe the complementary of the union Δof the diagonals of X^n and let U be a quotient of F(X,n) (possibly trivial) by a subgroup of the symmetric group S_n. We construct compactifications of U in products of Hilbert schemes. Our approach generalizes and unifies classical constructions by Schubert-Semple, Le Barz-Keel, Kleiman and Cheah. An extensive study is done in the case n<4. This includes in particular a complete classification and a description of the quotients by the natural actions.
Let $\mathfrak{g}=\mathfrak{g}_0\oplus \mathfrak{g}_1$ be a $\mathbb Z_2$-grading of a classical Lie algebra such that $(\mathfrak{g}, \mathfrak{g}_0)$ is a classical symmetric pair. Let $G$ be a classical group with Lie algebra $\mathfrak{g}$ and let $G_0$ be the connected subgroup of $G$ with ${\rm Lie} (G_0)=\mathfrak g_0$. For $d \geq 2$, let $\mathfrak{C}^d(\mathfrak{g}_1)$ be the $d$-th commuting scheme associated with the symmetric pair $(\mathfrak g, \mathfrak g_0)$. In this article, we study the categorical quotient $\mathfrak{C}^d(\mathfrak{g}_1)//{G_0}$ via the Chevalley restriction…
We study the partial resolutions of singularities related to Hilbert schemes of points on an affine space. Consider a quotient of a vector space $V$ by an action of a finite group $G$ of linear transforms. Under some additional assumptions, we prove that the partial desingularization of Hilbert type is smooth only if the action of $G$ is generated by complex reflections. This is used to study the subvarieties of a Hilbert scheme of a complex torus. We show that any subvariety of a generic deformation of a Hilbert scheme of a torus is birational to a quotient of another torus by an action of a …
We compute the Hilbert series, and the graded vector space structure, of Ext-algebras of quotients of Koszul algebras with almost linear resolution. The example of the generic determinantal varieties is treated in detail.
For a connected reductive group G and a finite-dimensional G-module V, we study the invariant Hilbert scheme that parameterizes closed G-stable subschemes of V affording a fixed, multiplicity-finite representation of G in their coordinate ring. We construct an action on this invariant Hilbert scheme of a maximal torus T of G, together with an open T-stable subscheme admitting a good quotient. The fibers of the quotient map classify affine G-schemes having a prescribed categorical quotient by a maximal unipotent subgroup of G. We show that V contains only finitely many multiplicity-free G-subva…
Quot schemes of quotients of a trivial bundle of arbitrary rank on a nonsingular projective surface X carry perfect obstruction theories and virtual fundamental classes whenever the quotient sheaf has at most 1-dimensional support. The associated generating series of virtual Euler characteristics was conjectured to be a rational function when X is simply connected. We conjecture here the rationality of more general descendent series with insertions obtained from the Chern characters of the tautological sheaf. We prove the rationality of descendent series in Hilbert scheme cases for all curve c…
We express the product of the cohomology ring of the Hilbert scheme in terms of the center of the algebra of the symmetric group. We give a conjecture for the case of crepant resolutions of symplectic quotient singularities.
We prove Qingyuan Jiang's conjecture on semiorthogonal decompositions of derived categories of Quot schemes of locally free quotients. The author's result on categorified Hall products for Grassmannian flips is applied to prove the conjecture.
This paper studies schemes X defined over a field of characteristic p>0 which admit a nontrivial $α_p$ or $μ_p$ action. In particular, the structure of the quotient map $X \rightarrow Y$ is investigated. Information on local properties of the quotient Y, as singularities and local Picard groups, structure theorems for the quotient map and adjunction formulas for the quotient map are obtained.
Descent of tautological sheaves from Hilbert schemes to Enriques manifolds
本文研究 K3 曲面双重覆盖 Enriques 曲面时，奇数点 Hilbert 概形的商为 Enriques 流形，并构造其上的斜率稳定层，探讨其性质。
We determine the codimension of the Betti strata of the family G(H) parametrizing graded Artinian quotients A of the polynomial ring R in two variables, having Hilbert function H. The Betti stratum G(B,H) parametrizes all such quotients having the graded Betti numbers determined by the relation degrees B. Our method is to identify G(B,H) as the product of determinantal varieties. We then use a result of M. Boij that reduces the calculation of codimension to showing that the most special stratum has the expected codimension. We also show that the closure of the Betti stratum is Cohen-Macaulay, …
Suppose a compact Lie group acts on a polarized complex projective manifold (M,L). Under favorable circumstances, the Hilbert-Mumford quotient for the action of the complexified group may be described as a symplectic quotient (or reduction). This paper addresses some metric questions arising from this identification, by analyzing the relationship between the Szego kernel of the pair (M,L) and that of the quotient.
Quotients Of Admissible Formal Schemes and Adic Spaces by Finite Groups
本文自洽地处理了局部强Noetherian adic空间上局部拓扑有限型的容许（形式）概形与adic空间的有限群商问题。
Invariant Hilbert Schemes and Luna's Etale Slice Theorem
本文利用卢娜的微分切片定理研究不变希尔伯特方案的局部结构，探讨其在闭轨道处的光滑性问题。
We prove that the Quot-scheme of finite quotients of a vector bundle which are of a given length and supported in one point, is irreducible and of the expected dimension.
For a split semisimple Chevalley group scheme G with Lie algebra g over an arbitrary base scheme S, we consider the quotient of g by the adjoint action of G. We study in detail the structure of g over S. Given a maximal torus T with Lie algebra t and associated Weyl group W, we show that the Chevalley morphism t/W -> g/G is an isomorphism except for the group Sp_{2n} over a base with 2-torsion. In this case this morphism is only dominant and we compute it explicitly. We compute the adjoint quotient in some other classical cases, yielding examples where the formation of the quotient g -> g/G co…
We propose new tools based on basic lattice theory to calculate the integral cohomology of the quotient of a manifold by an automorphism group of prime order. As examples of applications, we provide the Beauville--Bogomolov forms of some irreducible symplectic orbifolds; we also show a new expression for a basis of the integral cohomology of a Hilbert scheme of two points on a surface.
We construct the Hilbert compactification of the universal moduli space of semistable vector bundles over smooth curves. The Hilbert compactification is the GIT quotient of some open part of an appropriate Hilbert scheme of curves in a Grassmannian. It has all the properties asked for by Teixidor.
Let $\mathcal{X}$ be a tame proper Deligne-Mumford stack of the form $[M/G]$ where $M$ is a scheme and $G$ is an algebraic group. We prove that the stack $\mathcal{K}_{g,n}(\mathcal{X},d)$ of twisted stable maps is a quotient stack and can be embedded into a smooth Deligne-Mumford stack. When $G$ is finite, we give a more precise construction of $\mathcal{K}_{g,n}(\mathcal{X},d)$ using Hilbert schemes and admissible $G$-covers.
Relative Geometric Invariant Theory: Reductive and Non-reductive
本文通过构造良好商并给出希尔伯特-芒福德描述，统一处理约化与非约化群作用的几何不变量理论，并应用于不稳定对象模空间、带重数箭图表示及射流。
In this paper, we show the full flag Hilbert scheme of points of nodal curves has only complete intersection singularities. We study the Hilbert scheme of points of the cusp curve and show the punctual Hilbert scheme is isomorphic to \mathbb{P}^1. Furthermore Hilbert scheme has only one singularty along the punctual one.
We obtain effective results for the global generation of pluritheta line bundles on moduli spaces of vector bundles on curves. The main ingredient is an independent result giving an upper bound on the dimension of the Hilbert scheme of coherent quotients of a given vector bundle.
On the fundamental group schemes of certain quotient varieties
本文在$F$-divided和本质有限基本群概形的设定下，证明了Armstrong关于商空间基本群定理的类似结果。
We give some necessary and sufficient conditions for the existence of Néron models of jacobians of semistable morphisms of arbitrary relative dimension over base schemes of arbitrary dimension. To do this, we introduce a notion of alignment for semistable morphisms over any regular base scheme, and show that the jacobian of an aligned projective semistable morphism admits a separated model with the Néron mapping property. When the Picard scheme is smooth over the base scheme along its unit section we show that the converse holds.
Let $U$ be a maximal unipotent subgroup of a connected semisimple group $G$ and $U'$ the derived group of $U$. If $X$ is an affine $G$-variety, then the algebra of $U'$-invariants, $k[X]^U'$, is finitely generated and the quotient morphism $π: X \to X//U'$ is well-defined. In this article, we study properties of such quotient morphisms, e.g. the property that all the fibres of $π$ are equidimensional. We also establish an analogue of the Hilbert-Mumford criterion for the null-cones with respect to $U'$-invariants.
The nonsingular variety G_T parametrizes all graded ideals I of R=k[x,y] for which the Hilbert function H(R/I)=T. The variety G_T has a natural cellular decomposition: each cell V(E) corresponds to a monomial ideal E for which H(R/E)=T. Given a monomial ideal E, the quotient R/E has a basis of monomials in the shape of a partition P(E), having "diagonal lengths" T. The dimension of the cell V(E) is the number of difference one hooks of P(E). We show that G_T is birational to a certain product SGrass(T) of small Grassman varieties, and that over the complexes, the birational map induces an isom…
The quotient of a finite-dimensional vector space by the action of a finite subgroup of automorphisms is usually a singular variety. Under appropriate assumptions, the McKay correspondence relates the geometry of nice resolutions of singularities and the representations of the group. For the Hilbert scheme of points on the affine plane, we study how different correspondences (McKay, dual McKay and multiplicative McKay) are related to each other.
We prove the existence of semiorthogonal decompositions of derived categories of Quot schemes of zero-dimensional quotients on curves in terms of derived categories of symmetric products of curves. The above result is a categorical analogue of a similar formula for the class of Quot schemes in the Grothendieck ring of varieties by Bagnarol-Fantechi-Perroni. It is a special case of a more general Quot formula of relative dimension one, which is regarded as a Bosonic counterpart of the Quot formula conjectured by Jiang and proved by the author. The proof involves categorical wall-crossing formul…
In this paper we study weight homology of singular schemes. Weight homology is an invariant of a singular scheme defined in terms of hypercoverings of resolution of singularities. Our main result is McKay principle for weight homology of quotient singularities, i.e. we describe weight homology of a quotient scheme in terms of weight homology of an equivariant scheme. Our method is to reduce the geometric McKay principle for weight homology to Kato's cohomological Hasse principle for arithmetic schemes. The McKay principle for weight homology implies McKay principle for the homotopy type of the…
We prove a formula for Chow groups of $Quot$-schemes which resolve degeneracy loci of a map between vector bundles, under expected dimension conditions. This result provides a unified way to understand known formulae for various geometric situations such as blowups, Cayley's trick, projectivizations, Grassmannian bundles, flops from Springer type resolutions, as well as provide new phenomena such as formulae for Grassmannain type flips/flops and virtual flips. We also give applications to blowups of determinantal ideals, moduli spaces of linear series on curves, and Hilbert schemes of points o…
We study virtual invariants of Quot schemes parametrizing quotients of dimension at most 1 of the trivial sheaf of rank N on nonsingular projective surfaces. We conjecture that the generating series of virtual K-theoretic invariants are given by rational functions. We prove rationality for several geometries including punctual quotients for all smooth projective surfaces and dimension 1 quotients for surfaces X with p_g>0. We also show that the generating series of virtual cobordism classes can be irrational. Given a K-theory class on X of rank r, we associate natural series of virtual Segre a…
Let $k$ be an algebraically closed field and let $A$ be a finitely generated $k-$algebra. We show that the scheme of n-dimensional representations of $A$ is smooth when $A$ is hereditary and coherent. We deduce from this the smoothness of the Nori-Hilbert scheme associated to $A.$
We generalize the classical Hilbert-Mumford criteria for GIT (semi-)stability in terms of one parameter subgroups of a linearly reductive group G over a field k, to the relative situation of an equivariant, projective morphism X -> Spec A to a noetherian k-algebra A. We also extend the classical projectivity result for GIT quotients: the induced morphism X^ss/G -> Spec A^G is projective. As an example of applications to moduli problems, we consider degenerations of Hilbert schemes of points.
Canonical blow-ups of Lagrangian and Orthogonal Grassmannians
本文通过吹胀各向同性格拉斯曼流形，构造了Hilbert商的universal families，并证明其为光滑弱Fano型，具有简单正则边界除子。
We investigate the geography of Hilbert schemes parametrizing closed subschemes of projective space with specified Hilbert polynomials. We classify Hilbert schemes with unique Borel-fixed points via combinatorial expressions for their Hilbert polynomials. These expressions naturally lead to an arrangement of nonempty Hilbert schemes as the vertices of an infinite full binary tree. Here we discover regularities in the geometry of Hilbert schemes. Specifically, under natural probability distributions on the tree, we prove that Hilbert schemes are irreducible and nonsingular with probability grea…
We study completely the Hilbert scheme and punctual Hilbert scheme of a nodal curve, and the relative Hilbert scheme of a family of curves acquiring a node. The results are then extended, less completely, to flag Hilbert schemes, parametrizing chains of subschemes. We find, notably, that if the total space $X$ of a family $X/B$ is smooth (over an algebraically closed field $\k$), then the relative Hilbert scheme $Hilb_m(X/B)$ is smooth over $\k$ and the flag Hilbert schemes are normal and locally complete intersection, but generally singular.
We call the scheme parameterizing homogeneous ideals with fixed initial ideal the Gröbner scheme. We introduce a Białynicki-Birula decomposition of the Hilbert scheme $\mathrm{Hilb}^{P}_n$ for any Hilbert polynomial $P$ such that the cells are the Gröbner schemes in set-theoretically. Then we obtain a computable homology formula for smooth Hilbert schemes. As a corollary of our argument, we show that the Gröbner scheme for a monomial ideal defining a smooth point in the Hilbert scheme is smooth.
We show that the GIT quotients of suitable loci in the Hilbert and Chow schemes of 4-canonically embedded curves of genus $g\ge 3$ are the moduli space $\bar{M}_g^{\text{ps}}$ of pseudo-stable curves constructed by Schubert in \cite{Schubert} using Chow varieties and 3-canonical models. The only new ingredient needed in the Hilbert scheme variant is a more careful analysis of the stability with respect to a certain 1-ps $λ$ of the $m^{\text{th}}$ Hilbert points of curves $X$ with elliptic tails. We compute the exact weight with which $λ$ acts, and not just the leading term in $m$ of this weigh…
An open question is whether the Hilbert scheme of points of a high dimensional affine space satisfies Murphy's Law, as formulated by Vakil. In this short note, we instead consider the loci in the Hilbert scheme parametrizing punctual schemes with a given Hilbert function, and we show that these loci satisfy Murphy's Law. We also prove a related result for equivariant deformations of curve singularities with $\mathbb G_m$-action.
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.
We study quotients of quasi-affine schemes by unipotent groups over fields of characteristic 0. To do this, we introduce a notion of stability which allows us to characterize exactly when a principal bundle quotient exists and, together with a cohomological vanishing criterion, to characterize whether or not the resulting quasi-affine quotient scheme is affine. We completely analyze the case of G_a-invariant hypersurfaces in a linear G_a-representation W; here the above characterizations admit simple geometric and algebraic interpretations. As an application, we produce arbitrary dimensional f…
We give an explicit example of a Hilbert scheme whose incidence graph has radius two.
We introduce the multigraded Hilbert scheme, which parametrizes all homogeneous ideals with fixed Hilbert function in a polynomial ring that is graded by any abelian group. Our construction is widely applicable, it provides explicit equations, and it allows us to prove a range of new results, including Bayer's conjecture on equations defining Grothendieck's classical Hilbert scheme and the construction of a Chow morphism for toric Hilbert schemes.
For an orbifold X which is the quotient of a manifold Y by a finite group G we construct a noncommutative ring with an action of G such that the orbifold cohomology of X as defined in math.AG/0004129 by Chen and Ruan is the G invariant part. In the case thar Y is S^n for a surface S with trivial canonical class we prove that (a small modification of) the orbifold cohomology of X is naturally isomorphic to the cohomology ring of the Hilbert scheme of n points on S computed in math.AG/0012166 by Lehn and Sorger.
The paper proves that if a reductive group scheme acts properly on a scheme then the geometric quotient exists as an algebraic space. As a consequence we obtain the existence of the moduli spcace of canonically polarized varieties over Spec Z.
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.
Hilbert-90 quotient maps, torsion defects, and symmetric monodromy
通过 Hilbert-90 下降构造约化有理映射 h_d，证明消去因子是挠缺陷现象，分类低次商层，在特征零证明非线性商映射具有全对称几何单值群，在正特征隔离 Frobenius-稀疏 Kummer 和 Artin-Schreier 商。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。