We study the quantum sphere $C_q[S^2]$ as a quantum Riemannian manifold in the quantum frame bundle approach. We exhibit its 2-dimensional cotangent bundle as a direct sum $Ω^{0,1}\oplusΩ^{1,0}$ in a double complex. We find the natural metric, volume form, Hodge * operator, Laplace and Maxwell operators. We show that the q-monopole as spin connection induces a natural Levi-Civita type connection and find its Ricci curvature and q-Dirac operator $D$. We find the possibility of an antisymmetric volume form quantum correction to the Ricci curvature and Lichnerowicz-type formulae for $D^2$. We also remark on the geometric q-Borel-Weil-Bott construction.
We introduce the notion of a semi-Riemannian spectral triple which generalizes the notion of spectral triple and allows for a treatment of semi-Riemannian manifolds within a noncommutative setting. It turns out that the relevant spaces in noncommutative semi-Riemannian geometry are not Hilbert spaces any more but Krein spaces, and Dirac operators are Krein-selfadjoint. We show that the noncommutative tori can be endowed with a semi-Riemannian structure in this way. For the noncommutative tori as well as for semi-Riemannian spin manifolds the dimension, the signature of the metric, and the inte…
In order to investigate to what extent the calculus of classical (pseudo-)Riemannian manifolds can be extended to a noncommutative setting, we introduce pseudo-Riemannian calculi of modules over noncommutative algebras. In this framework, it is possible to prove an analogue of Levi-Civita's theorem, stating that there exists at most one torsion-free and metric connection for a given (metric) module, satisfying the requirements of a real metric calculus. Furthermore, the corresponding curvature operator has the same symmetry properties as the classical Riemannian curvature. As our main motivati…
In analogy with classical submanifold theory, we introduce morphisms of real metric calculi together with noncommutative embeddings. We show that basic concepts, such as the second fundamental form and the Weingarten map, translate into the noncommutative setting and, in particular, we prove a noncommutative analogue of Gauss equations for the curvature of a submanifold. Moreover, the mean curvature of an embedding is readily introduced, giving a natural definition of a noncommutative minimal embedding, and we illustrate the novel concepts by considering the noncommutative torus as a minimal s…
Building on the now established presentation of the standard Podles sphere as an example of a noncommutative complex structure, we investigate how its classical Kahler geometry behaves under $q$-deformation. Discussed are noncommutative versions of Hodge decomposition, Lefschetz decomposition, the Kahler identities, and the refinement of de Rham cohomology by Dolbeault cohomology
A one parameter set of noncommutative complex algebras is given. These may be considered deformation quantisation algebras. The commutative limit of these algebras correspond to the algebra of polynomial functions over a manifold or variety. The topology of the manifold or variety depends on the parameter, varying from nothing, to a point, a sphere, a certain variety and finally a torus. The irreducible adjoint preserving representations of the noncommutative algebras are studied. As well as typical noncommutative sphere type representations and noncommutative torus type representations, a new…
The quantum flag manifold ${SU_q(3)/\mathbb{T}^2}$ is interpreted as a noncommutative bundle over the quantum complex projective plane with the quantum or Podleś sphere as a fibre. A connection arising from the (associated) quantum principal $U_q(2)$-bundle is described.
We show that the noncommutative spheres of Connes and Landi are quantum homogeneous spaces for certain compact quantum groups. We give a general construction of homogeneous spaces which support noncommutative spin geometries.
We introduce and study two new examples of noncommutative spheres: the half-liberated sphere, and the free sphere. Together with the usual sphere, these two spheres have the property that the corresponding quantum isometry group is "easy", in the representation theory sense. We present as well some general comments on the axiomatization problem, and on the "untwisted" and "non-easy" case.
We present examples of noncommutative four-spheres that are base spaces of $SU(2)$-principal bundles with noncommutative seven-spheres as total spaces. The noncommutative coordinate algebras of the four-spheres are generated by the entries of a projection which is invariant under the action of $SU(2)$. We give conditions for the components of the Connes--Chern character of the projection to vanish but the second (the top) one. The latter is then a non zero Hochschild cycle that plays the role of the volume form for the noncommutative four-spheres.
The Noncommutative Index Theorem is used to prove that the Chern character of quantum Hopf line bundles over the standard Podles quantum sphere equals the winding number of the representations defining these bundles. This result gives an estimate of the positive cone of the algebraic $K_0$ of the standard quantum sphere.
In this paper, we compute the entire cyclic cohomology of noncommutative 3-spheres. First of all, we verify the Mayer-Vietoris exact sequence of entire cyclic cohomology in the framework of Fréchet $^*$-algebras. Applying it to their noncommutative Heegaard decomposition, we deduce that their entire cyclic cohomology is isomorphic to the d'Rham homology of the ordinary 3-sphere with the complex coefficients.
We discuss a general duality principle, between noncommutative analogues of the standard cube $\mathbb Z_2^N$, and nonocommutative analogues of the standard sphere $S^{N-1}_\mathbb R$. This duality is by construction of algebraic geometric nature, and conjecturally connects the corresponding quantum isometry groups, taken in an affine sense.
The sphere $S^{N-1}_\mathbb R$ has a half-liberated analogue $S^{N-1}_{\mathbb R,*}$, and a free analogue $S^{N-1}_{\mathbb R,+}$. This is a presentation of the construction and main properties of these noncommutative spheres, $S^{N-1}_\mathbb R\subset S^{N-1}_{\mathbb R,*}\subset S^{N-1}_{\mathbb R,+}$, and of their quantum isometry groups.
Noncommutative (NC) sphere is introduced as a quotient of the enveloping algebra of the Lie algebra su(2). Using the Cayley-Hamilton identities we introduce projective modules which are analogues of line bundles on the usual sphere (we call them quantum line bundles) and define a multiplicative structure in their family. Also, we compute a pairing between certain quantum line bundles and finite dimensional representations of the NC sphere in the spirit of the NC index theorem. A new approach to constructing the differential calculus on a NC sphere is suggested. The approach makes use of the pr…
We construct a differential calculus over the noncommutative 4-sphere in the framework of pseudo-Riemannian calculi, and show that for every metric in a conformal class of perturbations of the round metric, there exists a unique metric and torsion-free connection. Furthermore, we find a localization of the projective module corresponding to the space of vector fields, which allows us to formulate a Gauss-Chern-Bonnet type theorem for the noncommutative 4-sphere.
We explore the differential geometry of finite sets where the differential structure is given by a quiver rather than as more usual by a graph. In the finite group case we show that the data for such a differential calculus is described by certain Hopf quiver data as familiar in the context of path algebras. We explore a duality between geometry on the function algebra vs geometry on the group algebra, i.e. on the dual Hopf algebra, illustrated by the noncommutative Riemannian geometry of the group algebra of $S_3$. We show how quiver geometries arise naturally in the context of quantum princi…
It is known that, under strong combinatorial axioms, $O_N\subset O_N^*\subset O_N^+$ are the only orthogonal quantum groups. We prove here similar results for the noncommutative spheres $S^{N-1}_\mathbb R\subset S^{N-1}_{\mathbb R,*}\subset S^{N-1}_{\mathbb R,+}$, the noncommutative projective spaces $P^{N-1}_\mathbb R\subset P^{N-1}_\mathbb C\subset P^{N-1}_+$, and the projective orthogonal quantum groups $PO_N\subset PO_N^*\subset PO_N^+$.
The real sphere $S^{N-1}_\mathbb R$ appears as increasing union, over $d\in\{1,...,N\}$, of its "polygonal" versions $S^{N-1,d-1}_\mathbb R=\{x\in S^{N-1}_\mathbb R|x_{i_0}... x_{i_d}=0,\forall i_0,...,i_d\ {\rm distinct}\}$. Motivated by general classification questions for the undeformed noncommutative spheres, smooth or not, we study here the quantum isometries of $S^{N-1,d-1}_\mathbb R$, and of its various noncommutative analogues, obtained via liberation and twisting. We discuss as well a complex version of these results, with $S^{N-1}_\mathbb R$ replaced by the complex sphere $S^{N-1}_\m…
Noncommutative analogues of n-dimensional balls are defined by repeated application of the quantum double suspension to the classical low-dimensional spaces. In the `even-dimensional' case they correspond to the Twisted Canonical Commutation Relations of Pusz and Woronowicz. Then quantum spheres are constructed as double manifolds of noncommutative balls. Both C*-algebras and polynomial algebras of the objects in question are defined and analyzed, and their relations with previously known examples are presented. Our construction generalizes that of Hajac, Matthes and Szymanski for `dimension 2…
This is a copy of the talk given at the conference ``Methods in Field Theory'' at Stara Lesna, The Slovak Republic, Sepemeber 22-26, 1997. An introduction to the noncommutative sphere and a summary of the results of articles q-alg/9703038 \cite{Gratus5}, and q-alg/9708003 \cite{Gratus6} is given. This includes results about the the algebra of scalar, spinor and vector fields on the noncommutative sphere. Possible extensions of these results including a ``Wick rotation'' to the one and two sheeted hyperboloid are also examined.
We study the noncommutative Riemannian geometry of the alternating group $A_4=(Z_2 \times Z_2)\cross Z_3$ using a recent formulation for finite groups. We find a unique `Levi-Civita' connection for the invariant metric, and find that it has Ricci-flat but nonzero Riemann curvature. We show that it is the unique Ricci-flat connection on $A_4$ with the standard framing (we solve the vacuum Einstein's equation). We also propose a natural Dirac operator for the associated spin connection and solve the Dirac equation. Some of our results hold for any finite group equipped with a cyclic conjugacy cl…
We introduce the notion of noncommutative complex spheres with partial commutation relations for the coordinates. We compute the corresponding quantum symmetry groups of these spheres, and this yields new quantum unitary groups with partial commutation relations. We also discuss some geometric aspects of the quantum orthogonal groups associated with the mixture of classical and free independence discovered by Speicher and Weber. We show that these quantum groups are quantum symmetry groups on some quantum spaces of spherical vectors with partial commutation relations.
We prove the existence and uniqueness of Levi-Civita connections for strongly sigma-compatible pseudo-Riemannian metrics on tame differential calculi. Such pseudo-Riemannian metrics properly contain the classes of bilinear metrics as well as their conformal deformations. This extends the previous results in references 9 and 10. Star-compatibility of Levi-Civita connections for bilinear pseudo-Riemannian metrics are also discussed.
This paper studies geometric structures on noncommutative hypersurfaces within a module-theoretic approach to noncommutative Riemannian (spin) geometry. A construction to induce differential, Riemannian and spinorial structures from a noncommutative embedding space to a noncommutative hypersurface is developed and applied to obtain noncommutative hypersurface Dirac operators. The general construction is illustrated by studying the sequence $\mathbb{T}^{2}_θ \hookrightarrow \mathbb{S}^{3}_θ \hookrightarrow \mathbb{R}^{4}_θ$ of noncommutative hypersurface embeddings.
A wide class of noncommutative spaces, including 4-spheres based on all the quantum 2-spheres and suspensions of matrix quantum groups is described. For each such space a noncommutative vector bundle is constructed. This generalises and clarifies various recent constructions of noncommutative 4-spheres.
The product of two Heisenberg-Weil algebras contains the Jordan-Schwinger representation of su(2). This Algebra is quotiented by the square-root of the Casimir to produce a non-associative algebra denoted by $Ψ$. This algebra may be viewed as the right-module over one of its associative subalgebras which corresponds to the algebra of scalar fields on the noncommutative sphere. It is now possible to interpret other subspaces as the space of spinor or vector fields on the noncommutative sphere. A natural basis of $Ψ$ is given which may be interpreted as the deformed entries in the rotation matri…
The q-Legendre polynomials can be treated as some special "functions in the quantum double cosets $U(1)\setminus SU_q(2)/U(1)$". They form a family (depending on a parameter $q$) of polynomials in one variable. We get their further generalization by introducing a two parameter family of polynomials. If the former family arises from an algebra which is in a sense "q-commutative", the latter one is related to its noncommutative counterpart. We introduce also a two parameter deformation of the invariant integral on a sphere.
Natsume-Olsen noncommutative spheres are C*-algebras which generalize C(S^k) when k is odd. These algebras admit natural actions by finite cyclic groups, and if one of these actions is fixed, any equivariant homomorphism between two Natsume-Olsen spheres of the same dimension induces a nontrivial map on odd K-theory. This result is an extended, noncommutative Borsuk-Ulam theorem in odd dimension, and just as in the topological case, this theorem has many (almost) equivalent formulations in terms of theta-deformed spheres of arbitrary dimension. In addition, we present theorems on graded Banach…
An infinite dimensional algebra which is a non-decomposable reducible representation of $su(2)$ is given. This algebra is defined with respect to two real parameters. If one of these parameters is zero the algebra is the commutative algebra of functions on the sphere, otherwise it is a noncommutative analogue. This is an extension of the algebra normally refered to as the (Berezin) quantum sphere or ``fuzzy'' sphere. A natural indefinite ``inner'' product and a basis of the algebra orthogonal with respect to it are given. The basis elements are homogenious polynomials, eigenvectors of a Laplac…
When considered as submanifolds of Euclidean space, the Riemannian geometry of the round sphere and the Clifford torus may be formulated in terms of Poisson algebraic expressions involving the embedding coordinates, and a central object is the projection operator, projecting tangent vectors in the ambient space onto the tangent space of the submanifold. In this note, we point out that there exist noncommutative analogues of these projection operators, which implies a very natural definition of noncommutative tangent spaces as particular projective modules. These modules carry an induced connec…
We construct noncommutative principal fibrations S_θ^7 \to S_θ^4 which are deformations of the classical SU(2) Hopf fibration over the four sphere. We realize the noncommutative vector bundles associated to the irreducible representations of SU(2) as modules of coequivariant maps and construct corresponding projections. The index of Dirac operators with coefficients in the associated bundles is computed with the Connes-Moscovici local index formula. The algebra inclusion $A(S_θ^4) \into A(S_θ^7)$ is an example of a not trivial quantum principal bundle.
A ``Wick rotation'' is applied to the noncommutative sphere to produce a noncommutative version of the hyperboloids. A harmonic basis of the associated algebra is given. It is noted that, for the one sheeted hyperboloid, the vector space for the noncommutative algebra can be completed to a Hilbert space, where multiplication is not continuous. A method of constructing noncommutative analogues of surfaces of rotation, examples of which include the paraboloid and the $q$-deformed sphere, is given. Also given are mappings between noncommutative surfaces, stereographic projections to the complex p…
An algebraic framework for noncommutative bundles with (quantum) homogeneous fibres is proposed. The framework relies on the use of principal coalgebra extensions which play the role of principal bundles in noncommutative geometry which might be additionally equipped with a Hopf algebra symmetry. The proposed framework is supported by two examples of noncommutative $\mathbb{C} P_q^1$-bundles: the quantum flag manifold viewed as a bundle with a generic Podleś sphere as a fibre, and the quantum twistor bundle viewed as a bundle over the quantum 4-sphere of Bonechi, Ciccoli and Tarlini.
We develop the formalism for noncommutative differential geometry and Riemmannian geometry to take full account of the *-algebra structure on the (possibly noncommutative) coordinate ring and the bimodule structure on the differential forms. We show that *-compatible bimodule connections lead to braid operators $σ$ in some generality (going beyond the quantum group case) and we develop their role in the exterior algebra. We study metrics in the form of Hermitian structures on Hilbert *-modules and metric compatibility in both the usual and a cotorsion form. We show that the theory works well f…
S. L. Woronowicz's theory of introducing C*-algebras generated by unbounded elements is applied to q-normal operators satisfying the defining relation of the quantum complex plane. The unique non-degenerate C*-algebra of bounded operators generated by a q-normal operator is computed and an abstract description is given by using crossed product algebras. If the spectrum of the modulus of the q-normal operator is the positive half line, this C*-algebra will be considered as the algebra of continuous functions on the quantum complex plane vanishing at infinity, and its unitization will be viewed …
We show that arising out of noncmmutatve geometry is a natural family of {\em edge Laplacians} on the edges of a graph. The family includes a canonical edge Laplacian associated to the graph, extending the usual graph Laplacian on vertices, and we find its spectrum. We show that for a connected graph its eigenvalues are strictly positive aside from one mandatory zero mode, and include all the vertex degrees. Our edge Laplacian is not the graph Laplacian on the line graph but rather it arises as the noncommutative Laplace-Beltrami operator on differential 1-forms, where we use the language of d…
We present a new, general approach to gauge theory on principal $G$-spectral triples, where $G$ is a compact connected Lie group. We introduce a notion of vertical Riemannian geometry for $G$-$C^\ast$-algebras and prove that the resulting noncommutative orbitwise family of Kostant's cubic Dirac operators defines a natural unbounded $KK^G$-cycle in the case of a principal $G$-action. Then, we introduce a notion of principal $G$-spectral triple and prove, in particular, that any such spectral triple admits a canonical factorisation in unbounded $KK^G$-theory with respect to such a cycle: up to a…
We outline the recent classification of differential structures for all main classes of quantum groups. We also outline the algebraic notion of `quantum manifold' and `quantum Riemannian manifold' based on quantum group principal bundles, a formulation that works over general unital algebras.
We describe an approach to the noncommutative instantons on the 4-sphere based on quantum group theory. We quantize the Hopf bundle S^7 --> S^4 making use of the concept of quantum coisotropic subgroups. The analysis of the semiclassical Poisson--Lie structure of U(4) shows that the diagonal SU(2) must be conjugated to be properly quantized. The quantum coisotropic subgroup we obtain is the standard SU_q(2); it determines a new deformation of the 4-sphere Sigma^4_q as the algebra of coinvariants in S_q^7. We show that the quantum vector bundle associated to the fundamental corepresentation of …
Through techniques afforded by $C^*$-algebras and Hilbert modules, we study the topology of spaces which parametrize families of instanton gauge fields on noncommutative Euclidean four-spheres $S^4_σ$. By deforming the ADHM construction of instantons on the classical sphere $S^4$, we obtain families of instantons on the quantum sphere which are naturally parametrized by noncommutative topological spaces. Using the internal gauge theory of $S^4_σ$ determined by the inner automorphisms of its function algebra, we find that one may always recover a classical parameter space by making a suitable c…
We report on some recent work on deformation of spaces, notably deformation of spheres, describing two classes of examples. The first class of examples consists of noncommutative manifolds associated with the so called $θ$-deformations which were introduced out of a simple analysis in terms of cycles in the $(b,B)$-complex of cyclic homology. These examples have non-trivial global features and can be endowed with a structure of noncommutative manifolds, in terms of a spectral triple $(\ca, \ch, D)$. In particular, noncommutative spheres $S^{N}_θ$ are isospectral deformations of usual spherical…
We analyse the moduli space and the structure of noncommutative 3-spheres. We develop the notion of central quadratic form for quadratic algebras, and prove a general algebraic result which considerably refines the classical homomorphism from a quadratic algebra to a cross-product algebra associated to the characteristic variety and lands in a richer cross-product. It allows to control the $C^\ast$-norm on involutive quadratic algebras and to construct the differential calculus in the desired generality. The moduli space of noncommutative 3-spheres is identified with equivalence classes of pai…
The purpose of the paper is twofold: First, known results of the noncommutative spin geometry of the standard Podles sphere are extended by discussing Poincare duality and orientability. In the discussion of orientability, Hochschild homology is replaced by a twisted version which avoids the dimension drop. The twisted Hochschild cycle representing an orientation is related to the volume form of the distinguished covariant differential calculus. Integration over the volume form defines a twisted cyclic 2-cocycle which computes the q-winding numbers of quantum line bundles. Second, a "twisted" …
Noncommutative geometry of quantised contact spheres introduced by Omori, Maeda, Miyazaki and Yoshioka is studied. In particular it is proven that these spheres form a noncommutative Hopf fibration in the sense of Hopf-Galois extensions. The monopole (strong) connection is constructed, and projectors describing projective modules of all monopole charges are computed.
We consider noncommutative geometries obtained from a triangular Drinfeld twist and review the formulation of noncommutative gravity. A detailed study of the abelian twist geometry is presented, including the fundamental theorem of noncommutative Riemannian geometry. Inspired by [1, 2], we obtain solutions of noncommutative Einstein equations by considering twists that are compatible with the curved spacetime metric.
Associated to any (pseudo)-Riemannian manifold $M$ of dimension $n$ is an $n+1$-dimensional noncommutative differential structure $(Ω^1,\extd)$ on the manifold, with the extra dimension encoding the classical Laplacian as a noncommutative `vector field'. We use the classical connection, Ricci tensor and Hodge Laplacian to construct $(Ω^2,\extd)$ and a natural noncommutative torsion free connection $(\nabla,σ)$ on $Ω^1$. We show that its generalised braiding $σ:Ω^1\tensΩ^1\to Ω^1\tensΩ^1$ obeys the quantum Yang-Baxter or braid relations only when the original $M$ is flat, i.e their failure is g…
This paper contains detailed proofs of our results on the moduli space and the structure of noncommutative 3-spheres. We develop the notion of central quadratic form for quadratic algebras, and a general theory which creates a bridge between noncommutative differential geometry and its purely algebraic counterpart. It allows to construct a morphism from an involutive quadratic algebras to a C*-algebra constructed from the characteristic variety and the hermitian line bundle associated to the central quadratic form. We apply the general theory in the case of noncommutative 3-spheres and show th…
We give new examples of noncommutative manifolds that are less standard than the NC-torus or Moyal deformations of $\Rb^n$. They arise naturally from basic considerations of noncommutative differential topology and have non-trivial global features. The new examples include the instanton algebra and the NC-4-spheres $S^4_θ$. The noncommutative algebras $\Ac=C^{\ify} (S^{4}_θ)$ of functions on NC-spheres are solutions to the vanishing, $ {\rm ch}_j (e) = 0, j < 2 $, of the Chern character in the cyclic homology of $\Ac$ of an idempotent $e \in M_4 (\Ac), e^2 = e, e = e^*$. The universal noncommu…
We describe noncommutative geometric aspects of twisted deformations, in particular of the spheres in Connes and Landi [8] and in Connes and Dubois Violette [7], by using the differential and integral calculus on these spaces that is covariant under the action of their corresponding quantum symmetry groups. We start from multiparametric deformations of the orthogonal groups and related planes and spheres. We show that only in the twisted limit of these multiparametric deformations the covariant calculus on the plane gives by a quotient procedure a meaningful calculus on the sphere. In this cal…
We present natural families of coordinate algebras of noncommutative products of Euclidean spaces. These coordinate algebras are quadratic ones associated with an R-matrix which is involutive and satisfies the Yang-Baxter equations. As a consequence they enjoy a list of nice properties, being regular of finite global dimension. Notably, we have eight-dimensional noncommutative euclidean spaces which are particularly well behaved and are deformations parametrised by a two-dimensional sphere. Quotients include noncommutative seven-spheres as well as noncommutative "quaternionic tori". There is i…
We formulate a quantum generalization of the notion of the group of Riemannian isometries for a compact Riemannian manifold, by introducing a natural notion of smooth and isometric action by a compact quantum group on a classical or noncommutative manifold described by spectral triples, and then proving the existence of a universal object (called the quantum isometry group) in the category of compact quantum groups acting smoothly and isometrically on a given (possibly noncommutative) manifold satisfying certain regularity assumptions. In fact, we identify the quantum isometry group with the u…
We study the quantum geometry of the fuzzy sphere defined as the angular momentum algebra $[x_i,x_j]=2\imathλ_p ε_{ijk}x_k$ modulo setting $\sum_i x_i^2$ to a constant, using a recently introduced 3D rotationally invariant differential structure. Metrics are given by symmetric $3 \times 3$ matrices $g$ and we show that for each metric there is a unique quantum Levi-Civita connection with constant coefficients, with scalar curvature $ \frac{1}{2}({\rm Tr}(g^2)-\frac{1}{2}{\rm Tr}(g)^2)/\det(g)$. As an application, we construct Euclidean quantum gravity on the fuzzy unit sphere. We also calculat…
We prove a Koszul formula for the Levi-Civita connection for any pseudo-Riemannian bilinear metric on a class of centered bimodule of noncommutative one-forms. As an application to the Koszul formula, we show that our Levi-Civita connection is a bimodule connection. We construct a spectral triple on a fuzzy sphere and compute the scalar curvature for the Levi-Civita connection associated to a canonical metric.
We give a θ-deformed version of the ADHM construction of SU(2) instantons with arbitrary topological charge on the sphere S^4. Classically the instanton gauge fields are constructed from suitable monad data; we show that in the deformed case the set of monads is itself a noncommutative space. We use these monads to construct noncommutative `families' of SU(2) instantons on the deformed sphere S^4_θ. We also compute the topological charge of each of the families. Finally we discuss what it means for such families to be gauge equivalent.
These notes aim at a pedagogical introduction to recent work on deformation of spaces and deformation of vector bundles over them, which are relevant both in mathematics and in physics, notably monopole and instanton bundles. We first decribe toric noncommutative manifolds (also known as isospectral deformations) and give a detailed introduction to gauge theories on a toric four-sphere. This includes a Yang-Mills action functional with associated equations of motion and self-duality equations. We construct a particular class of instanton solutions on a SU(2) bundle with a suitable use of twist…
