Search

Let $k$ be a field with char $k\neq 2$ and $k$ be not algebraically closed. Let $a\in k\setminus k^2$ and $L=k(\sqrt{a})(x,y)$ be a field extension of $k$ where $x,y$ are algebraically independent over $k$. Assume that $\sigma$ is a $k$-automorphism on $L$ defined by \[ \sigma: \sqrt{a}\mapsto -\sqrt{a},\ x\mapsto \frac{b}{x},\ y\mapsto \frac{c(x+\frac{b}{x})+d}{y} \] where $b,c,d \in k$, $b\neq 0$ and at least one of $c,d$ is non-zero. Let $L^{\langle\sigma\rangle}=\{u\in L:\sigma(u)=u\}$ be the fixed subfield of $L$. We show that $L^{\langle\sigma\rangle}$ is isomorphic to the function field of a certain surface in $P^4_k$ which is given as the intersection of two quadrics. We give criteria for the $k$-rationality of $L^{\langle\sigma\rangle}$ by using the Hilbert symbol. As an appendix of the paper, we also give an alternative geometric proof of a part of the result which is provided to the authors by J.-L. Colliot-Th\'el\`ene., Comment: To appear in Manuscripta Math. The main theorems (old Theorem 1.7 and Theorem 1.8) incorporated into (new) Theorem 1.8. Section 3 and Section 4 interchanged

We study q-ary linear codes C obtained from Veronese surfaces over finite fields. We show how one can find the higher weight spectra of these codes, or equivalently, the weight distribution of all extension codes of C over all field extensions of the field with q elements. Our methods will be a study of the Stanley-Reisner rings of a series of matroids associated to each code C, 14 pages

Let K be a number field, and let G be a finitely generated and torsion-free subgroup of K × . We consider Kummer extensions of G of the form K ( ζ 2 m , G 2 n ) / K ( ζ 2 m ) , where n ⩽ m . In the paper by Debry and Perucca (2016) [1] , the degrees of those extensions have been evaluated in terms of divisibility parameters over K ( ζ 4 ) . We prove how properties of G over K explicitly determine the divisibility parameters over K ( ζ 4 ) . This result yields a clear computational advantage, since no field extension is required.

Consider the abelian category ${\mathcal C}$ of commutative group schemes of finite type over a field $k$, its full subcategory ${\mathcal F}$ of finite group schemes, and the associated pro category ${\rm Pro}({\mathcal C})$ (resp. ${\rm Pro}({\mathcal F})$) of pro-algebraic (resp. profinite) group schemes. When $k$ is perfect, we show that the profinite fundamental group $\varpi_1 : {\rm Pro}({\mathcal C}) \to {\rm Pro}({\mathcal F})$ is left exact and commutes with base change under algebraic field extensions; as a consequence, the higher profinite homotopy functors $\varpi_i$ vanish for $i \geq 2$. Along the way, we describe the indecomposable projective objects of ${\rm Pro}({\mathcal C})$ over an arbitrary field $k$., Final version, accepted for publication at Annales Henri Lebesgue

We present algorithmic, complexity and implementation results for the problem of isolating the real roots of a univariate polynomial in B α ∈ L [ y ] , where L = Q ( α ) is a simple algebraic extension of the rational numbers. We revisit two approaches for the problem. In the first approach, using resultant computations, we perform a reduction to a polynomial with integer coefficients and we deduce a bound of O ˜ B ( N 8 ) for isolating the real roots of B α , where N is an upper bound on all the quantities (degree and bitsize) of the input polynomials. The bound becomes O ˜ B ( N 7 ) if we use Pan's algorithm for isolating the real roots. In the second approach we isolate the real roots working directly on the polynomial of the input. We compute improved separation bounds for the roots and we prove that they are optimal, under mild assumptions. For isolating the real roots we consider a modified Sturm algorithm, and a modified version of descartes ' algorithm. For the former we prove a Boolean complexity bound of O ˜ B ( N 12 ) and for the latter a bound of O ˜ B ( N 5 ) . We present aggregate separation bounds and complexity results for isolating the real roots of all polynomials B α k , when α k runs over all the real conjugates of α. We show that we can isolate the real roots of all polynomials in O ˜ B ( N 5 ) . Finally, we implemented the algorithms in C as part of the core library of MATHEMATICA and we illustrate their efficiency over various data sets.

In this essay, we study various notions of projective space (and other schemes) over F(l)e, with F-1 denoting the field with one element. Our leading motivation is the "Hidden Points Principle," which shows a huge deviation between the set of rational points as closed points defined over F-l(e) and the set of rational points defined as morphisms Spec(F-1(l)) (sic) X. We also introduce, in the same vein as Kurokawa [Proc. Jpn. Acad. Ser. A Math. Sci. 81 (2005), pp. 180-184], schemes of IF -type and consider their zeta functions.

