Related papers: Algebraic Intersection Spaces
The topological interpretation of modal logics provides descriptive languages and proof systems for reasoning about points of topological spaces. Recent work has been devoted to model checking of spatial logics on discrete spatial…
The most impressively prolific exploration of superstring models (aiming for our physical reality) has been focused on worldsheet-supersymmetric gauged linear sigma models and the closely associated complex-algebraic toric geometry. Mirror…
A graph $G$ with vertex set $\{v_1,v_2,\ldots,v_n\}$ is an intersection graph of segments if there are segments $s_1,\ldots,s_n$ in the plane such that $s_i$ and $s_j$ have a common point if and only if $\{v_i,v_j\}$ is an edge of~$G$. In…
We consider the method of alternating projections for finding a point in the intersection of two closed sets, possibly nonconvex. Assuming only the standard transversality condition (or a weaker version thereof), we prove local linear…
Classically, the projective duality between joins of varieties and the intersections of varieties only holds in good cases. In this paper, we show that categorically, the duality between joins and intersections holds in the framework of…
We construct a topology on a given algebraically closed field with a distinguished subfield which is also algebraically closed. This topology is finer than Zariski topology and it captures the sets definable in the pair of algebraically…
Motivated by recent work on the use of topological methods to study collections of rings between an integral domain and its quotient field, we examine spaces of subrings of a commutative ring, where these spaces are endowed with the Zariski…
Given a set $\mathcal A = \{a_1,\ldots,a_n\} \subset \mathbb{N}^m$ of nonzero vectors defining a simplicial toric ideal $I_{\mathcal A} \subset k[x_1,...,x_n]$, where $k$ is an arbitrary field, we provide an algorithm for checking whether…
This paper constructs (with challenging obstacles) on the three torus with its cubical decomposition: Firstly, a combinatorial graded intersection algebra (graded by the codimension) which is commutative and associative defined by…
Associated to any closed quantum subgroup $G\subset U_N^+$ and any index set $I\subset\{1,\ldots,N\}$ is a certain homogeneous space $X_{G,I}\subset S^{N-1}_{\mathbb C,+}$, called affine homogeneous space. We discuss here the abstract…
We expand our previously founded basic theory of equiresidual algebraic geometry over an arbitrary commutative field, to a well-behaved theory of (equiresidual) algebraic varieties over a commutative field, thanks to the generalisation of…
Given a smooth complex variety $X$, an algebraically skew embedding of $X$ is an embedding of $X$ into a complex projective space $\mathbb{P}^N$ such that for any two points $x,y\in X$, their embedded tangent spaces in $\mathbb{P}^N$ do not…
We introduce a new family of invariants of real algebraic sets defined in terms of the topology of their complexifications and compute some of these invariants for spheres. This allows us to completely classify topological isomorphism…
By definition, the intersection of finitely many open sets of any topological space is open. Nachbin observed that, more generally, the intersection of compactly many open sets is open. Moreover, Nachbin applied this to obtain elegant…
Given a perversity function in the sense of intersection homology theory, the method of intersection spaces assigns to certain oriented stratified spaces cell complexes whose ordinary reduced homology with real coefficients satisfies…
We consider the inclusion of the space of algebraic (regular) maps between real algebraic varieties in the space of all continuous maps. For a certain class of real algebraic varieties, which include real projective spaces, it is well known…
We define algebraic structures on graph cohomology and prove that they correspond to algebraic structures on the cohomology of the spaces of imbeddings of S^1 or R into R^n. As a corollary, we deduce the existence of an infinite number of…
We consider the popular and classical method of alternating projections for finding a point in the intersection of two closed sets. By situating the algorithm in a metric space, equipped only with well-behaved geodesics and angles (in the…
We study the twisted Novikov homology of the complement of a complex hypersurface in general position at infinity. We give a self-contained topological proof of the vanishing (except possibly in the middle degree) of the twisted Novikov…
Numerical algebraic geometry has a close relationship to intersection theory from algebraic geometry. We deepen this relationship, explaining how rational or algebraic equivalence gives a homotopy. We present a general notion of witness set…