Related papers: Projective Geometry for Perfectoid Spaces
The quantum completion of the space of connections in a manifold can be seen as the set of all morphisms from the groupoid of the edges of the manifold to the (compact) gauge group. This algebraic construction generalizes an analogous…
A combinatorial polytope $P$ is said to be projectively unique if it has a single realization up to projective transformations. Projective uniqueness is a geometrically compelling property but is difficult to verify. In this paper, we merge…
We generalize the notion of a projective profinite group to a projective pair of a profinite group and a closed subgroup. We establish the connection with Pseudo Algebraically Closed (PAC) extensions of PAC fields: Let M be an algebraic…
The $\lambda$-perfect maps, a generalization of perfect maps (continuous closed maps with compact fibers) are presented. Using $P_\lambda$-spaces and the concept of $\lambda$-compactness some results regarding $\lambda$-perfect maps will be…
We show that the basic categorical concept of an S-algebra as derived from the theory of Segal's Gamma-sets provides a unifying description of several constructions attempting to model an algebraic geometry over the absolute point. It…
We present a novel algorithm for deciding whether a given planar curve is an image of a given spatial curve, obtained by a central or a parallel projection with unknown parameters. The motivation comes from the problem of establishing a…
We explain how results comparing the homology of spaces of algebraic and continuous maps to projective spaces can be leveraged to compare moduli stacks of families of algebraic and continuous maps.
Geometric Invariant Theory gives a method for constructing quotients for group actions on algebraic varieties which in many cases appear as moduli spaces parametrizing isomorphism classes of geometric objects (vector bundles, polarized…
We generalize parts of the theory of associative geometries developed by Kinyon and the author in the framework of universal algebra: we prove that certain associoid structures, such as pregroupoids and principal equivalence relations, have…
Let X be a right Hilbert C*-module over A. We study the geometry and the topology of the projective space P(X) of X, consisting of the orthocomplemented submodules of X which are generated by a single element. We also study the geometry of…
The relationship between convex geometry and algebraic geometry has deep historical roots, tracing back to classical works in enumerative geometry. In this paper, we continue this theme by studying two interconnected problems regarding…
Geometric algebra was initiated by W.K. Clifford over 130 years ago. It unifies all branches of physics, and has found rich applications in robotics, signal processing, ray tracing, virtual reality, computer vision, vector field processing,…
The definition of the complement of a fuzzy subset is algebraic in nature and when it is used in the context of fuzzy topological spaces it does not share any similarity with the usual property of topological spaces that the complement of…
Raynaud and Gruson showed that there is a reasonable algebro-geometric notion of family of discrete (infinite-dimensional) vector spaces. The author introduces a notion of family of Tate spaces ("Tate" means "locally linearly compact") and…
Given an ample action of an inverse semigroup on a locally compact and Hausdorff topological space, we study the ideal structure of the crossed product algebra associated with it. By developing a theory of induced ideals, we manage to prove…
The main purpose of this paper is to study the vector groupoids. This is an algebraic structure which combines the concepts of Brandt groupoid and vector space such that these are compatible.
We offer an axiomatic presentation of three-dimensional projective space that adopts the line as its fundamental element and renders automatic the principle of duality.
On a projective complex manifold, the Abelian group of Divisors maps surjectively onto that of holomorphic line bundles (the Picard group). On a $G_2$-manifold we use coassociative submanifolds to define an analogue of the first, and a…
The notion of a spectral geometry on a compact metric space X is introduced. This notion serves as a discrete approximation of X motivated by the notion of a spectral triple from non-commutative geometry. A set of axioms charaterising…
The numerical range of a matrix is studied geometrically via the cone of positive semidefinite matrices (or semidefinite cone for short). In particular it is shown that the feasible set of a two-dimensional linear matrix inequality (LMI),…