Search

A fundamental result of Springer says that a quadratic form over a field of characteristic ≠ 2 is isotropic if it is so after an odd degree field extension. In this paper we generalize Springer’s theorem as follows. Let R be an arbitrary semilocal ring, let S be a finite R -algebra of constant odd degree, which is etale or generated by one element, and let q be a nonsingular R -quadratic form whose base ring extension q S is isotropic. We show that then already q is isotropic.

Let K be a maximal unramified extension of a nonarchimedean local field with arbitrary residual characteristic p. Let G be a reductive group over K which splits over a tamely ramified extension of K. We show that the associated Moy-Prasad filtration representations are in a certain sense independent of p. We also establish descriptions of these representations in terms of explicit Weyl modules and as representations occurring in a generalized Vinberg-Levy theory. As an application, we use these results to provide necessary and sufficient conditions for the existence of stable vectors in Moy-Prasad filtration representations, which extend earlier results by Reeder and Yu (which required p to be large) and by Romano and the author (which required G to be absolutely simple and split). This yields new supercuspidal representations. We also treat reductive groups G that are not necessarily split over a tamely ramified field extension.

For a given field F of characteristic different from 2 and $$a,b,d\in F^*$$ we construct an invariant $$\mathrm{inv}$$ for an element $$D\in \,_2\mathrm{Br}(F(\sqrt{a},\sqrt{b},\sqrt{d})/F)$$ . This invariant takes value in the quotient group $$\begin{aligned} H^3(F,\mu _2)/D\cup {\mathrm{N}_{\mathrm{F}\left( \sqrt{\mathrm{d}}, \sqrt{\mathrm{ab}}\right) /\mathrm{F}}}F\left( \sqrt{d},\sqrt{ab}\right) ^*. \end{aligned}$$ Let k be a field, let $$k(\sqrt{a},\sqrt{b},\sqrt{d})/k$$ be a triquadratic field extension. We apply the invariant $$\mathrm{inv}$$ and a few deep results from algebraic geometry and K-theory to construct a field extension K/k with $$\mathrm{cd}_2 K=3$$ , and an indecomposable cross product algebra of exponent 2 with respect to the extension $$K(\sqrt{a},\sqrt{b},\sqrt{d})/K$$ . Using the invariant $$\mathrm{inv}$$ , we also prove the following odd degree descent statement: Assume $$D\in \,_2\mathrm{Br}(F)$$ , $$b,d\in F^*$$ , L/F is an odd degree extension. Assume also that $$D_{L(\sqrt{b},\sqrt{d})}=Q_{L(\sqrt{b},\sqrt{d})}$$ , where Q is a quaternion algebra defined over L. Then there exists a quaternion algebra $$\widetilde{Q}$$ defined over F such that $$D_{F(\sqrt{b},\sqrt{d})}=\widetilde{Q}_{F(\sqrt{b},\sqrt{d})}$$ . As a consequence we get that if $$\phi \in I^2(F)$$ is a form such that $${(\phi _{L(\sqrt{b},\sqrt{d})})}_{an}$$ is defined over L, and $$\dim {(\phi _{L(\sqrt{b},\sqrt{d})})}_{an} =4$$ , then $${(\phi _{F(\sqrt{b},\sqrt{d})})}_{an}$$ is defined over F.

This paper explores the existence and distribution of primitive elements in finite field extensions with prescribed traces in several intermediate field extensions. Our main result provides an inequality-like condition to ensure the existence of such elements. We then derive concrete existence results for a special class of intermediate extensions., Comment: This new version contains many corrections, and some minor results were removed. ** To appear in J. Aust. Math. Soc

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

Let K be a finitely generated extension of a field k of characteristic $$p\not =0$$ . In 1947, Dieudonne initiated the study of maximal separable intermediate fields. He gave in particular the form of an important subclass of maximal separable intermediate fields D characterized by the property $$K\subseteq k({D}^{p^{-\infty }})$$ , and which are called the distinguished subfields of K/k. In 1970, Kraft showed that the distinguished maximal separable subfields are precisely those over which K is of minimal degree. This paper grew out of an attempt to find a new characterization of distinguished subfields of K/k by means of new inseparability invariants.

