Motives meet SymPy: studying $ \lambda $-ring expressions in Python

We present a new Python package called 'motives', a symbolic manipulation package based on SymPy capable of handling and simplifying motivic expressions in the Grothendieck ring of Chow motives and other types of $ \lambda $-rings. The package is able to manipulate and compare arbitrary ex...

Full description

Saved in:

Bibliographic Details
Published in:	Electronic research archive Vol. 33; no. 4; pp. 2118 - 2147
Main Authors:	Sanchez, Daniel, Alfaya, David, Pizarroso, Jaime
Format:	Journal Article
Language:	English
Published:	AIMS Press 01.04.2025
Subjects:	chow motives higgs bundles moduli space lambda-rings moduli spaces symbolic computations of motives
ISSN:	2688-1594, 2688-1594
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	We present a new Python package called 'motives', a symbolic manipulation package based on SymPy capable of handling and simplifying motivic expressions in the Grothendieck ring of Chow motives and other types of $ \lambda $-rings. The package is able to manipulate and compare arbitrary expressions in $ \lambda $-rings and, in particular, it contains explicit tools for manipulating motives of several types of commonly used moduli schemes and moduli stacks of decorated bundles on curves. We have applied this new tool to advance in the verification of Mozgovoy's conjectural formula for the motive of the moduli space of twisted Higgs bundles, proving that it holds in rank 2 and 3 for any curve of genus up to 18 and any twisting bundle of small degree.
ISSN:	2688-1594 2688-1594
DOI:	10.3934/era.2025093