Showing 1–34 of 34 results for author: Jelisiejew, J

The Hilbert scheme of points on a threefold, I

Authors: Joachim Jelisiejew, Ritvik Ramkumar, Alessio Sammartano

Abstract: We investigate the Hilbert scheme of points on a smooth threefold. We introduce a notion of broken Gorenstein structure for finite schemes, and show that its existence guarantees smoothness on the Hilbert scheme. Moreover, we conjecture that it is exhaustive: every smooth point admits a broken Gorenstein structure. We give an explicit characterization of the smooth points on the Hilbert scheme of… ▽ More We investigate the Hilbert scheme of points on a smooth threefold. We introduce a notion of broken Gorenstein structure for finite schemes, and show that its existence guarantees smoothness on the Hilbert scheme. Moreover, we conjecture that it is exhaustive: every smooth point admits a broken Gorenstein structure. We give an explicit characterization of the smooth points on the Hilbert scheme of A^3 corresponding to monomial ideals. We investigate the nature of the singular points, and prove several conjectures by Hu. Along the way, we obtain a number of additional results, related to linkage classes, nested Hilbert schemes, and a bundle on the Hilbert scheme of a surface. △ Less

Submitted 25 September, 2024; originally announced September 2024.

Classification and degenerations of small minimal border rank tensors via modules

Authors: Jakub Jagiełła, Joachim Jelisiejew

