Related papers: When are two HKR isomorphisms equal?
Let $X_0, X_1, ..., X_k$ with $k \in \IN\cup\{\infty\}$ be sequence spaces $($finite or infinite dimensional$)$ over $\IC$ or $\IR$ with absolute norms $N_i$ for $i = 0, ..., k$, $($i.e., with 1-unconditional bases$)$ such that $\dim X_0 =…
A mapping $\alpha : V(G) \to V(H)$ from the vertex set of one graph $G$ to another graph $H$ is an isometric embedding if the shortest path distance between any two vertices in $G$ equals the distance between their images in $H$. Here, we…
We classify all isomorphisms between moduli stacks of vector bundles of fixed determinant on a smooth complex projective of genus at least 4. It is shown that each isomorphism between two different moduli stacks can be described as a…
One of the central questions of universal algebraic geometry is: when two algebras have the same algebraic geometry? There are various interpretations of the sentence "Two algebras have the same algebraic geometry". One of these is…
We prove that for any isomorphism $h: \mathcal{K}_1 \to \mathcal{K}_2$ between pure union-closed families, there exists a hyperisomorphism $H: \bigcup \mathcal{K}_1 \to \bigcup \mathcal{K}_2$ such that $h(A) = \{ H(a) \mid a \in A \}$, for…
We address various topologies (de Bruijn, chordal ring, generalized Petersen, meshes) in various ways ( isometric embedding, embedding up to scale, embedding up to a distance) in a hypercube or a half-hypercube. Example of obtained…
Let $G$ be a compact connected Lie group and $K$ a closed connected subgroup. Assume that the order of any torsion element in the integral cohomology of $G$ and $K$ is invertible in a given principal ideal domain $k$. It is known that in…
Let $B$ denote the upper triangular subgroup of $SL_2(C)$, $T$ its diagonal torus and $U$ its unipotent radical. A complex projective variety $Y$ endowed with an algebraic action of $B$ such that the fixed point set $Y^U$ is a single point,…
Let $R$ be the homogeneous coordinate ring of a smooth projective variety $X$ over a field $\k$ of characteristic~0. We calculate the $K$-theory of $R$ in terms of the geometry of the projective embedding of $X$. In particular, if $X$ is a…
This paper analyses non-regular $|2|$-graded geometries, and show that they share many of the properties of regular geometries -- the existence of a unique normal Cartan connection encoding the structure, the harmonic curvature as…
We establish a categorical framework relating two canonical model constructions in first-order logic: the Henkin construction and compactness-based constructions via ultraproducts or saturation. By introducing a globally fixed set of Henkin…
The works of Commichau--Grauert and Hirschowitz showed that a formal equivalence between embeddings of a compact complex manifold is convergent, if the embeddings have sufficiently positive normal bundles in a suitable sense. We show that…
Let $R$ be a commutative noetherian ring and $f: X \to \mathrm{Spec} R$ a proper smooth morphism, of relative dimension $n$. From Hartshorne, Residues and Duality, Springer, 1966, one knows that the trace map $\mathrm{Tr}_f :…
Given a singular projective variety in some projective space, we characterize the smooth curves contracted by the Gauss map in terms of normal bundles. As a consequence, we show that if the variety is normal, then a contracted line always…
For any (unital) exchange ring $R$ whose finitely generated projective modules satisfy the separative cancellation property ($A\oplus A\cong A\oplus B\cong B\oplus B$ implies $A\cong B$), it is shown that all invertible square matrices over…
We establish that the isomorphy type as an abstract algebraic variety of the complement of an ample hyperplane sub-bundle H of a projective space bundle of rank r-1 over the projective line depends only on the the r-fold self-intersection…
Given an orthogonal bundle $E$ over a smooth projective curve $X$ we define a Hecke transformation in the moduli space of orthogonal bundles by performing an elementary transformation with respect to a Lagrangian submodule $L \subset…
Let $\mathfrak{X}$ be a class of finite groups closed under subgroups, homomorphic images, and extensions. We study the question which goes back to the lectures of H. Wielandt in 1963-64: For a given $\mathfrak{X}$-subgroup $K$ and maximal…
We show the equivalence of two state-of-the-art link prediction/knowledge graph completion methods: Nickel et al's holographic embedding and Trouillon et al.'s complex embedding. We first consider a spectral version of the holographic…
We consider Real bundle gerbes on manifolds equipped with an involution and prove that they are classified by their Real Dixmier-Douady class in Grothendieck's equivariant sheaf cohomology. We show that the Grothendieck group of Real bundle…