Ming-chang Kang
We study the essential dimension of a finite group G over a field K. A generalization of the central extension theorem of Buhler and Reichstein (Compositio Math. 106 (1997) 159-179, Theorem 5.3) is obtained. We also get lower bounds of essential dimension of symmetric groups and alternating groups over field of any characteristic.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We discuss the notion of essential dimension of a finite group and explain its relation with birational algebraic geometry. We show how this leads to a (partial) classification of simple finite groups of essential dimension less than or equal to 3.
Given a finite smooth group scheme $G$ over a field of characteristic $p > 0$, we show that the essential dimension of $G$ at $p$ is $0$ when $p$ does not divide the order of $G$, and $1$ when it does.
We classify quasi-simple finite groups of essential dimension 3.
We classify all finite groups of essential dimension 2 over an algebraically closed field of characteristic 0.
The essential p-dimension of the split finite quasi-simple groups of classical Lie type
本文计算了经典型李型分裂有限拟单群在定义素数处的本原 p-维数，涵盖一般线性群、特殊线性群、辛群和正交群产生的拟单群。
A Summary of Known Bounds on the Essential Dimension and Resolvent Degree of Finite Groups
本文综述特征 0 下有限群本质维数 ed(G) 与预解式次数 RD(G) 的已知界，并在附录中改进 PSL(2,F_11) 的 RD 界。
We prove that if a finite group scheme $G$ over a field $k$ has essential dimension one, then it embeds in $PGL_{2/k}$. We use this to give an explicit classification of all infinitesimal group schemes of essential dimension one over any field and a characterisation of all finite group schemes of essential dimension one over algebraically closed fields.
The essential $l$-dimension of finite groups of Lie type, $l \neq 2$
本文计算了经典李型有限群在奇素数 $l$ 不等于定义素数时的本原 $l$ 维数，涵盖一般线性群、辛群、正交群、酉群及其单因子。
We use a recent advance in birational geometry to prove new lower bounds on the essential dimension of some finite groups.
We compare the notions of essential dimension and stable cohomological dimension of a finite group G, prove that the latter is bounded by the length of any normal series with cyclic quotients for G, and show that, however, this bound is not sharp by showing that the stable cohomological dimension of the finite Heisenberg groups H_p, p any prime, is equal to two.
Let $X$ be a normal, connected and projective variety over an algebraically closed field $k$. It is known that a vector bundle $V$ on $X$ is essentially finite if and only if it is trivialized by a proper surjective morphism $f:Y\to X$. In this paper we introduce a different approach to this problem which allows to extend the results to normal, connected and strongly pseudo-proper algebraic stack of finite type over an arbitrary field $k$.
We determine the essential dimension of the spin group Spin(n) as an algebraic group over a field of characteristic 2, for n at least 15. In this range, the essential dimension is the same as in characteristic not 2. In particular, it is exponential in n. This is surprising in that the essential dimension of the orthogonal groups is smaller in characteristic 2. We also find the essential dimension of Spin(n) in characteristic 2 for n at most 10.
We follow the pattern in a recent paper of Otabe [Ota15] to define an action of the étale fundamental group scheme $π^\text{et}(X)$ on the local component of the essentially finite fundamental group scheme $π^{\mathrm{EF}}(X)$ of Nori. We show that the associated representation is faithful when $X$ is a curve of genus $\geq 2$.
We show that any separated essentially finite-type map $f$ of noetherian schemes globally factors as $f = hi$ where $i$ is an injective localization map and $h$ a separated finite-type map. In particular, via Nagata's compactification theorem, $h$ can be chosen to be proper. We apply these results to Grothendieck duality. We also obtain other factorization results and provide essentialized versions of many general results such as Zariski's Main Theorem, Chow's Lemma, and blow-up descriptions of birational maps.
A. Vistoli observed that, if Grothendieck's section conjecture is true and $X$ is a smooth hyperbolic curve over a field finitely generated over $\mathbb{Q}$, then $\underlineπ_{1}(X)$ should somehow have essential dimension $1$. We prove that an infinite, pro-finite étale group scheme always has infinite essential dimension. We introduce a variant of essential dimension, the fce dimension $\operatorname{fced} G$ of a pro-finite group scheme $G$, which naturally coincides with $\operatorname{ed} G$ if $G$ is finite but has a better behaviour in the pro-finite case. Grothendieck's section conje…
We give a simple formula for the essential dimension of a finite pseudo-reflection group at a prime p and determine the absolute essential dimension for most irreducible pseudo-reflection groups. We also study the "poor man's essential dimension" of an arbitrary finite group, an intermediate notion between the absolute essential dimension and the essential dimension at a prime p.
By a result of Biswas and Dos Santos, on a smooth and projective variety over an algebraically closed field, a vector bundle trivialized by a proper and surjective map is essentially finite, that is it corresponds to a representation of the Nori fundamental group scheme. In this paper we obtain similar results for non-proper non-smooth algebraic stacks over arbitrary fields of characteristic $p>0$. As by-product we have the following partial generalization of the Biswas-Dos Santos' result in positive characteristic: on a pseudo-proper and inflexible stack of finite type over $k$ a vector bundl…
We prove the existence of a Galois closure for towers of torsors under finite group schemes over a proper, geometrically connected and geometrically reduced algebraic stack $X$ over a field $k$. This is done by describing the Nori fundamental gerbe of an essentially finite cover of $X$. A similar result is also obtained for the $S$-fundamental gerbe.
Let $X$ be a reduced connected $k$-scheme pointed at a rational point $x \in X(k)$. By using tannakian techniques we construct the Galois closure of an essentially finite $k$-morphism $f:Y\to X$ satisfying the condition $H^0(Y,\mathcal{O}_Y)=k$; this Galois closure is a torsor $p:\hat{X}_Y\to X$ dominating $f$ by an $X$-morphism $λ:\hat{X}_Y\to Y$ and universal for this property. Moreover we show that $λ:\hat{X}_Y\to Y$ is a torsor under some finite group scheme we describe. Furthermore we prove that the direct image of an essentially finite vector bundle over $Y$ is still an essentially finit…
The essential and Cremona dimensions of a group
本文通过实例支持猜想：有限群在复数域上的克雷莫纳维数不大于其本质维数。
We investigate essential dimension of finite groups over arbitrary fields and give a systematic treatment of multihomogenization, introduced by H.Kraft, G.Schwarz and the author. We generalize the central extension theorem of Buhler and Reichstein and use multihomogenization to substitute and generalize the stack-involved part of the theorem of Karpenko and Merkurjev about the essential dimension of p-groups. One part of this paper is devoted to the study of completely reducible faithful representations. Amongst results concerning faithful representations of minimal dimension there is a comput…
Let G be a connected linear algebraic group defined over an algebraically closed field k and H be a finite abelian subgroup of G whose order is prime to char(k). We show that the essential dimension of G is bounded from below by rank(H) - rank C_G(H)^0, where rank C_G(H)^0 denotes the rank of the maximal torus in the centralizer C_G(H). This inequality, conjectured by J.-P. Serre, generalizes previous results of Reichstein -- Youssin (where char(k) is assumed to be 0 and C_G(H) to be finite) and Chernousov -- Serre (where H is assumed to be a 2-group).
Let $K$ be a characteristic zero algebraic function field with a valuation $ν$. Let $L$ be a finite extension of $K$ and $ω$ be an extension of $ν$ to $L$. We establish that the valuation ring $V_ω$ of $ω$ is essentially finitely generated over the valuation ring $V_ν$ of $ν$ if and only if the initial index $ε(ω|ν)$ is equal to the ramification index $e(ω|ν)$ of the extension. This gives a positive answer, for characteristic zero algebraic function fields, to a question posed by Hagen Knaf.
Essential Dimension and Faithful Rank of Finite p-Gerbes
该研究将Karpenko–Merkurjev定理推广至几何惯性群为p-群的有限p-挠子，明确了其本质维数与忠实秩的关系，引入商压缩维数并建立了其与本质p-维数的界。
Essentially finite $G$-torsors
本文将本质有限向量丛推广至任意连通约化群的 $G$-torsors，给出其 Tannakian 解释，并研究了度为 0 的本质有限 $G$-torsors 在半稳定 torsors 空间中的稠密性。
We study the essential dimension and essential p-dimension of the moduli stack of vector bundles over a smooth orbifold curve containing a rational point. We improve the known bounds on this essential dimension and obtain an equality modulo the famous conjecture of Colliot-Thelene, Karpenko and Merkurjev. In the case of essential p-dimension we obtain an equality.
We find upper bounds for the essential dimension of various moduli stacks of $\sln$-bundles over a curve. When $n$ is a prime power, our calculation computes the essential dimension of the stack of stable bundles exactly and the essential dimension is not equal to the dimension in this case.
Moduli of $\mathcal{G}$-bundles under nonconnected group schemes and nondensity of essentially finite bundles
该研究证明了光滑射影曲线上非连通约化群概形的主$\u003cmathcal{G}\u003e$-丛存在射影良好模空间，且模栈可分解为有限子栈，进而证明除环面群或亏格小于2的曲线外，0次半稳定$G$-丛模空间中本质有限$G$-丛不稠密。
Given an hermitian space we compute its essential dimension, Chow motive and prove its incompressibility in certain dimensions.
We define and study the essential dimension of an algebraic stack. We compute the essential dimension of the stacks Mgn and MgnBar of smooth, or stable, n-pointed curves of genus g. We also prove a general lower bound for the essential dimension of algebraic groups with a non-trivial center. Using this, we find new exponential lower bounds for the essential dimension of spin groups and new formulas for the essential dimension of some finite p-groups. Finally, we apply the lower bound for spin groups to the theory of the Witt ring of quadratic forms over a field k.
We will calculate the essential dimension of the moduli stack of polarized K3 surfaces, including the positive char case.
Essential finite generation of extensions of valuation rings
本文在完全一般性下证明了 Knaf 猜想，即用相关赋值扩张的经典不变量来刻画赋值环局部扩张何时本原有限型，推进了赋值局部一致化问题。
We find upper bounds on the essential dimension of the moduli stack of parabolic vector bundles over a curve. When there is no parabolic structure, we improve the known upper bound on the essential dimension of the usual moduli stack. Our calculations also give lower bounds on the essential dimension of the semistable locus inside the moduli stack of vector bundles of rank $r$ and degree $d$ without parabolic structure.
In this essay we explore the notion of essential dimension using the theory of valuations of fields. Given a field extension K/k and a valuation on K that is trivial on k, we prove that the rank of the valuation cannot exceed the transcendence degree trdeg K. We use this inequality to prove lower bounds on the essential dimension in some interesting situations. We study orbits of a torus action and find a formula for the essential dimension of the functor of these orbits.
We show that Y. Prokhorov's "Simple Finite Subgroups of the Cremona Group of Rank 3" implies that, over any field of characteristic 0, the essential dimensions of the alternating group, A_7, and the symmetric group, S_7, are 4.
Let k be a base field, K be a field containing k and L/K be a field extension of degree n. The essential dimension ed(L/K) over k is a numerical invariant measuring "the complexity" of L/K. Of particular interest is $τ$(n) = max { ed(L/K) | L/K is a separable extension of degree n}, also known as the essential dimension of the symmetric group $S_n$. The exact value of $τ$(n) is known only for n $\leq$ 7. In this paper we assume that k is a field of characteristic p > 0 and study the essential dimension of inseparable extensions L/K. Here the degree n = [L:K] is replaced by a pair (n, e) which …
Following up on our earlier work and the work of N. Karpenko and A. Merkurjev, we study the essential p-dimension of linear algebraic groups G whose connected component G^0 is a torus.
Let K be an arbitrary field. We will determine explicitly all the nontrivial finite groups of essential dimension one over K.
On the essential dimension of symplectic vector bundles over curves
该研究针对特征零域上亏格≥2的光滑几何连通射影曲线，借助辛丛模叠的通用gerbe周期为2的特性，精确计算出辛丛模叠的本质维数，弥补了向量丛情形下无法精确计算的相关问题。
The behavior of essential dimension under specialization
该研究证明了在特定条件下，覆盖的闭点本质维度不超过通用点的本质维度，并应用于混合特征和等特征场景。
We study the essential dimension of representations of a fixed quiver with given dimension vector. We also consider the question of when the genericity property holds, i.e., when essential dimension and generic essential dimension agree. We classify the quivers satisfying the genericity property for every dimension vector and show that for every wild quiver the genericity property holds for infinitely many of its Schur roots. We also construct a large class of examples, where the genericity property fails. Our results are particularly detailed in the case of Kronecker quivers.
Suppose $G$ is a finite group and $p$ is either a prime number or $0$. For $p$ positive, we say that $G$ is weakly tame at $p$ if $G$ has no non-trivial normal $p$-subgroups. By convention we say that every finite group is weakly tame at $0$. Now suppose that $G$ is a finite group which is weakly tame at the residue characteristic of a discrete valuation ring $R$. Our main result shows that the essential dimension of $G$ over the fraction field $K$ of $R$ is at least as large as the essential dimension of $G$ over the residue field $k$. We also prove a more general statement of this type for a…
In this paper, we will consider the period index problems of elliptic curves and introduce a value called generic index which is closed related to the essential dimension of Picard stacks. In particular, we will use examples to see that usually the period and generic index are different. Our construction is different with Cassel's example.
The behavior of essential dimension under specialization II
该研究针对域上线性代数群的本原一般自由G-簇族，证明温和假设下几何纤维本质维数仅在基簇可数扎里斯基闭子集并上下降、其余区域恒定，并给出相关应用。
We prove a new upper bound on the essential p-dimension of the projective linear group PGLn.
Let p be a prime, k be a field of characteristic different from p containing a primitive p-th root of unity and N be the normalizer of the maximal torus in the projective linear group PGLn. We compute the exact value of the essential dimension ed(N;p) of N at p for every n.
We discuss essential dimension of group schemes, with particular attention to infinitesimal group schemes. We prove that the essential dimension of a group scheme of finite type over a field k is at least equal to the difference between the dimension of its Lie algebra and its dimension. Furthermore, we show that the essential dimension of a trigonalizable group scheme of length p^{n} over a field of characteristic p>0 is at most n. We give several examples.
Essential dimension of isogenies
本文研究复阿贝尔簇同源映射的本质维数，给出在许多情形下精确的下界，并证明对所有 m≥2 的乘以 m 映射均不可压缩，从而证实 Brosnan 猜想。
We study the notion of essential dimension for a linear representation of a finite group. In characteristic zero we relate it to the canonical dimension of certain products of Weil transfers of generalized Severi-Brauer varieties. We then proceed to compute the canonical dimension of a broad class of varieties of this type, extending earlier results of the first author. As a consequence, we prove analogues of classical theorems of R. Brauer and O. Schilling about the Schur index, where the Schur index of a representation is replaced by its essential dimension. In the last section we show that …
We characterize all fields of definition for a given coherent sheaf over a projective scheme in terms of projective modules over a finite-dimensional endomorphism algebra. This yields general results on the essential dimension of such sheaves. Applying them to vector bundles over a smooth projective curve C, we obtain an upper bound for the essential dimension of their moduli stack. The upper bound is sharp if the conjecture of Colliot-Thélène, Karpenko and Merkurjev holds. We find that the genericity property proved for Deligne-Mumford stacks by Brosnan, Reichstein and Vistoli still holds for…
In this paper we develop the theory of essential dimension of group schemes over an integral base. Shortly we concentrate over a local base. As a consequence of our theory we give a result of invariance of the essential dimension over a field. The case of group schemes over a discrete valuation ring is discussed. Moreover we propose a generalization of Ledet conjecture, which predicts the essential dimension of cyclic $p$-groups in positive characteristic, for finite commutative unipotent group schemes. And we show some results and some consequences of this new conjecture.
We propose a generalization of Ledet conjecture, which predicts the essential dimension of cyclic $p$-groups in characteristic $p$, for finite commutative unipotent group schemes. And we show some evidence and some consequences of this new conjecture.
We compute the essential dimension of the functors Forms_{n,d} and Hypersurf_{n, d} of equivalence classes of homogeneous polynomials in n variables and hypersurfaces in P^{n-1}, respectively, over any base field k of characteristic 0. Here two polynomials (or hypersurfaces) over K are considered equivalent if they are related by a linear change of coordinates with coefficients in K. Our proof is based on a new Genericity Theorem for algebraic stacks, which is of independent interest. As another application of the Genericity Theorem, we prove a new result on the essential dimension of the stac…
In this paper, we investigate, for varieties over $\mathbb C$ with trivial group of $0$-cycles, the gap between essential $\mathrm{CH}_0$-dimension $2$ and essential $\mathrm{CH}_0$-dimension $0$. In particular, we present sufficient (and necessary) conditions for a variety with trivial group of $0$-cycles and essential $\mathrm{CH}_0$-dimension $\leq 2$ to have, in fact, essential $\mathrm{CH}_0$-dimension $0$.
Let X be a smooth projective variety defined over an algebraically closed field k. Nori constructed a category of vector bundles on X, called essentially finite vector bundles, which is reminiscent of the category of representations of the fundamental group (in characteristic zero). In fact, this category is equivalent to the category of representations of a pro--finite group scheme which controls all finite torsors. We show that essentially finite vector bundles coincide with those which become trivial after being pulled back by some proper and surjective morphism to X.
Galois self-covers of projective spaces and essential dimensions
分类射影空间的伽罗瓦自覆盖，并证明每个非平凡自覆盖的本质维数达到最大值n。
We prove that the essential dimension of the spinor group Spin_n grows exponentially with n; in particular, we give a precise formula for this essential dimension when n is not divisible by 4. We use this result to show that the number of 3-fold Pfister forms needed to represent the Witt class of a general quadratic form of rank n with trivial discriminant and Hasse-Witt invariant grows exponentially with n. This paper overlaps with our earlier preprint arXiv:math/0701903 . That preprint has splintered into several parts, which have since acquired a life of their own. In particular, see "Essen…
The genericity theorem for the essential dimension of tame stacks
本文证明了正则驯顺叠本质维数的通用性定理，在域上局部有限型时其本质维数等于泛本质维数，并在一维noetherian局部整环上给出了相应不等式。
Essential dimension of reductive groups via generically free representations
本文通过普遍自由表示提出计算缩减群本质维度的方法，并确定了经典类型和E6类型半单群的本质维度。
Let $k$ be a field, $A$ a finitely generated associative $k$-algebra and $\operatorname{Rep}_A[n]$ the functor $\operatorname{Fields}_k\to \operatorname{Sets}$, which sends a field $K$ containing $k$ to the set of isomorphism classes of representations of $A_K$ of dimension at most $n$. We study the asymptotic behavior of the essential dimension of this functor, i.e., the function $r_A(n) := \operatorname{ed}_k(\operatorname{Rep}_A[n])$, as $n\to\infty$. In particular, we show that the rate of growth of $r_A(n)$ determines the representation type of $A$. That is, $r_A(n)$ is bounded from above…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。