Over a global field any finite number of central simple algebras of exponent dividing m is split by a common cyclic field extension of degree m. We show that the same property holds for function fields of 2-dimensional excellent schemes over a henselian local domain of dimension one or two with algebraically closed residue field.

We study the maximal multiplicity locus of a variety X over a field of characteristic p>0 that is provided with a finite surjective radicial morphism δ:X→V, where V is regular, for example, when X⊂An+1 is a hypersurface defined by an equation of the form Tq−f(x1,…,xn)=0 and δ is the projection onto V:=Spec(k[x1,…,xn]). The multiplicity along points of X is bounded by the degree, say d, of the field extension K(V)⊂K(X). We denote by Fd(X)⊂X the set of points of multiplicity d. Our guiding line is the search for invariants of singularities x∈Fd(X) with a good behavior property under blowups X′→X along regular centers included in Fd(X), which we call invariants with the pointwise inequality property. A finite radicial morphism δ:X→V as above will be expressed in terms of an OVq-submodule M⊆OV. A blowup X′→X along a regular equimultiple center included in Fd(X) induces a blowup V′→V along a regular center and a finite morphism δ′:X′→V′. A notion of transform of the OVq-module M⊂OV to an OV′q-module M′⊂OV′ will be defined in such a way that δ′:X′→V′ is the radicial morphism defined by M′. Our search for invariants relies on techniques involving differential operators on regular varieties and also on logarithmic differential operators. Indeed, the different invariants we introduce and the stratification they define will be expressed in terms of ideals obtained by evaluating differential operators of V on OVq-submodules M⊂OV.

We initiate the study of affine Deligne–Lusztig varieties with arbitrarily deep level structure for general reductive groups over local fields. We prove that for $${{\,\mathrm{GL}\,}}_n$$ and its inner forms, Lusztig’s semi-infinite Deligne–Lusztig construction is isomorphic to an affine Deligne–Lusztig variety at infinite level. We prove that their homology groups give geometric realizations of the local Langlands and Jacquet–Langlands correspondences in the setting that the Weil parameter is induced from a character of an unramified field extension. In particular, we resolve Lusztig’s 1979 conjecture in this setting for minimal admissible characters.

Let k be a field of characteristic p≠ 0. In 1968, M. E. Sweedler revealed for the first time, the usefulness of the concept of modularity. This notion, which plays an important role especially for Galois theory of purely inseparable extensions, was used to characterize purely inseparable extensions of bounded exponent which were tensor products of simple extensions. A natural extension of the definition of modularity is to say that K/k is q-modular (quasi-modular) if K is modular up to some finite extension. In subsequent papers, M. Chellali and the author have studied various property of q-modular field extensions, including the questions of q-modularity preservation in case [k : kp] is finite. This paper grew out of an attempt to find analogue results concerning the preservation of q-modularity, without the hypothesis on k but with extra assumptions on K/k. In particular, we investigate existence conditions of lower (resp. upper) quasi-modular closures for a given q-finite extension.

