the reidemeister torsion is an invariant for a cw - complex and a representation of its fundamental group . in other words ,
this invariant associates with the local system for a representation of the fundamental group . originally the reidemeister torsion is defined if the local system is @xmath4 , i.e. , all homology groups vanish .
however we can extend the definition of the reidemeister torsion to non - acyclic cases @xcite . in this paper
, we focus on the non - acyclic cases .
it is known that the fox calculus plays important roles in the study of the reidemeister torsion @xcite .
the many results were obtained by using the fox calculus for the acyclic reidemeister torsion . in particular , there are important results related to the alexander polynomial in the knot theory @xcite .
the fox calculus is also important for non - acyclic cases @xcite .
it is related to the cohomology theory of groups .
this paper contributes to the study of the non - acyclic reidemeister torsion by using the fox calculus .
our purpose is to apply the fox calculus for the acyclic cases to the study of the non - acyclic reidemeister torsion by using a relationship between the acyclic reidemeister torsion and the non - acyclic one .
our main theorem says that the non - acyclic reidemeister torsion for a knot exterior is given by the differential coefficients of the twisted alexander invariant of the knot .
the twisted alexander invariant of a knot is the acyclic reidemeister torsion and expressed as a one variable rational function @xcite .
a conjecture due to j. dubois and r. kashaev @xcite will be solved in @xcite by using our main theorem .    in the latter of this paper
, we apply this relationship to study the reidemeister torsion for the pair of a @xmath3-bridge knot and @xmath1-representation of its knot group .
we give an explicit expression of the non - acyclic reidemeister torsion associated to @xmath5 knot .
this is a new example of calculation of the non - acyclic reidemeister torsion .
furthermore , we investigate where the non - acyclic reidemeister torsion associated to a @xmath3-bridge knot has critical points .
note that the non - acyclic reidemeister torsion is parametrized by the representations of a knot group .
moreover this reidemeister torsion turns into a function on the character variety of the knot group .
we will see that the critical points of the non - acyclic reidemeister torsion associated to a @xmath3-bridge knot are binary dihedral representations and these representations are related to the geometry of the character variety of a @xmath3-bridge knot group .
this paper is organized as follows . in section [ review_twisted_torsion ] ,
we review the reidemeister torsion .
in particular , we give the notion of the non - acyclic reidemeister torsion of knot exteriors @xcite .
section [ main_theorem ] includes our main theorem on a relationship between the non - acyclic reidemeister torsion and the twisted alexander invariant for knot exteriors .
we give a formula of the non - acyclic reidemeister torsion for a knot exterior by using a wirtinger presentation of a knot group .    in section [ applications ] , we apply the results of section [ main_theorem ] to study the non - acyclic reidemeister torsion for a @xmath3-bridge knot group and @xmath1-representation of its knot group .
in this paper , we use the following notations .    * @xmath6 is the field @xmath7 or @xmath8 .
* @xmath9 is the lie group @xmath1 ( resp .
@xmath10 if @xmath6 is @xmath7 ( resp .
@xmath8 ) .
the symbol @xmath11 denotes the lie algebra of @xmath9 . *
@xmath12 denotes the adjoint action of @xmath9 to the lie group @xmath11 .
* @xmath13 is a product on the @xmath11 , which is defined by @xmath14 * @xmath15 denotes an @xmath16-dimensional vector space over @xmath6 . * for two ordered bases @xmath17 and @xmath18 in a vector space , we denote by @xmath19 the base - change matrix from @xmath20 to @xmath21 satisfying @xmath22 .
we write simply @xmath23 $ ] for the determinant @xmath24 of @xmath19 .
we deal with ordered bases in this paper .
we recall the definition of the torsion .
let @xmath25 be a chain complex over @xmath6 .
for each @xmath26 let @xmath27 denote the kernel of @xmath28 , @xmath29 the image of @xmath30 and @xmath31 the homology group @xmath32 .
we say that @xmath33 is _ acyclic _ if @xmath31 vanishes for every @xmath26 .
let @xmath34 be a basis of @xmath35 and @xmath36 be the collection @xmath37 .
we call the pair @xmath38 a _ based chain complex _ , @xmath36 the preferred basis of @xmath33 and @xmath34 the preferred basis of @xmath35 .
let @xmath39 be a basis of @xmath31 .
we construct another basis as follows . by the definitions of @xmath27 , @xmath29 and @xmath31 ,
the following two split exact sequences exist .
@xmath40 @xmath41 let @xmath42 be a lift of @xmath43 to @xmath35 and @xmath44 a lift of @xmath31 to @xmath27 .
then we can decompose @xmath35 as follows .
@xmath45 we choose @xmath46 a basis of @xmath29 .
we write @xmath47 for a lift of @xmath46 and @xmath48 for a lift of @xmath39 . by the construction ,
the set @xmath49 forms another ordered basis of @xmath35 .
we denote simply this new basis by @xmath50 .
then the definition of @xmath51 is as follows .
@xmath52^{(-1)^{i+1 } } \in { { \mathbb f}}^*.\ ] ] it is well known that @xmath51 is independent of the choices of @xmath53 , the lifts @xmath54 and @xmath55 .
we also define the torsion @xmath56 with the sign term @xmath57 as follows @xcite @xmath58 here @xmath59 where @xmath60 and @xmath61 .
let @xmath62 be a finite connected cw - complex and @xmath63 its universal covering with the induced cw - structure .
since the fundamental group @xmath64 acts on @xmath63 by the covering transformation , the chain complex @xmath65 has a natural structure of a left @xmath66$]-module .
we denote by @xmath67 a homomorphism from @xmath64 to @xmath9 .
we regard the lie group @xmath68 as a right @xmath66$]-module by @xmath69 .
we use the notation @xmath70 for @xmath11 with the right @xmath66$]-module structure .
following @xcite , we introduce the following notations . set @xmath71 where @xmath72 is @xmath73 and @xmath74 is a surjective homomorphism from @xmath64 to the multiplicative group @xmath75 . note that @xmath76 .
we call @xmath77 _ the @xmath70-twisted chain complex _ and @xmath78 _ the @xmath79-twisted chain complex _ of @xmath62 .
we also denote by @xmath80 the @xmath6-module consisting of the @xmath64-equivalent homomorphisms from @xmath81 to @xmath11 , i.e. , a homomorphism @xmath82 satisfies @xmath83 for @xmath84 .
we call @xmath80 _ the @xmath70-twisted cochain complex _ of @xmath62 .
@xmath85 and @xmath86 denote the homology and cohomology groups of the @xmath70-twisted chain and cochain complexes .
we keep the notation of the previous subsection .
let @xmath87 be the set of @xmath26-dimensional cells of @xmath62 .
we take a lift @xmath88 of the cell @xmath89 in @xmath63 .
then , for each @xmath26 , @xmath90 is a basis of the @xmath66$]-module @xmath91 .
let @xmath92 be a basis of @xmath11 .
then we obtain the following basis of @xmath93 : @xmath94 when @xmath95 is a basis of @xmath96 , we denote by @xmath97 the basis @xmath98 of @xmath99 .
then @xmath100 is well defined . furthermore adding a sign - refinement term into @xmath101
, we define _ the reidemeister torsion _ of @xmath102 as a vector in some @xmath103-dimensional vector space as follows .
let @xmath104 be the basis over @xmath7 of @xmath105 .
choose an orientation @xmath106 of the real vector space @xmath107 and provide @xmath108 with a basis @xmath109 such that each @xmath39 is a basis of @xmath110 and the orientation determined by @xmath111 agrees with @xmath106 . let @xmath112 be either @xmath113 or @xmath114 according to the sign of @xmath115 .
then we define the reidemeister torsion @xmath116 by @xmath117 where @xmath118 and @xmath119 here @xmath120 means the dual space of a vector space @xmath15 and the dual basis of @xmath118 is @xmath121 where @xmath122 is the dual element of @xmath123 .
we made some choices in the definition of @xmath116 .
however the following well - definedness is known @xcite :    * the sign of @xmath116 is determined by the homology orientation @xmath106 i.e. , if we choose the other homology orientation , then the sign of @xmath116 changes ; * @xmath116 does not depend on the choice of the lift @xmath124 for each cell @xmath89 ; * @xmath116 does not depend on the choice of the basis @xmath97 in @xmath125 .
we also have the following well - definedness .
if the euler characteristic of @xmath62 is equal to zero , then @xmath116 does not depend on the choice of the basis of @xmath11 .
this follows from the definition .
similarly we define the reidemeister torsion of the twisted @xmath79-chain complex .
we define @xmath126 by @xmath127    @xmath126 has the indeterminacy of @xmath128 where @xmath129 .
this indeterminacy is caused by the choice of the lifts @xmath130 and the action of @xmath74 .
it is also known that the sign refined torsion @xmath131 has the invariance under simple homotopy equivalences , and that it satisfies the following _ multiplicativity property_. suppose we have the following exact sequence of based chain complexes : @xmath132 where these chain complexes are based chain complexes which consist of vector spaces with bases . here
we denote bases of @xmath133 by @xmath134 and a lift of @xmath135 to @xmath33 by @xmath136 . for each @xmath26 ,
fix the volume forms on @xmath137 by using given bases and choose volume forms on @xmath138 and @xmath139 .
there exists the long exact sequence in homology associated to the short exact sequence @xmath140 : @xmath141 we denote by @xmath142 this acyclic complex .
note that this acyclic complex is a based chain complex .
[ m_property ] we have @xmath143 where @xmath144 \in { { \mathbb z}}/2{{\mathbb z}}.\end{aligned}\ ] ]
let @xmath145 be a finitely generated group and we denote by @xmath146 the space of @xmath9-representations of @xmath145 .
we define the topology of this space by compact - open topology . here
we assume that @xmath145 has the discrete topology and the lie group @xmath9 has the usual one .
a representation @xmath147 is called _ central _ if @xmath148 .
a representation @xmath67 is called _ abelian _ if its image @xmath149 is an abelian subgroup of @xmath9 .
a representation @xmath67 is called _ reducible _ if there exists a proper non - trivial subspace @xmath150 of @xmath151 such that @xmath152 for any @xmath153 .
a representation @xmath67 is called _ irreducible _ if it is not reducible .
we denote by @xmath154 the subset of reducible representations and by @xmath155 the subset of irreducible ones .
note that all abelian representations are reducible .
the lie group @xmath9 acts on @xmath146 by conjugation .
we write @xmath156 $ ] for the conjugacy class of @xmath157 , and we denote by @xmath158 the quotient space @xmath159 .
if @xmath9 is @xmath1 , then one can see that the reducible representations are exactly abelian ones .
note that this does not hold for the case of @xmath2-representations .
the action by conjugation of @xmath1 on @xmath160 factors through @xmath161 .
this action is free on the @xmath162 .
we set @xmath163 .
if @xmath9 is @xmath2 , then the quotient space @xmath164 is not hausdorff in general .
following @xcite , we will focus on the _ character variety _ @xmath165 which is the set of @xmath166 of @xmath145 .
associated to the representation @xmath167 , its character @xmath168 , defined by @xmath169 . in some sense
, @xmath170 is the `` algebro quotient '' of @xmath171 by @xmath172 .
it is well known that @xmath171 and @xmath173 have the structure of complex algebraic affine sets and two irreducible representations of @xmath145 in @xmath2 with the same character are conjugate by an element of @xmath2 .
( for the details , see @xcite . )      in this subsection , we recall @xmath0-regular representations and how to construct distinguished bases of @xmath70-twisted homology groups of knot exteriors for a @xmath0-regular representation @xmath67 .
these definitions have originally been given in @xcite .
the original definitions are written in terms of the @xmath70-twisted cohomology group .
we introduce the homology version by using the duality between the twisted homology and cohomology associated to _ the kronecker pairing _
@xmath174 @xcite .
let @xmath175 be a knot in a homology three sphere @xmath176 .
we give a knot exterior @xmath177 the canonical homology orientation defined as follows .
it is well known that the @xmath7-vector space @xmath178 has the basis @xmath179 , [ \mu]\}$ ] . here
$ ] is the homology class of a point and @xmath181 $ ] is the homology class of a meridian of @xmath175 .
we denote by @xmath106 the orientation induced by @xmath182 , [ \mu]\}$ ] .
we calculate the twisted homology groups of a circle and a @xmath3-dimensional torus before giving the definition of a natural basis of @xmath183 . here
@xmath184 consists of one @xmath185-cell @xmath186 and one @xmath103-cell @xmath187 .
[ lemma : homology_circle ] suppose that @xmath9 is @xmath1 . if @xmath188 is central , then @xmath189 .
if @xmath67 is non - central , then we have @xmath190 , \,and \\ h_0(s^1 ; { \mathfrak{g}_\rho } ) & = { { \mathbb r}}[p_{\rho }   \otimes \tilde e^{(0)}]\end{aligned}\ ] ] where @xmath191 is a vector in @xmath11 , which satisfies that @xmath192 for any @xmath193 .
suppose that @xmath9 is @xmath2 .
if @xmath188 is central , then @xmath194 . if @xmath67 is non - central and @xmath195 has no parabolic elements , then we have @xmath196 , \,and\\   h_0(s^1 ; { \mathfrak{g}_\rho})&={{\mathbb c}}[p_{\rho } \otimes \tilde e^{(0 ) } ]   \end{aligned}\ ] ] where @xmath191 is a vector in @xmath11 , which satisfies that @xmath192 for any @xmath193
. if @xmath67 is non - central and the subgroup @xmath195 is contained in a subgroup which consists of parabolic elements , then we have @xmath197.\ ] ]    this is a consequence of the following fact of homology of groups . for @xmath198 , it follows that @xmath199 and @xmath200 where @xmath9 is a group , @xmath201 is a @xmath201-module , @xmath202 is the group of invariants of @xmath201 and @xmath203 is the group of co - invariants of @xmath201 ( for the details , see @xcite ) .
we denote by @xmath204 a @xmath3-dimensional torus . here
@xmath204 consists of one @xmath185-cell @xmath186 , two @xmath103-cells @xmath205 and one @xmath3-cell @xmath206 .
we denote each cell @xmath207 and @xmath206 by @xmath208 and @xmath204 .
one can also calculate the @xmath70-twisted homology groups of @xmath209 as follows .
[ lem : homology_torus ] suppose that @xmath9 is @xmath1 .
if @xmath210 is central , then @xmath211 . if @xmath210 is non - central , then we have @xmath212 , \\ h_1(t^2 ; { \mathfrak{g}_\rho } ) & = { { \mathbb r}}[\ , p_{\rho } \otimes \tilde \mu\ , ] \oplus     { { \mathbb r}}[\ , p_{\rho } \otimes \tilde \lambda\,],\\ h_0(t^2 ; { \mathfrak{g}_\rho } ) & = { { \mathbb r}}[\,p_{\rho } \otimes \widetilde pt\,]\end{aligned}\ ] ] where @xmath191 is a vector of @xmath11 such that @xmath213 for any @xmath214 .
suppose that @xmath9 is @xmath2 .
if @xmath210 is central , then @xmath215 . if @xmath210 is non - central and @xmath216 contains a non - parabolic element , then we have @xmath217,\\ h_1(t^2 ; { \mathfrak{g}_\rho } ) & = { { \mathbb c}}[\ , p_{\rho } \otimes \tilde \mu\ , ] \oplus     { { \mathbb c}}[\ , p_{\rho } \otimes \tilde \lambda \,],\\ h_0(t^2 ; { \mathfrak{g}_\rho } ) & = { { \mathbb c}}[\ , p_{\rho } \otimes \widetilde pt \ , ] \end{aligned}\ ] ] where @xmath191 is a vector of @xmath11 such that @xmath213 for any @xmath214 .
if @xmath210 is non - central and the subgroup @xmath216 is contained in a subgroup which consists of parabolic elements , then we have @xmath218\ ] ] and @xmath219 $ ] is a non - zero class in @xmath220 .
this is a consequence of ( * ? ? ?
* proposition 3.18 ) .
next we give the definition of regular representations for @xmath221 in terms of the twisted @xmath70-chain complex .
we say that @xmath67 is _ regular _ if @xmath67 is irreducible and @xmath222 .
we let @xmath223 be a simple closed curve in @xmath224 .
we say that @xmath67 is _ @xmath223-regular _ if :    * @xmath67 is regular ; * an inclusion @xmath225 induces the surjective homomorphism @xmath226 * if @xmath227 , then @xmath228 .
we fix an invariant vector @xmath229 as above .
let @xmath223 be a simple closed curve in @xmath224 .
an inclusion @xmath230 and the the kronecker pairing between homology and cohomology induce the linear form @xmath231 . by lemma [ lemma : homology_circle ] , it is explicitly described by @xmath232 ) , v ) = ( p_{\rho } , v(\tilde \gamma))_{{\mathfrak{g } } }   \quad   \text{for any}\,\ ,   v \in h^1(m_k ; { \mathfrak{g}_\rho}).\ ] ] an alternative formulation of @xmath223-regular representations is given in @xcite .
similarly , we can also give the following alternative formulation of the @xmath223-regularity in our conventions .
[ check_gamma_regular ] a representation @xmath233 is @xmath223-regular if and only if the linear form @xmath234 is an isomorphism .
if @xmath235 is an isomorphism , then we have that @xmath236 and @xmath237)$ ] is a non - zero class in @xmath220 .
it follows from the kronecker pairing between the @xmath70-twisted homology and cohomology that @xmath238 is also one .
hence @xmath239 is surjective .
if @xmath67 is @xmath223-regular , then we have that @xmath240 and @xmath241 is surjective .
we denote a generator of @xmath220 by @xmath242 .
there exists an element @xmath243 $ ] of @xmath244 such that @xmath245)=\sigma$ ] .
if @xmath246 is central , then @xmath247 satisfies that @xmath248 for any @xmath249 .
therefore @xmath250)$ ] induces the isomorphism @xmath235 .
suppose that @xmath246 is non - central , then @xmath244 is generated by @xmath251 $ ] .
there exists an element @xmath252 such that @xmath243 = c [ p_{\rho } \otimes \tilde \gamma]$ ] .
hence @xmath237)$ ] is a non - zero class in @xmath220 .
therefore @xmath237)$ ] induces the isomorphism @xmath235 .
we define a reference generator of @xmath220 by using the above isomorphism @xmath235 .
let @xmath67 be a @xmath0-regular representation of @xmath221 .
by lemma [ lem : homology_torus ] , the reference generator of @xmath220 is defined by @xmath253).\ ] ]    moreover the reference generator of @xmath254 is defined as follows .
let @xmath255 be an inclusion map .
if @xmath256 is @xmath223-regular , then we have the isomorphism @xmath257 .    using this isomorphism @xmath258
, we define the reference generator of @xmath254 by @xmath259).\ ] ]    the reference generators of @xmath260 and @xmath261 have been defined in @xcite by using another metric of @xmath11 .
if we define reference generators of @xmath260 and @xmath261 by using our metric @xmath262 , then the resulting generators become the dual bases of @xmath263 and @xmath264 from the above propositions .
( for the details , see @xcite . )
we recall the definition of _ the twisted reidemeister torsion _ for knot exteriors .
let @xmath265 be a @xmath0-regular representation .
we define @xmath266 by the coefficient of the reidemeister torsion @xmath267 where we choose the reference generators @xmath268 as a basis of @xmath269 , i.e. , @xmath270 is given explicitly by @xmath271    given the reference generator of @xmath183 , the basis of the determinant line @xmath272 is also given .
this means that a trivialization of the line bundle @xmath272 at @xmath67 is given .
the reidemeister torsion @xmath267 is a section of the line bundle @xmath272 .
we can regard @xmath273 as a section of the line bundle @xmath272 over @xmath0-regular representations with respect to the trivialization by @xmath274 .
we also call @xmath270 _ the twisted reidemeister torsion_.
our purpose is to express the twisted reidemeister torsion by using a limit of the acyclic reidemeister torsion .
let @xmath175 be a knot in a homology three sphere @xmath176 and @xmath177 its exterior .
one of the invariants which we will investigate is the twisted reidemeister torsion @xmath275 .
the other is the acyclic reidemeister torsion @xmath276 .
this invariant coincides with the twisted alexander invariant of @xmath221 @xcite .
the twisted alexander invariant is computed by using the fox calculus @xcite .
we prove that the twisted reidemeister torsion may be expressed as the differential coefficient of the twisted alexander invariant of @xmath221 .
the invariant @xmath276 is only defined when the local system @xmath277 is acyclic . on the other hand ,
the twisted reidemeister torsion @xmath275 is defined on the set of @xmath0-regular representations of @xmath221 .
we need to check whether the local system @xmath277 is acyclic for a @xmath0-regular representation @xmath67 .
[ propositiona ] let @xmath67 be an @xmath1 or @xmath2-representation of a knot group
. if @xmath67 is @xmath0-regular , then the twisted chain complex @xmath278 is acyclic
.    note that for a knot exterior in a homology @xmath279-sphere , the homomorphism @xmath74 satisfies @xmath280 where @xmath281 is the meridian of the knot .
therefore @xmath275 and @xmath276 are well defined on @xmath0-regular representations . by the definitions ,
the twisted reidemeister torsion @xmath275 is an element of @xmath282 and the twisted alexander invariant @xmath276 is an element of @xmath283 .
actually the following relation between @xmath284 and the rational function @xmath285 .
[ thm : main_theorem ] if @xmath67 is a @xmath0-regular representation , then the acyclic reidemeister torsion @xmath286 for @xmath67 has a simple zero at @xmath287 .
moreover the following holds : @xmath288    this says that we can compute the twisted reidemeister torsion @xmath275 algebraically by using fox calculus of the twisted alexander invariant of @xmath175 .
we prove proposition [ propositiona ] by using the @xmath0-regularity of @xmath67 .
it is well known that any compact connected triangulated @xmath279-manifold whose boundary is non - empty and consists of tori can be collapsed into a @xmath3-dimensional sub - complex ( see ii .
cor . 11.9 in @xcite ) .
moreover , by the simple - homotopy extension theorem , every cw - complex has the simple - homotopy type of a cw - complex which has only one vertex .
we denote this @xmath3-dimensional cw - complex by @xmath62 and this deformation from @xmath177 to @xmath62 by @xmath289 .
since two @xmath79-twisted homology groups @xmath290 and @xmath291 are isomorphic , we prove that @xmath292 vanishes in the following .
the fact that @xmath293 is proved in ( * ? ? ?
* proposition 3.5 ) .
since the euler characteristic of @xmath62 is zero , the dimension of @xmath294 is equal to that of @xmath295 .
we must prove that the dimension of @xmath296 over @xmath297 is zero .
it is enough to prove that the rank over @xmath298 $ ] of the second homology group of the following local system is zero : @xmath299 )     =     { \mathfrak{g}}[t , t^{-1 } ] \otimes_{\alpha \otimes ad \circ \rho } c_*(\tilde w;{{\mathbb z}})\ ] ] where @xmath300 $ ] is @xmath298 \otimes { \mathfrak{g}}$ ] .
we denote the homology group of this chain complex by @xmath301)$ ] .
suppose that the rank of @xmath302 ) > 0 $ ] .
there exists the long exact homology sequence @xcite : @xmath303 )     \xrightarrow{(t-1)\cdot } h_2(w;{\mathfrak{g}_\rho}[t , t^{-1 } ] )    \xrightarrow{t=1 } h_2(w;{\mathfrak{g}_\rho } )    \xrightarrow{\delta } h_1(w;{\mathfrak{g}_\rho}[t , t^{-1 } ] )    \to \cdots\ ] ] associated to the short exact sequence : @xmath304      \xrightarrow{(t-1)\cdot } { \mathfrak{g}}[t , t^{-1 } ]     \xrightarrow{t=1 } { \mathfrak{g}}\to 0.\ ] ] since the rank of @xmath305)$ ] is not zero , the multiplication with @xmath306 is not surjective
. hence the image of the evaluation map @xmath307 is not trivial and therefore surjective since the dimension of @xmath308 is only one .
this implies that @xmath309 is trivial . on the other hand
the equation @xmath310 implies that @xmath311 )   = [ 1\otimes p_{\rho } \otimes \widetilde{\varphi(\lambda)}]$ ] .
but @xmath312 $ ] can not be trivial since it is mapped under the evaluation map @xmath307 to @xmath313 $ ] and the chain @xmath314 represents a non - zero homology class in @xmath315 .
this is a contradiction .
therefore the rank of @xmath316)$ ] over @xmath298 $ ] is zero .
hence we have that @xmath317 .
also @xmath318 is zero .      at first , we prepare some notations and an algebraic proposition .
let @xmath33 is an @xmath16-dimensional chain complex which consists of left @xmath9-modules @xmath319 where @xmath9 is a group .
we denote by @xmath320 the chain complex which consists of the vector spaces @xmath321 where @xmath15 is a right @xmath9-vector space over @xmath6 and @xmath67 is a homomorphism from @xmath9 to @xmath322 . let @xmath323 be the homology groups of @xmath320 , @xmath324 the subchain complex which consists of a lift of @xmath323 to @xmath320 and @xmath325 the quotient of @xmath320 by @xmath324 .
we denote by @xmath326 and @xmath135 the bases of @xmath327 and @xmath325 .
note that @xmath328 is a lift of @xmath329 to @xmath320 .
if there exists a homomorphism @xmath74 from @xmath9 to the multiplicative group @xmath75 , we denote by @xmath330 which consists of vector spaces @xmath331 . here
we denote @xmath332 by @xmath333 .
moreover let @xmath334 be the subchain complex which is given by extending the coefficients of @xmath324 to @xmath297 by using @xmath74 and @xmath335 the quotient of @xmath330 by @xmath334 .
[ prop : alg_preparation ] we assume that @xmath330 and @xmath334 are acyclic .
the following relation holds : @xmath336 where @xmath136 is a lift of @xmath135 to @xmath320 , @xmath337 is @xmath338 in proposition [ m_property ] , and @xmath339 is given by @xmath340 .
the chain complex @xmath335 is also acyclic from the long exact sequence of the pair @xmath341
. we can apply proposition [ m_property ] for the short exact sequence : @xmath342 then , we obtain the following equation of the torsions . @xmath343 note that @xmath344 because @xmath330 , @xmath334 and @xmath335 are acyclic .
next we consider @xmath345 .
it follows from the long exact sequence of the pair @xmath346 and the definition of @xmath324 that the chain complex @xmath325 is also acyclic . since @xmath325 is acyclic
, we can choose a basis @xmath347 of @xmath348 for each @xmath26 .
here @xmath348 is a lift of @xmath349 to @xmath350 .
[ claim : on_lift_b ] a subset @xmath351 in @xmath352 generates a subspace on which the boundary operator @xmath30 is injective .
_ proof of claim [ claim : on_lift_b ] .
_ if the determinant of the boundary operator restricted on @xmath353 is zero , then substituting @xmath103 for the parameter @xmath354 we have that the determinant of the boundary operator restricted on @xmath355 is also zero .
this is a contradiction to the choices of @xmath347 .
( claim [ claim : on_lift_b ] ) @xmath356    therefore @xmath357 is represented as @xmath358^{(-1)^{i+1}}.\ ] ] we denote by @xmath47 a lift @xmath351 to @xmath330 simply .
note that @xmath359^{(-1)^{i+1 } } } & \\ & =    \prod_{i=0}^n    \left [      ( 1 \otimes c'^i ) \ , \partial_{i+1 } ( \tilde b^i ) \ , \tilde b^{i-1 }       /   1 \otimes c'^i \cup 1 \otimes \bar c''^i    \right]^{(-1)^{i+1}}.\end{aligned}\ ] ]    we substitute these results into the equation ( [ eqn : result_m_property ] ) then we have @xmath360^{(-1)^{i+1 } } \nonumber\\ & =    \prod_{i=0}^n    ( -1)^{\dim_{{{\mathbb f } } } b''_i \cdot \dim_{{{\mathbb f}}}h_i(v ) }    \left [      \partial_{i+1 } ( \tilde b^i)\ , ( 1 \otimes c'^i ) \ , \tilde b^{i-1 }        / 1 \otimes c'^i \cup 1 \otimes \bar c''^i    \right]^{(-1)^{i+1}}. \label{eqn : ratio_torsion}\end{aligned}\ ] ] the acyclicity of @xmath325 shows that @xmath361 substituting @xmath103 for @xmath354 , the right hand side ( [ eqn : ratio_torsion ] ) turns into @xmath362^{(-1)^{i+1}}.\ ] ] this is equal to @xmath363 .
although the left hand side is determined up to a factor @xmath364 , the limit at @xmath287 is determined because the factor @xmath128 does not affect taking a limit at @xmath287
.    we can prove theorem [ thm : main_theorem ] as an application of proposition [ prop : alg_preparation ] .
as in the proof of proposition [ propositiona ] , let @xmath62 be a @xmath3-dimensional cw - complex with a single vertex which has the same simple - homotopy type as @xmath177 . we denote the deformation from @xmath177 to @xmath62 by @xmath289 .
the compact @xmath279-manifold @xmath177 is simple homotopy equivalent to @xmath62 .
it is enough to prove the theorem for @xmath62 because of the invariance of the simple homotopy equivalence for the reidemeister torsion .
let @xmath67 be a @xmath0-regular representation of @xmath221 .
we denote by the same symbols @xmath67 and @xmath106 the representation of @xmath64 and the homology orientation of @xmath108 induced from that of @xmath177 under the map @xmath289 .
we define the subchain complex @xmath365 of the @xmath70-twisted chain complex @xmath77 by @xmath366 and @xmath367 where @xmath191 is an invariant vector of @xmath11 such that @xmath368 for any @xmath369 .
the modules of this subchain complex are lifts of homology groups @xmath99 . by the definition ,
the boundary operators of @xmath365 are zero homomorphisms .
let @xmath370 be the quotient of @xmath77 by @xmath365 .
similarly , we define the subcomplex @xmath371 of @xmath78 to be @xmath372 and @xmath373 for @xmath374 .
the boundary operators of @xmath371 is given by @xmath375 this shows that the subchain complex @xmath376 is acyclic . by proposition [ propositiona ] , the @xmath79-twisted chain complex
@xmath277 is also acyclic .
the twisted chain complex @xmath365 has the natural basis : @xmath377 let @xmath135 be a basis of @xmath370 and @xmath136 a lift of @xmath135 to @xmath77 . applying proposition [ prop : alg_preparation ] , we have @xmath378    [ claim : proof_main_thm ]    1 .
2 .   @xmath380 .
3 .   @xmath381 .
_ proof of claim [ claim : proof_main_thm ] .
_ @xmath382 it follows by the definition .
@xmath383 if we denote the number of @xmath103-cells of @xmath62 by @xmath384 , the cw - complex @xmath62 has one @xmath185-cell , @xmath384 @xmath103-cells and @xmath385 @xmath3-cells .
we have @xmath386 .
@xmath387 this follows from @xmath388 and @xmath389 .
( claim [ claim : proof_main_thm])@xmath356    the equation ( [ eqn : alg_prop_w ] ) turns into @xmath390 multiplying the both sides by the alternative products of the determinants of the base - change matrices @xmath391^{(-1)^{i+1}},\ ] ] we obtain the following equation : @xmath392 finally multiplying the both sides by the sign @xmath112 gives @xmath393    summarizing the above calculation , we have shown that the rational function @xmath276 has a simple zero at @xmath287 and its differential coefficient at @xmath287 agrees with minus the twisted reidemeister torsion @xmath394 .
let @xmath175 be a knot in @xmath396 and @xmath397 its exterior .
we assume that @xmath398 is @xmath0-regular .
from theorem [ thm : main_theorem ] we can describe @xmath394 by using the differential coefficient of @xmath399 .
we will describe the differential coefficient of @xmath399 more explicitly by using a wirtinger representation of @xmath400 .    for a wirtinger representation : @xmath401 we obtain a @xmath3-dimensional cw - complex @xmath62 which consists of one @xmath185-cell @xmath402 , @xmath384 @xmath103-cells @xmath403 and @xmath385 @xmath3-cells @xmath404 attached by the relation @xmath405 .
this cw - complex @xmath62 is simple homotopy equivalent to @xmath397 .
let @xmath406 such that @xmath280 .
here @xmath281 is a meridian of @xmath175 .
note that for all @xmath26 , @xmath407 is equal to @xmath354 in @xmath408 .
the following calculation is due to the result of @xcite .
this chain complex @xmath78 is as follows : @xmath409 where @xmath410 here we briefly denote the @xmath411-times direct sum of @xmath72 by @xmath412 .
we denote by @xmath413 @xmath414 matrix : @xmath415 under this situation , the twisted alexander invariant @xmath126 is given by @xmath416 up to a factor @xmath417 .
if @xmath418 is conjugate to the upper triangulate matrix @xmath419 then @xmath420 is conjugate to the upper triangulate matrix @xmath421 calculating @xmath422 , we have that @xmath423 since @xmath399 has zero at @xmath287 , @xmath424    if @xmath425 , then we have @xmath426    the function @xmath399 has a simple zero at @xmath287 and the numerator @xmath427 is an element of @xmath298 $ ] .
hence @xmath428 divides @xmath427 .
we write @xmath429 for @xmath427
. then the left hand side turns into @xmath430 , i.e. , @xmath431 . on the other hand ,
the right hand side becomes as follows .
@xmath432_{t=1 } \\ & = \tau_0 f(1).\end{aligned}\ ] ]    the numerator @xmath427 is called _ the first homology torsion _ of @xmath433 @xcite .
we denote the first homology torsion by @xmath434 . by the above calculations , we obtain the following description of @xmath435 .    [ another_form_torsion ]
if @xmath436 , then we have the following expression .
@xmath437    if @xmath9 is @xmath1 and @xmath67 is @xmath0-regular , then @xmath438 .
we use a wirtinger representation of @xmath400 to describe @xmath399 in the above calculation .
the twisted alexander invariant @xmath399 does not depend on the representation of @xmath400 @xcite .
since @xmath399 is determined by the finite presentable group @xmath400 and @xmath439 , we do not necessarily need to use a wirtinger representation on calculating @xmath399 .
in this section , we deal with a @xmath3-bridge knot @xmath175 in @xmath396 and @xmath1-representations of its knot group . in this case
@xmath440 is irreducible if and only if @xmath441 is a non - abelian subgroup of @xmath1 .
we will show the explicit calculation of @xmath1-twisted reidemeister torsion associated to @xmath5 knot and study the critical points of the twisted reidemeister torsion @xmath275 .
if @xmath175 is hyperbolic and @xmath9 is @xmath2 , then some features of @xmath442 , given in this section , have appeared in ( * ? ? ?
* section 4.3 ) .
it is well known that @xmath400 has the representation : @xmath443 where @xmath444 is a word in @xmath445 and @xmath446 . here
@xmath445 and @xmath446 represent the meridian of the knot .
the method we use to describe the space of @xmath2 and @xmath1-representations is due to r. riley(@xcite ) .
he shows how to parametrize conjugacy classes of irreducible @xmath2 and @xmath1-representations of any @xmath3-bridge knot group .
we review his method ( @xcite ) .    given @xmath447
, we consider the assignment as follows : @xmath448 let @xmath62 be the matrix obtained by replacing @xmath445 and @xmath446 by the above two matrices in the word @xmath444 .
this assignment defines a @xmath449-representation if and only if @xmath450 where @xmath451 .
one can obtain an @xmath2-representation from this @xmath449-representation by dividing the above two matrices by some square root of @xmath452 .
if we give a path @xmath453 in @xmath151 with @xmath454 and some continuous branch of the square root along @xmath455 , then we obtain a path of @xmath2-representations .
furthermore , all conjugacy classes of non - abelian @xmath2-representations arise in this way .    according to proposition @xmath456 of riley s paper @xcite
, a pair @xmath457 with @xmath450 corresponds to an @xmath1-representation if and only if @xmath458 , and @xmath459 is real number which lies in the interval @xmath460 = [ 2\cos \theta -2 , 0]$ ] where @xmath461 .
this correspondence means that the @xmath2-representation resulting from such a pair @xmath457 and some square root of @xmath452 is conjugate to an @xmath1-representation in @xmath2 .
we take the ordered basis @xmath462 of @xmath463 as follows .
@xmath464 the lie algebra @xmath465 is a subspace of @xmath463 .
the vectors @xmath462 also form a basis of @xmath465 .
since the euler characteristic of @xmath397 is zero , the non - abelian reidemeister torsion @xmath466 does not depend on a choice of a basis of @xmath465 .
we can use @xmath462 as an ordered basis of @xmath465 .
we denote by @xmath467 the representation corresponding to the pair @xmath468 .
the representation matrices of @xmath469 and @xmath470 for this ordered basis are given as follows .
[ rep_matrix_adjoint ] @xmath471    note that even if we choose another square root of @xmath452 , we obtain the same representation matrices of the adjoint actions of @xmath472 and @xmath473 .
we consider @xmath5 knot in the knot table of rolfsen @xcite .
note that this knot is not fibered , since its alexander polynomial is not monic .
this is the simplest example such as non - fibered in @xmath3-bridge knots .
let @xmath175 be @xmath5 knot .
a diagram of @xmath175 is shown as in figure [ diagram_5_2 ] .     knot . ]    this knot is also called @xmath279-twist knot .
it follows from theorem @xmath279 of @xcite that @xmath474 consists of one circle and one open arc .
the knot group @xmath475 has the following representation : @xmath476 where @xmath477 from this representation , the riley s polynomial of @xmath5 is given by @xmath478 we may take riley s polynomial @xmath479 as @xmath480 we want to know pairs @xmath457 such that @xmath481 , @xmath459 is a real number in the interval @xmath482 $ ] and @xmath450 .
when we regard @xmath450 as the equation of @xmath459 , the relation between the number of solutions of @xmath450 and @xmath452 is as follows .    * if @xmath483 , then @xmath450 has three different simple root in @xmath484 $ ] . * if @xmath485 , then @xmath450 has a simple root and a multiple root in @xmath484 $ ] . * if @xmath486 , then @xmath450 has a simple root in @xmath484 $ ] .
the figure of @xmath474 is given as in figure [ fig : su2_rep_5_2 ] .     where @xmath175 is @xmath5 knot .
]    we denote the @xmath1-representation corresponding to @xmath457 by @xmath487
. then we can express @xmath488 from proposition [ another_form_torsion ] as follows .
@xmath489    using a computer , we calculate a half of the differential coefficient of the second order of the numerator and simplify with the equation @xmath450 . then we have @xmath490 therefore we have @xmath491 where @xmath492 satisfies @xmath493 .      from the example in the previous subsection
, one can guess that the @xmath1-twisted reidemeister torsion @xmath395 associated to a @xmath3-bridge knot @xmath175 is a function for the parameter @xmath494 .
indeed the following holds .
[ prop : parameter_torsion ] let @xmath175 be a @xmath3-bridge knot and @xmath223 a simple closed curve in the boundary torus of @xmath397 .
suppose that @xmath223-regular @xmath1-representations are parametrized by @xmath495 of riley s method .
if the trace of the meridian , @xmath496 , gives a local parameter of the @xmath1-character variety , then the twisted reidemeister torsion @xmath497 is a smooth function for @xmath498 .
if we denote by @xmath487 a @xmath223-regular representation corresponding to @xmath499 , then there exists some homomorphism @xmath500 such that @xmath501 is a @xmath223-regular representation corresponding to @xmath502 . by the construction of @xmath503 , @xmath504 is equal to @xmath505 .
since @xmath496 is a square root of @xmath506 and regular representations are irreducible , the twisted reidemeister torsion @xmath507 is a smooth function for @xmath494 .
[ cor : parameter_torsion ] if the trace of the meridian gives a local parameter of the @xmath1-character variety and the twisted reidemeister torsion @xmath275 is defined , then @xmath275 is a smooth function for @xmath498 .
[ rem : parameter_dihedral ] all representations @xmath67 of @xmath3-bridge knot groups into @xmath1 such that @xmath508 are binary dihedral representations .
it follows from @xcite that there exists a neighbourhood of the character of each binary dihedral representation for any @xmath3-bridge knot , which is diffeomorphic to an open interval . from @xcite , the trace of the meridian gives a local parameter on a neighbourhood of the character of each dihedral representation for @xmath3-bridge knots .
we can regard the twisted reidemeister torsion @xmath270 as a smooth function on a neighbourhood of the character of each binary dihedral representation .
moreover these characters can be critical points of @xmath270 as follows .
[ critical_pt_torsion ] let @xmath175 be a @xmath3-bridge knot .
if a @xmath0-regular component of the @xmath1-character variety of @xmath400 contains the characters of dihedral representations , then the function @xmath270 has a critical point at the character of each dihedral representation .    by corollary
[ cor : parameter_torsion ] and remark [ rem : parameter_dihedral ] , the twisted reidemeister torsion @xmath270 is a smooth function for @xmath494 .
when we substitute @xmath509 for @xmath452 , we can describe @xmath466 as @xmath510 where @xmath511 is a smooth function for @xmath512 .
this is a description of @xmath270 with respect to the local coordinate @xmath513 of @xmath474 .
the derivation of this function for @xmath513 becomes @xmath514 we recall that @xmath515 . if @xmath516 , then @xmath517 .
hence the derivation of @xmath270 vanishes if @xmath67 satisfies @xmath518 .    from @xcite , for @xmath3-bridge knots ,
the character of a binary dihedral representation is a branch point of the two - fold branched cover from the @xmath1-character variety to the @xmath519-character variety .
moreover , every algebraic component of the @xmath1-character variety contains the character of such a representation .    by (
* theorem 10 ) , for a knot @xmath175 , the number of conjugacy class of binary dihedral representations is given by @xmath520 where @xmath521 is the alexander polynomial of @xmath175 .
in particular , for a @xmath3-bridge knot @xmath522 ( schubert s notation , see for example @xcite ) , this number is given by @xmath523 .
the author would like to express sincere gratitude to mikio furuta for his suggestions and helpful discussions .
he is thankful to hiroshi goda , takayuki morifuji , teruaki kitano for helpful suggestions .
especially the author gratefully acknowledges the many helpful suggestions of hiroshi goda during the preparation of the paper .
our main theorem was written as the statement for knots in @xmath396 at first .
jrme dubois pointed out that our main theorem can hold for knots in homology three spheres .
the author is thankful to jrme dubois for his pointing out .
he also would like to thank the referee for his / her careful reading and appropriate advices .
he / she has given suggestions to improve the proofs of proposition [ propositiona ] and proposition [ prop : parameter_torsion ] .
he / she also suggested the fact that critical points of reidemeister torsion are related to the dihedral representations .
99 k. s. brown , , graduate texts in mathematics 87 springer - verlag , new york ( 1994 ) x+306 pp .
g. burde , , math
. ann . 288
( 1990 ) 103119 . and h. zieschang , , de gruyter studies in mathematics 5 walter de gruyter ( 2003 ) xii+559 pp . j. dubois , , ann . inst
. fourier ( grenoble ) 55 ( 2005 ) 16851734 .
, , canad .
math . bull .
49 ( 2006 ) 5571 . and r. kashaev , , to appear in math .
, arxiv : math.gt/0510607 . m. heusener and e. klassen , , proc .
( 1997 ) 30393047 .
p. kirk and e. klassen , , math .
( 1990 ) 343367 .
p. kirk and c. livingston , , topology 38 ( 1999 ) 635661 .
t. kitano , , pacific j. math .
174 ( 1996 ) 431442 .
e. klassen , , trans .
( 1991 ) 795828 .
j. milnor , , bull .
72 ( 1966 ) 358426 .
, , conference on the topology of manifolds @xmath524michigan state univ .
1967@xmath525 prindle weber & schmidt boston , mass .
( 1968 ) 115133
. j. w. morgan and p. b. shalen , , ann . of math .
( 2 ) 120 ( 1984 ) 401476 .
j. porti , , mem .
amer . math .
128 ( 612 ) ( 1997 ) x+139 pp .
r. riley , , quart .
oxford ser .
( 2 ) 35 ( 1984 ) 191208 .
d. rolfsen , , mathematics lecture series 7 publish or perish inc .
houston , tx ( 1990 ) xiv+439 pp .
e. h. spanier , , springer - verlag , new york - berlin ( 1981 ) xvi+528 pp .
v. turaev , , lectures in mathematics eth zrich birkhuser verlag , basel ( 2001 ) viii+123 pp . , , progress in mathematics 208 birkhuser verlag , basel ( 2002 ) x+196 pp .
m. wada , , topology 33 ( 1994 ) 241256
. y. yamaguchi , , arxiv : math.gt/0512277 .


