Hasse principle for character group of finitely generated field over the rational number field

Makoto Sakagaito

DOI: https://doi.org/10.48550/arXiv.1210.4449

2012-10-16

Abstract:In this paper, we show the Hasse principle for the character group of a finitely generated field over the rational number field. By applying this result, we obtain an algebraic proof of unramified class field theory of arithmetical schemes.

Number Theory

What problem does this paper attempt to address?

Drinfeld-Stuhler modules and the Hasse principle

Keisuke Arai,Satoshi Kondo,Mihran Papikian

DOI: https://doi.org/10.48550/arXiv.1908.08678

2019-08-23

Abstract:We develop a theory of canonical isogeny characters of Drinfeld-Stuhler modules similar to the theory of canonical isogeny characters of abelian surfaces with quaternionic multiplication. We then apply this theory to give explicit criteria for the non-existence of rational points on Drinfeld-Stuhler modular varieties over the finite extensions of $\mathbb{F}_q(T)$. This allows us to produce explicit examples of Drinfeld-Stuhler curves violating the Hasse principle.

Number Theory
Hasse norm principle for $M_{11}$ and $J_1$ extensions

Akinari Hoshi,Kazuki Kanai,Aiichi Yamasaki

2024-09-28

Abstract:We give a necessary and sufficient condition for the Hasse norm principle for field extensions $K/k$ when the Galois groups ${\rm Gal}(L/k)$ of the Galois closure $L/k$ of $K/k$ are isomorphic to the Mathieu group $M_{11}$ of degree $11$ of order $7920$ or the Janko group $J_1$ of order $175560$ by determining $H^1(k,{\rm Pic}\, \overline{X})=0$ or $\mathbb{Z}/2\mathbb{Z}$ for norm one tori $T=R^{(1)}_{K/k}(\mathbb{G}_m)$ with a smooth $k$-compactification $X$ and $\overline{X}=X\times_k\overline{k}$. The result gives a first step towards understanding the all pictures of the Hasse norm principle for the $26$ sporadic simple groups.

Number Theory,Algebraic Geometry
$\mathscr{D}$-elliptic sheaves and the Hasse principle

Keisuke Arai,Shin Hattori,Satoshi Kondo,Mihran Papikian

2024-09-28

Abstract:Let $p$ be a rational prime, $q>1$ a power of $p$ and $F=\mathbb{F}_q(t)$. For an integer $d\geq 2$, let $D$ be a central division algebra over $F$ of dimension $d^2$ which is split at $\infty$ and has invariant $\mathrm{inv}_x(D)=1/d$ at any place $x$ of $F$ at which $D$ ramifies. Let $X^D$ be the Drinfeld--Stuhler variety, the coarse moduli scheme of the algebraic stack over $F$ classifying $\mathscr{D}$-elliptic sheaves. In this paper, we establish various arithmetic properties of $\mathscr{D}$-elliptic sheaves to give an explicit criterion for the non-existence of rational points of $X^D$ over a finite extension of $F$ of degree $d$. As an application, for $d=2$, we present explicit infinite families of quadratic extensions of $F$ over which the curve $X^D$ violates the Hasse principle.

Number Theory
A cohomological Hasse principle over two-dimensional local rings

Yong Hu

DOI: https://doi.org/10.1093/imrn/rnw149

2016-06-13

Abstract:Let $K$ be the fraction field of a two-dimensional henselian, excellent, equi-characteristic local domain. We prove a local-global principle for Galois cohomology with finite coefficients over $K$. We use classical machinery from étale cohomology theory, drawing upon an idea in Saito's work on two-dimensional local class field theory. This approach works equally well over the function field of a curve over an equi-characteristic henselian discrete valuation field, thereby giving a different proof of (a slightly generalized version of) a recent result of Harbater, Hartmann and Krashen. We also present two applications. One is the Hasse principle for torsors under quasi-split semisimple simply connected groups without $E_8$ factor. The other gives an explicit upper bound for the Pythagoras number of a Laurent series field in three variables. This bound is sharper than earlier estimates.

Number Theory,K-Theory and Homology
On almost $p$-rational characters in principal blocks

Attila Maróti,J. Miquel Martínez,A. A. Schaeffer Fry,Carolina Vallejo

2024-09-17