We prove a new effective Chebotarev density theorem for Galois extensions $L/\mathbb{Q}$ that allows one to count small primes (even as small as an arbitrarily small power of the discriminant of $L$); this theorem holds for the Galois closures of "almost all" number fields that lie in an appropriate family of field extensions. Previously, applying Chebotarev in such small ranges required assuming the Generalized Riemann Hypothesis. The error term in this new Chebotarev density theorem also avoids the effect of an exceptional zero of the Dedekind zeta function of $L$, without assuming GRH. We give many different "appropriate families," including families of arbitrarily large degree. To do this, we first prove a new effective Chebotarev density theorem that requires a zero-free region of the Dedekind zeta function. Then we prove that almost all number fields in our families yield such a zero-free region. The innovation that allows us to achieve this is a delicate new method for controlling zeroes of certain families of non-cuspidal $L$-functions. This builds on, and greatly generalizes the applicability of, work of Kowalski and Michel on the average density of zeroes of a family of cuspidal $L$-functions. A surprising feature of this new method, which we expect will have independent interest, is that we control the number of zeroes in the family of $L$-functions by bounding the number of certain associated fields with fixed discriminant. As an application of the new Chebotarev density theorem, we prove the first nontrivial upper bounds for $\ell$-torsion in class groups, for all integers $\ell \geq 1$, applicable to infinite families of fields of arbitrarily large degree., Comment: 52 pages. This shorter version aligns with the published paper. Note that portions of Section 8 of the longer v1 have been developed as a separate paper with identifier arXiv:1902.02008

A theorem of Chow concerns homomorphisms of two abelian varieties under a primary field extension base change. In this paper, we generalize Chow’s theorem to semi-abelian varieties. This contributes to different proofs of a well-known result that every algebraic torus splits over a finite separable field extension. We also obtain the best bound for the degrees of splitting fields of tori.

We study GL_2(F)-invariant periods on representations of GL_2(A), where F is a nonarchimedean local field and A/F a product of field extensions of total degree 3. For irreducible representations, a theorem of Prasad shows that the space of such periods has dimension at most 1, and is non-zero when a certain epsilon-factor condition holds. We give an extension of this result to a certain class of reducible representations (of Whittaker type), extending results of Harris--Scholl when A is the split algebra F x F x F., Comment: Revised version, to appear in Forum Mathematicum

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 $p$ be a prime, let $K$ be a complete discrete valuation field of characteristic $0$ with a perfect residue field of characteristic $p$, and let $G_{K}$ be the Galois group. Let $\unicode[STIX]{x1D70B}$ be a fixed uniformizer of $K$, let $K_{\infty }$ be the extension by adjoining to $K$ a system of compatible $p^{n}$th roots of $\unicode[STIX]{x1D70B}$ for all $n$, and let $L$ be the Galois closure of $K_{\infty }$. Using these field extensions, Caruso constructs the $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D70F})$-modules, which classify $p$-adic Galois representations of $G_{K}$. In this paper, we study locally analytic vectors in some period rings with respect to the $p$-adic Lie group $\operatorname{Gal}(L/K)$, in the spirit of the work by Berger and Colmez. Using these locally analytic vectors, and using the classical overconvergent $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D6E4})$-modules, we can establish the overconvergence property of the $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D70F})$-modules.

For any central simple algebra over a field F which contains a maximal subfield M with non-trivial automorphism group G = AutF(M), G is solvable if and only if the algebra contains a finite chain of subalgebras which are generalized cyclic algebras over their centers (field extensions of F) satisfying certain conditions. These subalgebras are related to a normal subseries of G. A crossed product algebra F is hence solvable if and only if it can be constructed out of such a finite chain of subalgebras. This result was stated for division crossed product algebras by Petit and overlaps with a similar result by Albert which, however, was not explicitly stated in these terms. In particular, every solvable crossed product division algebra is a generalized cyclic algebra over F.

An 1861 theorem of Hermite asserts that for every field extension E / F of degree 5 there exists an element of E whose minimal polynomial over F is of the form $$f(x) = x^5 + c_2 x^3 + c_4 x + c_5$$ for some $$c_2, c_4, c_5 \in F$$ . We give a new proof of this theorem using techniques of Galois cohomology, under a mild assumption on F.

We develop a modification of a notion of distance of an element in a valued field extension introduced by F.-V. Kuhlmann. We show that the new notion preserves the main properties of the distance and at the same time gives more complete information about a valued field extension. We study valued field extensions of prime degree to show the relation between the distances of the elements and the corresponding extensions of value groups and residue fields. In connection with questions related to defect extensions of valued function fields of positive characteristic, we present constructions of defect extensions of rational function fields K(x, y)|K generated by elements of various distances from K(x, y). In particular, we construct dependent Artin–Schreier defect extensions of K(x, y) of various distances.

