Source author record

Joachim Jelisiejew

Joachim Jelisiejew appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

13works
8topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

13 published item(s)

preprint2022arXiv

Bounds on complexity of matrix multiplication away from CW tensors

We present three families of minimal border rank tensors: they come from highest weight vectors, smoothable algebras, or monomial algebras. We analyse them using Strassen's laser method and obtain an upper bound $2.431$ on $ω$. We also explain how in certain monomial cases using the laser method directly is less profitable than first degenerating. Our results form possible paths in the search for valuable tensors for the laser method away from Coppersmith-Winograd tensors.

preprint2022arXiv

Components and singularities of Quot schemes and varieties of commuting matrices

We investigate the variety of commuting matrices. We classify its components for any number of matrices of size at most 7. We prove that starting from quadruples of size 8 matrices, this scheme has generically nonreduced components, while up to degree 7 it is generically reduced. Our approach is to recast the problem as deformations of modules and generalize an array of methods: apolarity, duality and Białynicki-Birula decompositions to this setup. We include a thorough review of our methods to make the paper self-contained and accessible to both algebraic and linear-algebraic communities. Our results give the corresponding statements for the Quot schemes of points, in particular we classify the components of $Quot_d(O_{\mathbb{A}^n}^{\oplus r})$ for $d\leq 7$ and all $r$, $n$.

preprint2022arXiv

Hermitian K-theory via oriented Gorenstein algebras

We show that the hermitian K-theory space of a commutative ring R can be identified, up to A^1-homotopy, with the group completion of the groupoid of oriented finite Gorenstein R-algebras, i.e., finite locally free R-algebras with trivialized dualizing sheaf. We deduce that hermitian K-theory is universal among generalized motivic cohomology theories with transfers along oriented finite Gorenstein morphisms. As an application, we obtain a Hilbert scheme model for hermitian K-theory as a motivic space. We also give an application to computational complexity: we prove that 1-generic minimal border rank tensors degenerate to the big Coppersmith-Winograd tensor.

preprint2016arXiv

Classifying local Artinian Gorenstein algebras

The classification of local Artinian Gorenstein algebras is equivalent to the study of orbits of a certain non-reductive group action on a polynomial ring. We give an explicit formula for the orbits and their tangent spaces. We apply our technique to analyse when an algebra is isomorphic to its associated graded algebra. We classify algebras with Hilbert function (1, 3, 3, 3, 1), obtaining finitely many isomorphism types, and those with Hilbert function (1, 2, 2, 2, 1, 1, 1). We consider fields of arbitrary, large enough, characteristic.

preprint2016arXiv

Constructions of k-regular maps using finite local schemes

A continuous map from R^m to R^N or from C^m to C^N is called k-regular if the images of any $k$ points are linearly independent. Given integers m and k a problem going back to Chebyshev and Borsuk is to determine the minimal value of N for which such maps exist. The methods of algebraic topology provide lower bounds for N, however there are very few results on the existence of such maps for particular values m and k. Using the methods of algebraic geometry we construct k-regular maps. We relate the upper bounds on N with the dimension of the locus of certain Gorenstein schemes in the punctual Hilbert scheme. The computations of the dimension of this family is explicit for k<10, and we provide explicit examples for k<6. We also provide upper bounds for arbitrary m and k.

preprint2015arXiv

Irreducibility of the Gorenstein loci of Hilbert schemes via ray families

We analyse the Gorenstein locus of the Hilbert scheme of $d$ points on $\mathbb{P}^n$ i.e. the open subscheme parameterising zero-dimensional Gorenstein subschemes of $\mathbb{P}^n$ of degree $d$. We give new sufficient criteria for smoothability and smoothness of points of the Gorenstein locus. In particular we prove that this locus is irreducible when $d\leq 13$ and find its components when $d = 14$. The proof is relatively self-contained and it does not rely on a computer algebra system. As a by--product, we give equations of the fourth secant variety to the $d$-th Veronese reembedding of $\mathbb{P}^n$ for $d\geq 4$.

preprint2014arXiv

Deformations of zero-dimensional schemes and applications

In this thesis we consider the geometry of the Hilbert scheme of points in P^n, concentrating on the locus of points corresponding to the Gorenstein subschemes of P^n. New results are given, most importantly we provide tools for constructing flat families and analysis of finite Gorenstein algebras and expose their efficiency by proving smoothability of certain families of algebras. Much of the existing theory and folklore is reviewed, providing a micro-encyclopaedic reference.

preprint2014arXiv

On the rationality of Poincaré series of Gorenstein algebras via Macaulay's correspondence

Let $A$ be a local Artinian Gorenstein ring with algebraically closed residue field $A/{\frak M}=k$ of characteristic 0, and let $P_A(z) := \sum_{p=0}^{\infty} ({\mathrm{ Tor}}_p^A(k,k))z^p $ be its Poincaré series. We prove that $P_A(z)$ is rational if either $\dim_k({{\frak M}^2/{\frak M}^3}) \leq 4 $ and $ \dim_k(A) \leq 16,$ or there exist $m\leq 4$ and $c$ such that the Hilbert function $H_A(n)$ of $A$ is equal to $ m$ for $n\in [2,c]$ and equal to 1 for $n > c$. The results are obtained thanks to a decomposition of the apolar ideal $\mathrm {Ann}(F)$ when $F=G+H$ and $G$ and $H$ belong to polynomial rings in different variables.

preprint2012arXiv

Local finite dimensional Gorenstein k-algebras having Hilbert function (1,5,5,1) are smoothable

Let k be an algebraically closed field of characteristic 0. The question of irreducibility of the punctual Hilbert scheme Hilb_d P^n and its Gorenstein locus for various d was studied in [CEVV8, CN9, CN10, CN11]. In this short paper we prove that the subschemes corresponding to the Gorenstein algebras having Hilbert function (1,5,5,1) are smoothable i.e. lie in the closure of the locus of smooth subschemes. Among the Gorenstein algebras of length 12 the smoothability of algebras having such Hilbert function seems to be the most inapproachable using non-direct tools e.g. structural theorems.