BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Ivan Panin

Ivan Panin contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AGmath.KTmath.AT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
15works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

15 published item(s)

preprint2022arXiv

Framed motivic $Γ$-spaces

We combine several mini miracles to achieve an elementary understanding of infinite loop spaces and very effective spectra in the algebro-geometric setting of motivic homotopy theory. Our approach combines $Γ$-spaces and framed correspondences into the concept of framed motivic $Γ$-spaces; these are continuous or enriched functors of two variables that take values in motivic spaces and are equipped with a framing. We craft proofs of our main results by imposing further axioms on framed motivic $Γ$-spaces such as a Segal condition for simplicial Nisnevich sheaves, cancellation, ${\mathbb A}^{1}$- and $σ$-invariance, Nisnevich excision, Suslin contractibility, and grouplikeness. This adds to the discussion in the literature on coexisting points of view on the ${\mathbb A}^{1}$-homotopy theory of algebraic varieties.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Moving lemmas in mixed characteristic and applications

The present paper contains new geometric theorems in mixed characteristic case. We derive a bunch of cohomological consequences using these geometric theorems. Among them an isotropy result for quadratic spaces, a purity result for quadratic spaces, a result on the Grothendieck--Serre conjecture for the special linear group of an Azumaya algebra. The Gersten conjecture for the functor K2 is proved. Bloch-Ogus type result is obtained as well. Suslin's exact sequence is derived and its application to a finiteness result is given. A version of the Roitman theorem is proved.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On Grothendieck--Serre conjecture in mixed characteristic for SL_1(D)

Let R be an unramified regular local ring of mixed characteristic, D an Azumaya R-algebra, K the fraction field of R, Nrd the reduced norm homomorphism for the Azumaya R-algebra D. Let a be a unit in R. It is proved the following: suppose the equation Nrd=a has a solution over K, then it has a solution over R. Similar results are proved for regular local rings, which are geometrically regular over a discrete valuation ring of mixed characteristic. These results extend result proven by A.Sulin and the author in the middle of 90's.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

A short exact sequence

Let R be a regular semi-local integral domain containing a field and K be its fraction field. Let mu: G --> T be an R-group schemes morphism between reductive R-group schemes, which is smooth as a scheme morphism. Suppose that T is an R-torus.Then the map T(R)/mu(G(R)) --> T(K)/mu(G(K)) is injective and certain purity theorem is true.These and other results are derived from an extended form of Grothendieck--Serre conjecture proven in the present paper for rings R as above.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Cancellation theorem for framed motives of algebraic varieties

The machinery of framed (pre)sheaves was developed by Voevodsky [V1]. Based on the theory, framed motives of algebraic varieties are introduced and studied in [GP1]. An analog of Voevodsky's Cancellation Theorem [V1] is proved in this paper for framed motives stating that a natural map of framed $S^1$-spectra $$M_{fr}(X)(n)\to\underline{\textrm{Hom}}(\mathbb G,M_{fr}(X)(n+1)),\quad n\geq 0,$$ is a schemewise stable equivalence, where $M_{fr}(X)(n)$ is the $n$th twisted framed motive of $X$. This result is also necessary for the proof of the main theorem of [GP1] computing fibrant resolutions of suspension $\mathbb P^1$-spectra $Σ^\infty_{\mathbb P^1}X_+$ with $X$ a smooth algebraic variety. The Cancellation Theorem for framed motives is reduced to the Cancellation Theorem for linear framed motives stating that the natural map of complexes of abelian groups \[ \mathbb ZF(Δ^\bullet \times X,Y) \to \mathbb ZF((Δ^\bullet \times X)\wedge (\mathbb G_m,1),Y\wedge (\mathbb G_m,1)),\quad X,Y\in Sm/k, \] is a quasi-isomorphism, where $\mathbb ZF(X,Y)$ is the group of stable linear framed correspondences in the sense of [GP1].

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Framed motives of relative motivic spheres

