My research is mostly in the area of modular categories. In the course of my research I came across a constraining set of number theoretic conditions that I'd like to exploit. It has been pointed out that several of the conditions seem a bit odd from a number theoretic point of view (which is perhaps why my attempts to find help in the literature have been fruitless), never-the-less they are what I have to work with. Discussing the source of the conditions would, I feel, take me to far afield from the question but if you're interested the major sources are
On the Classification of Modular Tensor Categories
On Formal Codegrees of Fusion Categories
So without further ado...
If $\mathbb{K}:=\mathbb{Q}\left(d_{1}, d_{2},\ldots, d_{n}\right)$ is an abelian extension of $\mathbb{Q}$ with Galois group $G=Gal\left(\mathbb{K}/\mathbb{Q}\right)$ and ring of integers $\mathcal{O}_{\mathbb{K}}$ such that
- $G$ is an abelian subgroup of $\mathfrak{S}_{n}$, the symmetric group on $n$-letters.
- $d_{i}\in\mathcal{O}_{\mathbb{K}}$
- $\frac{d_{i}}{\sigma\left(d_{i}\right)}$ is a unit in $\mathcal{O}_{\mathbb{K}}$ $\forall \sigma\in G$
- $d_{1}$ is a unit in $\mathcal{O}_{\mathbb{K}}$
There is an element $\tau\in G$ such that
a. $\tau\left(d_{1}\right)\neq d_{1}$.
b. $\displaystyle{\prod_{1\leq a\leq ord\left(\tau\right)}}\tau^{a}\left(d_{1}\right)=\pm1$
c. $\tau$ induces a permutation $\hat{\tau}\in\mathfrak{S}_{n}$ such that $d_{1}\tau\left(d_{i}\right)=\pm d_{\hat{\tau}\left(i\right)}$.
I'd really like to understand $\mathbb{Q}\left(d_{1}\right)$ in some reasonable way.
The thing that jumped out at me was that if $\mathbb{Q}\left(d_{1}\right)$ was a cyclic extension of $\mathbb{Q}$ with Galois group $\langle\tau\rangle$ then $$\displaystyle{\prod_{1\leq a\leq ord\left(\tau\right)}}\tau^{a}\left(d_{1}\right)=\pm1$$ would be exactly the condition that $d_{1}$ is a unit in $\mathcal{O}_{\mathbb{Q}\left(d_{1}\right)}^{\times}$.
In light of this, I would really like to conclude that $\mathbb{Q}\left(d_{1}\right)$ is a cyclic extension of $\mathbb{Q}$ with Galois group $\langle \tau\rangle$. I haven't been able to find a counter example in the context of modular categories but perhaps from a number theoretic standpoint this is asking to much. If one cannot conclude that $Gal\left(\mathbb{Q}\left(d_{1}\right)/\mathbb{Q}\right)=\langle\tau\rangle$, what can one say?
As I mentioned above, the number-theory/field theory literature hasn't been very helpful. This could simply be a symptom of not having the correct vocabulary to search it efficiently. For instance $\displaystyle{\prod_{1\leq a\leq ord\left(\tau\right)}}\tau^{a}\left(d_{1}\right)$ looks an awful lot like a norm, but that doesn't seem to be quite what it is, and I'm not really sure what to call it.