Showing 1–49 of 49 results for author: Zainoulline, K

Motivic Lefschetz theorem for twisted Milnor hypersurfaces

Authors: Rui Xiong, Kirill Zainoulline

Abstract: We show that the Grothendieck-Chow motive of a smooth hyperplane section $Y$ of an inner twisted form $X$ of a Milnor hypersurface splits as a direct sum of shifted copies of the motive of the Severi-Brauer variety of the associated cyclic algebra $A$ and the motive of its maximal commutative subfield $L\subset A$. The proof is based on the non-triviality of the (monodromy) Galois action on the eq… ▽ More We show that the Grothendieck-Chow motive of a smooth hyperplane section $Y$ of an inner twisted form $X$ of a Milnor hypersurface splits as a direct sum of shifted copies of the motive of the Severi-Brauer variety of the associated cyclic algebra $A$ and the motive of its maximal commutative subfield $L\subset A$. The proof is based on the non-triviality of the (monodromy) Galois action on the equivariant Chow group of $Y_L$. △ Less

Submitted 10 April, 2024; originally announced April 2024.

Comments: 10 pages, 1 figure

MSC Class: 14C15; 14M15; 14L30

On the formal Peterson subalgebra and its dual

Authors: Rui Xiong, Kirill Zainoulline, Changlong Zhong

Abstract: In the present notes, we study a generalization of the Peterson subalgebra to an oriented (generalized) cohomology theory which we call the formal Peterson subalgebra. Observe that by recent results of Zhong the dual of the formal Peterson algebra provides an algebraic model for the oriented cohomology of the affine Grassmannian. Our first result shows that the centre of the formal affine Demazu… ▽ More In the present notes, we study a generalization of the Peterson subalgebra to an oriented (generalized) cohomology theory which we call the formal Peterson subalgebra. Observe that by recent results of Zhong the dual of the formal Peterson algebra provides an algebraic model for the oriented cohomology of the affine Grassmannian. Our first result shows that the centre of the formal affine Demazure algebra generates the formal Peterson subalgebra. Our second observation is motivated by the Peterson conjecture. We show that a certain localization of the formal Peterson subalgebra for the extended Dynkin diagram of type $\hat A_1$ provides an algebraic model for `quantum' oriented cohomology of the projective line. Our last result can be viewed as an extension of the previous results on Hopf algebroids of structure algebras of moment graphs to the case of affine root systems. We prove that the dual of the formal Peterson subalgebra (an oriented cohomology of the affine Grassmannian) is the $0$th Hochshild homology of the formal affine Demazure algebra. △ Less

Submitted 6 December, 2023; originally announced December 2023.

Comments: 18 pages. Comments are welcome!

MSC Class: 14F43; 14M15; 19L41; 55N22; 14N15

Nil-Hecke rings and the Schubert calculus

Authors: Edward Richmond, Kirill Zainoulline

Abstract: The purpose of the present notes is to give a self-contained exposition on the use of the techniques of Nil-Hecke algebras in the localization approach to the equivariant Schubert calculus for cohomology of flag varieties. We also demonstrate how these techniques can be applied to non-crystallographic root systems as well as to study (connective) $K$-theory of flag varieties. The purpose of the present notes is to give a self-contained exposition on the use of the techniques of Nil-Hecke algebras in the localization approach to the equivariant Schubert calculus for cohomology of flag varieties. We also demonstrate how these techniques can be applied to non-crystallographic root systems as well as to study (connective) $K$-theory of flag varieties. △ Less

Submitted 2 October, 2023; originally announced October 2023.

Comments: This manuscript is prepared as a chapter in the Handbook of Combinatorial Algebraic Geometry

MSC Class: 14M15; 05E14; 14C15; 19L41

Structure algebras, Hopf algebroids and oriented cohomology of a group

Authors: Martina Lanini, Rui Xiong, Kirill Zainoulline

Abstract: We prove that the structure algebra of a Bruhat moment graph of a finite real root system is a Hopf algebroid with respect to the Hecke and the Weyl actions. We introduce new techniques (reconstruction and push-forward formula of a product, twisted coproduct, double quotients of bimodules) and apply them together with our main result to linear algebraic groups, to generalized Schubert calculus, to… ▽ More We prove that the structure algebra of a Bruhat moment graph of a finite real root system is a Hopf algebroid with respect to the Hecke and the Weyl actions. We introduce new techniques (reconstruction and push-forward formula of a product, twisted coproduct, double quotients of bimodules) and apply them together with our main result to linear algebraic groups, to generalized Schubert calculus, to combinatorics of Coxeter groups and finite real root systems. As for groups, it implies that the natural Hopf-algebra structure on the algebraic oriented cohomology $h(G)$ of Levine-Morel of a split semi-simple linear algebraic group $G$ can be lifted to a `bi-Hopf' structure on the $T$-equivariant algebraic oriented cohomology of the complete flag variety. As for the Schubert calculus, we prove several new identities involving (double) generalized equivariant Schubert classes. As for finite real root systems, we compute the Hopf-algebra structure of `virtual cohomology' of dihedral groups $I_2(p)$, where $p$ is an odd prime. △ Less

Submitted 4 March, 2023; originally announced March 2023.

Comments: 27pp

MSC Class: 14F43; 14M15; 14L30; 18M50; 16T05

The canonical dimension of a semisimple group and the unimodular degree of a root system

Authors: Kirill Zainoulline

Abstract: We produce a short and elementary algorithm to compute an upper bound for the canonical dimension of a spit semisimple linear algebraic group. Using this algorithm we confirm previously known bounds by Karpenko and Devyatov as well as we produce new bounds (e.g. for groups of types $F_4$, adjoint $E_6$, for some semisimple groups). We produce a short and elementary algorithm to compute an upper bound for the canonical dimension of a spit semisimple linear algebraic group. Using this algorithm we confirm previously known bounds by Karpenko and Devyatov as well as we produce new bounds (e.g. for groups of types $F_4$, adjoint $E_6$, for some semisimple groups). △ Less

Submitted 17 August, 2021; originally announced August 2021.

Comments: 8pp

MSC Class: 14L17; 14C25

Diagrammatics for $F_4$

Authors: Raj Gandhi, Alistair Savage, Kirill Zainoulline

Abstract: We define a diagrammatic monoidal category, together with a full and essentially surjective monoidal functor from this category to the category of modules over the exceptional Lie algebra of type $F_4$. In this way, we obtain a set of diagrammatic tools for studying type $F_4$ representation theory that are analogous to those of the oriented and unoriented Brauer categories in classical type. We define a diagrammatic monoidal category, together with a full and essentially surjective monoidal functor from this category to the category of modules over the exceptional Lie algebra of type $F_4$. In this way, we obtain a set of diagrammatic tools for studying type $F_4$ representation theory that are analogous to those of the oriented and unoriented Brauer categories in classical type. △ Less

Submitted 29 August, 2022; v1 submitted 26 July, 2021; originally announced July 2021.

Comments: 20 pages. v2: Minor corrections, references added, proof of Prop. 5.2 modified; v3: Small improvements

MSC Class: 18M05; 18M30; 17B10; 17B25; 20G41

Geometric properties of the Kazhdan-Lusztig Schubert basis

Authors: Cristian Lenart, Changjian Su, Kirill Zainoulline, Changlong Zhong

