相关论文: Real Nullstellensatze and *-ideals in *-algebras

A square-free monomial ideal $I$ is called an {\it $f$-ideal}, if both $\delta_{\mathcal{F}}(I)$ and $\delta_{\mathcal{N}}(I)$ have the same $f$-vector, where $\delta_{\mathcal{F}}(I)$ ($\delta_{\mathcal{N}}(I)$, respectively) is the facet…

We show that every proper, dense ideal in a C*-algebra is contained in a prime ideal. It follows that a subset generates a C*-algebra as a not necessarily closed ideal if and only if it is not contained in any prime ideal. This allows us to…

A squarefree monomial ideal is called an $f$-ideal if its Stanley-Reisner and facet simplicial complexes have the same $f$-vector. We show that $f$-ideals generated in a fixed degree have asymptotic density zero when the number of variables…

The study of different types of ideals in non self-adjoint operator algebras has been a topic of recent research. This study focuses on principal ideals in subalgebras of groupoid C*-algebras. An ideal is said to be principal if it is…

We prove that in the polynomial ring $Q=\mathsf{k}[x,y,z,w]$, with $\mathsf{k}$ an algebraically closed field of characteristic zero, all Gorenstein homogeneous ideals $I$ such that $(x,y,z,w)^4\subseteq I \subseteq (x,y,z,w)^2$ can be…

We investigate free products of finite dimensional $C^*$-algebras with amalgamation over diagonal subalgebras. We look to determine under what circumstances a given free product is exact and/or nuclear. In some cases we find a description…

We show that a not necessarily closed ideal in a C*-algebra is semiprime if and only if it is idempotent, if and only if it is closed under square roots of positive elements. Among other things, it follows that prime and semiprime ideals in…

An ideal of a local polynomial ring can be described by calculating a standard basis with respect to a local monomial ordering. However standard basis algorithms are not numerically stable. Instead we can describe the ideal numerically by…

Let P = k[x_1, ..., x_n] be the polynomial ring in n variables. A homogeneous ideal I of P generated in degree d is called Gotzmann if it has the smallest possible Hilbert function out of all homogeneous ideals with the same dimension in…

This article extends the classical Real Nullstellensatz to matrices of polynomials in a free $\ast$-algebra $\RR\axs$ with $x=(x_1, \ldots, x_n)$. This result is a generalization of a result of Cimpri\vc, Helton, McCullough, and the author.…

Fix a pair of positive integers d and n. We create a ring R and a complex G of R-modules with the following universal property. Let P be a polynomial ring in d variables over a field and let I be a grade d Gorenstein ideal in P which is…

Pimsner introduced the C*-algebra O_X generated by a Hilbert bimodule X over a C*-algebra A. We look for additional conditions that X should satisfy in order to study simplicity and, more generally, the ideal structure of O_X when X is…

We investigate the ideal structures of the C^*-algebras arising from topological graphs. We give the complete description of ideals of such C^*-algebras which are invariant under the so-called gauge action, and give the condition on…

Given a monic linear pencil L in g variables let D_L be its positivity domain, i.e., the set of all g-tuples X of symmetric matrices of all sizes making L(X) positive semidefinite. Because L is a monic linear pencil, D_L is convex with…

In this paper we prove a Nullstellensatz for supersymmetric polynomials. This gives a bijection between radical ideals and superalgebraic sets. These are algebraic sets which are invariant under the Weyl groupoid of Sergeev and Veselov,…

For a given ideal I in K[x_1,...,x_n,y_1,...,y_m] in a polynomial ring with n+m variables, we want to find all elements that can be written as f-g for some f in K[x_1,...,x_n] and some g in K[y_1,...,y_m], i.e., all elements of I that…

Let $A$ be an associative algebra over a field $F$ of characteristic zero and let $L$ be a Lie algebra over $F$. If $L$ acts on $A$ by derivations, then such an action determines an action of its universal enveloping algebra $U(L)$ and in…

Assume $R$ is a polynomial ring over a field and $I$ is a homogeneous Gorenstein ideal of codimension $g\ge3$ and initial degree $p\ge2$. We prove that the number of minimal generators $\nu(I_p)$ of $I$ that are in degree $p$ is bounded…

Let G be a finite group, (g_{1},...,g_{r}) an (unordered) r-tuple of G^{(r)} and x_{i,g_i}'s variables that correspond to the g_i's, i=1,...,r. Let F<x_{1,g_1},...,x_{r,g_r}> be the corresponding free G-graded algebra where F is a field of…

We study the ideal structure of $C^*$-algebras arising from $C^*$-correspondences. We prove that gauge-invariant ideals of our $C^*$-algebras are parameterized by certain pairs of ideals of original $C^*$-algebras. We show that our…