Equivalence Conditions and Invariants for the General Form of Burgers’ Equations

Equivalence of differential equations is one of the most important concepts in the theory of differential equations. In this paper, the moving coframe method is applied to solve the local equivalence problem for the general form of Burgers’ equation, which has two independent variables under action of a pseudo-group of contact transformations. Using this method, we found the structure equations and invariants of these equations, as a result some conditions for equivalence of them will be given.

Fundamental local equivalences in quantum geometric Langlands

In quantum geometric Langlands, the Satake equivalence plays a less prominent role than in the classical theory. Gaitsgory and Lurie proposed a conjectural substitute, later termed the fundamental local equivalence. With a few exceptions, we prove this conjecture and its extension to the affine flag variety by using what amount to Soergel module techniques.

Spin(7) Instantons and Hermitian Yang–Mills Connections for the Stenzel Metric

We use the highly symmetric Stenzel Calabi–Yau structure on $$T^{\star }S^{4}$$ T ⋆ S 4 as a testing ground for the relationship between the Spin(7) instanton and Hermitian–Yang–Mills (HYM) equations. We reduce both problems to tractable ODEs and look for invariant solutions. In the abelian case, we establish local equivalence and prove a global nonexistence result. We analyze the nonabelian equations with structure group SO(3) and construct the moduli space of invariant Spin(7) instantons in this setting. This is comprised of two 1-parameter families—one of them explicit—of irreducible Spin(7) instantons. Each carries a unique HYM connection. We thus negatively resolve the question regarding the equivalence of the two gauge theoretic PDEs. The HYM connections play a role in the compactification of this moduli space, exhibiting a removable singularity phenomenon that we aim to further examine in future work.

Absolute parallelism for 2-nondegenerate CR structures via bigraded Tanaka prolongation

This article is devoted to the local geometry of everywhere 2-nondegenerate CR manifolds M of hypersurface type. An absolute parallelism for such structures was recently constructed independently by Isaev and Zaitsev, Medori and Spiro, and Pocchiola in the minimal possible dimension ( dim ⁡ M = 5 {\dim M=5} ), and for dim ⁡ M = 7 {\dim M=7} in certain cases by the first author. In the present paper, we develop a bigraded (i.e., ℤ × ℤ {\mathbb{Z}\times\mathbb{Z}} -graded) analog of Tanaka’s prolongation procedure to construct an absolute parallelism for these CR structures in arbitrary (odd) dimension with Levi kernel of arbitrary admissible dimension. We introduce the notion of a bigraded Tanaka symbol – a complex bigraded vector space – containing all essential information about the CR structure. Under the additional regularity assumption that the symbol is a Lie algebra, we define a bigraded analog of the Tanaka universal algebraic prolongation, endowed with an anti-linear involution, and prove that for any CR structure with a given regular symbol there exists a canonical absolute parallelism on a bundle whose dimension is that of the bigraded universal algebraic prolongation. Moreover, we show that for each regular symbol there is a unique (up to local equivalence) such CR structure whose algebra of infinitesimal symmetries has maximal possible dimension, and the latter algebra is isomorphic to the real part of the bigraded universal algebraic prolongation of the symbol. In the case of 1-dimensional Levi kernel we classify all regular symbols and calculate their bigraded universal algebraic prolongations. In this case, the regular symbols can be subdivided into nilpotent, strongly non-nilpotent, and weakly non-nilpotent. The bigraded universal algebraic prolongation of strongly non-nilpotent regular symbols is isomorphic to the complex orthogonal algebra 𝔰 ⁢ 𝔬 ⁢ ( m , ℂ ) {\mathfrak{so}(m,\mathbb{C})} , where m = 1 2 ⁢ ( dim ⁡ M + 5 ) {m=\tfrac{1}{2}(\dim M+5)} . Any real form of this algebra – except 𝔰 ⁢ 𝔬 ⁢ ( m ) {\mathfrak{so}(m)} and 𝔰 ⁢ 𝔬 ⁢ ( m - 1 , 1 ) {\mathfrak{so}(m-1,1)} – corresponds to the real part of the bigraded universal algebraic prolongation of exactly one strongly non-nilpotent regular CR symbol. However, for a fixed dim ⁡ M ≥ 7 {\dim M\geq 7} the dimension of the bigraded universal algebraic prolongations of all possible regular CR symbols achieves its maximum on one of the nilpotent regular symbols, and this maximal dimension is 1 4 ⁢ ( dim ⁡ M - 1 ) 2 + 7 {\frac{1}{4}(\dim M-1)^{2}+7} .

The Yoneda Lemma and Coherence

In this chapter, the Yoneda Lemma and the Coherence Theorem for bicategories are stated and proved. The chapter discusses the bicategorical Yoneda pseudofunctor, a bicategorical version of the Yoneda embedding for a bicategory, which is a local equivalence, and the Bicategorical Yoneda Lemma. A consequence of the Bicategorical Whitehead Theorem and the Bicategorical Yoneda Embedding is the Bicategorical Coherence Theorem, which states that every bicategory is biequivalent to a 2-category.

Homotopy types of gauge groups of $$\mathrm {PU}(p)$$-bundles over spheres

We examine the relation between the gauge groups of $$\mathrm {SU}(n)$$ SU ( n ) - and $$\mathrm {PU}(n)$$ PU ( n ) -bundles over $$S^{2i}$$ S 2 i , with $$2\le i\le n$$ 2 ≤ i ≤ n , particularly when n is a prime. As special cases, for $$\mathrm {PU}(5)$$ PU ( 5 ) -bundles over $$S^4$$ S 4 , we show that there is a rational or p-local equivalence $$\mathcal {G}_{2,k}\simeq _{(p)}\mathcal {G}_{2,l}$$ G 2 , k ≃ ( p ) G 2 , l for any prime p if, and only if, $$(120,k)=(120,l)$$ ( 120 , k ) = ( 120 , l ) , while for $$\mathrm {PU}(3)$$ PU ( 3 ) -bundles over $$S^6$$ S 6 there is an integral equivalence $$\mathcal {G}_{3,k}\simeq \mathcal {G}_{3,l}$$ G 3 , k ≃ G 3 , l if, and only if, $$(120,k)=(120,l)$$ ( 120 , k ) = ( 120 , l ) .