Related papers: Les vari\'et\'es sur le corps \`a un \'el\'ement

Let A be a finitely generated algebra over a field K of characteristic p >0. We introduce a subring of the ring of Witt vectors W(A). We call it the ring of overconvergent Witt vectors. We prove that on a scheme X of finite type over K the…

We study the multiplicities of pure motives modulo numerical equivalence, which are defined as scalars comparing the tannakian trace with the ring-theoretic trace. Our general set-up is that of a rigid semi-simple tensor category such that…

In this short note, we will show the following weak evidence of S. Lang conjecture over function fields. Let f : X ---> Y be a projective and surjective morphism of algebraic varieties over an algebraically closed field k of characteristic…

We introduce a new arithmetic invariant for hermitian line bundles on an arithmetic variety. We use this invariant to measure the variation of the volume function with respect to the metric. The main result of this paper is a generalized…

We develop basic notions and methods of algebraic geometry over the algebraic objects called hyperrings. Roughly speaking, hyperrings generalize rings in such a way that an addition is `multi-valued'. This paper largely consisits of two…

Let $G$ be a Lie group acting on a vector space $V$. Given a set of $G$-invariants, one can ask the question : does this set of invariants characterize the group $G$ ? We recall here some known results, ask questions and state some…

Homomorphisms are defined between the multiplicative group of an etale algebra of dimension 4 and the multiplicative group of a canonically associated etale algebra of degree 6 over an arbitrary field. These homomorphisms are used to relate…

Let X be a smooth simplicial toric variety. Let Z be the set of T-fixed points of X. We construct a filtration for A(Z), the ring of complex-valued functions on Z, such that Gr A(Z) is isomorphic to the cohomology algebra of X. This is the…

The definition of a holomorphic function over a general measurable space $S$ endowed with a Markov process is defined by Zeghib and Barre. In this article we consider holomorphic functions over graphs whose ranges are a given finite field…

A poset can be regarded as a category in which there is at most one morphism between objects, and such that at most one of Hom(c,c') and Hom(c',c) is nonempty for c not equal to c'. If we keep in place the latter axiom but allow for more…

We expand our previously founded basic theory of equiresidual algebraic geometry over an arbitrary commutative field, to a well-behaved theory of (equiresidual) algebraic varieties over a commutative field, thanks to the generalisation of…

We prove that the classical algebraic varieties over algebraically closed fields can be defined over arbitrary fields $k.$ Then we prove that for associative algebras $A$, there exist local representing objects $A_M$ for simple modules $M.$…

We give an alternative proof, valid in all characteristics, of a result of Lascar characterising the bounded automorphisms of an algebraically closed field. We generalise this method to various fields equipped with operators.

We study and relate categories of modules, comodules and contramodules over a representation of a small category taking values in (co)algebras, in a manner similar to modules over a ringed space. As a result, we obtain a categorical…

The purpose of this article is to give an exposition of topological properties of spaces of homomorphisms from certain finitely generated discrete groups to Lie groups $G$, and to describe their connections to classical representation…

We present an algebraic structure in modules over integer rings with cardinality prime powers, which allows to define bases. With such structure, we prove a similar version for the basis extension theorem of linear algebra over fields.…

Let $k$ be any field and $k^s$ its separable closure. Let $X$ be an affine variety over $k$ which is isomorphic to affine $n$-space over the field extension $k^s$. Then $X$ is isomorphic to affine $n$ space over $k$.

The well-known geometric approach to field theory is based on description of classical fields as sections of fibred manifolds, e.g. bundles with a structure group in gauge theory. In this approach, Lagrangian and Hamiltonian formalisms…

We study endomorphism rings of principally polarized abelian surfaces over finite fields from a computational viewpoint with a focus on exhaustiveness. In particular, we address the cases of non-ordinary and non-simple varieties. For each…

We introduce a relative version of the spherical objects of Seidel and Thomas. Define an object E in the derived category D(Z x X) to be spherical over Z if the corresponding functor from D(Z) to D(X) gives rise to autoequivalences of D(Z)…