Finite generation of the numerical Grothendieck group

Let k be a finite base field. In this note, making use of topological periodic cyclic homology and of the theory of noncommutative motives, we prove that the numerical Grothendieck group of every smooth proper dg k-linear category is a finitely generated free abelian group. Along the way, we prove moreover that the category of noncommutative numerical motives over k is abelian semi-simple, as conjectured by Kontsevich. Furthermore, we show that the zeta functions of endomorphisms of noncommutative Chow motives are rational and satisfy a functional equation.

Comments: 11 pages

Similar Publications

We study twisted forms of Schubert cells in generalized Severi-Brauer varieties, and show that the codimension $2$ Chow groups of these varieties are torsion free in certain cases, using the topological filtration on their K-theory Read More


In this work we develop some categorical aspects of the double structure of a module. Read More


In this paper, we study the Albanese morphisms in positive characteristic. We prove that the Albanese morphism of a variety with nef anti-canonical divisor is an algebraic fiber space, under the assumption that the general fiber is $F$-pure. Furthermore, we consider a notion of $F$-splitting for morphisms, and investigate it of the Albanese morphisms. Read More


We study collinear relative equilibria of the planar four-vortex problem where three of the four vortex strengths are identical. The $S_3$ invariance obtained from the equality of vorticities is used to reduce the defining equations and organize the solutions into two distinct groups based on the ordering of the vortices along the line. The number and type of solutions are given, along with a discussion of the bifurcations that occur. Read More


Une conjecture de Colliot-Th\'el\`ene \'etablit que l'obstruction de Brauer-Manin est la seule obstruction au principe de Hasse et \`a l'approximation faible pour les espaces homog\`enes des groupes lin\'eaires. Nous montrons que la question peut \^etre r\'eduite au cas des espaces homog\`enes de $\mathrm{SL}_{n,k}$ \`a stabilisateurs finis en suivant les travaux du deuxi\`eme auteur sur l'approximation faible. A conjecture of Colliot-Th\'el\`ene states that the Brauer-Manin obstruction is the only obstruction to the Hasse principle and to weak approximation for homogeneous spaces of linear groups. Read More


Homological index of a holomorphic 1-form on a complex analytic variety with an isolated singular point is an analogue of the usual index of a 1-form on a non-singular manifold. One can say that it corresponds to the top Chern number of a manifold. We offer a definition of homological indices for collections of 1-forms on a (purely dimensional) complex analytic variety with an isolated singular point corresponding to other Chern numbers. Read More


For a perfect field $k$, we study actions of the absolute Galois group of $k$ on the $\overline{k}$-valued points of moduli spaces of quiver representations over $k$; the fixed locus is the set of $k$-rational points and we obtain a decomposition of this fixed locus indexed by elements in the Brauer group of $k$. We provide a modular interpretation of this decomposition using quiver representations over division algebras, and we reinterpret this description using twisted quiver representations. We also see that moduli spaces of twisted quiver representations give different forms of the moduli space of quiver representations. Read More


We describe geometrically and algebraically the set of unattainable points for the Rational Hermite Interpolation Problem (i.e. those points where the problem does not have a solution). Read More


Let $\{f_t\}$ be a family of complex polynomial functions with line singularities. We show that if $\{f_t\}$ has a uniform stable radius (for the corresponding Milnor fibrations), then the L\^e numbers of the functions $f_t$ are independent of $t$ for all small $t$. In the case of isolated singularities --- a case for which the only non-zero L\^e number coincides with the Milnor number --- a similar assertion was proved by M. Read More


Given a small simplicial category $\mathcal{C}$ whose underlying ordinary category is equipped with a Grothendieck topology $\tau$, we construct a model structure on the category of simplicially enriched presheaves on $\mathcal{C}$ where the weak equivalences are the local weak equivalences of the underlying (non-enriched) simplicial presheaves. We show that this model category is a $t$-complete model topos and describe the Grothendieck topology $[\tau]$ on the homotopy category of $\mathcal{C}$ that corresponds to this model topos. After we first review a proof showing that the motivic homotopy theory is not a model topos, we specialize this construction to the category of smooth schemes of finite type, which is simplicially enriched using the standard algebraic cosimplicial object, and compare the result with the motivic homotopy theory. Read More