An effective descent of arithmetical real algebraic varieties

Abstract: Let

X

be a complex smooth algebraic variety admitting a symmetry

L

, that is, an antiholomorphic automorphism of order two. If both,

X

and

L

are defined over

o v e r l i n e m a t h b b Q

, then Koeck, Lau and Singerman showed the existence of a complex smooth algebraic variety

Z

admitting a symmetry

T

, both defined over

m a t h b b R c a p o v e r l i n e m a t h b b Q

, and of an isomorphism

R : X o Z

so that

R c i r c L c i r c R^{- 1} = T

. The provided proof is existential and, if explicit equations for

X

and

L

are given over

o v e r l i n e m a t h b b Q

, then it is not described how to get the explicit equations for

Z

and

T

over

m a t h b b R c a p o v e r l i n e m a t h b b Q

. In this paper we provide an explicit rational map

R

defined over

m a t h b b Q

so that

Z = R (X)

is defined over

m a t h b b R c a p o v e r l i n e m a t h b b Q

and with

T = R c i r c L c i r c R^{- 1}

being the usual conjugation map.

This page was built for publication: An effective descent of arithmetical real algebraic varieties