Let $G$ be a group. Two elements $x,y \in G$ are said to be in the same $z$-class if their centralizers in $G$ are conjugate within $G$. Consider $\mathbb F$ a perfect field of characteristic $\neq 2$, which has a non-trivial Galois automorphism of order $2$. Further, suppose that the fixed field $\mathbb F_0$ has the property that it has only finitely many field extensions of any finite degree. In this paper, we prove that the number of $z$-classes in the unitary group over such fields is finite. Further, we count the number of $z$-classes in the finite unitary group $U_n(q)$, and prove that this number is same as that of $GL_n(q)$ when $q>n$., In section 2 Propositions 2.1, 2.2 are added and section 5 is added, final version

We study orbit codes in the field extension \begin{document}$ \mathbb{F}_{q^n} $\end{document} . First we show that the automorphism group of a cyclic orbit code is contained in the normalizer of the Singer subgroup if the orbit is generated by a subspace that is not contained in a proper subfield of \begin{document}$ \mathbb{F}_{q^n} $\end{document} . We then generalize to orbits under the normalizer of the Singer subgroup. In that situation some exceptional cases arise and some open cases remain. Finally we characterize linear isometries between such codes.

We consider Hopf-Galois structures on separable (but not necessarily normal) field extensions $L/K$ of squarefree degree $n$. If $E/K$ is the normal closure of $L/K$ then $G=\mathrm{Gal}(E/K)$ can be viewed as a permutation group of degree $n$. We show that $G$ has derived length at most $4$, but that many permutation groups of squarefree degree and of derived length $2$ cannot occur. We then investigate in detail the case where $n=pq$ where $q \geq 3$ and $p=2q+1$ are both prime. (Thus $q$ is a Sophie Germain prime and $p$ is a safeprime). We list the permutation groups $G$ which can arise, and we enumerate the Hopf-Galois structures for each $G$. There are six such $G$ for which the corresponding field extensions $L/K$ admit Hopf-Galois structures of both possible types., Comment: 26 pages. Proposition 4.12 and Table 5 corrected. Theorem 3.5 removed. Typos fixed and some improvements made to wording. Accepted for Journal of Pure and Applied Algebra

We give a geometric interpretation of Broussous-Grabitz embedding types. We fix a central division algebra $D$ of finite index over a non-Archimedean local field $F$ and a positive integer $m$. Further we fix a hereditary order $\mathfrak{a}$ of $\operatorname{M}_m(D)$ and an unramified field extension $E|F$ in $\operatorname{M}_m(D)$ which is embeddable in $D$ and which normalizes $\mathfrak{a}$. Such a pair $(E,\mathfrak{a})$ is called an embedding. The embedding types classify the $\operatorname{GL}_m(D)$-conjugation classes of these embeddings. Such a type is a class of matrices with non-negative integer entries. We give a formula which allows us to recover the embedding type of $(E,\mathfrak{a})$ from the simplicial type of the image of the barycenter of $\mathfrak{a}$ under the canonical isomorphism, from the set of $E^\times$-fixed points of the reduced building of $\operatorname{GL}_m(D)$ to the reduced building of the centralizer of $E^\times$ in $\operatorname{GL}_m(D)$. Conversely the formula allows to calculate the simplicial type up to cyclic permutation of the Coxeter diagram.

Let k be a non-archimedean local field with residual characteristic p. Let G be a connected reductive group over k that splits over a tamely ramified field extension of k. Suppose p does not divide the order of the Weyl group of G. Then we show that every smooth irreducible complex representation of G(k) contains an $\mathfrak{s}$-type of the form constructed by Kim and Yu and that every irreducible supercuspidal representation arises from Yu's construction. This improves an earlier result of Kim, which held only in characteristic zero and with a very large and ineffective bound on p. By contrast, our bound on p is explicit and tight, and our result holds in positive characteristic as well. Moreover, our approach is more explicit in extracting an input for Yu's construction from a given representation., Comment: 39 pages, accepted for publication in Annals of Mathematics

