Related papers: Parall\'elisme d'une vari\'et\'e des points proche…
We define a congruence module $\Psi_A(M)$ associated to a surjective $\mathcal O$-algebra morphism $\lambda\colon A \to \mathcal{O}$, with $\mathcal{O}$ a discrete valuation ring, $A$ a complete noetherian local $\mathcal{O}$-algebra…
We introduce an object that has obvious similarity to the classical one - the algebra of supersymmetric polynomials. Despite the similarity, the known structure theorems on supersymmetric polynomials do not help in the study of the new…
A notion of general manifolds is introduced. It covers all usual manifolds in mathematics. Essentially, it is a way how to get a bigger 'fibration' over a site which locally coincides with a given one. An enrichment with generalized…
We consider an arbitrary linear elliptic first--order differential operator A with smooth coefficients acting between sections of complex vector bundles E,F over a compact smooth manifold M with smooth boundary N. We describe the analytic…
In this paper we explain the parallelism in the classification of three different kinds of mathematical objects: (i) Classical r-matrices. (ii) Generalized cohomology theories that have Chern classes for complex vector bundles. (iii)…
We introduce a notion of Homological Projective Duality for smooth algebraic varieties in dual projective spaces, a homological extension of the classical projective duality. If algebraic varieties $X$ and $Y$ in dual projective spaces are…
This paper, sixth in a series of eight, uses the geometric calculus on manifolds developed in previous papers of the series to introduce through the concept of a metric extensor field g a metric structure for a smooth manifold M. The…
Let $M$ and $N$ be smooth (real or complex) manifolds, and let $M$ be equipped with some Riemannian metric. A continuous map $f\colon M\longrightarrow N$ admits a local $k$-multiplicity if, for every real number $\omega >0$, there exist $k$…
For every fibration $f : X \to B$ with $X$ a compact K\"ahler manifold, $B$ a smooth projective curve, and a general fiber of $f$ an abelian variety, we prove that $f$ has an algebraic approximation.
By a theorem of Chevalley the image of a morphism of varieties is a constructible set. The algebraic version of this fact is usually stated as a result on "extension of specializations" or "lifting of prime ideals". We present a difference…
We can define the adjacency algebra of an association scheme over arbitrary field. It is not always semisimple over a field of positive characteristic. The structures of adjacency algebras over a field of positive characteristic have not…
We establish that if a submanifold $M$ of $\mathbb{R}^n$ is definable in some o-minimal structure then any definable submanifold $N\subset \mathbb{R}^n$ which is $\mathscr{C}^\infty$ diffeomorphic to $M$, with a diffeomorphism $h:N\to M$…
Generalizing the known results on graded rings and modules, we formulate and prove the equivariant version of the local duality on schemes with a group action. We also prove an equivariant analogue of Matlis duality.
We consider equivalence relations among smooth map germs with respect to geometry of G-structures on the target space germ. These equivalence relations are natural generalization of right-left equivalence (i.e., A-equivalence) in the sense…
Let $M$ be a K\"ahler manifold with complex structure $J$ and K\"ahler metric $g$. A c-projective vector field is a vector field on $M$ whose flow sends $J$-planar curves to $J$-planar curves, where $J$-planar curves are analogs of what…
In this paper, M denotes a smooth manifold of dimension n, A a Weil algebra and M^{A} the associated Weil bundle. When (M,_{M}) is a Poisson manifold with 2-form _{M}, we construct the 2-Poisson form _{M^{A}}^{A}, prolongation on M^{A} of…
We prove an equivalence of categories from formal complex structures with formal holomorphic maps to homotopy algebras over a simple operad with its associated homotopy morphisms. We extend this equivalence to complex manifolds. A complex…
We construct an injective map from the set of holomorphic equivalence classes of neighborhoods $M$ of a compact complex manifold $C$ into ${\mathbb C}^m$ for some $m<\infty$ when $(TM)|_C$ is fixed and the normal bundle of $C$ in $M$ is…
Factorization algebras are local-to-global objects living on manifolds, and they arise naturally in mathematics and physics. Their local structure encompasses examples like associative algebras and vertex algebras; in these examples, their…
An approach to the equivalence problem of vector valued maps is offered which, in particular, covers the equivalence problem of paths and patches of differential geometry with respect to different motion groups. In the last case, in…