The Weyl group of the fine grading of sl(n,C)sl(n,\mathbb{C}) associated with tensor product of generalized Pauli matrices

We consider the fine grading of sl(n,\mb C) induced by tensor product of generalized Pauli matrices in the paper. Based on the classification of maximal diagonalizable subgroups of PGL(n,\mb C) by Havlicek, Patera and Pelantova, we prove that any finite maximal diagonalizable subgroup $K$ of PGL(n,\mb C) is a symplectic abelian group and its Weyl group, which describes the symmetry of the fine grading induced by the action of $K$, is just the isometry group of the symplectic abelian group $K$. For a finite symplectic abelian group, it is also proved that its isometry group is always generated by the transvections contained in it

A note on the Schur multiplier of a nilpotent Lie algebra

For a nilpotent Lie algebra $L$ of dimension $n$ and dim$(L^2)=m$, we find the upper bound dim$(M(L))\leq {1/2}(n+m-2)(n-m-1)+1$, where $M(L)$ denotes the Schur multiplier of $L$. In case $m=1$ the equality holds if and only if $L\cong H(1)\oplus A$, where $A$ is an abelian Lie algebra of dimension $n-3$ and H(1) is the Heisenberg algebra of dimension 3.Comment: Paper in press in Comm. Algebra with small revision

Detection of Symmetry Protected Topological Phases in 1D

A topological phase is a phase of matter which cannot be characterized by a local order parameter. It has been shown that gapped phases in 1D systems can be completely characterized using tools related to projective representations of the symmetry groups. We show how to determine the matrices of these representations in a simple way in order to distinguish between different phases directly. From these matrices we also point out how to derive several different types of non-local order parameters for time reversal, inversion symmetry and $Z_2 \times Z_2$ symmetry, as well as some more general cases (some of which have been obtained before by other methods). Using these concepts, the ordinary string order for the Haldane phase can be related to a selection rule that changes at the critical point. We furthermore point out an example of a more complicated internal symmetry for which the ordinary string order cannot be applied.Comment: 12 pages, 9 Figure

The Drinfel'd Double and Twisting in Stringy Orbifold Theory

This paper exposes the fundamental role that the Drinfel'd double \dkg of the group ring of a finite group $G$ and its twists \dbkg, \beta \in Z^3(G,\uk) as defined by Dijkgraaf--Pasquier--Roche play in stringy orbifold theories and their twistings. The results pertain to three different aspects of the theory. First, we show that $G$--Frobenius algebras arising in global orbifold cohomology or K-theory are most naturally defined as elements in the braided category of \dkg--modules. Secondly, we obtain a geometric realization of the Drinfel'd double as the global orbifold $K$--theory of global quotient given by the inertia variety of a point with a $G$ action on the one hand and more stunningly a geometric realization of its representation ring in the braided category sense as the full $K$--theory of the stack $[pt/G]$. Finally, we show how one can use the co-cycles $\beta$ above to twist a) the global orbifold $K$--theory of the inertia of a global quotient and more importantly b) the stacky $K$--theory of a global quotient $[X/G]$. This corresponds to twistings with a special type of 2--gerbe.Comment: 35 pages, no figure

Profinite completion of Grigorchuk's group is not finitely presented

In this paper we prove that the profinite completion $\mathcal{\hat G}$ of the Grigorchuk group $\mathcal{G}$ is not finitely presented as a profinite group. We obtain this result by showing that H^2(\mathcal{\hat G},\field{F}_2) is infinite dimensional. Also several results are proven about the finite quotients $\mathcal{G}/ St_{\mathcal{G}}(n)$ including minimal presentations and Schur Multipliers

D-branes and Discrete Torsion II

We derive D-brane gauge theories for C^3/Z_n x Z_n orbifolds with discrete torsion and study the moduli space of a D-brane at a point. We show that, as suggested in previous work, closed string moduli do not fully resolve the singularity, but the resulting space -- containing n-1 conifold singularities -- is somewhat surprising. Fractional branes also have unusual properties. We also define an index which is the CFT analog of the intersection form in geometric compactification, and use this to show that the elementary D6-brane wrapped about T^6/Z_n x Z_n must have U(n) world-volume gauge symmetry.Comment: harvmac, 25 p