In this paper, we consider the problem of computing the rank of a block-structured symbolic matrix (a generic partitioned matrix) $A = (A_{\alpha \beta} x_{\alpha \beta})$, where $A_{\alpha \beta}$ is a $2 \times 2$ matrix over a field $\mathbf{F}$ and $x_{\alpha \beta}$ is an indeterminate for $\alpha = 1,2,\dots, \mu$ and $\beta = 1,2, \dots, \nu$. This problem can be viewed as an algebraic generalization of the bipartite matching problem and was considered by Iwata and Murota (1995). Recent interests in this problem lie in the connection with non-commutative Edmonds' problem by Ivanyos, Qiao, and Subrahamanyam (2018) and Garg, Gurvits, Oliveiva, and Wigderson (2019), where a result by Iwata and Murota implicitly states that the rank and non-commutative rank (nc-rank) are the same for this class of symbolic matrices. The main result of this paper is a simple and combinatorial $O((\mu \nu)^2 \min \{ \mu, \nu \})$-time algorithm for computing the symbolic rank of a $(2 \times 2)$-type generic partitioned matrix of size $2\mu \times 2\nu$. Our algorithm is inspired by the Wong sequence algorithm by Ivanyos, Qiao, and Subrahamanyam for the nc-rank of a general symbolic matrix, and requires no blow-up operation, no field extension, and no additional care for bounding the bit-size. Moreover it naturally provides a maximum rank completion of $A$ for an arbitrary field $\mathbf{F}$., Comment: This is a post-peer-review, pre-copyedit version of an article published in Mathematical Programming. The final authenticated version is available online at: https://doi.org/10.1007/s10107-021-01676-5

In connection with Galois Theory and Algebraic Curves, this paper investigates rational functions $h(x) = f(x)/g(x) \in \mathbb{F}_q(x)$ for which the value set $V_h = {\{h(α) | α \in \mathbb{F}_q \cup\{\infty\}}\}$ is relatively small. In particular, under certain circumstances, it proves that $h(x)$ having a small value set is equivalent to the field extension $\mathbb{F}_q(x)/\mathbb{F}_q(h(x))$ being Galois., Oberwolfach Preprints;2020,05

A class of scattered linearized polynomials covering infinitely many field extensions is exhibited. More precisely, the q-polynomial over $${{\mathbb {F}}}_{q^6}$$ F q 6 , $$q \equiv 1\pmod 4$$ q ≡ 1 ( mod 4 ) described in Bartoli et al. (ARS Math Contemp 19:125–145, 2020) and Zanella and Zullo (Discrete Math 343:111800, 2020) is generalized for any even $$n\ge 6$$ n ≥ 6 to an $${{{\mathbb {F}}}_q}$$ F q -linear automorphism $$\psi (x)$$ ψ ( x ) of $${{\mathbb {F}}}_{q^n}$$ F q n of order n. Such $$\psi (x)$$ ψ ( x ) and some functional powers of it are proved to be scattered. In particular, this provides new maximum scattered linear sets of the projective line $${{\,\mathrm{{PG}}\,}}(1,q^n)$$ PG ( 1 , q n ) for $$n=8,10$$ n = 8 , 10 . The polynomials described in this paper lead to a new infinite family of MRD-codes in $${{\mathbb {F}}}_q^{n\times n}$$ F q n × n with minimum distance $$n-1$$ n - 1 for any odd q if $$n\equiv 0\pmod 4$$ n ≡ 0 ( mod 4 ) and any $$q\equiv 1\pmod 4$$ q ≡ 1 ( mod 4 ) if $$n\equiv 2\pmod 4$$ n ≡ 2 ( mod 4 ) .

Let $n$ be a squarefree natural number, and let $G$, $\Gamma$ be two groups of order $n$. We determine the number of Hopf-Galois structures of type $G$ admitted by a Galois extension of fields with Galois group isomorphic to $\Gamma$. We give some examples, including a full treatment of the case where $n$ is the product of three primes., Comment: 29 pages; arXiv identifier of our preprint on skew braces now included

Motivated by the analysis of neural net models between integer and rational weights, we introduce a so-called cut language over a real digit alphabet, which contains finite β-expansions (i.e. base-β representations) of the numbers less than a given threshold. We say that an infinite β-expansion is eventually quasi-periodic if its tail sequence formed by the numbers whose representations are obtained by removing leading digits, contains an infinite constant subsequence. We prove that a cut language is regular iff its threshold is a quasi-periodic number whose all β-expansions are eventually quasi-periodic, by showing that altogether they have a finite number of tail values. For algebraic bases β, we prove that there is an eventually quasi-periodic β-expansion with an infinite number of tail values iff there is a conjugate of β on the unit circle. For transcendental β combined with algebraic digits, a β-expansion is eventually quasi-periodic iff it has a finite number of tail values. For a Pisot base β and digits from the smallest field extension Q ( β ) over rational numbers including β, we show that any number from Q ( β ) is quasi-periodic. In addition, we achieve a dichotomy that a cut language is either regular or non-context-free and we show that any cut language with rational parameters is context-sensitive.

