In this paper, we study diffeological spaces as certain kinds of discrete simplicial presheaves on the site of cartesian spaces with the coverage of good open covers. The Čech model structure on simplicial presheaves provides us with a notion of ∞\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\infty $$\end{document}-stack cohomology of a diffeological space with values in a diffeological abelian group A. We compare ∞\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\infty $$\end{document}-stack cohomology of diffeological spaces with two existing notions of Čech cohomology for diffeological spaces in the literature Krepski et al. (Sheaves, principal bundles, and Čech cohomology for diffeological spaces. (2021). arxiv:2111 01032 [math.DG]), Iglesias-Zemmour (Čech-de-Rham Bicomplex in Diffeology (2020). http://math.huji.ac.il/piz/documents/CDRBCID.pdf). Finally, we prove that for a diffeological group G, that the nerve of the category of diffeological principal G-bundles is weak homotopy equivalent to the nerve of the category of G-principal ∞\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\infty $$\end{document}-bundles on X, bridging the bundle theory of diffeology and higher topos theory.
As the necessary background to construct from the aspect of Grothendieck's Algebraic Geometry dynamical fermionic D3-branes along the line of Ramond-Neveu-Schwarz superstrings in string theory, three pieces of the building blocks are given in the current notes: (1) basic $C^\infty$-algebrogeometric foundations of $d=4$, $N=1$ supersymmetry and $d=4$, $N=1$ superspace in physics, with emphasis on the partial $C^\infty$-ring structure on the function ring of the superspace, (2) the notion of SUSY-rep compatible hybrid connections on bundles over the superspace to address connections on the Chan-Paton bundle on the world-volume of a fermionic D3-brane, (3) the notion of $\widehat{D}$-chiral maps $\widehat{\varphi}$ from a $d=4$ $N=1$ Azumaya/matrix superspace with a fundamental module with a SUSY-rep compatible hybrid connection $\widehat{\nabla}$ to a complex manifold $Y$ as a model for a dynamical D3-branes moving in a target space(-time). Some test computations related to the construction of a supersymmetric action functional for SUSY-rep compatible $(\widehat{\nabla}, \widehat{\varphi})$ are given in the end, whose further study is the focus of a separate work. The current work is a sequel to D(11.4.1) (arXiv:1709.08927 [math.DG]) and D(11.2) (arXiv:1412.0771 [hep-th]) and is the first step in the supersymmetric generalization, in the case of D3-branes, of the standard action functional for D-branes constructed in D(13.3) (arXiv:1704.03237 [hep-th]).
Our aim in this work is to study a system of equations which generalises at the same time the vortex equations of Yang-Mills-Higgs theory and the holomorphicity equation in Gromov theory of pseudoholomorphic curves. We extend some results and definitions from both theories to a common setting. We introduce a functional generalising Yang-Mills-Higgs functional, whose minima coincide with the solutions to our equations. We prove a Hitchin-Kobayashi correspondence allowing to study the solutions of the equations in the Kaehler case. We give a structure of smooth manifold to the set of (gauge equivalence classes of) solutions to (a perturbation of) the equations (the so-called moduli space). We give a compactification of the moduli space, generalising Gromov's compactification of the moduli of holomorphic curves. Finally, we use the moduli space to define (under certain conditions) invariants of compact symplectic manifolds with a Hamiltonian almost free action of S^1. These invariants generalise Gromov-Witten invariants. This is the author's Ph.D. Thesis. A chapter of it is contained in the paper math.DG/9901076. After submitting his thesis in April 1999, the author knew that K. Cieliebak, A. R. Gaio and D. Salamon had also arrived (from a different point of view) at the same equations, and had developed a very similar programme (see math.SG/9909122).
The cyclic (co)homology of Hopf algebras is defined by Connes and Moscovici [math.DG/9806109] and later extended by Khalkhali et.al [math.KT/0306288] to admit stable anti-Yetter-Drinfeld coefficient module/comodules. In this paper we will show that one can further extend the cyclic homology of Hopf algebras with coefficients non-trivially. The new homology, called the bialgebra cyclic homology, admits stable coefficient module/comodules, dropping the anti-Yetter-Drinfeld condition. This fact allows the new homology to use bialgebras, not just Hopf algebras. We will also give computations for bialgebra cyclic homology of the Hopf algebra of foliations of codimension $n$ and the quantum deformation of an arbitrary semi-simple Lie algebra with several stable but non-anti-Yetter-Drinfeld coefficients.
In a paper (math.DG/0403528) we obtained explicit examples of Moishezon twistor spaces of some compact self-dual four-manifolds admitting a non-trivial Killing field, and also determined their moduli space. In this note we investigate minitwistor spaces associated to these twistor spaces. We determine their structure, minitwistor lines and also their moduli space, by using a double covering structure of the twistor spaces. In particular, we find that these minitwistor spaces have different properties in many respects, compared to known examples of minitwistor spaces. Especially, we show that the moduli space of the minitwistor spaces is identified with the configuration space of different 4 points on a circle divided by the standard PSL(2, R)-action.
In this paper we give a survey of the constructions in math.DG/0510061 of several new invariants for CR and contact manifolds. The latter extend previous constructions of Hirachi and Boutet de Monvel. In addition, we give simple algebro-geometric arguments proving that Hirachi's invariant vanishes on strictly pseudoconvex CR manifolds of dimension 4m+1.
We review a recent series of $G_2$ manifolds constructed via solvable Lie groups obtained in math.DG/0409137. They carry two related distinguished metrics, one negative Einstein and the other in the conformal class of a Ricci-flat metric.
In (equi-)affine differential geometry, the most important algebraic invariants are the affine (Blaschke) metric h, the affine shape operator S and the difference tensor K. A hypersurface is said to admit a pointwise symmetry if at every point there exists a linear transformation preserving the affine metric, the affine shape operator and the difference tensor K. The study of submanifolds which admit pointwise isometries was initiated by Bryant (math.DG/0007128). In this paper, we consider the 3-dimensional positive definite hypersurfaces for which at each point the group of symmetries is isomorphic to either Z_3 or SO(2). We classify such hypersurfaces and show how they can be constructed starting from 2-dimensional positive definite affine spheres.
The (n+1)-sphere contains a simple family of constant mean curvature (CMC) hypersurfaces which are products of lower-dimensional spheres called the generalized Clifford hypersurfaces. This paper demonstrates that new, topologically non-trivial CMC hypersurfaces resembling a pair of neighbouring generalized Clifford tori connected to each other by small catenoidal bridges at a sufficiently symmetric configuration of points can be constructed by perturbative PDE methods. That is, one can create an approximate solution by gluing a rescaled catenoid into the neighbourhood of each point; and then one can show that a perturbation of this approximate hypersurface exists which satisfies the CMC condition. The results of this paper generalize those of the authors in math.DG/0511742.
We define and characterise completely dg-separable dg-extensions $\varphi\colon (A,d_A)\rightarrow(B,d_B)$. We completely characterise the case of graded commutative dg-division algebras in characteristic different from $2$. We prove that for a dg-separable extension a short exact sequence of dg-modules over $(B,d_B)$ splits if and only if the restriction to $(A,d_A)$ splits.