Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $f$ be a real-valued function on the set of curves over $\overline{\mathbf{Q}}$. Assume that isomorphism curves give rise to the same value for $f$.

Let $K$ be a number field and let $X$ be a curve over $K$.

Define $f_K(X)$ to be the value of $f$ after base change to $\overline{\mathbf{Q}}$.

Now, a priori, this function $f_K$ is not well-defined. In fact, one has to choose an embedding $K\subset \overline{\mathbf{Q}}$.

I do think that this is independent of the choice of embedding under some mild (or maybe none?) hypthesis on $f$. But why exactly?

Is $f_K$ well-defined? Do isomorphism $K$-curves take the same value?

Let me say that one can ask the same question for any function on some class of varieties over $\overline{k}$, where $k$ is a field.

share|cite|improve this question
up vote 3 down vote accepted

In general $f_K$ will depend on the embedding $K \hookrightarrow \overline{\mathbb{Q}}$. Take for instance the real part of the $j$-invariant of an elliptic curve, and consider elliptic curves with $j$-invariants $\pm \sqrt{2}$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.