We suggest an analog of the Bass–Quillen conjecture for smooth affinoid algebras over a complete non-archimedean field. We prove this in the rank-1 case, i.e. for the Picard group. For complete discretely valued fields and regular affinoid algebras that admit a regular model (automatic if the residue characteristic is zero) we prove a similar statement for the Grothendieck group of vector bundles $K_{0}$.

In this paper, we construct Chern classes from the relative $K$-theory of modulus pairs to the relative motivic cohomology defined by Binda–Saito. An application to relative motivic cohomology of henselian dvr is given.

An odd Fredholm module for a given invertible operator on a Hilbert space is specified by an unbounded so-called Dirac operator with compact resolvent and bounded commutator with the given invertible. Associated with this is an index pairing in terms of a Fredholm operator with Noether index. Here it is shown by a spectral flow argument how this index can be calculated as the signature of a finite dimensional matrix called the spectral localizer.

Fix a von Neumann algebra ${\mathcal{N}}$ equipped with a suitable trace $\unicode[STIX]{x1D70F}$. For a path of self-adjoint Breuer–Fredholm operators, the spectral flow measures the net amount of spectrum that moves from negative to non-negative. We consider specifically the case of paths of bounded perturbations of a fixed unbounded self-adjoint Breuer–Fredholm operator affiliated with ${\mathcal{N}}$. If the unbounded operator is $p$-summable (that is, its resolvents are contained in the ideal $L^{p}$), then it is possible to obtain an integral formula that calculates spectral flow. This integral formula was first proved by Carey and Phillips, building on earlier approaches of Phillips. Their proof was based on first obtaining a formula for the larger class of $\unicode[STIX]{x1D703}$-summable operators, and then using Laplace transforms to obtain a $p$-summable formula. In this paper, we present a direct proof of the $p$-summable formula that is both shorter and simpler than theirs.

In this paper we show that to a unital associative algebra object (resp. co-unital co-associative co-algebra object) of any abelian monoidal category ($\mathscr{C},\otimes$) endowed with a symmetric 2-trace, i.e., an $F\in \text{Fun}(\mathscr{C},\text{Vec})$ satisfying some natural trace-like conditions, one can attach a cyclic (resp. cocyclic) module, and therefore speak of the (co)cyclic homology of the (co)algebra “with coefficients in $F$”. Furthermore, we observe that if $\mathscr{M}$ is a $\mathscr{C}$-bimodule category and $(F,M)$ is a stable central pair, i.e., $F\in \text{Fun}(\mathscr{M},\text{Vec})$ and $M\in \mathscr{M}$ satisfy certain conditions, then $\mathscr{C}$ acquires a symmetric 2-trace. The dual notions of symmetric 2-contratraces and stable central contrapairs are derived as well. As an application we can recover all Hopf cyclic type (co)homology theories.

We provide sufficient conditions to factorise an equivariant spectral triple as a Kasparov product of unbounded classes constructed from the group action on the algebra and from the fixed point spectral triple. We show that if factorisation occurs, then the equivariant index of the spectral triple vanishes. Our results are for the action of compact abelian Lie groups, and we demonstrate them with examples from manifolds and $\unicode[STIX]{x1D703}$-deformations. In particular, we show that equivariant Dirac-type spectral triples on the total space of a torus principal bundle always factorise. Combining this with our index result yields a special case of the Atiyah–Hirzebruch theorem. We also present an example that shows what goes wrong in the absence of our sufficient conditions (and how we get around it for this example).

If H is a monoid and a = u1 ··· uk ∈ H with atoms (irreducible elements) u1, … , uk, then k is a length of a, the set of lengths of a is denoted by Ⅼ(a), and ℒ(H) = {Ⅼ(a) | a ∈ H} is the system of sets of lengths of H. Let R be a hereditary Noetherian prime (HNP) ring. Then every element of the monoid of non-zero-divisors R• can be written as a product of atoms. We show that if R is bounded and every stably free right R-ideal is free, then there exists a transfer homomorphism from R• to the monoid B of zero-sum sequences over a subset Gmax(R) of the ideal class group G(R). This implies that the systems of sets of lengths, together with further arithmetical invariants, of the monoids R• and B coincide. It is well known that commutative Dedekind domains allow transfer homomorphisms to monoids of zero-sum sequences, and the arithmetic of the latter has been the object of much research. Our approach is based on the structure theory of finitely generated projective modules over HNP rings, as established in the recent monograph by Levy and Robson. We complement our results by giving an example of a non-bounded HNP ring in which every stably free right R-ideal is free but which does not allow a transfer homomorphism to a monoid of zero-sum sequences over any subset of its ideal class group.

We produce an isomorphism $E_{\infty }^{m,-m-1}\cong \text{Nrd}_{1}(A^{\otimes m})$ between terms of the $\text{K}$-theory coniveau spectral sequence of a Severi–Brauer variety $X$ associated with a central simple algebra $A$ and a reduced norm group, assuming $A$ has equal index and exponent over all finite extensions of its center and that $\text{SK}_{1}(A^{\otimes i})=1$ for all $i>0$.

