Related papers: Derived Non-archimedean analytic Hilbert space

The categories of real and of complex Hilbert spaces with bounded linear maps have received purely categorical characterisations by Chris Heunen and Andre Kornell. These characterisations are achieved through Sol\`er's theorem, a result…

Inspired by the work of Cherry, we introduce and study a new notion of Brody hyperbolicity for rigid analytic varieties over a non-archimedean field $K$ of characteristic zero. We use this notion of hyperbolicity to show the following…

Let k be a global field. Let G be a connected linear algebraic k-group, assumed reductive when k is a function field. It follows from a result of a preprint by Bary-Soroker, Fehm and Petersen that when H is a smooth connected k-subgroup of…

We introduce a complex-valued counterpart of the representer theorem in machine learning. We study several learning and minimization problems in reproducing kernel Hilbert spaces (RKHSs), with the aim of identifying appropriate input-output…

We generalize the higher Riemann-Hilbert correspondence in the presence of scalar curvature for a (possibly non-compact) smooth manifold $M$. We show that the dg-category of curved $\infty$-local systems, the dg-category of graded vector…

Just like group actions are represented by group automorphisms, Lie algebra actions are represented by derivations: up to isomorphism, a split extension of a Lie algebra $B$ by a Lie algebra $X$ corresponds to a Lie algebra morphism $B\to…

Let $G$ be a reductive affine algebraic group defined over a field $k$ of characteristic zero. In this paper, we study the cotangent complex of the derived $G$-representation scheme $ {\rm DRep}_G(X)$ of a pointed connected topological…

Given a quasi-hereditary algebra $B$, we present conditions which guarantee that the algebra $\gr B$ obtained by grading $B$ by its radical filtration is Koszul and at the same time inherits the quasi-hereditary property and other good…

For a connected reductive group $G$ and an affine smooth $G$-variety $X$ over the complex numbers, the localization functor takes $\mathfrak{g}$-modules to $D_X$-modules. We extend this construction to an equivariant and derived setting…

Isomorphisms of separable Hilbert spaces are analogous to isomorphisms of n-dimensional vector spaces. However, while n-dimensional spaces in applications are always realized as the Euclidean space R^n, Hilbert spaces admit various useful…

Let X be the quasi-projective symplectic surface that is given by the total space of the invertible sheaf O(-2) over the projective line. Let Hilb X be the family of Hilbert schemes of points on X. We give and prove a closed formula…

We classify the category of finite-dimensional real division composition algebras having a non-abelian Lie algebra of derivations. Our complete and explicit classification is largely achieved by introducing the concept of a…

It is a well established fact, that any projective algebraic variety is a moduli space of representations over some finite dimensional algebra. This algebra can be chosen in several ways. The counterpart in algebraic geometry is…

We define quasi--locally presentable categories as big unions of coreflective subcategories which are locally presentable. Under appropriate hypotheses we prove a representability theorem for exact contravariant functors defined on a…

Proving representability of derived moduli stacks of solutions to non-linear elliptic partial differential equations generally requires significant analytic machinery. In this paper, we instead show that representability naturally follows…

We prove a generalization of the fundamental theorem of algebraic K-theory for Verdier-localizing functors by extending the proof for algebraic K-theory of spaces to the realm of stable $\infty$-categories. The formula behaves much better…

Let U be a smooth quasi-projective variety over a field k that is finite, the algebraic closure of a finite field or algebraically closed of characteristic 0. Let X be a suitable projective compactification of U, and D an effective divisor…

Let F denote a binary form of order d over the complex numbers. If r is a divisor of d, then the Hilbert covariant H_{r,d}(F) vanishes exactly when F is the perfect power of an order r form. In geometric terms, the coefficients of H give…

We construct the derived version of the Hilbert scheme parametrizing subschemes in a given projective scheme X with given Hilbert polynomial h. This is a dg-manifold (smooth dg-scheme) RHilb_h(X) which carries a natural family of…

We consider positive semidefinite kernels valued in the $*$-algebra of continuous and continuously adjointable operators on a VH-space (Vector Hilbert space in the sense of Loynes) and that are invariant under actions of $*$-semigroups. For…