Related papers: The free Grothendieck theorem

The (matricial) solution set of a Linear Matrix Inequality (LMI) is a convex basic non-commutative semi-algebraic set. The main theorem of this paper is a converse, a result which has implications for both semidefinite programming and…

For $p \in \mathbb{Q}_+ \smallsetminus \{ 1 \}$ a positive rational number different from one, we say that the Puisseux series $f \in \mathbb{C}((t))^\text{alg}$ is $p$-Mahler of non-exceptional polynomial type if there is a polynomial $P…

We study the structure of the space of covariants $B:=\left(\bigwedge (\mathfrak g/\mathfrak k)^*\otimes \mathfrak g\right)^{\mathfrak k},$ for a certain class of infinitesimal symmetric spaces $(\mathfrak g,\mathfrak k)$ such that the…

Let D^n be the closed unit polydisk in C^n. Consider the ring C_r of complex-valued continuous functions on D^n that are real symmetric, that is, f(z)=(f(z^*))^* for all z in D^n. It is shown that C_r is projective free, that is, finitely…

Let $S$ be a deeply embedded, equicharacteristic, Artinian Gorenstein local ring. We prove that if $R$ is a non-Gorenstein quotient of $S$ of small colength, then every totally reflexive $R$-module is free. Indeed, the second syzygy of the…

An irreducible element of a commutative ring is absolutely irreducible if no power of it has more than one (essentially different) factorization into irreducibles. In the case of the ring $\text{Int}(D)=\{f\in K[x]\mid f(D)\subseteq D\}$,…

A $f\colon\mathbb{R}\to\mathbb{R}$ is called Hamel function if its graph is a Hamel basis of the linear space $\mathbb{R}^2$ over rationals. We construct, assuming CH, a free group of the size $2^\mathfrak{c}$ contained in the class of all…

We construct a bijection between marked bumpless pipedreams with reverse compatible pairs, which are in bijection with not-necessarily-reduced pipedreams. This directly unifies various formulas for Grothendieck polynomials in the…

The free singularity locus of a noncommutative polynomial f is defined to be the sequence $Z_n(f)=\{X\in M_n^g : \det f(X)=0\}$ of hypersurfaces. The main theorem of this article shows that f is irreducible if and only if $Z_n(f)$ is…

In this paper, we continue to develop the theory of free holomorphic functions on noncommutative regular polydomains. We find analogues of several classical results from complex analysis such as Abel theorem, Hadamard formula, Cauchy…

The functional equation f(p(z))=g(q(z)) is studied, where p,q are polynomials and f,g are trancendental meromorphic functions in C. We find all the pairs p,q for which there exist nonconstant f,g satisfying our equation and there exist no…

Let p be a prime. A p-adic functional on a torsion-free abelian group G is a group homomorphism from G to the p-adic integers. The group of all such p-adic functionals is viewed as a p-adic dual group of G, and is studied from the point of…

Let M, N be free modules over a Noetherian commutative ring R and let F be a field such that card(F) does not exceed the continuum. Then : (1) The assertion that [Any two F-vector spaces with isomorphic duals are isomorphic] is equivallent…

In a number of recent works [6, 7] the authors have introduced and studied a functor $\mathcal{F}_k$ which associates to each loose graph $\Gamma$ -which is similar to a graph, but where edges with $0$ or $1$ vertex are allowed - a…

This paper concerns free analytic maps on noncommutative domains. These maps are free analogs of classical holomorphic functions in several complex variables, and are defined in terms of noncommuting variables amongst which there are no…

We show that the deletion theorem of a free arrangement is combinatorial, i.e., whether we can delete a hyperplane from a free arrangement keeping freeness depends only on the intersection lattice. In fact, we give an explicit sufficient…

For every finite simple connected graph $G = (V,E)$, we introduce an invariant, its blowup-polynomial $p_G(\{ n_v : v \in V \})$. This is obtained by dividing the determinant of the distance matrix of its blowup graph $G[{\bf n}]$…

We develop a calculus based on graph enumeration for $S_n$-equivariant motivic invariants of graphically stratified moduli spaces. We apply our theory to the Deligne--Mumford moduli space $\overline{\mathcal{M}}_{g, n}$ and to the space of…

We show that there exists a stably free module over a polynomial ring which is not extended from the ground ring. This provides a counterexample to the Hermite ring conjecture.

We show how to use Groebner bases for operads to prove various freeness theorems: freeness of certain operads as nonsymmetric operads, freeness of an operad Q as a P-module for an inclusion P into Q, freeness of a suboperad. This gives new…