Abstract: We study classes determined by the Kazhdan-Lusztig basis of the Hecke algebra in the $K$-theory and hyperbolic cohomology theory of flag varieties. We first show that, in $K$-theory, the two different choices of Kazhdan-Lusztig bases produce dual bases, one of which can be interpreted as characteristic classes of the intersection homology mixed Hodge modules. In equivariant hyperbolic cohomology,… ▽ More We study classes determined by the Kazhdan-Lusztig basis of the Hecke algebra in the $K$-theory and hyperbolic cohomology theory of flag varieties. We first show that, in $K$-theory, the two different choices of Kazhdan-Lusztig bases produce dual bases, one of which can be interpreted as characteristic classes of the intersection homology mixed Hodge modules. In equivariant hyperbolic cohomology, we show that if the Schubert variety is smooth, then the class it determines coincides with the class of the Kazhdan-Lusztig basis; this was known as the Smoothness Conjecture. For Grassmannians, we prove that the classes of the Kazhdan-Lusztig basis coincide with the classes determined by Zelevinsky's small resolutions. These properties of the so-called KL-Schubert basis show that it is the closest existing analogue to the Schubert basis for hyperbolic cohomology; the latter is a very useful testbed for more general elliptic cohomologies. △ Less

Submitted 14 September, 2020; originally announced September 2020.

Comments: 24 pages, 4 figures. Comments are welcome

MSC Class: 14M15; 14F43; 55N20; 55N22; 19L47; 05E99

Journal ref: Alg. Number Th. 17 (2023) 169-198

A Riemann-Roch type theorem for twisted fibrations of moment graphs

Authors: Martina Lanini, Kirill Zainoulline

Abstract: In the present paper we extend the Riemann-Roch formalism to structure algebras of moment graphs. We introduce and study the Chern character and pushforwards for twisted fibrations of moment graphs. We prove an analogue of the Riemann-Roch theorem for moment graphs. As an application, we obtain the Riemann-Roch type theorem for equivariant $K$-theory of some Kac-Moody flag varieties. In the present paper we extend the Riemann-Roch formalism to structure algebras of moment graphs. We introduce and study the Chern character and pushforwards for twisted fibrations of moment graphs. We prove an analogue of the Riemann-Roch theorem for moment graphs. As an application, we obtain the Riemann-Roch type theorem for equivariant $K$-theory of some Kac-Moody flag varieties. △ Less

Submitted 23 February, 2020; originally announced February 2020.

Comments: 20 pages

MSC Class: 14F05; 14F43; 14M15

Localized operations on T-equivariant oriented cohomology of projective homogeneous varieties

Authors: Kirill Zainoulline

Abstract: In the present paper we provide a general algorithm to compute multiplicative cohomological operations on algebraic oriented cohomology of projective homogeneous G-varieties, where G is a split reductive algebraic group over a field of characteristic 0. More precisely, we extend such operations to the respective T-equivariant (T is a maximal split torus of G) oriented theories, and then compute th… ▽ More In the present paper we provide a general algorithm to compute multiplicative cohomological operations on algebraic oriented cohomology of projective homogeneous G-varieties, where G is a split reductive algebraic group over a field of characteristic 0. More precisely, we extend such operations to the respective T-equivariant (T is a maximal split torus of G) oriented theories, and then compute them using equivariant Schubert calculus techniques. This generalizes an approach suggested by Garibaldi-Petrov-Semenov for Steenrod operations. We also show that operations on the theories of additive type commute with classical push-pull operators up to a twist. △ Less

Submitted 2 January, 2020; originally announced January 2020.

Comments: 17 pages

MSC Class: 14C15; 14C40; 14F43; 14L30; 14M15

Twisted quadratic foldings of root systems

Authors: Martina Lanini, Kirill Zainoulline

Abstract: In the present paper we study twisted foldings of root systems which generalize usual involutive foldings corresponding to automorphisms of Dynkin diagrams. Our motivating example is the Lusztig projection of the root system of type $E_8$ onto the subring of icosians of the quaternion algebra which gives the root system of type $H_4$. Using moment graph techniques for any such folding we constru… ▽ More In the present paper we study twisted foldings of root systems which generalize usual involutive foldings corresponding to automorphisms of Dynkin diagrams. Our motivating example is the Lusztig projection of the root system of type $E_8$ onto the subring of icosians of the quaternion algebra which gives the root system of type $H_4$. Using moment graph techniques for any such folding we construct a map at the equivariant cohomology level. We show that this map commutes with characteristic classes and Borel maps. We also introduce and study its restrictions to the usual cohomology of projective homogeneous varieties, to group cohomology and to their virtual analogues for finite reflection groups. △ Less

Submitted 22 November, 2019; v1 submitted 23 June, 2018; originally announced June 2018.

Comments: 22 pages; more examples and applications to finite reflection groups added

Oriented cohomology sheaves on double moment graphs

Authors: Rostislav Devyatov, Martina Lanini, Kirill Zainoulline

Abstract: In the present paper we extend the theory of sheaves on moment graphs due to Braden-MacPherson and Fiebig to the context of an arbitrary oriented equivariant cohomology h (e.g. to algebraic cobordism). We introduce and investigate structure h-sheaves on double moment graphs to describe equivariant oriented cohomology of products of flag varieties. We show that in the case of a total flag variety X… ▽ More In the present paper we extend the theory of sheaves on moment graphs due to Braden-MacPherson and Fiebig to the context of an arbitrary oriented equivariant cohomology h (e.g. to algebraic cobordism). We introduce and investigate structure h-sheaves on double moment graphs to describe equivariant oriented cohomology of products of flag varieties. We show that in the case of a total flag variety X of Dynkin type A the space of global sections of the double structure h-sheaf also describes the endomorphism ring of the equivariant h-motive of X. △ Less

Submitted 25 March, 2019; v1 submitted 27 October, 2017; originally announced October 2017.

Comments: 37 pages; The structure of the paper is revised. It now starts with exposition on equivariant cohomology, then introduces the double moment graphs, provides examples of closed graphs. The proof of the main result and its applications form the second part of the paper. Several proofs are simplified and shortened

MSC Class: 14F05; 14F43; 14M15

Uniquely labelled geodesics of Coxeter groups

Authors: Elisabeth Fink, Kirill Zainoulline

Abstract: Studying geodesics in Cayley graphs of groups has been a very active area of research over the last decades. We introduce the notion of a uniquely labelled geodesic, abbreviated with u.l.g. These will be studied first in finite Coxeter groups of type $A_n$. Here we introduce a generating function, and hence are able to precisely describe how many u.l.g.'s we have of a certain length and with which… ▽ More Studying geodesics in Cayley graphs of groups has been a very active area of research over the last decades. We introduce the notion of a uniquely labelled geodesic, abbreviated with u.l.g. These will be studied first in finite Coxeter groups of type $A_n$. Here we introduce a generating function, and hence are able to precisely describe how many u.l.g.'s we have of a certain length and with which label combination. These results generalize several results about unique geodesics in Coxeter groups. In the second part of the paper, we expand our investigation to infinite Coxeter groups described by simply laced trees. We show that any u.l.g. of finite branching index has finite length. We use the example of the group $\widetilde{D}_6$ to show the existence of infinite u.l.g.'s in groups which do not have any infinite unique geodesics. We conclude by exhibiting a detailed description of the geometry of such u.l.g.'s and their relation to each other in the group $\widetilde{D}_6$. △ Less

