The tag has no wiki summary.

learn more… | top users | synonyms

0
votes
0answers
7 views

Analytic continuation of intertwining operator

I was trying to understand the paper "Form of GL(2) from analaytic point of view", by Gelbart and Jacquet. On Page 226 in Remark (4.13) they mention that the kernel of the local intertwining operator ...
0
votes
0answers
14 views

Which properties determine the uniqueness of the local Artin map?

Any abelian extension of local fields can be realized as the completion of a global abelian extension. So let $L/K$ be abelian, $w/v$ an extension of places. From the global Artin map on ideles we ...
-1
votes
0answers
66 views
2
votes
1answer
102 views

References about identities of Gauss sum

I am reading the paper. In the end of page 10, there are the following identities of Gauss sum. \begin{align} & h(b) h(a+b) = q^b h(b) h(a), \\ & h(b) g(a+b) = q^b h(b) g(a), \\ & g(a+b) ...
0
votes
2answers
112 views

Is any F-stable maximal torus contained in some F-stable Borel subgroup? [closed]

Denote by $\mathbb{F}_q$ the finite field with $q$ elements, and denote by $\bar{\mathbb{F}}_q$ its algebraic closure. Let $G$ be an affine algebraic group over $\bar{\mathbb{F}}_q$, and let $F$ be a ...
-1
votes
0answers
100 views

Order of element in algebraic group [migrated]

Denote by $\mathbb{F}_q$ the finite field with $q$ elements, and denote by $\bar{\mathbb{F}}_q$ its algebraic closure. Let $G$ be an affine algebraic group over $\bar{\mathbb{F}}_q$, and let $F$ be a ...
0
votes
0answers
78 views

Surjectivity of ring homomophism induced by Frobenius endomorphism

Denote by $F_q$ the finite field with $q$ elements, and denote by $\bar{F_q}$ its algebraic closure. Let $V$ be an affine $\bar{F_q}$-variety and $F$ be the Frobenius endomorphism corresponding to an ...
3
votes
0answers
140 views

Looking for a copy of Algebraic Number Theory in honor of Iwasawa

I am looking for an electronic copy of this volume: Advanced studies in Pure Mathematics, Volume 17 Algebraic Number Theory - in honor of K. Iwasawa Edited by J. Coates, R. Greenberg, B. Mazur and I. ...
1
vote
1answer
234 views

When can we write fundamental units explicitly

Given a number field $K$, the Dirichlet Unit Theorem tells us about the structure of the unit group $O_K^\times$. However, the proofs do not seems to give any way to explicitly write out a set of ...
8
votes
1answer
308 views

Orthonormal bases of R^3 with components lying in the golden field

Greg Egan proved an interesting theorem about unit vectors in $\mathbb{R}^3$ whose components actually lie in the 'golden field' $\mathbb{Q}[\sqrt{5}]$. He found it in our studies of twin ...
9
votes
2answers
583 views

What are the current trends in class field theory?

Being far from an expert in the subject I was wondering if people can hint towards a modern exposition of the developments in the last 10 years ? Or if not then suggest some sub-subjects in CFT that ...
7
votes
1answer
180 views

Lower bound on class number of binary quadratic forms of discriminant of the form $n^2+4$

