Related papers: A homotopical Skolem--Noether theorem

For an abelian category and a distinguished object with a graded endomorphism ring a necessary and sufficient criterion is given so that the category is equivalent to the abelian quotient of the category of finitely presented graded modules…

We observe that on the level of derived categories, representations of the Lie algebra of a semisimple algebraic group over a field of characteristic $p> h$ (where $h$ is the Coxeter number), with a given (generalized) central character are…

Constructions are given of Noetherian maximal orders that are finitely presented algebras over a field K, defined by monomial relations. In order to do this, it is shown that the underlying homogeneous information determines the algebraic…

The classical HKR-theorem gives an isomorphism of the n-th Hochschild cohomology of a smooth algebra and the n-th exterior power of its module of K\"ahler differentials. Here we generalize it for simplicial, graded and anticommutative…

Using the new approach to analytic geometry developed by Clausen and Scholze by means of condensed mathematics, we prove that for every affinoid analytic adic space $X$, pseudocoherent complexes, perfect complexes, and finite projective…

In principle, Floer theory can be extended to define homotopy invariants of families of equivalent objects (e.g. Hamiltonian isotopic symplectomorphisms, 3-manifolds, Legendrian knots, etc.) parametrized by a smooth manifold B. The…

In this paper, we investigate the notions of almost Noetherian rings and modules. In details, we give the Cohen type theorem, Eakin-Nagata type theorem, Kaplansky type Theorem and Hilbert basis theorem and some other rings constructions for…

Fix a noetherian scheme S. For any flat map f: X->Y of separated essentially-finite-type perfect S-schemes we define a canonical derived-category map c(f):\H(X)->f^!\H(Y), the fundamental class of f, where \H(Z) is the (pre-)Hochschild…

We show that the derived category of complexes with quasi-coherent cohomology on a regular Noetherian algebraic stack with quasi-finite diagonal is generated by a single perfect complex. In the concentrated case, the category is singly…

Chevalley's theorem states that every smooth connected algebraic group over a perfect field is an extension of an abelian variety by a smooth connected affine group. That fails when the base field is not perfect. We define a pseudo-abelian…

Fujita's second theorem for K\"ahler fibre spaces over a curve asserts that the direct image $V$ of the relative dualizing sheaf splits as the direct sum $ V = A \oplus Q$, where $A$ is ample and $Q$ is unitary flat. We focus on our…

In this note we prove a conjecture of Kashiwara, which states that the Euler class of a coherent analytic sheaf F on a complex manifold X is the product of the Chern character of F with the Todd class of X. As a corollary, we obtain a…

Given a holomorphic vector bundle $E:EX X$ over a compact K\"ahler manifold, one introduces twisted GW-invariants of $X$ replacing virtual fundamental cycles of moduli spaces of stable maps $f: \Sigma \to X$ by their cap-product with a…

The cohomology of coherent sheaves and sheaves of Abelian groups on Noetherian schemes are interpreted in second order arithmetic by means of a finiteness theorem. This finiteness theorem provably fails for the etale topology even on…

Let \pi : X -> S be a finite type morphism of noetherian schemes. A smooth formal embedding of X (over S) is a bijective closed immersion X -> \frak{X}, where \frak{X} is a noetherian formal scheme, formally smooth over S. An example of…

We develop a theory of unbounded derived categories of quasi-coherent sheaves on algebraic stacks. In particular, we show that these categories are compactly generated by perfect complexes for stacks that either have finite stabilizers or…

We prove an integral version of the classical Albert-Brauer-Hasse-Noether theorem regarding quaternion algebras over number fields. Let $\mathfrak A$ be a quaternion algebra over a number field $K$ and assume that $\mathfrak A$ satisfies…

We establish a version of the first Noether Theorem, according to which the (equivalence classes of) conserved quantities of given Euler-Lagrange equations in several independent variables are in one-to-one correspondence with the…

A theorem of Keller states that the Yoneda algebra of the simple modules over a finite-dimensional algebra is generated in cohomological degrees $0$ and $1$ as a minimal $A_\infty$-algebra. We provide a proof of an extension of Keller's…

A theorem of Nomizu and van Est computes the cohomology of a compact nilmanifold, or equivalently the group cohomology of an arithmetic subgroup of a unipotent linear algebraic group over $\mathbb{Q}$. We prove a similar result for the…