Related papers: Connectedness modulo an ideal
Let ${\mathscr P}$ be a topological property. We say that a space $X$ is ${\mathscr P}$-connected if there exists no pair $C$ and $D$ of disjoint cozero-sets of $X$ with non-${\mathscr P}$ closure such that the remainder $X\backslash(C\cup…
Let $X$ be a completely regular topological space. We assign to each (set theoretic) ideal of $X$ an (algebraic) ideal of $C_B(X)$, the normed algebra of continuous bounded complex valued mappings on $X$ equipped with the supremum norm. We…
A topological space $X$ is called submaximal if every dense subset of $X$ is open. In this paper, we show that if $\beta X$, the Stone-\v{C}ech compactification of $X$, is a submaximal space, then $X$ is a compact space and hence $\beta…
Let Hilb^p be the Hilbert scheme parametrizing the closed subschemes of P^n with Hilbert polynomial p \in Q[t] over a field K of characteristic zero. By bounding below the cohomological Hilbert functions of the points of Hilb^p we define…
Given a projective algebraic set X, its dual graph G(X) is the graph whose vertices are the irreducible components of X and whose edges connect components that intersect in codimension one. Hartshorne's connectedness theorem says that if…
A topological group $X$ is called connected if the only subsets which are both open and closed are the whole space $X$ and the null set $\emptyset$. A subset of a topological group is connected if the subspace is connected. We say that a…
It is a well-known result that, in projective space over a field, every set-theoretical complete intersection of positive dimension in connected in codimension one (Hartshorne [H1,3.4.6] or [H2, Theorem 1.3]). Another important…
When one considers the collection $\mathcal{H}(\mathbb{R}^n)$ of all compact subsets of $\mathbb{R}^n$ and equip it with a topology, many questions can be asked about the topological space one ends up with. This is an example of a…
Connectedness, path connectedness, and uniform connectedness are well-known concepts. In the traditional presentation of these concepts there is a substantial difference between connectedness and the other two notions, namely connectedness…
The following is an open problem in topology: Determine whether the Stone-\v{C}ech compactification of a widely-connected space is necessarily an indecomposable continuum. Herein we describe properties of $X$ that are necessary and…
In homotopy type theory we can define the join of maps as a binary operation on maps with a common co-domain. This operation is commutative, associative, and the unique map from the empty type into the common codomain is a neutral element.…
Let G be a totally disconnected, locally compact group. A closed subgroup of G is locally normal if its normaliser is open in G. We begin an investigation of the structure of the family of closed locally normal subgroups of G. Modulo…
In this paper, constructing a class of ideals of $B_1(X)$ from proper ideals of $C(X)$ a one-one correspondence between the class of real maximal ideals of $C(X)$ and those of $B_1(X)$ is established. The collection of all real maximal…
The kth finite subset space of a topological space X is the space exp_k X of non-empty subsets of X of size at most k, topologised as a quotient of X^k. Using results from our earlier paper (math.GT/0210315) on the finite subset spaces of…
We introduce a similarity relation between submodules of a module $M$ over a ring $R$, extending the classical notion of similarity for right ideals. Focusing on (faithfully) projective modules, we establish a sharp lower bound for the…
Let $X$ be a completely regular topological space. We study closed ideals $H$ of $C_B(X)$, the normed algebra of bounded continuous scalar-valued mappings on $X$ equipped with pointwise addition and multiplication and the supremum norm,…
Let $\bold G$ be a reductive algebraic group defined over $\Q$, and let $\Gamma$ be an arithmetic subgroup of $\bold G(\Q)$. Let $X$ be the symmetric space for $\bold G(\R)$, and assume $X$ is contractible. Then the cohomology (mod torsion)…
Consider a reflection from a finitely-complete category $\mathbb{C}$ into its full subcategory $\mathbb{M}$, with unit $\eta :1_\mathbb{C}\rightarrow HI$. Suppose there is a left-exact functor $U$ into the category of sets, such that $UH$…
A topology on a set $X$ is the same as a projection (i.e. an idempotent linear operator) $cl:2^X\to 2^X$ satisfying $A\subset cl(A)$ for all $A\subset X$. That's a good way to summarize Kuratowski's closure operator. Basic geometry on a set…
Given a commutative ring $R$ and finitely generated ideal $I$, one can consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes. Under a mild assumption on the ideal $I$ called weak pro-regularity,…