Abstract:Let p be a prime. In this paper we provide a lower bound for the number of almost p-rational characters of degree coprime to p in the principal p-block of a finite group of order divisible by p. We further describe the p-local structure of the groups for which the above-mentioned bound is sharp.

Representation Theory,Group Theory
Character sums over sparse elements of finite fields

László Mérai,Igor E. Shparlinski,Arne Winterhof

DOI: https://doi.org/10.1112/blms.13008

IF: 1.036

2024-02-29

Bulletin of the London Mathematical Society

Abstract:We estimate mixed character sums of polynomial values over elements of a finite field Fqr with sparse representations in a fixed ordered basis over the subfield Fq . First we use a combination of the inclusion–exclusion principle with bounds on character sums over linear subspaces to get nontrivial bounds for large q . Then we focus on the particular case q=2 , which is more intricate. The bounds depend on certain natural restrictions. We also provide families of examples for which the conditions of our bounds are fulfilled. In particular, we completely classify all monomials as argument of the additive character for which our bound is applicable. Moreover, we also show that it is applicable for a large family of rational functions, which includes all reciprocal monomials.

mathematics
Nori's Fundamental Group over a non Algebraically Closed Field

Lei Zhang

DOI: https://doi.org/10.2422/2036-2145.201604_007

2016-04-07

Abstract:In this note we generalize Nori's definition of the fundamental group scheme from a rational point to an arbitrary base point so that when we take $X$ to be a field $k$ and the point to be $k\subseteq \bar{k}$ we still get a non trivial group scheme which is similar to the absolute Galois group ${\rm Gal}(\bar{k}/k)$. Then we try to understand the group scheme at various levels.

Algebraic Geometry
Fields of rationality of automorphic representations: The case of unitary groups

John Binder

DOI: https://doi.org/10.1016/j.jnt.2017.07.001

IF: 0.679

2019-10-01

Journal of Number Theory

Abstract:This paper examines fields of rationality in families of cuspidal automorphic representations of unitary groups. Specifically, for a fixed A and a sufficiently large family F , a small proportion of representations π ∈ F will satisfy [ Q ( π ) : Q ] ≤ A . Like earlier work of Shin and Templier, the result depends on a Plancherel equidistribution result for the local components of representations in families. An innovation of our work is an upper bound on the number of discrete series GL n ( L ) representations with small field of rationality, counted with appropriate multiplicity, which in turn depends upon an asymptotic character expansion of Murnaghan and formal degree computations of Aubert and Plymen.

mathematics
Algebraic Curves With Many Rational Points Over Finite Fields Of Characteristic 2

H Niederreiter,Cp Xing

1999-01-01

Abstract:We present new general results on algebraic curves over finite fields and apply them to obtain improved constructions of algebraic curves with many rational points over the finite fields of order 8 and 16. An important role in this work is played by Drinfeld modules of rank 1 and covers corresponding to narrow ray class extensions. 1991 Mathematics Subject Classification: 11G09, 11G20, 11R58, 14G15.
Every finite abelian group is the group of rational points of an ordinary abelian variety over $\mathbb{F}_2$, $\mathbb{F}_3$ and $\mathbb{F}_5$

Stefano Marseglia,Caleb Springer

DOI: https://doi.org/10.48550/arXiv.2105.08125

2022-05-06

Abstract:We show that every finite abelian group $G$ occurs as the group of rational points of an ordinary abelian variety over $\mathbb{F}_2$, $\mathbb{F}_3$ and $\mathbb{F}_5$. We produce partial results for abelian varieties over a general finite field $\mathbb{F}_q$. In particular, we show that certain abelian groups cannot occur as groups of rational points of abelian varieties over $\mathbb{F}_q$ when $q$ is large. Finally, we show that every finite cyclic group arises as the group of rational points of infinitely many simple abelian varieties over $\mathbb{F}_2$.

Number Theory
Rational points over C1 fields

Hélène Esnault

2023-08-16

Abstract:This is a small note on Manin's 1966 article on rational surfaces over perfect fields, the conjecture he formulates there, and later developments. This text is by no means exhaustive and reflects the author's understanding and interest. References for background and general studies are provided.

Algebraic Geometry,Number Theory
Polynomials represented by norm forms via the beta sieve

Alec Shute

2024-07-16

