BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Thomas Huettemann appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Following ideas of Quillen it is shown that the graded K-theory of a Z^n-graded ring with support contained in a pointed cone is entirely determined by the K-theory of the subring of degree-0 elements.
Suppose X is a projective toric scheme defined over a commutative ring R equipped with an ample line bundle L. We prove that its K-theory has k+1 direct summands K(R) where k is minimal among non-negative integers such that the twisted line bundle L(-k-1) is not acyclic. In fact, using a combinatorial description of quasi-coherent sheaves throughout we prove the result for a ring R which is either commutative, or else left noetherian.
We consider a non-standard totalisation functor to produce a cochain complex from a given double complex: instead of sums or products, totalisation is defined via truncated products of modules. We give an elementary proof of the fact that a double complex with exact rows (resp, columns) yields an acyclic cochain complex under totalisation using right (resp, left) truncated products. As an application we consider the algebraic mapping torus T(h) of a self map h of a cochain complex C. We show that if C consists of finitely presented modules then T(h) has trivial negative Novikov cohomology; if in addition h is a quasi-isomorphism, then T(h) has trivial positive Novikov cohomology as well. As a consequence we obtain a new proof that a finitely dominated cochain complex over a Laurent polynomial ring has trivial Novikov cohomology.
Suppose C is a bounded chain complex of finitely generated free modules over the Laurent polynomial ring L = R[x,1/x]. Then C is R-finitely dominated, ie, homotopy equivalent over R to a bounded chain complex of finitely generated projective R-modules, if and only if the two chain complexes C((x)) and C((1/x)) are acyclic, as has been proved by Ranicki. Here C((x)) is the tensor product over L of C with the Novikov ring R((x)) = R[[x]][1/x] (also known as the ring of formal Laurent series in x); similarly, C((1/x)) is the tensor product over L of C with the Novikov ring R((1/x)) = R[[1/x]][x]. In this paper, we prove a generalisation of this criterion which allows us to detect finite domination of bounded below chain complexes of projective modules over Laurent rings in several indeterminates.
Let X be a quasi-compact scheme, equipped with an open covering by affine schemes. A quasi-coherent sheaf on X gives rise, by taking sections over the covering sets, to a diagram of modules over the various coordinate rings. The resulting "twisted" diagram of modules satisfies a certain gluing condition, stating that the data is compatible with restriction to smaller open sets. In case X is a regular toric scheme over an arbitrary commutative ring, we prove that the unbounded derived category D(X) of quasi-coherent sheaves on X can be obtained from a category of twisted diagrams which do not necessarily satisfy any gluing condition by inverting maps which induce homology isomorphisms on hyper-derived inverse limits. Moreover, we given an explicit construction of a finite set of weak generators for the derived category. For example, if X is projective n-space then D(X) is generated by n+1 successive twists of the structure sheaf; the present paper gives a new homotopy-theoretic proof of this classical result. The approach taken uses the language of model categories, and the machinery of Bousfield-Hirschhorn colocalisation. The first step is to characterise colocal objects; these turn out to be homotopy sheaves in the sense that chain complexes over different open sets agree on intersections up to quasi-isomorphism only. In a second step it is shown that the homotopy category of homotopy sheaves is the derived category of X.
By analogy with algebraic geometry, we define a category of non-linear sheaves (quasi-coherent homotopy-sheaves of topological spaces) on projective toric varieties and prove a splitting result for its algebraic K-theory, generalising earlier results for projective spaces. The splitting is expressed in terms of the number of interior lattice points of dilations of a polytope associated to the variety. The proof uses combinatorial and geometrical results on polytopal complexes. The same methods also give an elementary explicit calculation of the cohomology groups of a projective toric variety over any commutative ring.
A subset K of R^n gives rise to a formal Laurent series with monomials corresponding to lattice points in K. Under suitable hypotheses, this series represents a rational function R(K). Michel Brion has discovered a surprising formula relating the rational function R(P) of a lattice polytope P to the sum of rational functions corresponding to the supporting cones subtended at the vertices of P. The result is re-phrased and generalised in the language of cohomology of line bundles on complete toric varieties. Brion's formula is the special case of an ample line bundle on a projective toric variety. - The paper also contains some general remarks on the cohomology of torus-equivariant line bundles on complete toric varieties, valid over noetherian ground rings.
Let X be a pointed connected simplicial set with loop group G. The linearisation map in K-theory as defined by Waldhausen uses G-equivariant spaces. This paper gives an alternative description using presheaves of sets and abelian groups on the simplex category of X. In other words, the linearisation map is defined in terms of X only, avoiding the use of the less geometric loop group. The paper also includes a comparison of categorical finiteness with the more geometric notion of finite CW objects in cofibrantly generated model categories. The application to the linearisation map employs a model structure on the category of abelian group objects of retractive spaces over X.