English
Related papers

Related papers: A Real Nullstellensatz for Free Modules

200 papers

Let A be a Cohen-Macaulay local ring of dimension d and I an ideal in A. Let M be a finitely generated maximal Cohen-Macaulay A-module. Let I be a locally complete intersection ideal of analytic deviation one and reduction number at most…

Commutative Algebra · Mathematics 2011-09-05 Ganesh S. Kadu , Tony J. Puthenpurakal

A conjecture by the second author, proven by Bonnaf\'e-Rouquier, says that the multiplicity matrix for baby Verma modules over the restricted rational Cherednik algebra has rank one over $\mathbb{Q}$ when restricted to each block of the…

Representation Theory · Mathematics 2023-03-31 Gwyn Bellamy , Ulrich Thiel

For a simple linear algebraic group $G$ acting faithfully on a vector space $V$ and under mild assumptions, we show: if $V$ is large enough, then the Lie algebra of $G$ acts generically freely on $V$. That is, the stabilizer in the Lie…

Representation Theory · Mathematics 2020-08-05 Skip Garibaldi , Robert M. Guralnick

Let $V$ be a real algebraic variety with singularities and $f$ be a real polynomial non-negative on $V$. Assume that the regular locus of $V$ is dense in $V$ by the usual topology. Using Hironaka's resolution of singularities and…

Algebraic Geometry · Mathematics 2023-03-10 Ngoc Hoang Anh Mai

Let $f_1,...,f_s \in \mathbb{K}[x_1,...,x_m]$ be a system of polynomials generating a zero-dimensional ideal $\I$, where $\mathbb{K}$ is an arbitrary algebraically closed field. Assume that the factor algebra $\A=\mathbb{K}[x_1,...,x_m]/\I$…

Symbolic Computation · Computer Science 2009-01-23 Itnuit Janovitz-Freireich , Agnes Szanto , Bernard Mourrain , Lajos Ronyai

Let $K$ be a field of characteristic zero and let $R=K[X_1, \ldots,X_n ]$, with standard grading. Let $\mathfrak{m}= (X_1, \ldots, X_n)$ and let $E$ be the $^*$injective hull of $R/\mathfrak{m}.$ Let $A_n(K)$ be the $n^{th}$ Weyl algebra…

Commutative Algebra · Mathematics 2019-10-09 Tony J. Puthenpurakal , Jyoti Singh

Suppose $G$ is a finite group acting on a projective scheme $X$ over a commutative Noetherian ring $R$. We study the $RG$-modules $\HH^0(X,\mathcal{F} \otimes \mathcal{L}^n)$ when $n \ge 0$, and $\mathcal{F}$ and $\mathcal{L}$ are coherent…

Group Theory · Mathematics 2008-12-23 Frauke M. Bleher , Ted Chinburg

Suppose $M$ is a von Neumann algebra equipped with a faithful normal state $\varphi$ and generated by a finite set $G=G^*$, $|G|\geq 2$. We show that if $G$ consists of eigenvectors of the modular operator $\Delta_\varphi$ with finite free…

Operator Algebras · Mathematics 2017-03-10 Brent Nelson

A classical linear group $G<GL(n)$ acts on $d$-tuples of $n\times n$ matrices by simultaneous conjugation. Working over an infinite field of characteristic different from two we establish that the ideal of free relations, i.e. relations…

Representation Theory · Mathematics 2012-07-24 A. A. Lopatin

In 1970, B.A. Asner, Jr., proved that for a real quasi-stable polynomial, i.e., a polynomial whose zeros lie in the \emph{closed} left half-plane of the complex plane, its finite Hurwitz matrix is totally nonnegative, i.e., all its minors…

Classical Analysis and ODEs · Mathematics 2025-07-01 Mohammad Adm , Jürgen Garloff , Mikhail Tyaglov

A classical result states that if $f(z)$ is a polynomial of degree at most $n$ with nonnegative coefficients, then $f(z)$ has no zeros in the sector $|\arg(z)| < \frac{\pi}{n}$ of the complex plane, and the bound $\frac{\pi}{n}$ is tight.…

Classical Analysis and ODEs · Mathematics 2025-09-25 Steven N. Karp

Generalising the Heilman-Lieb Theorem from statistical physics, Chudnovsky and Seymour [J. Combin. Theory Ser. B, 97(3):350--357] showed that the univariate independence polynomial of any claw-free graph has all of its zeros on the negative…

Combinatorics · Mathematics 2026-02-09 Mark Jerrum , Viresh Patel

In this work we prove the real Nullstellensatz for the ring ${\mathcal O}(X)$ of analytic functions on a $C$-analytic set $X\subset{\mathbb R}^n$ in terms of the saturation of \L ojasiewicz's radical in ${\mathcal O}(X)$: The ideal…

Algebraic Geometry · Mathematics 2014-01-07 Francesca Acquistapace , Fabrizio Broglia , Jose F. Fernando

Given a separable nonconstant polynomial $f(x)$ with integer coefficients, we consider the set $S$ consisting of the squarefree parts of all the rational values of $f(x)$, and study its behavior modulo primes. Fixing a prime $p$, we…

Number Theory · Mathematics 2014-07-21 David Krumm

Let $O_F$ be the ring of integers of a totally real field $F$ of degree $g$. We study the reduction of the moduli space of separably polarized abelian $O_F$-varieties of dimension $g$ modulo $p$ for a fixed prime $p$. The invariants and…

Number Theory · Mathematics 2007-05-23 Chia-Fu Yu

We start a systematic analysis of the first-order model theory of free lattices. Firstly, we prove that the free lattices of finite rank are not positively indistinguishable, as there is a positive $\exists \forall$-sentence true in…

Logic · Mathematics 2024-03-28 J. B. Nation , Gianluca Paolini

We study the structure of weight modules $V$ with restrictions neither on the dimension nor on the base field, over split Lie algebras $L$. We show that if $L$ is perfect and $V$ satisfies $LV=V$ and ${\mathcal Z}(V)=0$, then $$\hbox{$L…

Representation Theory · Mathematics 2024-01-24 Antonio J. Calderón , José M. Sánchez

Let $A$ be a Noetherian domain and $R$ be a finitely generated $A$-algebra. We study several features regarding the generic freeness over $A$ of an $R$-module. For an ideal $I \subset R$, we show that the local cohomology modules ${\rm…

Commutative Algebra · Mathematics 2024-08-14 Yairon Cid-Ruiz , Ilya Smirnov

For which groups $G$ is it true that for all fields $k$, every non-monomial element of the group algebra $k\,G$ generates a proper $2$-sided ideal? The only groups for which we know this are the torsion-free abelian groups. We would like to…

Group Theory · Mathematics 2021-10-15 George M. Bergman

Let $(K,\nu)$ be a real closed valued field, and let $S\subseteq K^n$ be a definable open semi-algebraic set. We find an algebraic characterization of rational functions which are OVF-integral on $S$. We apply the existing model theoretic…

Logic · Mathematics 2011-05-18 Yoav Yaffe