BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
Using results of Cartan, Matsumoto, and Casselman, we give a short proof of Timashev's theorem computing the real component group π_0 G(R) of a connected reductive real algebraic group G in terms of a maximal torus of G containing a maximal split torus.
Let p be a prime. Let R be a regular local ring of dimension d≥2 whose completion is isomorphic to C(k)[[x1,…,xd]]/(h), with C(k) a Cohen ring with the same residue field k as R and with h∈C(k)[[x1,…,xd]] such that its reduction modulo p does not belong to the ideal (x1p,…,xdp)+(x1,…,xd)2p−2 of k[[x1,…,xd]]. We extend a result of Vasiu-Zink (for d=2) to show that each Barsotti-Tate group over Frac(R) which extends to every local ring of Spec(R) of dimension 1, extends uniquely to a Barsotti-Tate group over R. This result corrects in many cases several errors in the literature. As an application, we get that if Y is a regular integral scheme such that the completion of each local ring of Y of residue characteristic p is a formal power series ring over some complete discrete valuation ring of absolute ramification index e≤p−1, then each Barsotti-Tate group over the generic point of Y which extends to every local ring of Y of dimension 1, extends uniquely to a Barsotti-Tate group over Y.
Let (K,v) be a valued field, Y a K-variety, G an algebraic group over K (not necessarily smooth), and f: X->Y a G-torsor over Y. We consider the induced map X(K)-->Y(K), which is continuous for the topologies deduced from the valuation. Let I denote the image of this map. We prove that if (K,v) is henselian and its completion is a separable extension, then: - I is locally closed in Y(K); - the induced surjection X(K)-->I is a principal bundle with group G(K) (also topologized by the valuation).
Let X/S be a quasi-projective morphism over an affine base. We develop in this article a technique for proving the existence of closed subschemes H/S of X/S with various favorable properties. We offer several applications of this technique, including the existence of finite quasi-sections in certain projective morphisms, and the existence of hypersurfaces in X/S containing a given closed subscheme C, and intersecting properly a closed set F. Assume now that the base S is the spectrum of a ring R such that for any finite morphism Z -> S, Pic(Z) is a torsion group. This condition is satisfied if R is the ring of integers of a number field, or the ring of functions of a smooth affine curve over a finite field. We prove in this context a moving lemma pertaining to horizontal 1-cycles on a regular scheme X quasi-projective and flat over S. We also show the existence of a finite surjective S-morphism to the projective space P_S^d for any scheme X projective over S when X/S has all its fibers of a fixed dimension d.
We give scheme-theoretic descriptions of the category of fibre functors on the categories of sheaves associated to the Zariski, Nisnevich, étale, rh, cdh, ldh, eh, qfh, and h topologies on the category of separated schemes of finite type over a separated noetherian base. Combined with a theorem of Deligne on the existence of enough points, this provides an algebro-geometric description of a conservative family of fibre functors on these categories of sheaves. As an example of an application we show direct image along a closed immersion is exact for all these topologies except qfh. The methods are transportable to other categories of sheaves as well.
Let D be a p-divisible group over an algebraically closed field k of characteristic p>0. Let nD be the smallest non-negative integer such that D is determined by D[pnD] within the class of p-divisible groups over k of the same codimension c and dimension d as D. We study nD, lifts of D[pm] to truncated Barsotti--Tate groups of level m+1 over k, and the numbers γD(i):=dim(Aut(D[pi])). We show that nD≤cd, (γD(i+1)−γD(i))i∈N is a decreasing sequence in N, for cd>0 we have γD(1)<γD(2)<...<γD(nD), and for m∈{1,...,nD−1} there exists an infinite set of truncated Barsotti--Tate groups of level m+1 which are pairwise non-isomorphic and lift D[pm]. Different generalizations to p-divisible groups with a smooth integral group scheme in the crystalline context are also proved.
Let K be the field of fractions of a Henselian discrete valuation ring O_K. Let X_K/K be a smooth proper geometrically connected scheme admitting a regular model X/O_K. We show that the index δ(X_K/K) of X_K/K can be explicitly computed using data pertaining only to the special fiber X_k/k of the model X. We give two proofs of this theorem, using two moving lemmas. One moving lemma pertains to horizontal 1-cycles on a regular projective scheme X over the spectrum of a semi-local Dedekind domain, and the second moving lemma can be applied to 0-cycles on an FA-scheme X which need not be regular. The study of the local algebra needed to prove these moving lemmas led us to introduce an invariant γ(A) of a singular local ring (A, \m): the greatest common divisor of all the Hilbert-Samuel multiplicities e(Q,A), over all \m-primary ideals Q in \m. We relate this invariant γ(A) to the index of the exceptional divisor in a resolution of the singularity of Spec(A), and we give a new way of computing the index of a smooth subvariety X_K/K of P^n_K over any field K, using the invariant γof the local ring at the vertex of a cone over X.
Let A be an excellent integral henselian local noetherian ring, k its residue field of characteristic p>0 and K its fraction field. Using an algebraization technique introduced by the first named author, and the one-dimension case already proved by Kazuya KATO, we prove the following formula: cd_p(K) = dim(A) + p-rank(k), if k is separably closed and K of characteristic zero. A similar statement is valid without those assumptions on k and K.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.