Related papers: Schemes as functors on topological rings

We describe dynamical properties of a map $\mathfrak{F}$ defined on the space of rational functions. The fixed points of $\mathfrak{F}$ are classified and the long time behavior of a subclass is described in terms of Eulerian polynomials.

It is well known that all torsors under an affine algebraic group over an algebraically closed field are trivial. We note that under suitable conditions this also holds if the the group is not necessarily of finite type. This has an…

We present a formalization of quasi-compact and quasi-separated schemes (qcqs-schemes) in the Cubical Agda proof assistant. We follow Grothendieck's functor of points approach, which defines schemes, the quintessential notion of modern…

A classical approach to investigate a closed projective scheme $W$ consists of considering a general hyperplane section of $W$, which inherits many properties of $W$. The inverse problem that consists in finding a scheme $W$ starting from a…

For a function defined on an arbitrary subset of a Riemann surface, we give conditions which allow the function to be extended conformally. One folkloric consequence is that two common definitions of an analytic arc in ${\mathbb C}$ are…

Let R be a commutative ring and let Spec(R) denote the collection of prime ideals of R. We define a topology on Spec(R) by using ultrafilters and demonstrate that this topology is identical to the well known patch or constructible topology.…

For real application and theoretical investigation of ordinary hypergraphs and non-ordinary hypergraphs, researchers need to establish standard rules and feasible operating methods. We propose a visualization tool for investigating…

In the article of Hesselholt [Hes05], a set of conjectures is laid out. Given a smooth scheme $X$ over the ring of integers $\mathcal{O}_K$ of a $p$-adic field $K$, these conjectures concern the expected relation between log topological…

Let $k$ be a field of characteristic zero. By using Hironaka's desingularisation theorem, we prove an extension criterion for a functor defined on nonsingular k-schemes and taking values on a category of complexes. Roughly speaking, the…

Index maps taking values in the $K$-theory of a mapping cone are defined and discussed. The resulting index theorem can be viewed in analogy with the Freed-Melrose index theorem. The framework of geometric $K$-homology is used in a…

We propose a cyclic coefficient $R$ which represents the cyclic characteristics of complex networks. If the network forms a perfect tree-like structure then $R$ becomes zero. The larger value of $R$ represents that the network is more…

Let $\mathcal C$ be a subcategory of the category of topologized semigroups and their partial continuous homomorphisms. An object $X$ of the category ${\mathcal C}$ is called ${\mathcal C}$-closed if for each morphism $f:X\to Y$ of the…

Let $(U, R)$ be an approximation space with $U$ being non-empty set and $R$ being an equivalence relation on $U$, and let $\overline{G}$ and $\underline{G}$ be the upper approximation and the lower approximation of subset $G$ of $U$. A…

Let $X$ and $Y$ be the Hausdorff topological spaces and let $A$ be both an $\fs$- and $\gd$- subset of $X$. Let also $f\cn A\to Y$ be a function for which the inverse image of every open subset $U\subset Y$ is $\fs$ in $X$. We show that $f$…

We construct the $\mathbb{A}^1$-local stable motivic homotopy categories of fs log schemes. For schemes with the trivial log structure, our construction is equivalent to the original construction of Morel-Voevodsky. We prove the…

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…

Topological landscape is introduced for networks with functions defined on the nodes. By extending the notion of gradient flows to the network setting, critical nodes of different indices are defined. This leads to a concise and…

We introduce the crisp topology for schemes as a refinement of the fpqc topology. This Grothendieck topology uses the new notion of crisp morphisms, which generalise universal injectivity from ring homomorphisms to arbitrary morphisms of…

The set of all maximal ideals of the ring $\mathcal{M}(X,\mathcal{A})$ of real valued measurable functions on a measurable space $(X,\mathcal{A})$ equipped with the hull-kernel topology is shown to be homeomorphic to the set $\hat{X}$ of…

Let S and R be the rings of regular functions on affine algebraic varieties over a field of characteristic 0, R be embedded as a subring in S, and F : S --> S be an endomorphism such that F(R) subset R. Suppose that every ideal of height 1…