deformations of the bosonic heisenberg algebra by parameters have known successful achievements in mathematical physics @xcite-@xcite and in nonlinear physics ( e.g. nonlinear quantum optics ) @xcite-@xcite .
one of the simplest deformation of the bosonic algebra , a one parameter @xmath0-deformation , was introduced by arik and coon @xcite and is defined by @xmath10 clearly , one recovers the ordinary fock algebra of the harmonic oscillator at the limit @xmath11 , with then @xmath12=\mathbb{i}$ ] .
the most of studies pertaining to such deformations are made with the parameter @xmath130,1]$ ] .
however , in @xcite , a study was performed even for complex values of @xmath0 . concerning the issue of convergence , infinite products and deformed exponential series
require at least that the modulus @xmath14 .
this leads to the consideration that @xmath15 , with @xmath16 the unit complex disc but the zero . keeping in mind these last remarks
, nothing prevents to perform the following limit @xmath17 reminiscent of a fermionic algebra @xcite-@xcite .
it then raises many natural questions .
is it possible to understand the generators associated to this limit as fermions ?
then , in the case of a positive answer , is there a mapping from the bosonic operators ( defined for @xmath18 ) to fermionic ones ( defined for @xmath19 ) , i.e. a kind of supersymmetry ?
recent years , many investigations on @xmath0-deformed algebras and supersymmetry have been undertaken dealing with @xmath0-deformed supersymmetric factorization @xcite or differential representation , intertwining properties and coherent states @xcite ( and more references therein ) .
nevertheless , as far as we can establish , none of them focuses on the complete study of the product of these deformed algebras for different parameters @xmath0 .
so doing , one will immediately generate a full deformed universal algebra of all different deformed generators acting on a unique representation hilbert space .
we propose to investigate how the notions of @xmath1 grassmann grading and supersymmetry can be extended to this multi - deformed enveloping algebra .    in this paper ,
we introduce the notion of @xmath0-deformed grading on the enveloping algebra generated by all products in different deformed heisenberg algebras .
this notion generalizes the ordinary grassmann grading and , moreover , by defining a generalized @xmath0-graded bracket , one is able to recover , in each subalgebra , the correct structure for bosonic , fermionic , @xmath1 graded and basic deformed bosonic algebras .
the extension of grassmann parity affords us to understand ordinary associative superalgebras and their @xmath1 graded structure ( the usual framework of supersymmetry ) as limit algebras when the parameter @xmath20 .
we then determine the modified supersymmetric hamiltonian and its deformed supercharges mapping some deformed fermions on deformed bosons .
the paper s outline is as follows .
the following section is dedicated to the definition and basic properties of the @xmath0-deformation of the heisenberg algebra in the sense of arik and coon , for complex parameter @xmath0 , and its representation .
the limit @xmath2 is clarified .
afterwards , section 3 addresses the algebraic settlement of the deformed structure producing the general @xmath0-deformed grading .
the particular case of ordinary grassmann parity is discussed .
section 4 investigates the extended notion of supersymmetry on the enveloping algebra .
the specific limit @xmath21 , producing a modified version of the ordinary supersymmetry , is also discussed .
the paper ends by some remarks in section 5 and an appendix provides useful identities and illustrations .
let us consider the arik and coon deformation of the heisenberg algebra @xcite @xmath22 with parameter a complex number @xmath0 .
if we regard @xmath23 as the adjoint of @xmath24 , it follows that , by hermitian conjugation of ( [ qdef0 ] ) , @xmath25 . by simple substraction of these equations , one ends with @xmath26 from the positivity of @xmath27 .
hence , @xmath0 should be a real parameter .
however , introducing a new operator @xmath28 , let us reconsider the same kind of deformed structure , namely @xmath29 and relax the previous condition of adjoint property between @xmath24 and @xmath28 . then
, nothing can be said , _ a priori _ , on the parameter @xmath0 .
we will place ourself in this general situation such that , @xmath30 , @xmath31 .
all the following main equations are again valid outside the unit disc .
only the notion of convergence of functions series and infinite products involved in deformed special function theory has to be reconsidered .
we are not dealing with these ideas here , but we want , as much as possible , to have a theory with interesting properties for the theoretician community . ] @xmath320,1],\;\ ; \varphi_q \in [ 0,2\pi[.\end{aligned}\ ] ] in order to define the power function of @xmath0 , namely @xmath33 , one uses the complex form of the exponential function @xmath34 , where @xmath35 stands for the principal branch of complex logarithm .
a realization of the algebra ( [ qdef ] ) is also well known . to construct it ,
one starts with the ordinary bosonic operators @xmath36 and @xmath37 , fulfilling @xmath12=\mathbb{i}$ ] with the number @xmath38 , generating the ordinary number operator in the fock hilbert space @xmath39
. then we define @xmath40_q}{n+1}}a|n\rangle,\quad a_q^\natural |n\rangle=\sqrt{\frac{[n]_q}{n}}a^\dagger|n\rangle,\quad   [ n]_q = \frac{1-q^n}{1-q},\end{aligned}\ ] ] where one refers to @xmath41_q$ ] as the @xmath0-basic number of the theory .
note that @xmath41_q$ ] is not necessarily self - adjoint .
indeed , @xmath42_q)^\dag=[n]_{\bar q}$ ] , which is not @xmath41_q$ ] unless @xmath0 is real .
the adjoint of the operator @xmath24 can be expressed as @xmath43_{\bar q}}{n}}a^\dagger \label{adjoi}\end{aligned}\ ] ] from which it appears possible to define naturally a self - adjoint deformed number operator as @xmath44_{\bar q}[n]_q}}$ ] . from ( [ adjoi ] ) , a relation between @xmath45 and @xmath28 can be inferred : @xmath46 we are then in position to define properly the unary operation @xmath47 which is the adjoint operation composed with the complex conjugation .
the operator @xmath48 , viewed as a matrix , can be understood as the transpose of @xmath24 .
moreover , it can be checked that @xmath49 , therefore @xmath47 is an involution ; we also have @xmath50 . for a real parameter @xmath0 ,
the definitions of @xmath23 and @xmath51 coincide .
let us briefly mention the limit @xmath52 .
the corresponding basic number @xmath41_0 $ ] proves to be the constant operator @xmath53 .
this implies that @xmath54 and @xmath55 are mutually inverse in the fock space without the vacuum @xmath56 . as a result of the triviality of the @xmath57-commutator ,
the @xmath57-deformed algebra is again a lie algebra .
then the enveloping algebra over @xmath58 becomes a division algebra ( other relations concerning division algebras built over the heisenberg generators are available in @xcite ) .
let us focus now on the limit @xmath2 of the algebra ( [ qdef ] ) .
this limit can be written as @xmath59 a prime remark would be that , recalling that @xmath31 , the above limit could be performed only by avoiding the forbidden value @xmath60 ; this can be done by varying continuously @xmath0 along a straight line if @xmath0 does not belong to the segment @xmath610,1]$ ] . in the case @xmath130,1]$ ] , then the same limit can be only made by choosing a contour through the complex plane .    noting that , in any state @xmath62 , @xmath63_{-1}|n\rangle = \lim_{q\to -1 } [ n]_q |n\rangle = \frac{1-(-1)^n}{2 } |n\rangle = \left\{\begin{array}{cc } 0 , & { \rm if}\ ; n=2p \\ 1\,|n\rangle , & { \rm if}\ ; n=2p+1 \end{array}\right . \label{limn}\end{aligned}\ ] ] then we infer the following representation for the operators @xmath64 let us recall that a fermionic algebra is usually defined by a set of algebraic relations @xmath65 the anticommutation rule is already satisfied by the pair @xmath66 .
checking , that for any @xmath67 , @xmath68_q[n]_q}|n-2\rangle$ ] , @xmath69_q[n+2]_q}|n+2\rangle$ ] , one infers from ( [ limn ] ) that , indeed , for any state , @xmath70 and @xmath71 .
thus , the pair @xmath66 is close to what one usually refers to as a fermionic algebra .
for this reason , we will refer henceforth to these operators to fermions and to their algebra , to a fermionic algebra . here ,
more rigorously , the operators @xmath66 are fermionic operators with an infinite dimensional representation space which is a direct sum of ordinary two dimensional fermionic representation spaces .
the notion of @xmath1 grassmann grading for associative complex superalgebras @xcite will find , in the next lines , an extension according to the present @xmath0-deformed study . but before , for the sake of rigor , let us put in algebraic terms the definition of the deformation of the heisenberg algebra ( [ qdef ] ) .    * building a @xmath0-grading on the enveloping algebra .
* for all @xmath67 , we introduce the deformed complex heisenberg algebra with its three generators and deformed commutator as the pair @xmath72_q\right ) .
\label{hesdef}\end{aligned}\ ] ] some remarks are in order at this stage .
first , the deformed heisenberg algebra @xmath73 is not a lie algebra unless that one considers the limit points @xmath74 .
the jacobi identity fails to be satisfied in the general situation when @xmath75 .
note also that these algebras are not disjoint since @xmath76 , for @xmath77 .
the data of the pair ( [ hesdef ] ) are equivalent to the data of a complex vector space @xmath73 and a constraint ( equivalence relation ) @xmath78_q=\mathbb{i}$ ] on the tensor algebra built out of its generators .
next , let us give the definition of the @xmath0-grading of generators of any @xmath73 and find an extension for any element of the enveloping algebra spanned by all @xmath73 s , @xmath67 .
this concept will be introduced by the data of two attributes related to the parameters @xmath0 : the `` degree '' , denoted by @xmath79 , and the `` radius '' , denoted by @xmath80 .    by convention ,
elements of @xmath81 are of degree @xmath82 and we define the degree of the generators of @xmath73 as @xmath83 given a generator of @xmath73 , its degree becomes a real parameter in the segment @xmath84 which can be viewed as the normalized phase of the deformation parameter @xmath0 .
for instance , the degree of an ordinary ( heisenberg ) boson is @xmath85 , while the degree of the operators @xmath86 reproducing a well defined notion of @xmath1 grassmann parity for these limit .
we will characterize the generators of @xmath73 , by another quantity that we will refer to as its `` radius '' or `` length '' which is nothing but @xmath87 given the modulus @xmath88 of the deformation parameter @xmath0 .    at this stage ,
the following deformed bracket for elementary generators can be defined @xmath89_{q , q'}:= x_{q}\,y_{q ' } -   g(q , q')y_{q'}\,x_{q},\qquad g(q , q'):=e^{i\pi|x_{q}||y_{q'}|}\ell(x_{q})\ell(y_{q ' } ) .
\label{gradef}\ ] ] a quick verification , using ( [ deg ] ) and ( [ leng ] ) , yields the following limits @xmath90_{1,1 } = [ a_{1},a^\dag_{1}]_{q=1}= a_{1 } a^\dag_{1 } - a^\dag_{1 } a_{1 } = \mathbb{i } , & & \label{com}\\ { \rm ( fermion)}\;\ , g(-1,-1)=-1 : \;\,[a_{-1},a^\dag_{-1}]_{-1,-1 } = [ a_{-1},a^\dag_{-1}]_{q=-1}= a_{-1 } a^\dag_{-1 } + a^\dag_{-1 } a_{-1 } = \mathbb{i } , & & \label{antic}\\ { \rm ( q - def . )
} \;\,g(q , q)=q : \;\,[a_{q},a^\dag_{q}]_{q , q } = [ a_{q},a^\dag_{q}]_{q}= a_{q } a^\dag_{q } - qa^\dag_{q } a_{q } = \mathbb{i}.&&\end{aligned}\ ] ] another interesting property of the deformed bracket ( [ gradef ] ) is that it reproduces the @xmath1 graded bracket between fermion and bosons . in other words , in addition to ( [ com ] ) and ( [ antic ] ) , the bracket of a fermion and a boson is a commutator , because of @xmath91 .    having properly defined the notion of @xmath0-grading of basic generators , let us go further by defining similar ideas for more complex structures .
the ( noncommutative ) product of elements of two algebras @xmath73 and @xmath92 lies in the complex vector space @xmath93 . by iteration
, one can build monomials in basic generators living in a product of deformed algebras @xmath94 , @xmath95 .
taking the complex span of these monomials , one forms a complex vector space .
negative integer powers of generators can be defined algebraically as @xmath96 , @xmath97 , where the inverse of @xmath98 , i.e. @xmath99 , acts by representation such that @xmath100 or @xmath101 ( right or left inverse ) .
further precisions on the division algebra generated by the heisenberg operators @xmath24 and @xmath23 can be found in @xcite . the overall algebra spanned by any linear combination of any kind of products of generators ( including inverse integer powers )
will be called the deformed enveloping algebra denoted by @xmath102 .
we would like to give a sense to the notion of grading for any elements of the enveloping algebra @xmath102 .
we start by the degree and radius of bilinear products which can be defined as @xmath103 where @xmath98 and @xmath104 are generators of @xmath73 and @xmath92 , respectively .
it is remarkable that @xmath105 and @xmath106 .
integer powers of elementary generators of @xmath73 belonging to @xmath107 can be also assigned with a degree and a radius as @xmath108 more generally , the following relations , valid for finite products of integer powers of elementary generators , stand for definition : @xmath109 some products of basic generators admit a spectral decomposition of the form @xmath110 ) |n \rangle
\langle n|$ ] , where @xmath111)\in \mathbb{c}$ ] , any function of number operators being a typical example .
for this kind of operators , rational and real powers also have a rigorous definition .
for instance , one sets @xmath112))^{\alpha } |n \rangle \langle n|$ ] , @xmath113 . in this situation of a possible diagonal decomposition of an operator being a product of elementary generators ,
the formulas ( [ prodgen ] ) can be extended to real powers : @xmath114 in order to compute the deformed bracket of composite elements in @xmath102 , one has to perform first the decomposition in sum of monomials in the elementary generators before the computation .
finally , the general bracket for any monomials @xmath115 and @xmath116 can be expressed as follows ( an explicit example is provided in the appendix ) @xmath117_{g(q_i , q_j)}:= a_{q_i}\,b_{q_j } - g(q_i , q_j)b_{q_j}\,a_{q_i } , \qquad g(q_i , q_j):=e^{i\pi|a_{q_i}||b_{q_j}|}\ell(a_{q_i}b_{q_j } ) .
\label{gradef3}\ ] ] in conformity with the above definition of degree , the degree of a product of two fermions is @xmath118 ( for instance @xmath119 ) and not @xmath82 as it is customarily the case in the context of @xmath1 superalgebras .
this does not lead to any contradiction and the anticommutator ( [ antic ] ) is still valid and based on the product of degrees .
although one is tempted to take for definition of the degree a kind of number modulo @xmath118 ( or @xmath120 from ( [ deg ] ) ) , the study can be pursued in this general context proving that there is no need to make further assumptions in the definition ( [ deg ] ) .    * @xmath121-grading and matrix representation .
* as a prime interesting feature with implications in supersymmetry , we discuss the matrix representation .
let us recall that the ordinary notion of @xmath1 grading applied to matrix algebras @xcite can be introduced by the data of two integers @xmath122 and @xmath123 , and the decomposition of any element of @xmath124 , the set of square matrices of dimension @xmath125 with coefficients in the field @xmath126 , into four submatrices of dimensions @xmath127 , @xmath128 , @xmath129 and @xmath130 @xcite , i.e. @xmath131 a matrix is said to be `` even '' if its entries belong either to @xmath132 or to @xmath133 and `` odd '' if its entries belong to the matrices @xmath134 or @xmath135 .
one can check that any product of matrices obeys to the law @xmath136 , @xmath137 , @xmath138 such that the matrix product is stable under this grading .
the same idea can be simply illustrated in ordinary matrix formulation of supersymmetry where the supersymmetric hamiltonian is diagonal ( even quantity ) and supercharges consist in off diagonal matrices ( odd elements ) .
one thing remains to be clarified : if the ordinary bosonic modes @xmath139 and @xmath140 or usual fermionic operators @xmath141 and @xmath142 admit a matrix representation onto the fock hilbert space basis , it can be suggested to find the equivalent feature such that the notion of @xmath1 grading as previously discussed can be readily read from their matrix representation .    at first , using the conventional matrix representation of bosonic modes , nothing can be said .
however , if one organizes the states differently such that we write the fock basis in the following form @xmath143 then the ordinary boson @xmath144 and fermion @xmath145 have the following matrices with respect to the order ( [ orde ] ) @xmath146 the associated adjoint operators can be easily inferred . in this context , the notion of `` odd '' matrix can be affected to either the pair @xmath147 or to the pair @xmath148 .
then , legitimately in this context , the fermions @xmath148 can be seen as `` odd '' elements while the fact that the operators @xmath147 can be also seen as `` odd '' quantities becomes confusing .
nevertheless , another interesting feature emerges : multiplying `` odd '' matrices , for instance @xmath149 ( of degree @xmath82 ) , or @xmath150 ( of degree @xmath118 ) will produce `` even '' elements ( as they should be ) which are the bosonic and fermionic numbers , respectively .
this section aims at defining a general notion of supersymmetry on the enveloping algebra @xmath102 .
the technical difficulty comes from the fact that operators are noncommuting objects in contrast to the situation of ordinary supersymmetric quantum theory .
in addition , for different @xmath0 s , all @xmath0-deformed operators act on an identical hilbert space ( the fock hilbert space ) .
* @xmath151-supersymmetry . * in this paragraph , we define , as a guiding model to next discussions , a supersymmetric theory on the enveloping subalgebra spanned only by products in @xmath152 and @xmath153 .
supersymmetry is realized through a set of charges commuting with a hamiltonian .
operators mapping in a deformed way fermions @xmath145 and @xmath154 to bosons @xmath155 and @xmath156 are identified .
the converse is essentially not true due to the deformation .
simple properties allow us to investigate which kind of operators can generate a supersymmetry .
we will restrict the study to the situation of a supersymmetry generated by only quadratic products of operators which is , in fact , the closest possible to the ordinary notion of supersymmetry where a hamiltonian appears as a ( supersymmetrically ) factorized by bilinear operators : the supercharges @xcite .
these latter operators generically are of the form of a product of bosons and fermions .
these supercharges via a graded structure maps bosonic to fermionic degrees of freedom and vice versa .
let us then list the possible minimal bilinears , built from products of the fermions @xmath145 and @xmath154 by bosons @xmath155 and @xmath156 .
bearing in mind that the order of operators is important , @xmath157 monomials are of interest @xmath158_{-1}}{n+1}}\,a^2,\;\;\;\ ; \tilde{\mathfrak{q}}_{1}=a_{1}a_{-1}=\sqrt{\frac{[n+2]_{-1}}{n+2}}\,a^2,\\ & & \tilde{\mathfrak{q}}_{1}^\dag = a^\dag_{-1}a^\dag_{1}=\sqrt{\frac{[n]_{-1}}{n}}(a^\dag_{1})^2 , \;\;\;\ ; \mathfrak{q}_{1}^\dag = a^\dag_{1}a^\dag_{-1}=\sqrt{\frac{[n-1]_{-1}}{n-1}}(a^\dag_{1})^2,\\ & & \mathfrak{q}_{2}=a^\dag_{1}a_{-1}=\sqrt{\frac{[n]_{-1}}{n}}n = a_{-1}^\dag a_{1},\;\;\;\ ; \tilde{\mathfrak{q}_{2 } }   = a_{-1}a^\dag_{1}=\sqrt{\frac{[n+1]_{-1}}{n+1}}(n+1)=a_{1}a_{-1}^\dag,\end{aligned}\ ] ] all of degree ) .
the degrees of the other operators can be derived in a similar way .
] 1 and radius @xmath159 .
note that @xmath160 and @xmath161 are self - adjoint .
a set of hermitian hamiltonian operators can be readily obtained from these operators @xmath162_g = \mathfrak{q}_{1}\mathfrak{q}_{1}^\dag + \mathfrak{q}_{1}^\dag\mathfrak{q}_{1}= 2[n+1]_{-1}(n+1),\\ & & \tilde{\mathfrak{h}}_{1 } = [ \tilde{\mathfrak{q}}_{1},\tilde{\mathfrak{q}}_{1}^\dag ] _
g = \tilde{\mathfrak{q}}_{1}\tilde{\mathfrak{q}}_{1}^\dag + \tilde{\mathfrak{q}}_{1}^\dag\tilde{\mathfrak{q}}_{1 } = 2[n]_{-1}n , \\ & & \mathfrak{h}_{2 } = ( \mathfrak{q}_{2})^2 = [ n]_{-1}n,\\ & & \tilde{\mathfrak{h}}_{2 } = ( \tilde{\mathfrak{q}_{2}})^2 = [ n+1]_{-1}(n+1).\end{aligned}\ ] ] we are now in position to define the basic hermitian supersymmetric hamiltonian ( up to some energy scale @xmath163 that we omit ) @xmath164_{-1}n = a^\dag_1 a_1 \ , a_{-1}^\dag a_{-1},\;\;\ ;    and the following supersymmetric algebra can be verified @xmath165_{g}=0= [ { \mathcal q}^\dag,\mathfrak{h}_{\rm ss}]_{g},\;\;\ ; [ { \mathcal q},{\mathcal q}^\dag]_g= \mathfrak{h}_{\rm ss},\quad { \mathcal q } : = \frac{1}{\sqrt{2}}\mathfrak{q}_{1 } , \label{susyalg}\\ & & [ \mathfrak{q}_{2},\mathfrak{h}_{\rm ss}]_{g}=0,\quad \mathfrak{h}_{\rm ss}= ( \mathfrak{q}_{2})^2 .
\label{susy2}\end{aligned}\ ] ] thus the formulation allows to generate a @xmath166 supersymmetry ( with three different symmetries ) .
the other operators @xmath167 and @xmath161 have a simple meaning , in the present context .
they define the partner charges allowing the construction of another supersymmetric hamiltonian @xmath168 , the so - called superpartner of @xmath169 , obtained by reversing the order of operators , namely @xmath170_g$ ] .    to the question `` is this notion of @xmath151-supersymmetry equivalent to the ordinary one ? '' , the answer is no . a hint to recognize
this fact is the form of the ordinary supersymmetric hamiltonian @xmath171 , where @xmath172 and @xmath173 are the bosonic and fermionic number operators , respectively . here
the supersymmetric hamiltonian @xmath169 is clearly not of this form .
however , the operator @xmath174 can be rebuilt as @xmath175_{-1}n + [ n+1]_{-1}(n+1)= n + [ n+1]_{-1}$ ] . from this point out
view , the supersymmetries ( [ susyalg ] ) or ( [ susy2 ] ) appear therefore as the basic ones even though it is not true that all properties of the ordinary supersymmetry can be recovered . in the following ,
we focus on the evidence of the deformation of the ordinary supersymmetry if the symmetry is realized as ( [ susyalg ] ) or ( [ susy2 ] ) .
let us check if the ordinary properties of supercharges are satisfied .
first , the square of non hermitian supercharges are usually vanishing quantities , here @xmath176 this shows that the supersymmetry is actually realized in a deformed way .
second , supercharges used to map bosons onto fermions and conversely . in the present situation , any @xmath0-commutation relation does not lead to interesting results .
nevertheless , after scrupulous analysis ( see appendix ) , one can reach the following interesting algebras @xmath177_g = [ n]_{-1 } a_{1 } , \label{eq1}\\ & & [ \mathfrak{q}_{1}^\dag , a_{-1}^\dag ] _ g = [ n-1]_{-1 } a^\dag_{1 } , \label{eq2}\\ & & [ \mathfrak{q}_{2 } , a_{-1}]_g = [ n+1]_{-1 } a_{1 } , \label{eq3}\\ & & [ \mathfrak{q}_{2 } , a_{-1}^\dag ] _ g = [ n]_{-1 } a^\dag_{1 } , \label{eq4}\end{aligned}\ ] ] revealing that fermions are actually mapped on deformed bosons ( up to a function of the fermionic number operator ) . the converse is not true ( see appendix ) pointing out the peculiar aspects of this deformed supersymmetry .
* @xmath178-supersymmetry . * in this last paragraph , we define in a more general context of @xmath0-deformation , the notion of deformed supersymmetry .
we start by the simple remark that , as shown above , elements of the heisenberg algebra @xmath179 can be seen as deformed supersymmetric partners of elements of @xmath180 . the complex number @xmath181 is obtained after a rotation by @xmath182 from the complex number @xmath159 .
the notion of supersymmetry could find an equivalence in @xmath102 , mapping generators of @xmath73 onto a generator of @xmath183 , with @xmath184 a transformation of @xmath0 : @xmath185 where @xmath186 and @xmath187 are real functions .
the above case of @xmath151-supersymmetry corresponds to @xmath188 , a simple rotation @xmath189 in the complex plane by an angle @xmath182 .
however , we will assume that @xmath190 and @xmath191 ; so doing , we write @xmath192 , thereby defining @xmath193 and @xmath194 .    the second step is to define again bilinears which are of interest .
it does not take long to find the following operators ( the same notation as in the previous paragraph is used but operators now refer to different quantities ) @xmath195_{\bar q}[n+2]_{q}}{(n+1)(n+2)}}\,(a_1)^2,\;\;\;\ ; \tilde{\mathfrak{q}}_{1}= a_{q } a_{\bar
q}= \sqrt{\frac{[n+1]_{q}[n+2]_{\bar q}}{(n+1)(n+2)}}\,(a_1)^2,\\ & & \tilde{\mathfrak{q}}_{1}^\natural = a^\natural_{\bar q}a^\natural_{q}= \sqrt{\frac{[n]_{\bar q}[n-1]_{q}}{n(n-1)}}(a^\dag_{1})^2 , \;\;\;\ ; \mathfrak{q}_{1}^\natural = a^\natural_{q}a^\natural_{\bar
q}= \sqrt{\frac{[n]_q[n-1]_{\bar q}}{n(n-1)}}(a^\dag_{1})^2,\\ & & \mathfrak{q}_{2}=a^\natural_{q}a_{\bar q}=\sqrt{[n]_{\bar q}[n]_q}= a_{\bar q}^\natural a_{q},\;\;\;\ ; \tilde{\mathfrak{q}_{2 } }   = a_{\bar q}a^\natural_{q}= \sqrt{[n+1]_{\bar q}[n+1]_q}= a_{q}a_{\bar q}^\natural.\end{aligned}\ ] ] they all share the same degree @xmath196 and the same radius @xmath197 .
we also notice that @xmath160 and @xmath161 remain hermitian , while @xmath198 and @xmath199 become adjoint of one another .    in order to obtain a hermitian hamiltonian operator , we consider the operator generated by @xmath160 @xmath200_{\bar q}[n]_q=(\{n\}_{\bar q ,
q})^2,\qquad    \sqrt{\frac{\varphi_{\bar q}}{\pi}}\right ) , \quad \ell(\mathfrak{h}_2 ) =   r_q f(r_q ) \label{ham}\end{aligned}\ ] ] and require that @xmath160 is a symmetry of @xmath201 with respect to the deformed bracket .
we are led to the following @xmath202_g= \sqrt{[n]_{\bar q}[n]_q}[n]_{\bar q}[n]_q \left[1 -e^ { 2i\pi\left(\sqrt{\frac{\varphi_{q}}{\pi } } + \sqrt{\frac{\varphi_{\bar q}}{\pi}}\right)^2}(r_q f(r_q))^{\frac{3}{2}}\right]\end{aligned}\ ] ] a set of necessary and sufficient conditions for @xmath203_g= 0 $ ] to hold is @xmath204 which can be easily solved by @xmath205     lying outside of the unit disc corresponding to @xmath206 : @xmath207 , @xmath208.,width=226,height=226 ]    ( -60,125 ) @xmath209 ( -165,115 ) @xmath210 ( -100,20 ) @xmath211 ( 123,45 ) @xmath0 ( 150,82 ) @xmath212 ( 158,65 ) @xmath213 ( 160,48 ) @xmath214 ( 126,100 ) @xmath215 ( 70,85 ) @xmath216 ( 62,27 ) @xmath217 ( 143,20 ) @xmath218 ( 120,175 ) @xmath219     lying outside of the unit disc corresponding to @xmath206 : @xmath207 , @xmath208.,width=162,height=6 ]    before regarding the phase @xmath220 problems , let us focus on the equation @xmath221 having a drastic consequence . indeed , if @xmath2220,1]$ ] , then @xmath223 .
this is to say that if we impose @xmath224 , then obligatory we will restrict to the situation where @xmath225 in order to get relevant solutions . enlarging the scope of value of @xmath226 ,
another interesting feature emerges : superpartners of operators with deformation parameter @xmath0 strictly inside of the unit disc @xmath227 are operators with parameter @xmath184 lying strictly outside of the unit disc ( and vice - versa ) ; superpartners of operators labeled by a @xmath0 belonging to the unit circle @xmath228 are operators with parameter still on the circle .
concerning the phase , the case @xmath229 , for @xmath230 refers to the trivial point @xmath231 .
we will focus only on points @xmath232 encoding values where partners differ from one another .
it turns out that for @xmath233 , there always exists a value @xmath234 since one can show that @xmath235\!]$ ] .
more generally , solving the first condition of ( [ phas ] ) , for @xmath236 , one infers the following constraints on @xmath220 @xmath237\!],\;\ ; k_p(\varphi_q ) = \left(\sqrt{p\pi } - \sqrt{\varphi_{q}}\right)^2 \in [ 0,2\pi[.\end{aligned}\ ] ] these solutions imply that , regardless of their modulus which can be fixed to be equal @xmath238 , given @xmath0 fixing once for all @xmath88 and @xmath220 , there are at least @xmath118 and at most @xmath239 parameters @xmath240 , @xmath241\!]$ ] , providing good parameter candidates for different supersymmetries @xmath242 for at least @xmath118 and at most @xmath239 different models defined by @xmath243 , such that @xmath244_g=0 $ ] ( see figure 1 and figure 2 ) . in the particular situation of the so - called @xmath151-supersymmetry
as built in the previous paragraph , given @xmath245 , the above solutions are consistent and reduce to the unique possibility of @xmath246 in ( [ k+ ] ) such that @xmath247 , thus implying a unique choice for @xmath248 .
finally , the constraint such that @xmath249 is actually too strong and more solutions can be determined by relaxing this condition .
in fact , it seems that an infinite set of inequivalent ( modulo @xmath120 ) solutions of the phase equation ( [ phas ] ) are available due to the fact that @xmath250 is a nonlinear function of @xmath220 .
a careful analysis and the meaning of these solutions will be treated in a subsequent work .
the meaning of supersymmetry is not clear when considering the other operators @xmath198 and @xmath199 .
a hermitian hamiltonian can be easily identified using the deformed bracket @xmath251_g$ ] . however , the set of conditions in order to impose @xmath252= 0=[\tilde{\mathfrak{q}}_{1}^\natural,\mathfrak{h}_{1}]$ ] is more involved .
moreover , the resulting operator @xmath253 is not equal to @xmath201 ( [ ham ] ) .
other more complicated issues arise when one reverses the order of the basic generators .
the former @xmath166 @xmath151-deformed supersymmetry is therefore explicitly broken in the general deformation theory , with a reduced number of supercharges equal to @xmath254 .
let us turn to the properties of the mapping boson - fermions .
the following relations can be obtained : @xmath255= { \textstyle\left[\sqrt{\frac{[n]_{\bar q}[n+1]_{\bar q}[n]_q}{[n+1]_q}}- e^{i\sqrt{\varphi_{\bar q}(\varphi_{\bar q } + \varphi_{q } ) } } f(r_q)\sqrt{r_q}[n+1]_{\bar q}\right ] a_q},\label{gende}\\ & & [ \mathfrak{q}_{2 } , a_{\bar q}^\natural]= { \textstyle\left[[n]_{\bar q}- e^{i\sqrt{\varphi_{\bar q}(\varphi_{\bar q } + \varphi_{q } ) } } f(r_q)\sqrt{r_q}\sqrt{\frac{[n-1]_{\bar q}[n]_{\bar q}[n-1]_q}{[n]_q } } \right ] a^\natural_q},\label{gende2},\end{aligned}\ ] ] which at the limit @xmath18 and @xmath256 , characterized by @xmath257 , @xmath258 and @xmath259 , reproduce correctly ( [ eq3 ] ) and ( [ eq4 ] ) .
hence , one draws the conclusion that @xmath260 and @xmath261 are deformed partners of @xmath262 and @xmath263 , respectively .
we have succeeded in setting a notion of @xmath0-grading onto the deformed enveloping algebra built from all possible products of @xmath0-deformed heisenberg algebras for different parameters @xmath67 , @xmath227 being the complex disc of radius one without @xmath82 .
this notion of @xmath0-grading encompasses in specific limit the ordinary notion of @xmath1 grading of ordinary associative superalgebra .
a generalized bracket is defined on the enveloping algebra which reproduces the ordinary bosonic , fermionic , @xmath1 graded and @xmath0-deformed commutators for corresponding subspaces in the total algebra . the formalism is then used to show that the notion of supersymmetry can be extended and , even , realized in the present situation where the fermions do not commute with bosons . in the specific instance
such that @xmath264 , a supersymmetric hamiltonian has been defined and its @xmath166 supersymmetry properly identified with new deformed features .
finally , in the full @xmath0-deformed theory , we have identified many kinds of operators ( restricting the deformed phase parameter in @xmath265 ) which are able to define different supersymmetric models . in the general context of deformation , the @xmath166 @xmath151-supersymmetry is explicitly broken and at least @xmath254 supercharge can be defined in any @xmath266-deformed supersymmetric model .
m.n.h . thanks the national institute for theoretical physics ( nithep ) and its director prof .
frederik g. scholtz for hospitality during a pleasant stay in stellenbosch where this work has been initiated .
j.b.g . thanks pr .
michal kastner , pr .
jan govaerts and pr .
bo - sture skargerstam for helpful discussions .
this work was supported under a grant of the national research foundation of south africa and by the ictp through the oea - icmpa - prj-15 .
this appendix provides useful relations and explicit illustrations to the text .
we start by illustrating the kind of computations involved by the generalized @xmath0-graded bracket .
let us calculate , for the specific instance , the bracket of the monomials of the form @xmath267 and @xmath268 ( as appeared in computing the bracket of the supercharge @xmath269 and supersymmetric hamiltonian @xmath270 ) .
given the complex numbers @xmath271 and @xmath272 , @xmath273 , we have @xmath274_g = a_{q_1}^\natural a_{q_1 ' } a_{q_2}^\natural a_{q_2 ' } a_{q_3}^\natural a_{q_3'}\cr & & - ( -1)^{|a_{q_1}^\natural a_{q_1'}||a_{q_2}^\natural a_{q_2'}a_{q_3}^\natural a_{q_3'}| }   \sqrt{r_{q_1}r_{q_1'}r_{q_2}r_{q_2'}r_{q_3}r_{q_3 ' } } a_{q_2}^\natural a_{q_2'}a_{q_3}^\natural a_{q_3 ' } a_{q_1}^\natural a_{q_1'}\cr & & = a_{q_1}^\natural a_{q_1 ' } a_{q_2}^\natural a_{q_2 ' } a_{q_3}^\natural a_{q_3 ' } \label{cal}\\ & & -   ( -1)^{(|a_{q_1}|+|a_{q_1'}^\dag|)(|a_{q_2}^\natural|+| a_{q_2'}|+|a_{q_3}^\natural|+| a_{q_3'}| ) }   \sqrt{r_{q_1}r_{q_1'}r_{q_2}r_{q_2'}r_{q_3}r_{q_3 ' } } a_{q_2}^\natural a_{q_2'}a_{q_3}^\natural a_{q_3'}a_{q_1}^\natural a_{q_1 ' } .\nonumber\end{aligned}\ ] ] now fixing @xmath275 , @xmath276 , @xmath277 and @xmath278 , the expression ( [ cal ] ) reduces to @xmath279&= & [ a_{1}^\dag a_{-1 } , a^\dag_1 a_1 \ , a_{-1}^\dag a_{-1}]_g\cr & = & a_{1}^\dag a_{-1}a^\dag_1 a_1 \ , a_{-1}^\dag a_{-1 } - ( -1)^{(1 + 0)\cdot(0 + 0 + 1 + 1 ) }   a^\dag_1 a_1 \ ,
a_{-1}^\dag a_{-1 } a_{1}^\dag a_{-1}\cr & = & \sqrt{[n]_{-1}n } [ n]_{-1}n - [ n]_{-1}n \sqrt{[n]_{-1}n } = 0 , \label{cal2}\end{aligned}\ ] ] showing that @xmath160 is a symmetry of @xmath169 .
of course , using an ordinary commutator this statement becomes obvious since both @xmath160 and @xmath169 are pure functions of the number operator @xmath280 .
but here , the difficulty resides in the fact that we use a different commutation relation which turns out to simplify in the form of the ordinary commutator .
we give the complete set of commutation relations between the supercharges @xmath198 , @xmath281 and @xmath160 and the basic degrees of freedom @xmath144 , @xmath282 , @xmath283 and @xmath284 .
the following relations hold :    @xmath285 @xmath286 @xmath287_g = ( n+2)a_{-1 } - \sqrt{[n]_{-1}n}a_1= { \textstyle { \left [   ( n+2)\sqrt{\frac{[n+1]_{-1}}{n+1 } } - \sqrt{[n]_{-1}n } \right]}}a_1 , \label{equa1}\\ & & [ \mathfrak{q}_{1 } , a^\dag_{-1}]_g = [ n]_{-1 } a_{-1},\\ & & [ \mathfrak{q}_{1 } , a_{1}]_g = { \textstyle { \left[\sqrt{\frac{[n+1]_{-1}}{n+1}}-\sqrt{\frac{[n+2]_{-1}}{n+2}}\right ] } } ( a_{1})^3,\\ & & [ \mathfrak{q}_{1 } , a_{-1}]_g = { \textstyle { \sqrt{\frac{[n+1]_{-1}[n+3]_{-1}}{(n+1)(n+3)}}(a_{1})^3= \frac{[n+1]_{-1}}{\sqrt{(n+1)(n+3)}}(a_{1})^3}}. \label{equa2}\end{aligned}\ ] ]    @xmath285 @xmath288 @xmath289_g = { \textstyle { \left [ \sqrt{\frac{[n-1]_{-1}}{n-1 } } - \sqrt{\frac{[n-2]_{-1}}{n-2 } } \right]}}(a^\dag_1)^3 , \\ & & [ \mathfrak{q}^\dag_{1 } , a^\dag_{-1}]_g = { \textstyle { \frac{[n]_{-1}}{\sqrt{n(n-2)}}}}(a^\dag_{1})^3,\\ & & [ \mathfrak{q}^\dag_{1 } , a_{1}]_g = a^\dag_{1 } \sqrt{[n]_{-1}n } - ( n+1 ) a^\dag_{-1}= { \textstyle { \left [ \sqrt{[n-1]_{-1}(n-1 ) } - ( n+1)\sqrt{\frac{[n]_{-1}}{n}}\right ] } } a^\dag_{1},\\ & & [ \mathfrak{q}^\dag_{1 } , a_{-1}]_g = [ n-1]_{-1 } a^\dag_{1}.\end{aligned}\ ] ]    @xmath285 @xmath290 @xmath291_g = \left [ \sqrt{[n]_{-1}n } - \sqrt{[n-1]_{-1}(n-1 ) } \right]a^\dag_1 , \\ & & [ \mathfrak{q}_{2 } , a^\dag_{-1}]_g = [ n]_{-1}a^\dag_{1},\\ & & [ \mathfrak{q}_{2 } , a_{1}]_g = \sqrt{[n]_{-1}n}a_{1 }   - ( n+1 ) a_{-1}= \left [ \sqrt{[n]_{-1}n } - \sqrt{[n+1]_{-1}(n+1)}\right ] a_{1},\\ & & [ \mathfrak{q}_{2 } , a_{-1}]_g = \sqrt{[n+1]_{-1}(n+1 ) } a_{-1}=[n+1]_{-1 } a_{1}.\end{aligned}\ ] ] in summary , these operators map bosons on a mixed combination of bosons and fermions which can not be reduced to a deformation of a fermion . on the other hand , fermions can be exactly mapped onto bosons up to a deformation function or a nonlinearity appearing as a power of a bosonic operator .