Abstract:A central question in Arithmetic geometry is to determine for which polynomials $f \in \mathbb{Z}[t]$ and which number fields $K$ the Hasse principle holds for the affine equation $f(t) = N_{K/\mathbb{Q}}(\boldsymbol{x}) \neq 0$. Whilst extensively studied in the literature, current results are largely limited to polynomials and number fields of low degree. In this paper, we establish the Hasse principle for a wide family of polynomials and number fields, including polynomials that are products of arbitrarily many linear, quadratic or cubic factors. The proof generalises an argument of Irving, which makes use of the beta sieve of Rosser and Iwaniec. As a further application of our sieve results, we prove new cases of a conjecture of Harpaz and Wittenberg on locally split values of polynomials over number fields, and discuss consequences for rational points in fibrations.

Number Theory
A Galois approach to Kaplansky Radical $\times$ Hilbert's Theorem 90

Ronie Peterson Dario

2024-04-01

Abstract:This paper aims to prove a version of the Hilbert's Theorem 90 for a field with non-trivial Kaplansky radical and the Galois group of its maximal $2$-extension as a finitely generated elementary type pro-2 group.

Number Theory,Group Theory
$τ$-Tilting finiteness of group algebras over generalized symmetric groups

Naoya Hiramae

2024-05-17

Abstract:In this paper, we show that weakly symmetric $\tau$-tilting finite algebras have positive definite Cartan matrices, which implies that we can prove $\tau$-tilting infiniteness of weakly symmetric algebras by calculating their Cartan matrices. Similarly, we obtain the condition on Cartan matrices that selfinjective algebras are $\tau$-tilting infinite. By applying this result, we show that a group algebra of $(\mathbb{Z}/p^l\mathbb{Z})^n\rtimes H$ is $\tau$-tilting infinite when $p^l\geq n$ and $\#\mathrm{IBr}\,H\geq\min\{p,3\}$, where $p>0$ is the characteristic of the ground field, $H$ is a subgroup of the symmetric group $\mathfrak{S}_n$ of degree $n$, the action of $H$ permutes the entries of $(\mathbb{Z}/p^l\mathbb{Z})^n$, and $\mathrm{IBr}\,H$ denotes the set of irreducible $p$-Brauer characters of $H$. Moreover, we show that under the assumption that $p^l\geq n$ and $H$ is a $p'$-subgroup of $\mathfrak{S}_n$, $\tau$-tilting finiteness of a group algebra of a group $(\mathbb{Z}/p^l\mathbb{Z})^n\rtimes H$ is determined by its $p$-hyperfocal subgroup.

Representation Theory,Group Theory,Rings and Algebras
On Lusztig's Character Formula for Chevalley Groups of Type

Sherali S. Ibraev,Larissa Kainbaeva,Gulzat M. Yensebayeva,Anar A. Ibrayeva,Manat Z. Parmenova,Gulnur K. Yeshmurat

DOI: https://doi.org/10.3390/math12233791

IF: 2.4

2024-12-01

Mathematics

Abstract:For a Chevalley group G over an algebraically closed field K of characteristic p>0 with the irreducible root system R, Lusztig's character formula expresses the formal character of a simple G-module by the formal characters of the Weyl modules and the values of the Kazhdan–Lusztig polynomials at 1. It is known that, for a sufficiently large characteristic p of the field K, Lusztig's character formula holds. The known lower bound of the characteristic p is much larger than the Coxeter number h of the root system R. Observations show that for simple modules with restricted highest weights of small Chevalley groups such as those of types A1,A2, A3,B2, B3, and C3, Lusztig's character formula holds for all p≥h. For large Chevalley groups, no other examples are known. In this paper, for G of type Al, we give some series of simple modules for which Lusztig's character formula holds for all p≥h. Using this result, we compute the cohomology of G with coefficients in these simple modules. To prove the results, Jantzen's filtration properties for Weyl modules and the properties of Kazhdan–Lusztig polynomials are used.

mathematics
A generalization of the Hasse-Arf theorem

Ioannis Tsouknidas

DOI: https://doi.org/10.48550/arXiv.2312.12753

2023-12-20

Abstract:We use the theory of Harbater-Katz-Gabber curves to derive a generalization of the Hasse-Arf theorem for complete local field extensions in positive characteristic.

