﻿ Mateusz Michalek's web page

## UNDER CONSTRUCTION

### Some conjectures I worked on (mostely with other people). Do not worry, almost in all cases there is plenty of work left to be done!

#### Conjecture 1: 6.2 in E. Mezzetti, R. Miró-Roig and G. Ottaviani, Laplace Equations and the Weak lefschetz Property, Canadian Mah. J. 65 (2013) extending and correcting previous conjecture p. 12 in G. Ilardi, Togliatti systems, Osaka J. Math. 43 (2006), 1-12.

This conjecture was on classification of (smooth minimal monomial) Togliatti systems (of cubics). So in down-to-earth terms on some very special sets of monomials of degree three. The word 'special' here means several things. To a set of monomials one associates two ideals/schemes: one is simply the ideal defined by the given monomials. The other one is the image of the map given by monomials that are NOT in our set, but are of the same degree (the apolar) - so a nice toric variety. As you guess there are interplays between the two. The failing of weak Lefschetz property (in some degree) for the first one is related to satisfying Laplace equation (of some order) of the second one. WLP in short means that (multiplication by) a linear form defines a map that is not of maximal rank. Satisfying Laplace equation means the osculating spaces (higher analogs of tangent spaces) are degenerate. For more see our article. The conjecture was proved with Rosa-Maria Miró-Roig, who is an expert. (If you plan to work on the subject, contacting Rosa is a good idea.)

What is left? A lot: as you can see we proved the case of cubics, as there is not even a conjectural classification in higher degree. Currently Hal Schenck is working on these topics.

#### Conjecture 2: Conjecture 12.7, Wolfgang Hackbusch, Tensor spaces and numerical tensor calculus, volume 42 of Springer Series in Computational Mathematics. Springer, Heidelberg, 2012

How do you represent a tensor? It depends who you are, but if a tensor is in a very big product of vector spaces, you probably have a problem. Unless of course you are lucky and your tensor is special. People dealing with applications often have to work in hudge tensor spaces, but fortunatelly their tensors are often special. One of the ways to represent them are tensor networks - in short, an inductive way to build up your tensor from pieces. Still, there are many ways how you build your representation. The Conjecture of W. Hackbusch compared (in a very precise way!) two such representations: one given by a perfect binary tree (so-called hierarchical format) and one by a caterpillar tree/train track tree. The conjecture was proved with Weronika and Jarek Buczyńscy in here. Many thanks are also due to Joseph Landsberg who gave us lectures on this topic and pointed us toward the conjecture.

What is left? It is quite amazing how well-developped is this approach towards tensors. Dispite hudge amount of applications, it seems quite far from algebraic geometry (and unknow to algebraic geometers). I am sure both areas would profit from interactions - as I hope the example above proves. However, these would require people who understand both stories - and there are not many of them. How deep conections will be found between the algbraic geometry approach and the above one is up to you!

#### Conjecture 4: by J. Rhodes: Conjecture 0 in E. Ballico and A. Bernardi, Stratification of the fourth secant variety of Veronese varieties via the symmetric rank, Adv. Pure Appl. Math. 4 (2013), no. 2, 215–250.

It is a well-known fact that (contrary to the case of matrices) tensors of rank at most k do NOT form a closed set. We say that a tensor has border rank (at most) k if it may be approximated by tensors of rank k. Still such a tensor may have rank (much) greater than k. Say T\in A\otimes B\otimes C. Is there a bound for the quotient rank(T)/border rank(T)? As you compute some examples you find that the following conjecture stated by John Rhodes is very natural: the quotient before is at most 2. This holds in small dimension, however we provided the first counterexample with JM Landsberg in our article and more counterexamples were presented by Jeroen Zuiddam here.

What is left? In general, for T\in A\otimes B\otimes C bounding rank T/border rank of T is open. If you want a BIG challenge try to find a tensor with quotient greater than 3. (You will also solve other open problems in process :) )

#### Question 6: Question 3.5 (1) and (2), Question 3.6 in D. Cox et al. Integer Decomposition Property of Dilated Polytopes, The Electronic Journal of Combinatorics 21.4 (2014)

Conjecture 3.5(a),(b), Very ample and Koszul segmental fibrations Open question 3 (a),(b) p. 2310, Question p. 2316, C.~Haase, T.~Hibi, D.~Maclagan, Oberwolfach Report

#### Conjecture 8: Conjectures 29 and 30 in B. Sturmfels and S. Sullivant, Toric ideals of phylogenetic invariants, Journal of Computational Biology (2005) 12(2): 204-228

These conjectures hold a special place in my heart: I think the paper of Sturmfels and Sullivant was the first one my advisor Jarosław Wiśniewski gave me for my PhD thesis. At that point (now I know I was wrong!) I thought that mathematics is only about proving hard open conjectures. So I tried really hard to prove those and... failed. They are very interesting: in turns out that one can encode the algebraic properties of a finite group by a lattice polytope. Further, according to the conjectures algebraic properties of the defining equations of the toric variety represented by the polytope are closely related to the original group. Precisely the conjecture says that the degree of the generators of the associated ideal (Markov basis) is bounded by the cardinality of the (finite, abelian) group. What is probably most beautiful is that these toric varieties come to us naturally form other sciences: here it is phylogenetics and a special role is played by the group Z2xZ2 (so called 3-Kimura model). After 10 years of fight (maybe even a war) finally with Emanuele Ventura we managed to prove the easier Conjecture 29!

What is left? If you manage to prove the more general Conjecture 30 you have my highest respect! I can offer a prize for this research from my grant (say 3000 euro), I can offer a postdoc, I can... well basically a lot - just name it! (Btw. when I was thinking about ofering prize for proving these conjectures Thomas Kahle told me that maybe I am still too young to do this. But that was over 6 years ago, when I was still a PhD student - hope it is fine now :) ) (I also realized I assumed conjecture is true. Well, if you find a counterexample I probably cannot offer such a prize, but I will figure something out. An invitation for a good dinner is a lower bound.)