Kiran S. Kedlaya
We prove that every projective variety of dimension n over a field of positive characteristic admits a morphism to projective n-space, etale away from the hyperplane H at infinity, which maps a chosen divisor into H and a chosen smooth point not on the divisor to some point not in H.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We prove that every geometrically reduced projective variety of pure dimension n over a field of positive characteristic admits a morphism to projective n-space, etale away from the hyperplane H at infinity, which maps a chosen divisor into H and some chosen smooth points not on the divisor to points not in H. This improves our earlier result in math.AG/0207150, which was restricted to infinite perfect fields. We also prove a related result that controls the behavior of divisors through the chosen point.
Let k be an algebraically closed field of positive characteristic. The goal of this paper is to characterize the proper smooth curves X/k of positive genus g equipped with a k-rational point P such that X¶can be realized as an etale cover of the affine line. A first elementary analysis shows that such a cover exists if and only if there exists an exact regular differential form on X having a unique zero at P (of order 2g-2). The main inconvenient of this approach is that it doesn't give any control on the degree of the cover. A finer investigation, essentially based on the duality between the …
This paper computes the Galois group of the Galois cover of the composition of an étale double cover of a cyclic $p$-gonal cover for any prime $p$. Moreover a relation between some of its Prym varieties and the Jacobian of a subcover is given. In a sense this generalizes the trigonal construction.
We show that the coarse moduli space $\cR_5$ of étale double covers of curves of genus~5 over the complex numbers is unirational. We give two slightly different arguments, one purely geometric and the other more computational.
Working with a singular variety X, one is often interested in comparing the set of etale covers of X with that of its smooth locus X_reg. More precisely, one may ask: What are the obstructions to extend finite etale covers of X_reg to all of X? How do the etale fundamental groups of X and of its smooth locus compare? For projective varieties with Kawamata log terminal (klt) singularities we answer these questions in part. The main result of this paper asserts that there are no infinite towers of finite morphisms over a klt base variety where all morphisms are etale in codimension one, but bran…
We compute the p-adic geometric pro-étale cohomology of the affine space (in any dimension). This cohomogy is non-zero, contrary to the étale cohomology, and can be described by means of differential forms.
It is well known that the Prym variety of an étale cyclic covering of a hyperelliptic curve is isogenous to the product of two Jacobians. Moreover, if the degree of the covering is odd or congruent to 2 mod 4, then the canonical isogeny is an isomorphism. We compute the degree of this isogeny in the remaining cases and show that only in the case of coverings of degree 4 it is an isomorphism.
Autoduality of compactified Pryms for étale double covers of curves with planar singularities
针对具有平面奇点的整曲线的平展双覆盖，构造了紧化Prym簇上的Poincaré层，并证明了相应的Fourier-Mukai变换是其导出范畴的自等价，进而应用于证明Corti-Hanamura的动机分解猜想并构造乘性动机反常滤过。
Using Nisnevich coverings and a Hilbert stack of stacky points, we prove étale dévissage results for non-representable étale and quasi-finite flat coverings. We give applications to absolute noetherian approximation of algebraic stacks and compact generation of derived categories.
A note on étale endomorphisms of normal schemes
本文证明了在涉及从满射平展态射构造平展覆盖的额外假设下，正规不可约Noetherian且单连通概形的满射平展自同态必为单射，并指出若预期平展覆盖是Galois的，某些情形下可移除满射假设。
On the behavior of stringy motives under Galois quasi-étale covers
本文研究 Galois 拟平展覆盖下弦性动机的下降行为，证明其下降并在分歧时严格，进而将 KLT 奇点基本群有限性归结为 DCC 性质，并给出曲面及对数终端奇点的无特征证明。
We prove that every algebraic stack, locally of finite type over an algebraically closed field with affine stabilizers, is étale-locally a quotient stack in a neighborhood of a point with a linearly reductive stabilizer group. The proof uses an equivariant version of Artin's algebraization theorem proved in the appendix. We provide numerous applications of the main theorems.
Let k be any global field of characteristic not 2. We construct a k-variety X such that X(k) is empty, but for which the emptiness cannot be explained by the Brauer-Manin obstruction or even by the Brauer-Manin obstruction applied to finite etale covers.
On endomorphisms of affine spaces and the Jacobian problem
本文研究仿射空间平展自同态的纤维基数、像补集及几何次数，构造反例否证若干猜想，并证明雅可比猜想在特定复合条件下成立。
Given a quasi-projective variety X with only Kawamata log terminal singularities, we study the obstructions to extending finite étale covers from the smooth locus $X_{\mathrm{reg}}$ of $X$ to $X$ itself. A simplified version of our main results states that there exists a Galois cover $Y \rightarrow X$, ramified only over the singularities of $X$, such that the étale fundamental groups of $Y$ and of $Y_{\mathrm{reg}}$ agree. In particular, every étale cover of $Y_{\mathrm{reg}}$ extends to an étale cover of $Y$. As first major application, we show that every flat holomorphic bundle defined on $…
We introduce the category of finite étale covers of an arbitrary schematic finite space $X$ and show that, equipped with an appropriate natural fiber functor, it is a Galois Category. This allows us to define the étale fundamental group of schematic spaces. If $X$ is a finite model of a scheme $S$, we show that the resulting Galois theory on $X$ coincides with the classical theory of finite étale covers on $S$ and therefore we recover the classical étale fundamental group introduced by Grothendieck. In order to prove these results it is crucial to find a suitable geometric notion of connectedn…
On the integrality of étale extensions of polynomial rings
受Rangachev赋值定理启发，研究特征零代数闭域上满足整闭包准素条件的多项式环平展扩张，证明其除子类群为无限循环群，二维情形下对应指数3的Danilov-Gizatullin曲面，且强假设下二维复平展扩张必为整扩张。
We prove that a strongly $F$-regular scheme $X$ admits a finite, generically Galois, and étale-in-codimension-one cover $\widetilde X \to X$ such that the étale fundamental groups of $\widetilde X$ and $\widetilde X_{reg}$ agree. Equivalently, every finite étale cover of $\widetilde X_{reg}$ extends to a finite étale cover of $\widetilde X$. This is analogous to a result for complex klt varieties by Greb, Kebekus and Peternell.
I show that each etale n-cohomology class on noetherian schemes comes from a Cech cocycle, provided that any n-tuple of points admits an affine open neighborhood. Together with results of Raeburn and Taylor on the bigger Brauer group, this implies that for schemes such that each pair of points admits an affine open neighborhood, any etale G_m-gerbe comes from a central separable algebra. Such algebras are nonunital generalizations of Azumaya algebras. I also prove that, on normal noetherian schemes, each Zariski G_m-gerbe comes from a central separable algebra.
We introduce perfect resolving algebras and study their fundamental properties. These algebras are basic for our theory of differential graded schemes, as they give rise to affine differential graded schemes. We also introduce etale morphisms. The purpose for studying these, is that they will be used to glue differential graded schemes from affine ones with respect to an etale topology.
In 2010, Poonen gave the first example of failure of the local-global principle that cannot be explained by Skorobogatov's étale Brauer-Manin obstruction. Motivated by this example, we show that the Brauer-Manin obstruction detects non-existence of rational points on a sufficiently fine Zariski open cover of any variety over an imaginary quadratic or totally real field. We provide some evidence for why this is expected to happen more generally over any number field, some of which relates to the section conjecture in anabelian geometry. We then prove a result about the behavior of the étale Bra…
A p-typical cover of a connected scheme on which p=0 is a finite etale cover whose monodromy group (i.e., the Galois group of its normal closure) is a p-group. The geometry of such covers exhibits some unexpectedly pleasant behaviors; building on work of Katz, we demonstrate some of these. These include a criterion for when a morphism induces an isomorphism of the p-typical quotients of the etale fundamental groups, and a decomposition theorem for p-typical covers of polynomial rings over an algebraically closed field.
Galois Covers of Singular Curves in Positive Characteristics
本文研究正特征域上奇异曲线的平展基本群结构，证明射影和仿射情形下其可分解为正规化基本群与自由投射有限群的自由积，并给出有限群作为伽罗瓦群出现的完整分类。
This paper is concerned with a refinement of the Stein factorization, and with applications to the study of deformations of surjective morphisms. We show that every surjective morphism f:X->Y between normal projective varieties factors canonically via a finite cover of Y that is etale in codimension one. This "maximally etale factorization" is characterized in terms of positivity of the push-forward of the structure sheaf and satisfies a functorial property. It turns out that the maximally etale factorization is stable under deformations, and naturally decomposes an etale cover of the Hom-sche…
Suppose given a Galois etale cover Y -> X of proper non-singular curves over an algebraically closed field k of prime characteristic p. Let H be its Galois group, and G any finite extension of H by a p-group P. We give necessary and sufficient conditions on G to be the Galois group of an etale cover of X dominating Y -> X.
Let S be a minimal complex surface of general type with $q(S)=0$. We prove the following statements concerning the algebraic fundamental group: I) Assume that K^2_S\leq 3χ(S). Then S has an irregular etale cover if and only if S has a free pencil of hyperelliptic curves of genus 3 with at least 4 double fibres. II) If K^2_S=3 and χ(S)=1, then S has no irregular etale cover. III) If K^2_S<3χ(S) and S does not have any irregular etale cover, then the order of the algebraic fundamental group is lesser or equal to 9, and if equality occurs then K^2_S=2, χ(S)=1.
A criterion for solving embedding problems for the etale fundamental group of curves
本文研究特征$p>0$的代数闭域上仿射曲线平展基本群的嵌入问题，在核为与$p$互素的阿贝尔群、目标群为$p$-群的情形下，借助广义皮卡群的群作用给出了嵌入问题可解的充要条件。
We prove that the universal cover of a normal, projective variety X is quasi-projective if and only if a finite, étale cover of X is a fiber bundle over an Abelian variety with simply connected fiber.
Prym-Brill-Noether Theory for General Covers
通过热带曲线组合与Coxeter群拓扑，界定了k-椭圆曲线平展双覆盖的Prym-Brill-Noether簇维数，否定了Creech等人的猜想并给出新猜想。
We prove that every connected affine scheme of positive characteristic is a K(pi, 1) space for the etale topology. The main ingredient is the special case of the affine space over a field k. This is dealt with by induction on n, using a key "Bertini-type"' statement regarding the wild ramification of l-adic local systems on affine spaces, which might be of independent interest. Its proof uses in an essential way recent advances in higher ramification theory due to T. Saito. We also give rigid analytic and mixed characteristic versions of the main result.
Prym varieties and projective structures on Riemann surfaces
本文利用 étale 双重覆盖的 Prym 簇在紧黎曼曲面及其覆盖上构造典范射影结构，将其解释为模空间上仿射丛的截面，并通过 Thetanullwert 映射与 Schottky–Jung 恒等式证明该结构一般依赖于覆盖。
If $k$ is a complete non-archimedean field and $X$ an adic space locally of finite type over $\mathrm{Spa}(k)$, let $\textbf{Cov}_{X}^{\mathrm{oc}}$ (resp. $\textbf{Cov}_{X}^{\mathrm{adm}}$) be the category of étale coverings of $X$ that are locally for the Berkovich overconvergent topology (resp. for the admissible topology) disjoint union of finite étale coverings. There is a natural inclusion $\textbf{Cov}_{X}^{\mathrm{oc}}\subseteq \textbf{Cov}_{X}^{\mathrm{adm}}$. Whether or not this inclusion is strict is a question initially asked by de Jong. Some partial answers have been given in the …
For every odd prime number p, we give examples of non-constant smooth families of genus 2 curves over fields of characteristic p which have pro-Galois (pro-étale) covers of infinite degree with geometrically connected fibers. The Jacobians of the curves are isomorphic to products of elliptic curves.
For a smooth toric variety X over a field of positive characteristic, a T-equivariant étale cover Y \rightarrow T^*X^{(1)} trivializing the sheaf of crystalline differential operators on X is constructed. This trivialization is used to show that the sheaf of differential operators is a trivial Azumaya algebra along the fibers of the moment map. This result is then extended to certain Azumaya algebras on hypertoric varieties, whose global sections are central reductions of the hypertoric enveloping algebra in positive characteristic. A criteria for a derived Beilinson-Bernstein localization the…
We prove a general inequality for estimating the number of points of arbitrary complete intersections over a finite field. This extends a result of Deligne for nonsingular complete intersections. For normal complete intersections, this inequality generalizes also the classical Lang-Weil inequality. Moreover, we prove the Lang-Weil inequality for affine as well as projective varieties with an explicit description and a bound for the constant appearing therein. We also prove a conjecture of Lang and Weil concerning the Picard varieties and étale cohomology spaces of projective varieties. The gen…
Flexible affine cones and flexible coverings
本研究提出了判断由flexible仿射簇覆盖的簇上锥的flexibility的新准则，证明了Segre–Veronese嵌入割线簇、部分Fano三维簇的仿射锥及del Pezzo曲面Cox环的全坐标空间的flexibility。
Stratifying moduli spaces of Higgs bundles and the Hitchin morphism
研究Higgs束模空间的分层结构，并确定希奇金映射在特定条件下的图像。
We prove that the moduli space $\mathcal{M}_g$ of smooth curves of genus $g$ is the union of $g-1$ affine open subsets for every $g$ with $2 \le g \le 5$, as predicted by an intriguing conjecture of Eduard Looijenga.
We consider normal affine T-varieties X endowed with an action of finite abelian group G commuting with the action of T. For such varieties we establish the existence of G-equivariant geometrico-combinatorial presentations in the sense of Altmann and Hausen. As an application, we determine explicit presentations of the Koras-Russell threefolds as bi-cyclic covers of A^3 equipped with a hyperbolic C^*-action.
To every double cover ramified in two points of a general trigonal curve of genus g, one can associate an étale double cover of a tetragonal curve of genus g+1. We show that the corresponding Prym varieties are canonically isomorphic as principally polarized abelian varieties.
We study smooth complex projective varieties $X$ of maximal Albanese dimension and of general type satisfying with vanishing holomorphic Euler characteristic. We prove that the Albanese variety of $X$ has at least three simple factors. Examples were constructed by Ein and Lazarsfeld, and we prove that in dimension 3, these examples are (up to abelian étale covers) the only ones. By results of Ueno, another source of examples is provided by varieties $X$ of maximal Albanese dimension and of general type with $p_g(X)=1$. Examples were constructed by Chen and Hacon, and again, we prove that in di…
We prove a "Generic Equivalence Theorem which says that two affine morphisms $p: S \to Y$ and $q: T \to Y$ of varieties with isomorphic (closed) fibers become isomorphic under a dominant etale base change $ϕ: U \to Y$. A special case is the following result. Call a morphism $ϕ: X \to Y$ a "fibration with fiber $F$" if $ϕ$ is flat and all fibers are (reduced and) isomorphic to $F$. Then an affine fibration with fiber $F$ admits an etale dominant morphism $μ: U \to Y$ such that the pull-back is a trivial fiber bundle: $U\times_Y X \simeq U\times F$. As an application we give short proofs of the …
Let G be a connected algebraic group and let [G,G] be its commutator subgroup. We prove a conjecture of Drinfeld about the existence of a connected etale group cover H of [G,G], characterized by the following properties: every central extension of G, by a finite etale group scheme, splits over H, and the commutator map of G lifts to H. We prove, moreover, that the quotient stack of G by the natural action of H is the universal Deligne-Mumford Picard stack to which G maps.
We classify these threefolds, which are the ones such that their universal cover is not compact and not covered by positive-dimensional compact analytic subsets. We show that these threefolds have nonnegative Kodaira dimension, and that their Iitaka-Moishezon fibrations are, after a suitable finite etale cover, bimeromorphic to a submersion with fibres complex tori, and base of general type and $π_1$-general type.
For a proper (not necessarily smooth) variety over a finite field with q elements, Berthelot-Bloch-Esnault proved a trace formula which computes the number of rational points modulo q in terms of the Witt vector cohomology. We show the analogous formula for Witt vector cohomology of finite length. In addition, we prove a vanishing result for the compactly supported étale cohomology of a constant p-torsion sheaf on an affine Cohen-Macaulay variety in positive characteristic p.
Let k be a field, and let π:\tilde{X} -> X be a proper birational morphism of irreducible k-varieties, where \tilde{X} is smooth and X has at worst quotient singularities. When the characteristic of k is zero, a theorem of Kollár in [Ko1] says that π induces an isomorphism of etale fundamental groups. We give a proof of this result which works for all characteristics. As an application, we prove that for a smooth projective irreducible surface X over an algebraically closed field k, the etale fundamental group of the Hilbert scheme of n points of X, where n > 1, is canonically isomorphic to th…
We determine the mod p cohomological invariants for several affine group schemes G in chararacteristic p. These are invariants of G-torsors with values in etale motivic cohomology, or equivalently in Kato's version of Galois cohomology based on differential forms. In particular, we find the mod 2 cohomological invariants for the symmetric groups and the orthogonal groups in characteristic 2, which Serre computed in characteristic not 2. We also determine all operations on the mod p etale motivic cohomology of fields, extending Vial's computations of the operations on the mod p Milnor K-theory …
The Brauer-Manin obstruction is used to explain the failure of the local-global principle for algebraic varieties. In 1999 Skorobogatov gave the first example of a variety that does not satisfy the local-global principle which is not explained by the Brauer-Manin obstruction. He did so by applying the Brauer-Manin obstruction to étale covers of the variety, and thus defining a finer obstruction. In 2008 Poonen gave the first example of failure of the local-global principle which cannot be explained for by Skorobogatov's étale-Brauer obstruction. However, Poonen's construction was not accompani…
Lubin-Tate spaces of dimension one are finite etale covers of the non-archimedian open unit disk. We compute certain invariants which measure the ramification of this cover over the boundary of the disk.
We study local G-shtukas with level structure over a base scheme whose Newton polygons are constant on the base. We show that after a finite base change and after passing to an étale covering, such a local G-shtuka is isogenous to a completely slope divisible one, generalizing corresponding results for p-divisible groups by Oort and Zink. As an application we establish a product structure up to finite morphism on the closed Newton stratum of the universal deformation of a local G-shtuka, similarly to Oort's foliations for p-divisible groups and abelian varieties. This also yields bounds on the…
We examine some recent work of Phillip Griffith on étale covers and fibered products from the point of view of tight closure theory. While it is known that cyclic covers of Gorenstein rings with rational singularities are Cohen-Macaulay, we show this is not true in general in the absence of the Gorenstein hypothesis. Specifically, we show that the canonical cover of a $\mathbb Q$-Gorenstein ring with rational singularities need not be Cohen-Macaulay.
In a previous paper, we constructed a category of (phi, Gamma)-modules associated to any adic space over Q_p with the property that the etale (phi, Gamma)-modules correspond to etale Q_p-local systems; these involve sheaves of period rings for Scholze's pro-etale topology. In this paper, we first extend Kiehl's theory of coherent sheaves on rigid analytic spaces to a theory of pseudocoherent sheaves on adic spaces, then construct a corresponding theory of pseudocoherent (phi, Gamma)-modules. We then relate these objects to a more explicit construction in case the space comes equipped with a su…
We prove a rigid analytic analogue of the Artin vanishing theorem. Precisely, we prove (under mild hypotheses) that the geometric etale cohomology of any Zariski-constructible sheaf on any affinoid rigid space $X$ vanishes in all degrees above the dimension of $X$. Along the way, we show that branched covers of normal rigid spaces can often be extended across closed analytic subsets, in analogy with a classical result for complex analytic spaces. We also prove a general comparison theorem relating the algebraic and analytic etale cohomologies of any affinoid rigid space.
A homotopical consequence of branched covers
研究证明伪流形的余有限完成等于其分支覆盖的Artin-Mazur层叠同伦类型构造，揭示了伪流形中足够多的K(π,1)稠密子空间的存在性。
The moduli space of rank-n commutative algebras equipped with an ordered basis is an affine scheme B_n of finite type over Z, with geometrically connected fibers. It is smooth if and only if n <= 3. It is reducible if n >= 8 (and the converse holds, at least if we remove the fibers above 2 and 3). The relative dimension of B_n is (2/27) n^3 + O(n^{8/3}). The subscheme parameterizing etale algebras is isomorphic to GL_n/S_n, which is of dimension only n^2. For n >= 8, there exist algebras are not limits of etale algebras. The dimension calculations lead also to asymptotic formulas for the numbe…
Geometric Satake equivalence in mixed characteristic and Springer correspondence
本文研究了混合特征中几何萨塔克等价与斯宾纳对应的联系，通过构造单向结构和同构，证明了在足够分枝条件下两者的关系。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。