Let $V_1,ldots , V_k$ be vector spaces of dimensions $n_1,ldots , n_k$ over a field of characteristic zero.

Consider the rational map

$

newcommand{PP}{mathbb{P}}

newcommand{bs}{boldsymbol}

DeclareMathOperator{Gr}{Gr}

DeclareMathOperator{im}{im}

$

$$

Phi : left[PP (V_1^*) times cdots times PP (V_k^*)right]^j dashrightarrow Gr (n_1 cdots n_k – j, , V_1otimes cdots otimes V_k )$$

defined by

$$

left([alpha_1^i], ldots , [alpha_k^i]right)_{1le ile j} mapsto { T mid (alpha_1^i otimes cdots otimes alpha_k^i) (T) =0, , , 1le i le j }.

$$

Counting dimensions, we expect that the map is dominant when

$$

j , (n_1 + n_2 cdots +n_k – k) ge j , left( n_1 cdots n_k – j right)

$$

$$

Rightarrow , , , j ge n_1 cdots n_k – (n_1 + n_2 cdots +n_k – k) .

$$

To see that our expectation is correct in the case where equality holds, it is enough to show generically finite fibers. Let

$$

L = Phi ( bs{alpha}) =

biglangle

alpha_1^1 otimes cdots alpha_k^1, ,

ldots , ,

alpha_1^j otimes cdots alpha_k^j

bigrangle^perp ,

$$

so that $PP (L^perp)$ is a $(j-1)$-secant of the Segre variety

$$

Sigma_{n_1-1, ldots, n_k-1}subset PP (V_1 otimes cdots otimes V_k ),$$

which has dimension $(n_1 + n_2 cdots +n_k – k).$ Since the dimensions of $PP (L^perp)$ and $Sigma_{n_1-1, ldots, n_k-1}$ are complementary, the classical "trisecant lemma" implies for generic $bs{alpha}$ that

$$PP (L^perp ) cap Sigma _{n_1-1, ldots, n_k-1} = { [alpha_1^1 otimes cdots alpha_k^1], ,

ldots , ,

[alpha_1^j otimes cdots alpha_k^j] }. $$

(See eg. Prop 1.3.3 in Russo’s "Geometry of Special Varieties." The statement assumes characteristic $0,$ though I’m not sure if it’s necessary for me.)

Thus, if $Phi (bs{alpha} ) = Phi (bs{alpha}’)$ for $bs{alpha}$ generic, then $bs{alpha }$ equals $bs{alpha}’$ after permuting some of the $j$ factors in the domain.

I discovered the above argument for the case where $k=2$ and $(n_1, n_2) = (3,3),$ in a context apparently unrelated to tensors, and was surprised that it generalized with little effort. I am thus wondering if it is a well-known fact or if there is some simpler explanation.

A seemingly more difficult question I am also interested in: describe the constructible set $im Phi .$

MathOverflow Asked on January 5, 2022

0 Answers1 Asked on January 19, 2021 by adittya-chaudhuri

cech cohomology ct category theory grothendieck topology nonabelian cohomology

0 Asked on January 17, 2021 by harry-gindi

0 Asked on January 17, 2021 by manfred-weis

1 Asked on January 16, 2021 by learning-math

geometric probability pr probability probability distributions st statistics

18 Asked on January 16, 2021

big list mathematics education open problems soft question thesis

3 Asked on January 16, 2021 by jochen-glueck

fa functional analysis linear algebra matrix analysis oa operator algebras operator theory

1 Asked on January 15, 2021

1 Asked on January 15, 2021 by no_idea

10 Asked on January 14, 2021 by edmund-harriss

big list ho history overview mathematical philosophy sociology of math

1 Asked on January 13, 2021 by david-jones

computational number theory conjectures nt number theory prime numbers

0 Asked on January 13, 2021 by jianrong-li

1 Asked on January 12, 2021

0 Asked on January 12, 2021 by francesco-polizzi

combinatorial group theory finite groups gap geometric group theory gr group theory

2 Asked on January 11, 2021 by user839372

ac commutative algebra coalgebras hopf algebras reference request

0 Asked on January 10, 2021 by goulifet

duality fa functional analysis integration schwartz distributions

0 Asked on January 10, 2021 by stabilo

cones derived categories modules quasi isomorphism triangles

0 Asked on January 9, 2021 by longyearbyen

0 Asked on January 9, 2021 by user164237

1 Asked on January 9, 2021 by bill-bradley

ca classical analysis and odes convex analysis convex optimization matrices permanent

1 Asked on January 9, 2021 by lrnv

Get help from others!

Recent Questions

- MouseLook Script “Pops” back to the last value when the script is enabled after being disabled or destroyed
- Unity app crashes when using unmodified custom Android manifest (didn’t find class “UnityPlayerActivity”)
- How do i draw a ray in unity
- How to test consistency of responses?
- How can I understand these variograms?

Recent Answers

- kjetil b halvorsen on How to test consistency of responses?
- eric_kernfeld on How to test consistency of responses?
- Philipp on How do i draw a ray in unity
- DMGregory on MouseLook Script “Pops” back to the last value when the script is enabled after being disabled or destroyed
- Justin Markwell on Unity app crashes when using unmodified custom Android manifest (didn’t find class “UnityPlayerActivity”)

© 2022 AnswerBun.com. All rights reserved.