English
Related papers

Related papers: The free Grothendieck theorem

200 papers

We present a new and direct proof of Grothendieck's generic freeness lemma in its general form. Unlike the previously published proofs, it does not proceed in a series of reduction steps and is fully constructive, not using the axiom of…

Commutative Algebra · Mathematics 2018-07-04 Ingo Blechschmidt

An important result in real algebraic geometry is the projection theorem: every projection of a semialgebraic set is again semialgebraic. This theorem and some of its conclusions lie at the basis of many other results, for example the…

Functional Analysis · Mathematics 2017-09-26 Tom Drescher , Tim Netzer , Andreas Thom

We show that any matrix-polynomial combination of free noncommutative random variables each having an algebraic law has again an algebraic law. Our result answers a question raised by a recent paper of Shlyakhtenko and Skoufranis. The…

Operator Algebras · Mathematics 2014-08-15 Greg W. Anderson

Let $(R,\mm,K)$ be a regular local ring containing a field $k$ such that either char $k=0$ or char $k=p$ and tr-deg $K/\BF_p\geq 1$. Let $g_1,\ldots,g_t$ be regular parameters of $R$ which are linearly independent modulo $\mm^2$. Let…

Commutative Algebra · Mathematics 2014-08-13 M. K. Keshari , Swapnil A. Lokhande

We examine when the composition of two entire functions f and g is even, and extend some of our results to cyclic compositions in general. We prove some theorems for the cases when f or g is a polynomial. Two of the key theorems we use are…

Complex Variables · Mathematics 2007-05-23 Alan L. Horwitz

Directed spaces are natural topological extensions of dcpos in domain theory and form a cartesian closed category. In order to model nondeterministic semantics, the power structures over directed spaces were defined through the form of free…

Category Theory · Mathematics 2022-09-12 Yuxu Chen , Hui Kou

Let $F$ be a free group. We present for arbitrary $g\in\mathbb{N}$ a LogSpace (and thus polynomial time) algorithm that determines whether a given $w\in F$ is a product of at most $g$ commutators; and more generally an algorithm that…

Group Theory · Mathematics 2021-11-03 Laurent Bartholdi , Danil Fialkovski , Sergei O. Ivanov

If g and h are functions over some field, we can consider their composition f = g(h). The inverse problem is decomposition: given f, determine the ex- istence of such functions g and h. In this thesis we consider functional decom- positions…

Symbolic Computation · Computer Science 2010-05-03 Mark Giesbrecht

This paper proves two theorems (1) Let $k$ be an algebraically closed field of characteristic $p>0$. I prove (Theorem 2.1.1) that if, $p > 13$ or $p = 11$, then the isomorphism class of any supersingular elliptic curve is a zero divisor in…

Algebraic Geometry · Mathematics 2026-05-12 Kirti Joshi

We show that for any infinite countable group $G$ and for any free Borel action $G \curvearrowright X$ there exists an equivariant class-bijective Borel map from $X$ to the free part $\mathrm{Free}(2^G)$ of the $2$-shift $G \curvearrowright…

Dynamical Systems · Mathematics 2014-02-19 Brandon Seward , Robin D. Tucker-Drob

We prove Freudenburg's Freeness Conjecture: Let B be the polynomial ring in three variables over a field of characteristic zero, let D : B --> B be a nonzero locally nilpotent derivation, and let A = ker(D). Then B is a free A-module, and…

Commutative Algebra · Mathematics 2021-05-18 Daniel Daigle

In this paper a free analogous of completely random measure is introduced. Furthermore, a representation theorem is proved for free completely random measures that are free infinitely divisible.

Probability · Mathematics 2020-07-14 Francesca Collet , Fabrizio Leisen

Given a tuple $E=(E_1,\dots,E_g)$ of $d\times d$ matrices, the collection of those tuples of matrices $X=(X_1,\dots,X_g)$ (of the same size) such that $\| \sum E_j\otimes X_j\|\le 1$ is called a spectraball $\mathcal B_E$. Likewise, given a…

Functional Analysis · Mathematics 2019-07-10 Meric Augat , J. William Helton , Igor Klep , Scott McCullough

For every finitary set functor F we demonstrate that free algebras carry a canonical partial order. In case F is bicontinuous, we prove that the cpo obtained as the conservative completion of the free algebra is the free completely…

Logic in Computer Science · Computer Science 2019-06-28 Jiri Adamek

In the present paper we investigate the question about the injectivity of the map F(R) --> F(K) induced by the canonical inclusion of a local regular ring of geometric type R to its field of fractions K for a homotopy invariant functor F…

Algebraic Geometry · Mathematics 2007-05-23 Kirill Zainoulline

Let $R$ be an algebra over a commutative ring $k$. Suppose that $R$ is endowed with a descending filtration indexed on an ordered group $(G,<)$ such that the restriction to $k$ is positive. We show that the existence of free algebras on a…

Rings and Algebras · Mathematics 2018-06-29 Javier Sánchez

Haagerup's proof of the non commutative little Grothendieck inequality raises some questions on the commutative little inequality, and it offers a new result on scalar matrices with non negative entries. The theory of completely bounded…

Functional Analysis · Mathematics 2024-04-05 Erik Christensen

Let G be a finitely generated infinite pro-p group acting on a pro-p tree such that the restriction of the action to some open subgroup is free. Then we prove that G splits as a pro-p amalgamated product or as a pro-p HNN-extension over an…

Group Theory · Mathematics 2013-06-18 Wolfgang Herfort , Pavel Zalesskii , Theo Zapata

We prove an analog of the Tits alternative for rational functions. In particular, we show that if $S$ is a finitely generated semigroup of rational functions over the complex numbers, then either $S$ has polynomially bounded growth or $S$…

Number Theory · Mathematics 2021-03-19 Jason P. Bell , Keping Huang , Wayne Peng , Thomas J. Tucker

Every countable directed graph generates a Fock space Hilbert space and a family of partial isometries. These operators also arise from the left regular representations of free semigroupoids derived from directed graphs. We develop a…

Operator Algebras · Mathematics 2007-05-23 David W. Kribs , Stephen C. Power