We investigate Hopf–Galois structures on a cyclic field extension L / K of squarefree degree n. By a result of Greither and Pareigis, each such Hopf–Galois structure corresponds to a group of order n, whose isomorphism class we call the type of the Hopf–Galois structure. We show that every group of order n can occur, and we determine the number of Hopf–Galois structures of each type. We then express the total number of Hopf–Galois structures on L / K as a sum over factorisations of n into three parts. As examples, we give closed expressions for the number of Hopf–Galois structures on a cyclic extension whose degree is a product of three distinct primes. (There are several cases, depending on congruence conditions between the primes.) We also consider one case where the degree is a product of four primes.

We analyze the rel leaves of the Arnoux-Yoccoz translation surfaces. We show that for any genus $g \geq 3$, the leaf is dense in the connected component of the stratum $H(g -1 , g -1)$ to which it belongs, and the one-sided imaginary-rel trajectory of the surface is divergent. For one surface on this trajectory, namely the Arnoux-Yoccoz surface itself, the horizontal foliation is invariant under a pseudo-Anosov map (and in particular is uniquely ergodic), but for all other surfaces, the horizontal foliation is completely periodic. The appendix proves a field theoretic result needed for denseness of the leaf: for any $n \geq 3$, the field extension of the rationals obtained by adjoining a root of $X^n-X^{n-1}-\ldots-X-1$ has no totally real subfields other than the rationals., Comment: Appendix by Lior Bary-Soroker, Mark Shusterman and Umberto Zannier. The prior version was published, but had errors in \S 6. Erroneous statements have been indicated and an erratum was included as Appendix B which corrects the errors. Main results are still correct. 70 pages, 9 figures. arXiv admin note: text overlap with arXiv:1506.06773

Using a geometric approach involving Riemann surface orbifolds, we provide lower bounds for the genus of an irreducible algebraic curve of the form $$\mathcal {E}_{A,B}:\, A(x)-B(y)=0$$ , where $$A, B\in \mathbb {C}(z)$$ . We also investigate “series” of curves $$\mathcal {E}_{A,B}$$ of genus zero, where by a series we mean a family with the “same” A. We show that for a given rational function A a sequence of rational functions $$B_i$$ , such that $$\deg B_i\rightarrow \infty $$ and all the curves $$A(x)-B_i(y)=0$$ are irreducible and have genus zero, exists if and only if the Galois closure of the field extension $$\mathbb {C}(z)/\mathbb {C}(A)$$ has genus zero or one.

An n × n matrix pattern is said to be spectrally arbitrary over a field F provided for every monic polynomial p ( t ) of degree n, with coefficients from F , there exists a matrix with entries from F , in the given pattern, that has characteristic polynomial p ( t ) . Let E ⊆ F ⊆ K be an extension of fields. It is natural to ask whether a pattern that is spectrally arbitrary over F must also be spectrally arbitrary over E or K . In this article it is shown that if F is dense in K and K is a complete metric space, then any spectrally arbitrary or relaxed spectrally arbitrary pattern over F is relaxed spectrally arbitrary over K . It is also established that if E is an algebraically closed subfield of a field F , then any spectrally arbitrary pattern over F is spectrally arbitrary over E . The 2n Conjecture and the Superpattern Conjecture are explored over fields other than the real numbers. In particular, examples are provided to show that the Superpattern Conjecture is false over the field with 3 elements.

Let G be a split simple affine algebraic group of type A or C over a field k, and let E be a standard generic G-torsor over a field extension of k. We compute the Chow ring of the variety of Borel subgroups of G (also called the variety of complete flags of G), twisted by E. In most cases, the answer contains a large finite torsion subgroup. The torsion-free cases have been treated in the predecessor Chow ring of some generically twisted flag varieties by the author.

In this short note, we answer a question raised by M. Papikian on a universal upper bound for the degree of the extension of $K_\infty$ given by adjoining the periods of a Drinfeld module of rank 2. We show that contrary to the rank 1 case such a universal upper bound does not exist, and the proof generalises to higher rank. Moreover, we give an upper and lower bound for the extension degree depending on the valuations of the defining coefficients of the Drinfeld module. In particular, the lower bound shows the non-existence of a universal upper bound., 7 pages; v1->v2: corrected typos, added/changed references, now 8 pages

The work of Greither and Pareigis details the enumeration of the Hopf-Galois structures (if any) on a given separable field extension. For an extension L / K which is classically Galois with G = G a l ( L / K ) the Hopf algebras in question are of the form ( L [ N ] ) G where N ≤ B = P e r m ( G ) is a regular subgroup that is normalized by the left regular representation λ ( G ) ≤ B . We consider the case where both G and N are isomorphic to a dihedral group D n for any n ≥ 3 . Using the normal block systems inherent to the left regular representation of each D n , (and every other regular permutation group isomorphic to D n ) we explicitly enumerate all possible such N which arise.

