Skip to main content
added 560 characters in body
Source Link
Ben Webster
  • 44.7k
  • 12
  • 126
  • 260

OnOK, I made a smooth manifoldreal hash of this the first time, so let me straighten this all out: Azumaya algebras (EDIT and a bundleat least as I understand them) are algebras which are locally isomorphic to $\mathrm{End}(E)$ for $E$ with projectively flat connection)a vector bundle. Note, you can compute the sheaf cohomology of any sheaf using its deRham complexI'm being a little vague here, since there are many contexts, many topologies, etc. Thuswhere one might want to do this. There's a general yoga for understanding such algebras: there's a coordinate atlas where they are trivial, ifso all you look atneed to say is the deRham differentialtrivialization on $\Omega(M,\mathrm{End}(E))$each patch, thenand what the cohomologytransition functions are. This is an element of Čech 1-cocycles for this cover for the global sections issheaf $H^n(M,\mathrm{End}(E))$. Since$\mathrm{End}(E)^*$; you can easily work out that the isomorphic Azumaya algebras are classified by elements ofthose that come from 2-cocyles via the boundary map $H^2(M,\mathrm{End}(E))$, they are classified(you conjugate the transitions by rankthe 2 differential forms which are closed-cocycle).

So, modulo those which are exactthe first sheaf homology of $\mathrm{End}(E)^*$ controls the Azumaya algebras; that's all I was trying to say; since it's a multiplicative sheaf, I think interpreting it as deRham cohomology will be trickier than I first imagined.

On a smooth manifold (EDIT and a bundle $E$ with projectively flat connection), you can compute the sheaf cohomology of any sheaf using its deRham complex. Thus, if you look at the deRham differential on $\Omega(M,\mathrm{End}(E))$, then the cohomology of the global sections is $H^n(M,\mathrm{End}(E))$. Since Azumaya algebras are classified by elements of $H^2(M,\mathrm{End}(E))$, they are classified by rank 2 differential forms which are closed, modulo those which are exact.

OK, I made a real hash of this the first time, so let me straighten this all out: Azumaya algebras (at least as I understand them) are algebras which are locally isomorphic to $\mathrm{End}(E)$ for $E$ a vector bundle. Note, I'm being a little vague here, since there are many contexts, many topologies, etc. where one might want to do this. There's a general yoga for understanding such algebras: there's a coordinate atlas where they are trivial, so all you need to say is the trivialization on each patch, and what the transition functions are. This is an element of Čech 1-cocycles for this cover for the sheaf $\mathrm{End}(E)^*$; you can easily work out that the isomorphic Azumaya algebras are those that come from 2-cocyles via the boundary map (you conjugate the transitions by the 2-cocycle).

So, the first sheaf homology of $\mathrm{End}(E)^*$ controls the Azumaya algebras; that's all I was trying to say; since it's a multiplicative sheaf, I think interpreting it as deRham cohomology will be trickier than I first imagined.

added 62 characters in body
Source Link
Ben Webster
  • 44.7k
  • 12
  • 126
  • 260

On a smooth manifold (EDIT and a bundle $E$ with projectively flat connection), you can compute the sheaf cohomology of any sheaf using its deRham complex. Thus, if you look at the deRham differential on $\Omega(M,\mathrm{End}(E))$, then the cohomology of the global sections is $H^n(M,\mathrm{End}(E))$. Since Azumaya algebras are classified by elements of $H^2(M,\mathrm{End}(E))$, they are classified by rank 2 differential forms which are closed, modulo those which are exact.

On a smooth manifold, you can compute the sheaf cohomology of any sheaf using its deRham complex. Thus, if you look at the deRham differential on $\Omega(M,\mathrm{End}(E))$, then the cohomology of the global sections is $H^n(M,\mathrm{End}(E))$. Since Azumaya algebras are classified by elements of $H^2(M,\mathrm{End}(E))$, they are classified by rank 2 differential forms which are closed, modulo those which are exact.

On a smooth manifold (EDIT and a bundle $E$ with projectively flat connection), you can compute the sheaf cohomology of any sheaf using its deRham complex. Thus, if you look at the deRham differential on $\Omega(M,\mathrm{End}(E))$, then the cohomology of the global sections is $H^n(M,\mathrm{End}(E))$. Since Azumaya algebras are classified by elements of $H^2(M,\mathrm{End}(E))$, they are classified by rank 2 differential forms which are closed, modulo those which are exact.

Source Link
Ben Webster
  • 44.7k
  • 12
  • 126
  • 260

On a smooth manifold, you can compute the sheaf cohomology of any sheaf using its deRham complex. Thus, if you look at the deRham differential on $\Omega(M,\mathrm{End}(E))$, then the cohomology of the global sections is $H^n(M,\mathrm{End}(E))$. Since Azumaya algebras are classified by elements of $H^2(M,\mathrm{End}(E))$, they are classified by rank 2 differential forms which are closed, modulo those which are exact.