Related papers: A Chevalley theorem for difference equations

We develop an extension of valuations theorem for suitable extensions of idempotent semirings. As an application, we give a new proof for the classical case of fields. Along the way, we develop characteristic one analogues of some central…

This is the first paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In this paper, we lay the foundations for this study by introducing the…

Persistent homology has been recently studied with the tools of sheaf theory in the derived setting by Kashiwara and Schapira, after J. Curry has made the first link between persistent homology and sheaves. We prove the isometry theorem in…

We compare deformations of algebras to deformations of schemes in the setting of invariant theory. Our results generalize comparison theorems of Schlessinger and the second author for projective schemes. We consider deformations (abstract…

We develop a categorical framework for reasoning about abstract properties of differentiation, based on the theory of fibrations. Our work encompasses the first-order fragments of several existing categorical structures for differentiation,…

In this article we formulate and prove the main theorems of the theory of character sheaves on unipotent groups over an algebraically closed field of characteristic p>0. In particular, we show that every admissible pair for such a group G…

Using a new approach based on Galois theory, we study subvarieties of complex representations of reductive groups which satisfy restriction properties on their invariant rings and function fields, along the lines of the Chevalley…

We give a framework to produce constructible functions from natural functors between categories, without need of a morphism of moduli spaces to model the functor. We show using the Riemann-Hilbert correspondence that any natural (derived)…

We determine the structure of the intersection of a finitely generated subgroup of a semiabelian variety $G$ defined over a finite field with a closed subvariety $X\subset G$.

The motivation for this paper is to extend the known model theoretic treatment of differential Galois theory to the case of linear difference equations (where the derivative is replaced by an automorphism.) The model theoretic difficulties…

We show that the number of rational points on the fibres of a proper morphism of smooth varieties over a finite field k whose generic fibre has a ``trival'' Chow group of zero cycles is congruent to 1 mod |k|. As a consequence we prove that…

In this paper, we analyze and compare three of the many algebraic structures that have been used for modeling dependent type theories: categories with families, split type-categories, and representable maps of presheaves. We study these in…

Lurie's representability theorem gives necessary and sufficient conditions for a functor to be an almost finitely presented derived geometric stack. We establish several variants of Lurie's theorem, making the hypotheses easier to verify…

We investigate when a computable automorphism of a computable field can be effectively extended to a computable automorphism of its (computable) algebraic closure. We then apply our results and techniques to study effective embeddings of…

Subobject independence as morphism co-possibility has recently been defined in [2] and studied in the context of algebraic quantum field theory. This notion of independence is handy when it comes to systems coming from physics, but when…

We apply a recent duality theorem for tangles in abstract separation systems to derive tangle-type duality theorems for width-parameters in graphs and matroids. We further derive a duality theorem for the existence of clusters in large data…

We show how the Galois-Picard_Vessiot theory of differential equations and difference equations, and the theory of holonomy groups in differential geometry, are different aspects of a unique Galois theory. The latter is based upon the…

We study the differential Galois theory of difference equations under weaker hypothesis on the field of constants of the automorphism. This framework yields a new approach to results by C.Hardouin and M.Singer, which answers possitively a…

In this note, we propose a geometric analogue of Dirichlet's unit theorem on arithmetic varieties, that is, if X is a normal projective variety over a finite field and D is a pseudo-effective Q-Cartier divisor on X, does it follow that D is…

We prove a higher-dimensional Chevalley restriction theorem for orthogonal groups, which was conjectured by Chen and Ng\^{o} for reductive groups. In characteristic $p>2$, we also prove a weaker statement. In characteristic $0$, the theorem…