Source author record

Charles Weibel

Charles Weibel appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.KT math.AG math.AT math.DS math.QA

Catalog footprint

What is connected

11works

5topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2020arXiv

Contractibility of a persistence map preimage

This work is motivated by the following question in data-driven study of dynamical systems: given a dynamical system that is observed via time series of persistence diagrams that encode topological features of solutions snapshots, what conclusions can be drawn about solutions of the original dynamical system? In this paper we provide a definition of a persistence diagram for a point in $\mathbb{R}^N$ modeled on piecewise monotone functions. We then provide conditions under which time series of persistence diagrams can be used to guarantee the existence of a fixed point of the flow on $\mathbb{R}^N$ that generates the time series. To obtain this result requires an understanding of the preimage of the persistence map. The main theorem of this paper gives conditions under which these preimages are contractible simplicial complexes.

preprint2016arXiv

On the covering type of a space

We introduce the notion of the "covering type" of a space, which is more subtle that the notion of Lusternik Schnirelman category. It measures the complexity of a space which arises from coverings by contractible subspaces whose non-empty intersections are also contractible.

preprint2016arXiv

Principal ideals in mod-$\ell$ Milnor $K$-theory

Fix a symbol $\underline{a}$ in the mod-$\ell$ Milnor $K$-theory of a field $k$, and a norm variety $X$ for $\underline{a}$. We show that the ideal generated by $\underline{a}$ is the kernel of the $K$-theory map induced by $k\subset k(X)$ and give generators for the annihilator of the ideal. When $\ell=2$, this was done by Orlov, Vishik and Voevodsky.

preprint2016arXiv

Relative Cartier divisors and K-theory

We study the relative Picard group $Pic(f)$ of a map $f:X\to S$ of schemes. If $f$ is faithful affine, it is the relative Cartier divisor group $I(f)$. The relative group $K_0(f)$ has a $γ$-filtration, and $Pic(f)$ is the top quotient for the $γ$-filtration. When $f$ is induced by a ring homomorphism $A\to B$, we show that the relative "nil" groups $NPic(f)$ and $NK_n(f)$ are continuous $W(A)$-modules.

preprint2015arXiv

Twisted K-theory, Real $\mathcal{A}$-bundles and Grothendieck-Witt groups

We introduce a general framework to unify several variants of twisted topological $K$-theory. We focus on the role of finite dimensional real simple algebras with a product-preserving involution, showing that Grothendieck-Witt groups provide interesting examples of twisted $K$-theory. These groups are linked with the classification of algebraic vector bundles on real algebraic varieties.

preprint2014arXiv

Picard Groups and Class Groups of Monoid Schemes

We define and study the Picard group of a monoid scheme and the class group of a normal monoid scheme. To do so, we develop some ideal theory for (pointed abelian) noetherian monoids, including primary decomposition and discrete valuations. The normalization of a monoid turns out to be a monoid scheme, but not always a monoid.

preprint2013arXiv

Some surfaces of general type for which Bloch's conjecture holds

We give many examples of surfaces of general type with $p_g=0$ for which Bloch's conjecture holds, for all values of $K^2$ except 9. Our surfaces are equipped with an involution.

preprint2013arXiv

Unstable operations in étale and motivic cohomology

We classify all étale cohomology operations on $H_\et^n(-,\muell{i})$, showing that they were all constructed by Epstein. We also construct operations $P^a$ on the mod-$\ell$ motivic cohomology groups $H^{p,q}$, differing from Voevodsky's operations; we use them to classify all motivic cohomology operations on $H^{p,1}$ and $H^{1,q}$ and suggest a general classification.

preprint2008arXiv

Relative Chern characters for nilpotent ideals

If I is a nilpotent ideal in a $\mathbb{Q}$-algebra $A$, Goodwillie defined two isomorphisms from $K_*(A,I)$ to negative cyclic homology, $HN_*(A,I)$. One is the relative version of the absolute Chern character, and the other is defined using rational homotopy theory. The question of whether they agree was implicit in Goodwillie's 1986 Annals paper. In this paper, we show that the two isomorphisms agree. Here are three applications. 1.Cathelineau proved that the rational homotopy character is compatible with the $λ$-filtration. It follows that the relative Chern character is also compatible with this filtration for nilpotent ideals. 2.This agreement, together with Cathelineau's result, was used by the authors and Haesemeyer to show that the absolute Chern character, from $K(A)$ to $HN(A)$, is compatible with the $λ$-filtration for every commutative $\mathbb{Q}$-algebra. This is the main result of Infinitesimal cohomology and the Chern character to negative cyclic homology, arXiv:math/0703133v1. 3.This agreement can be used to strengthen Ginot's results in "Formules explicites pour le charactere de Chern en $K$-théorie algébrique", Ann. Inst. Fourier 54 (2004).

preprint2007arXiv

The $K$-theory of toric varieties

Recent advances in computational techniques for $K$-theory allow us to describe the $K$-theory of toric varieties in terms of the $K$-theory of fields and simple cohomological data.

preprint2001arXiv

Homotopy Ends and Thomason Model Categories

In the last year of his life, Bob Thomason reworked the notion of a model category, used to adapt homotopy theory to algebra, and used homotopy ends to affirmatively solve a problem raised by Grothendieck: find a notion of model structure which is inherited by functor categories. In this paper we explain and prove Thomason's results, based on his private notebooks. The first half presents Thomason's ideas about homotopy ends and its generalizations. This material may be of independent interest. Then we define Thomason model categories and give some examples. The usual proof shows that the homotopy category exists. In the last two sections we prove the main theorem: functor categories inherit a Thomason model structure, at least when the original category is enriched over simplicial sets and fibrations are preserved by limits.

Charles Weibel

What is connected

Connect this record

See the researcher in context

Building this map preview

11 published item(s)

Contractibility of a persistence map preimage

On the covering type of a space

Principal ideals in mod-$\ell$ Milnor $K$-theory

Relative Cartier divisors and K-theory

Twisted K-theory, Real $\mathcal{A}$-bundles and Grothendieck-Witt groups

Picard Groups and Class Groups of Monoid Schemes

Some surfaces of general type for which Bloch's conjecture holds

Unstable operations in étale and motivic cohomology

Relative Chern characters for nilpotent ideals

The $K$-theory of toric varieties

Homotopy Ends and Thomason Model Categories