We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
We establish a kind of ‘degree
$0$
Freudenthal
${\mathbb {G}_m}$
-suspension theorem’ in motivic homotopy theory. From this we deduce results about the conservativity of the
$\mathbb P^1$
-stabilization functor.
In order to establish these results, we show how to compute certain pullbacks in the cohomology of a strictly homotopy-invariant sheaf in terms of the Rost–Schmid complex. This establishes the main conjecture of [2], which easily implies the aforementioned results.
The main purpose of this article is to define a quadratic analogue of the Chern character, the so-called Borel character, that identifies rational higher Grothendieck-Witt groups with a sum of rational Milnor-Witt (MW)-motivic cohomologies and rational motivic cohomologies. We also discuss the notion of ternary laws due to Walter, a quadratic analogue of formal group laws, and compute what we call the additive ternary laws, associated with MW-motivic cohomology. Finally, we provide an application of the Borel character by showing that the Milnor-Witt K-theory of a field F embeds into suitable higher Grothendieck-Witt groups of F modulo explicit torsion.
We equate various Euler classes of algebraic vector bundles, including those of [12] and one suggested by M. J. Hopkins, A. Raksit, and J.-P. Serre. We establish integrality results for this Euler class and give formulas for local indices at isolated zeros, both in terms of the six-functors formalism of coherent sheaves and as an explicit recipe in the commutative algebra of Scheja and Storch. As an application, we compute the Euler classes enriched in bilinear forms associated to arithmetic counts of d-planes on complete intersections in
$\mathbb P^n$
in terms of topological Euler numbers over
$\mathbb {R}$
and
$\mathbb {C}$
.
We give counterexamples to the degeneration of the Hochschild-Kostant-Rosenberg spectral sequence in characteristic p, both in the untwisted and twisted settings. We also prove that the de Rham-HP and crystalline-TP spectral sequences need not degenerate.
Given an ample groupoid, we construct a spectral sequence with groupoid homology with integer coefficients on the second sheet, converging to the K-groups of the (reduced) groupoid C
$^*$
-algebra, provided the groupoid has torsion-free stabilizers and satisfies a strong form of the Baum–Connes conjecture. The construction is based on the triangulated category approach to the Baum–Connes conjecture developed by Meyer and Nest. We also present a few applications to topological dynamics and discuss the HK conjecture of Matui.
We develop methods for constructing explicit generators, modulo torsion, of the $K_3$-groups of imaginary quadratic number fields. These methods are based on either tessellations of hyperbolic $3$-space or on direct calculations in suitable pre-Bloch groups and lead to the very first proven examples of explicit generators, modulo torsion, of any infinite $K_3$-group of a number field. As part of this approach, we make several improvements to the theory of Bloch groups for $ K_3 $ of any field, predict the precise power of $2$ that should occur in the Lichtenbaum conjecture at $ -1 $ and prove that this prediction is valid for all abelian number fields.
We prove several results showing that the algebraic $K$-theory of valuation rings behaves as though such rings were regular Noetherian, in particular an analogue of the Geisser–Levine theorem. We also give some new proofs of known results concerning cdh descent of algebraic $K$-theory.
Vorst's conjecture relates the regularity of a ring with the $\mathbb {A}^{1}$-homotopy invariance of its $K$-theory. We show a variant of this conjecture in positive characteristic.
We discuss some general properties of $\mathrm {TR}$ and its $K(1)$-localization. We prove that after $K(1)$-localization, $\mathrm {TR}$ of $H\mathbb {Z}$-algebras is a truncating invariant in the Land–Tamme sense, and deduce $h$-descent results. We show that for regular rings in mixed characteristic, $\mathrm {TR}$ is asymptotically $K(1)$-local, extending results of Hesselholt and Madsen. As an application of these methods and recent advances in the theory of cyclotomic spectra, we construct an analog of Thomason's spectral sequence relating $K(1)$-local $K$-theory and étale cohomology for $K(1)$-local $\mathrm {TR}$.
Let X be a simply connected closed oriented manifold of rationally elliptic homotopy type. We prove that the string topology bracket on the $S^1$-equivariant homology
$ {\overline {\text {H}}}_\ast ^{S^1}({\mathcal {L}} X,{\mathbb {Q}}) $ of the free loop space of X preserves the Hodge decomposition of
$ {\overline {\text {H}}}_\ast ^{S^1}({\mathcal {L}} X,{\mathbb {Q}}) $, making it a bigraded Lie algebra. We deduce this result from a general theorem on derived Poisson structures on the universal enveloping algebras of homologically nilpotent finite-dimensional DG Lie algebras. Our theorem settles a conjecture of [7].
We define a motivic conductor for any presheaf with transfers F using the categorical framework developed for the theory of motives with modulus by Kahn, Miyazaki, Saito and Yamazaki. If F is a reciprocity sheaf, this conductor yields an increasing and exhaustive filtration on
$F(L)$
, where L is any henselian discrete valuation field of geometric type over the perfect ground field. We show that if F is a smooth group scheme, then the motivic conductor extends the Rosenlicht–Serre conductor; if F assigns to X the group of finite characters on the abelianised étale fundamental group of X, then the motivic conductor agrees with the Artin conductor defined by Kato and Matsuda; and if F assigns to X the group of integrable rank
$1$
connections (in characteristic
$0$
), then it agrees with the irregularity. We also show that this machinery gives rise to a conductor for torsors under finite flat group schemes over the base field, which we believe to be new. We introduce a general notion of conductors on presheaves with transfers and show that on a reciprocity sheaf, the motivic conductor is minimal and any conductor which is defined only for henselian discrete valuation fields of geometric type with perfect residue field can be uniquely extended to all such fields without any restriction on the residue field. For example, the Kato–Matsuda Artin conductor is characterised as the canonical extension of the classical Artin conductor defined in the case of a perfect residue field.
Let G be a finite group, let A be an infinite-dimensional stably finite simple unital C*-algebra, and let
$\alpha \colon G \to {\operatorname {Aut}} (A)$
be an action of G on A which has the weak tracial Rokhlin property. Let
$A^{\alpha }$
be the fixed point algebra. Then the radius of comparison satisfies
${\operatorname {rc}} (A^{\alpha }) \leq {\operatorname {rc}} (A)$
and
${\operatorname {rc}} ( C^* (G, A, \alpha ) ) \leq ({1}/{{{\operatorname{card}}} (G))} \cdot {\operatorname {rc}} (A)$
. The inclusion of
$A^{\alpha }$
in A induces an isomorphism from the purely positive part of the Cuntz semigroup
${\operatorname {Cu}} (A^{\alpha })$
to the fixed points of the purely positive part of
${\operatorname {Cu}} (A)$
, and the purely positive part of
${\operatorname {Cu}} ( C^* (G, A, \alpha ) )$
is isomorphic to this semigroup. We construct an example in which
$G \,{=}\, {\mathbb {Z}} / 2 {\mathbb {Z}}$
, A is a simple unital AH algebra,
$\alpha $
has the Rokhlin property,
${\operatorname {rc}} (A)> 0$
,
${\operatorname {rc}} (A^{\alpha }) = {\operatorname {rc}} (A)$
, and
${\operatorname {rc}} ({C^* (G, A, \alpha)} ) = ({1}/{2}) {\operatorname {rc}} (A)$
.
We give a formulation of a deformation of Dirac operator along orbits of a group action on a possibly noncompact manifold to get an equivariant index and a K-homology cycle representing the index. We apply this framework to noncompact Hamiltonian torus manifolds to define geometric quantization from the viewpoint of index theory. We give two applications. The first one is a proof of a [Q,R]=0 type theorem, which can be regarded as a proof of the Vergne conjecture for abelian case. The other is a Danilov-type formula for toric case in the noncompact setting, which is a localization phenomenon of geometric quantization in the noncompact setting. The proofs are based on the localization of index to lattice points.
For a finite-dimensional Hopf algebra
$\mathsf {A}$
, the McKay matrix
$\mathsf {M}_{\mathsf {V}}$
of an
$\mathsf {A}$
-module
$\mathsf {V}$
encodes the relations for tensoring the simple
$\mathsf {A}$
-modules with
$\mathsf {V}$
. We prove results about the eigenvalues and the right and left (generalized) eigenvectors of
$\mathsf {M}_{\mathsf {V}}$
by relating them to characters. We show how the projective McKay matrix
$\mathsf {Q}_{\mathsf {V}}$
obtained by tensoring the projective indecomposable modules of
$\mathsf {A}$
with
$\mathsf {V}$
is related to the McKay matrix of the dual module of
$\mathsf {V}$
. We illustrate these results for the Drinfeld double
$\mathsf {D}_n$
of the Taft algebra by deriving expressions for the eigenvalues and eigenvectors of
$\mathsf {M}_{\mathsf {V}}$
and
$\mathsf {Q}_{\mathsf {V}}$
in terms of several kinds of Chebyshev polynomials. For the matrix
$\mathsf {N}_{\mathsf {V}}$
that encodes the fusion rules for tensoring
$\mathsf {V}$
with a basis of projective indecomposable
$\mathsf {D}_n$
-modules for the image of the Cartan map, we show that the eigenvalues and eigenvectors also have such Chebyshev expressions.
Fundamental group of a manifold gives a deep effect on its underlying smooth structure. In this paper we introduce a new variant of the Donaldson invariant in Yang–Mills gauge theory from twisting by the Picard group of a 4-manifold in the case when the fundamental group is free abelian. We then generalise it to the general case of fundamental groups by use of the framework of non commutative geometry. We also verify that our invariant distinguishes smooth structures between some homeomorphic 4-manifolds.
We show that the perfect derived categories of Iyama’s d-dimensional Auslander algebras of type ${\mathbb {A}}$ are equivalent to the partially wrapped Fukaya categories of the d-fold symmetric product of the $2$-dimensional unit disk with finitely many stops on its boundary. Furthermore, we observe that Koszul duality provides an equivalence between the partially wrapped Fukaya categories associated to the d-fold symmetric product of the disk and those of its $(n-d)$-fold symmetric product; this observation leads to a symplectic proof of a theorem of Beckert concerning the derived Morita equivalence between the corresponding higher Auslander algebras of type ${\mathbb {A}}$. As a by-product of our results, we deduce that the partially wrapped Fukaya categories associated to the d-fold symmetric product of the disk organise into a paracyclic object equivalent to the d-dimensional Waldhausen $\text {S}_{\bullet }$-construction, a simplicial space whose geometric realisation provides the d-fold delooping of the connective algebraic K-theory space of the ring of coefficients.
In this paper we prove a categorification of the Grothendieck–Riemann–Roch theorem. Our result implies in particular a Grothendieck–Riemann–Roch theorem for Toën and Vezzosi's secondary Chern character. As a main application, we establish a comparison between the Toën–Vezzosi Chern character and the classical Chern character, and show that the categorified Chern character recovers the classical de Rham realization.
We introduce a weak Lefschetz-type result on Chow groups of complete intersections. As an application, we can reproduce some of the results in [P]. The purpose of this paper is not to reproduce all of [P] but rather illustrate why the aforementioned weak Lefschetz result is an interesting idea worth exploiting in itself. We hope the reader agrees.
In this article we introduce the local versions of the Voevodsky category of motives with
$\mathbb{F} _p$
-coefficients over a field k, parametrized by finitely generated extensions of k. We introduce the so-called flexible fields, passage to which is conservative on motives. We demonstrate that, over flexible fields, the constructed local motivic categories are much simpler than the global one and more reminiscent of a topological counterpart. This provides handy ‘local’ invariants from which one can read motivic information. We compute the local motivic cohomology of a point for
$p=2$
and study the local Chow motivic category. We introduce local Chow groups and conjecture that over flexible fields these should coincide with Chow groups modulo numerical equivalence with
$\mathbb{F} _p$
-coefficients, which implies that local Chow motives coincide with numerical Chow motives. We prove this conjecture in various cases.
We construct a Baum–Connes assembly map localised at the unit element of a discrete group $\Gamma$. This morphism, called $\mu _\tau$, is defined in $KK$-theory with coefficients in $\mathbb {R}$ by means of the action of the idempotent $[\tau ]\in KK_{\mathbin {{\mathbb {R}}}}^\Gamma (\mathbb {C},\mathbb {C})$ canonically associated to the group trace of $\Gamma$. We show that the corresponding $\tau$-Baum–Connes conjecture is weaker than the classical version, but still implies the strong Novikov conjecture. The right-hand side of $\mu _\tau$ is functorial with respect to the group $\Gamma$.