Related papers: The Structure of $C^\infty$-Superschemes

The Weil correspondence states that the datum of a Seiberg-Witten differential is equivalent to an algebraic group extension of the integrable system associated to the Seiberg-Witten geometry. Remarkably this group extension represents…

The universal Spencer and de Rham complexes of sheaves over a smooth or analytical manifold are well known to play a basic role in the theory of $\mathcal{D}$-modules. In this article we consider a double complex of sheaves generalizing…

The Euler characteristic is the only additive topological invariant for spaces of certain sort, in particular, for manifolds with some finiteness properties. A generalization of the notion of a manifold is the notion of a V-manifold. Here…

The study of Haeflier suggests that it is natural to regard a pseudogroup as an etale groupoid. We show that any etale groupoid corresponds to a pseudogroup sheaf, a new generalization of a pseudogroup. This correspondence is an analog of…

In [2], an exhaustive construction is achieved for the class of all 4-dimensional unital division algebras over finite fields of odd order, whose left nucleus is not minimal and whose automorphism group contains Klein's four-group. We…

Given an algebra $A$ over a differential field $K$, we study derivations on $A$ that are compatible with the derivation on $K$. There is a universal object, which is a twisted version of the usual module of differentials, and we establish…

A little-known and highly economical characterization of the real interval [0, 1], essentially due to Freyd, states that the interval is homeomorphic to two copies of itself glued end to end, and, in a precise sense, is universal as such.…

Let $X$ be a completely regular space. For a non-vanishing self-adjoint Banach subalgebra $H$ of $C_B(X)$ which has local units we construct the spectrum $\mathfrak{sp}(H)$ of $H$ as an open subspace of the Stone-Cech compactification of…

We classify absolutely split vector bundles on proper $k$-schemes. More precise, we prove that the closed points of the Picard scheme are in one-to-one correspondence with indecomposable absolutely split vector bundles. Furthermore, we…

Given an $\infty$-category $\mathcal{C}$ with pullbacks, its $(\infty,2)$-category $\mathbf{Span}(\mathcal{C})$ of spans has the universal property of freely adding right adjoints to morphisms in $\mathcal{C}$ satisfying a Beck--Chevalley…

Quite a number of $\mathbb{Z}_2^n$-gradings, $n\geq 2$, appear in Physics and in Mathematics. The corresponding sign rules are given by the `scalar product' of the involved $\mathbb{Z}_2^n$-degrees. The new theory exhibits challenging…

We present necessary and sufficient conditions to have global hypoellipticity and global solvability for a class of vector fields defined on a product of compact Lie groups. In view of Greenfield's and Wallach's conjecture, about the…

The main purpose of the paper is to establish a closedness theorem over Henselian valued fields $K$ of equicharacteristic zero (not necessarily algebraically closed) with separated analytic structure. It says that every projection with a…

We revisit Allendoerfer-Weil's formula for the Euler characteristic of embedded hypersurfaces in constant sectional curvature manifolds, first taking some time to re-prove it while demonstrating techniques of [2] and then applying it to…

For the moduli spaces of Abelian differentials, the Euler characteristic is one of the most basic intrinsic topological invariants. We give a formula for the Euler characteristic that relies on intersection theory on the smooth…

We prove a universal property for blow-ups in regularly immersed subschemes, based on a notion we call "virtual effective Cartier divisor". We also construct blow-ups of quasi-smooth closed immersions in derived algebraic geometry.

For globally subanalytic manifolds we define de Rham complexes of globally subanalytic differential forms and of constructible differential forms. Whereas the de Rham theorem does not hold for the former in the non-compact case, it does…

If $X$ is a smooth manifold then the $\mathbb R$-algebra $C^\infty(X)$ of smooth functions $c:X\to\mathbb R$ is a $C^\infty$-$ring$. That is, for each smooth function $f:{\mathbb R}^n\to\mathbb R$ there is an $n$-fold operation…

In [1] we introduced the concept of structured space, which is a topological space that locally resembles some algebraic structures. In [2] we proceeded the study of these spaces, developing two cohomology theories. The aim of this paper is…

In this note, we formulate and prove branching rules of simple polynomial modules for the Lie superalgebra $\mathfrak{gl}(m|n)$. Our branching rules depend on the conjugacy class of the Borel subalgebra. A Gelfand-Tsetlin basis of a…