Registered users receive a variety of benefits including the ability to customize email alerts, create favorite journals list, and save searches.
Please note that a Project Euclid web account does not automatically grant access to full-text content. An institutional or society member subscription is required to view non-Open Access content.
Contact firstname.lastname@example.org with any questions.
We construct a descent-of-scalars criterion for -linear abelian categories. Using advances in the Langlands correspondence due to Abe, we build a correspondence between certain rank 2 local systems and certain Barsotti–Tate groups on complete curves over a finite field. We conjecture that such Barsotti–Tate groups “come from” a family of fake elliptic curves. As an application of these ideas, we provide a criterion for being a Shimura curve over . Along the way we formulate a conjecture on the field-of-coefficients of certain compatible systems.
Let be a finite extension of . The field of norms of a strictly APF extension is a local field of characteristic equipped with an action of . When can we lift this action to characteristic zero, along with a compatible Frobenius map? In this article, we explain what we mean by lifting the field of norms, explain its relevance to the theory of -modules, and show that under a certain assumption on the type of lift, such an extension is generated by the torsion points of a relative Lubin–Tate group and that the power series giving the lift of the action of the Galois group of are twists of semiconjugates of endomorphisms of the same relative Lubin–Tate group.
Let be a characteristic zero algebraic function field with a valuation . Let be a finite extension of and be an extension of to . We establish that the valuation ring of is essentially finitely generated over the valuation ring of if and only if the initial index is equal to the ramification index of the extension. This gives a positive answer, for characteristic zero algebraic function fields, to a question posed by Hagen Knaf.
We introduce the use of -descent techniques for elliptic surfaces over a perfect field of characteristic not or . Under mild hypotheses, we obtain an upper bound for the rank of a nonconstant elliptic surface. When , this bound is an arithmetic refinement of a well-known geometric bound for the rank deduced from Igusa’s inequality. This answers a question raised by Ulmer. We give some applications to rank bounds for elliptic surfaces over the rational numbers.
For a regular scheme and a prime number , we define the FW-cotangent bundle as a vector bundle on the closed subscheme defined by , under a certain finiteness condition.
For a constructible complex on the étale site of the scheme, we introduce the condition to be micro-supported on a closed conical subset in the FW-cotangent bundle. At the end of the article, we compute the singular supports in some cases.
T. Dupuy, E. Katz, J. Rabinoff, and D. Zureick-Brown introduced the module of total -differentials for a ring over . We study the same construction for a ring over and prove a regularity criterion. For a local ring, the tensor product with the residue field is constructed in a different way by O. Gabber and L. Ramero.
In another article we use the sheaf of FW-differentials to define the cotangent bundle and the microsupport of an étale sheaf.
Let be an algebraically closed field of characteristic and the projective line over with three points removed. We investigate which finite groups can arise as the monodromy group of finite étale covers of that are tamely ramified over the three removed points. This provides new information about the tame fundamental group of the projective line. In particular, we show that for each prime , there are families of tamely ramified covers with monodromy the symmetric group or alternating group for infinitely many . These covers come from the moduli spaces of elliptic curves with -structure, and the analysis uses work of Bourgain, Gamburd, and Sarnak, and adapts work of Meiri and Puder about Markoff triples modulo .
Let be a regular connected affine semilocal scheme over a field . Let be a reductive group scheme over . Assuming that has an appropriate parabolic subgroup scheme, we prove the following statement. Given an affine -scheme , a principal -bundle over is trivial if it is trivial over the generic fiber of the projection .
We also simplify the proof of the Grothendieck–Serre conjecture: let be a regular connected affine semilocal scheme over a field . Let be a reductive group scheme over . A principal -bundle over is trivial if it is trivial over the generic point of .
We generalize some other related results from the simple simply connected case to the case of arbitrary reductive group schemes.
Noncommutative hypersurfaces, in particular, noncommutative quadric hypersurfaces are major objects of study in noncommutative algebraic geometry. In the commutative case, Knörrer’s periodicity theorem is a powerful tool to study Cohen–Macaulay representation theory since it reduces the number of variables in computing the stable category of maximal Cohen–Macaulay modules over a hypersurface . In this paper, we prove a noncommutative graded version of Knörrer’s periodicity theorem. Moreover, we prove another way to reduce the number of variables in computing the stable category of graded maximal Cohen–Macaulay modules if is a noncommutative quadric hypersurface. Under the high rank property defined in this paper, we also show that computing over a noncommutative smooth quadric hypersurface in up to six variables can be reduced to one or two variable cases. In addition, we give a complete classification of over a smooth quadric hypersurface in a skew , where , without high rank property using graphical methods.
We prove that, in certain situations, intersection numbers on formal schemes that come in profinite families vary locally constantly in the parameter. To this end, we define the product of a profinite set with a locally noetherian formal scheme and study intersections thereon. Our application is to the arithmetic fundamental lemma of W. Zhang where the result helps to overcome a restriction in its recent proof. Namely, it allows to spread out the validity of the AFL identity from an open to the whole set of regular semisimple elements.
PURCHASE SINGLE ARTICLE
This article is only available to subscribers. It is not available for individual sale.