Related papers: Closure operations that induce big Cohen-Macaulay …

We describe all operations from a theory A^* obtained from Algebraic Cobordism of M.Levine-F.Morel by change of coefficients to any oriented cohomology theory B^* (in the case of a field of characteristic zero). We prove that such an…

To enable the study of open sets in computational approaches to mathematics, lots of extra data and structure on these sets is assumed. For both foundational and mathematical reasons, it is then a natural question, and the subject of this…

In this paper we consider A-Fredholm and semi-A-Fredholm operators on Hilbert C*-modules over a W*-algebra A defined in [3],[10]. Using the assumption that A is a W*-algebra (and not an arbitrary C*-algebra), we obtain several results such…

In this paper, we introduce the notion of Ratliff-Rush closure of modules and explore whether the condition of the Ratliff-Rush closure coincides with the integral closure. The main result characterizes the condition in terms of the…

The present paper deals with various aspects of the notion of almost Cohen-Macaulay property, which was introduced and studied by Roberts, Singh and Srinivas. We employ the definition of almost zero modules as defined by a value map, which…

We prove the classical Riemann-Roch theorems for the Adams operations $\,\psi^j\,$ on $K$-theory: a statement with coefficients on $\mathbb{Z}[j^{-1}]$, that holds for arbitrary projective morphisms, as well as another one with integral…

We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…

Consider a proper, isometric action by a unimodular locally compact group $G$ on a Riemannian manifold $M$ with boundary, such that $M/G$ is compact. Then an equivariant Dirac-type operator $D$ on $M$ under a suitable boundary condition has…

The bounded gaps property of the prime numbers, as proven by Yitang Zhang, is considered for sequences of lengths of closed geodesics, which by the theory of Selberg zeta functions are the geometric analogue of the prime numbers. It turns…

We study the problem of whether a given finite algebra with finitely many basic operations contains a cube term; we give both structural and algorithmic results. We show that if such an algebra has a cube term then it has a cube term of…

Let $Q$ be a commutative, Noetherian ring and $Z \subseteq \operatorname{Spec}(Q)$ a closed subset. Define $K_0^Z(Q)$ to be the Grothendieck group of those bounded complexes of finitely generated projective $Q$-modules that have homology…

We show that to each symmetric elliptic operator of the form \[ \mathcal{A} = - \sum \partial_k \, a_{kl} \, \partial_l + c \] on a bounded Lipschitz domain $\Omega \subset \mathbb{R}^d$ one can associate a self-adjoint Dirichlet-to-Neumann…

In this paper, we study some properties of the closure operator in the Mac\'ias topology on infinite integral domains. Moreover, under certain conditions, we present topological proofs of the infiniteness of maximal ideals and…

We give an integrability condition on a function $\psi$ guaranteeing that for almost all (or almost no) $x\in\mathbb{R}$, the system $|qx-p|\leq \psi(t)$, $|q|<t$ is solvable in $p\in \mathbb{Z}$, $q\in \mathbb{Z}\smallsetminus \{0\}$ for…

A metric space $\mathbf{X}$ is called densely complete if there exists a dense set $D$ in $\mathbf{X}$ such that every Cauchy sequence of points of $D $ converges in $\mathbf{X}$. One of the main aims of this work is to prove that the…

This paper studies existence of $n=4k (k>1)$ dimensional simply-connected closed almost complex manifold with Betti number $ b_i=0$ except $i=0, n/2, n$. We characterize all the rational cohomology rings of such manifolds and show they must…

Let $X$ be a metric space with bounded geometry, $p\in\{0\} \cup [1,\infty]$, and let $E$ be a Banach space. The main result of this paper is that either if $X$ has Yu's Property A and $p\in(1,\infty)$, or without any condition on $X$ when…

The main result asserts: Let $G$ be a reductive, affine algebraic group and let $(\rho ,V)$ be a regular representation of $G$. Let $X$ be an irreducible $\mathbb{C}^{ \times } G$ invariant Zariski closed subset such that $G$ has a closed…

A 2003 counterexample to a conjecture of Auslander brought attention to a family of rings - colloquially called AC rings - that satisfy a natural condition on vanishing of cohomology. Several results attest to the remarkable homological…

We show that the orbit closures for directing modules over tame algebras are normal and Cohen-Macaulay. The proof is based on deformations to normal toric varieties.