Let k be a field of characteristic $$ p\not =0 $$. For a (purely) inseparable extension K / k the notion of modularity, defined by M.E. Sweedler in the 60s, is a very important property, very much like being Galois for a separable extension. We have defined, together with M. Chellali, a generalization of the notion of modularity, called lower quasi-modularity: K / k is lower quasi-modular (lq-modular) if for some finite extension $$k'$$ over k we have that $$K/k'$$ is modular. In subsequent papers M. Chellali and the author have studied various properties of lq-modular field extensions, including the existence of lq-modular closures in case $$[k{:}k^p]$$ is finite. In this paper we prove a similar result, without the hypothesis on k but with extra assumptions on K / k: the extension needs to be q-finite, that is, there must exist an integer M such that for every positive integer n the field $$K\cap k^{p^{-n}}$$ is generated by at most M elements on k. A number of properties of lq-modular closures are determined and examples are presented illustrating the results.

The aim of the paper is to construct an embedding of a given cyclic extension of degree p of a complete discrete valuation field of characteristic 0 with an arbitrary residue field of characteristic p > 0 into a cyclic extension of degree p2. The result extends the construction obtained by S. V. Vostokov and I. B. Zhukov in terms of Witt vectors, to a wider interval of values for the ramification jump of the original field extension.

Let $k$ be a field, $x_1, \dots, x_n$ be independent variables and $L_n = k(x_1, \dots, x_n)$. The symmetric group $��_n$ acts on $L_n$ by permuting the variables, and the projective linear group $\text{PGL}_2$ acts by \[ \begin{pmatrix} a & b \\ c & d \end{pmatrix} \colon x_i \mapsto \frac{a x_i + b}{c x_i + d} \] for each $i = 1, \ldots, n$. The fixed field $L_n^{\text{PGL}_2}$ is called "the field of cross-ratios". Given a subgroup $S \subset ��_n$, H. Tsunogai asked whether $L_n^S$ rational over $K_n^S$. When $n \geqslant 5$ the second author has shown that $L_n^S$ is rational over $K_n^S$ if and only if $S$ has an orbit of odd order in $\{ 1, \dots, n \}$. In this paper we answer Tsunogai's question for $n \leqslant 4$., 9 pages; to be appeared on the Canadian Mathematical Bulletin

We say that a field extension $L/F$ has the descent property for isometry (resp. similarity) of quadratic or symmetric bilinear forms if any two forms defined over $F$ that become isometric (resp. similar) over $L$ are already isometric (resp. similar) over $F$. The famous Artin-Springer theorem states that anisotropic quadratic or symmetric bilinear forms over a field stay anisotropic over an odd degree field extension. As a consequence, odd degree extensions have the descent property for isometry of quadratic as well as symmetric bilinear forms. While this is well known for nonsingular quadratic forms, it is perhaps less well known for arbitrary quadratic or symmetric bilinear forms in characteristic $2$. We provide a proof in this situation. More generally, we show that odd degree extensions also have the descent property for similarity. Moreover, for symmetric bilinear forms in characteristic $2$, one even has the descent property for isometry and for similarity for arbitrary separable algebraic extensions. We also show Scharlau's norm principle for arbitrary quadratic or bilinear forms in characteristic $2$., 17 pages

We say that a smooth algebraic group $G$ over a field $k$ is very special if for any field extension $K/k$, every $G_K$-homogeneous $K$-variety has a $K$-rational point. It is known that every split solvable linear algebraic group is very special. In this note, we show that the converse holds, and discuss its relationship with the birational classification of algebraic group actions., Comment: Proof of Lemma 6 simplified following a suggestion of the referee

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