Abstract: We give a self-contained classification of $1_*$-generic minimal border rank tensors in $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ for $m \leq 5$. Together with previous results, this gives a classification of all minimal border rank tensors in $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ for $m \leq 5$: there are $107$ isomorphism classes (only $37$ up to permuting facto… ▽ More We give a self-contained classification of $1_*$-generic minimal border rank tensors in $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ for $m \leq 5$. Together with previous results, this gives a classification of all minimal border rank tensors in $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ for $m \leq 5$: there are $107$ isomorphism classes (only $37$ up to permuting factors). We fully describe possible degenerations among the tensors. We prove that there are no $1$-degenerate minimal border rank tensors in $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m $ for $m \leq 4$. △ Less

Submitted 3 March, 2025; v1 submitted 9 September, 2024; originally announced September 2024.

Comments: v2, minor changes, added isomorphism types without permuting factors

MSC Class: 14N07; 68Q17; 13E10

Symmetric powers: structure, smoothability, and applications

Authors: Cosimo Flavi, Joachim Jelisiejew, Mateusz Michałek

Abstract: We investigate border ranks of twisted powers of polynomials and smoothability of symmetric powers of algebras. We prove that the latter are smoothable. For the former, we obtain upper bounds for the border rank in general and prove that they are optimal under mild conditions. We give applications to complexity theory. We investigate border ranks of twisted powers of polynomials and smoothability of symmetric powers of algebras. We prove that the latter are smoothable. For the former, we obtain upper bounds for the border rank in general and prove that they are optimal under mild conditions. We give applications to complexity theory. △ Less

Submitted 5 August, 2024; originally announced August 2024.

Comments: 34 pages, comments welcome!

MSC Class: 15A69; 14N07; 68Q15; 13D10

Generically nonreduced components of Hilbert schemes on fourfolds

Authors: Joachim Jelisiejew

Abstract: We exhibit generically nonreduced components of the Hilbert scheme of at least $21$ points on a smooth variety of dimension at least four. The result was announced in~[Jelisiejew__open_problems] and answers a question~[Problem~3.8, AIMPL]. The method is similar to the one of~[\S6, Jelisiejew-Šivic]. We exhibit generically nonreduced components of the Hilbert scheme of at least $21$ points on a smooth variety of dimension at least four. The result was announced in~[Jelisiejew__open_problems] and answers a question~[Problem~3.8, AIMPL]. The method is similar to the one of~[\S6, Jelisiejew-Šivic]. △ Less

Submitted 28 June, 2024; originally announced June 2024.

Comments: Comments welcome! To appear in a special volume of Rendiconti del seminario matematico di Torino dedicated to Gianfranco Casnat

Behrend's function is not constant on $\mathrm{Hilb}^n(\mathbb{C}^3)$

Authors: J. Jelisiejew, M. Kool, R. F. Schmiermann

Abstract: We prove the statement in the title for $n\geq 24$. We prove the statement in the title for $n\geq 24$. △ Less

Submitted 9 November, 2023; originally announced November 2023.

Comments: 6 pages

Open problems in deformations of Artinian algebras, Hilbert schemes and around

Authors: Joachim Jelisiejew

Abstract: We review the open problems in the theory of deformations of zero-dimensional objects, such as algebras, modules or tensors. We list both the well-known ones and some new ones that emerge from applications. In view of many advances in recent years, we can hope that all of them are in the range of current methods. We review the open problems in the theory of deformations of zero-dimensional objects, such as algebras, modules or tensors. We list both the well-known ones and some new ones that emerge from applications. In view of many advances in recent years, we can hope that all of them are in the range of current methods. △ Less

Submitted 17 July, 2023; originally announced July 2023.

Report number: BCSim-2022-s04 MSC Class: Primary 13D10; 14C05; Secondary 13H10

The variety of polar simplices II

Authors: Joachim Jelisiejew, Kristian Ranestad, Frank-Olaf Schreyer

Abstract: We discuss the space $VPS(Q,H)$ of ideals with Hilbert function $H=(1,n,n, \ldots)$ that are apolar to a full rank quadric $Q$. We prove that its components of saturated ideals are closely related to the locus of Gorenstein algebras and to the Slip component in border apolarity. We also point out an important error in~[RS] and provide the necessary corrections. We discuss the space $VPS(Q,H)$ of ideals with Hilbert function $H=(1,n,n, \ldots)$ that are apolar to a full rank quadric $Q$. We prove that its components of saturated ideals are closely related to the locus of Gorenstein algebras and to the Slip component in border apolarity. We also point out an important error in~[RS] and provide the necessary corrections. △ Less

Submitted 8 April, 2024; v1 submitted 2 April, 2023; originally announced April 2023.

Comments: version 2, final, to appear in Experimental Math

MSC Class: 14C05; 14J45

Limits of saturated ideals

Authors: Joachim Jelisiejew, Tomasz Mańdziuk

Abstract: We investigate the question whether a given homogeneous ideal is a limit of saturated ones. We provide cohomological necessary criteria for this to hold and apply them to a range of examples. Our motivation comes from the theory of border apolarity and varieties of sums of powers, where the question above is tightly connected to proving new lower bounds for border ranks of tensors. We investigate the question whether a given homogeneous ideal is a limit of saturated ones. We provide cohomological necessary criteria for this to hold and apply them to a range of examples. Our motivation comes from the theory of border apolarity and varieties of sums of powers, where the question above is tightly connected to proving new lower bounds for border ranks of tensors. △ Less

Submitted 22 February, 2025; v1 submitted 24 October, 2022; originally announced October 2022.

Comments: v3, minor corrections

Report number: BCSim-2022-s04 MSC Class: 14C05 (primary); 13D10; 15A69 (secondary)

Hilbert schemes of points and applications

Authors: Joachim Jelisiejew

Abstract: The thesis concerns Hilbert schemes of points and apart from mathematical results, contains small open problems and history sections, see the introduction for more details. The thesis has not been edited since 2017, see first page for more information. It is shared "as is" (in the language of GPL) solely due/thanks to several people who decided to refer to it. The thesis concerns Hilbert schemes of points and apart from mathematical results, contains small open problems and history sections, see the introduction for more details. The thesis has not been edited since 2017, see first page for more information. It is shared "as is" (in the language of GPL) solely due/thanks to several people who decided to refer to it. △ Less

Submitted 21 May, 2022; originally announced May 2022.

Comments: 137 pages, 2 figures. This is the author's PhD Thesis, defended in September 2017

MSC Class: 14C05; 14B07; 13N10; 13H10

Concise tensors of minimal border rank

Authors: Joachim Jelisiejew, J. M. Landsberg, Arpan Pal

Abstract: We determine defining equations for the set of concise tensors of minimal border rank in $C^m\otimes C^m\otimes C^m$ when $m=5$ and the set of concise minimal border rank $1_*$-generic tensors when $m=5,6$. We solve this classical problem in algebraic complexity theory with the aid of two recent developments: the 111-equations defined by Buczyńska-Buczyński and results of Jelisiejew-Šivic on the v… ▽ More We determine defining equations for the set of concise tensors of minimal border rank in $C^m\otimes C^m\otimes C^m$ when $m=5$ and the set of concise minimal border rank $1_*$-generic tensors when $m=5,6$. We solve this classical problem in algebraic complexity theory with the aid of two recent developments: the 111-equations defined by Buczyńska-Buczyński and results of Jelisiejew-Šivic on the variety of commuting matrices. We introduce a new algebraic invariant of a concise tensor, its 111-algebra, and exploit it to give a strengthening of Friedland's normal form for $1$-degenerate tensors satisfying Strassen's equations. We use the 111-algebra to characterize wild minimal border rank tensors and classify them in $C^5\otimes C^5\otimes C^5$. △ Less

Submitted 27 August, 2024; v1 submitted 11 May, 2022; originally announced May 2022.

Comments: v3, corrected a typo in statement of Theorem 1.8

MSC Class: 15A69; 14C05; 68Q15

On the Hilbert function of Artinian local complete intersections of codimension three

Authors: Joachim Jelisiejew, Shreedevi K. Masuti, M. E. Rossi

Abstract: In singularity theory or algebraic geometry, it is natural to investigate possible Hilbert functions for special algebras $A$ such as local complete intersections or more generally Gorenstein algebras. The sequences that occur as {the} Hilbert functions of standard graded complete intersections are well understood classically thanks to Macaulay and Stanley. Very little is known in the local case e… ▽ More In singularity theory or algebraic geometry, it is natural to investigate possible Hilbert functions for special algebras $A$ such as local complete intersections or more generally Gorenstein algebras. The sequences that occur as {the} Hilbert functions of standard graded complete intersections are well understood classically thanks to Macaulay and Stanley. Very little is known in the local case except in codimension two. In this paper we characterise the Hilbert functions of quadratic Artinian complete intersections of codimension three. Interestingly we prove that a Hilbert function is admissible for such a Gorenstein ring if and only if is admissible for such a complete intersection. We provide an effective construction of a local complete intersection for a given Hilbert function. We prove that the symmetric decomposition of such a complete intersection ideal is determined by its Hilbert function. △ Less

Submitted 1 August, 2023; v1 submitted 8 February, 2022; originally announced February 2022.

Comments: v2: minor corrections, 20 pages

Report number: BCSim-2022-s04 MSC Class: Primary: 13D40; 13H10; Secondary:13A30; 13J05; 13F20

Journal ref: Journal of Pure and Applied Algebra Volume 227, Issue 7, July 2023

On construction of k-regular maps to Grassmannians via algebras of socle dimension two

Authors: Joachim Jelisiejew, Hanieh Keneshlou

Abstract: A continuous map $\mathbb{C}^n\to Gr(τ, N)$ is $k$-regular if the $τ$-dimensional subspaces corresponding to images of any $k$ distinct points span a $τk$-dimensional space. For $τ= 1$ this essentially recovers the classical notion of a $k$-regular map $\mathbb{C}^n\to \mathbb{C}^N$. We provide new examples of $k$-regular maps, both in the classical setting $τ= 1$ and for $τ\geq 2$, where these ar… ▽ More A continuous map $\mathbb{C}^n\to Gr(τ, N)$ is $k$-regular if the $τ$-dimensional subspaces corresponding to images of any $k$ distinct points span a $τk$-dimensional space. For $τ= 1$ this essentially recovers the classical notion of a $k$-regular map $\mathbb{C}^n\to \mathbb{C}^N$. We provide new examples of $k$-regular maps, both in the classical setting $τ= 1$ and for $τ\geq 2$, where these are the first examples known. Our methods come from algebraic geometry, following and generalizing Buczyński-Januszkiewicz-Jelisiejew-Michałek. The key and highly nontrivial part of the argument is proving that certain loci of the Hilbert scheme of points have expected dimension. As an important side result, we prove irreducibility of the punctual Hilbert scheme of $k$ points on a threefold, for $k\leq 11$. △ Less

Submitted 18 September, 2024; v1 submitted 28 December, 2021; originally announced December 2021.

Comments: final version, no changes with respect to previous one

Report number: BCSim-2022-s04 MSC Class: 53A07; 14C05 (primary) 57R42; 14L30 (secondary)

Components and singularities of Quot schemes and varieties of commuting matrices

Authors: Joachim Jelisiejew, Klemen Šivic

Abstract: 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… ▽ More 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$. △ Less

Submitted 8 March, 2022; v1 submitted 24 June, 2021; originally announced June 2021.

Comments: v4: final, minor corrections v3: minor v2: light corrections to initial submission. Comments still welcome v1: Comments most welcome! Initial submission: slight changes probably will occur. 52 pages

MSC Class: 14C05; 15A27; 13E10

Hermitian K-theory via oriented Gorenstein algebras

Authors: Marc Hoyois, Joachim Jelisiejew, Denis Nardin, Maria Yakerson

Abstract: 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… ▽ More 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. △ Less

Submitted 13 September, 2022; v1 submitted 29 March, 2021; originally announced March 2021.

Comments: 30 pages. v4: final version, to appear in J. reine angew. Math. v3: minor changes. v2: Added section 4 on complexity theory

Bounds on complexity of matrix multiplication away from CW tensors

Authors: Roser Homs, Joachim Jelisiejew, Mateusz Michałek, Tim Seynnaeve

Abstract: 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… ▽ More 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. △ Less

Submitted 11 April, 2022; v1 submitted 23 March, 2021; originally announced March 2021.

Comments: v3: final v2: minor changes v1: 14 pages, comments welcome!

MSC Class: 15A69; 14Q20

Białynicki-Birula decomposition for reductive groups in positive characteristic

Authors: Joachim Jelisiejew, Łukasz Sienkiewicz

Abstract: We prove the existence of Bialynicki-Birula decomposition for Kempf monoids, which is a large class that contains for example monoids with reductive unit group in all characteristics. This extends the existence statements from previous works of Alper-Hall-Rydh and Jelisiejew-Sienkiewicz. We prove the existence of Bialynicki-Birula decomposition for Kempf monoids, which is a large class that contains for example monoids with reductive unit group in all characteristics. This extends the existence statements from previous works of Alper-Hall-Rydh and Jelisiejew-Sienkiewicz. △ Less

Submitted 23 February, 2021; v1 submitted 3 June, 2020; originally announced June 2020.

Comments: v2: author accepted manuscript for Journal de Mathématiques Pures et Appliquées

MSC Class: 14L30; 20G15 (Primary) 14D22; 20G05 (Secondary)

The Hilbert scheme of infinite affine space and algebraic K-theory

Authors: Marc Hoyois, Joachim Jelisiejew, Denis Nardin, Burt Totaro, Maria Yakerson

Abstract: We study the Hilbert scheme $\mathrm{Hilb}_d(\mathbb{A}^\infty)$ from an $\mathbb{A}^1$-homotopical viewpoint and obtain applications to algebraic K-theory. We show that the Hilbert scheme $\mathrm{Hilb}_d(\mathbb{A}^\infty)$ is $\mathbb{A}^1$-equivalent to the Grassmannian of $(d-1)$-planes in $\mathbb{A}^\infty$. We then describe the $\mathbb{A}^1$-homotopy type of… ▽ More We study the Hilbert scheme $\mathrm{Hilb}_d(\mathbb{A}^\infty)$ from an $\mathbb{A}^1$-homotopical viewpoint and obtain applications to algebraic K-theory. We show that the Hilbert scheme $\mathrm{Hilb}_d(\mathbb{A}^\infty)$ is $\mathbb{A}^1$-equivalent to the Grassmannian of $(d-1)$-planes in $\mathbb{A}^\infty$. We then describe the $\mathbb{A}^1$-homotopy type of $\mathrm{Hilb}_d(\mathbb{A}^n)$ in a range, for $n$ large compared to $d$. For example, we compute the integral cohomology of $\mathrm{Hilb}_d(\mathbb{A}^n)(\mathbb{C})$ in a range. We also deduce that the forgetful map $\mathrm{FFlat}\to\mathrm{Vect}$ from the moduli stack of finite locally free schemes to that of finite locally free sheaves is an $\mathbb{A}^1$-equivalence after group completion. This implies that the moduli stack $\mathrm{FFlat}$, viewed as a presheaf with framed transfers, is a model for the effective motivic spectrum $\mathrm{kgl}$ representing algebraic K-theory. Combining our techniques with the recent work of Bachmann, we obtain Hilbert scheme models for the $\mathrm{kgl}$-homology of smooth proper schemes over a perfect field. △ Less

Submitted 16 August, 2021; v1 submitted 26 February, 2020; originally announced February 2020.

Comments: 24 pages. Comments welcome! v3: minor change v2: new title, new author, and many new results

Pathologies on the Hilbert scheme of points

Authors: Joachim Jelisiejew

Abstract: We prove that the Hilbert scheme of points on a higher dimensional affine space is non-reduced and has components lying entirely in characteristic p for all primes p. In fact, we show that Vakil's Murphy's Law holds up to retraction for this scheme. Our main tool is a generalized version of the Bialynicki-Birula decomposition. We prove that the Hilbert scheme of points on a higher dimensional affine space is non-reduced and has components lying entirely in characteristic p for all primes p. In fact, we show that Vakil's Murphy's Law holds up to retraction for this scheme. Our main tool is a generalized version of the Bialynicki-Birula decomposition. △ Less

Submitted 28 November, 2019; v1 submitted 20 December, 2018; originally announced December 2018.

Comments: 24 pages, some explicit examples, comments/questions welcome!

Report number: BCSim-2018-s09 MSC Class: 14C05; 14L30; 14B12; 13D10; 14B07

Smoothable zero dimensional schemes and special projections of algebraic varieties

Authors: Joachim Jelisiejew, Grzegorz Kapustka, Michal Kapustka

Abstract: We study the degrees of generators of the ideal of a projected Veronese variety $v_2(\mathbb{P}^3)\subset \mathbb{P}^9$ to $\mathbb{P}^6$ depending on the center of projection. This is related to the geometry of zero dimensional schemes of length $8$ in $\mathbb{A}^4$, Cremona transforms of $\mathbb{P}^6$, and the geometry of Tonoli Calabi-Yau threefolds of degree $17$ in $\mathbb{P}^6$. We study the degrees of generators of the ideal of a projected Veronese variety $v_2(\mathbb{P}^3)\subset \mathbb{P}^9$ to $\mathbb{P}^6$ depending on the center of projection. This is related to the geometry of zero dimensional schemes of length $8$ in $\mathbb{A}^4$, Cremona transforms of $\mathbb{P}^6$, and the geometry of Tonoli Calabi-Yau threefolds of degree $17$ in $\mathbb{P}^6$. △ Less

Submitted 21 December, 2018; v1 submitted 26 July, 2018; originally announced July 2018.

Comments: v2, updated main theorem: 13 pages. Comments welcome!

Report number: BCSim-2018-s09 MSC Class: 14J32; 14E07; 14C05 (primary); 14J10 (secondary)

Białynicki-Birula decomposition for reductive groups

Authors: Joachim Jelisiejew, Łukasz Sienkiewicz

Abstract: We generalize the Białynicki-Birula decomposition from actions of $G_m$ on smooth varieties to actions of linearly reductive group ${\bf G}$ on finite type schemes and algebraic spaces. We also provide a relative version and briefly discuss the case of algebraic stacks. We define the Białynicki-Birula decomposition functorially: for a fixed ${\bf G}$-scheme $X$ and a monoid $\overline{\bf G}$ wh… ▽ More We generalize the Białynicki-Birula decomposition from actions of $G_m$ on smooth varieties to actions of linearly reductive group ${\bf G}$ on finite type schemes and algebraic spaces. We also provide a relative version and briefly discuss the case of algebraic stacks. We define the Białynicki-Birula decomposition functorially: for a fixed ${\bf G}$-scheme $X$ and a monoid $\overline{\bf G}$ which partially compactifies ${\bf G}$, the BB decomposition parameterizes ${\bf G}$-schemes over $X$ for which the ${\bf G}$-action extends to the $\overline{\bf G}$-action. The freedom of choice of $\overline{\bf G}$ makes the theory richer than the $G_m$-case. △ Less

Submitted 21 December, 2018; v1 submitted 29 May, 2018; originally announced May 2018.

Comments: v3, final. To appear in Journal de Mathématiques Pures et Appliquées

Report number: BCSim-2018-s09 MSC Class: 14L30; 20G15 (Primary) 14D22; 20G05 (Secondary)

Elementary components of Hilbert schemes

Authors: Joachim Jelisiejew

Abstract: We generalize the Bialynicki-Birula decomposition to singular schemes and apply it to the Hilbert scheme of points on an affine space. We find an infinite family of small, elementary and generically smooth components of the Hilbert scheme of points of the affine four-space. Our method gives easily verifiable sufficient conditions for proving that a point of the Hilbert scheme is smooth and lies on… ▽ More We generalize the Bialynicki-Birula decomposition to singular schemes and apply it to the Hilbert scheme of points on an affine space. We find an infinite family of small, elementary and generically smooth components of the Hilbert scheme of points of the affine four-space. Our method gives easily verifiable sufficient conditions for proving that a point of the Hilbert scheme is smooth and lies on an elementary component. We also present a necessary condition for smoothability of a finite subscheme given by a homogeneous ideal. △ Less

Submitted 7 April, 2019; v1 submitted 17 October, 2017; originally announced October 2017.

Comments: post-final version, corrected proof of Thm 4.9

MSC Class: 14C05; 14L30; 13D10

Finite schemes and secant varieties over arbitrary characteristic

Authors: Jarosław Buczyński, Joachim Jelisiejew

Abstract: We present scheme theoretic methods that apply to the study of secant varieties. This mainly concerns finite schemes and their smoothability. The theory generalises to the base fields of any characteristic, and even to non-algebraically closed fields. In particular, the smoothability of finite schemes does not depend on the embedding into a smooth variety or on base field extensions. Independent o… ▽ More We present scheme theoretic methods that apply to the study of secant varieties. This mainly concerns finite schemes and their smoothability. The theory generalises to the base fields of any characteristic, and even to non-algebraically closed fields. In particular, the smoothability of finite schemes does not depend on the embedding into a smooth variety or on base field extensions. Independent of the base field, secant varieties to high degree Veronese reembeddings behave well with respect to the intersection and they are defined by minors of catalecticants whenever a suitable smoothability condition for Gorenstein subschemes holds. The content of the article is largely expository, although many results are presented in a stronger form than in the literature. △ Less

Submitted 8 March, 2017; originally announced March 2017.

Comments: 56 pages

Report number: BCSim-2016-s02 MSC Class: 14M12 (Primary); 14B12; 14C05; 14A15; 14M17 (Secondary)

The Hilbert scheme of 11 points in A^3 is irreducible

Authors: Theodosios Douvropoulos, Joachim Jelisiejew, Bernt Ivar Utstøl Nødland, Zach Teitler

Abstract: We prove that the Hilbert scheme of 11 points on a smooth threefold is irreducible. In the course of the proof, we present several known and new techniques for producing curves on the Hilbert scheme. We prove that the Hilbert scheme of 11 points on a smooth threefold is irreducible. In the course of the proof, we present several known and new techniques for producing curves on the Hilbert scheme. △ Less

Submitted 11 January, 2017; originally announced January 2017.

Comments: 33 pages, comments most welcome!

Report number: Fields 2016 CAG book MSC Class: 14C05 (primary); 13E10; 13D10 (secondary)

Equations and tropicalization of Enriques surfaces

Authors: Barbara Bolognese, Corey Harris, Joachim Jelisiejew

Abstract: In this article we explicitly compute equations of an Enriques surface via the involution on a K3 surface. We also discuss its tropicalization and compute the tropical homology, thus recovering a special case of the result of \cite{IKMZ}, and establish a connection between the dimension of the tropical homology groups and the Hodge numbers of the corresponding algebraic Enriques surface. In this article we explicitly compute equations of an Enriques surface via the involution on a K3 surface. We also discuss its tropicalization and compute the tropical homology, thus recovering a special case of the result of \cite{IKMZ}, and establish a connection between the dimension of the tropical homology groups and the Hodge numbers of the corresponding algebraic Enriques surface. △ Less

Submitted 21 June, 2017; v1 submitted 10 January, 2017; originally announced January 2017.

Comments: 24 pages, comments most welcome!

Report number: Fields 2016 CAG book MSC Class: 14J28; 14T05

VSPs of cubic fourfolds and the Gorenstein locus of the Hilbert scheme of 14 points on A^6

Authors: Joachim Jelisiejew

Abstract: This paper is concerned with the geometry of the Gorenstein locus of the Hilbert scheme of $14$ points on $\mathbb{A}^6$. This scheme has two components: the smoothable one and an exceptional one. We prove that the latter is smooth and identify the intersection of components as a vector bundle over the Iliev-Ranestad divisor in the space of cubic fourfolds. The ninth secant variety of the triple V… ▽ More This paper is concerned with the geometry of the Gorenstein locus of the Hilbert scheme of $14$ points on $\mathbb{A}^6$. This scheme has two components: the smoothable one and an exceptional one. We prove that the latter is smooth and identify the intersection of components as a vector bundle over the Iliev-Ranestad divisor in the space of cubic fourfolds. The ninth secant variety of the triple Veronese reembedding lies inside the Iliev-Ranestad divisor. We point out that this secant variety is set-theoretically a codimension two complete intersection and discuss the degrees of its equations. △ Less

Submitted 27 April, 2018; v1 submitted 14 November, 2016; originally announced November 2016.

Comments: 17 pages, first version, comments welcome!

MSC Class: 14C05 (primary); 13H10; 14J70 (secondary)

Classifying local Artinian Gorenstein algebras

Authors: Joachim Jelisiejew

Abstract: 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 finitel… ▽ More 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. △ Less

Submitted 12 October, 2016; v1 submitted 25 November, 2015; originally announced November 2015.

Comments: v3: Final, to appear in Collectanea Mathematica

MSC Class: 13H10 (Primary); 13N10; 14C05 (Secondary)

Constructions of k-regular maps using finite local schemes

Authors: Jarosław Buczyński, Tadeusz Januszkiewicz, Joachim Jelisiejew, Mateusz Michałek

Abstract: 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 parti… ▽ More 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. △ Less

Submitted 7 November, 2016; v1 submitted 18 November, 2015; originally announced November 2015.

Comments: 29 pages, minor corrections; to appear in JEMS

MSC Class: 53A07 (Primary); 57R42; 14C05; 13H10 (Secondary)

Irreducibility of the Gorenstein loci of Hilbert schemes via ray families

Authors: Gianfranco Casnati, Joachim Jelisiejew, Roberto Notari

Abstract: 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… ▽ More 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$. △ Less

Submitted 26 November, 2015; v1 submitted 29 May, 2014; originally announced May 2014.

Comments: v4: final. v2: expanded proof of Theorems A and B. 33 pages, comments welcome!

MSC Class: 14C05; 13H10; 14D15

Journal ref: Algebra Number Theory 9 (2015), no. 7, 1525--1570

Deformations of zero-dimensional schemes and applications

Authors: Joachim Jelisiejew

Abstract: 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 exi… ▽ More 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. △ Less

Submitted 2 April, 2014; v1 submitted 30 July, 2013; originally announced July 2013.

Comments: v2: some minor corrections made. 29 pages. This is an MSc thesis done on the University of Warsaw; my adviser is Jarosław Buczyński

MSC Class: 13D10; 13H10; 14C05; 14D06

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

Authors: Gianfranco Casnati, Joachim Jelisiejew, Roberto Notari

Abstract: 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… ▽ More 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. △ Less

Submitted 5 January, 2014; v1 submitted 5 July, 2013; originally announced July 2013.

Comments: 12 pages - The section on preliminary results has been revised. Several other minor corrections have been made in the whole paper

MSC Class: 13D40; 13H10

An upper bound for the Waring rank of a form

Authors: Joachim Jelisiejew

Abstract: In this paper we introduce the open Waring rank of a form of degree d in n variables and prove the that this rank in bounded from above by \binom{n+d-2}{d-1} - \binom{n+d-6}{d-3} whenever n, d >= 3. This proves the same upper bound for the classical Waring rank of a form, improving the result of [BBS] and giving, as far as we know, the best upper bound known. In this paper we introduce the open Waring rank of a form of degree d in n variables and prove the that this rank in bounded from above by \binom{n+d-2}{d-1} - \binom{n+d-6}{d-3} whenever n, d >= 3. This proves the same upper bound for the classical Waring rank of a form, improving the result of [BBS] and giving, as far as we know, the best upper bound known. △ Less

Submitted 29 May, 2013; originally announced May 2013.

Comments: 6 pages

MSC Class: 13P05

On commutativity of ideal extensions

Authors: Joachim Jelisiejew

Abstract: In this paper we examine the commutativity of ideal extensions. We introduce methods of constructing such extensions, in particular we construct a noncommutative ring T which contains a central and idempotent ideal I such that T/I is a field. This answers a question from [2]. Moreover we classify fields of characteristic 0 which can be obtained as T/I for some T. In this paper we examine the commutativity of ideal extensions. We introduce methods of constructing such extensions, in particular we construct a noncommutative ring T which contains a central and idempotent ideal I such that T/I is a field. This answers a question from [2]. Moreover we classify fields of characteristic 0 which can be obtained as T/I for some T. △ Less

Submitted 14 May, 2013; originally announced May 2013.

Comments: 7 pages

MSC Class: 16S70; 16D20

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

Authors: Joachim Jelisiejew

Abstract: 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 s… ▽ More 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. △ Less

Submitted 3 December, 2012; originally announced December 2012.

Comments: 4 pages

MSC Class: 13D10

On polynomials with given Hilbert function and applications

Authors: Alessandra Bernardi, Joachim Jelisiejew, Pedro Macias Marques, Kristian Ranestad

Abstract: Using Macaulay's correspondence we study the family of Artinian Gorenstein local algebras with fixed symmetric Hilbert function decomposition. As an application we give a new lower bound for cactus varieties of the third Veronese embedding. We discuss the case of cubic surfaces, where interesting phenomena occur. Using Macaulay's correspondence we study the family of Artinian Gorenstein local algebras with fixed symmetric Hilbert function decomposition. As an application we give a new lower bound for cactus varieties of the third Veronese embedding. We discuss the case of cubic surfaces, where interesting phenomena occur. △ Less

Submitted 23 June, 2016; v1 submitted 30 November, 2012; originally announced November 2012.

MSC Class: 13H10 (Primary) 14Q15; 14C05 (Secondary)

Journal ref: Collectanea Mathematica, 69 (2018) 39-64