Related papers: Formal neighborhoods in arc spaces

We describe the equivariant cohomology ring of rationally smooth projective embeddings of reductive groups. These embeddings are the projectivizations of reductive monoids. Our main result describes their equivariant cohomology in terms of…

In this paper we survey methods and results of classification of $k$-forms (resp. $k$-vectors on ${\bf R}^n$), understood as description of the orbit space of the standard ${\bf GL}(n, {\bf R})$-action on $\Lambda^k {\bf R}^{n*}$ (resp. on…

Using the concept of a twisted trace density on a cyclic groupoid, a trace is constructed on a formal deformation quantization of a symplectic orbifold. An algebraic index theorem for orbifolds follows as a consequence of a local…

We investigate formal ribbons on curves. Roughly speaking, formal ribbon is a family of locally linearly compact vector spaces on a curve. We establish a one-to-one correspondence between formal ribbons on curves plus some geometric data…

We use the formalism of traces in higher categories to prove a common generalization of the holomorphic Atiyah-Bott fixed point formula and the Grothendieck-Riemann-Roch theorem. The proof is quite different from the original one proposed…

In earlier papers we introduced a representation of isotopy classes of compact surfaces embedded in the three-sphere by so called rectangular diagrams. The formalism proved useful for comparing Legendrian knots. The aim of this paper is to…

The classical concept of affine locally symmetric spaces allows a generalization for various geometric structures on a smooth manifold. We remind the notion of symmetry for parabolic geometries and we summarize the known facts for…

We introduce a notion of proper morphism for schematic finite spaces and prove the analogue of Grothendieck's finiteness theorem for it by means of the classic result for schemes and general descent arguments. This result also generalizes…

We probe the thermodynamic structure of gravity at local scales. In any general curved spacetime, it is possible to transform to a local inertial frame at any point such that the metric is flat up to quadratic order where the curvature at…

We develop the theory of ``branch algebras'', which are infinite-dimensional associative algebras that are isomorphic, up to taking subrings of finite codimension, to a matrix ring over themselves. The main examples come from groups acting…

Formality is a topological property, defined in terms of Sullivan's model for a space. In the simply-connected setting, a space is formal if its rational homotopy type is determined by the rational cohomology ring. In the general setting,…

We establish normal forms for conformal vector fields on pseudo-Riemannian manifolds in the neighborhood of a singularity. For real-analytic Lorentzian manifolds, we show that the vector field is analytically linearizable or the manifold is…

Let M_d(k) denote the space of dxd-matrices with coefficients in an algebraically closed field k. Let X be an orbit closure in the product [M_d(k)]^t equipped with the action of the general linear group GL_d(k) by simultaneous conjugation.…

We prove that if $X \to Y$ is a (geometrically) regular morphism of Noetherian schemes, then from a Nisnevich-local perspective, the Gersten complex for Quillen $K$-theory on $X$ becomes acyclic in degrees beyond the Krull dimension of $Y$.…

We study equivariant projective compactifications of reductive groups obtained by closing the image of a group in the space of operators of a projective representation. We describe the structure and the mutual position of their orbits under…

In the present paper we study geodesic mappings of special pseudo-Riemannian manifolds called $V_n(K)$-spaces. We prove that the set of solutions of the system of equations of geodesic mappings on $V_n(K)$-spaces $(K\neq0)$ forms a special…

We introduce the notion of a manifold admitting a simple compact Cartan 3-form $\om^3$. We study algebraic types of such manifolds specializing on those having skew-symmetric torsion, or those associated with a closed or coclosed 3-form…

We introduce the notion of an algebraic cocycle as the algebraic analogue of a map to an Eilenberg-MacLane space. Using these cocycles we develop a ``cohomology theory" for complex algebraic varieties. The theory is bigraded, functorial,…

We study the approximation of J-holomorphic maps continuous to the boundary from ma domain in the complex plane into an almost complex manifold by maps J-holomorphic to the boundary, giving partial results in the non-integrable case. For…

We are interested in classifying groups of local biholomorphisms (or even formal diffeomorphisms) that can be endowed with a canonical structure of algebraic group up to add extra formal diffeomorphisms. We show that this is the case for…