Searcharxiv⌕ Search

arXiv subjects

Charles Weibel

Publications and source records attributed to Charles Weibel.

At least 19 recordsLinked to original sources
arXiv2023

Computing the Conley Index: a Cautionary Tale

This paper concerns the computation and identification of the (homological) Conley index over the integers, in the context of discrete dynamical systems generated by continuous maps. We discuss the significance with respect to nonlinear dynamics of using integer, as opposed to field, coefficients. We translate the problem into the language of commutative ring theory. More precisely, we relate shift equivalence in the category of finitely generated abelian groups to the classification of $\mathbb{Z}[t]$-modules whose underlying abelian group is given. We provide tools to handle the classification problem, but also highlight the associated computational challenges.

math.DS↗
arXiv2023

Module structure of the $K$-theory of polynomial-like rings

Suppose $Γ$ is a submonoid of a lattice, not containing a line. In this note, we use the natural $Γ$-grading on the monoid algebra $R[Γ]$ to prove structural results about the relative $K$-theory $K(R[Γ], R)$. When $R$ contains a field, we prove a decomposition indexed by the rays in $Γ$, and a compatible action by the Witt vectors of $R$ for each $\mathbf N$-grading of $Γ$. In characteristic zero, there is additionally an action by Witt vectors for the truncation set $Γ$. Finally, we apply this to get a ray-like description of $K_*(R[x_1,...,x_n])$ proposed by J.\,Davis.

math.KT↗
arXiv2021

Localization, monoid sets and K-theory

We develop the K-theory of sets with an action of a pointed monoid (or monoid scheme), analogous to the $K$-theory of modules over a ring (or scheme). In order to form localization sequences, we construct the quotient category of a nice regular category by a Serre subcategory.

math.KT↗
arXiv2021

Persistent homology with non-contractible preimages

For a fixed $N$, we analyze the space of all sequences $z=(z_1,\dots,z_N)$, approximating a continuous function on the circle, with a given persistence diagram $P$, and show that the typical components of this space are homotopy equivalent to $S^1$. We also consider the space of functions on $Y$-shaped (resp., star-shaped) trees with a 2-point persistence diagram, and show that this space is homotopy equivalent to $S^1$ (resp., to a bouquet of circles).

math.AT↗
arXiv2020

Grothendieck-Witt groups of some singular schemes

We establish some structural results for the Witt and Grothendieck-Witt groups of schemes over $\mathbb{Z}[1/2]$, including homotopy invariance for Witt groups and a formula for the Witt and Grothendieck-Witt groups of punctured affine spaces over a scheme. All these results hold for singular schemes and at the level of spectra.

math.AG↗
arXiv2020

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.

math.AT↗
arXiv2019

The Witt group of real surfaces

Let $V$ be an algebraic variety defined over $\mathbb R$, and $V_{top}$ the space of its complex points. We compare the algebraic Witt group $W(V)$ of symmetric bilinear forms on vector bundles over $V$, with the topological Witt group $WR(V_{top})$ of symmetric forms on Real vector bundles over $V_{top}$ in the sense of Atiyah, especially when $V$ is 2-dimensional. To do so, we develop topological tools to calculate $WR(V_{top})$, and to measure the difference between $W(V)$ and $WR(V_{top})$.

math.KT↗
arXiv2019

The Real Graded Brauer group

We introduce a version of the Brauer--Wall group for Real vector bundles of algebras (in the sense of Atiyah), and compare it to the topological analogue of the Witt group. For varieties over the reals, these invariants capture the topological parts of the Brauer--Wall and Witt groups.

math.AT↗
arXiv2017

The $K$-theory of toric schemes over regular rings of mixed characteristic

We show that if $X$ is a toric scheme over a regular commutative ring $k$ then the direct limit of the $K$-groups of $X$ taken over any infinite sequence of nontrivial dilations is homotopy invariant. This theorem was previously known for regular commutative rings containing a field. The affine case of our result was conjectured by Gubeladze. We prove analogous results when $k$ is replaced by an appropriate $K$-regular, not necessarily commutative $k$-algebra.

math.KT↗
arXiv2016

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.

math.AT↗
arXiv2016

The Witt group of real algebraic varieties

Let $V$ be an algebraic variety over $\mathbb R$. The purpose of this paper is to compare its algebraic Witt group $W(V)$ with a new topological invariant $WR(V_{\mathbb C})$, based on symmetric forms on Real vector bundles (in the sense of Atiyah) on the space of complex points of $V$, This invariant lies between $W(V)$ and the group $KO(V_{\mathbb R})$ of $\mathbb R$-linear topological vector bundles on $V_{\mathbb R}$, the set of real points of $V$. We show that the comparison maps $W(V)\to WR(V_{\mathbb C})$ and $WR(V_{\mathbb C})\to KO(V_{\mathbb R})$ that we define are isomorphisms modulo bounded 2-primary torsion. We give precise bounds for the exponent of the kernel and cokernel of these maps, depending upon the dimension of $V.$ These results improve theorems of Knebusch, Brumfiel and Mahé. Along the way, we prove a comparison theorem between algebraic and topological Hermitian $K$-theory, and homotopy fixed point theorems for the latter. We also give a new proof (and a generalization) of a theorem of Brumfiel.

math.KT↗
arXiv2016

Relative Cartier Divisors and Laurent Polynomial Extensions

If $i:A\subset B$ is a commutative ring extension, we show that the group $\mathcal I(A,B)$ of invertible $A$-submodules of $B$ is contracted in the sense of Bass, with $L\mathcal I(A,B)=H^0_{et}(A,i_*\mathbb Z/\mathbb Z)$. This gives a canonical decomposition for $\mathcal I(A[t,\frac1t],B[t,\frac1t])$.

math.AC↗
arXiv2016

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.

math.KT↗
arXiv2016

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.

math.KT↗
arXiv2015

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.

math.KT↗
arXiv2014

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.

math.AG↗