Related papers: The multivariate Serre conjecture ring
A commutative ring $R$ is stable if every non-zero ideal $I$ of $R$ is projective over its ring of endomorphisms. Motivated by a paper of Bass in the 1960s, stable rings have received wide attention in the literature ever since then. Much…
Let R be a regular local ring. Let G be a reductive R-group scheme. A conjecture of Grothendieck and Serre predicts that a principal G-bundle over R is trivial if it is trivial over the quotient field of R. The conjecture is known when R…
Let D be a domain with quotient field K and A a D-algebra. We call a polynomial with coefficients in K that maps every element of A to an element of A "integer-valued on A". For commutative A we also consider integer-valued polynomials in…
Let $S = K[x_1, \ldots, x_n]$ denote the polynomial ring in $n$ variables over a field $K$ with each $\mathrm{deg}\ x_i = 1$ and $I \subset S$ a homogeneous ideal of $S$ with $\dim S/I = d$. The Hilbert series of $S/I$ is of the form…
We define and study two generalizations of the Krull dimension for rings, which can assume cardinal number values of arbitrary size. The first, which we call the "cardinal Krull dimension," is the supremum of the cardinalities of chains of…
The following representation theorem is proven: A partially ordered commutative ring $R$ is a subring of a ring of almost everywhere defined continuous real-valued functions on a compact Hausdorff space $X$ if and only if $R$ is archimedean…
In this paper, we investigate the extremal values of (the logarithm of) the characteristic polynomial of a random unitary matrix whose spectrum is distributed according the Circular Beta Ensemble (C$\beta$E). More precisely, if $X_n$ is…
Let $R$ be a real closed field and let ${\mathcal S}(M)$ be the ring of (continuous) semialgebraic functions on a semialgebraic set $M\subset R^n$ and let ${\mathcal S}^*(M)$ be its subring of bounded semialgebraic functions. In this work…
Let $R$ be a commutative Noetherian ring of dimension $d$. First, we define the "geometric subring" $A$ of a polynomial ring $R[T]$ of dimension $d+1$ (the definition of geometric subring is more general, see (1.2)). Then we prove that…
Let $X$ be an irreducible smooth projective curve, defined over an algebraically closed field $k$, of genus at least three and $L$ a line bundle on $X$. Let ${\mathcal M}_X(r,L)$ be the moduli space of stable vector bundles on $X$ of rank…
Let D be a division algebra with center F. A maximal subfield of D is defined to be a field K such that CD(K) = K; that is, K is its own centralizer in D. A maximal subfield K is said to be self-invariant if it normalises by itself, i.e.…
Let R be any ring (with 1), \Gamma a group and R\Gamma the corresponding group ring. Let H be a subgroup of \Gamma of finite index. Let M be an R\Gamma -module, whose restriction to RH is projective. Moore's conjecture: Assume for every…
A function $f:R\to R$, where $R$ is a commutative ring with unit element, is called polyfunction if it admits a polynomial representative $p\in R[x]$. Based on this notion we introduce ring invariants which associate to $R$ the numbers…
We study the algebraic and arithmetic structure of monoids of invertible ideals (more precisely, of $r$-invertible $r$-ideals for certain ideal systems $r$) of Krull and weakly Krull Mori domains. We also investigate monoids of all nonzero…
A commutative ring R has finite rank r, if each ideal of R is generated at most by r elements. A commutative ring R has the r-generator property, if each finitely generated ideal of R can be generated by r elements. Such rings are closely…
It is well known that the bivariate polynomial interpolation problem at domain points of a triangle is correct. Thus the corresponding interpolation matrix $M$ is nonsingular. L.L. Schumaker stated the conjecture, that the determinant of…
Let $X=(x_{ij})$ and $Y=(y_{ij})$ be generic $n$ by $n$ matrices and $Z=XY-YX$. Let $S=k[x_{11},...,x_{nn},y_{11},...,y_{nn}]$, where $k$ is a field, let $I$ be the ideal generated by the entries of $Z$ and let $R=S/I$. We give a conjecture…
Let $D$ be an integral domain with quotient field $K$ and $E$ a subset of $K$. The \textit{ring of integer-valued rational functions on} $E$ is defined as $$\mathrm{int}_R(E,D):=\lbrace \varphi \in K(X);\; \varphi(E)\subseteq D\rbrace.$$…
Given a polynomial ring $S = \Bbbk[x_1, \dots, x_n]$ over a field $\Bbbk$, and a monomial ideal $M$ of $S$, we say the quotient ring $R = S/M$ is Macaulay-Lex if for every graded ideal of $R$, there exists a lexicographic ideal of $R$ with…
Let $\Bbbk$ be a field of characteristic $p>0$, $V$ a finite-dimensional $\Bbbk$-vector-space, and $G$ a finite $p$-group acting $\Bbbk$-linearly on $V$. Let $S = \Sym V^*$. We show that $S^G$ is a polynomial ring if and only if the…