For $\Gamma$ a group of order $mp$ for $p$ prime where $gcd(p,m)=1$, we consider those regular subgroups $N\leq Perm(\Gamma)$ normalized by $\lambda(\Gamma)$, the left regular representation of $\Gamma$. These subgroups are in one-to-one correspondence with the Hopf-Galois structures on separable field extensions $L/K$ with $\Gamma=Gal(L/K)$. This is a follow up to the author's earlier work where, by assuming $p>m$, one has that all such $N$ lie within the normalizer of the $p$-Sylow subgroup of $\lambda(\Gamma)$. Here we show that one only need assume that all groups of a given order $mp$ have a unique $p$-Sylow subgroup, and that $p$ not be a divisor of the automorphism groups of any group of order $m$. As such, we extend the applicability of the program for computing these regular subgroups $N$ and concordantly the corresponding Hopf-Galois structures on separable extensions of degree $mp$.

In this paper we develop a Mizar formalization of Kronecker's construction, which states that for every field $F$ and irreducible polynomial $p \in F[X]$ there exists a field extension $E$ of $F$ such that $p$ has a root over $E$ . It turns out that to prove the correctness of the construction the field $F$ needs to provide a disjointness condition, namely $F \cap F[X] = \emptyset$ . Surprisingly this property does not hold for arbitrary representations of a field $F{:}$ We construct for almost every field $F$ another representation $F^{\prime}$ , i.e. an isomorphic copy $F^{\prime}$ of $F$ , not satisfying this condition. As a consequence to $F^{\prime}$ our formalization of Kronecker's construction cannot be applied. All proofs have been carried out in the Mizar system. Based on Mizar's representation of the fields $\mathbb{Z}_{p}, \mathbb{Q}$ , and $\mathbb{R}$ we also have proven that $\mathbb{Z}_{p}\cap \mathbb{Z}_{p}[X]=\emptyset,\ \mathbb{Q}\cap\mathbb{Q}[X] = \emptyset$ , and $\mathbb{R}\cap \mathbb{R}[X]=\emptyset$ respectively.

A Theorem of Hou, Leung and Xiang generalised Kneser's addition Theorem to field extensions. This theorem was known to be valid only in separable extensions, and it was a conjecture of Hou that it should be valid for all extensions. We give an alternative proof of the theorem that also holds in the non-separable case, thus solving Hou's conjecture. This result is a consequence of a strengthening of Hou et al.'s theorem that is a transposition to extension fields of an addition theorem of Balandraud., 17 pages

Let k be a base field, K be a field containing k and L/K be a field extension of degree n. The essential dimension ed(L/K) over k is a numerical invariant measuring "the complexity" of L/K. Of particular interest is $\tau$(n) = max { ed(L/K) | L/K is a separable extension of degree n}, also known as the essential dimension of the symmetric group $S_n$. The exact value of $\tau$(n) is known only for n $\leq$ 7. In this paper we assume that k is a field of characteristic p > 0 and study the essential dimension of inseparable extensions L/K. Here the degree n = [L:K] is replaced by a pair (n, e) which accounts for the size of the separable and the purely inseparable parts of L/K respectively, and \tau(n) is replaced by $\tau$(n, e) = max { ed(L/K) | L/K is a field extension of type (n, e)}. The symmetric group $S_n$ is replaced by a certain group scheme $G_{n,e}$ over k. This group is neither finite nor smooth; nevertheless, computing its essential dimension turns out to be easier than computing the essential dimension of $S_n$. Our main result is a simple formula for \tau(n, e)., Comment: 18 pages

