Category: Algebraic geometry

The disc trick (and some other cute moves)

This post is about a chain of little tricks that I discovered with collaborators and used in several papers. It is just a collection of simple moves that lets you deduce the existence of a zero preserving map of a certain class between two gauge invariant spaces, given the existence of a map from that class (things will be very clear soon, I hope). These tricks were later used by some other people, who applied it in different settings.

I am writing this post as notes for my upcoming Pizza & Beer seminar talk. The section at the end of the notes contains references and links to papers where this was used.

Read the rest of this entry »

The perfect Nullstellensatz just got more perfect

After giving a talk about the perfect Nullstellensatz (the commutative free Nullstellensatz) at the Technion Math department’s pizza and beer seminar, I had a revelation: I think it holds over other fields as well, not just over the complex numbers! (And in particular, contrary to what I thought before, it holds over the reals. It seems to hold over other fields as well).

To explain, I will need some notation.

Let $k$ be a field. We write $A = k[z_, \ldots, z_d]$ – the algebra of all polynomials in $d$ (commuting) variables over the field $k$

Around and under my talk at Fields

This week I am attending a Workshop on Developments and Technical Aspects of Free Noncommutative Functions at the Fields Institute in Toronto. Since I plan to give a chalk-talk, I cannot post my slides online (and I cannot prepare for my talk by preparing slides), so I will write here what some ideas around what I want to say in my talk, and also some ramblings I won’t have time to say in my talk.

[Several years ago I went to a conference in China and came back with the insight that in international conferences I should give a computer presentation and not a blackboard talk, because then people who cannot understand my accent can at least read the slides. It’s been almost six years since then and indeed I gave only beamer-talks since. My English has not improved over this period, I think, but I have several reasons for allowing myself to give an old fashioned lecture – the main ones are the nature of the workshop, the nature of the audience and the kind of things I have to say].

In the workshop Guy Salomon, Eli Shamovich and I will give a series of talks on our two papers (one and two). These two papers have a lot of small auxiliary results, which in usual conference talk we don’t get the chance to speak about. This workshop is a wonderful opportunity for us to highlight some of these results and the ideas behind them, which we feel might be somewhat buried in our paper and have gone unnoticed.

The perfect Nullstellensatz

Question: to what extent can we recover a polynomial from its zeros?

Our goal in this post is to give several answers to this question and its generalisations. In order to obtain elegant answers, we work over the complex field $\mathbb{C}$ (e.g., there are many polynomials, such as $x^{2n} + 1$, that have no real zeros; the fact that they don’t have real zeros tells us something about these polynomials, but there is no way to “recover” these polynomials from their non-existing zeros). We will write $\mathbb{C}[z]$ for the algebra of polynomials in one complex variable with complex coefficients, and consider a polynomial as a function of the complex variable $z \in \mathbb{C}$. We will also write $\mathbb{C}[z_1, \ldots, z_d]$ for the algebra of polynomials in $d$ (commuting) variables, and think of polynomials in $\mathbb{C}[z_1, \ldots, z_d]$ – at least initially – as a functions of the variable $z = (z_1, \ldots, z_d) \in \mathbb{C}^d$

[Update June 24, 2019: contrary to what I thought, the main theorem presented below holds over arbitrary fields, not just over the complex numbers, very much by the same proof. See this post.]

Read the rest of this entry »