Related papers: Arithmetic localisation and completion of spectra
A p-local finite group consists of a finite p-group S, together with a pair of categories which encode ``conjugacy'' relations among subgroups of S, and which are modelled on the fusion in a Sylow p-subgroup of a finite group. It contains…
Given a duo module $M$ over an associative (not necessarily commutative) ring $R,$ a Zariski topology is defined on the spectrum $\mathrm{Spec}^{\mathrm{fp}}(M)$ of {\it fully prime} $R$-submodules of $M$. We investigate, in particular, the…
We consider nonhomogeneous fractional $p$-Laplace equations defined on a bounded nonsmooth domain which goes beyond the Lipschitz category. Under a sufficient flatness assumption on the domain in the sense of Reifenberg, we establish…
This first part of the paper describes the support of top graded local cohomology modules. As a corrolary one obtains a simple criteria for the vanishing of these modules and also the fact that they have finitely many minimal primes. The…
The goal of this article is to make explicit a structured complex whose homology computes the cohomology of the p-profinite completion of the n-fold loop space of a sphere of dimension d=n-m<n. This complex is defined purely algebraically,…
A one parameter set of noncommutative complex algebras is given. These may be considered deformation quantisation algebras. The commutative limit of these algebras correspond to the algebra of polynomial functions over a manifold or…
We introduce a general theory of parametrized objects in the setting of infinity categories. Although spaces and spectra parametrized over spaces are the most familiar examples, we establish our theory in the generality of objects of a…
Finiteness spaces constitute a categorical model of Linear Logic (LL) whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefschetz in 1942) and morphisms as continuous linear maps.…
After Galvez, Martinez and Milan discovered a (Weierstrass-type) holomorphic representation formula for flat surfaces in hyperbolic 3-space, the first, third and fourth authors here gave a framework for complete flat fronts with…
We show the absolute continuity of the spectrum and determine the spectrum as a set for two classes of Hadamard manifolds and for specific domains and quotients of one of the classes.
Let a graph be observed through a finite random sampling mechanism. Spectral methods are routinely applied to such graphs, yet their outputs are treated as deterministic objects. This paper develops finite-sample inference for spectral…
Provability logic GLP is well-known to be incomplete w.r.t. Kripke semantics. A natural topological semantics of GLP interprets modalities as derivative operators of a polytopological space. Such spaces satisfying all the axioms of GLP are…
The codomain category of a generalized homology theory is the category of modules over a ring. For an abelian category A, an A-valued (generalized) homology theory is defined by formally replacing the category of modules with the category…
Let $p$ be a prime number. We define the notion of $F$-finiteness of homomorphisms of $\mathbb F_p$-algebras, and discuss some basic properties. In particular, we prove a sort of descent theorem on $F$-finiteness of homomorphisms of…
We prove that there exist profinite Heyting algebras that are not isomorphic to the profinite completion of any Heyting algebra. This resolves an open problem from 2009. More generally, we characterize those varieties of Heyting algebras in…
The adjacency operator of a graph has a spectrum and a class of scalar-valued spectral measures which have been systematically analyzed; it also has a spectral multiplicity function which has been less studied. The first purpose of this…
We approach string phenomenology from the perspective of computational algebraic geometry, by providing new and efficient techniques for proving stability and calculating particle spectra in heterotic compactifications. This is done in the…
We study some model-theoretic notions in NIP by means of spectral topology. In the o-minimal setting we relate the o-minimal spectrum with other topological spaces such as the real spectrum and the space of infinitesimal types of Peterzil…
We investigate whether the group algebra of a finite group over a localisation of the integers is semiperfect. The main result is a necessary and sufficient arithmetic criterion in the ordinary case. In the modular case, we propose a…
This survey gives an overview of three central algebraic themes related to the study of splines: duality, group actions, and homology. Splines are piecewise polynomial functions of a prescribed order of smoothness on some subdivided domain…