Construction of Self-Dual Integral Normal Bases in Abelian Extensions of Finite and Local Fields

Let $F/E$ be a finite Galois extension of fields with abelian Galois group $\Gamma$. A self-dual normal basis for $F/E$ is a normal basis with the additional property that $Tr_{F/E}(g(x),h(x))=\delta_{g,h}$ for $g,h\in\Gamma$. Bayer-Fluckiger and Lenstra have shown that when $char(E)\neq 2$, then $F$ admits a self-dual normal basis if and only if $[F:E]$ is odd. If $F/E$ is an extension of finite fields and $char(E)=2$, then $F$ admits a self-dual normal basis if and only if the exponent of $\Gamma$ is not divisible by $4$. In this paper we construct self-dual normal basis generators for finite extensions of finite fields whenever they exist. Now let $K$ be a finite extension of \Q_p, let $L/K$ be a finite abelian Galois extension of odd degree and let \bo_L be the valuation ring of $L$. We define $A_{L/K}$ to be the unique fractional \bo_L-ideal with square equal to the inverse different of $L/K$. It is known that a self-dual integral normal basis exists for $A_{L/K}$ if and only if $L/K$ is weakly ramified. Assuming $p\neq 2$, we construct such bases whenever they exist

SU(3)L⋊(Z3×Z3)SU(3)_{\rm L} \rtimes (\mathbb{Z}_3 \times \mathbb{Z}_3) gauge symmetry and Tri-bimaximal mixing

We study an effective gauge theory whose gauge group is a semidirect product $G = G_c \rtimes \mathit{\Gamma}$ with $G_c$ and $\mathit{\Gamma}$ being a connected Lie group and a finite group, respectively. The semidirect product is defined through a projective homomorphism $\gamma$ (i.e., homomorphism up to the center of $G_c$) from $\mathit{\Gamma}$ into $G_c$. The (linear) representation of $G$ is made from $\gamma$ and a projective representation of $\mathit{\Gamma}$ over $\mathbb{C}$. To be specific, we take $SU(3)_L$ as $G_c$ and $\mathbb{Z}_3 \times \mathbb{Z}_3$ as $\mathit{\Gamma}$. It is noticed that the irreducible projective representations of $\mathit{\Gamma}$ are three-dimensional in spite of its Abelian nature. We give a toy model on the lepton mixing which illustrates the peculiar feature of such gauge symmetry. It is shown that under a particular vacuum alignment the tri-bimaximal mixing matrix is reproduced.Comment: 10 page

D-branes on Singularities: New Quivers from Old

In this paper we present simplifying techniques which allow one to compute the quiver diagrams for various D-branes at (non-Abelian) orbifold singularities with and without discrete torsion. The main idea behind the construction is to take the orbifold of an orbifold. Many interesting discrete groups fit into an exact sequence $N\to G\to G/N$. As such, the orbifold $M/G$ is easier to compute as $(M/N)/(G/N)$ and we present graphical rules which allow fast computation given the $M/N$ quiver.Comment: 25 pages, 13 figures, LaTe

Generalized iterated wreath products of symmetric groups and generalized rooted trees correspondence

Consider the generalized iterated wreath product $S_{r_1}\wr \ldots \wr S_{r_k}$ of symmetric groups. We give a complete description of the traversal for the generalized iterated wreath product. We also prove an existence of a bijection between the equivalence classes of ordinary irreducible representations of the generalized iterated wreath product and orbits of labels on certain rooted trees. We find a recursion for the number of these labels and the degrees of irreducible representations of the generalized iterated wreath product. Finally, we give rough upper bound estimates for fast Fourier transforms.Comment: 18 pages, to appear in Advances in the Mathematical Sciences. arXiv admin note: text overlap with arXiv:1409.060