Let $A=\mathbb{F}_q[T]$ be the polynomial ring over $\mathbb{F}_q$, and $F$ be the field of fractions of $A$. Let $\phi$ be a Drinfeld $A$-module of rank $r\geq 2$ over $F$. For all but finitely many primes $\mathfrak{p}\lhd A$, one can reduce $\phi$ modulo $\mathfrak{p}$ to obtain a Drinfeld $A$-module $\phi\otimes\mathbb{F}_\mathfrak{p}$ of rank $r$ over $\mathbb{F}_\mathfrak{p}=A/\mathfrak{p}$. The endomorphism ring $\mathcal{E}_\mathfrak{p}=\mathrm{End}_{\mathbb{F}_\mathfrak{p}}(\phi\otimes\mathbb{F}_\mathfrak{p})$ is an order in an imaginary field extension $K$ of $F$ of degree $r$. Let $\mathcal{O}_\mathfrak{p}$ be the integral closure of $A$ in $K$, and let $\pi_\mathfrak{p}\in \mathcal{E}_\mathfrak{p}$ be the Frobenius endomorphism of $\phi\otimes\mathbb{F}_\mathfrak{p}$. Then we have the inclusion of orders $A[\pi_\mathfrak{p}]\subset \mathcal{E}_\mathfrak{p}\subset \mathcal{O}_\mathfrak{p}$ in $K$. We prove that if $\mathrm{End}_{F^\mathrm{alg}}(\phi)=A$, then for arbitrary non-zero ideals $\mathfrak{n}, \mathfrak{m}$ of $A$ there are infinitely many $\mathfrak{p}$ such that $\mathfrak{n}$ divides the index $\chi(\mathcal{E}_\mathfrak{p}/A[\pi_\mathfrak{p}])$ and $\mathfrak{m}$ divides the index $\chi(\mathcal{O}_\mathfrak{p}/\mathcal{E}_\mathfrak{p})$. We show that the index $\chi(\mathcal{E}_\mathfrak{p}/A[\pi_\mathfrak{p}])$ is related to a reciprocity law for the extensions of $F$ arising from the division points of $\phi$. In the rank $r=2$ case we describe an algorithm for computing the orders $A[\pi_\mathfrak{p}]\subset \mathcal{E}_\mathfrak{p}\subset \mathcal{O}_\mathfrak{p}$, and give some computational data., Comment: Journal of Number Theory (David Goss Memorial Issue), to appear

Let $k$ be a field, $n \geqslant 5$ be an integer, $x_1, \dots, x_n$ be independent variables and $L_n = k(x_1, \dots, x_n)$. The symmetric group $S_n$ acts on $L_n$ by permuting the variables, and the projective linear group ${\rm PGL}_2$ acts by applying (the same) fractional linear transformation to each varaible. The fixed field $L_n^{{\rm PGL}_2}$ is called "the field of cross-ratios". Let $S \subset S_n$ be a subgroup. The Noether Problem asks whether the field extension $L_n^S/k$ is rational, and the Noether Problem for cross-ratios asks whether $K_n^S/k$ is rational. In an effort to relate these two problems, H. Tsunogai posed the following question: Is $L_n^S$ rational over $K_n^S$? He answered this question in several situations, in particular, in the case where $S = S_n$. In this paper we extend his results by recasting the problem in terms of Galois cohomology. Our main theorem asserts that the following conditions on a subgroup $S \subset S_n$ are equivalent: (a) $L_n^S$ is rational over $K_n^S$, (b) $L_n^S$ is unirational over $K_n^S$, (c) $S$ has an orbit of odd order in $\{1, \dots, n \}$., Comment: 7 pages

We show that each real-representable matroid is a minor of a complex-representable excluded minor for real-representability. More generally, for an infinite field $\mathbb{F}_1$ and a field extension $\mathbb{F}_2$, if $\mathbb{F}_1$-representability is not equivalent to $\mathbb{F}_2$-representability, then each $\mathbb{F}_1$-representable matroid is a minor of a $\mathbb{F}_2$-representable excluded minor for $\mathbb{F}_1$-representability., Comment: 14 pages, 2 figures. Submitted for publication in JCTb

Let $k$ be a field, with absolute Galois group $\Gamma$. Let $A/k$ be a finite \'etale group scheme of multiplicative type, i.e. a discrete $\Gamma$-module. Let $n \geq 2$ be an integer, and let $x \in H^n(k,A)$ be a cohomology class. We show that there exists a countable set $I$, and a familiy $(X_i)_{i \in I}$ of (smooth, geometrically integral) $k$-varieties, such that the following holds. For any field extension $l/k$, the restriction of $x$ vanishes in $H^n(l,A)$ if and only if (at least) one of the $X_i$'s has an $l$-point. We moreover show that the $X_i$'s can be made into an ind-variety. In the case $n=2$, we note that one variety is enough., Comment: 13 pages

We are interested in characterising pairs $S,T$ of $F$-linear subspaces in a field extension $L/F$ such that the linear span $ST$ of the set of products of elements of $S$ and of elements of $T$ has small dimension. Our central result is a linear analogue of Vosper's Theorem, which gives the structure of vector spaces $S, T$ in a prime extension $L$ of a finite field $F$ for which $\dim_FST =\dim_F S+\dim_F T-1,$ when $\dim_F S, \dim_F T\ge 2$ and $\dim_F ST\le [L:F]-2$., 33 pages