Let $A$ be a finite-dimensional algebra over a field $k$. We define $A$ to be $\mathbf{C}$-dichotomic if it has the dichotomy property of the representation type on complexes of projective $A$-modules. $\mathbf{C}$-dichotomy implies the dichotomy properties of representation type on the levels of homotopy category and derived category. If $k$ admits a finite separable field extension $K/k$ such that $K$ is algebraically closed, the real number field for example, we prove that $A$ is $\mathbf{C}$-dichotomic. As a consequence, the second derived Brauer-Thrall type theorem holds for $A$, i.e., $A$ is either derived discrete or strongly derived unbounded., Comment: 8 pages. Comments welcome!

We correct a mistake in a lemma in the paper cited in the title and show that it did not affect any of the other results of the paper. To this end, we prove results on linearly disjoint field extensions that do not seem to be commonly known. We give an example to show that a separability assumption in one of these results cannot be dropped (doing so had led to the mistake). Further, we discuss recent generalizations of the original classification of defect extensions.

We investigate the behaviour of Tamagawa numbers of semistable principally polarised abelian varieties in extensions of local fields. In particular, we give a simple formula for the change of Tamagawa numbers in totally ramified extensions and one that computes Tamagawa numbers up to rational squares in general extensions. As an application, we extend some of the existing results on thep-parity conjecture for Selmer groups of abelian varieties by allowing more general local behaviour. We also give a complete classification of the behaviour of Tamagawa numbers for semistable 2-dimensional principally polarised abelian varieties that is similar to the well-known one for elliptic curves. The appendix explains how to use this classification for Jacobians of genus 2 hyperelliptic curves given by equations of the formy2=f(x), under some simplifying hypotheses.

We show that the $\ell$-adic Tate conjecture for divisors on smooth proper varieties over finitely generated fields of positive characteristic follows from the $\ell$-adic Tate conjecture for divisors on smooth projective surfaces over finite fields. Similar results for cycles of higher co-dimension are given., v1:6 pages. Comments are welcome. v2: Corrected a gap in the proof of Theorem 1.1.2. Changed Proposition 3.1.2 accordingly. v3: final version

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

The homology groups h1(l/k), h2(l/k), and h3(l/k) of the Brauer complex for a triquadratic field extension l=k(a,b,c) are studied. In particular, given D∈APTARAMOPREFIX2 Br (k(a,b,c)/k), we find equivalent conditions for the image of D in h2(l/k) to be zero. We consider as well the second divided power operation γ2:APTARAMOPREFIX2 Br (l/k)→H4(k,Z/2Z), and show that there are nonstandard elements with respect to γ2. Further, a natural transformation h2⊗h1→H3, which turns out to be nondegenerate on the left, is defined. As an application we construct a field extension F/k such that the cohomology group h1(F(a,b,c)/F) of the Brauer complex contains the images of prescribed elements of k∗, provided these elements satisfy a certain cohomological condition. At the final part of the paper examples of triquadratic extensions L/F with nontrivial h3(L/F) are given. As a consequence we show that the homology group h3(L/F) can be arbitrarily big.

We show that Rost nilpotence holds for a geometrically integral threefold X over a field k of characteristic 0 if and only if αk(X)*∘N( CH 0(Xk(X)))=0 for some integer N>0 for all correspondences α of degree 0 which vanish over some field extension of k. As a corollary we get the Rost nilpotence property for three-dimensional smooth projective geometrically integral schemes over a field of characteristic zero, which are birationally isomorphic to a toric model.

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.

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

Let A ⊂ B be an integral ring extension of integral domains with fields of fractions K and L, respectively. The integral degree of A ⊂ B, denoted by dA(B), is defined as the supremum of the degrees of minimal integral equations of elements of B over A. It is an invariant that lies in between dK(L) and μA(B), the minimal number of generators of the A-module B. Our purpose is to study this invariant. We prove that it is sub-multiplicative and upper-semicontinuous in the following three cases: if A ⊂ B is simple; if A ⊂ B is projective and finite and K ⊂ L is a simple algebraic field extension; or if A is integrally closed. Furthermore, d is upper-semicontinuous if A is noetherian of dimension 1 and with finite integral closure. In general, however, d is neither sub-multiplicative nor upper-semicontinuous.

