• ### Chow-Witt rings of classifying spaces for symplectic and special linear groups(1703.05362)

March 19, 2019 math.AT, math.AG, math.KT
We compute the Chow-Witt rings of the classifying spaces for the symplectic and special linear groups. In the structural description we give, contributions from real and complex realization are clearly visible. In particular, the computation of cohomology with $\mathbf{I}^j$-coefficients is done closely along the lines of Brown's computation of integral cohomology for special orthogonal groups. The computations for the symplectic groups show that Chow-Witt groups are a symplectically oriented ring cohomology theory. Using our computations for special linear groups, we also discuss the question when an oriented vector bundle of odd rank splits off a trivial summand.
• ### Variations in $\mathbb{A}^1$ on a theme of Mohan Kumar(1704.00141)

Oct. 11, 2018 math.AG
For every prime $p$, Mohan Kumar constructed examples of stably free modules of rank $p$ on suitable $(p+1)$-dimensional smooth affine varieties. This note discusses how to detect the corresponding unimodular rows in motivic cohomology. Using the recent developments in the $\mathbb{A}^1$-obstruction classification of vector bundles, this provides an alternative proof of non-triviality of Mohan Kumar's stably free modules. The reinterpretation of Mohan Kumar's examples also allows to produce interesting examples of stably trivial torsors for other algebraic groups.
• ### The Farrell--Tate and Bredon homology for PSL\_4(Z) via cell subdivisions(1611.06099)

Oct. 11, 2018 math.KT
We provide some new computations of Farrell--Tate and Bredon (co)homology for arithmetic groups. For calculations of Farrell--Tate or Bredon homology, one needs cell complexes wherecell stabilizers fix their cells pointwise. We provide two algorithms computing an efficient subdivision of a complex to achieve this rigidity property. Applying these algorithms to available cell complexes for PSL4(Z) provides computations of Farrell--Tate cohomology for small primes as well as the Bredon homology for the classifying spaces of proper actions with coefficients in the complex representation ring.
• ### Affine representability results in A^1-homotopy theory II: principal bundles and homogeneous spaces(1507.08020)

May 31, 2017 math.AT, math.AG, math.KT, math.GR
We establish a relative version of the abstract "affine representability" theorem in ${\mathbb A}^1$--homotopy theory from Part I of this paper. We then prove some ${\mathbb A}^1$--invariance statements for generically trivial torsors under isotropic reductive groups over infinite fields analogous to the Bass--Quillen conjecture for vector bundles. Putting these ingredients together, we deduce representability theorems for generically trivial torsors under isotropic reductive groups and for associated homogeneous spaces in ${\mathbb A}^1$--homotopy theory.
• ### On stably trivial spin torsors over low-dimensional schemes(1704.07768)

April 25, 2017 math.AG
The paper discusses stably trivial torsors for spin and orthogonal groups over smooth affine schemes over infinite perfect fields of characteristic unequal to 2. We give a complete description of all the invariants relevant for the classification of such objects over schemes of dimension at most $3$, along with many examples. The results are based on the $\mathbb{A}^1$-representability theorem for torsors and transfer of known computations of $\mathbb{A}^1$-homotopy sheaves along the sporadic isomorphisms to spin groups.
• ### Generically split octonion algebras and A^1-homotopy theory(1704.03657)

April 12, 2017 math.AT, math.AG, math.KT, math.RA
We study generically split octonion algebras over schemes using techniques of ${\mathbb A}^1$-homotopy theory. By combining affine representability results with techniques of obstruction theory, we establish classification results over smooth affine schemes of small dimension. In particular, for smooth affine schemes over algebraically closed fields, we show that generically split octonion algebras may be classified by characteristic classes including the second Chern class and another "mod $3$" invariant. We review Zorn's "vector matrix" construction of octonion algebras, generalized to rings by various authors, and show that generically split octonion algebras are always obtained from this construction over smooth affine schemes of low dimension. Finally, generalizing P. Gille's analysis of octonion algebras with trivial norm form, we observe that generically split octonion algebras with trivial associated spinor bundle are automatically split in low dimensions.
• ### Affine representability results in ${\mathbb A}^1$-homotopy theory I: vector bundles(1506.07093)

Nov. 30, 2016 math.AT, math.AG, math.KT, math.AC
We establish a general "affine representability" result in ${\mathbb A}^1$-homotopy theory over a general base. We apply this result to obtain representability results for vector bundles in ${\mathbb A}^1$-homotopy theory. Our results simplify and significantly generalize F. Morel's ${\mathbb A}^1$-representability theorem for vector bundles.
• ### On the cohomology of $GL_3$ of elliptic curves and Quillen's conjecture(1609.08278)

