13
$\begingroup$

I would be grateful for any info concerning the following question.

Given an n-tuple z=(z_1,...,z_n) of nonzero complex numbers, let X(z) denote the GL(n,C)-conjugacy class of the diagonal matrix diag(z_1,...,z_n).

Let Y(z) be an open subset of X(z) formed by the matrices g in X(z) such that each of the principal minors d_1(g), d_2(g),...,d_n(g), of g, is nonzero (by definition, d_k(g) := determinant of the upper-left k by k block of the matrix g).

I am interested in the following

Problem. Compute the first Betti number, i.e. the rank of the first homology group with rational coefficients, of the manifold Y(z), for a sufficiently general n-tuple z=(z_1,...,z_n).

$\endgroup$

1 Answer 1

7
$\begingroup$

Below now is a proof that for sufficiently generic $z$, $b_1(Y(z))=n-1$.

First we show $b_1(Y(z))\geq n-1$.

Let $d=(d_1,d_2..,d_{n-1}): Y(z)\to({\mathbb C}^*)^{n-1}$. One can explicitly lift the loops in $H_1(({\mathbb C}^*)^{n-1})$ as follows. Fix $i$ between $1$ and $n-1$. Let $e(t)=exp(2\pi \sqrt{-1} t)$ and $$B(t):=\left(\begin{array}{cc} e(t) & 1\\\ e(t)(z_i+z_{i+1}-e(t))-z_iz_{i+1} & z_i+z_{i+1}-e(t) \end{array}\right).$$ Then the characteristic polynomial of $B(t)$ is $(\lambda-z_i)(\lambda-z_{i+1})$. Form an $n\times n$ matrix $A(t)$ as having $z_1,\dots,z_{i-1}$ on the main diagonal, then $B(t)$, then $z_{i+2},\dots,z_{n}$ and zero everywhere else. This matrix has the property that $A(t)\in Y(z)$ (as we assumed generic z) and $d_j(A(t))=z_1\cdot\dots\cdot z_j$ unless $j=i$ when $d_i(A(t))=e(t)z_1\cdot\dots\cdot z_{i-1}$. Thus $A(t)$ is a loop in $Y(z)$ covering the $i$th generator of $H_1(({\mathbb C}^*)^{n-1})$.

Thus we find that $d_*:H_1(Y(z))\to H_1(({\mathbb C}^*)^{n-1})$ is surjective so $b_1(Y(z))\geq n-1$.

To argue that $b_1\leq n-1$ we first show that the divisors $D_i:=d_i^{-1}(0)$ are irreducible on $X(z)$ for sufficiently generic $z$. We note that $D_i$ is irreducible in $M_{nxn}$ which can be easily seen over a finite field by counting points on $D_i$. This implies that for a sufficiently generic $z$ the divisor $D_i$ is irreducible on $X(z)$. When $z_i\neq z_j$ for $i\neq j$ we see that $X(z)$ fibers over the full flag variety with contractible fibers, so it is simply connected. From the homology Gysin sequence we get that removing an irreducible divisor from a smooth variety can increase $b_1$ by at most one. By induction we can conclude that $b_1(Y(z))\leq n-1$.

As an example take $n=2$. Here we are removing a copy of ${\mathbb C}^*$ from $X(z)$ an affine line bundle over ${\mathbb P}^1$. This will have Betti numbers $b_1=1$ and $b_2=2$ with weights $q,q,q^2$ respectively, to give Serre-polynomial $q^2+1$. We will have the map $d=d_1:Y(z) \to {\mathbb C}^{*}$. The fibers of this map will generically be a ${\mathbb C}^{*}$ and will have two singular fibers, which will give the non-trivial fundamental group. The point is that one can lift the loop generating $\pi_1({\mathbb C}^*)$ as generically $d_1$ is a fibration with connected fibers.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .