Related papers: Chatelet's Theorem in Synthetic Algebraic Geometry

In this paper we define the algebraic sets and the ideal of points for bijective skew PBW extensions with coefficients in left Noetherian domains. Some properties of affine algebraic sets of commutative algebraic geometry will be extended,…

We study the homotopy type of the simplicial set of continuous semi-algebraic simplexes of an algebraic variety defined over a real closed field, which we will call the real homotopy type. We prove an analogue of the theorem of Artin-Mazur…

This article is about the formalization of synthetic differential geometry with the Lean proof assistant and the mathematical library mathlib. The main result we prove and formalize is a Taylor theorem for functions of several variables,…

We consider a set-valued mapping on a simple graph and ask for the existence of a disparate selection. The term disparate is defined in the paper and we present a sufficient and necessary condition for the existence of a disparate…

We show that even within a class of varieties where the Brauer--Manin obstruction is the only obstruction to the local-to-global principle for the existence of rational points (Hasse principle), this obstruction, even in a stronger, base…

Two versions of the Ajtai-Szemer\'edi Theorem are considered in the Cartesian square of a finite non-Abelian group $G$. In case $G$ is sufficiently quasirandom, we obtain strong forms of both versions: if $E \subseteq G\times G$ is fairly…

Let X be a normal connected complex algebraic variety equipped with a semisimple complex representation of its fundamental group. Then, under a maximality assumption, we prove that the covering space of X associated to the kernel of the…

Let G be a semisimple affine algebraic group of inner type over a field F. We write C for the class of all finite direct products of projective G-homogeneous F-varieties. We determine the structure of the Chow motives with coefficients in a…

Algebraic boundaries of convex semi-algebraic sets are closely related to polynomial optimization problems. Building upon Rainer Sinn's work, we refine the stratification of iterated singular loci to a Whitney (a) stratification, which…

This short paper presents a generalisation of Tressl's structure theorem for differentially finitely generated algebras over differential rings of characteristic 0 to the case of separable algebras over differential rings of arbitrary…

Consider a finite-dimensional algebra $A$ and any of its moduli spaces $\mathcal{M}(A,\mathbf{d})^{ss}_{\theta}$ of representations. We prove a decomposition theorem which relates any irreducible component of…

The Witt group of skew hermitian forms over a division algebra $D$ with symplectic involution is shown to be canonically isomorphic to the Witt group of symmetric bilinear forms over the Severi-Brauer variety of $D$ with values in a…

Let $K$ be the function field of a smooth curve over an algebraically closed field $k$. Let $X$ be a scheme, which is smooth and projective over $K$. Suppose that the cotangent bundle $\Omega_{X/K}$ is ample. Let $R:={\rm Zar}(X)(K)\cap X)$…

In this paper we establish a general framework in which the verification of support theorems for generalized convex functions acting between an algebraic structure and an ordered algebraic structure is still possible. As for the domain…

Segre's theorem on ovals in projective spaces is an ingenious result from the mid-twentieth century which requires surprisingly little background to prove. This note, suitable for undergraduates with experience of linear and abstract…

In this mostly expository note, we explain a proof of Tate's two conjectures [Tat65] for algebraic cycles of arbitrary codimension on certain products of elliptic curves and abelian surfaces over number fields.

Let A be an abelian surface over a fixed number field. If A is principally polarised, then it is known that the order of the Tate-Shafarevich group of A must, if finite, be a square or twice a square. The situation for A not principally…

We prove the existence of the arithmetic degree for dominant rational self-maps at any point whose orbit is generic. As a corollary, we prove the same existence for \'etale morphisms on quasi-projective varieties and any points on it. We…

In this present article, we etablish some existence results of $\varphi-$fixed point of a mapping in a $C^{\ast}$-algebra valued metric spaces and we deduce some fixed point theorems in $C^{\ast}$-algebra valued partial metric spaces.…

Let P^n denote the n-dimensional projective space defined over the algebraic closure of a finite field F_q, let V contained P^n be a complete intersection defined over F_q of dimension r and singular locus of dimension at most s, and let…