Algebraic Geometry
An upper bound on the number of rational points of arbitrary projective varieties over finite fields

Alain Couvreur

DOI: https://doi.org/10.1090/proc/13015

IF: 0.9709

2016-02-12

Proceedings of the American Mathematical Society

Abstract:<p> We give an upper bound on the number of rational points of an arbitrary Zariski closed subset of a projective space over a finite field <math alttext="bold upper F Subscript q"> <semantics> <msub> <mrow> <mi mathvariant="bold">F</mi> </mrow> <mi>q</mi> </msub> <annotation>\mathbf {F}_q</annotation> </semantics> </math> . This bound depends only on the dimensions and degrees of the irreducible components and holds for very general projective varieties, even reducible and nonequidimensional. As a consequence, we prove a conjecture of Ghorpade and Lachaud on the maximal number of rational points of an equidimensional projective variety. </p>

mathematics, applied
The Pythagoras number of a rational function field in two variables

Karim Johannes Becher,Nicolas Daans,David Grimm,Gonzalo Manzano-Flores,Marco Zaninelli

2024-09-14

Abstract:We prove that every sum of squares in the rational function field in two variables $K(X,Y)$ over a hereditarily pythagorean field $K$ is a sum of $8$ squares. More precisely, we show that the Pythagoras number of every finite extension of $K(X)$ is at most $5$. The main ingredients of the proof are a local-global principle for quadratic forms over function fields in one variable over a complete rank-$1$ valued field due to V. Mehmeti and a valuation theoretic characterization of hereditarily pythagorean fields due to L. Bröcker.

Number Theory
Characterising local fields of positive characteristic by Galois theory and the Brauer group

Philip Dittmann

2024-05-10

Abstract:We show that each local field $\mathbb{F}_q((t))$ of characteristic $p > 0$ is characterised up to isomorphism within the class of all fields of imperfect exponent at most $1$ by (certain small quotients of) its absolute Galois group together with natural axioms concerning the $p$-torsion of its Brauer group. This complements previous work by Efrat-Fesenko, who analysed fields whose absolute Galois group is isomorphic to that of a local field of characteristic $p$.

Number Theory
Rationality Problem of Two-Dimensional Quasi-Monomial Group Actions

Akinari Hoshi,Hidetaka Kitayama

DOI: https://doi.org/10.1007/s00031-023-09832-1

2024-02-13

Transformation Groups

Abstract:The rationality problem of two-dimensional purely quasi-monomial actions was solved completely by (Hoshi, Kang and Kitayama, J. Algebra 403 , 363-400, 2014). As a generalization, we solve the rationality problem of two-dimensional quasi-monomial actions under the condition that the actions are defined within the base field. In order to prove the theorem, we give a brief review of the Severi-Brauer variety with some examples and rationality results. We also use a rationality criterion for conic bundles of over non-closed fields.

mathematics

Hasse principle for character group of finitely generated field over the rational number field

Drinfeld-Stuhler modules and the Hasse principle

Hasse norm principle for $M_{11}$ and $J_1$ extensions

$\mathscr{D}$-elliptic sheaves and the Hasse principle

A cohomological Hasse principle over two-dimensional local rings

On almost $p$-rational characters in principal blocks

Character sums over sparse elements of finite fields

Nori's Fundamental Group over a non Algebraically Closed Field

Fields of rationality of automorphic representations: The case of unitary groups

Algebraic Curves With Many Rational Points Over Finite Fields Of Characteristic 2

Every finite abelian group is the group of rational points of an ordinary abelian variety over $\mathbb{F}_2$, $\mathbb{F}_3$ and $\mathbb{F}_5$

Rational points over C1 fields

Polynomials represented by norm forms via the beta sieve

A Galois approach to Kaplansky Radical $\times$ Hilbert's Theorem 90

$τ$-Tilting finiteness of group algebras over generalized symmetric groups

On Lusztig's Character Formula for Chevalley Groups of Type

A generalization of the Hasse-Arf theorem

An upper bound on the number of rational points of arbitrary projective varieties over finite fields

The Pythagoras number of a rational function field in two variables

Characterising local fields of positive characteristic by Galois theory and the Brauer group

Rationality Problem of Two-Dimensional Quasi-Monomial Group Actions