SearcharxivSearch

arXiv subjects

Francesc Bars

Publications and source records attributed to Francesc Bars.

At least 19 recordsLinked to original sources

The modular automorphisms of quotient modular curves

We obtain the modular automorphism group of any quotient modular curve of level $N$, with $4,9\nmid N$. In particular, we obtain some non-expected automorphisms of order 3 that appear for the quotient modular curves when the Atkin-Lehner involution $w_{25}$ belongs to the quotient modular group, such automorphisms are not necessarily defined over $\mathbb{Q}$. As a consequence of the results, we obtain the full automorphism group of the quotient modular curve $X_0^*(N^2)$, for sufficiently large $N$.

math.NT

Diophantine stability for curves over finite fields

We carry out a survey on curves defined over finite fields that are Diophantine stable; that is, with the property that the set of points of the curve is not altered under a proper field extension. First, we derive some general results of such curves and then we analyze several families of curves that happen to be Diophantine stable.

math.NT

The stratification by automorphism groups of smooth plane sextic curves

We obtain the list of automorphism groups for smooth plane sextic curves over an algebraically closed field K of characteristic p=0 or p>21. Moreover, we assign to each group a geometrically complete family over K describing its corresponding stratum, that is, a generic defining polynomial equation with parameters such that any curve in the stratum is K-isomorphic to a non-singular plane model obtained by specializing the values of those parameters over K.

math.AG

Bielliptic quotient modular curves of $X_0(N)$

Let $N\geq 1$ be a non-square free integer and let $W_N$ be a non-trivial subgroup of the group of the Atkin-Lehner involutions of $X_0(N)$ such that the modular curve $X_0(N)/W_N$ has genus at least two. We determine all pairs $(N,W_N)$ such that $X_0(N)/W_N$ is a bielliptic curve and the pairs $(N,W_N)$ such that $X_0(N)/W_N$ has an infinite number of quadratic points over $\mathbb{Q}$.

math.NT

Bielliptic modular curves $X_0^*(N)$ with square-free levels

Let $N\geq 1$ be a square-free integer such that the modular curve $X_0^*(N)$ has genus $\geq 2$. We prove that $X_0^*(N)$ is bielliptic exactly for $19$ values of $N$, and we determine the automorphism group of these bielliptic curves. In particular, we obtain the first examples of nontrivial $Aut(X_0^*(N))$ when the genus of $X_0^*(N)$ is $\geq 3$. Moreover, we prove that the set of all quadratic points over $\mathbb{Q}$ for the modular curve $X_0^*(N)$ with genus $\geq 2$ and $N$ square-free is not finite exactly for $51$ values of $N$.

math.NT

Fitting ideals of Class groups in Carlitz-Hayes cyclotomic extensions

We generalize some results of Greither and Popescu to a geometric Galois cover $X\rightarrow Y$ which appears naturally for example in extensions generated by $\mathfrak{p}^n$-torsion points of a rank 1 normalized Drinfeld module (i.e. in subextensions of Carlitz-Hayes cyclotomic extensions of global fields of positive characteristic). We obtain a description of the Fitting ideal of class groups (or of their dual) via a formula involving Stickelberger elements and providing a link (similar to the one in \cite{ABBL}) with Goss $ζ$-function.

math.NT

Bielliptic smooth plane curves and quadratic points

Let $C_k$ be a smooth projective curve over a global field $k$, which is neither rational nor elliptic. Harris-Silverman, when $p=0$, and Schweizer, when $p>0$ together with an extra condition on the Jacobian variety $\operatorname{Jac}(C_k)$ arising from Mordell's conjecture, showed that $C$ has infinitely many quadratic points over some finite field extension $L/k$ inside $\overline{k}$ (a fixed algebraic closure of $k$) if and only if $C$ is hyperelliptic or bielliptic. Now, let $C_k$ be a smooth plane curve of a fixed degree $d\geq4$ with $p=0$ or $p>(d-1)(d-2)+1$ (up to an extra condition on $\operatorname{Jac}(C_k)$ in positive characteristic). Then, we prove that $C_k$ admits always finitely many quadratic points unless $d=4$. A so-called \emph{geometrically complete families} for the different strata of smooth bielliptic plane quartic curves by their automorphism groups, are given. Interestingly, we show (in a very simple way) that there are only finitely many quadratic extensions $k(\sqrt{D})$ of a fixed number field $k$, in which we may have more solutions to the Fermat's and the Klein's equations of degree $d\geq5$; $X^d+Y^d-Z^d=0$ and $X^{d-1}Y+Y^{d-1}Z+Z^{d-1}X=0$ respectively, than these over $k$ (the same holds for any non-singular projective plane equation of degree $d\geq 5$ over $k$, and also in general when $k$ is a global field after imposing an extra condition on $\operatorname{Jac}(C_k)$).

math.NT

Hypersurface model-fields of definition for smooth hypersurfaces and their twists

