| Register
\(\newcommand{\Cat}{{\rm Cat}} \) \(\newcommand{\A}{\mathcal A} \) \(\newcommand{\freestar}{ \framebox[7pt]{$\star$} }\)

6. Miscellaneous

    1. Problem 6.1.

      [Hector Pasten] Prove or disprove the following conjecture.

      Let $K$ be a global field, let $v$ be a place of $K$, and let $X$ and $Y$ be projective varieties which are not singletons. Suppose that $X(K)$ is Zariski dense in $X$. Given a dominant rational map $f: X \dashrightarrow Y$ and a nonempty Zariski open set $U\subset X$, there is a Cartier divisor $D > 0$ on $Y$, defined over $K$, such that some sequence of points in $(U \setminus f^*D)(K)$ approaches $f^*D$ $v$-adically.
        • Problem 6.4.

          [Rumen Dimitrov]
          1. What are the automorphisms of cohesive powers $\prod_C F$ for finite algebraic extensions $F$ of $\mathbb Q$?
          2. Are there any that do not arise from automorphisms of $F$?
            • Problem 6.5.

              [Thanases Pheidas] Consider the system of equations $$ \left\{ \begin{array}{ll} a_1s_1 + \dots + a_4s_4 &= c\\ b_1s_1 + \dots + b_4s_4 &= d \end{array} \right. $$ where $a_i, b_j, c,d\in \mathbb Z$ for all $1\leq i,j\leq 4$. Suppose that this system is solvable with the $s_j$ in $\mathbb Z$ modulo every prime $p$. Fix $k \geq 4$, and let $s_j$ be the $j$-th symmetric function of $x_1, \dots, x_k$. (E.g., $s_1 = x_1 + \dots + x_k$.) Must this system have integer solutions for $x_1, \dots, x_k$? What happens if we add more rows or columns?

                  Cite this as: AimPL: Definability and decidability problems in number theory, available at http://aimpl.org/definedecide.