arXiv subjects
Publications and source records attributed to I. Panin.
Let D be a DVR of mixed characteristic. Let G be a reductive D-group scheme. Then the Grothendieck-Serre conjecture is true for the D-group scheme G and any geometrically regular local D-algebra R. Also we prove a version of Lindel-Ojanguren-Gabber's geometric presentation lemma in the DVR context.
Global sensitivity analysis aims at quantifying respective effects of input random variables (or combinations thereof) onto variance of a physical or mathematical model response. Among the abundant literature on sensitivity measures, Sobol' indices have received much attention since they provide accurate information for most of models. We consider a problem of experimental design points selection for Sobol' indices estimation. Based on the concept of $D$-optimality, we propose a method for constructing an adaptive design of experiments, effective for calculation of Sobol' indices based on Polynomial Chaos Expansions. We provide a set of applications that demonstrate the efficiency of the proposed approach.
A proof of Grothendieck--Serre conjecture on principal bundles over a semi-local regular ring containing an infinite field is given in [FP] recently. That proof is based significantly on Theorem 1.0.1 stated below in the Introduction and proven in the present preprint. Theorem 1.0.1 itself is a consequence of two purity theorems (Theorems A and 10.0.30) proven below in the present preprint. The geometric part of a new preprint [PSV] and the main result of an article [C-T-S] are used significantly in proofs of those two purity theorems. One of that purity result looks as follows. Let O be a semi-local ring of finitely many closed points on a k-smooth irreducible affine scheme, where k is an infinite field. Given a smooth O-group scheme morphism mu G to C of reductive O-group schemes, with a torus C one can form a functor from O-algebras to abelian groups, which takes an O-algebra S to the quotient group F(S)=C(S) modulo mu(G(S)). Assuming additionally that the kernel of mu is a reductive O-group scheme, we prove that this functor satisfies a purity theorem for the k-algebra O. Examples to mentioned purity results are considered at the very end of the preprint.
Let k be an infinite field. Let R be the semi-local ring of a finite family of closed points on a k-smooth affine irreducible variety, let K be the fraction field of R, and let G be a reductive simple simply connected R-group scheme isotropic over R. We prove that for any Noetherian k-algebra A, the map of etale cohomology sets H^1(A\otimes_k R,G)-> H^1(A\otimes_ k K,G), induced by the inclusion of R into K, has trivial kernel. This implies the Serre-Grothendieck conjecture for such groups G. The main theorem for A=k and some other results of the present paper are used significantly in arXiv:1211.2678 to prove the Serre-Grothendieck conjecture for all reductive groups over a regular semi-local ring containing an infinite field.
Assume that R is a semi-local regular ring containing an infinite perfect field, or that R is a semi-local ring of several points on a smooth scheme over an infinite field. Let K be the field of fractions of R. Let H be a strongly inner adjoint simple algebraic group of type E_6 or E_7 over R, or any twisted form of one of the split groups of classical type O^+_{n,R}, n>=4; PGO_{n,R}, n>=4; PSp_{2n,R}, n>=2; PGL_{n,R}, n>=2. We prove that the kernel of the map H^1_{et}(R,H)-> H^1_{et}(K,H) induced by the inclusion of R into K is trivial. This continues the recent series of papers by the authors and N. Vavilov on the Grothendieck--Serre conjecture.
Under a certain normalization assumption we prove that the $\Pro^1$-spectrum $\mathrm{BGL}$ of Voevodsky which represents algebraic $K$-theory is unique over $\Spec(\mathbb{Z})$. Following an idea of Voevodsky, we equip the $\Pro^1$-spectrum $\mathrm{BGL}$ with the structure of a commutative $\Pro^1$-ring spectrum in the motivic stable homotopy category. Furthermore, we prove that under a certain normalization assumption this ring structure is unique over $\Spec(\mathbb{Z})$. For an arbitrary Noetherian scheme $S$ of finite Krull dimension we pull this structure back to obtain a distinguished monoidal structure on $\mathrm{BGL}$. This monoidal structure is relevant for our proof of the motivic Conner-Floyd theorem. It has also been used by Gepner and Snaith to obtain a motivic version of Snaith's theorem.
An algebraic version of a theorem due to Quillen is proved. More precisely, for a ground field k we consider the motivic stable homotopy category SH(k) of P^1-spectra equipped with the symmetric monoidal structure described in arXiv:0709.3905v1 [math.AG]. The algebraic cobordism P^1-spectrum MGL is considered as a commutative monoid equipped with a canonical orientation. For a commutative monoid E in the category SH(k) we identify the set of monoid homomorphisms from MGL to E in the motivic stable homotopy category with the set of all orientations of E. This result was stated originally in a slightly different form by G. Vezzosi in arXiv:math/0004050v2 [math.AG].
Quillen's algebraic K-theory is reconstructed via Voevodsky's algebraic cobordism. More precisely, for a ground field k the algebraic cobordism P^1-spectrum MGL of Voevodsky is considered as a commutative P^1-ring spectrum. There is a unique ring morphism MGL^{2*,*}(k)--> Z which sends the class [X]_{MGL} of a smooth projective k-variety X to the Euler characteristic of the structure sheaf of X. Our main result states that there is a canonical grade preserving isomorphism of ring cohomology theories MGL^{*,*}(X,U) \tensor_{MGL^{2*,*}(k)} Z --> K^{TT}_{- *}(X,U) = K'_{- *}(X-U)} on the category of smooth k-varieties, where K^{TT}_* is Thomason-Trobaugh K-theory and K'_* is Quillen's K'-theory. In particular, the left hand side is a ring cohomology theory. Moreover both theories are oriented and the isomorphism above respects the orientations. The result is an algebraic version of a theorem due to Conner and Floyd. That theorem reconstructs complex K-theory via complex cobordism.
We prove a version of Knebusch's Norm Principle for finite étale extensions of semi-local Noetherian domains with infinite residue fields of characteristic different from 2. As an application we prove Grothendieck's conjecture on principal homogeneous spaces for the spinor group of a quadratic space.
In the present paper we discuss questions concerning the arithmetic resolution for etale cohomology. Namely, consider a smooth quasi-projective variety X over a field k together with the local scheme U at a point x. Let Y be a smooth proper scheme over U. We prove there is the Gersten-type exact sequence for etale cohomology with coefficients in a locally constant etale sheaf F of Z/nZ-modules on Y which has finite stalks and (n,char(k))=1.