Showing 1–11 of 11 results for author: Tomašić, I

Galois theory of differential schemes

Authors: Ivan Tomašić, Behrang Noohi

Abstract: Since 1883, Picard-Vessiot theory had been developed as the Galois theory of differential field extensions associated to linear differential equations. Inspired by categorical Galois theory of Janelidze, and by using novel methods of precategorical descent applied to algebraic-geometric situations, we develop a Galois theory that applies to morphisms of differential schemes, and vastly generalises… ▽ More Since 1883, Picard-Vessiot theory had been developed as the Galois theory of differential field extensions associated to linear differential equations. Inspired by categorical Galois theory of Janelidze, and by using novel methods of precategorical descent applied to algebraic-geometric situations, we develop a Galois theory that applies to morphisms of differential schemes, and vastly generalises the linear Picard-Vessiot theory, as well as the strongly normal theory of Kolchin. △ Less

Submitted 30 July, 2024; originally announced July 2024.

MSC Class: 12H05; 18F20; 18D40; 18E50; 14L30

Hochschild cohomology in toposes

Authors: Cameron Michie, Ivan Tomasic

Abstract: We develop a theory of internal Hochschild cohomology in a ringed topos. We construct it via the internal Hochschild cochain complex, as well as through derived functor/topos cohomology theory, and discuss its relationship to the absolute Hochschild cohomology. By specialising to the topos of difference sets, we obtain a theory of internal difference Hochschild cohomology, and compare it to the… ▽ More We develop a theory of internal Hochschild cohomology in a ringed topos. We construct it via the internal Hochschild cochain complex, as well as through derived functor/topos cohomology theory, and discuss its relationship to the absolute Hochschild cohomology. By specialising to the topos of difference sets, we obtain a theory of internal difference Hochschild cohomology, and compare it to the absolute Hochschild cohomology through the Grothendieck and hypercohomology spectral sequences. We provide a systematic and detailed treatment of tensor products in suitable toposes in hope to complete the existing literature. △ Less

Submitted 12 March, 2024; originally announced March 2024.

MSC Class: 18B25; 13D03

Difference Galois theory and dynamics

Authors: Ivan Tomasic, Michael Wibmer

Abstract: We develop a Galois theory for difference ring extensions, inspired by Magid's separable Galois theory for ring extensions and by Janelidze's categorical Galois theory. Our difference Galois theorem states that the category of difference ring extensions split by a chosen Galois difference ring extension is classified by actions of the associated difference profinite Galois groupoid. In particular,… ▽ More We develop a Galois theory for difference ring extensions, inspired by Magid's separable Galois theory for ring extensions and by Janelidze's categorical Galois theory. Our difference Galois theorem states that the category of difference ring extensions split by a chosen Galois difference ring extension is classified by actions of the associated difference profinite Galois groupoid. In particular, difference locally étale extensions of a difference ring are classified by its difference profinite fundamental groupoid. The emergence of difference profinite spaces, viewed as discrete dynamical systems in the realm of topological dynamics, leads us to investigate the interaction of difference algebra and symbolic dynamics. As an application of this interaction, we prove the near-rationality of a certain difference zeta function counting solutions of systems of difference algebraic equations over algebraic closures of finite fields with Frobenius. △ Less

Submitted 9 June, 2021; originally announced June 2021.

MSC Class: 18E50; 12H05; 37B10; 18D40

A topos-theoretic view of difference algebra

Authors: Ivan Tomasic

Abstract: 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. 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. △ Less

Submitted 24 January, 2020; originally announced January 2020.

MSC Class: 12H10; 14A20; 14F20; 18B25; 18D20; 03G30

Graphons arising from graphs definable over finite fields

Authors: Mirna Džamonja, Ivan Tomašić

Abstract: We prove a version of Tao's algebraic regularity lemma for asymptotic classes in the context of graphons. We apply it to study expander difference polynomials over fields with powers of Frobenius. We prove a version of Tao's algebraic regularity lemma for asymptotic classes in the context of graphons. We apply it to study expander difference polynomials over fields with powers of Frobenius. △ Less

Submitted 1 January, 2022; v1 submitted 19 July, 2017; originally announced July 2017.

Comments: This is the final accepted version of the paper, which is to appear in Colloquium Mathematicum

MSC Class: 03C60; 11G25 (Primary); 05C25; 14G15 (Secondary)

Strongly étale difference algebras and Babbitt's decomposition

Authors: Ivan Tomašić, Michael Wibmer

Abstract: We introduce a class of strongly étale difference algebras, whose role in the study of difference equations is analogous to the role of étale algebras in the study of algebraic equations. We deduce an improved version of Babbitt's decomposition theorem and we present applications to difference algebraic groups and the compatibility problem. We introduce a class of strongly étale difference algebras, whose role in the study of difference equations is analogous to the role of étale algebras in the study of algebraic equations. We deduce an improved version of Babbitt's decomposition theorem and we present applications to difference algebraic groups and the compatibility problem. △ Less

Submitted 22 February, 2018; v1 submitted 1 December, 2015; originally announced December 2015.

Comments: 22 pages, minor changes, several examples added

MSC Class: 12H10

Direct twisted Galois stratification

Authors: Ivan Tomašić

Abstract: The theory ACFA admits a primitive recursive quantifier elimination procedure. It is therefore primitive recursively decidable. The theory ACFA admits a primitive recursive quantifier elimination procedure. It is therefore primitive recursively decidable. △ Less

Submitted 19 July, 2017; v1 submitted 27 December, 2014; originally announced December 2014.

MSC Class: 03C60; 11G25 (Primary); 14G10; 14G15 (Secondary)

A twisted theorem of Chebotarev

Authors: Ivan Tomašić

Abstract: We prove a function-field version of Chebotarev's density theorem in the framework of difference algebraic geometry by developing the notion of Galois coverings of generalised difference schemes, and using Hrushovski's twisted Lang-Weil estimate. We prove a function-field version of Chebotarev's density theorem in the framework of difference algebraic geometry by developing the notion of Galois coverings of generalised difference schemes, and using Hrushovski's twisted Lang-Weil estimate. △ Less

Submitted 12 October, 2012; originally announced October 2012.

Comments: arXiv admin note: substantial text overlap with arXiv:1112.0802

MSC Class: 03C60; 11G25 (Primary) 12H10; 14G10; 14G15 (Secondary)

Multiplicity in difference geometry

Authors: Ivan Tomasic

Abstract: 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. 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. △ Less

Submitted 4 December, 2011; originally announced December 2011.

MSC Class: 03C60; 11G25 (Primary) 14G10; 14G15 (Secondary)

Twisted Galois stratification

Authors: Ivan Tomasic

Abstract: 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… ▽ More 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. △ Less

Submitted 14 October, 2012; v1 submitted 4 December, 2011; originally announced December 2011.

MSC Class: 03C60; 11G25 (Primary) 14G10; 14G15 (Secondary)

On braided zeta functions

Authors: Shahn Majid, Ivan Tomasic

Abstract: 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 t… ▽ More 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. △ Less

Submitted 28 March, 2011; v1 submitted 28 July, 2010; originally announced July 2010.

Comments: 16 pages, final version; added a formula for c_m(t,q)