Related papers: Projective Space in Synthetic Algebraic Geometry

For a tuple $A=(A_0, A_1, ..., A_n)$ of elements in a unital Banach algebra ${\mathcal B}$, its {\em projective spectrum} $p(A)$ is defined to be the collection of $z=[z_0, z_1, ..., z_n]\in \pn$ such that $A(z)=z_0A_0+z_1A_1+... +z_nA_n$…

We address a natural question in noncommutative geometry, namely the rigidity observed in many examples, whereby noncommutative spaces (or equivalently their coordinate algebras) have very few automorphisms by comparison with their…

The holomorphic homogeneous prepotential encoding the special geometry of the special K\"ahler manifolds ${\textstyle SU(1,n)\over \textstyle U(1)\otimes SU(n)}$ is constructed using the symplectic embedding of the isometry group $SU(1,n)$…

We work on the classification of isomorphism classes of finitely generated projective modules over the C*-algebras $C\left( \mathbb{P}^{n}\left( \mathcal{T}\right) \right) $ and $C\left( \mathbb{S}_{H}^{2n+1}\right) $ of the quantum complex…

In these memos, we define a pregeometry $\mathcal{T}_{\mathbb{S}} ^{alg}$ and a geometry $\mathcal{G}_{\mathbb{S}} ^{alg}$ which integrate symplectic manifolds with $E_{\infty}$-ring sheaves, enabling the construction of…

Let $X$ be a perfectoid space with tilt $X^\flat$. We construct a canonical map $\theta:\operatorname{Pic} X^\flat\to\lim\operatorname{Pic} X$ where the (inverse) limit is taken over the $p$-power map, and show that $\theta$ is an…

The Solomon-Tits theorem says that the poset of proper non-trivial subspaces of a finite-dimensional vector space has realisation equivalent to a wedge of spheres. In this paper we prove a variant of this result for collections of geodesic…

We study the homotopy types of spaces of algebraic (rational) maps from real projective spaces into complex projective spaces. In a previous paper we have shown that the inclusion of the first space into the second one is a homotopy…

The quaternionic Grassmannian HGr(r,n) is the affine open subscheme of the ordinary Grassmannian parametrizing those 2r-dimensional subspaces of a 2n-dimensional symplectic vector space on which the symplectic form is nondegenerate. In…

We show that any adjoint absolutely simple linear algebraic group over a field of characteristic zero is the automorphism group of some projector on a central simple algebra. Projective homogeneous varieties can be described in these terms;…

Starting from any unital colored PROP $P$, we define a category $P(P)$ of shapes called $P$-propertopes. Presheaves on $P(P)$ are called $P$-propertopic sets. For $0 \leq n \leq \infty$ we define and study $n$-time categorified $P$-algebras…

We prove a general combination theorem for discrete subgroups of $\mathrm{PGL}(n,\mathbb{R})$ preserving properly convex open subsets in the projective space $\mathbb{P}(\mathbb{R}^n)$, in the spirit of Klein and Maskit. We use it in…

A projective algebraic surface which is homeomorphic to a ruled surface over a curve of genus $g\ge 1$ is itself a ruled surface over a curve of genus $g$. In this note, we prove the analogous result for projective algebraic manifolds of…

Let $G$ be a Lie group with a biinvariant metric, not necessarily positive definite. It is shown that a certain construction carried out in an earlier paper for the fundamental group of a closed surface may be extended to an arbitrary…

This paper develops a unified framework for observables in n-plectic geometry, extending the L_infty-algebra of Hamiltonian (n-1)-forms to Hamiltonian forms of all degrees via a degree-shifting Grassmann variable u that encodes submanifold…

In this article we compute the mapping class group of the total space $S(\xi)$ of the sphere bundle of a 3-dimensional real vector bundle $\xi$ over the complex projective plane $\mathbb{P}^2$ with $\langle p_1(\xi), [\mathbb{P}^2] \rangle…

Using elementary graded automorphisms of polytopal algebras (essentially the coordinate rings of projective toric varieties) polyhedral versions of the group of elementary matrices and the Steinberg and Milnor groups are defined. They…

We define a quantum generalization of the algebra of functions over an associated vector bundle of a principal bundle. Here the role of a quantum principal bundle is played by a Hopf-Galois extension. Smash products of an algebra times a…

Algebraic hyperbolicity serves as a bridge between differential geometry and algebraic geometry. Generally, it is difficult to show that a given projective variety is algebraically hyperbolic. However, it was established recently that a…

We give two new constructions of the harmonic algebra of a lattice polytope $P$, a bigraded algebra whose character is the $q$-Ehrhart series of $P$ defined by Reiner and Rhoades. First, we show that the harmonic algebra is the associated…