A. A'Campo-Neuen, J. Hausen
We give examples for existence and non-existence of categorical quotients for algebraic group actions in the categories of algebraic varieties and prevarieties. All our examples are subtorus actions on toric varieties.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
A. A'Campo-Neuen and J. Hausen gave an example of an algebraic torus action on an open subset of the affine four space that admits no quotient in the category of algebraic varieties. We show that this example admits a quotient in the category of dense constructible subsets and thereby answer a question of A. Bialynicki-Birula.
Given an action of an affine algebraic group with only trivial characters on a factorial variety, we ask for categorical quotients. We characterize existence in the category of algebraic varieties. Moreover, allowing constructible sets as quotients, we obtain a more general existence result which, for example, settles the case of a finitely generated algebra of invariants. As an application, we provide a combinatorial GIT-type construction of categorial quotients for actions on, e.g. complete varieties with finitely generated Cox ring via lifting to the characteristic space.
We discuss some "folklore" results on categorical crepant resolutions for varieties with quotient singularities.
We consider subtorus actions on complex toric varieties. A natural candidate for a categorical quotient of such an action is the so-called toric quotient, a universal object constructed in the toric category. We prove that if the toric quotient is weakly proper and if in addition the quotient variety is of expected dimension then the toric quotient is in fact a categorical quotient in the category of algebraic varieties. For example, weak properness always holds for the toric quotient of a subtorus action on a toric variety whose fan has a convex support.
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…
Given a variety with a finite group action, we compare its equivariant categorical measure, that is, the categorical measure of the corresponding quotient stack, and the categorical measure of the extended quotient. Using weak factorization for orbifolds, we show that for a wide range of cases, these two measures coincide. This implies, in particular, a conjecture of Galkin and Shinder on categorical and motivic zeta-functions of varieties. We provide examples showing that, in general, these two measures are not equal. We also give an example related to a conjecture of Polishchuk and Van den B…
Categorical genus for log del Pezzo surfaces with cyclic quotient singularities
本文计算具有循环商奇点的log del Pezzo曲面的典范栈的范畴亏格，通过Serre对偶和惯性Riemann–Roch得到闭式公式，并证明其与Tveiten可变亏格及toric退化下的Laurent多项式纤维亏格一致。
In this paper, we study quotients of groupoids and coarse moduli spaces of stacks in a general setting. Geometric quotients are not always categorical, but we present a natural topological condition under which a geometric quotient is categorical. We also show the existence of geometric quotients of finite flat groupoids and give explicit local descriptions. Exploiting similar methods, we give an easy proof of the existence of quotients of flat groupoids with finite stabilizers. As the proofs do not use noetherian methods and are valid for general algebraic spaces and algebraic stacks, we obta…
Suppose that M is a complete hyperkahler manifold with a compact Lie group K acting via hyperkahler isometries and with hyperkahler moment map $(μ_{\mathbb{C}}, μ_{\mathbb{R}}): M\rightarrow \mathfrak{k}^*\otimes\operatorname{Im}(\mathbb{H})$. It is a long-standing problem to determine when the hyperkahler Kirwan map $H^*_K(M,\mathbb{Q}) \longrightarrow H^*(M//K, \mathbb{Q})$ is surjective. We show that for each $n\geq 2$, the natural $U(n)$-action on $M = T^*(SL_n\times\mathbb{C}^n)$ admits a hyperkahler quotient for which the hyperkahler Kirwan map fails to be surjective. As a tool, we estab…
Given a variety defined over a field of characteristic zero and an algebraically integrable foliation of corank less than or equal to two, we show the existence of a categorical quotient, defined on the non-empty open set of stable points, through which every invariant morphism factors uniquely.
Categorical generic fiber
本文将代数簇平坦正常族一般纤维上的凝聚层范畴描述为Serre商，并以此证明了导出等价的专门化及通过形变构造Fourier--Mukai伙伴的新例子。
Categorical quotients for actions of groupoids on varieties
本文证明不可数基域上Weyl群胚对仿射簇作用的几何商在k-概形范畴中万有，通过改编Mumford等人的结果并利用闭点和Jacobson概形。
In this expository article we give a categorical definition of the integral cohomology ring of a stack. We show that for quotient stacks the categorical cohomology may be identified with equivariant cohomology. Via this identification we show that for Deligne-Mumford quotient stacks this cohomology is rationally isomorphic to the rational cohomology of the coarse moduli space. The theory is presented with a focus on the stacks of smooth and stable curves.
In characteristic zero, if a quotient variety has a crepant resolution, the Euler characteristic of the crepant resolution is equal to the number of conjugacy classes of the acting group, by Batyrev's theorem. This is one of the McKay correspondence. It is natural to consider the analogue statement in the positive characteristic. In this paper, we present sequences of crepant resolutions of quotient varieties in the positive characteristic and show that one of the sequences gives a counterexample to the analogue statement of Batyrev's theorem.
A Note on Categorical Entropy of Bielliptic Surfaces and Enriques Surfaces
本文首次构造了双椭圆曲面上具有正范畴熵的自等价，证明其满足Gromov-Yomdin型等式，并在恩里克斯曲面上给出该等式的反例。
In positive characteristic, there exist counterexamples to the statement corresponding to Batyrev's theorem concerning the McKay correspondence. In this paper, we give another computation of the counterexamples by using stringy-point count for some sequences of quotient varieties. There is a proof of the Serre-Bhagava's mass formula, which is important formula in the number theory, from the computation of stringy-point count of a quotient variety associated to a representation of symmetric group. Our computation of the stringy-point count in this paper is regarded as a variation of this proof …
In this note, we consider unramified cohomology with $\mathbb{Z}/2$ coefficients for some (degree two) quotient varieties and describe a method that allows one to prove the non-vanishing of these groups under certain conditions. We apply this method to prove a non-vanishing statement in the case of Kummer varieties. Combining this with work of Colliot-Thélène and Voisin, we obtain a new type of three-dimensional counterexample to the integral Hodge conjecture.
On the graded singularity category of Abelian quotient singularities, I. Smooth categorical compactification
针对有限 Abel 子群作用于仿射空间所得商奇点，本文利用非交换 crepant 消解构造其非交换射影空间导出范畴与分次奇点范畴的 Efimov 光滑紧化，并给出核中典范经典生成元。
We study the categorical entropy and counterexamples to Gromov-Yomdin type conjecture via homological mirror symmetry of K3 surfaces established by Sheridan-Smith. We introduce asymptotic invariants of quasi-endofunctors of dg categories, called the Hochschild entropy. It is proved that the categorical entropy is lower bounded by the Hochschild entropy. Furthermore, motivated by Thurston's classical result, we prove the existence of a symplectic Torelli mapping class of positive categorical entropy. We also consider relations to the Floer-theoretic entropy.
We show that if a flat group scheme acts properly, with finite stabilizers, on an algebraic space, then a quotient exists as a separated algebraic space. More generally we show any flat groupid for which the family of stabilizers is finite has a uniform geometric, uniform categorical quotient in the category of algebraic spaces. Our argument is elementary and essentially self contained.
Crepant resolutions of four-dimensional finite quotients
该研究针对Dais-Henk-Ziegler的猜想给出反例，确定有限群G⊂SL₄(ℤ)对应的ℂ⁴/G是否存在射影亏格消解，提出十条准则并讨论相关问题。
Counterexamples to the Polishchuk--Van den Bergh conjecture on curves
本文构造了光滑射影复曲线上使Polishchuk--Van den Bergh猜想A失败的有限群作用，并给出最大正交例外对象数及线性嵌入分解的充要条件。
We study a basic algorithmic problem in algebraic geometry, which we call NNL, of constructing a normalizing map as per Noether's Normalization Lemma. For general explicit varieties, as formally defined in this paper, we give a randomized polynomial-time Monte Carlo algorithm for this problem. For some interesting cases of explicit varieties, we give deterministic quasi-polynomial time algorithms. These may be contrasted with the standard EXPSPACE-algorithms for these problems in computational algebraic geometry. In particular, we show that: (1) The categorical quotient for any finite dimensio…
We consider subtorus actions on divisorial toric varieties. Here divisoriality means that the variety has many Cartier divisors like quasiprojective and smooth ones. We characterize when a subtorus action on such a toric variety admits a categorical quotient in the category of divisorial varieties. Our result generalizes previous statements for the quasiprojective case. An important tool for the proof is a universal reduction of an arbitrary toric variety to a divisorial one. This is done in terms of support maps, a notion generalizing support functions on a polytopal fan. A further essential …
We define the Chow ring of the classifying space of a linear algebraic group. In all the examples where we can compute it, such as the symmetric groups and the orthogonal groups, it is isomorphic to a natural quotient of the complex cobordism ring of the classifying space, a topological invariant. We apply this to get torsion information on the Chow groups of varieties defined as quotients by finite groups. This generalizes Atiyah and Hirzebruch's use of such varieties to give counterexamples to the Hodge conjecture with integer coefficients.
One fundamental consequence of a scheme $X$ being proper is that the functor classifying maps from $X$ to any other suitably nice scheme or algebraic stack is representable by an algebraic stack. This result has been generalized by replacing $X$ with a proper algebraic stack. We show, however, that it also holds when $X$ is replaced by many examples of algebraic stacks which are not proper, including many global quotient stacks. This leads us to revisit the definition of properness for stacks. We introduce the notion of a formally proper morphism of stacks and study its properties. We develop …
Counterexamples to the Ambro--Kawamata effective non-vanishing conjecture
本文在特征0或p≠3的代数闭域上构造反例，否证Ambro--Kawamata有效非消失猜想，并给出相关几何变体与阶5 Jacobian商。
Nagata's famous counterexample to Hilbert's fourteenth problem shows that the ring of invariants of an algebraic group action on an affine algebraic variety is not always finitely generated. In some sense, however, invariant rings are not far from affine. Indeed, invariant rings are always quasi-affine, and there always exist finite separating sets. In this paper, we give a new method for finding a quasi-affine variety on which the ring of regular functions is equal to a given invariant ring, and we give a criterion to recognize separating algebras. The method and criterion are used on some kn…
Codimension two torus actions on the affine space
本文分类了具有复杂度二环面作用、唯一不动点且商为环面爆破的光滑可缩仿射簇，为仿射几何线性化猜想提供潜在反例。
The aim of this paper is to show that classical geometric invariant theory (GIT) has an effective analogue for linear actions of a non-reductive algebraic group $H$ with graded unipotent radical on a projective scheme $X$. Here the linear action of $H$ is required to extend to a semi-direct product $\hat{H} = H \rtimes \mathbb{G}_m$ with a multiplicative one-parameter group which acts on the Lie algebra of the unipotent radical $U$ of $H$ with all weights strictly positive, and which centralises a Levi subgroup $R \cong H/U$ of $H$. We show that $X$ has an $H$-invariant open subscheme (the 'ha…
In this article, we give a survey of Geometric Invariant Theory for Toric Varieties, and present an application to the Einstein-Weyl Geometry. We compute the image of the Minitwistor space of the Honda metrics as a categorical quotient according to the most efficient linearization. The result is the complex weighted projective space CP_(1,1,2). We also find and classify all possible quotients.
Stability conditions on free abelian quotients
研究光滑射影簇在有限阿贝尔群自由作用下的商簇上的斜率稳定向量丛和Bridgeland稳定性条件，证明了覆盖上的G不变几何稳定性条件与商簇上关于群表示的对偶群不变的几何稳定性条件之间的解析同构，并应用于描述自由阿贝尔商簇稳定性流形中的连通分支。
A characterization of virtually free actions via arc spaces and its application to the lower semi-continuity conjecture
本文引入局部化虚拟自由作用概念，通过商簇的弧空间刻画，给出超商奇点精确逆伴随猜想成立的充要条件，并无条件证明下半连续猜想。
The Heisenberg category of a category
本研究从带（同伦）Serre函子的k-线性或DG范畴出发，构造出范畴化原范畴数值K-群海森堡代数的2-范畴，定义Fock空间表示的2-范畴类似物，推广统一已有范畴化海森堡代数作用，给出Krug对称商栈导出范畴作用的完整范畴化增强。
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…
In the theory of algebraic group actions on affine varieties, the concept of a Kempf-Ness set is used to replace the categorical quotient by the quotient with respect to a maximal compact subgroup. By making use of the recent achievements of "toric topology" we show that an appropriate notion of a Kempf-Ness set exists for a class of algebraic torus actions on quasiaffine varieties (coordinate subspace arrangement complements) arising in the Batyrev-Cox "geometric invariant theory" approach to toric varieties. We proceed by studying the cohomology of these "toric" Kempf-Ness sets. In the case …
Let Y be a smooth algebraic stack exhausted by quotient stacks. Given a Kirwan-Ness stratification of the cotangent stack T^*Y, we establish a recollement package for twisted D-modules on Y, gluing the category from subquotients described via modules microsupported on the Kirwan-Ness strata of T^*Y. The package includes unusual existence and "preservation-of-finiteness'' properties for functors of the full category of twisted D-modules, extending the standard functorialities for holonomic modules. In the case that Y = X/G is a quotient stack, our results provide a higher categorical analogue o…
Derived categories of Quot schemes on smooth curves and tautological bundles
本文研究了光滑曲线上的有限长度商丛的导出范畴，定义了移位量子环状群作用，并通过分解计算塔利奥尼亚丛的上同调。
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 prove that the space of coinvariants of functions on an affine variety by a Lie algebra of vector fields whose flow generates finitely many leaves is finite-dimensional. Cases of the theorem include Poisson (or more generally Jacobi) varieties with finitely many symplectic leaves under Hamiltonian flow, complete intersections in Calabi-Yau varieties with isolated singularities under the flow of incompressible vector fields, quotients of Calabi-Yau varieties by finite volume-preserving groups under the incompressible vector fields, and arbitrary varieties with isolated singularities under th…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。