Suppose E is an elliptic curve over $\Bbb Q$, and p>3 is a split multiplicative prime for E. Let q ≠ p be an auxiliary prime, and fix an integer m coprime to pq. We prove the generalised Mazur–Tate–Teitelbaum conjecture for E at the prime p, over number fields $K\subset \Bbb Q\big(\mu_{{q^{\infty}}},\;\!^{q^{\infty}\!\!\!\!}\sqrt{m}\big)$ such that p remains inert in $K\cap\Bbb Q(\mu_{{q^{\infty}}})^+$. The proof makes use of an improved p-adic L-function, which can be associated to the Rankin convolution of two Hilbert modular forms of unequal parallel weight.

Let k be field of characteristic ≠ 2, 3. Assume that k contains more than 11 elements and let K be an algebraic field extension of k. The present paper describes subgroups of the general linear group GL 7 ( K ) that contain the Chevalley group G 2 ( k ) .

J. R. Sendra and C. Villarino are members of the research group ASYNACS (Ref. CCEE2011/R34)., In this extended abstract, we study the properties of ultraquadrics associated with automorphisms of the field K(\alpha )(t1, . . . , tn), defined by linear rational (with common denominator) or by polynomial (with polynomial inverse) coordinates. We conclude that ultraquadrics related to polynomial automorphisms can be characterized as varieties K−isomorphic to linear varieties, while ultraquadrics arising from projective automorphisms are isomorphic to the Segre embedding of a blowup of the projective space along an ideal and, in some general case, linearly isomorphic to a toric variety. This information helps us to compute a parametrization of some ultraquadrics., Ministerio de Ciencia e Innovación

This paper presents a comprehensive study of the computation of square roots over finite extension fields. We propose two novel algorithms for computing square roots over even field extensions of the form ${\BBF_{{q^2}}}$ , with $q = {p^n}$ , $p$ an odd prime and $n \geq 1$ . Both algorithms have an associate computational cost roughly equivalent to one exponentiation in ${\BBF_{{q^2}}}$ . The first algorithm is devoted to the case when $q \equiv 1\, {\rm mod}\, 4$ , whereas the second one handles the case when $q \equiv 3\, {\rm mod}\,4$ . Numerical comparisons show that the two algorithms presented in this paper are competitive and in some cases more efficient than the square root methods previously known.

Let L/K be a separable field extension of degree 6. An 1867 theorem of P. Joubert asserts that if char(K) is different from 2 then L is generated over K by an element whose minimal polynomial is of the form t^6 + a t^4 + b t^2 + ct + d for some a, b, c, d in K. We show that this theorem fails in characteristic 2., 5 pages, new material added

Let $(R, \frak{m}, k_{R})$ be a regular local k-algebra satisfying the weak Jacobian criterion, and such that kR/k is an algebraic field extension. Let $\mathcal{D}_{R}$ be the ring of k-linear differential operators of R. We give an explicit decomposition of the $\mathcal{D}_{R}$-module $\mathcal{D}_{R}/\mathcal{D}_{R} \frak{m}_{R}^{n+1}$ as a direct sum of simple modules, all isomorphic to $\mathcal{D}_{R}/\mathcal{D}_{R} \frak{m}$, where certain “Pochhammer” differential operators are used to describe generators of the simple components.

Using dynamical methods we give a new proof of the theorem saying that if $A,B,X$ are rational functions of degree at least two such that $A\circ X=X\circ B$ and $\mathbb C(B,X)=\mathbb C(z)$, then the Galois closure of the field extension $\mathbb C(z)/\mathbb C(X)$ has genus zero or one., An extended version

Let X be an algebraic curve over Q and t a non-constant Q-rational function on X such that Q(t) is a proper subfield of Q(X). For every integer n pick a point P_n on X such that t(P_n)=n. We conjecture that, for large N, among the number fields Q(P_1), ..., Q(P_N) there are at least cN distinct. We prove this conjecture in the special case when t defines a geometrically abelian covering of the projective line, and the critical values of t are all rational. This implies, in particular, that our conjecture follows from a famous conjecture of Schinzel., Comment: Some typos are corrected. The article is now accepted in Periodica Math. Hungarica

In this note, we are interested in local-global principles for multinorm equations of the form $\prod_{i=1}^n N_{L_i /k}(z_i) = a$ where $k$ is a global field, $L_i/k$ are finite separable field extensions and $a \in k^*$. In particular, we prove a result relating weak approximation for this equation to weak approximation for some classical norm equation $N_{F/k}(w) = a$ where $F := \bigcap_{i=1}^n L_i$. It provides a proof of a "weak approximation" analogue of a recent conjecture by Pollio and Rapinchuk about multinorm principle. We also provide a counterexample to the original conjecture concerning Hasse principle., Comment: 14 pages, Final version