We consider a finite \'etale morphism $f:Y \to X$ of quasi-smooth Berkovich curves over a complete nonarchimedean non-trivially valued field $k$, assumed algebraically closed and of characteristic 0, and a skeleton $\Gamma_f=(\Gamma_Y,\Gamma_X)$ of the morphism $f$. We prove that $\Gamma_f$ radializes $f$ if and only if $\Gamma_X$ controls the pushforward of the constant $p$-adic differential equation $f_*(\mathcal{O}_Y,d_Y)$. Furthermore, when $f$ is a finite \'etale morphism of open unit discs, we prove that $f$ is radial if and only if the number of preimages of a point $x\in X$, counted without multiplicity, only depends on the radius of the point $x$., Comment: 33 pages; Comments are welcome

Let K \mathbb {K} be a function field of characteristic p > 0 p>0 . We have recently established the analogue of a theorem of Ku. Nishioka for linear Mahler systems defined over K ( z ) \mathbb {K}(z) . This paper is dedicated to proving the following refinement of this theorem. Let f 1 ( z ) , … , f n ( z ) f_{1}(z),\ldots , f_{n}(z) be d d -Mahler functions such that K ¯ ( z ) ( f 1 ( z ) , … , f n ( z ) ) \overline {\mathbb {K}}(z)\left (f_{1}(z),\ldots , f_{n}(z)\right ) is a regular extension over K ¯ ( z ) \overline {\mathbb {K}}(z) . Then, every homogeneous algebraic relation over K ¯ \overline {\mathbb {K}} between their values at a regular algebraic point arises as the specialization of a homogeneous algebraic relation over K ¯ ( z ) \overline {\mathbb {K}}(z) between these functions themselves. If K \mathbb {K} is replaced by a number field, this result is due to B. Adamczewski and C. Faverjon as a consequence of a theorem of P. Philippon. The main difference is that in characteristic zero, every d d -Mahler extension is regular, whereas in characteristic p p , non-regular d d -Mahler extensions do exist. Furthermore, we prove that the regularity of the field extension K ¯ ( z ) ( f 1 ( z ) , … , f n ( z ) ) \overline {\mathbb {K}}(z)\left (f_{1}(z),\ldots , f_{n}(z)\right ) is also necessary for our refinement to hold. Besides, we show that when p ∤ d p\nmid d , d d -Mahler extensions over K ¯ ( z ) \overline {\mathbb {K}}(z) are always regular. Finally, we describe some consequences of our main result concerning the transcendence of values of d d -Mahler functions at algebraic points.

In this paper we associate an invariant to a biquaternion algebra B over a field K with a subfield F such that K/F is a quadratic separable extension and char(F) = 2. We show that this invariant is trivial exactly when B approximately equal to B-0 circle times K for some biquaternion algebra B-0 over F. We also study the behavior of this invariant under certain field extensions and provide several interesting examples.

Let \(k_0\) be a field of characteristic distinct from 2, \(l_0{/}k_0\) a finite field extension of degree \(2^m\), \(m\ge 2\). We prove that there exists a field extension \(K{/}k_0\) linearly disjoint with \(l_0/k_0\) such that the extension \(l_0K{/}K\) is nonexcellent. The crucial point is a construction of in some sense nonstandard elements in \(H^3(K,\mathbb {Z}{/}2\mathbb {Z})\). We apply this construction as well for investigation of the group \({F^*}^2N_{L{/}F}L^*\), where L / F is a \(\mathbb {Z}{/}4\mathbb {Z}\times \mathbb {Z}{/}2\mathbb {Z}\)-Galois extension. More precisely, let \(F\subset F_i\subset L\)\((1\le i\le 3)\) be the three intermediate quadratic extensions of F, and \(N_i(F)=N_{F_i{/}F}F_i^*\). We show that the quotient group \({N_1(F)\cap N_2(F)\cap N_3(F)\over {F^*}^2N_{L/F}L^*}\) can be arbitrarily large.

