Related papers: Gau{\ss}-Manin connection and Tannaka duality
Connected components of $\Map(S^4,B\SU(2))$ are the classifying spaces of gauge groups of principal $\SU(2)$-bundles over $S^4$. Tsukuda [Tsu01] has investigated the homotopy types of connected components of $\Map(S^4,B\SU(2))$. But…
We extend the T-duality for gauge theory to that on curved space described as a nontrivial fiber bundle. We also present a new viewpoint concerning the consistent truncation and the T-duality for gauge theory and discuss the relation…
Given $\mathbf{n}=(n_{1},\ldots,n_{r})\in\mathbb{N}^r$, let $\Gamma_{\mathbf{n}}$ be a group presentable as $$\left\langle \gamma_{1},\ldots,\gamma_{r}\:|\:\gamma_{1}^{n_{1}}=\gamma_{2}^{n_{2}}=\cdots=\gamma_{r}^{n_{r}}\right\rangle. $$ If…
In a series of papers, we have shown that from the representation theory of a compact groupoid one can reconstruct the groupoid using the procedure similar to the Tannaka-Krein duality for compact groups. In this part we study the Fourier…
We show that analytically trivial t-motifs satisfy a Tannakian duality, without restrictions on the base field, save for that it be of generic characteristic. We show that the group of components of the t-motivic Galois group coincides with…
It is known that the Picard group of a complex manifold can be expressed as a Deligne cohomology group. One may wonder if the same holds for the Picard group of a smooth algebraic variety and Deligne-Beilinson cohomology but this is not…
Let A be a basic connected finite dimensional algebra over an algebraically closed field, let G be a group, let T be a basic tilting A-module and let B the endomorphism algebra of T. Under a hypothesis on T, we establish a correspondence…
We apply our previous work on the relation between groupoid homology and K-theory to Smale spaces. More precisely, we consider the unstable equivalence relation of a Smale space with totally disconnected stable sets, and prove that the…
Electromagnetism can be generalized to Yang-Mills theory by replacing the group U(1)$ by a nonabelian Lie group. This raises the question of whether one can similarly generalize 2-form electromagnetism to a kind of "higher-dimensional…
We show that for the reductive Tannaka groups of semisimple holonomic $\mathscr{D}$-modules on abelian varieties, every Weyl group orbit of weights of their universal cover is realized by a conic Lagrangian cycle on the cotangent bundle.…
Let $G$ be a group, let $H$ be a subgroup of $G$ and let $\Or(G)$ be the orbit category. In this paper we extend the definition of the relative group (co)homology theories of the pair $(G,H)$ defined by Adamson and Takasu to have…
We prove that a category of degree zero vector bundles with "potentially strongly semistable reduction" on a p-adic curve is a neutral Tannakian category. We also make a first study of the corresponding affine group scheme. In particular,…
We establish a close and previously unknown relation between quantales and groupoids, in terms of which the notion of etale groupoid is subsumed in a natural way by that of quantale. In particular, to each etale groupoid, either localic or…
We study gauge symmetry in F-theory in light of global aspects. For this, we consider not only a simple (local) group, but also a semi-simple group with Abelian factors. Once we specify the complete gauge group by decomposing the…
By replacing the category of smooth vector bundles over a manifold with the category of what we call smooth Euclidean fields, which is a proper enlargement of the former, and by considering smooth actions of Lie groupoids on smooth…
The quantum completion of the space of connections in a manifold can be seen as the set of all morphisms from the groupoid of the edges of the manifold to the (compact) gauge group. This algebraic construction generalizes an analogous…
We prove the semisimplicity conjecture for A-motives over finitely generated fields K. This conjecture states that the rational Tate modules V_p(M) of a semisimple A-motive M are semisimple as representations of the absolute Galois group of…
We revisit a theorem of Grosshans and show that it holds over arbitrary commutative base ring $k$. One considers a split reductive group scheme $G$ acting on a $k$-algebra $A$ and leaving invariant a subalgebra $R$. If $R^U=A^U$ then the…
The main purpose of this article is to introduce a comprehensive, unified theory of the geometry of all connections. We show that one can study a connection via a certain, closely associated second-order differential equation. One of the…
We propose a nonperturbative construction of Hopf algebras that represent categories of line operators in topological quantum field theory, in terms of semi-extended operators (spark algebras) on pairs of transverse topological boundary…