相关论文: Arithmetic Macaulayfication of projective schemes

Let R be the set of isomorphism classes of ideals in the Weyl algebra $A=A_{1}$, and let C be the set of isomorphism classes of triples (V; X, Y), where V is a finite-dimensional (complex) vector space, and X, Y are endomorphisms of V such…

Let (A, m) be a Noetherian local ring and N a parameter module in F=A^r and M=N:_F m the socle module of N. In this paper, we shall prove that the module M=N:_F m has a reduction number at most one and hence its Rees algebra R(M) is…

A classical result of Micali asserts that a Noetherian local ring is regular if and only if the Rees algebra of its maximal ideal is defined by an ideal of linear forms. In this case, this defining ideal may be realized as a determinantal…

We examine virtual resolutions of Stanley-Reisner ideals for a product of projective spaces. In particular, we provide sufficient conditions for a simplicial complex to be virtually Cohen-Macaulay (to have a virtual resolution with length…

Small regularizers can preserve linear programming solutions exactly. This paper provides the first average-case analysis of exact regularization: with a standard Gaussian cost vector and fixed constraint set, bounds are established for the…

Cylindrical algebraic decomposition (CAD) is an important tool, both for quantifier elimination over the reals and a range of other applications. Traditionally, a CAD is built through a process of projection and lifting to move the problem…

Let $k$ be an algebraically closed field of characteristic $0$ and $A$ a graded $k$-algebra finitely generated in degree $1$. In this paper, for $3$-dimensional quadratic AS-regular algebras except for Type EC, we give a complete list of…

In this paper we study irreducible representations and symbolic Rees algebras of monomial ideals. Then we examine edge ideals associated to vertex-weighted oriented graphs. These are digraphs having no oriented cycles of length two with…

We consider projection algorithms for solving (nonconvex) feasibility problems in Euclidean spaces. Of special interest are the Method of Alternating Projections (MAP) and the Douglas-Rachford or Averaged Alternating Reflection Algorithm…

We study randomized variants of two classical algorithms: coordinate descent for systems of linear equations and iterated projections for systems of linear inequalities. Expanding on a recent randomized iterated projection algorithm of…

Given a first-order theory $T$ formulated in the usual language of first-order arithmetic, we say that $T$ is of *restricted complexity* if there is some natural number $n$ and some set $\mathcal A$ of $\Sigma_n$-sentences such that $T$ can…

Motivated by M-theory, we define a new type of non-associative algebra involving usual and cubic matrices at the same time. The resulting algebra can be regarded as a two-term truncated $L_\infty$ algebra giving rise to a fundamental…

The purpose of this paper is to prove the following theorem of uniform Artin-Rees properties: Let $A$ be an excellent (in fact J-2) ring and let $N\subset M$ be two finitely generated $A$-modules such that ${\rm dim}(M/N)\leq 1$. Then there…

Blackadar conjectured that if we have a split short-exact sequence 0 -> I -> A -> A/I -> 0 where I is semiprojective and A/I is isomorphic to the complex numbers, then A must be semiprojective. Eilers and Katsura have found a counterexample…

There is given a characterization for the Rees algebras of parameters in a Gorenstein local ring to be almost Gorenstein graded rings. A characterization is also given for the Rees algebras of socle ideals of parameters. The latter one…

We consider the problem of identifying exactly which AF-algebras are isomorphic to a graph C*-algebra. We prove that any separable, unital, Type I C*-algebra with finitely many ideals is isomorphic to a graph C*-algebra. This result allows…

The Orlik-Solomon algebra A of a matroid is isomorphic to the quotient of an exterior algebra E by a defining ideal I. We find an explicit presentation of the annihilator ideal of I or, equivalently, the E-module dual to A. As an…

The work of Reid, Chinburg--Hamilton--Long--Reid, Prasad--Rapinchuk, and the author with Reid have demonstrated that geodesics or totally geodesic submanifolds can sometimes be used to determine the commensurability class of an arithmetic…

We present a sufficient condition for irreducibility of forcing algebras and study the (non)-reducedness phenomenon. Furthermore, we prove a criterion for normality for forcing algebras over a polynomial base ring with coefficients in a…

We improve the complex number identity proving method to a fully automated procedure, based on elimination ideals. By using declarative equations or rewriting each real-relational hypothesis $h_i$ to $h_i-r_i$, and the thesis $t$ to $t-r$,…