Sept. 27, 2016 math.AG, math.KT
The paper provides a computation of the additive structure as well as a partial description of the Chern-class module structure of the cohomology of $GL_3$ over the function ring of an elliptic curve over a finite field. The computation is achieved by a detailed analysis of the isotropy spectral sequence for the action of $GL_3$ on the associated Bruhat-Tits building. This provides insights into the function field version of Quillen's conjecture on the structure of cohomology rings of arithmetic groups. The computations exhibit a lot of explicit classes which are torsion for the Chern-class ring. In some examples, even the torsion-free quotient of cohomology fails to be free. A possible variation of Quillen's conjecture is also discussed.
• ### On Farrell-Tate cohomology of SL\_2 over S-integers(1411.3542)

Dec. 21, 2015 math.KT
In this paper, we provide number-theoretic formulas for Farrell-Tate cohomology for SL\_2 over rings of S-integers in number fields satisfying a weak regularity assumption. These formulas describe group cohomology above the virtual cohomological dimension, and can be used to study some questions in homology of linear groups. We expose three applications, to (I) detection questions for the Quillen conjecture,(II) the existence of transfers for the Friedlander--Milnor conjecture,(III) cohomology of SL\_2 over number fields.
• ### On A^1-fundamental groups of isotropic reductive groups(1207.2364)

Oct. 22, 2015 math.KT
For an isotropic reductive group G satisfying a suitable rank condition over an infinite field k, we show that the sections of the $\mathbb{A}^1$-fundamental group sheaf of G over an extension field L/k can be identified with the second group homology of G(L). For a split group G, we provide explicit loops representing all elements in the $\mathbb{A}^1$-fundamental group. Using $\mathbb{A}^1$-homotopy theory, we deduce a Steinberg relation for these explicit loops.
• ### Perverse motives and graded derived category $\mathcal{O}$(1404.6333)

Oct. 14, 2015 math.RT
For a variety with a Whitney stratification by affine spaces, we study categories of motivic sheaves which are constant mixed Tate along the strata. We are particularly interested in those cases where the category of mixed Tate motives over a point is equivalent to the category of finite-dimensional bigraded vector spaces. Examples of such situations include rational motives on varieties over finite fields and modules over the spectrum representing the semisimplification of de Rham cohomology for varieties over the complex numbers. We show that our categories of stratified mixed Tate motives have a natural weight structure. Under an additional assumption of pointwise purity for objects of the heart, tilting gives an equivalence between stratified mixed Tate sheaves and the bounded homotopy category of the heart of the weight structure. Specializing to the case of flag varieties, we find natural geometric interpretations of graded category $\mathcal O$ and Koszul duality.
• ### A refinement of a conjecture of Quillen(1506.01814)

June 5, 2015 math.KT
We present some new results on the cohomology of a large scope of SL\_2-groups in degrees above the virtual cohomological dimension; yielding some partial positive results for the Quillen conjecture in rank one. We combine these results with the known partial positive results and the known types of counterexamples to the Quillen conjecture, in order to formulate a refined variant of the conjecture.
• ### Homology of $GL_3$ of function rings of elliptic curves(1501.02613)

Jan. 12, 2015 math.KT
The note provides a description of the homology of $GL_3$ over function rings of affine elliptic curves over arbitrary fields, following the earlier work of Takahashi and Knudson in the case $GL_2$. Some prospects for applications to K-theory of elliptic curves are also discussed.
• ### Comparing A^1-h-cobordism and A^1-weak equivalence(1410.3038)

Oct. 12, 2014 math.AT, math.AG, math.KT
We study the problem of classifying projectivizations of rank-two vector bundles over ${\mathbb P}^2$ up to various notions of equivalence that arise naturally in ${\mathbb A}^1$-homotopy theory, namely ${\mathbb A}^1$-weak equivalence and ${\mathbb A}^1$-$h$-cobordism. First, we classify such varieties up to ${\mathbb A}^1$-weak equivalence: over algebraically closed fields having characteristic unequal to two the classification can be given in terms of characteristic classes of the underlying vector bundle. When the base field is ${\mathbb C}$, this classification result can be compared to a corresponding topological result and we find that the algebraic and topological homotopy classifications agree. Second, we study the problem of classifying such varieties up to ${\mathbb A}^1$-$h$-cobordism using techniques of deformation theory. To this end, we establish a deformation rigidity result for ${\mathbb P}^1$-bundles over ${\mathbb P}^2$ which links ${\mathbb A}^1$-$h$-cobordisms to deformations of the underlying vector bundles. Using results from the deformation theory of vector bundles we show that if $X$ is a ${\mathbb P}^1$-bundle over ${\mathbb P}^2$ and $Y$ is the projectivization of a direct sum of line bundles on ${\mathbb P}^2$, then if $X$ is ${\mathbb A}^1$-weakly equivalent to $Y$, $X$ is also ${\mathbb A}^1$-$h$-cobordant to $Y$. Finally, we discuss some subtleties inherent in the definition of ${\mathbb A}^1$-$h$-cobordism. We show, for instance, that direct ${\mathbb A}^1$-$h$-cobordism fails to be an equivalence relation.
• ### On third homology of SL_2 and weak homotopy invariance(1307.3069)

