in his classical paper on quantisation of magnetic poles dirac ( 1931 ) remarked that `` non - euclidean geometry and non - commutative algebra , which were at one time considered to be purely fictions of the mind and pastimes for logical thinkers , have now been found to be very necessary for the description of general facts of the physical world .
it seems likely that this process of increasing abstraction will continue in the future and that advance in physics is to be associated with a continual modification and generalisation of the axioms at the base of the mathematics rather than with a logical development of any one mathematical scheme on a fixed foundation . '' in accordance with this principle , the present paper further extends the work of dirac by exploring the ` dequantisation ' of magnetic poles .
diverse and numerous versions of the magnetic pole construction and the associated charge quantisation condition of dirac ( 1931 , 1948 ) have appeared in the literature , but the basic model can be most concisely and accurately formulated in terms of the hopf fibration ( wu & yang 1975 ; trautman 1977 ; yang 1977 ) . from a mathematical viewpoint ,
the rationale is as follows .
the monopole potential is modelled as a connection @xmath0 on a nontrivial principal @xmath1-bundle @xmath2 over a subset of minkowski space . a charged matter field interacting with the monopole is accordingly modelled as a section of a vector bundle @xmath3 associated with @xmath2 via the representation @xmath4 of @xmath1 on a complex vector space .
since @xmath0 then induces the connection @xmath5 on @xmath3 , the integer @xmath6 can be identified with the electric charge of the matter field ( see urbantke 2003 for a detailed account of the description of a magnetic monopole in the language of the hopf fibration ) .
however , following the spirit of dirac , if we describe the monopole by a more general mathematical scheme , then the interaction of matter fields and magnetic poles _ with arbitrary real charges
_ can also be modelled in a consistent manner .
the present paper introduces a new sheaf - theoretic framework permitting an explicit construction of arbitrarily charged magnetic monopoles .
this framework is likewise applied to generic @xmath1-bundles and also yields , as a by - product , the notion of a quasispin structure defined on arbitrary space - times .
the results suggest that topological quantisation in general can be viewed from a more flexible perspective .
although magnetic monopoles have not been observed experimentally , one important physical consequence of the present model is that their detection would not necessarily imply the quantisation of electric charge .
likewise , an observed violation of charge quantisation would not necessarily imply the nonexistence of magnetic monopoles .
furthermore , grand unified theories require the existence of magnetic monopoles , and , according to conventional field theory described in terms of manifolds this necessarily implies charge quantisation , hence , the detection of nonintegral electric charge would indicate that the present scheme , based on sheaves rather than manifolds , may be physically more realistic . also , a sheaf construction permits the global description of fermion fields on lorentzian manifolds possessing no conventional spin structure , as an alternative to the cumbersome machinery of khler fermions .
the paper is organised as follows . in  [ sec:2 ]
we present a very brief sketch of sheaf theory for the benefit of readers less acquainted with the subject .
this is intended to provide the bare minimum of information necessary for following the ensuing discussion ; for further details on sheaf theory , see , e.g. , bredon ( 1997 ) , kultze ( 1970 ) , or wells ( 2008 ) . in  [ sec:3 ]
we develop the basic mathematical machinery used in later sections .
the key idea here is the construction of a principal @xmath7-sheaf bundle which generalises the conventional notion of a principal bundle . in  [ sec:4 ]
we prove that equivalence classes of principal @xmath8-bundles can , under certain hypotheses , be mapped injectively into equivalence classes of @xmath7-sheaf bundles .
this implies that the dirac sheaf bundle constructed in  [ sec:5 ]
does indeed constitute a generalisation of the conventional dirac monopole .
the spherically symmetrical connection and curvature of the dirac sheaf bundle are constructed in  [ sec:6 ] , demonstrating that the magnetic charge of this model can assume arbitrary real values .
the interaction of the generalised monopole with a charged matter field is considered in  [ sec:7 ] .
dequantisation of more general @xmath1 bundles is considered in  [ sec:8 ] , with particular attention to gravitational and electromagnetic instantons . in
[ sec:9 ] the basic machinery developed earlier is applied to spin structures and dirac operators . in  [ sec:10 ]
the paper concludes with a brief discussion of possible implications in diverse areas of physics .
the concept of a sheaf over a manifold @xmath9 provides a way of interpolating local data and global data on x. we begin with the definition of a presheaf .
a _ presheaf _
@xmath10 on @xmath9 is a functor assigning , to each open @xmath11 , a group @xmath12 , abelian or otherwise , such that for each @xmath13 the restriction map @xmath14 , @xmath15 , defines a homomorphism and such that @xmath16 for @xmath17 .
an element @xmath18 is referred to as a _ section _ of @xmath12 over @xmath19 .
the restriction of @xmath20 on @xmath13 is thus given by @xmath21 .
the sections @xmath18 and @xmath22 are said to be _ equivalent _ at @xmath23 if there is a neighbourhood @xmath24 of @xmath25 such that @xmath26 .
the equivalence class containing @xmath18 is called the _ germ _ of @xmath27 at @xmath25 , and the set of all such germs for any fixed @xmath25 is denoted by @xmath28 .
the disjoint union @xmath29 of all the sets @xmath28 provides local information about the structure of @xmath10 .
however , information concerning global structure has been lost , since we have discarded relations between the @xmath28 for varying @xmath25 . to retrieve some global structure ,
we introduce a topology in the following manner . for a fixed @xmath18 the set of all germs @xmath30 for @xmath31
is taken to be an open set in @xmath29 , and the topology of @xmath32 is defined as that generated by these open sets .
the projection @xmath33 mapping @xmath28 into @xmath25 has the property that for any point @xmath34 with @xmath35 there is a neighbourhood @xmath36 for @xmath18 and @xmath37 such that the restriction @xmath38 is a homeomorphism onto a neighbourhood of @xmath39 .
these ideas can be summarised as follows :    a _ sheaf _ of groups on @xmath9 is a pair @xmath40 such that    * @xmath29 is a topological space ( in general , not hausdorff ) ; * @xmath41 is a local homeomorphism of @xmath29 onto @xmath9 ; * each @xmath42 , @xmath43 , is a group called the _
stalk _ of @xmath29 at @xmath25 ; and * the group operations are continuous with respect to the relative topology on the subset @xmath44 of @xmath45 .
[ def:1 ]    for @xmath11 , a continuous map @xmath46 such that @xmath47 is called a _ section _ of @xmath32 over @xmath19 .
the totality of such @xmath27 will be denoted @xmath48 .
note that every element of the group @xmath12 specified by the presheaf functor naturally determines an element of @xmath48 , but the converse is only true locally .
some of the key properties of a sheaf are as follows . if @xmath49 is an open covering of an open set @xmath50 , and if @xmath51 are such that @xmath52 .
furthermore , if @xmath53 are such that latexmath:[$\sigma_\alpha|_{u_\alpha\cap u_\beta } = \sigma_\beta    there exists an element @xmath18 with @xmath55 for all @xmath56 .
the first property implies that if the restrictions of a pair of sections always agree , then the two sections are identical  thus a section over @xmath19 is determined by the totality of its restrictions to subsets of @xmath19 . the second property , somewhat complementary to the first , implies that if pairs of sections always agree on their overlapping regions then global section can be constructed from the local data  thus a section over @xmath19 may be assembled from consistent local sections on subsets of @xmath19 .
a sheaf @xmath29 contains localised information concerning the topological space @xmath9 .
global information about @xmath9 can then be extracted from @xmath29 by consideration of exact sequences , quotients , and so on . given two sheaves @xmath29 and @xmath57 over @xmath9 ,
a sheaf homomorphism @xmath58 is a continuous map such that the stalk map @xmath59 is a homomorphism of @xmath60 into @xmath61 for each @xmath43 . a sequence of sheaf homomorphisms of the form @xmath62 such that the corresponding sequence of stalk maps is exact for all @xmath43
is called a short exact sequence of sheaves .
evidently , exactness is a local property . given a short exact sequence of sheaves , the induced sequence @xmath63 is exact at @xmath64 and @xmath65 , but in general not at @xmath66 .
that is to say , the local exactness of a sequence does not imply exactness with respect to the global sections over @xmath9 .
the measure of inexactness at @xmath66 can then be characterised by cohomology .
recall that in the cohomology theories of @xmath9 one computes @xmath67 where @xmath8 is an abelian group . in sheaf
cohomology the coefficients are not elements of a fixed group @xmath8 but are , rather , local sections of some sheaf @xmath29 over @xmath9 .
more precisely , let @xmath68 be an open covering of @xmath9 .
for any @xmath69 such that @xmath70 , we define the set of @xmath71-cochains by @xmath72 . for
any @xmath73 define the coboundary operator @xmath74 by @xmath75 where @xmath76 and @xmath77 is the sheaf restriction map .
these coboundary operators define a complex @xmath78 and the cohomology groups of this complex are then defined in the usual manner : @xmath79 passing to a direct limit over progressively finer coverings , we obtain the sheaf cohomology groups @xmath80 .
the reader will notice that the definitions in this section run parallel , _ mutatis mutandis _
, to the conventional definitions in the theory of fibre bundles .
the @xmath7-sheaf plays the role of a trivial and the @xmath7-sheaf bundle that of a generally nontrivial fibre bundle .
let @xmath9 and @xmath81 be topological spaces and @xmath82 a sheaf of groups over @xmath9 .
@xmath7-sheaf _ over @xmath9 is a triple @xmath83 such that    * @xmath41 is a local homeomorphism of @xmath81 onto @xmath9 ; * for each @xmath84 , the stalk @xmath85 operates ( by left action ) upon @xmath86 ; and * if @xmath87 is equipped with the relative topology in @xmath88 , then the mapping @xmath89 defined by @xmath90 is continuous .
[ def:2 ]    for any subset @xmath91 , the obvious restriction maps define a @xmath92-sheaf @xmath93 over @xmath0 . in the sequel , when @xmath0 is clearly understood
, we shall , for brevity , use the term @xmath7-sheaf in place of @xmath94-sheaf .
we call @xmath29 a _ principal @xmath7-sheaf _ if @xmath95 and @xmath7 operates by left translation
.    given two @xmath7-sheaves @xmath96 and @xmath97 over @xmath9 , a continuous map @xmath98 will be called a _
@xmath7-sheaf map _ of @xmath29 into @xmath57 provided    * @xmath99 ; and * for each @xmath84 , the induced map @xmath100 satisfies @xmath101 for all @xmath102 and @xmath103 .
[ def:3 ]    again , if @xmath104 , then a @xmath105-sheaf map will , for brevity , be called a @xmath7-sheaf map when the restriction is clearly understood . a
_ @xmath7-sheaf isomorphism _ is a bijective @xmath7-sheaf map .
a _ @xmath7-sheaf bundle _
@xmath106 over a topological space @xmath9 is defined by the following data :    * an open covering @xmath107 of @xmath9 ; * for each @xmath108 , a @xmath7-sheaf @xmath109 over @xmath110 ; and * for each nonempty intersection @xmath111 , a @xmath7-sheaf isomorphism @xmath112 such that the cocycle condition @xmath113 is satisfied on @xmath114 .
[ def:4 ]    we call @xmath106 a _ principal @xmath7-sheaf bundle _ if each @xmath109 is a principal @xmath115-sheaf .
two @xmath7-sheaf bundles @xmath106 and @xmath116 over @xmath9 , defined in terms of the respective open coverings @xmath117 and @xmath118 , are _ equivalent _ provided that the @xmath7-sheaf bundles @xmath119 and @xmath120 induced by the respective restriction maps on some common refinement @xmath121 of @xmath117 and @xmath122 are such that there exist @xmath7-sheaf isomorphisms @xmath123 for each @xmath108 satisfying @xmath124 for all @xmath125 .
remark : of academic interest is the fact that , given a @xmath115-sheaf bundle @xmath106 , one can , from the presheaf defined by local sections of @xmath106 , define a @xmath7-sheaf @xmath126 which in turn uniquely determines the structure of @xmath106 up to equivalence ( kashiwara & schapira 2006 ) .
however , this fact will not be required in the sequel .
[ def:5 ] let @xmath9 be a smooth manifold , @xmath8 a lie group , and @xmath127 a closed central subgroup of @xmath8 .
for each open subset @xmath19 of @xmath9 , let @xmath128 denote the totality of smooth maps @xmath129 , which forms a group under pointwise multiplication , i.e. @xmath130 .
let @xmath131 denote the totality of constant maps @xmath132 , which forms a central subgroup of @xmath128 .
assign to each open @xmath133 the quotient group @xmath134 with the obvious restriction maps , this defines a presheaf ; denote by @xmath135 the corresponding sheaf of groups over @xmath9 , regarded as a principal @xmath136-sheaf , and its restriction to a subset @xmath0 of @xmath9 by @xmath137 . a principal @xmath7-sheaf bundle over @xmath9 such that @xmath138 for some open covering @xmath139 of @xmath9
will , for brevity , be called a _ @xmath140-bundle_.    _ example 1_. with the notation of definition  [ def:4 ] , let @xmath141 be a principal @xmath8-bundle , and @xmath142 an open covering of @xmath9 by trivialising neighbourhoods . on each nonempty intersection
@xmath143 the bundle transition function @xmath144 defines an element of @xmath145 and hence a continuous section @xmath146 of the sheaf @xmath147 .
the germs of @xmath148 , acting by right multiplication , provide a @xmath7-sheaf map @xmath149 , which is obviously bijective , i.e. is a @xmath115-sheaf isomorphism .
moreover , the cocycle condition ( [ eq:3.3 ] ) follows immediately from the corresponding cocycle condition for the bundle transition functions .
thus , we obtain a @xmath140-bundle @xmath150 over @xmath9 .
the following result shows that under a certain simple hypothesis the conventional principal @xmath8-bundles may be identified with a subset of the @xmath140-bundles over @xmath9 . throughout the sequel
, we shall assume that @xmath9 is paracompact , i.e. that every open covering of @xmath9 has a locally finite subcovering .
[ prop:1 ] for fixed @xmath127 , the correspondence @xmath151 induces an injective map of equivalence classes of principal @xmath8-bundles into equivalence classes of @xmath7-sheaf bundles over @xmath9 , provided that the ech cohomology group @xmath152 .
we first prove three lemmata .
[ lem:2.2 ] let @xmath8 be an arbitrary group .
a mapping @xmath153 which commutes with all left translations is a right translation .    proof . given that @xmath154 for all @xmath155 , let @xmath156 .
then @xmath157 for all @xmath158 . @xmath159
recall that @xmath160 denotes the totality of continuous sections of a sheaf @xmath29 over a subset @xmath161 .
[ lem:2.3 ] let @xmath19 be an open subset of the topological space @xmath9 , @xmath8 a group , @xmath29 a principal @xmath7-sheaf over @xmath9 and @xmath162 a @xmath7-sheaf isomorphism .
then , for each point @xmath163 , there exists a neighbourhood @xmath164 of @xmath25 in @xmath19 and a @xmath165 such that @xmath166 for every section @xmath167 and all @xmath168 .    proof . by lemma
[ lem:2.2 ] and condition ii ) of definition  [ def:3 ] , for each @xmath163 there exists a @xmath169 such that @xmath170 for all @xmath171 .
now , fix @xmath172 , and choose any @xmath173 and any section @xmath174 with @xmath175 open in @xmath19 , @xmath176 and @xmath177 .
since @xmath178 is continuous and stalk - preserving , @xmath179 ( @xmath180 ) defines a continuous section of @xmath29 , and by the continuity of the group operations @xmath181 @xmath182 is also a continuous section . for any other section @xmath183 ,
writing @xmath184 we have @xmath185 .
hence , @xmath186 has the desired property .
@xmath159    [ lem:2.4 ] let @xmath187 and @xmath188 be sheaves , @xmath189 an epimorphic sheaf map and @xmath190 .
then , for any @xmath84 , there exists a neighbourhood @xmath164 of @xmath25 and a @xmath191 such that @xmath192 .
this is an elementary fact of sheaf theory ( kultze 1970 , hilfsatz 3.4 ) .
@xmath159    proof of proposition  [ prop:1 ] .
clearly , equivalent principal bundles give rise to equivalent sheaf bundles .
conversely , let @xmath193 and @xmath194 be principal @xmath8-bundles defined in terms of trivialising open coverings @xmath117 and @xmath122 , respectively
. choosing , if necessary , a common refinement , we may suppose that @xmath195 .
then , with the foregoing notation , @xmath196 iff there exist @xmath7-sheaf isomorphisms @xmath197 , @xmath108 , such that @xmath198 on @xmath199 ( @xmath125 ) .
the @xmath7-sheaves @xmath200 and @xmath201 are identical , both arising from the presheaf functor @xmath202 , @xmath203 open in @xmath204 .
let @xmath205 denote the sheaf over @xmath110 defined by the presheaf functor @xmath206 .
then , the presheaf epimorphism @xmath207 induces an epimorphic sheaf map @xmath208 , hence , by lemmata  [ lem:2.3 ] and [ lem:2.4 ] , for each @xmath209 there exists a neighbourhood @xmath210 and a section @xmath211 such that @xmath212 = [ \sigma_{\alpha}][g_{\alpha}^{x } ] = [ \sigma_{\alpha}g_{\alpha}^{x}]$ ] for all @xmath213 , where the square brackets denote cosets in @xmath214 , regarded as continuous sections in @xmath215 .
then , choosing the covering @xmath216 sufficiently fine , we may , by paracompactness , omit the superscript @xmath25 and simply write @xmath212= [ \sigma_{\alpha}g_{\alpha}]$ ] for all @xmath217 , with square brackets denoting cosets in @xmath218 , again regarded as elements of @xmath219 . hence , recalling the definition of the @xmath220 in example 1 , relation ( [ eq:4.1 ] ) implies that @xmath221 = [ \sigma_{\alpha}g_{\beta}^{-1 } g_{\alpha\beta } g_\alpha ]    \label{eq:4.2}\end{aligned}\ ] ] on @xmath222 . since @xmath223 is arbitrary , this clearly means that @xmath224 for certain constant functions @xmath225 applying the cocycle condition for principal bundles to both members of ( [ eq:4.3 ] ) , we deduce that the constants @xmath226 also satisfy the cocycle condition , and therefore define an element of @xmath227 . hence ,
if the covering @xmath228 is chosen sufficiently fine , then , by hypothesis , there exists a 0-cochain @xmath229 such that @xmath230 . defining @xmath231
we find that ( [ eq:4.3 ] ) becomes @xmath232 which is the condition for equivalence of @xmath2 and @xmath233 .
@xmath159    as used in the foregoing proof , lemmata  [ lem:2.3 ] and [ lem:2.4 ] show that for a sufficiently fine covering @xmath234 the transition sheaf isomorphisms of a @xmath140-bundle are of the form @xmath235 for fixed @xmath236 and arbitrary @xmath237 .
likewise , the @xmath7-sheaf isomorphisms @xmath238 in the definition of @xmath7-sheaf bundle equivalence are of the form @xmath239 for fixed @xmath240 and arbitrary @xmath241 .    a standard theorem states that equivalence classes of principal @xmath8-bundles over @xmath9 correspond biuniquely to elements of the sheaf cohomology set @xmath242 . in view of ( [ eq:4.6 ] ) , the argument used in proving this theorem ( see , e.g. , lawson & michelsohn 1989 , appendix a )
can also be applied in a straightforward manner to yield the following result .
the equivalence classes of @xmath140-bundles over @xmath9 correspond biuniquely to elements of the sheaf cohomology set @xmath243 . for @xmath244 ,
this correspondence reduces to the standard theorem cited above .
[ cor:4.05 ]    if @xmath8 is abelian , then proposition  [ prop:1 ] follows more directly from standard results as follows .
let @xmath245 denote the sheaf arising from the constant presheaf defined by @xmath246 .
the short exact sequence @xmath247 induces a sequence of sheaf maps @xmath248 which is easily seen to be exact .
this in turn induces a long exact cohomology sequence which includes , in particular , the segment @xmath249 for a paracompact @xmath8-manifold @xmath9 the sheaf cohomology group @xmath250 is known to be isomorphic to the ech cohomology group @xmath251 as well as the singular cohomology group @xmath252 with coefficients in @xmath127 ( spanier 1994 , chapter  6 ) .
hence , if @xmath253 , then the exactness of the above sequence implies that @xmath254 is injective .
denoting the totality of equivalence classes of principal @xmath8-bundles ( resp .
@xmath140-bundles ) by @xmath255 ( resp .
@xmath256 ) , we note that the diagram @xmath257 where the upper arrow represents the correspondence @xmath258 and the vertical arrows the biunique correspondence of corollary  [ cor:4.05 ] , is commutative .
the result follows .
relations ( [ eq:4.6 ] ) and ( [ eq:4.7 ] ) also imply :    for the special case @xmath259 ( the identity of @xmath8 ) , the @xmath140-bundles can be identified with conventional principal @xmath8-bundles , and @xmath7-sheaf equivalence is merely conventional bundle equivalence .
[ cor:4.5 ]    thus , for @xmath259 the present theory yields nothing new .
however , for @xmath260 and @xmath261 we obtain a nontrivial extension of the conventional theory of principal bundles , as we shall see , in particular , from the example in the next section , wherein @xmath262 .
note that the set of data @xmath263 ( see definition  [ def:5 ] and ( [ eq:4.6 ] ) ) , subsequently referred to as a _ presentation _ of the @xmath140-bundle under consideration , plays a role analogous to that of a system of local trivialisations in the conventional theory of principal bundles .
if @xmath118 is a refinement of @xmath264 , then @xmath265 induces , in the obvious manner , a presentation @xmath266 associated with @xmath118 .
recalling the definition of @xmath7-sheaf equivalence ( see ( [ eq:3.4 ] ) ) , relations ( [ eq:4.6 ] ) and ( [ eq:4.7 ] ) imply that two presentations @xmath265 and @xmath266 associated with the same covering @xmath267 define equivalent @xmath140-bundles iff there exist elements @xmath268 such that the respective transition elements @xmath236 and @xmath269 satisfy @xmath270 for all @xmath271 and @xmath272 .
if the associated open coverings @xmath117 and @xmath118 are different , then the condition for equivalence is given by ( [ eq:4.8 ] ) with respect to some common refinement @xmath273 of @xmath117 and @xmath118 .
another immediate consequence of ( [ eq:4.6 ] ) is the fact that @xmath140-bundles , like conventional @xmath8-bundles , are functorial , i.e. a @xmath140-bundle @xmath274 over @xmath9 and a continuous map @xmath275 naturally induce a @xmath140-bundle @xmath276 over @xmath277 , since the transition sections @xmath236 on @xmath9 pull back to sections on @xmath277 which obviously satisfy the cocycle condition .
moreover , one can prove that if @xmath9 and @xmath277 are compact hausdorff spaces and the maps @xmath278 and @xmath279 are homotopic , then @xmath276 and @xmath280 are equivalent ( cf .
lawson & michelsohn 1990 , appendix a ) .
let @xmath281 and @xmath282 .
we represent @xmath283 by the unit sphere in @xmath284 , with spherical polar coordinates @xmath285 , ( @xmath286 , @xmath287 ) , and @xmath1 by @xmath288 . for the open covering @xmath289 of @xmath283 , we have @xmath290 .
let @xmath7 be the sheaf of smooth @xmath1-valued functions over @xmath283 .
let @xmath10 denote the presheaf over @xmath283 defined for each open @xmath203 by @xmath291 @xmath29 the associated @xmath7-sheaf , and @xmath292 @xmath293 . if @xmath294 is an arbitrary real number , define a @xmath7-sheaf isomorphism @xmath295 by @xmath296 for @xmath297 , where @xmath298 is the section of @xmath299 defined locally by @xmath300 .
\label{eq:5.5}\end{aligned}\ ] ] here the square brackets indicate the equivalence class modulo constant sections @xmath301 .
denote the @xmath140-bundle so defined by @xmath302 .
if @xmath303 is an integer , then @xmath304 is just the principal @xmath115-sheaf bundle @xmath305 arising from the conventional @xmath1-bundle @xmath306 of charge @xmath307 ( in the appropriate units ) , in accordance with the construction of example  1 . in general , for an arbitrary abelian group @xmath127 , the ech cohomology groups are given by @xmath308 ( see , e.g. , spanier 1994 ) .
in particular , we have @xmath309 .
hence , by proposition  [ prop:1 ] , the sheaf bundles @xmath304 are mutually inequivalent .
that @xmath310 implies @xmath311 for arbitrary real @xmath294 and @xmath312 will be proved in  [ sec:6 ] below .
from the foregoing construction , the truth of the following proposition should be evident .
[ prop:5.1 ] let @xmath313 be the transition functions for some trivialising atlas of a principal @xmath1-bundle @xmath2 over the base space @xmath9 .
then , for any real number @xmath294 , the powers @xmath314 define the transition isomorphisms of a @xmath315-bundle @xmath316 over @xmath9 . if the ech cohomology group @xmath317 , then the principal @xmath1-bundles @xmath306 defined by the transition functions @xmath318 , if mutually inequivalent , correspond bi - uniquely with mutually inequivalent @xmath315-bundles @xmath319 .
the final assertion is merely an application of proposition  [ prop:1 ] .
the lie algebra of @xmath8 will be denoted by @xmath320 and the algebra of smooth @xmath320-valued differential forms on a manifold @xmath321 by @xmath322 .
a _ connection _ @xmath323 on a @xmath140-bundle @xmath29 given in terms of a presentation @xmath324 is specified by a family of @xmath320-valued 1-forms @xmath325 satisfying is a matrix group . ]
@xmath326 for all @xmath327 and @xmath328 .
[ def:6 ]    both terms on the right side of ( [ eq:6.1 ] ) are unambiguously defined as follows .
the value of @xmath236 at @xmath329 is an element of @xmath330 , represented by @xmath331 for some neighbourhood @xmath164 of @xmath25 , and @xmath332 is in turn represented by a section @xmath333 . the first term on the right side of ( [ eq:6.1 ] ) is then defined by @xmath334 , and the second by @xmath335 .
any two possible choices @xmath313 differ only by a constant factor in @xmath127 , which affects neither term .
two such connections @xmath323 and @xmath336 defined in terms of the respective presentations @xmath265 and @xmath266 are _ equivalent _ , provided that , for some common refinement @xmath267 of the two respectively associated open coverings @xmath117 and @xmath118 with ( cf . ( [ eq:4.8 ] ) ) @xmath337 the relation @xmath338 holds for all @xmath339 and @xmath340
. here the right side of ( [ eq:6.3 ] ) is interpreted in the same manner as that of ( [ eq:6.1 ] ) . by choosing a sufficiently fine covering ,
the above - mentioned neighbourhoods @xmath164 may , by paracompactness , be identified with the trivialising neighbourhoods @xmath110 , so that the representative sections @xmath341 and @xmath342 may be regarded as elements of @xmath343 and @xmath344 , respectively .
the @xmath341 then satisfy the cocycle condition modulo locally constant sections in @xmath127 , which suffices to ensure the mutual consistency of the relations ( 6.1 ) as the indices @xmath56 and @xmath345 vary over @xmath346 .
the _ curvature _ of such a connection is defined in the conventional manner , i.e. for each @xmath110 we have @xmath347 .
\label{eq:6.4}\end{aligned}\ ] ] by the same calculation as that used for conventional principal bundles , one finds , using ( 6.1 ) , that @xmath348 for @xmath328 . furthermore ,
if @xmath349 and @xmath350 are related by ( [ eq:6.3 ] ) , then @xmath351 if @xmath193 is a principal @xmath8-bundle and @xmath127 a central closed subgroup of @xmath8 , then an ordinary connection @xmath0 on @xmath2 clearly gives rise to a connection @xmath323 on @xmath352 in the sense of definition  [ def:6 ] , and the conventional local curvature forms then coincide with those of @xmath323 as defined in ( [ eq:6.4 ] ) .
by virtue of the relations ( [ eq:6.5 ] ) and ( [ eq:6.6 ] ) , characteristic classes of @xmath140-bundles can be defined and shown to be independent of the choice of the presentation and the choice of the connection @xmath323 , as for conventional principal bundles .
we now define a connection on the dirac sheaf bundle @xmath353 ( @xmath354 ) . using the notation of
[ sec:5 ] , let @xmath355 denote the presentation @xmath356 , and let @xmath357 \rd\phi \in \lambda^1(u_\alpha , { \mathfrak u}(1 ) ) \label{eq:6.7}\end{aligned}\ ] ] be the corresponding local 1-forms .
on @xmath358 we have @xmath359 in accordance with ( [ eq:6.1 ] ) .
the curvature is given by @xmath360 and hence the first chen class is @xmath361 , where @xmath362 is the area form on the unit 2-sphere .
this shows that the sheaf bundles @xmath302 for distinct @xmath294 are inequivalent , as claimed above .    for simplicity of exposition and to emphasise the analogy with the conventional hopf fibration @xmath363 , the dirac sheaf bundle and the corresponding monopole connection
have been constructed over @xmath364 as base space . however , with a view to physical applications , the same construction applies verbatim if the base space is the subset of minkowski space defined by @xmath365 .
again , expressing @xmath366 by spherical polar coordinates , formulae ( 5.1 ) , ( 5.2 ) and ( 5.6 ) remain unchanged . thus , for arbitrary real @xmath294 , one obtains a @xmath315-bundle over @xmath367 with field strength ( [ eq:6.9 ] ) .
remark : according to the conventional bundle picture , there are no singularity - free gauge potentials @xmath368 with the properties that ( i ) their curls are equal to the field , and that ( ii ) they are related by gauge transformations on the overlapping region @xmath358 , unless electromagnetic charges are quantised ( wu & yang 1975 , theorem 3 ) .
the above result demonstrates that this conclusion is not valid in the present generalised model .
let @xmath8 be a lie group , @xmath127 a closed subgroup of @xmath8 , and @xmath369 a representation of @xmath8 on a ( real or complex ) vector space @xmath370 .
let @xmath9 be a smooth paracompact manifold , and for each open @xmath371 , let @xmath372 denote the totality of smooth maps @xmath373 .
if @xmath374 and @xmath375 , define @xmath376 by @xmath377 . denote by @xmath378 the quotient space of @xmath379 under this action of @xmath127 .
if @xmath380 , then the restriction of @xmath379 to @xmath381 obviously commutes with the action of @xmath127 , and thus one obtains a restriction map @xmath382 .
if @xmath383 , then @xmath384 , hence the system @xmath385 defines a presheaf @xmath386 , and a corresponding sheaf @xmath387 are to be interpreted with groups replaced by vector spaces and homomorphisms by linear transformations . ]
next , for @xmath84 , define a left action of the stalk @xmath388 of the sheaf @xmath389 ( see definition 5 ) upon @xmath390 as follows . for some neighbourhood @xmath19 of @xmath25 , the germ @xmath391
is represented by an element @xmath392 and @xmath393 in turn by a section @xmath394 , while @xmath395 is represented by an element @xmath395 of @xmath378 and @xmath395 in turn by a section @xmath396 .
define @xmath397 as the element of @xmath390 represented by the section @xmath398 .
one can readily check that this is independent of the choices of @xmath399 and @xmath400 .
let @xmath401 be a @xmath140-bundle defined by a presentation @xmath402 . a _ particle field
_ is a system of sections @xmath403 satisfying the condition @xmath404 for every @xmath271 and @xmath272 . the totality of such particle fields will be denoted by @xmath405 .
[ def:7 ]    inspection of the foregoing construction clearly shows that for @xmath406 this definition effectively reduces to that of a conventional particle field ( cf .
corollary  [ cor:4.5 ] ) , i.e. a section of the associated bundle @xmath407 defined by a principal @xmath8-bundle and a representation @xmath408 .
also , note that if @xmath409 , then @xmath405 is _ not _ a vector space .
nevertheless , one can define covariant derivatives on @xmath410 , as is shown by the ensuing examples 2 and 3 .
let @xmath411 be the local potentials of a connection @xmath323 with respect to some presentation @xmath265 , as in definition 6 .
consider a point @xmath412 , and choose local coordinates @xmath413 in a neighbourhood @xmath414 of @xmath25 so that @xmath415 with @xmath416 .
let @xmath417 and choose a section @xmath418 representing @xmath419 in some neighbourhood @xmath420 of @xmath25 , with @xmath421 . then define @xmath422(x )
= ( ( \partial_\mu - a_{\alpha\mu})v_\alpha)_x , \label{eq:7.2}\end{aligned}\ ] ] where @xmath423 acts upon @xmath424 in accordance with the lie algebra representation induced by @xmath425 .
this germ is clearly independent of the choice of @xmath400 , and thus one obtains a well - defined section of @xmath426 .
moreover , for @xmath427 , @xmath428 that is , if @xmath419 and @xmath429 are related by ( [ eq:7.1 ] ) , then so are their covariant derivatives . to establish ( [ eq:7.3 ] ) note that both sides of the equation are well - defined local sections of @xmath430 .
hence we may choose arbitrary representatives @xmath424 , @xmath431 , and @xmath313 of @xmath419 , @xmath432 , and @xmath236 , respectively , to perform the calculation .
we choose representatives satisfying the relation @xmath433 , and by a routine computation , as for conventional minimal coupling , we verify that @xmath434 which implies ( [ eq:7.3 ] ) . choosing a
sufficiently fine open covering , we may , by paracompactness , identify the aforesaid open sets @xmath420 with the @xmath110 , and hence assume that @xmath435 .
accordingly , we let @xmath436 denote the element of @xmath437 determined by ( [ eq:7.3 ] ) . for each @xmath56
one can define a 1-form @xmath438 on @xmath110 assuming values in the sheaf @xmath439 , and ( [ eq:7.3 ] ) shows that these combine to provide a global @xmath439-valued form @xmath440 on @xmath9 .
the quantisation of the gauge and particle fields described above will be investigated elsewhere .
accordingly , we shall not attempt to define lagrangians in the present paper .
rather , we shall merely postulate that the equations of motion derived in conventional gauge field theory are also valid in the present context .    _
example 2_. _ generalised interaction of dirac monopole with charged scalar field_. consider the fundamental representation of @xmath1 , that is , @xmath441 for @xmath442 .
we consider the dirac sheaf bundle @xmath302 and connection below , @xmath443 , where @xmath0 is the connection form for the conventional dirac monopole . ]
@xmath444 defined over the subset @xmath445 of minkowski space , as described in  6 .
let @xmath446 be a particle field associated with @xmath302 by the representation @xmath425 , as in definition  [ def:7 ] .
the classical equation of motion for a spin-0 charged particle interacting with an electromagnetic potential @xmath0 on minkowski space is @xmath447 where the charge factor @xmath448 has been absorbed into @xmath0 .
if @xmath449 is replaced by @xmath450 , then , by virtue of relation ( [ eq:7.3 ] ) , both sides of the equation @xmath451 are well - defined elements of @xmath452 .    remark : a solution of ( [ eq:7.7 ] ) might be physically described as a ` wave function ' determined only up to a locally constant phase factor .
current dogma holds that a globally constant phase factor is undetectable , but the detectability of a locally constant phase factor using a physical measuring apparatus also seems problematical .
hence , the model described in the present example appears to be physically plausible .    the use of induced bundles to describe conventional interactions between gauge fields and particle fields initially defined in terms of different principal bundles ( see bleecker 1981 ) can be extended to @xmath140-bundles in a straightforward manner .
if @xmath29 and @xmath57 are , respectively , @xmath140- and @xmath453-bundles defined over the same base space @xmath9 , then , passing to a common refinement if necessary , we may assume that @xmath29 and @xmath57 are given in terms of presentations @xmath265 and @xmath266 over the same system of trivialising neighbourhoods @xmath139 with transition isomorphisms determined by @xmath236 and @xmath269 , respectively .
then , the pairs @xmath454 define a @xmath455-bundle @xmath456 over @xmath9 , with a presentation @xmath457 .
furthermore , if @xmath458 and @xmath459 are the local 1-forms of connections @xmath323 and @xmath336 relative to the presentations @xmath265 and @xmath266 , respectively , then the local 1-forms @xmath460 determine a connection on @xmath461 relative to the presentation @xmath462 .
now , let @xmath408 and @xmath463 be linear representations on a vector space @xmath370 such that @xmath464 for all @xmath465 .
then @xmath466 defines a linear representation @xmath467 .
the elements of @xmath468 represent particle fields which interact with potentials defined on @xmath29 as well as those defined on @xmath57 .    _
example 3_. _ generalised interaction of dirac monopole and spinor field_. let @xmath425 denote the representation of @xmath1 on @xmath469 defined by scalar multiplication @xmath470 , and let @xmath471 , where @xmath472 and @xmath473 .
then @xmath425 and @xmath474 obviously commute in the foregoing sense , hence @xmath475 defines a representation of @xmath476 on @xmath469 .
let @xmath302 be the dirac @xmath315-bundle over @xmath477 , with connection forms @xmath478 ( @xmath479 ) relative to the presentation @xmath355 , as in ( [ eq:6.7 ] ) , extended from @xmath283 to @xmath477 in the obvious manner , as described in
[ sec:6 ] .
let @xmath57 be the trivial @xmath480-bundle over @xmath477 , or essentially @xmath481 , with trivial connection forms @xmath482 corresponding to the trivial presentation @xmath483 .
thus , in this case the local 1-forms @xmath484
so the action of @xmath485 upon the local section @xmath486 is simply pointwise multiplication by the imaginary number @xmath487 .
the conventional dirac equation in the presence of an electromagnetic potential , transcribed in the present context , becomes @xmath488 again , by virtue of ( [ eq:7.3 ] ) , both sides of ( [ eq:7.8 ] ) represent well - defined elements of @xmath489 .
as indicated by the remarks in  [ sec:1 ] , the mechanism of charge quantisation _ a la _ dirac is not an exclusive feature of the classical dirac monopole alone .
the essential ingredient is a _ nontrivial _
@xmath1 bundle over some spacetime .. ] therefore , consideration of various other examples could be theoretically instructive as well as suggesting possible examples of applications to physical phenomena .
the foregoing ansatz for construction of the dirac sheaf bundle can likewise be applied to cases where the underlying manifold @xmath9 is not a two - sphere .
recall that given a principal bundle @xmath2 with abelian structure group @xmath8 and transition functions @xmath313 for some trivialising atlas @xmath117 , the powers @xmath490 for integral @xmath6 are the transition functions of a principal @xmath8-bundle @xmath306 with respect to the same atlas .
moreover , if @xmath491 are the local 1-forms of a connection @xmath0 on @xmath2 , then one can easily check that @xmath492 provide the local 1-forms of a connection @xmath493 on @xmath306 .
furthermore , if @xmath494 , then @xmath495 for the curvature ( field strength ) of @xmath493 .
this means that if @xmath496 is a characteristic class of @xmath2 , then the corresponding class of @xmath306 is just @xmath497 .
in particular , this applies to the chen classes .
now , in accordance with the discussion in  [ sec:6 ] , we can proceed similarly in the context of @xmath315-bundles , replacing the integer @xmath6 by the arbitrary real number @xmath294 , and deduce that if @xmath498 is the @xmath499th chen class of the circle bundle @xmath2 , then @xmath500 is the corresponding chen class of the @xmath315-bundle @xmath316 . to illustrate , consider the canonical connection on a circle bundle over the complex projective plane , which defines a gravitational and electromagnetic instanton . as local minima of the riemannian hilbert - maxwell action ,
such instantons provide significant contributions to the partition function in the joint path integral quantisation of the gravitational and electromagnetic fields , thus playing a role analogous to that of the usual instantons in the pure yang - mills theory ( cf . gibbons & hawking 1979 ; eguchi & hanson 1979 ) .    _
example 4_. _ gravitational and electromagnetic instanton_.
let @xmath501 and consider the canonical @xmath1 bundle over @xmath9 .
the complex projective plane @xmath502 with coordinates @xmath503 satisfying @xmath504 is the quotient space of the five - sphere @xmath505 by the circle action @xmath506 .
we regard @xmath505 as a subspace of @xmath507 : @xmath508 is defined by @xmath509 .
parameterising @xmath505 by @xmath510 where @xmath511 $ ] , @xmath512 , formula ( 8.2 ) becomes @xmath513 as trivialising neighbourhoods , let @xmath514 .
writing @xmath515 for the inhomogeneous coordinates on @xmath516 , a section @xmath517 over @xmath516 is given by @xmath518 similarly , we have @xmath519 for sections over @xmath520 and @xmath521 , respectively . by virtue of the relation @xmath522 the transition function of the @xmath1 bundle on , say ,
@xmath523 is given by @xmath524 .
similarly , we have @xmath525 and @xmath526 .
thus the generic transition function is simply @xmath527 .
the canonical connection on the bundle is given by the hermitian inner product @xmath528 . in terms of the local coordinates on @xmath516 , given by @xmath529 and @xmath530
the local connection form is @xmath531 $ ] .
a similar calculation shows that the local connection form on @xmath532 reads @xmath533 $ ] and @xmath534 $ ] . using the relation @xmath535 , we see at once that the local connection forms are related by the gauge transformation @xmath536 , where @xmath537 .
similarly we have @xmath538 with @xmath539 and @xmath540 with @xmath541 .
calculating the field strength @xmath542 on @xmath516 , say , we obtain @xmath543 .
\label{eq:8.9}\end{aligned}\ ] ] this expression for @xmath81 in ( [ eq:8.9 ] ) agrees with the one obtained by trautman ( 1977 ) ; an alternative expression is given by gibbons & pope ( 1978 ) using different local coordinates .
the field @xmath81 is self - dual with vanishing energy - momentum tensor , and thus , along with the fubini - study metric on @xmath544 , solves the einstein - maxwell equation with cosmological constant . at this point , one can merely speculate upon the possible incorporation of the corresponding @xmath315-bundles @xmath316 into the above - mentioned path integral formalism .    _
example 5_. the field @xmath81 defined on @xmath545 induces solutions to the maxwell equation on analytic submanifolds of @xmath545 .
trautman ( 1977 ) considered an example given by the veronese embedding ( cf .
brody & hughston 2001 ) of @xmath546 in @xmath545 . for @xmath547
this is the embedding @xmath548 , which defines a conic @xmath549 in @xmath544 .
a short calculation shows that , in terms of the spherical polar coordinates @xmath285 of @xmath550 , the local connection forms of the bundle on the two hemispheres @xmath532 are given by @xmath551 .
comparison with ( [ eq:6.7 ] ) for @xmath552 shows that @xmath553 .
thus , the electromagnetic field induced on @xmath283 corresponds to a magnetic pole of unit strength , which might appropriately be called the _
trautman monopole_. another elementary example is the solution to the maxwell equation arising from the segr embedding of @xmath554 in @xmath555 ; this defines a quadric @xmath556 in @xmath555 . in terms of the spherical polar coordinates @xmath557 of @xmath556 one finds at once that the local connection forms on @xmath556 are given by @xmath558 $ ] in the respective trivialising neighbourhoods @xmath532 .
thus , we obtain a pair of disjoint dirac monopoles .
the potential physical significance of the extensions to nonintegral charges @xmath294 would , of course , be similar to that of the simple dirac sheaf bundles described in  [ sec:5 ] .
remark : a nontrivial example of a new solution to the maxwell equation on a torus @xmath559 can be constructed by pulling the field @xmath81 back to @xmath559 via the elliptic curve @xmath560 in @xmath544 . here , @xmath561 is the complex coordinate of the torus and @xmath562 denotes the weierstra @xmath563-function .
remark : since the equivalence classes of principal @xmath1-bundles over @xmath9 are indexed by @xmath564 ( see lawson & michelsohn 1990 , appendix a ) , any realisation of the usual hypothesis of charge quantisation through a topological mechanism is excluded in cosmological models over a contractible base , such as the schwarzschild universe ( see also trautman 1979 ) .
this constitutes an apparent contradiction with certain grand unified theories which require the existence of monopoles ( t hooft 1974 ) . the author is not aware of any ansatz whereby
this apparent contradiction could be resolved .
consider the short exact sequence of lie groups @xmath565 with @xmath127 closed and central in @xmath8 .
as described in example 1 , a principal @xmath8-bundle @xmath193 canonically determines a @xmath140-bundle @xmath566 over @xmath9 . in the special case where @xmath127 is discrete ,
a principal @xmath567-bundle @xmath568 canonically determines a @xmath140-bundle over @xmath9 as follows .
let @xmath569 denote the transition functions of @xmath570 relative to a trivialising open covering @xmath571 of @xmath9 .
since @xmath127 is discrete , the above epimorphism @xmath572 is a local homeomorphism , hence , for any @xmath328 , there exists a neighbourhood @xmath164 of @xmath25 , with @xmath573 , and a smooth mapping @xmath574 such that @xmath575 , and any two such @xmath576 and @xmath577 are related by @xmath578 for some constant @xmath579 .
therefore , @xmath576 uniquely defines an element @xmath580 of @xmath214 ( see ( [ eq:3.5 ] ) ) and hence a continuous section @xmath581 of the sheaf @xmath582 .
for @xmath583 we have @xmath584 hence , @xmath585 , and since @xmath127 is discrete , this product must be constant in some neighbourhood @xmath586 of @xmath25 .
thus , @xmath587 in @xmath588 , and we replace @xmath164 by @xmath420 . passing to a suitable refinement of @xmath117 , we may , by paracompactness , identify the @xmath420 with the intersections @xmath589 , discard the superscripts @xmath25 from the @xmath590 , and thereby obtain , as in example 1 , transition sheaf isomorphisms @xmath591 where @xmath592 , which satisfy the cocycle condition by virtue of ( [ eq:9.2 ] ) .
we denote the resulting @xmath140-bundle by @xmath593 .
in particular , if @xmath2 is a principal @xmath8-bundle covering @xmath570 in the sense that the transition functions @xmath313 of @xmath2 with respect to some common trivialising open covering for @xmath2 and @xmath570 satisfy the relation @xmath594 then we may select @xmath595 in the foregoing construction , and thus @xmath593 coincides with the @xmath140-bundle @xmath150 described in example 1 .
let @xmath596 denote the lie algebra of @xmath567 , and let @xmath0 be a conventional connection on @xmath570 .
relative to a given system of local trivialisations over the open covering @xmath597 , with transition functions @xmath598 , @xmath0 is determined by a family of @xmath599-valued 1-forms @xmath600 satisfying @xmath601 for all @xmath328 .
relative to another system of local trivialisations over @xmath117 , with transition functions @xmath602 , the same connection @xmath0 is represented by the 1-forms @xmath603 for a sufficiently fine covering , we can choose sections @xmath604 and @xmath605 such that @xmath606 and , as above , @xmath607 .
these choices are unique modulo constant multiplicative factors in @xmath608 and @xmath609 , respectively .
furthermore , the covering map @xmath449 induces a lie algebra isomophism @xmath610 . applying @xmath611 to ( [ eq:9.5 ] ) and ( [ eq:9.6 ] )
, we obtain @xmath612 and @xmath613 let @xmath236 and @xmath614 denote the sections of @xmath615 and @xmath616 determined by @xmath313 and @xmath617 , respectively , and write @xmath618 , @xmath619 . then ( [ eq:9.7 ] ) and ( [ eq:9.8 ] ) imply the relations @xmath620 and @xmath621 in accordance with the explanatory remarks following ( [ eq:6.1 ] ) and ( [ eq:6.3 ] ) .
thus , the family of 1-forms @xmath622 , corresponding to the presentation @xmath623 , where , as usual , @xmath624 , determines a connection @xmath323 on the @xmath140-bundle @xmath593 in the sense of definition  [ def:6 ] .    of particular physical interest
is the case where @xmath625 , @xmath626 ( the superscript @xmath627 denoting the component of the identity ) and @xmath449 is the canonical homomorphism with kernel @xmath628 . given a principal @xmath567-bundle @xmath570 over @xmath9 , a well - known theorem ( lawson & michelsohn 1990 , friedrich 2000 ) states that @xmath570 is covered by some principal @xmath8-bundle @xmath2 in the above sense iff the second stiefel class @xmath629 vanishes , and then the equivalence classes ( i.e. bundle equivalence compatible with the covering map onto @xmath570 ) of such coverings @xmath2 ( known as _ spin structures _ )
are parameterised by the elements of @xmath630 .
inequivalent spin structures may ( or may not ) be inequivalent as abstract @xmath8-bundles over @xmath9 .
nevertheless , this can entail no inconsistency with proposition  [ prop:1 ] , since , if the hypothesis of that proposition is satisfied , then , by the above - cited theorem , there exists at most one spin structure @xmath2 over @xmath570 , and hence at most one @xmath150 , which , if existent , coincides with @xmath593 .
however , the _ quasispin structure _
@xmath593 exists in any case , even if @xmath150 does not .
specifically , let @xmath9 be a smooth lorentzian manifold and @xmath570 the orthonormal frame bundle of @xmath9 .
the levi - civita connection @xmath631 on @xmath570 then determines , as above , a connection @xmath632 on @xmath593 , and the spin representation @xmath633 , where @xmath634 denotes the spin module , gives rise to a space @xmath635 of particle fields ( see definition  [ def:7 ] ) .
covariant differentiation in @xmath439 is then well - defined , just as was indicated , using local coordinates , in examples 2 and 3 .
relative to a given trivialisation over @xmath110 in a sufficiently fine open covering , a quasispinor field @xmath636 is represented by a smooth section @xmath637 , determined up to a constant factor @xmath638 , that is , up to a sign @xmath639 .
using the local 1-form @xmath640 relative to the given trivialisation , one obtains a conventional dirac operator @xmath641 over each @xmath110 , which , applied to @xmath642 , yields a section @xmath643 , likewise defined up to a sign .
let @xmath644 denote the element of @xmath645 determined by @xmath642 .
since the dirac operator behaves covariantly with respect to gauge transformations @xmath646 , the relations ( [ eq:7.1 ] ) , with @xmath647 , imply corresponding relations for the sections @xmath643 , which thus combine to yield an element @xmath648 .    according to a well - known theorem of geroch ( 1968 ) , the orthonormal frame bundle of a noncompact lorentzian manifold @xmath9 possesses a spin structure iff @xmath9 is parallelisable .
a specific example of a noncompact lorentzian manifold not admitting a spin structure is described , e.g. , in clarke ( 1971 ) .
the present formalism permits the global description of fermionic fields on such spacetimes , and the local properties of quasispinor fields and quasi - dirac operators in this context are clearly identical with those of their conventional counterparts .
the foregoing considerations are likewise applicable to the construction of quasispinor fields and quasi - dirac operators on oriented riemannian manifolds , with @xmath649 , @xmath650 and @xmath628 . in the conventional theory ,
the index of the dirac operator on a ` spinnable ' manifold @xmath9 is expressible , by the atiyah - singer index formula , in terms of the chen classes of @xmath9 ( lawson & michelsohn 1990 ; berline _ et al_. 1992 ) . even if @xmath9 is not spinnable , this expression is still well - defined . on the other hand ,
since @xmath439 is not a vector space , the index of the quasi - dirac operator @xmath651 can not be defined in the conventional manner . of course
, one could , by fiat , simply define the index of the quasi - dirac operator as the value of the atiyah - singer expression .
however , a more interesting approach would consist in providing a general geometrical definition of the index for differential operators on @xmath439 , and proving that its value for the quasi - dirac operator is given by the atiyah - singer formula .
this appears to pose a not entirely trivial problem .
in the pseudoriemannian case , if @xmath9 is not space and time orientable , then one deals with pin structures ( see chamblin and gibbons 1997 for a discussion of physical applications ) .
since the homomorphism @xmath652 is also a double covering , the foregoing construction is directly applicable , and one thus obtains _ quasipin structures _
, even if true pin structures fail to exist .
@xmath653-structures can also be generalised in a similar vein , but since in this case the central subgroup @xmath654 is not discrete , the situation is somewhat more complicated and will be dealt with elsewhere .
mathematically sophisticated expositions of gauge theory tend to define connections and curvature _ ab initio _ on the total space of a principal bundle before pulling these quantities down to the base space via local trivialisations .
some readers may , perhaps , inquire why we have not adopted this more elegant approach .
the reason is that our sheaf bundles are not hausdorff spaces , hence not manifolds , so the tangent spaces are undefined .
consequently , we must adopt the orthodox physical practice of working in terms of local sections .    in the relevant literature one occasionally observes heuristic statements to the effect that topological solitons already display certain quantal effects at the classical level .
since charge renormalisation and running coupling constants can only result from field quantisation in the conventional theory , one could , in a similar vein , assert that the generalised solitons described above already display quantum field theoretic effects at the classical level .
the coupling constants can walk even before they begin to run .
we have constructed a family of generalised dirac monopoles @xmath302 which include the conventional @xmath304 as special cases .
the @xmath304 interact with conventional wave functions @xmath655 , i.e. sections of the associated vector bundles , and likewise , mathematical consistency in the description of interactions involving the @xmath302 requires the introduction of generalised wave functions @xmath656 which are sections of certain sheaves .
every conventional @xmath655 defines a @xmath656 , but there also exist @xmath656 that do not arise from any @xmath655 .
for example , consider normalised wave functions defined over the circle @xmath657 . in the conventional model ,
these include , e.g. , @xmath658 for integral @xmath6 , but not @xmath659 for arbitrary real @xmath294 . in our model ,
however , the @xmath660 ( and more generally , @xmath661 , where @xmath662 is an ordinary normalised complex - valued function on @xmath663 ) represent well - defined sections of the sheaf @xmath664 , where @xmath282 .
thus , rather than demanding knowledge of a global function on @xmath9 , determined only up to a globally constant phase factor , we merely demand , for any point @xmath84 , the knowledge of a function on some neighbourhood @xmath19 of @xmath25 , and determined only up to a constant phase factor on @xmath19 .
the probabilistic interpretation of such a generalised wave function remains the same as in the conventional theory .
moreover , differentiation with respect to @xmath25 and multiplication by ordinary functions @xmath665 are well - defined , so we can apply hamiltonian operators such as @xmath666 .
magnetic monopoles , of either integral charge or otherwise , have not yet been encountered in experimental studies ( see , e.g. , milton 2006 for the current status of the experimental limits ) .
the discovery of either nonintegral magnetic monopoles or nonintegral electric charges would tend to indicate that the above - described model is not merely more general mathematically but also more realistic physically than the conventional principal bundle model .
such a discovery might therefore cast doubt upon the long - standing assumption that the venues for physical phenomena are necessarily manifolds , and suggest that sheaves , which provide a more local description , constitute the appropriate arenas for physical models .
the sheaf - theoretic dequantisation of solitons and instantons for nonabelian gauge groups constitutes a challenging topic for research , and might have implications for grand unified theories .
the above treatment of the dirac sheaf bundle can be adapted to cases where the dirac monopole is embedded within a nonabelian principal bundle , such as the t hooft monopole .
the validity of the model constructed above would have certain obvious physical consequences .
firstly , the detection of a magnetic monopole would not necessarily imply the quantisation of electromagnetic charges .
conversely , an observed violation of charge quantisation would not necessarily imply the nonexistence of magnetic monopoles .
a definite conclusion concerning the actual physical quantisation of electric charges remains elusive .
for example , explosions of electron bubbles in liquid helium have been observed in the laboratory , suggesting that fractionally charged particles can possibly exist in isolation ( konstantinov & maris 2003 ) , although the interpretation of such experiments is controversial ( jackiw _ et al_. 2001 ; bender _ et al_. 2005 ) .
other physical observations apparently consistent with nonintegral charges include the fractional quantum hall effect ( laughlin 1983 ) and geometric phase measurements in anisotropic spin systems ( bruno 2004 ) . the possible variability of the fine structure constant over the cosmological timescale ( bekenstein 1982 ) and the postulated fractional charges of the quarks in the deconfinement phase could also be relevant to this issue .
a sheaf - theoretic formulation of the underlying quantum theory along the foregoing lines might conceivably clarify some of these diverse phenomena .
the author hereby expresses his gratitude to c.  m.  bender , e.  j.  brody , g.  w.  gibbons , t.  w.  b.  kibble , b.  muratori , and r.  p.  w.  thomas for stimulating and informative discussions in connection with the foregoing material .