The category of framed correspondences $Fr_*(k)$ and framed sheaves were invented by Voevodsky in his unpublished notes [V2]. Based on the theory, framed motives are introduced and studied in [GP1]. These are Nisnivich sheaves of $S^1$-spectra and the major computational tool of [GP1]. The aim of this paper is to show the following result which is essential in proving the main theorem of [GP1]: given an infinite perfect base field $k$, any $k$-smooth scheme $X$ and any $n\geq 1$, the map of simplicial pointed Nisnevich sheaves $(-,\mathbb{A}^1//\mathbb G_m)^{\wedge n}_+\to T^n$ induces a Nisnevich local level weak equivalence of $S^1$-spectra $$M_{fr}(X\times (\mathbb{A}^1// \mathbb G_m)^{\wedge n})\to M_{fr}(X\times T^n).$$ Moreover, it is proven that the sequence of $S^1$-spectra $$M_{fr}(X \times T^n \times \mathbb G_m) \to M_{fr}(X \times T^n \times\mathbb A^1) \to M_{fr}(X \times T^{n+1})$$ is locally a homotopy cofiber sequence in the Nisnevich topology. Another important result of this paper shows that homology of framed motives is computed as linear framed motives in the sense of [GP1]. This computation is crucial for the whole machinery of framed motives [GP1].

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On Grothendieck-Serre conjecture concerning principal G-bundles over regular semi-local domains containing a finite field: I

In three preprints [Pan2],[Pan3] and the present one we prove Grothendieck-Serre's conjecture concerning principal G-bundles over regular semi-local domains R containing a finite field (here G is a reductive group scheme). The present preprint contains main geometric presentation theorems which are necessary for that. The preprint [Pan2] contains reduction of the Grothendieck-Serre's conjecture to the case of a simple simply-connected group scheme. The preprint [Pan3] contains a proof of Grothendieck-Serre's conjecture for regular semi-local domains R containing a finite field. One of the main result of the present preprint is Theorem 1.1. The Grothendieck--Serre conjecture for the case of regular semi-local domains containing an infinite field is proven in joint work due to R.Fedorov and I.Panin (see [FP]). Thus the conjecture holds for regular semi-local domains containing a field.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On Grothendieck-Serre conjecture concerning principal G-bundles over regular semi-local domains containing a finite field: II

In three preprints [Pan1], [Pan3] and the present one we prove Grothendieck-Serre's conjecture concerning principal G-bundles over regular semi-local domains R containing a finite field (here $G$ is a reductive group scheme). The preprint [Pan1] contains main geometric presentation theorems which are necessary for that. The present preprint contains reduction of the Grothendieck--Serre's conjecture to the case of semi-simple simply-connected group schemes (see Theorem 1.0.1). The preprint [Pan3] contains a proof of that conjecture for regular semi-local domains R containing a finite field. The Grothendieck--Serre conjecture for the case of regular semi-local domains containing an infinite field is proven in joint work due to R.Fedorov and I.Panin (see [FP]). Thus the conjecture holds for regular semi-local domains containing a field. The reduction is based on two purity results (Theorem 1.0.2 and Theorem 10.0.29).

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Proof of Grothendieck--Serre conjecture on principal G-bundles over regular local rings containing a finite field

Let R be a regular local ring, containing a finite field. Let G be a reductive group scheme over R. We prove that a principal G-bundle over R is trivial, if it is trivial over the fraction field of R. In other words, if K is the fraction field of R, then the map of pointed sets H^1_{et}(R,G) \to H^1_{et}(K,G), induced by the inclusion of R into K, has a trivial kernel. Certain arguments used in the present preprint do not work if the ring R contains a characteristic zero field. In that case and, more generally, in the case when the regular local ring R contains an infinite field this result is proved in joint work due to R.Fedorov and I.Panin (see [FP]). Thus the Grothendieck--Serre conjecture holds for regular local rings containing a field.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Principal bundles of reductive groups over affine schemes

Let R be a semi-local regular domain containing an infinite perfect field k, and let K be the field of fractions of R. Let G be a reductive semi-simple simply connected R-group scheme such that each of its R-indecomposable factors is isotropic. We prove that for any Noetherian affine scheme A over k, the kernel of the map of etale cohomology sets H^1(A\times_k R,G)-> H^1(A\times_ k K,G), induced by the inclusion of R into K, is trivial. If R is the semi-local ring of several points on a k-smooth scheme, then it suffices to require that k is infinite and keep the same assumption concerning G.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Rationally trivial quadratic spaces are locally trivial:III

Let R be a regular semi-local domain containing a field such that all the residue fields are infinite. Let K be the fraction field of R. Let q be a quadratic space over R on a free rank n R-module P such that the projective quadric q=0 is smooth over R. It is proved that if the quadratic space q is isotropic over K, then there is a unimodular vector v in the free rank n R-module P such that q(v)=0. If characteristic of R is 2, then in the case of even n our assumption on q is equivalent to the one that q is a non-singular space in the sense of \cite{Kn} and in the case of odd n > 2 our assumption on q is equivalent to the one that q is a semi-regular in the sense of \cite{Kn}.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

K-motives of algebraic varieties

A kind of motivic algebra of spectral categories and modules over them is developed to introduce K-motives of algebraic varieties. As an application, bivariant algebraic K-theory as well as bivariant motivic kohomology groups are defined and studied. We use Grayson's machinery to produce the Grayson motivic spectral sequence connecting bivariant K-theory to bivariant motivic kohomology. It is shown that the spectral sequence is naturally realized in the triangulated category of K-motives constructed in the paper. It is also shown that ordinary algebraic K-theory is represented by the K-motive of the point.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Rationally isotropic exceptional projective homogeneous varieties are locally isotropic

Assume that R is a local regular ring containing an infinite perfect field, or that R is the local ring of a point on a smooth scheme over an infinite field. Let K be the field of fractions of R and the characteristic of K is not 2. Let X be an exceptional projective homogeneous scheme over R. We prove that in most cases the condition that X has a K-point implies that X has an R-point.

0 citations0 reviewsNo code linkedOpen access