This article explains the notion of cellular objects in the motivic model category, which are like CW complexes for the algebraic/motivic world.

(last edit on 2014-04-08, added a remark on realizations and a Thom construction)

Continue reading «Cellular objects in the motivic model category»

Last week Matthias Wendt and I have put our first joint paper on the arXiv, it's called "A¹-fundamental groups of isotropic reductive groups" and here I will tell you how you can think about it without going through all definitions.

I have blogged about this before, but until a few days ago, there was only my diploma thesis in german and an extended abstract in english online, and the results were not as general (oh, and the proofs were also not the best...).

Continue reading «A¹-fundamental groups of isotropic groups»

These days I read Akhil Mathew's post on Vaserstein's proof of the Quillen-Suslin theorem, once known as Serre's Problem. This inspired the following.

Serre asked whether algebraic vector bundles over affine space are all trivial or not. Quillen and Suslin proved independently that they are, in fact, all trivial. This is some kind of analogue to the topological situation, where all vector bundles over n-dimensional complex affine space (or even n-dimensional real affine space) are trivial.

Continue reading «Is it possible to prove Serre's Problem (the Quillen-Suslin theorem) via Motivic Homotopy ...»

Now this is a slightly corrected (although still somewhat messy) version of my diploma thesis - in german:
Matsumotos Satz und A¹-Homotopietheorie.

You can read something about the content in this blog post, containing an extended abstract in english.

Continue reading «Diploma thesis (in german)»

Nearly half of all blog posts start with "Soon this blog will be full of content" and the other half with "it has been incredibly silent, soon I will post a lot". This post is of the second type, but I apologize by linking to what has kept me from writing here:
Extended abstract of my diploma thesis.
While the diploma thesis is in german, the abstract is in english and only 9 pages long, without any proofs. The diploma thesis is now available here (updated on 2011-08-09).

As a teaser, here is the abstract of the abstract:

In classical covering space theory we have an isomorphism of the fundamental group with the fibre of the universal cover over the basepoint. Covering spaces of topological groups are group extensions, but not every group extension is a covering space. Perfect groups admit a universal central extension and the kernel of this extension is also called fundamental group. For simply connected Chevalley-groups over a perfect field, this fundamental group, classically called second unstable K-Theory, is exactly the fundamental group of a simplicial resolution. The loops are described explicitly by matrices.

Here is the second part of my walk-through to Voevodskys A¹-homotopy theory:

On page 48, the first Lemma is shown. Without proof - so I will try to illuminate things a little bit by giving the proof. This lemma isn't used until section 3, so you can skip it, if you want to. I suggest not to do so, if you are intimidated by the diagram, because it isn't that hard, and it's a nice exercise to get the concepts in your head right.

Continue reading «Walk-through to Morel-Voevodsky A¹-homotopy theory part II (page 48, Lemma 1.1)»