Related papers: Evaluating thin flat surfaces
We show that an orthogonal basis for a finite-dimensional Hilbert space can be equivalently characterised as a commutative dagger-Frobenius monoid in the category FdHilb, which has finite-dimensional Hilbert spaces as objects and continuous…
Given an essentially finite type morphism of schemes f: X --> Y and a positive integer d, let f^{d}: X^{d} --> Y denote the natural map from the d-fold fiber product, X^{d}, of X over Y and \pi_i: X^{d} --> X the i'th canonical projection.…
Classification of noncommutative quadric hypersurfaces is one of the major projects in noncommutative algebraic geometry. In recent years, we are dedicated to complete the classification of noncommutative central conics. To achieve this…
We construct extended TQFTs associated to Rozansky--Witten models with target manifolds $T^*\mathbb{C}^n$. The starting point of the construction is the 3-category whose objects are such Rozansky--Witten models, and whose morphisms are…
I extend the definitions of schemes relative to monoids with zero - and therefore, toric geometry - to the world of formal schemes. This expands the usual framework to include, for instance, models for Mumford's degenerating Abelian…
The non-parametric estimation of covariance lies at the heart of functional data analysis, whether for curve or surface-valued data. The case of a two-dimensional domain poses both statistical and computational challenges, which are…
Suppose B=F[x,y,z]/h is the homogeneous coordinate ring of a characteristic p degree 3 irreducible plane curve C with a node. Let J be a homogeneous (x,y,z)-primary ideal and n -> e_n be the Hilbert-Kunz function of B with respect to J. Let…
The paper studies the Karoubi envelope of a one-dimensional topological theory with defects and inner endpoints, defined over a field. It turns out that the Karoubi envelope is determined by a symmetric Frobenius algebra K associated to the…
Consider an involution of a smooth projective variety over a field of characteristic not two. We look at the relations between the variety and the fixed locus of the involution from the point of view of cobordism. We show in particular that…
We give a presentation of the $n$-dimensional oriented cobordism category $\text{Cob}_n$ with generators corresponding to diffeomorphisms and surgeries along framed spheres, and a complete set of relations. Hence, given a functor $F$ from…
We prove coherence theorems for dualizable objects in monoidal bicategories and for fully dualizable objects in symmetric monoidal bicategories, describing coherent dual pairs and coherent fully dual pairs. These are property-like…
The classification of algebraic vector bundles of rank 2 over smooth affine fourfolds is a notoriously difficult problem. Isomorphism classes of such vector bundles are not uniquely determined by their Chern classes, in contrast to the…
We determine all affinely homogeneous models for surfaces $S^2 \subset \mathbb{R}^4$, including the simply transitive models. We employ an improved power series method of equivalence, which captures invariants at the origin, creates…
We classify smooth surfaces whose higher cohomologies of i-forms for all i vanish. We show that if such a surface is not affine, then it has essentially two possibilities.
Given a monoidal $\infty$-category $C$ equipped with a monoidal recollement, we give a simple criterion for an object in $C$ to be dualizable in terms of the dualizability of each of its factors and a projection formula relating them.…
We give a construction of an affine Hecke algebra associated to any Coxeter group acting on an abelian variety by reflections; in the case of an affine Weyl group, the result is an elliptic analogue of the usual double affine Hecke algebra.…
We introduce the category of singular 2-dimensional cobordisms and show that it admits a completely algebraic description as the free symmetric monoidal category on a twin Frobenius algebra, by providing a description of this category in…
We compare derived categories of the category of strict polynomial functors over a finite field and the category of ordinary endofunctors on the category of vector spaces. We introduce two intermediate categories: the category of…
In this note, we initiate a study of the finite-dimensional representation theory of a class of algebras that correspond to noncommutative deformations of compact surfaces of arbitrary genus. Low dimensional representations are investigated…
An ideal of a local polynomial ring can be described by calculating a standard basis with respect to a local monomial ordering. However standard basis algorithms are not numerically stable. Instead we can describe the ideal numerically by…