Related papers: A Foundation for Synthetic Algebraic Geometry

In this paper, for a given finitely generated algebra (an algebraic structure with arbitrary operations and no predicates) A we study finitely generated limit algebras of A, approaching them via model theory and algebraic geometry. Along…

The purpose of this paper is to introduce a Zariski-like topology on the spectrum of all proper ideals of a ring. We show that the space is T_0, quasi-compact, and every irreducible closed subset has a unique generic point. Furthermore,…

We develop a global cohomology theory for number fields by offering topological cohomology groups, an arithmetical duality, a Riemann-Roch type theorem, and two types of vanishing theorem. As applications, we study moduli spaces of…

The cohomology of coherent sheaves and sheaves of Abelian groups on Noetherian schemes are interpreted in second order arithmetic by means of a finiteness theorem. This finiteness theorem provably fails for the etale topology even on…

Let $K$ be a finite extension of the $p$-adic numbers $\mathbb Q_p$ with ring of integers $\mathcal O_K$, $\mathcal X$ a regular scheme, proper, flat, and geometrically irreducible over $\mathcal O_K$ of dimension $d$, and $\mathcal X_K$…

We use the theory of hyperplane arrangements to construct natural bases for the homology of partition lattices of types A, B and D. This extends and explains the "splitting basis" for the homology of the partition lattice given in [Wa96],…

Directed Algebraic Topology is beginning to emerge from various applications. The basic structure we shall use for such a theory, a 'd-space', is a topological space equipped with a family of 'directed paths', closed under some operations.…

In this paper, using the topology on the set of shape morphisms between arbitrary topological spaces $X$, $Y$, $Sh(X,Y)$, defined by Cuchillo-Ibanez et al. in 1999, we consider a topology on the shape homotopy groups of arbitrary…

Let $G$ be a simple algebraic group over an algebraically closed field and let $X$ be an irreducible subvariety of $G^r$ with $r \geqslant 2$. In this paper, we consider the general problem of determining if there exists a tuple $(x_1,…

In domains, categories, and toposes, the Sierpi\'nski cone construction glues onto a space a universal closed point lying below all the other points. Although this is a lax colimit, it also enjoys a well-known right-handed universal…

Localic and realizability toposes are two central classes of toposes in categorical logic, both arising through the Hyland-Johnstone-Pitts tripos-to-topos construction. We investigate their shared geometric features by providing an…

The cohomology theory known as Tmf, for "topological modular forms," is a universal object mapping out to elliptic cohomology theories, and its coefficient ring is closely connected to the classical ring of modular forms. We extend this to…

In this paper we explore conditions for a curve in a smooth projective surface to have a free product of cyclic groups as the fundamental group of its complement. It is known that if the surface is $\mathbb P^2$, then such curves must be of…

This paper builds a general framework in which to study cohomology theories of strongly homotopy algebras, namely $A_\infty, C_\infty$ and $L_\infty$-algebras. This framework is based on noncommutative geometry as expounded by Connes and…

In this article, we will study prime spectrum of Krasner hyperrings and Zariski topology on them, which play an important role in algebraic geometry. Then some results about the relationship between the topological properties of Spec(R) and…

We formalize the main approach for showing Zariski descent-type statements for strong generation of triangulated categories associated to algebro-geometric objects. This recovers various known statements in the literature. As applications…

One important class of tools in the study of the connections between algebraic and topological structures are the "Banach-Stone type theorems", which describe algebraic isomorphisms of algebras (or groups, lattices, etc.) of functions in…

There is a close relationship between the embedded topology of complex plane curves and the (group-theoretic) arithmetic of elliptic curves. In a recent paper, we studied the topology of some arrangements of curves which include a special…

We give conditions under which the monodromy group of an $A$-hypergeometric system is invariant under modifications of the collection of characters $A$. The key ingredient is a Zariski--Lefschetz type theorem for principal $A$-determinants.

We prove several positive results regarding representation of homotopy classes of spheres and algebraic groups by regular mappings. Most importantly we show that every mapping from a sphere to an orthogonal or a unitary group is homotopic…