Submitted 20 September, 2017; originally announced September 2017.

Comments: 23 pages, 7 figures

MSC Class: 20F55; 20F65; 05E15

Formal affine Demazure and Hecke algebras of Kac-Moody root systems

Authors: Baptiste Calmès, Kirill Zainoulline, Changlong Zhong

Abstract: We define the formal affine Demazure algebra and formal affine Hecke algebra associated to a Kac-Moody root system. We prove the structure theorems of these algebras, hence, extending several result and construction (presentation in terms of generators and relations, coproduct and product structures, filtration by codimension of Bott-Samelson classes, root polynomials and multiplication formulas)… ▽ More We define the formal affine Demazure algebra and formal affine Hecke algebra associated to a Kac-Moody root system. We prove the structure theorems of these algebras, hence, extending several result and construction (presentation in terms of generators and relations, coproduct and product structures, filtration by codimension of Bott-Samelson classes, root polynomials and multiplication formulas) that were previously known for finite root system. △ Less

Submitted 30 March, 2017; originally announced March 2017.

Comments: 19 pages

MSC Class: 20C08; 20G44; 14F43; 57T15

The K-theory of versal flags and cohomological invariants of degree 3

Authors: Sanghoon Baek, Rostislav Devyatov, Kirill Zainoulline

Abstract: Let $G$ be a split semisimple linear algebraic group over a field and let $X$ be a generic twisted flag variety of $G$. Extending the Hilbert basis techniques to Laurent polynomials over integers we give an explicit presentation of the Grothendieck ring $K_0(X)$ in terms of generators and relations in the case $G=G^{sc}/μ_2$ is of Dynkin type ${\rm A}$ or ${\rm C}$ (here $G^{sc}$ is the simply-con… ▽ More Let $G$ be a split semisimple linear algebraic group over a field and let $X$ be a generic twisted flag variety of $G$. Extending the Hilbert basis techniques to Laurent polynomials over integers we give an explicit presentation of the Grothendieck ring $K_0(X)$ in terms of generators and relations in the case $G=G^{sc}/μ_2$ is of Dynkin type ${\rm A}$ or ${\rm C}$ (here $G^{sc}$ is the simply-connected cover of $G$); we compute various groups of (indecomposable, semi-decomposable) cohomological invariants of degree 3, hence, generalizing and extending previous results in this direction. △ Less

Submitted 21 December, 2016; originally announced December 2016.

Comments: 28pp

MSC Class: 14M17; 20G15; 14C35

Journal ref: Documenta Math. 22, (2017), 1117--1148

Relative equivariant motives and modules

Authors: Baptiste Calmès, Alexander Neshitov, Kirill Zainoulline

Abstract: We introduce and study various categories of (equivariant) motives of (versal) flag varieties. We relate these categories with certain categories of parabolic (Demazure) modules. We show that the motivic decomposition type of a versal flag variety depends on the direct sum decomposition type of the parabolic module. To do this we use localization techniques of Kostant-Kumar in the context of gener… ▽ More We introduce and study various categories of (equivariant) motives of (versal) flag varieties. We relate these categories with certain categories of parabolic (Demazure) modules. We show that the motivic decomposition type of a versal flag variety depends on the direct sum decomposition type of the parabolic module. To do this we use localization techniques of Kostant-Kumar in the context of generalized oriented cohomology as well as the Rost nilpotence principle for algebraic cobordism and its generic version. As an application, we obtain new proofs and examples of indecomposable Chow motives of versal flag varieties. △ Less

Submitted 25 June, 2019; v1 submitted 22 September, 2016; originally announced September 2016.

Comments: 25pp; This is a substantially revised and reorganized version. Several proofs were revised and simplified. Examples added

MSC Class: 14F43; 14M15; 20C08; 14C15

Journal ref: Can. J. Math.-J. Can. Math. 73 (2021) 131-159

Parabolic Kazhdan-Lusztig basis, Schubert classes, and equivariant oriented cohomology

Authors: Cristian Lenart, Kirill Zainoulline, Changlong Zhong

Abstract: We study the equivariant oriented cohomology ring $h_T(G/P)$ of partial flag varieties using the moment map approach. We define the right Hecke action on this cohomology ring, and then prove that the respective Bott-Samelson classes in $h_{T}(G/P)$ can be obtained by applying this action to the fundamental class of the identity point, hence generalizing previously known results by Brion, Knutson,… ▽ More We study the equivariant oriented cohomology ring $h_T(G/P)$ of partial flag varieties using the moment map approach. We define the right Hecke action on this cohomology ring, and then prove that the respective Bott-Samelson classes in $h_{T}(G/P)$ can be obtained by applying this action to the fundamental class of the identity point, hence generalizing previously known results by Brion, Knutson, Peterson, Tymoczko and others. We then focus on the equivariant oriented cohomology theory corresponding to the 2-parameter Todd genus. We give a new interpretation of Deodhar's construction of the parabolic Kazhdan-Lusztig basis. Based on it, we define the parabolic Kazhdan-Lusztig (KL) Schubert classes independently of a reduced word. We make a positivity conjecture, and a conjecture about the relationship of such classes with smoothness of Schubert varieties. We then prove several special cases. △ Less

Submitted 23 August, 2016; originally announced August 2016.

Comments: 33 pp

MSC Class: 14M15; 14F43; 55N20; 55N22; 19L47; 05E99

A Schubert basis in equivariant elliptic cohomology

Authors: Cristian Lenart, Kirill Zainoulline

Abstract: We address the problem of defining Schubert classes independently of a reduced word in equivariant elliptic cohomology, based on the Kazhdan-Lusztig basis of a corresponding Hecke algebra. We study some basic properties of these classes, and make two important conjectures about them: a positivity conjecture, and the agreement with the topologically defined Schubert classes in the smooth case. We p… ▽ More We address the problem of defining Schubert classes independently of a reduced word in equivariant elliptic cohomology, based on the Kazhdan-Lusztig basis of a corresponding Hecke algebra. We study some basic properties of these classes, and make two important conjectures about them: a positivity conjecture, and the agreement with the topologically defined Schubert classes in the smooth case. We prove some special cases of these conjectures. △ Less

Submitted 6 February, 2016; v1 submitted 13 August, 2015; originally announced August 2015.

Comments: arXiv admin note: text overlap with arXiv:1408.5952

MSC Class: 14M15; 14F43; 55N20; 55N22; 19L47; 05E99

Motivic decompositions of twisted flag varieties and representations of Hecke-type algebras

Authors: Alexander Neshitov, Victor Petrov, Nikita Semenov, Kirill Zainoulline

Abstract: Let G be a split semisimple linear algebraic group over a field k0. Let E be a G-torsor over a field extension k of k0. Let h be an algebraic oriented cohomology theory in the sense of Levine-Morel. Consider a twisted form E/B of the variety of Borel subgroups G/B over k. Following the Kostant-Kumar results on equivariant cohomology of flag varieties we establish an isomorphism between the Groth… ▽ More Let G be a split semisimple linear algebraic group over a field k0. Let E be a G-torsor over a field extension k of k0. Let h be an algebraic oriented cohomology theory in the sense of Levine-Morel. Consider a twisted form E/B of the variety of Borel subgroups G/B over k. Following the Kostant-Kumar results on equivariant cohomology of flag varieties we establish an isomorphism between the Grothendieck groups of the h-motivic subcategory generated by E/B and the category of finitely generated projective modules of certain Hecke-type algebra H which depends on the root datum of G, on the torsor E and on the formal group law of the theory h. In particular, taking h to be the Chow groups with finite coefficients Fp and E to be a generic G-torsor we prove that all indecomposable submodules of an affine nil-Hecke algebra H of G with coefficients in Fp are isomorphic to each other and correspond to the (non-graded) generalized Rost-Voevodsky motive for (G,p). △ Less

Submitted 24 June, 2016; v1 submitted 26 May, 2015; originally announced May 2015.

Comments: 22pp; misprints corrected

MSC Class: 14F43; 14M15; 20C08; 14C15

Equivariant oriented cohomology of flag varieties

Authors: Baptiste Calmès, Kirill Zainoulline, Changlong Zhong

Abstract: Given an equivariant oriented cohomology theory $h$, a split reductive group $G$, a maximal torus $T$ in $G$, and a parabolic subgroup $P$ containing $T$, we explain how the $T$-equivariant oriented cohomology ring $h_T(G/P)$ can be identified with the dual of a coalgebra defined using exclusively the root datum of $(G,T)$, a set of simple roots defining $P$ and the formal group law of $h$. In two… ▽ More Given an equivariant oriented cohomology theory $h$, a split reductive group $G$, a maximal torus $T$ in $G$, and a parabolic subgroup $P$ containing $T$, we explain how the $T$-equivariant oriented cohomology ring $h_T(G/P)$ can be identified with the dual of a coalgebra defined using exclusively the root datum of $(G,T)$, a set of simple roots defining $P$ and the formal group law of $h$. In two papers [Push-pull operators on the formal affine Demazure algebra and its dual, arXiv:1312.0019] and [A coproduct structure on the formal affine Demazure algebra, arXiv:1209.1676], we studied the properties of this dual and of some related operators by algebraic and combinatorial methods, without any reference to geometry. The present paper can be viewed as a companion paper, that justifies all the definitions of the algebraic objects and operators by explaining how to match them to equivariant oriented cohomology rings endowed with operators constructed using push-forwards and pull-backs along geometric morphisms. Our main tool is the pull-back to the $T$-fixed points of $G/P$ which injects the cohomology ring in question into a direct product of a finite number of copies of the $T$-equivariant oriented cohomology of a point. △ Less

Submitted 24 September, 2014; originally announced September 2014.

Comments: 26 pages

MSC Class: 14F43; 14M15; 19L41; 55N22; 57T15; 57R85

Journal ref: Documenta Math. Extra Volume: Alexander S. Merkurjev's Sixtieth Birthday (2015), 113--144

Towards generalized cohomology Schubert calculus via formal root polynomials

Authors: Cristian Lenart, Kirill Zainoulline

Abstract: An important combinatorial result in equivariant cohomology and $K$-theory Schubert calculus is represented by the formulas of Billey and Graham-Willems for the localization of Schubert classes at torus fixed points. These formulas work uniformly in all Lie types, and are based on the concept of a root polynomial. In this paper we define formal root polynomials associated with an arbitrary formal… ▽ More An important combinatorial result in equivariant cohomology and $K$-theory Schubert calculus is represented by the formulas of Billey and Graham-Willems for the localization of Schubert classes at torus fixed points. These formulas work uniformly in all Lie types, and are based on the concept of a root polynomial. In this paper we define formal root polynomials associated with an arbitrary formal group law (and thus a generalized cohomology theory). We focus on the case of the hyperbolic formal group law (corresponding to elliptic cohomology). We study some of the properties of formal root polynomials. We give applications to the efficient computation of the transition matrix between two natural bases of the formal Demazure algebra in the hyperbolic case. As a corollary, we rederive in a transparent and uniform manner the formulas of Billey and Graham-Willems. We also prove the corresponding formula in connective $K$-theory, which seems new, and a duality result in this case. Other applications, including some related to the computation of Bott-Samelson classes in elliptic cohomology, are also discussed. △ Less

Submitted 15 January, 2015; v1 submitted 25 August, 2014; originally announced August 2014.

Comments: 20pp, several minor typos and mistakes were corrected; references updated; the analogue of the Billey-Graham-Willems formula and the respective duality result for connective K-theory was added

MSC Class: 14M15; 14F43; 55N20; 55N22; 19L47; 05E99

Journal ref: Math. Research Letters 24, No. 3, (2017), 839--877

On formal Schubert polynomials

Authors: Kirill Zainoulline

Abstract: Present notes can be viewed as an attempt to extend the notion of Schubert/Grothendieck polynomial to the context of an arbitrary algebraic oriented cohomology theory and, hence, of a commutative one-dimensional formal group law. Present notes can be viewed as an attempt to extend the notion of Schubert/Grothendieck polynomial to the context of an arbitrary algebraic oriented cohomology theory and, hence, of a commutative one-dimensional formal group law. △ Less

Submitted 4 June, 2014; originally announced June 2014.

Comments: 8 pages

MSC Class: 14N15; 55N22

Invariants of degree 3 and torsion in the Chow group of a versal flag

Authors: Alexander Merkurjev, Alexander Neshitov, Kirill Zainoulline

Abstract: We prove that the group of normalized cohomological invariants of degree 3 modulo the subgroup of semidecomposable invariants of a semisimple split linear algebraic group G is isomorphic to the torsion part of the Chow group of codimension 2 cycles of the respective versal G-flag. In particular, if G is simple, we show that this factor group is isomorphic to the group of indecomposable invariants… ▽ More We prove that the group of normalized cohomological invariants of degree 3 modulo the subgroup of semidecomposable invariants of a semisimple split linear algebraic group G is isomorphic to the torsion part of the Chow group of codimension 2 cycles of the respective versal G-flag. In particular, if G is simple, we show that this factor group is isomorphic to the group of indecomposable invariants of G. As an application, we construct nontrivial cohomological classes for indecomposable central simple algebras. △ Less

Submitted 8 October, 2014; v1 submitted 3 December, 2013; originally announced December 2013.

Comments: Appendix with computations for the PGO8-case is added

MSC Class: 11E72; 14M17; 14F43

Journal ref: Compositio Mathematica 151 (2015) 1416-1432

Push-pull operators on the formal affine Demazure algebra and its dual

Authors: Baptiste Calmès, Kirill Zainoulline, Changlong Zhong

Abstract: In the present paper we introduce and study the push pull operators on the formal affine Demazure algebra and its dual. As an application we provide a non-degenerate pairing on the dual of the formal affine Demazure algebra which serves as an algebraic counterpart of the natural pairing on the T-equivariant oriented cohomology of G/B induced by multiplication and push-forward to a point. This pa… ▽ More In the present paper we introduce and study the push pull operators on the formal affine Demazure algebra and its dual. As an application we provide a non-degenerate pairing on the dual of the formal affine Demazure algebra which serves as an algebraic counterpart of the natural pairing on the T-equivariant oriented cohomology of G/B induced by multiplication and push-forward to a point. This paper can be viewed as the next step towards the `algebraization program' for equivariant oriented cohomology theories started in arXiv:0905.1341 and continued in arXiv:1208.4114 and arXiv:1209.1676; the general idea being to match cohomology rings of algebraic varieties and elements of classical interest in them (such as classes of Schubert varieties) with algebraic and combinatorial objects that can be introduced in the spirit of [Demazure, Invariants symétriques entiers des groupes de Weyl et torsion, Invent. Math. 21:287-301, 1973] and [Kostant, Kumar, The nil Hecke ring and cohomology of G/P for a Kac-Moody group G, Advances in Math. 62:187-237, 1986]. △ Less

Submitted 26 September, 2014; v1 submitted 29 November, 2013; originally announced December 2013.

Comments: 34 pages; some material has been added since the last version, mainly in the parabolic case

MSC Class: 20C08; 14F43

A coproduct structure on the formal affine Demazure algebra

Authors: Baptiste Calmès, Kirill Zainoulline, Changlong Zhong

Abstract: In the present paper we generalize the coproduct structure on nil Hecke rings introduced and studied by Kostant-Kumar to the context of an arbitrary algebraic oriented cohomology theory and its associated formal group law. We then construct an algebraic model of the T-equivariant oriented cohomology of the variety of complete flags. In the present paper we generalize the coproduct structure on nil Hecke rings introduced and studied by Kostant-Kumar to the context of an arbitrary algebraic oriented cohomology theory and its associated formal group law. We then construct an algebraic model of the T-equivariant oriented cohomology of the variety of complete flags. △ Less

Submitted 26 September, 2014; v1 submitted 7 September, 2012; originally announced September 2012.

Comments: 28 pages; minor revision of the previous version

MSC Class: 20C08; 14F43

Journal ref: Math. Zeitschrift 282 (2016), no.3, 1191-1218

Formal Hecke algebras and algebraic oriented cohomology theories

Authors: Alex Hoffnung, José Malagón-Lopez, Alistair Savage, Kirill Zainoulline

Abstract: In the present paper we generalize the construction of the nil Hecke ring of Kostant-Kumar to the context of an arbitrary algebraic oriented cohomology theory of Levine-Morel and Panin-Smirnov, e.g. to Chow groups, Grothendieck's K_0, connective K-theory, elliptic cohomology, and algebraic cobordism. The resulting object, which we call a formal (affine) Demazure algebra, is parameterized by a one-… ▽ More In the present paper we generalize the construction of the nil Hecke ring of Kostant-Kumar to the context of an arbitrary algebraic oriented cohomology theory of Levine-Morel and Panin-Smirnov, e.g. to Chow groups, Grothendieck's K_0, connective K-theory, elliptic cohomology, and algebraic cobordism. The resulting object, which we call a formal (affine) Demazure algebra, is parameterized by a one-dimensional commutative formal group law and has the following important property: specialization to the additive and multiplicative periodic formal group laws yields completions of the nil Hecke and the 0-Hecke rings respectively. We also introduce a deformed version of the formal (affine) Demazure algebra, which we call a formal (affine) Hecke algebra. We show that the specialization of the formal (affine) Hecke algebra to the additive and multiplicative periodic formal group laws gives completions of the degenerate (affine) Hecke algebra and the usual (affine) Hecke algebra respectively. We show that all formal affine Demazure algebras (and all formal affine Hecke algebras) become isomorphic over certain coefficient rings, proving an analogue of a result of Lusztig. △ Less

Submitted 27 March, 2014; v1 submitted 20 August, 2012; originally announced August 2012.

Comments: 28 pages. v2: Some results strengthened and references added. v3: Minor corrections, section numbering changed to match published version. v4: Sign errors in Proposition 6.8(d) corrected. This version incorporates an erratum to the published version

MSC Class: 20C08; 14F43

Journal ref: Selecta Math. 20 (2014), no.4, 1213--1245

Exceptional collections of line bundles on projective homogeneous varieties

Authors: Alexey Ananyevskiy, Asher Auel, Skip Garibaldi, Kirill Zainoulline

Abstract: We construct new examples of exceptional collections of line bundles on the variety of Borel subgroups of a split semisimple linear algebraic group G of rank 2 over a field. We exhibit exceptional collections of the expected length for types A_2 and B_2=C_2 and prove that no such collection exists for type G_2. This settles the question of the existence of full exceptional collections of line bund… ▽ More We construct new examples of exceptional collections of line bundles on the variety of Borel subgroups of a split semisimple linear algebraic group G of rank 2 over a field. We exhibit exceptional collections of the expected length for types A_2 and B_2=C_2 and prove that no such collection exists for type G_2. This settles the question of the existence of full exceptional collections of line bundles on projective homogeneous G-varieties for split linear algebraic groups G of rank at most 2. △ Less

Submitted 13 July, 2012; originally announced July 2012.

Comments: 20 pages, comments welcome

MSC Class: 14F05; 14M15; 17B22; 20G15

Journal ref: Advances in Mathematics, vol. 236 (2013), 111-130

Invariants, exponents and formal group laws

Authors: Jose Malagon-Lopez, Kirill Zainoulline, Changlong Zhong

Abstract: Let W be the Weyl group of a crystallographic root system acting on the associated weight lattice by reflections. In the present notes we extend the notion of an exponent of the W-action introduced in [Baek-Neher-Zainoulline, arXiv:1106.4332] to the context of an arbitrary algebraic oriented cohomology theory of Levine-Morel, Panin-Smirnov and the associated formal group law. From this point of vi… ▽ More Let W be the Weyl group of a crystallographic root system acting on the associated weight lattice by reflections. In the present notes we extend the notion of an exponent of the W-action introduced in [Baek-Neher-Zainoulline, arXiv:1106.4332] to the context of an arbitrary algebraic oriented cohomology theory of Levine-Morel, Panin-Smirnov and the associated formal group law. From this point of view the classical Dynkin index of the associated Lie algebra will be the second exponent of the deformation map from the multiplicative to the additive formal group law. We apply this generalized exponent to study the torsion part of an arbitrary oriented cohomology theory of a twisted flag variety. △ Less

Submitted 18 November, 2013; v1 submitted 8 July, 2012; originally announced July 2012.

Comments: 15 pages, the last section is revised

MSC Class: 13A50; 14L24; 20F55

Journal ref: J. Algebra 409 (2014), 244-264

Erratum: On the torsion of Chow groups of twisted Spin-flags

Authors: Sanghoon Baek, Kirill Zainoulline, Changlong Zhong

Abstract: In the erratum we correct a mistake (due to a wrong choice of basic polynomial invariants over Z[1/2]) in the original paper (v1). Using the correct basic polynomial invariants we improve our results and bounds on the annihilator. We also simplify some of the proofs. In the erratum we correct a mistake (due to a wrong choice of basic polynomial invariants over Z[1/2]) in the original paper (v1). Using the correct basic polynomial invariants we improve our results and bounds on the annihilator. We also simplify some of the proofs. △ Less

Submitted 23 August, 2013; v1 submitted 20 April, 2012; originally announced April 2012.

Comments: 3 pages

MSC Class: 13A50; 14L24; 20F55

Journal ref: Math. Res. Lett. 20 (2013), no. 4, 601-614

Basic polynomial invariants, fundamental representations and the Chern class map

Authors: Sanghoon Baek, Erhard Neher, Kirill Zainoulline

Abstract: Consider a crystallographic root system together with its Weyl group $W$ acting on the weight lattice $M$. Let $Z[M]^W$ and $S^*(M)^W$ be the $W$-invariant subrings of the integral group ring $Z[M]$ and the symmetric algebra $S^*(M)$ respectively. A celebrated theorem of Chevalley says that $Z[M]^W$ is a polynomial ring over $Z$ in classes of fundamental representations $w_1,...,w_n$ and… ▽ More Consider a crystallographic root system together with its Weyl group $W$ acting on the weight lattice $M$. Let $Z[M]^W$ and $S^*(M)^W$ be the $W$-invariant subrings of the integral group ring $Z[M]$ and the symmetric algebra $S^*(M)$ respectively. A celebrated theorem of Chevalley says that $Z[M]^W$ is a polynomial ring over $Z$ in classes of fundamental representations $w_1,...,w_n$ and $S^*(M)^{W}$ over rational numbers is a polynomial ring in basic polynomial invariants $q_1,...,q_n$, where $n$ is the rank. In the present paper we establish and investigate the relationship between $w_i$'s and $q_i$'s over the integers. As an application we provide an annihilator of the torsion part of the 3rd and the 4th quotients of the Grothendieck gamma-filtration on the variety of Borel subgroups of the associated linear algebraic group. △ Less

Submitted 12 July, 2011; v1 submitted 21 June, 2011; originally announced June 2011.

Comments: 13 pages, misprints corrected

MSC Class: 13A50; 14L24; 20F55

Journal ref: Documenta Math. 17 (2012) 135-150

The J-invariant, Tits algebras and Triality

Authors: Anne Quéguiner-Mathieu, Nikita Semenov, Kirill Zainoulline

Abstract: In the present paper we set up a connection between the indices of the Tits algebras of a simple linear algebraic group $G$ and the degree one parameters of its motivic $J$-invariant. Our main technical tool are the second Chern class map and Grothendieck's $γ$-filtration. As an application we recover some known results on the $J$-invariant of quadratic forms of small dimension; we describe all… ▽ More In the present paper we set up a connection between the indices of the Tits algebras of a simple linear algebraic group $G$ and the degree one parameters of its motivic $J$-invariant. Our main technical tool are the second Chern class map and Grothendieck's $γ$-filtration. As an application we recover some known results on the $J$-invariant of quadratic forms of small dimension; we describe all possible values of the $J$-invariant of an algebra with orthogonal involution up to degree 8 and give explicit examples; we establish several relations between the $J$-invariant of an algebra $A$ with orthogonal involution and the $J$-invariant of the corresponding quadratic form over the function field of the Severi-Brauer variety of $A$. △ Less

Submitted 27 November, 2011; v1 submitted 6 April, 2011; originally announced April 2011.

Comments: 28pp

MSC Class: 20G15; 14C25; 14L30; 16W10; 11E04

Journal ref: J. of Pure and Applied Algebra 216 (2012), 2614-2628

Twisted gamma-filtration of a linear algebraic group

Authors: Kirill Zainoulline

Abstract: In the present notes we introduce and study the twisted gamma-filtration on K_0(G), where G is a split simple linear algebraic group over a field of characteristic prime to the order of the center of G. We apply this filtration to construct torsion elements in the gamma-ring of an inner form of the variety of Borel subgroups of G. In the present notes we introduce and study the twisted gamma-filtration on K_0(G), where G is a split simple linear algebraic group over a field of characteristic prime to the order of the center of G. We apply this filtration to construct torsion elements in the gamma-ring of an inner form of the variety of Borel subgroups of G. △ Less

Submitted 19 February, 2011; v1 submitted 31 January, 2011; originally announced February 2011.

Comments: 10 pages

MSC Class: 20G15; 14C25; 14L30

Journal ref: Compositio Math. 148 (2012) 1645-1654

Equivariant pretheories and invariants of torsors

Authors: Stefan Gille, Kirill Zainoulline

Abstract: In the present paper we introduce and study the notion of an equivariant pretheory: basic examples include equivariant Chow groups, equivariant K-theory and equivariant algebraic cobordism. To extend this set of examples we define an equivariant (co)homology theory with coefficients in a Rost cycle module and provide a version of Merkurjev's (equivariant K-theory) spectral sequence for such a theo… ▽ More In the present paper we introduce and study the notion of an equivariant pretheory: basic examples include equivariant Chow groups, equivariant K-theory and equivariant algebraic cobordism. To extend this set of examples we define an equivariant (co)homology theory with coefficients in a Rost cycle module and provide a version of Merkurjev's (equivariant K-theory) spectral sequence for such a theory. As an application we generalize the theorem of Karpenko-Merkurjev on G-torsors and rational cycles; to every G-torsor E and a G-equivariant pretheory we associate a graded ring which serves as an invariant of E. In the case of Chow groups this ring encodes the information concerning the motivic J-invariant of E and in the case of Grothendieck's K_0 -- indexes of the respective Tits algebras. △ Less

Submitted 30 May, 2011; v1 submitted 21 July, 2010; originally announced July 2010.

Comments: 23 pages; this is an essentially extended version of the previous preprint: the construction of an equivariant cycle (co)homology and the spectral sequence (generalizing the long exact localization sequence) are added

MSC Class: 20G15; 19L47; 14F43

Journal ref: Transformation Groups 17:2 (2012) 471-498

The gamma-filtration and the Rost invariant

Authors: Skip Garibaldi, Kirill Zainoulline

Abstract: Let X be the variety of Borel subgroups of a simple and strongly inner linear algebraic group G over a field k. We prove that the torsion part of the second quotient of Grothendieck's gamma-filtration on X is a cyclic group of order the Dynkin index of G. As a byproduct of the proof we obtain an explicit cycle that generates this cyclic group; we provide an upper bound for the torsion of the Chow… ▽ More Let X be the variety of Borel subgroups of a simple and strongly inner linear algebraic group G over a field k. We prove that the torsion part of the second quotient of Grothendieck's gamma-filtration on X is a cyclic group of order the Dynkin index of G. As a byproduct of the proof we obtain an explicit cycle that generates this cyclic group; we provide an upper bound for the torsion of the Chow group of codimension-3 cycles on X; we relate the generating cycle with the Rost invariant and the torsion of the respective generalized Rost motives; we use this cycle to obtain a uniform lower bound for the essential dimension of (almost) all simple linear algebraic groups. △ Less

Submitted 21 December, 2010; v1 submitted 20 July, 2010; originally announced July 2010.

Comments: 19 pages; this is an essentially extended version of the previous preprint. Applications to cohomological invariants and essential dimensions of linear algebraic groups are provided

MSC Class: 20G15; 14C25; 14L30

Journal ref: J. reine angew. Math., vol. 696 (2014), 225-244

Invariants, torsion indices and oriented cohomology of complete flags

Authors: Baptiste Calmès, Victor Petrov, Kirill Zainoulline

Abstract: In the present notes we generalize the classical work of Demazure [Invariants symétriques entiers des groupes de Weyl et torsion] to arbitrary oriented cohomology theories and formal group laws. Let G be a split semisemiple linear algebraic group over a field and let T be its split maximal torus. We construct a generalized characteristic map relating the so called formal group ring of the characte… ▽ More In the present notes we generalize the classical work of Demazure [Invariants symétriques entiers des groupes de Weyl et torsion] to arbitrary oriented cohomology theories and formal group laws. Let G be a split semisemiple linear algebraic group over a field and let T be its split maximal torus. We construct a generalized characteristic map relating the so called formal group ring of the character group of T with the cohomology of the variety of Borel subgroups of G. The main result of the paper says that the kernel of this map is generated by W-invariant elements, where W is the Weyl group of G. As one of the applications we provide an algorithm (realized as a Macaulau2 package) which can be used to compute the ring structure of an oriented cohomology (algebraic cobordism, Morava $K$-theories, connective K-theory, Chow groups, K_0, etc.) of a complete flag variety. △ Less

Submitted 8 April, 2010; v1 submitted 8 May, 2009; originally announced May 2009.

Comments: 36pp. xypic

MSC Class: 14F43; 20G10

Journal ref: Ann. Sci. Ecole Norm. Sup. (4) 46 (2013), no.3

Degree formula for connective K-theory

Authors: K. Zainoulline

Abstract: We apply the degree formula for connective $K$-theory to study rational contractions of algebraic varieties. Examples include rationally connected varieties and complete intersections. We apply the degree formula for connective $K$-theory to study rational contractions of algebraic varieties. Examples include rationally connected varieties and complete intersections. △ Less

Submitted 21 October, 2008; v1 submitted 19 August, 2008; originally announced August 2008.

Comments: 14 pages

MSC Class: 14F43; 55N20; 55N22

Journal ref: Invent. Math. 179:3 (2010) 507-522

Essential dimension of Hermitian spaces

Authors: Nikita Semenov, Kirill Zainoulline

Abstract: Given an hermitian space we compute its essential dimension, Chow motive and prove its incompressibility in certain dimensions. Given an hermitian space we compute its essential dimension, Chow motive and prove its incompressibility in certain dimensions. △ Less

Submitted 21 July, 2008; v1 submitted 8 May, 2008; originally announced May 2008.

Comments: 6 pages

MSC Class: 14C25

Journal ref: Math. Annalen 346 (2009), no.2, 499--503

Special correspondences and Chow traces of Landweber-Novikov operations

Authors: Kirill Zainoulline

Abstract: We prove that the function field of a variety which possesses a special correspondence in the sense of M. Rost preserves the rationality of cycles of small codimensions. This fact was proven by Vishik in the case of quadrics and played the crucial role in his construction of fields with $u$-invariant $2^r+1$. The main technical tools are algebraic cobordism of Levine-Morel, generalized Rost degr… ▽ More We prove that the function field of a variety which possesses a special correspondence in the sense of M. Rost preserves the rationality of cycles of small codimensions. This fact was proven by Vishik in the case of quadrics and played the crucial role in his construction of fields with $u$-invariant $2^r+1$. The main technical tools are algebraic cobordism of Levine-Morel, generalized Rost degree formula and divisibility of Chow traces of certain Landweber-Novikov operations. As a direct application of our methods we prove the Vishik's Theorem for all $F_4$-varieties. △ Less

Submitted 7 March, 2008; v1 submitted 28 August, 2007; originally announced August 2007.

Comments: 13 pages

MSC Class: 14C15; 55N22

Journal ref: J. Reine und Angew. Math. 628 (2009), 195--204.

J-invariant of linear algebraic groups

Authors: Victor Petrov, Nikita Semenov, Kirill Zainoulline

Abstract: Let G be a linear algebraic group over a field F and X be a projective homogeneous G-variety such that G splits over the function field of X. In the present paper we introduce an invariant of G called J-invariant which characterizes the motivic behaviour of X. This generalizes the respective notion invented by A. Vishik in the context of quadratic forms. As a main application we obtain a uniform… ▽ More Let G be a linear algebraic group over a field F and X be a projective homogeneous G-variety such that G splits over the function field of X. In the present paper we introduce an invariant of G called J-invariant which characterizes the motivic behaviour of X. This generalizes the respective notion invented by A. Vishik in the context of quadratic forms. As a main application we obtain a uniform proof of all known motivic decompositions of generically split projective homogeneous varieties (Severi-Brauer varieties, Pfister quadrics, maximal orthogonal Grassmannians, G2- and F4-varieties) as well as provide new examples (exceptional varieties of types E6, E7 and E8). We also discuss relations with torsion indices, canonical dimensions and cohomological invariants of the group G. △ Less

Submitted 7 March, 2008; v1 submitted 19 July, 2006; originally announced July 2006.

Comments: The paper containes 39 pages and uses XYPIC package

MSC Class: 14C15;14M15

Journal ref: Ann. Sci. Ecole Norm. Sup. (4) 41 (2008), no.6, 1023-1053.

Motivic decomposition of a generalized Severi-Brauer variety

Authors: Kirill Zainoulline

Abstract: Let A and B be two central simple algebras of a prime degree n over a field F generating the same subgroup in the Brauer group. We show that the Chow motive of a Severi-Brauer variety SB(A) is a direct summand of the motive of a generalized Severi-Brauer variety SB_d(B) if and only if [A]=d[B] or [A]=-d[B] in the Brauer group. The proof uses methods of Schubert calculus and combinatorial propert… ▽ More Let A and B be two central simple algebras of a prime degree n over a field F generating the same subgroup in the Brauer group. We show that the Chow motive of a Severi-Brauer variety SB(A) is a direct summand of the motive of a generalized Severi-Brauer variety SB_d(B) if and only if [A]=d[B] or [A]=-d[B] in the Brauer group. The proof uses methods of Schubert calculus and combinatorial properties of Young tableaux, e.g., Robinson-Schensted correspondence. △ Less

Submitted 27 January, 2006; originally announced January 2006.

Comments: 20 pages

MSC Class: 14M15; 14C25; 05E15

Canonical p-dimensions of algebraic groups and degrees of basic polynomial invariants

Authors: Kirill Zainoulline

Abstract: In the present notes we provide a new uniform way to compute a canonical p-dimension of a split algebraic group G for a torsion prime p using degrees of basic polynomial invariants described by V.Kac. As an application, we compute the canonical p-dimensions for all split exceptional algebraic groups. In the present notes we provide a new uniform way to compute a canonical p-dimension of a split algebraic group G for a torsion prime p using degrees of basic polynomial invariants described by V.Kac. As an application, we compute the canonical p-dimensions for all split exceptional algebraic groups. △ Less

Submitted 28 November, 2005; v1 submitted 8 October, 2005; originally announced October 2005.

Comments: this is the corrected version avoiding the mistake containing in the paper by V.Kac (from the reference list); 4 pages

MSC Class: 20G15; 14C25

Journal ref: London Math. Bull. 39 (2007), 301-304

Zero-cycles on a twisted Cayley plane

Authors: V. Petrov, N. Semenov, K. Zainoulline

Abstract: This is an essentially extended version of the preprint dated by August 2005 (this includes now the varieties of types F_4, E_6 and E_7). Let k be a field of characteristic not 2 and 3. Let G be an exceptional simple algebraic group of type F_4, inner type E_6 or E_7 with trivial Tits algebras. Let X be a projective G-homogeneous variety. If G is of type E_7 we assume in addition that the resp… ▽ More This is an essentially extended version of the preprint dated by August 2005 (this includes now the varieties of types F_4, E_6 and E_7). Let k be a field of characteristic not 2 and 3. Let G be an exceptional simple algebraic group of type F_4, inner type E_6 or E_7 with trivial Tits algebras. Let X be a projective G-homogeneous variety. If G is of type E_7 we assume in addition that the respective parabolic subgroup is of type P_7. The main result of the paper says that the degree map on the group of zero cycles of X is injective. △ Less

Submitted 22 September, 2005; v1 submitted 11 August, 2005; originally announced August 2005.

Comments: 15 pages

MSC Class: 57T15; 19E15

Journal ref: Canadian Math. Bull. 51 (2008), no.1, 114-124.

On classification of projective homogeneous varieties up to motivic isomorphism

Authors: N. Semenov, K. Zainoulline

Abstract: We give a complete classification of anisotropic projective homogeneous varieties of dimension less than 6 up to motivic isomorphism. We give several criteria for anisotropic flag varieties of type A_n to have isomorphic motives. We give a complete classification of anisotropic projective homogeneous varieties of dimension less than 6 up to motivic isomorphism. We give several criteria for anisotropic flag varieties of type A_n to have isomorphic motives. △ Less

Submitted 8 July, 2005; originally announced July 2005.

Comments: 14 pages

MSC Class: 57T15; 19E15

Journal ref: Zapiski Nauchn. Sem. POMI 330 (2006), 158-172.

Chow motives of twisted flag varieties

Authors: B. Calmes, V. Petrov, N. Semenov, K. Zainoulline

Abstract: Let G be an adjoint simple algebraic group of inner type. We express the Chow motive (with integral coefficients) of some anisotropic projective G-homogeneous varieties in terms of motives of simpler G-homogeneous varieties, namely, those that correspond to maximal parabolic subgroups of G. We decompose the motive of a generalized Severi-Brauer variety SB_2(A), where A is a division algebra of d… ▽ More Let G be an adjoint simple algebraic group of inner type. We express the Chow motive (with integral coefficients) of some anisotropic projective G-homogeneous varieties in terms of motives of simpler G-homogeneous varieties, namely, those that correspond to maximal parabolic subgroups of G. We decompose the motive of a generalized Severi-Brauer variety SB_2(A), where A is a division algebra of degree 5, into a direct sum of two indecomposable motives. As an application we provide another counter-example to the uniqueness of a direct sum decomposition in the category of motives with integral coefficients. △ Less

Submitted 8 July, 2005; v1 submitted 12 May, 2005; originally announced May 2005.

Comments: 28 pages

MSC Class: 57T15; 19E15

Journal ref: Compositio Math. 142 (2006), no.4, 1063-1080.

Motivic decomposition of anisotropic varieties of type F_4 into generalized Rost motives

Authors: S. Nikolenko, N. Semenov, K. Zainoulline

Abstract: This an extended version of the previous preprint dated by February 2005. We prove that the Chow motive of an anisotropic projective homogeneous variety of type F4 is isomorphic to the direct sum of twisted copies of a generalized Rost motive. In particular, we provide an explicit construction of a generalized Rost motive for a generically splitting variety for a symbol in K_3^M(k)/3. We also… ▽ More This an extended version of the previous preprint dated by February 2005. We prove that the Chow motive of an anisotropic projective homogeneous variety of type F4 is isomorphic to the direct sum of twisted copies of a generalized Rost motive. In particular, we provide an explicit construction of a generalized Rost motive for a generically splitting variety for a symbol in K_3^M(k)/3. We also establish a motivic isomorphism between two anisotropic non-isomorphic projective homogeneous varieties of type F4. All our results hold for Chow motives with integral coefficients. △ Less

Submitted 22 September, 2005; v1 submitted 17 February, 2005; originally announced February 2005.

Comments: 20 pages, XYPIC

Journal ref: J. of K-theory 3 (2009), no.1, 85-102.

Oriented Cohomology and Motivic Decompositions of Relative Cellular Spaces

Authors: A. Nenashev, K. Zainoulline

Abstract: For an oriented cohomology theory A and a relative cellular space X, we decompose the A-motive of X into a direct sum of twisted motives of the base spaces. We also obtain respective decompositions of the A-cohomology of X. Applying them, one can compute A(X), where X is an isotropic projective homogeneous variety and A means algebraic K-theory, motivic cohomology or algebraic cobordism MGL. For an oriented cohomology theory A and a relative cellular space X, we decompose the A-motive of X into a direct sum of twisted motives of the base spaces. We also obtain respective decompositions of the A-cohomology of X. Applying them, one can compute A(X), where X is an isotropic projective homogeneous variety and A means algebraic K-theory, motivic cohomology or algebraic cobordism MGL. △ Less

Submitted 25 September, 2004; v1 submitted 6 July, 2004; originally announced July 2004.

Comments: 23 pages, XYPIC, hyperref

MSC Class: 14F43

Journal ref: J. of Pure and Applied Algebra 205 (2006), no.2, 323-340.

On the norm principle for quadratic forms

Authors: M. Ojanguren, I. Panin, K. Zainoulline

Abstract: 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. 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. △ Less

Submitted 31 August, 2004; v1 submitted 26 November, 2003; originally announced November 2003.

Comments: 14 pages, hyperref, xypic, (This is an extended and revised version of the previous preprint: The proof of Grothendieck's conjecture on Principal Homogeneous Spaces for the case of spinor group was added)

MSC Class: 20G35; 13H05

Journal ref: J. Ramanujan Math. Soc. 19 (2004), no.4, 1-12

On Knebusch's Norm Principle for quadratic forms over semi-local rings

Authors: K. Zainoulline

Abstract: We prove the version of Knebusch's Norm principle for simple extensions of (semi-)local rings. As an application we prove the Grothedieck-Serre's conjecture on principal homogeneous spaces for the split case of the spinor group. We prove the version of Knebusch's Norm principle for simple extensions of (semi-)local rings. As an application we prove the Grothedieck-Serre's conjecture on principal homogeneous spaces for the split case of the spinor group. △ Less

Submitted 25 April, 2003; originally announced April 2003.

Comments: 10 pages, using XYPIC

MSC Class: 11E08

Journal ref: Math. Zeitschrift 251 (2005), no.2, 415-425

Variations on the Bloch-Ogus Theorem

Authors: I. Panin, K. Zainoulline

Abstract: 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 o… ▽ More 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. △ Less

Submitted 13 March, 2002; originally announced March 2002.

Comments: Latex 2e, XYPIC, 21 pages

MSC Class: 14F20; 18G40; 19F27

Journal ref: Documenta Math. 8 (2003), 51-67

On Grothendieck's Conjecture about Principal Homogeneous Spaces for some Classical Algebraic Groups

Authors: Kirill Zainoulline

Abstract: In the present paper we investigate the question about the injectivity of the map F(R) --> F(K) induced by the canonical inclusion of a local regular ring of geometric type R to its field of fractions K for a homotopy invariant functor F with transfers satisfying some additional properties. As an application we get the original proof of Special Unitary Case of Grothendieck's conjecture about pri… ▽ More In the present paper we investigate the question about the injectivity of the map F(R) --> F(K) induced by the canonical inclusion of a local regular ring of geometric type R to its field of fractions K for a homotopy invariant functor F with transfers satisfying some additional properties. As an application we get the original proof of Special Unitary Case of Grothendieck's conjecture about principal homogeneous spaces and some other interesting examples. △ Less

Submitted 23 February, 1999; originally announced February 1999.

Comments: AMS-TeX v2.1, 28 pages

Report number: Steklov Mathematical Institute, St.Petersburg, POMI-99-02

Journal ref: St.Petersburg Math. J. 12(1), 2001