Related papers: A differential Chevalley theorem

In the model of synthetic differential geometry consisting of sheaves (with respect to open covers) over the opposite category of the category of closed finitely generated C-infinity rings, any morphism from S, the zeroes of the "amazing…

Consider a local chain Differential Graded algebra, such as the singular chain complex of a pathwise connected topological group. In two previous papers, a number of homological results were proved for such an algebra: An Amplitude…

We give model theoretic accounts and proofs of the existence and uniqueness of differential Galois extensions with no new constants, for logarithmic differential equations over a differential field K, when the field C of constants of K is…

Let (g,k) be a reductive symmetric superpair of even type, i.e. so that there exists an even Cartan subspace a in p. The restriction map S(p^*)^k->S(a^*)^W where W=W(g_0:a) is the Weyl group, is injective. We determine its image explicitly.…

We prove that the group of area-preserving diffeomorphisms of the 2-sphere admits a non-trivial homogeneous quasimorphism to the real numbers with the following property. Its value on any diffeomorphism supported in a sufficiently small…

This article generalizes Venkatesh's structure theorem for the derived Hecke action on the Hecke trivial cohomology of a division algebra over an imaginary quadratic field to division algebras over all number fields. In particular, we show…

A quasi-coherent ringed scheme is a pair (X,A), where X is a scheme, and A is a noncommutative quasi-coherent O_X-ring. We introduce dualizing complexes over quasi-coherent ringed schemes and study their properties. For a separated…

We prove that finite-index conformal nets are fully dualizable objects in the 3-category of conformal nets. Therefore, assuming the cobordism hypothesis applies, there exists a local framed topological field theory whose value on the point…

In this paper an algebraic model for unbased rational homotopy theory from the perspective of curved Lie algebras is constructed. As part of this construction a model structure for the category of pseudo-compact curved Lie algebras with…

We study analogues of Tate's conjecture on homomorphisms for abelian varieties when the ground field is finitely generated over an algebraic closure of a finite field. Our results cover the case of abelian varieties without nontrivial…

This paper lays the groundwork for the theory of categorical diagonalization. Given a diagonalizable operator, tools in linear algebra (such as Lagrange interpolation) allow one to construct a collection of idempotents which project to each…

We prove ultradifferentiable Chevelley restriction theorems for a wide range of ultradifferentiable classes. As a special case we find that isotropic functions, i.e., functions defined on the vector space of real symmetric matrices…

Let $T$ be a polynomially bounded o-minimal theory extending the theory of real closed ordered fields. Let $K$ be a model of $T$ equipped with a $T$-convex valuation ring and a $T$-derivation. If this derivation is continuous with respect…

McGrail has shown the existence of a model completion for the universal theory of fields on which a finite number of commuting derivations act and, independently, Yaffe has shown the existence of a model completion for the univeral theory…

We construct open-closed maps on various versions of Hochschild and cyclic homology of the Fukaya $A_\infty$ algebra of a Lagrangian submanifold modeled on differential forms. The $A_\infty$ algebra may be curved. Properties analogous to…

We investigate the homological behaviour of compactly generated triangulated categories under separable extensions. We show that homological invariants (finiteness of global dimension, gorensteinness and regularity) are preserved under such…

We prove that a quasi-finite endomorphism of an algebraic variety over an algebraically closed field of characteristic zero, that is injective on the complement of a closed subvariety, is an automorphism. We also prove that an endomorphism…

We show that the hypercohomology of the Chevalley-Eilenberg-de Rham complex of a Lie algebroid L over a scheme with coefficients in an L-module can be expressed as a derived functor. We use this fact to study a Hochschild-Serre type…

The aim of these notes is to generalize Laumon's construction [18] of automorphic sheaves corresponding to local systems on a smooth, projective curve $C$ to the case of local systems with indecomposable unipotent ramification at a finite…

We prove the formality theorem for the differential graded Lie algebra module of Hochschild chains for the algebra of endomorphisms of a smooth vector bundle. We discuss a possible application of this result to a version of the algebraic…