
We compute the ChowWitt 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
ChowWitt 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.

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
nontriviality 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.

We provide some new computations of FarrellTate and Bredon (co)homology for
arithmetic groups. For calculations of FarrellTate 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 FarrellTate cohomology for
small primes as well as the Bredon homology for the classifying spaces of
proper actions with coefficients in the complex representation ring.

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
BassQuillen 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.

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.

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.

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.

The paper provides a computation of the additive structure as well as a
partial description of the Chernclass 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 BruhatTits 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 Chernclass ring.
In some examples, even the torsionfree quotient of cohomology fails to be
free. A possible variation of Quillen's conjecture is also discussed.

In this paper, we provide numbertheoretic formulas for FarrellTate
cohomology for SL\_2 over rings of Sintegers 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
FriedlanderMilnor conjecture,(III) cohomology of SL\_2 over number fields.

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.

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 finitedimensional
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.

We present some new results on the cohomology of a large scope of
SL\_2groups 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.

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
Ktheory of elliptic curves are also discussed.

We study the problem of classifying projectivizations of ranktwo 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.

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^1invariant replacement. We discuss some of the general properties of
A^1invariant group homology, such as stabilization sequences and
GrothendieckWitt 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^1invariant version.
In other words, weak homotopy invariance fails for SL_2 over many families of
nonalgebraically closed fields.

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 wellknown 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 nonunipotent 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.

In this note, we show that the units in GrothendieckWitt rings extend to an
unramified strictly A^1invariant sheaf of abelian groups on the category of
smooth schemes. This implies that there is an A^1local classifying space of
spherical fibrations.

This note explains how to prove that for any simplyconnected 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.

In this note, we describe motivic cell structures arising from the
BialynickiBirula decomposition. This provides a description of the stable
A^1homotopy types of smooth projective G_mvarieties where the G_maction has
isolated fixed points.

In this paper, we discuss the theory of quasifibrations 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^1homotopy theory.

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 BruhatTits building.

Many studies of especially dust nucleation in winds of carbonrich 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 presolar 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 carbonrich AGB stars.

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 selfequivalences of a simplicial sheaf and provides the
unpointed classification.