arXiv subjects
Publications and source records attributed to Jean-Luc Brylinski.
For a complete toric variety, we obtain an explicit formula for the localized equivariant Todd class in terms of the combinatorial data -- the fan. This is based on the equivariant Riemann-Roch theorem and the computation of the equivariant cohomology and equivariant homology of toric varieties.
Immanants are polynomial functions of n by n matrices attached to irreducible characters of the symmetric group S_n, or equivalently to Young diagrams of size n. Immanants include determinants and permanents as extreme cases. Valiant proved that computation of permanents is a complete problem in his algebraic model of NP theory, i.e., it is VNP-complete. We prove that computation of immanants is VNP-complete if the immanants are attached to a family of diagrams whose separation is $Ω(n^δ)$ for some $δ>0$. We define the separation of a diagram to be the largest number of overhanging boxes contained in a single row. Our theorem proves a conjecture of Buergisser for a large variety of families, and in particular we recover with new proofs his VNP-completeness results for hooks and rectangles.
In this paper we study universality for quantum gates acting on qudits.Qudits are states in a Hilbert space of dimension d where d is at least two. We determine which 2-qudit gates V have the properties (i) the collection of all 1-qudit gates together with V produces all n-qudit gates up to arbitrary precision, or (ii) the collection of all 1-qudit gates together with V produces all n-qudit gates exactly. We show that (i) and (ii) are equivalent conditions on V, and they hold if and only if V is not a primitive gate. Here we say V is primitive if it transforms any decomposable tensor into a decomposable tensor. We discuss some applications and also relations with work of other authors.
We study the polynomial functions on tensor states in $(C^n)^{\otimes k}$ which are invariant under $SU(n)^k$. We describe the space of invariant polynomials in terms of symmetric group representations. For $k$ even, the smallest degree for invariant polynomials is $n$ and in degree $n$ we find a natural generalization of the determinant. For $n,d$ fixed, we describe the asymptotic behavior of the dimension of the space of invariants as $k\to\infty$. We study in detail the space of homogeneous degree 4 invariant polynomial functions on $(C^2)^{\otimes k}$.
We give a definition of differentiable cohomology of a Lie group G (possibly infinite-dimensional) with coefficients in any abelian Lie group. This differentiable cohomology maps both to the cohomology of the group made discrete and to Lie algebra cohomology. We show that the secondary characteristic classes of Beilinson lead to differentiable cohomology classes with coefficients in C*. These may be viewed as an enrichment of the Chern-Simons differential forms. By transgression, classes in differentiable cohomology of a Lie group G lead to differentiable cohomology classes for gauge groups Map(M,G). These classes generalize the central extensions of loop groups. We also discuss holomorphic cohomology of complex Lie groups as the natural place to construct secondary classes. We present several conjectures relating the above cohomology classes to the differential forms of Bott-Shulman-Stasheff.
We study the rank of a general tensor $u$ in a tensor product $H_1\ot...\ot H_k$. The rank of $u$ is the minimal number $p$ of pure states $v_1,...,v_p$ such that $u$ is a linear combination of the $v_j$'s. This rank is an algebraic measure of the degree of entanglement of $u$. Motivated by quantum computation, we completely describe the rank of an arbitrary tensor in $(\C^2)^{\ot 3}$ and give normal forms for tensor states up to local unitary transformations. We also obtain partial results for $(\C^2)^{\ot 4}$; in particular, we show that the maximal rank of a tensor in $(\C^2)^{\ot 4}$ is equal to 4.
We construct a gerbe over a complex reductive Lie group G attached to an invariant bilinear form on a maximal diagonalizable subalgebra which is Weyl group invariant and satisfies a parity condition. By restriction to a maximal compact subgroup K, one then gets a gerbe over K. For a simply-connected group, the parity condition is the same used by Pressley and Segal; in general, it was introduced by Deligne and the author. The gerbe is defined by geometric methods, using the so-called Grothendieck manifold. It is equivariant under the conjugation action of G; its restriction to a semisimple orbit is not always trivial. The paper starts with a discussion of gerbe data (in the sense of Chatterjee and Hitchin) and of gerbes as geometric objects (sheaves of groupoids); the relation between the two approaches is presented. There is an Appendix on equivariant gerbes, discussed from both points of view.
We compute the equivariant $K$-theory $K_G^*(G)$ for a simply connected Lie group $G$ (acting on itself by conjugation). We prove that $K_G^*(G)$ is isomorphic to the algebra of Grothendieck differentials on the representation ring. We also study a special example of a non-simply connected Lie group $G$, namely PSU(3), and compute the corresponding equivariant $K$-theory.
We introduce the beta function of a knot in euclidean three-space. This is a meromorphic function of a complex variable which we prove admits a Bernstein type functional equation. We determine the first residues.
We introduce a canonical outer vector field on a Poisson manifold, also due independently to A. Weinstein. We view it as a global section of the sheaf of Poisson vector fields modulo the subsheaf of hamiltonian vector fields. We study this outer derivation mostly in the case of holomorphic Poisson manifolds.
We consider the moduli space MN of flat unitary connections on an open Kaehler manifold U (complement of a divisor with normal crossings) with restrictions on their monodromy transformations. Using intersection and L2 cohomologies with degenerating coefficients we construct a natural symplectic form F on MN. When U is quasi-projective we prove that F is actually a Kaehler form.
We give a dual to the McKay correspondence, involving conjugacy classes of subgroups of SU(2). We prove a determinantal formula involving both correspondences. We pose some questions concerning a non-commutative Fourier transform.