Source author record

Ivan Tomasic

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.CT math.LO math.QA math.RT

Catalog footprint

Research overview

4works

5topics

1close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

A topos-theoretic view of difference algebra

We view difference algebra as the study of algebraic objects in the topos of difference sets. The methods of topos theory and categorical logic enable us to develop difference homological algebra, identify a solid foundation for difference algebraic geometry, and cohomology theory of difference schemes.

preprint2012arXiv

Twisted Galois stratification

We prove a direct image theorem stating that the direct image of a Galois formula by a morphism of difference schemes is equivalent to a Galois formula over fields with powers of Frobenius. As a consequence, we obtain an effective quantifier elimination procedure and a precise algebraic-geometric description of definable sets over fields with Frobenii in terms of twisted Galois formulae associated with finite Galois covers of difference schemes.

preprint2011arXiv

Multiplicity in difference geometry

We prove a first principle of preservation of multiplicity in difference geometry, paving the way for the development of a more general intersection theory. In particular, the fibres of a σ-finite morphism between difference curves are all of the same size, when counted with correct multiplicities.

preprint2011arXiv

On braided zeta functions

We propose a ribbon braided category approach to zeta-functions in q-deformed geometry. As a proof of concept we compute $ζ_t(C^n)$ where $C^n$ is viewed as the standard representation in the category of modules of $U_q(sl_n)$ . We show that the same $ζ_t(C^n)$ is obtained for the $n$ -dimensional representation in the category of $U_q(sl_2)$ modules. We show that this implies and is equivalent to the generating function for the decomposition into irreducibles of the symmetric tensor products $S^j(V)$ for $V$ an irreducible representation of $sl_2$ . We discuss $ζ_t(C_q(S^2))$ for the standard q-deformed sphere.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.