April 25, 2014 math.KT
The goal of the paper is to achieve - in the special case of the linear group SL_2 - some understanding of the relation between group homology and its A^1-invariant replacement. We discuss some of the general properties of A^1-invariant group homology, such as stabilization sequences and Grothendieck-Witt module structures. Together with very precise knowledge about refined Bloch groups, these methods allow to deduce that in general there is a rather large difference between group homology and its A^1-invariant version. In other words, weak homotopy invariance fails for SL_2 over many families of non-algebraically closed fields.
• ### Homology of SL2 over function fields I: parabolic subcomplexes(1404.5825)

April 23, 2014 math.KT
The present paper studies the homology of the groups $SL_2(k[C])$ and $GL_2(k[C])$ where $C=\overline{C}\setminus\{P_1,\dots,P_s\}$ is a smooth affine curve over an algebraically closed field $k$. It is well-known that these groups act on a product of trees and the quotients can be described in terms of certain equivalence classes of vector bundles on the complete curve. There is a natural subcomplex of cells with non-unipotent isotropy group. The paper provides explicit formulas for the equivariant homology of this "parabolic subcomplex". These formulas also describe the homology of $SL_2(k[C])$ above degree s, with finite coefficients away from the characteristic of $k$, generalizing a result of Suslin for the case s=1.
• ### Units in Grothendieck-Witt rings and A^1-spherical fibrations(1304.5922)

April 22, 2013 math.AT
In this note, we show that the units in Grothendieck-Witt rings extend to an unramified strictly A^1-invariant sheaf of abelian groups on the category of smooth schemes. This implies that there is an A^1-local classifying space of spherical fibrations.
• ### On homology of linear groups over k[t](1011.5110)

Feb. 7, 2013 math.KT
This note explains how to prove that for any simply-connected reductive group G and any infinite field k, the inclusion of k in k[t] induces an isomorphism on homology. This generalizes results of Soule and Knudson.
• ### More examples of motivic cell structures(1012.0454)

April 24, 2012 math.AT
In this note, we describe motivic cell structures arising from the Bialynicki-Birula decomposition. This provides a description of the stable A^1-homotopy types of smooth projective G_m-varieties where the G_m-action has isolated fixed points.
• ### Fibre sequences and localization of simplicial sheaves(1011.4784)

April 24, 2012 math.AT
In this paper, we discuss the theory of quasi-fibrations in proper Bousfield localizations of model categories of simplicial sheaves. We provide a construction of fibrewise localization and use this construction to generalize a criterion for locality of fibre sequences due to Berrick and Dror Farjoun. The result allows a better understanding of unstable A^1-homotopy theory.
• ### Homotopy invariance for homology of linear groups: the case SL_4(1011.5392)

Aug. 10, 2011 math.KT
In this paper, we investigate homotopy invariance for homology of SL_4. For any commutative ring, the group E_4(R[t]) acts on a simplicial complex whose contractibility implies homotopy invariance. We show that for a local factorial ring R, this complex satisfies the CAT(0)-property for the induced length metric from the Bruhat-Tits building.
• ### Nucleation studies under the conditions of carbon-rich AGB star envelopes: TiC(1102.1663)

Feb. 8, 2011 astro-ph.SR
Many studies of especially dust nucleation in winds of carbon-rich AGB stars consider primarily carbon as dust forming material. But dust grains formed in such circumstellar envelopes are rather a mixture of several chemical elements such as titanium or silicon in addition to the main component carbon as verified by many investigations of pre-solar grains enclosed in meteorites, for example. In this contribution we focus on the study of the nucleation of titanium carbide particles from the gas phase. Therefore, the necessary properties of molecular titanium carbide clusters have been estimated within density functional approaches and first implications on the homogeneous nucleation of TiC are studied for conditions being representative for circumstellar dust shells around carbon-rich AGB stars.
• ### Classifying spaces and fibrations of simplicial sheaves(1009.2930)

Nov. 9, 2010 math.AT
In this paper, we discuss the construction of classifying spaces of fibre sequences in model categories of simplicial sheaves. One construction proceeds via Brown representability and provides a classification in the pointed model category. The second construction is given by the classifying space of the monoid of homotopy self-equivalences of a simplicial sheaf and provides the unpointed classification.