The cube root Ramanujan formulas are explained from the point of view of Galois theory. Let F be a cyclic cubic extension of a field K. It is proved that the normal closure over K of a pure cubic extension of F contains a certain pure cubic extension of K. The proposed proof can be generalized to radicals of any prime degree q. In the case where the base field K is the field of rational numbers and the field F is embedded in the cyclotomic extension obtained by adding the pth roots of unity, the corresponding simple radical extension of the field of rational numbers is explicitly constructed. The proof of the main result illustrates Hilbert’s Theorem 90. An example of a particular formula generalizing Ramanujan’s formulas for degree 5 is given. A necessary condition for nested radical expressions of depth 2 to be contained in the normal closure of a pure cubic extension of the field F is given.

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 an algebraically closed field of arbitrary characteristic, let K / k {K/k} be a finitely generated field extension and let X be a separated scheme of finite type over K. For each prime ℓ {\ell} , the absolute Galois group of K acts on the ℓ {\ell} -adic étale cohomology modules of X. We prove that this family of representations varying over ℓ {\ell} is almost independent in the sense of Serre, i.e., that the fixed fields inside an algebraic closure of K of the kernels of the representations for all ℓ {\ell} become linearly disjoint over a finite extension of K. In doing this, we also prove a number of interesting facts on the images and on the ramification of this family of representations.

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

Let $A$ be a right noetherian algebra over a field $k$. If the base field extension $A \otimes_k K$ remains right noetherian for all extension fields $K$ of $k$, then $A$ is called stably right noetherian over $k$. We develop an inductive method to show that certain algebras of finite Gelfand-Kirillov dimension are stably noetherian, using critical composition series. We use this to characterize which algebras satisfying a polynomial identity are stably noetherian. The method also applies to many $\mathbb{N}$-graded rings of finite global dimension; in particular, we see that a noetherian Artin-Schelter regular algebra must be stably noetherian. In addition, we study more general variations of the stably noetherian property where the field extensions are restricted to those of a certain type, for instance purely transcendental extensions., Comment: 24 pages

A central conjecture in inverse Galois theory, proposed by D\`{e}bes and Deschamps, asserts that every finite split embedding problem over an arbitrary field can be regularly solved. We give an unconditional proof of a consequence of this conjecture, namely that such embedding problems can be regularly solved if one waives the requirement that the solution fields are normal. This extends previous results of M. Fried, Takahashi, Deschamps, and the last two authors concerning the realization of finite groups as automorphism groups of field extensions.

In this paper we introduce the local Nori fundamental group scheme of a reduced scheme or algebraic stack over a perfect field $k$. We give particular attention to the case of fields: to any field extension $K/k$ we attach a pro-local group scheme over $k$. We show how this group has many analogies, but also some crucial differences, with the absolute Galois group. We propose two conjectures, analogous to the classical Neukirch-Uchida Theorem and Abhyankar Conjecture, providing some evidence in their favor. Finally we show that the local fundamental group of a normal variety is a quotient of the local fundamental group of an open, of its generic point (as it happens for the \'etale fundamental group) and even of any smooth neighborhood., Comment: 17 pages

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 establish an analytic Hasse principle for linear spaces of affine dimension $m$ on a complete intersection over an algebraic field extension $\mathbb{K}$ of $\mathbb{Q}$ . The number of variables required to do this is no larger than what is known for the analogous problem over $\mathbb{Q}$ . As an application, we show that any smooth hypersurface over $\mathbb{K}$ whose dimension is large enough in terms of the degree is $\mathbb{K}$ -unirational, provided that either the degree is odd or $\mathbb{K}$ is totally imaginary.