In this paper, we construct surfaces in $\mathbf{P}^{3}$ with large higher Chow groups defined over a Laurent power series field. Explicit elements in higher Chow group are constructed using configurations of lines contained in the surfaces. To prove the independentness, we compute the extension class in the Galois cohomologies by comparing them with the classical monodromies. It is reduced to the computation of linear algebra using monodromy weight spectral sequences.

We give a sufficient condition for the hypergeometric function $_{3}F_{2}$ to be a linear combination of the logarithm of algebraic functions.

For a certain class of hypergeometric functions $_{3}F_{2}$ with rational parameters, we give a sufficient condition for the special value at $1$ to be expressed in terms of logarithms of algebraic numbers. We give two proofs, both of which are algebro-geometric and related to higher regulators.

We give a generalization of Poitou–Tate duality to schemes of finite type over rings of integers of global fields.

By a theorem of Suslin, a Tor-unital (not necessarily unital) ring satisfies excision in algebraic $K$-theory. We give a new and direct proof of Suslin’s result based on an exact sequence of categories of perfect modules. In fact, we prove a more general descent result for a pullback square of ring spectra and any localizing invariant. Our descent theorem contains not only Suslin’s result, but also Nisnevich descent of algebraic $K$-theory for affine schemes as special cases. Moreover, the role of the Tor-unitality condition becomes very transparent.

In this paper we construct a $\mathbb{Q}$-linear tannakian category $\mathsf{MEM}_{1}$ of universal mixed elliptic motives over the moduli space ${\mathcal{M}}_{1,1}$ of elliptic curves. It contains $\mathsf{MTM}$, the category of mixed Tate motives unramified over the integers. Each object of $\mathsf{MEM}_{1}$ is an object of $\mathsf{MTM}$ endowed with an action of $\text{SL}_{2}(\mathbb{Z})$ that is compatible with its structure. Universal mixed elliptic motives can be thought of as motivic local systems over ${\mathcal{M}}_{1,1}$ whose fiber over the tangential base point $\unicode[STIX]{x2202}/\unicode[STIX]{x2202}q$ at the cusp is a mixed Tate motive. The basic structure of the tannakian fundamental group of $\mathsf{MEM}$ is determined and the lowest order terms of a set (conjecturally, a minimal generating set) of relations are deduced from computations of Brown. This set of relations includes the arithmetic relations, which describe the ‘infinitesimal Galois action’. We use the presentation to give a new and more conceptual proof of the Ihara–Takao congruences.

For a C*-algebra A, determining the Cuntz semigroup Cu(A ⊗) in terms of Cu(A) is an important problem, which we approach from the point of view of semigroup tensor products in the category of abstract Cuntz semigroups by analysing the passage of significant properties from Cu(A) to Cu(A)⊗Cu Cu(). We describe the effect of the natural map Cu(A) → Cu(A)⊗Cu Cu() in the order of Cu(A), and show that if A has real rank 0 and no elementary subquotients, Cu(A)⊗Cu Cu() enjoys the corresponding property of having a dense set of (equivalence classes of) projections. In the simple, non-elementary, real rank 0 and stable rank 1 situation, our investigations lead us to identify almost unperforation for projections with the fact that tensoring with is inert at the level of the Cuntz semigroup.

A connected space is called a C0-space if its rational cup product is trivial. A characterizing property of C0-spaces is obtained. This property is used to calculate the algebraic K0-group K0(C𝔽(X)) of the ring of continuous functions for infinite-dimensional complexes X.

We provide an equivariant extension of the bivariant Cuntz semigroup introduced in previous work for the case of compact group actions over C*-algebras. Its functoriality properties are explored, and some well-known classification results are retrieved. Connections with crossed products are investigated, and a concrete presentation of equivariant Cuntz homology is provided. The theory that is here developed can be used to define the equivariant Cuntz semigroup. We show that the object thus obtained coincides with the one recently proposed by Gardella [‘Regularity properties and Rokhlin dimension for compact group actions’, Houston J. Math.43(3) (2017), 861–889], and we complement their work by providing an open projection picture of it.

We use a spectral sequence developed by Graeme Segal in order to understand the twisted G-equivariant K-theory for proper and discrete actions. We show that the second page of this spectral sequence is isomorphic to a version of Bredon cohomology with local coefficients in twisted representations. We furthermore explain some phenomena concerning the third differential of the spectral sequence, and recover known results when the twisting comes from finite order elements in discrete torsion.

We develop a theory of $R$-module Thom spectra for a commutative symmetric ring spectrum $R$ and we analyze their multiplicative properties. As an interesting source of examples, we show that $R$-algebra Thom spectra associated to the special unitary groups can be described in terms of quotient constructions on $R$. We apply the general theory to obtain a description of the $R$-based topological Hochschild homology associated to an $R$-algebra Thom spectrum.