Related papers: Toric fiber products versus Segre products
We generalize the topological description of the $\mathbb{N}$-graded Proj construction to the multigraded Proj construction for factorially graded rings that are graded by finitely generated abelian groups $D$. However, there is one big…
Using fiber products, we construct bi-orderable groups from left-orderable groups. As an application, we show that bi-orderability is not a profinite property, answering a question of Piwek and Wykowski negatively. We also show that the…
We prove that on separated algebraic surfaces every coherent sheaf is a quotient of a locally free sheaf. This class contains many schemes that are neither normal, reduced, quasiprojective or embeddable into toric varieties. Our methods…
The principle "Every result in classical homological algebra should have a counterpart in Gorenstein homological algebra" is given in [3]. There is a remarkable body of evidence supporting this claim (cf. [2] and [3]). Perhaps one of the…
The main result is that the category of ordinary modules of an affine vertex operator algebra of a simply laced Lie algebra at admissible level is rigid and thus a braided fusion category. If the level satisfies a certain coprime property…
The affine Springer fiber corresponding to a regular integral equivalued semisimple element admits a paving by vector bundles over Hessenberg varieties and hence its (Borel-Moore) homology is "pure".
We give a general construction of rings graded by the conjugacy classes of a finite group. Some examples of our construction are the Hochschild cohomology ring of a finite group algebra, the Grothendieck ring of the Drinfel'd double of a…
We endow twisted tensor products with a natural notion of counit and comultiplication, and we provide sufficient and necessary conditions making the twisted tensor product a counital coassociative coalgebra. We then characterize when the…
Let $X=(x_{ij})_{m\times n}$ be a matrix of indeterminates and let $S=\mathbb{k}[x_{ij} \mid 1\leq i\leq m,\ 1\leq j\leq n]$ be a polynomial ring over an infinite field $\mathbb{k}$. Let $I$ be an ideal generated by a subset of the set of…
Let $R$ and $S$ be polynomial rings of positive dimensions over a field $k$. Let $I\subseteq R, J\subseteq S$ be non-zero homogeneous ideals none of which contains a linear form. Denote by $F$ the fiber product of $I$ and $J$ in…
Quiver skew braces or skew bracoids are equivalent to braided groupoids, that is, groupoids with a constraint of abelianity. They are the quiver-theoretic version of skew braces, an increasingly studied structure lying in the intersection…
This work explores the interplay between quantum information theory, algebraic geometry, and number theory, with a particular focus on multiqubit systems, their entanglement structure, and their classification via geometric embeddings. The…
We investigate properties of commutative subrings and ideals in non-commutative algebraic crossed products for actions by arbitrary groups. A description of the commutant of the base coefficient subring in the crossed product ring is given.…
Given a real projective curve with homogeneous coordinate ring R and a nonnegative homogeneous element f in R, we bound the degree of a nonzero homogeneous sum-of-squares g in R such that the product fg is again a sum of squares. Better…
The notion of "toric face rings" generalizes both Stanley-Reisner rings and affine semigroup rings, and has been studied by Bruns, Romer, et.al. Here, we will show that, for a toric face ring $R$, the "graded" Matlis dual of a Cech complex…
Let q be a power of a prime integer p, and let X be a Hermitian variety of degree q+1 in the n-dimensional projective space. We count the number of rational normal curves that are tangent to X at distinct q+1 points with intersection…
It is shown that up to dimension four, the toric ideal of a quiver polytope is generated in degree two, with the only exception of the four-dimensional Birkhoff polytope. As a consequence, B{\o}gvad's conjecture holds for quiver polytopes…
Building on the recent computation of the cohomology rings of smooth toric varieties and partial quotients of moment-angle complexes, we investigate the naturality properties of the resulting isomorphism between the cohomology of such a…
Let $\mathcal J$ be an ideal sheaf on a reduced analytic space $X$ with zero set $Z$. We show that the Lelong numbers of the restrictions to $Z$ of certain generalized Monge-Amp\`ere products $(dd^c\log|f|^2)^k$, where $f$ is a tuple of…
We prove that iterated toric fibre products from a finite collection of toric varieties are defined by binomials of uniformly bounded degree. This implies that Markov random fields built up from a finite collection of finite graphs have…