While searching for a use for the "sum invariant" of indefinite binary quadratic forms of discriminant $D = n^2 + 4$ (see https://cs.uwaterloo.ca/journals/JIS/VOL17/Smith/smith5.html), I believe I ...
10
votes
1answer
412 views

Class field towers

It is known (Golod and Shafarevich) that the class field tower of a finite extension $K$ of $\mathbb{Q}$ may be infinite. But is it always finite for $K=\mathbb{Q}[\zeta]$ where $\zeta$ is a root of ...
1
vote
2answers
192 views

Surjectivity of trace map

Let $R$ be a closed integral domain with its fraction field $F$. Let $K$ be a finite separable extension field of $F$, and let $A$ be the integral closure of $R$ in $K$. It is well known that the ...
13
votes
1answer
457 views

When complex conjugation lies in the center of a Galois group

Let $K \subseteq \mathbb{C}$ be a number field (I'm fixing an embedding), and assume $K/\mathbb{Q}$ is Galois with Galois group $G$. Let $\tau \in G$ denote complex conjugation. This question ...
0
votes
1answer
114 views

Algebraic Hecke characters with a given infinite part

I'm needing to find out if there exists an algebraic Hecke character for a number field F, $\phi: \mathbb{A}_F \rightarrow \mathbb{C}$, for a fixed infinite part $\phi_\infty$ and a fixed component ...
2
votes
0answers
190 views

Algebraic integer with conjugates on the unit circle

Let $\alpha$ be an algebraic integer on the unit circle in $\mathbb{C}$ such that all the conjugates of $\alpha$ lie on the unit circle. Does it follow that $\alpha$ is a root of unity?
2
votes
0answers
132 views

Normal basis in cyclotomic number fields

Let $p$ be an odd prime integer and let $\zeta$ be a primitive $2p$-th root of unity. Does $\alpha=1+\zeta+\zeta^{-1}+\dots+\zeta^{\frac{p-1}{2}}+\zeta^{-\frac{p-1}{2}}$ generates a normal basis of ...
6
votes
4answers
496 views

Some Non-Trivial Algebraic(Rational) Number

Every problem about algebraic-ness (rational-ness) of numbers that I have seen is in one of the below types: The number is algebraic(rational) and proving that it is algebraic(rational) is trivial, ...
0
votes
0answers
92 views

Extension of a complete discrete valuation ring

My question came when I was reading the famous Tate's paper on $p$-divisible groups. At the beginning of chapter $(2.4)$ he cites this fact as obvious. If you take a complete discrete valuation ring ...
8
votes
2answers
852 views

divisible by all standard prime numbers

This question is about prime numbers in nonstandard models of Peano Arithmetic. Every such model looks like N+AxZ, where A is a dense linear order without end points. There are many nonstandard ...
0
votes
1answer
158 views

Normal basis with cyclotomic units

Let p be an odd prime integer and let $\zeta$ be a primitive p-th root of unity. Let $\alpha$ be a non-trivial cyclotomic unit of $\mathbb Q(\zeta)$, i.e. an element of the form ...
5
votes
1answer
344 views

A strange condition on containment of special complex numbers in cyclotomic fields

In a recent theorem we have naturally come across this condition, that seems to be important, but rarely satisfied: $\sqrt{\frac 1 4 + a^m} \in \mathbb Q(\zeta_m, a)$ where $a\in\mathbb C^*$ and ...
6
votes
1answer
327 views

UFD and fundamental group

Let $C$ be the curve $x^2+y^2-1$, defined over $\mathbb R$. It is easy to see that $\mathbb R[C]$ is not a UFD, as witnessed by the identity $(1-x)(1+x)=y^2$. On the other hand, the real locus ...
0
votes
0answers
105 views

Solving the transcendental equation $Li_{3}(e^{-kx}) + x\, Li_{2}(e^{-kx}) = k\, x^3$

I need to solve the following equation: $Li_{3}(e^{-kx}) + x\, Li_{2}(e^{-kx}) = k\, x^3$ for $x\in\mathbb{R}^{\ast}$ and where $k\in\mathbb{R}^{+}$. Here $Li_{3}$ and $Li_{2}$ are the third and ...
3
votes
0answers
181 views

Density of primes of degree one in Bauer's Theorem (Application of Chebotarev Density)

Let $L$ be a Galois extension of $\mathbb{Q}$ and $M$ a finite extension of $\mathbb{Q}$, both of degrees $> 1$. A Theorem of Bauer tells that $Spl_1(M)\subset Spl(L)$ up to a finite number of ...
6
votes
2answers
410 views

How to compute class number of a torus

Let $T$ be an algebraic torus over a number field $K$. Following notations in Ono's The Arithmetic of Tori, ...
2
votes
0answers
106 views

algorithm to find a new point of small height in a number field extension

By the height of an algebraic number $\alpha$, I mean the absolute, logarithmic (additive) Weil height $h(\alpha)$; e.g. $h(2^{1/n}) = (\log 2)/n.$ If $K$ is a number field, let $\delta(K)$ denote ...
1
vote
0answers
141 views

Unramified extensions of a given degree

Let $K \neq \mathbb{Q} $ be a finite extension of $\mathbb{Q}$. For a given integer $n$, how to construct an unramified extension of $K$ of degree $n$ ? EDIT: If not then under what conditions on ...
0
votes
1answer
91 views

A particular argument in the review on expanders by Hoory-Linial-Wigderson

I am thinking about the third bullet point on page 455 here, http://www.ams.org/journals/bull/2006-43-04/S0273-0979-06-01126-8/ Can someone explain what is the argument there which seems to conclude ...
7
votes
2answers
267 views

Constructing Ramanujan graphs from elliptic curves

Is there an exposition which explains how to do this step-by-step? (I see stray references and allusions to such a thing being possible but can't locate anything concretely) Something to do with ...
3
votes
1answer
212 views

Dihedral extension of 2-adic number field

Sorry if the question is too long and maybe elementary. I am reading a paper by Hirotada Naito on "Dihedral extensions of degree 8 over the rational p-adic fields". To generate dihedral extension ...
6
votes
0answers
129 views

Degenerate linear recurrence sequences

Let $(u_n)_{n \geq 0}$ be a linear recurrence given by $$u_n = a_1 u_{n-1} + \cdots + a_k u_{n-k} \quad \forall n \geq k ,$$ where $u_0, \ldots, u_{k-1}, a_1, \ldots, a_k \in \mathbb{Z}$. We recall ...
5
votes
1answer
444 views

Group laws in class field theory

In the case of a quadratic imaginary number field one can construct its maximal abelian extension using torsion points of an elliptic curve with complex multiplication by this field. In the case of a ...
0
votes
0answers
66 views

separating parameters in generalized quadratic Gauss sum

The normalized generalized quadratic Gauss sum is defined by $$ G(a,b,c)=\frac{1}{c}\sum_{n=1}^ce\left(\frac{an^2+bn}{c}\right) $$ where $e(x)=\exp(2\pi ix)$. Under what conditions on $c$ can we ...
3
votes
0answers
141 views

Application of Stickelberger's Theorem to Quadratic field

I am trying to understand a proof of the Kronecker-Weber Theorem by Franz Lemmermeyer,[http://arxiv.org/pdf/1108.5671.pdf] in which he uses Stickelberger's Theorem applied to Kummer extensions. I can ...
1
vote
0answers
126 views

Averages of $L(s,\chi)$

Let $(\frac{m}{n})$ denote the usual quadratic Jacobi symbol. What is the abscissa of convergence of the double Dirichlet series ? $$ \sum_{\substack{m,n \in \mathbb{N} \\ \gcd(m,n)=1 \\m,n\equiv 1 ...
2
votes
2answers
208 views

Some general properties of arithmetic groups of simplest type

I'm working in the area of arithmetic Kleinian groups (as discrete groups of motions of hyperbolic 3-space). For the more general case of hyperbolic $n$-space, there is a particular class of ...
2
votes
1answer
140 views

Irreducibility of Faulhaber-like Polynomials over $\mathbb Q[x]$

Motivation: Inspired by the famous Faulhaber polynomials $F_k(N)=\displaystyle\sum_{n=0}^Nn^k,$ I decided to study their alternating versions, $\Phi_k(M)=\displaystyle\sum_{n=0}^M(-1)^nn^k$. For ...
4
votes
1answer
293 views

Square-free grows as $6n/\pi^2$: $k$-th free?

The asymptotic number of square-free numbers $\le n$ is $Q(n) = 6n/\pi^2 + O(\sqrt{n})$. Because $\zeta(2)=\pi^2/6$, $Q(n) \approx n/\zeta(2)$. OEIS A004709 says that cube-free numbers have ...
0
votes
1answer
109 views

Irreducibility of cyclotomic polynomial over real quadratic number field

Let $n$ and $d$ be positive integers, with $d\ge 2$ square-free. It is well known that $\Phi_n=\Phi_n(x)$, the $n$-th cyclotomic polynomial, is irreducible over $\mathbb{Q}$. However, as the simple ...
8
votes
2answers
716 views

What is known about primes of the form x^2-2y^2?

David Cox's book Primes of The Form: $x^2+ny^2$ does a great job proving and motivating a lot of results for $n>0$. I was unable to find anything for negative numbers, let alone the case I am ...
1
vote
0answers
83 views

Spectrum of primitive nonnegative integer matrices

Let $P(X) = a_nX^n + \cdots + a_1X + a_0$ with $a_i \in \mathbb Z$. Question 1. Is there an efficient criterion on the $a_i$ to decide if there exists a primitive nonnegative integer matrix with ...
4
votes
0answers
214 views

Analog of Euler's factoring technique

Is there an analog of Euler's Two Squares factoring theorem over polynomial rings $\Bbb Z[x]$ by considering a version for non-negative polynomials? Euler's two squares factoring states that numbers ...
6
votes
1answer
151 views

Finite Nontrivial Unramified Towers of Number Fields

Let $F$ be a number field and $L=F^{un}$ its maximal unramified extension. By Class Field Theory, $$Gal(L/F)^{ab}\cong Cl(F).$$ It's well-known that we can have $[L:F]=1$ (e.g. $F=\mathbb{Q}$), and ...
8
votes
0answers
323 views

What is known about the reverse mathematics of algebraic number fields?

I know work on the reverse mathematics of countable algebraic field extensions including Galois theory, notably including Dorais, Hirst, and Shafer http://arxiv.org/pdf/1209.4944v2.pdf. But algebraic ...
14
votes
0answers
403 views

Can there be arbitrarily many cubic fields unramified outside $\{p,\infty\}$?

Observe, trivially, that since quadratic fields correspond to rational integers modulo squares (viz. discriminants), there are (roughly about, but certainly at most) $2^{|S|+1}$ quadratic fields ...
12
votes
2answers
626 views

Formal group law over $\mathbb{F}_p$

Let $p$ be a prime. For each $n > 0$ there is a unique 1-dimensional commutative formal group law $F$ over $\mathbf{Z}$, $F(X, Y) = X + Y + \dots \in \mathbf{Z}[[X, Y]]$, whose logarithm function ...
18
votes
1answer
683 views

What are the products $\prod_{A\subset{\mathbb F}_p\colon |A|=n} \sum_{a\in A} \zeta^a$ equal to?

This is a somewhat more explicit version of a question I have recently asked. Let $p$ be an odd prime, and write $\zeta:=\exp(2\pi i/p)$ (any other primitive $p$th root of unity will do as well). For ...
0
votes
1answer
123 views

Fixed field of the Nebentypus of a newform for $\Gamma_1(N)$

Let $f=\sum_{n\geq 1}\in S_2(\Gamma_1(N),\varepsilon)$ be a normalized newform without CM and with Nebentypus $\varepsilon$. Let $L=\mathbb Q(a_n\colon n\in \mathbb N)$ be the number field generated ...