Related papers: Manifolds with multiplication on the tangent sheaf
We relate the operad FMan controlling the algebraic structure on the tangent sheaf of an $F$-manifold (weak Frobenius manifold) defined by Hertling and Manin to the operad PreLie of pre-Lie algebras: for the filtration of PreLie by powers…
Previously, we introduced a duality transformation for Euler $G$--Frobenius algebras. Using this transformation, we prove that the simple $A,D,E$ singularities and Pham singularities of coprime powers are mirror self--dual where the mirror…
We develop a theory of quasimaps to a moduli space of sheaves $M$ on a surface $S$. Under some assumptions, we prove that moduli spaces of quasimaps are proper and carry a perfect obstruction theory. Moreover, they are naturally isomorphic…
Let $F$ be a totally real field in which $p$ is unramified. Let $\overline{r}: G_F \rightarrow \mathrm{GL}_2(\overline{\mathbb{F}}_p)$ be a modular Galois representation which satisfies the Taylor-Wiles hypotheses and is generic at a place…
The convenient setting for smooth mappings, holomorphic mappings, and real analytic mappings in infinite dimension is sketched. Infinite dimensional manifolds are discussed with special emphasis on smooth partitions of unity and tangent…
A complete mathematical framework for coalgebraic formulation of supergeometry and its infinite-dimensional extension is proposed. Within this approach a supermanifold is defined as a graded coalgebra endowed with a smooth structure. The…
We introduce a tangential theory for linked smooth manifolds of depth $1$, i.e., for spans $\mathfrak{S}=(M\overset{\pi}{\twoheadleftarrow} L\overset{\iota}{\hookrightarrow}N)$ of smooth manifolds where $\pi$ is a fibre bundle and $\iota$…
An important part of the classical theory of real or complex manifolds is the theory of (smooth, real analytic or complex analytic) vector bundles. With any vector bundle over a manifold (M,F) the sheaf of its (smooth, real analytic or…
We study sheaves of Lie-Rinehart algebras over locally ringed spaces. We introduce morphisms and comorphisms of such sheaves and prove factorization theorems for each kind of morphism. Using this notion of morphism, we obtain (higher)…
On promoting the type IIA side of the N=1 Heterotic/type IIA dual pairs of [1] to M-theory on a `barely G_2 Manifold' of [2], by spectrum-matching we show a possible triality between Heterotic on a self-mirror Calabi-Yau, M-theory on the…
Extending classical algebro-geometric constructions to arbitrary matroids, we construct a $K$-class $T_M\in K(M)$ for every loopless matroid $M$. When $M$ is realizable by a linear subspace $L$, $T_M$ recovers the $K$-class of the tangent…
We continue the program of structural differential geometry that begins with the notion of a tangent category, an axiomatization of structural aspects of the tangent functor on the category of smooth manifolds. In classical geometry, having…
Liouville field theory approach to 2-dimensional gravity possesses the duality ($b \leftrightarrow b^{-1}$). The matrix counterpart of minimal gravity $\mathcal{M}(q,p)$ ($q<p$ co-prime) is effectively described on $A_{q-1}$ Frobenius…
For a manifold $M$ with an integral closed 3-form $\omega$, we construct a $PU(H)$-bundle and a Lie groupoid over its total space, together with a curving in the sense of gerbes. If the form is non-degenerate, we furthermore give a natural…
We investigate the manifold $\cal{M}$ of (real) quadratic forms in n > 1 variables having a multiple eigenvalue. In addition to known facts, we prove that 1) $\cal{M}$ is irreducible, 2) in the case of n = 3, scalar matrices and only them…
Let M be a (possibly non-orientable) compact 3-manifold with (possibly empty) boundary consisting of tori and Klein bottles. Let $X\subset\partial M$ be a trivalent graph such that $\partial M\setminus X$ is a union of one disc for each…
We introduce a class of k-potential submanifolds in pseudo-Euclidean spaces and prove that for an arbitrary positive integer k and an arbitrary nonnegative integer p, each N-dimensional Frobenius manifold can always be locally realized as…
In this paper we study $F$-manifolds equipped with multiple flat connections (and multiple $F$-products), that are required to be compatible in a suitable sense. In the semisimple case we show that a necessary condition for the existence of…
Let $\mathcal{M}(n,m;\F \bp^n)$ be the configuration space of $m$-tuples of pairwise distinct points in $\F \bp^n$, that is, the quotient of the set of $m$-tuples of pairwise distinct points in $\F \bp^n$ with respect to the diagonal action…
Fix a scheme $S$ of characteristic $p$. Let $\mathscr{M}$ be an $S$-algebraic stack and let $\mbox{Fdiv}(\mathscr{M})$ be the stack of $\mbox{F}$-divided objects, that is sequences of objects $x_i\in\mathscr{M}$ with isomorphisms…