Given a smooth projective variety of dimension $n-1\geq 1$ defined over a perfect field $k$ that admits a non-singular hypersurface modelin $\mathbb{P}^n_{\overline{k}}$ over $\overline{k}$, a fixed algebraic closure of $k$, it does not necessarily have a non-singular hypersurface model defined over the base field $k$. We first show an example of such phenomenon: a variety defined over $k$ admitting non-singular hypersurface models but none defined over $k$. We also determine under which conditions a non-singular hypersurface model over $k$ may exist. Now, even assuming that such a smooth hypersurface model exists, we wonder about the existence of non-singular hypersurface models over $k$ for its twists. We introduce a criterion to characterize twists possessing such models and we also show an example of a twist not admitting any non-singular hypersurface model over $k$, i.e for any $n\geq 2$, there is a smooth projective variety of dimension $n-1$ over $k$ which is a twist of a smooth hypersurface variety over $k$, but itself does not admit any non-singular hypersurface model over $k$. Finally, we obtain a theoretical result to describe all the twists of smooth hypersurfaces with cyclic automorphism group having a model defined over $k$ whose automorphism group is generated by a diagonal matrix.

math.NT

The Picard Group of Brauer-Severi Varieties

In this note we provide explicit generators of the Picard groups of cyclic Brauer-Severi varieties defined over the base field. In particular, for all Brauer-Severi surfaces. To produce these generators we use the Twisting Theory for smooth plane curves.

math.NT

Plane model-fields of definition, fields of definition, the field of moduli of smooth plane curves

Given a smooth plane curve $\overline{C}$ of genus $g\geq 3$ over an algebraically closed field $\overline{k}$, a field $L\subseteq\overline{k}$ is said to be a \emph{plane model-field of definition for $\overline{C}$} if $L$ is a field of definition for $\overline{C}$, i.e. $\exists$ a smooth curve $C'$ defined over $L$ where $C'\times_L\overline{k}\cong \overline{C}$, and such that $C'$ is $L$-isomorphic to a non-singular plane model $F(X,Y,Z)=0$ in $\mathbb{P}^2_{L}$. {In this short note, we construct a smooth plane curve $\overline{C}$ over $\overline{\mathbb{Q}}$, such that the field of moduli of $\overline{C}$ is not a field of definition for $\overline{C}$, and also fields of definition do not coincide with plane model-fields of definition for $\overline{C}$.} As far as we know, this is the first example in the literature with the above property, since this phenomenon does not occur for hyperelliptic curves, replacing plane model-fields of definition with the so-called hyperelliptic model-fields of definition.

math.NT

On twists of smooth plane curves

Given a smooth curve defined over a field $k$ that admits a non-singular plane model over $\overline{k}$, a fixed separable closure of $k$, it does not necessarily have a non-singular plane model defined over the field $k$. We determine under which conditions this happens and we show an example of such phenomenon. Now, even assuming that such a smooth plane model exists, we wonder about the existence of non-singular plane models over $k$ for its twists. We characterize twists possessing such models and use such characterization to improve, for the particular case of smooth plane curves, the algorithm to compute twists of non-hyperelliptic curves wrote recently down by the third author. We also show an example of a twist not admitting such non-singular plane model. As a consequence, we get explicit equations for a non-trivial Brauer-Severi surface. Finally, we obtain a theoretical result to compute all the twists of smooth plane curves with cyclic automorphism group having a $k$-model whose automorphism group is generated by a diagonal matrix. Some examples are also provided.

math.NT

The local Tamagawa number conjecture for Hecke characters, II

In this paper we prove the weak local Tamagawa number conjecture for the remaining non-critical cases for the motives associated to Hecke characters $ψ_θ:\mathbb{A}_K\to K^*$ of the author's previous paper, where $K$ is an imaginary quadratic field with $cl(K)=1$, under certain restrictions which originate mainly from the Iwasawa theory of imaginary quadratic fields.

math.NT

On the locus of smooth plane curves with a fixed automorphism group

In this paper, we study some aspects of the irreducibility of $\widetilde{M_g^{Pl}(G)}$ and its interrelation with the existence of "normal forms", i.e. non-singular plane equations (depending on a set of parameters) such that a specialization of the parameters gives a certain non-singular plane model associated to the elements of $\widetilde{M_g^{Pl}(G)}$. In particular, we introduce the concept of being equation strongly irreducible (ES-Irreducible) for which the locus $\widetilde{M_g^{Pl}(G)}$ is represented by a single "normal form". Henn, and Komiya-Kuribayashi, observed that $\widetilde{M_3^{Pl}(G)}$ is ES-Irreducible. In this paper we prove that this phenomena does not occur for any odd $d>4$. More precisely, let $\mathbb{Z}/m\mathbb{Z}$ be the cyclic group of order $m$, we prove that $\widetilde{M_g^{Pl}(\mathbb{Z}/(d-1)\mathbb{Z})}$ is not ES-Irreducible for any odd integer $d\geq5$, and the number of its irreducible components is at least two. Furthermore, we conclude the previous result when $d=6$ for the locus $\widetilde{M_{10}^{Pl}(\mathbb{Z}/3\mathbb{Z})}$. Lastly, we prove the analogy of these statements when $K$ is any algebraically closed field of positive characteristic $p$ such that $p>(d-1)(d-2)+1$.

math.AG