Source author record

Arthur Bik

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.AC math.RT math.NT math.RA

Catalog footprint

Research overview

8works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2024arXiv

Two improvements in Brauer's theorem on forms

Let $k$ be a Brauer field, that is, a field over which every diagonal form in sufficiently many variables has a nonzero solution; for instance, $k$ could be an imaginary quadratic number field. Brauer proved that if $f_1, \ldots, f_r$ are homogeneous polynomials on a $k$ -vector space $V$ of degrees $d_1, \ldots, d_r$ , then the variety $Z$ defined by the $f_i$ 's has a non-trivial $k$ -point, provided that $\dim{V}$ is sufficiently large compared to the $d_i$ 's and $k$ . We offer two improvements to this theorem, assuming $k$ is infinite. First, we show that the Zariski closure of the set $Z(k)$ of $k$ -points has codimension $<C$ , where $C$ is a constant depending only on the $d_i$ 's and $k$ . And second, we show that if the strength of the $f_i$ 's is sufficiently large in terms of the $d_i$ 's and $k$ , then $Z(k)$ is actually Zariski dense in $Z$ . The proofs rely on recent work of Ananyan and Hochster on high strength polynomials.

preprint2022arXiv

The Geometries of Jordan nets and Jordan webs

A Jordan net (resp. web) is an embedding of a unital Jordan algebra of dimension $3$ (resp. $4$ ) into the space $\mathbb{S}^n$ of symmetric $n\times n$ matrices. We study the geometries of Jordan nets and webs: we classify the congruence-orbits of Jordan nets (resp. webs) in $\mathbb{S}^n$ for $n\leq 7$ (resp. $n\leq 5$ ), we find degenerations between these orbits and list obstructions to the existence of such degenerations. For Jordan nets in $\mathbb{S}^n$ for $n\leq5$ , these obstructions show that our list of degenerations is complete. For $n=6$ , the existence of one degeneration is still undetermined. To explore further, we used an algorithm that indicates numerically whether a degeneration between two orbits exists. We verified this algorithm using all known degenerations and obstructions, and then used it to compute the degenerations between Jordan nets in $\mathbb{S}^7$ and Jordan webs in $\mathbb{S}^n$ for $n=4,5$ .

preprint2022arXiv

The geometry of polynomial representations

We define a GL-variety to be a (typically infinite dimensional) algebraic variety equipped with an action of the infinite general linear group under which the coordinate ring forms a polynomial representation. Such varieties have been used to study asymptotic properties of invariants like strength and tensor rank, and played a key role in two recent proofs of Stillman's conjecture. We initiate a systematic study of GL-varieties, and establish a number of foundational results about them. For example, we prove a version of Chevalley's theorem on constructible sets in this setting.

preprint2022arXiv

Topological Noetherianity of polynomial functors II: base rings with Noetherian spectrum

In a previous paper, the third author proved that finite-degree polynomial functors over infinite fields are topologically Noetherian. In this paper, we prove that the same holds for polynomial functors from free $R$ -modules to finitely generated $R$ -modules, for any commutative ring $R$ whose spectrum is Noetherian. As Erman-Sam-Snowden pointed out, when applying this with $R = \mathbb{Z}$ to direct sums of symmetric powers, one of their proofs of a conjecture by Stillman becomes characteristic-independent. Our paper advertises and further develops the beautiful but not so well-known machinery of polynomial laws. In particular, to any finitely generated R-module M we associate a topological space, which we show is Noetherian when $\operatorname{Spec}(R)$ is; this is the degree-zero case of our result on polynomial functors.

preprint2021arXiv

Strength and slice rank of forms are generically equal

We prove that strength and slice rank of homogeneous polynomials of degree $d \geq 5$ over an algebraically closed field of characteristic zero coincide generically. To show this, we establish a conjecture of Catalisano, Geramita, Gimigliano, Harbourne, Migliore, Nagel and Shin concerning dimensions of secant varieties of the varieties of reducible homogeneous polynomials. These statements were already known in degrees $2\leq d\leq 7$ and $d=9$ .

preprint2021arXiv

The set of forms with bounded strength is not closed

The strength of a homogeneous polynomial (or form) is the smallest length of an additive decomposition expressing it whose summands are reducible forms. Using polynomial functors, we show that the set of forms with bounded strength is not always Zariski-closed. More specifically, if the ground field is algebraically closed, we prove that the set of quartics with strength $\leq3$ is not Zariski-closed for a large number of variables.

preprint2019arXiv

Semi-algebraic properties of Minkowski sums of a twisted cubic segment

We find a semi-algebraic description of the Minkowski sum $\mathcal{A}_{3,n}$ of $n$ copies of the bounded twisted cubic $\{(t,t^2,t^3)\mid -1\leq t\leq 1\}$ for each integer $n\geq3$ . These descriptions provide efficient membership tests for the sets $\mathcal{A}_{3,n}$ . These membership tests in turn can be used to resolve some instances of the underdetermined matrix moment problem, which was formulated by Michael Rubinstein and Peter Sarnak in order to study problems related to $L$ -functions and their zeros.

preprint2019arXiv

The monic rank

We introduce the monic rank of a vector relative to an affine-hyperplane section of an irreducible Zariski-closed affine cone $X$ . We show that the monic rank is finite and greater than or equal to the usual $X$ -rank. We describe an algorithmic technique based on classical invariant theory to determine, in concrete situations, the maximal monic rank. Using this technique, we establish three new instances of a conjecture due to B. Shapiro which states that a binary form of degree $d\cdot e$ is the sum of $d$ $d$ -th powers of forms of degree $e$ . Furthermore, in the case where $X$ is the cone of highest weight vectors in an irreducible representation---this includes the well-known cases of tensor rank and symmetric rank---we raise the question whether the maximal rank equals the maximal monic rank. We answer this question affirmatively in several instances.

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.

Arthur Bik

Research overview

Is this your work?

8 publications

Two improvements in Brauer's theorem on forms

The Geometries of Jordan nets and Jordan webs

The geometry of polynomial representations

Topological Noetherianity of polynomial functors II: base rings with Noetherian spectrum

Strength and slice rank of forms are generically equal

The set of forms with bounded strength is not closed

Semi-algebraic properties of Minkowski sums of a twisted cubic segment

The monic rank

See the researcher in context

Building this map preview