Let (V, h) be a Hermitian space over a division algebra D which is of index at most two over a non-Archimedean local field k of residue characteristic not 2. Let G be the unitary group defined by h and let \({\sigma}\) be the adjoint involution. Suppose we are given two \({\sigma}\)-invariant but not \({\sigma}\)-fixed field extensions E1 and E2 of k in EndD(V) which are isomorphic under conjugation by an element g of G and suppose that there is a point x in the Bruhat–Tits building of G which is fixed by \({E_1^{\times}}\) and \({E_2^{\times}}\) in the reduced building of AutD(V). Then E1 is conjugate to E2 under an element of the stabilizer of x in G if E1 and E2 are conjugate under an element of the stabilizer of x in AutD(V) and a weak extra condition holds. In addition, in many cases the conjugation by g from E1 to E2 can be realized as conjugation by an element of the stabilizer of x in G. Further we give a concrete description of the canonical isomorphism from the set of \({E_1^\times}\) fixed points of the building of G onto the building of the centralizer of E1 in G.

Let k ⊆ k′ be a field extension. We give relations between the kernels of higher derivations on k[X] and k′[X], where k[X]:= k[x1,…, xn] denotes the polynomial ring in n variables over the field k. More precisely, let D = {Dn}n=0∞ a higher k-derivation on k[X] and D′ = {D′n}n=0∞ a higher k′-derivation on k′[X] such that D′m(xi) = Dm(xi) for all m ⩾ 0 and i = 1, 2,…, n. Then (1) k[X]D = k if and only if k′[X]D′ = k′; (2) k[X]D is a finitely generated k-algebra if and only if k′[X]D′ is a finitely generated k′-algebra. Furthermore, we also show that the kernel k[X]D of a higher derivation D of k[X] can be generated by a set of closed polynomials.

Given a field extension K/k of degree n we are interested in finding the subfields of K containing k. There can be more than polynomially many subfields. We introduce the notion of generating subfields, a set of up to n subfields whose intersections give the rest. We provide an efficient algorithm which uses linear algebra in k or lattice reduction along with factorization in any extension of K. Implementations show that previously difficult cases can now be handled.

A polynomial source of randomness over F n is a random variable X = f(Z) where f is a polynomial map and Z is a random variable distributed uniformly over F r for some integer r. The three main parameters of interest associated with a polynomial source are the order q of the field, the (total) degree D of the map f , and the base-q logarithm of the size of the range of f over inputs in F r , denoted by k. For simplicity we call X a (q; D; k)-source.

Given a triangulated category over a field $K$ and a field extension $L/K$, we investigate how one can construct a triangulated category over $L$. Our approach produces the derived category of the base change scheme $X_L$ if the category one starts with is the bounded derived category of a smooth projective variety $X$ over $K$ and the field extension is finite and Galois. We also investigate how the dimension of a triangulated category behaves under scalar extensions., Comment: 15 pages, comments welcome

One of the most important uses of the ring and field theory is an extension of a broader field so that a polynomial can be found to have roots. In this study researchers took modulo a prima as follows indeterminate coeffcients to search for his roots extension the solutions of that it can seen normal. A field is subject to a polynomial form a set of polynomials , where is a coefficient field its terms modulo a prime number. Of the set of polynomial exists a polynomial is irreducible, it is necessary to extension the field to know the roots of the solution. Suppose to extension of the field is a field . Field is called extension the field over a field , if the field is subfield of the field and is irreducible polynomial in then can be factored as a product of linear factors in the splitting field. If the polynomial has different roots in the splitting field the polynomial is called polynomial separable. In this study polynomial separable is contained of odd degree in which the coefficients of the tribes polynomial is contained in the extension field. Polynomial is called a polynomial separable odd because it has different roots in the factors and there is one factor in a polynomial in the field. Splitting field that contains all the set of polynomials separable is called normal extension.

Among abelian extensions of a congruence function field, an asymptotic relation of class number and genus is established. The proof is classical, employing well-known results from congruence function field theory., 11 pages

A loop is automorphic if all its inner mappings are automorphisms. We construct a large family of automorphic loops as follows. Let $R$ be a commutative ring, $V$ an $R$-module, $E=\mathrm{End}_R(V)$ the ring of $R$-endomorphisms of $V$, and $W$ a subgroup of $(E,+)$ such that $ab=ba$ for every $a$, $b\in W$ and $1+a$ is invertible for every $a\in W$. Then $Q_{R,V}(W)$ defined on $W\times V$ by $(a,u)(b,v) = (a+b,u(1+b)+v(1-a))$ is an automorphic loop. A special case occurs when $R=k