• Corpus ID: 221172698

Operators coming from ring schemes

@article{Gogolok2020OperatorsCF,
  title={Operators coming from ring schemes},
  author={Jakub Gogolok and Piotr Kowalski},
  journal={arXiv: Logic},
  year={2020}
}
We introduce the notion of a coordinate $\mathbf{k}$-algebra scheme and the corresponding notion of a $\mathcal{B}$-operator. This class of operators includes endomorphisms and derivations of the Frobenius map, and it also generalizes the operators related to $\mathcal{D}$-rings from [15]. We classify the (coordinate) $\mathbf{k}$-algebra schemes for a perfect field $\mathbf{k}$ and we also discuss the model-theoretic properties of fields with $\mathcal{B}$-operators. 
MODEL THEORY OF DERIVATIONS OF THE FROBENIUS MAP REVISITED
We prove some results about the model theory of fields with a derivation of the Frobenius map, especially that the model companion of this theory is axiomatizable by axioms used byWood in the case of

References

SHOWING 1-10 OF 26 REFERENCES
Model theory of fields with free operators in characteristic zero
TLDR
It is shown that for every finite free free S-algebra over a field A of characteristic zero the theory of D-fields has a model companion CF which satisfies the Zilber dichotomy for finite-dimensional minimal types.
Model theory of fields with virtually free group actions
For a group $G$, we define the notion of a $G$-kernel and show that the properties of $G$-kernels are closely related with the existence of a model companion of the theory of Galois actions of $G$.
Model theory of fields with free operators in positive characteristic
We give algebraic conditions for a finite commutative algebra B B over a field of positive characteristic, which are equivalent to the companionability of the theory of fields with “ B
Galois Theory
Remark 0.1 (Notation). |G| denotes the order of a finite group G. [E : F ] denotes the degree of a field extension E/F. We write H ≤ G to mean that H is a subgroup of G, and N G to mean that N is a
Tannakian formalism over fields with operators
We develop a theory of tensor categories over a field endowed with abstract operators. Our notion of a "field with operators", coming from work of Moosa and Scanlon, includes the familiar cases of
Generalised Hasse-Schmidt varieties and their jet spaces
Building on the abstract notion of prolongation developed in [10], the theory of iterative Hasse-Schmidt rings and schemes is introduced, simultaneously generalising difference and (Hasse-Schmidt)
Arithmetic Analogues of Derivations
w x In 1 the author introduced an arithmetic analogue of derivations, called p-derivations; this concept was used to prove a series of arithmetic w x analogues of results about algebraic differential
Lectures on curves on an algebraic surface
These lectures, delivered by Professor Mumford at Harvard in 1963-1964, are devoted to a study of properties of families of algebraic curves, on a non-singular projective algebraic curve defined over
Derivations of the Frobenius map
  • Piotr Kowalski
  • Mathematics, Computer Science
    Journal of Symbolic Logic
  • 2005
Abstract We prove that the theory of fields with a derivation of Frobenius has the model companion which is stable and admits elimination of quantifiers up to the level of the λ-functions. Along the
NÉRON MODELS
§1.1. Motivation. The purpose of these notes is to explain the definition and basic properties of the Néron model A of an abelian variety A over a global or local field K. We also give some idea of
...
1
2
3
...