Invariant multidimensional matrices

Jean Valles

DOI: https://doi.org/10.48550/arXiv.math/0401147

2004-01-14

Algebraic Geometry

Abstract:A rank $n$ Steiner bundle on $\P^n$ which is $SL(2,\C)$ invariant is a Schwarzenberger bundle

What problem does this paper attempt to address?

Matrices of linear forms of constant rank from vector bundles on projective spaces

Laurent Manivel,Rosa Miro-Roig

2023-04-17

Abstract:We consider the problem of constructing matrices of linear forms of constant rank by focusing on the associated vector bundles on projective spaces. Important examples are given by the classical Steiner bundles, as well as some special (duals of) syzygy bundles that we call Dr{é}zet bundles. Using the classification of globally generated vector bundles with small first Chern class on projective spaces, we are able to describe completely the indecomposable matrices of constant rank up to six; some of them come from rigid homogeneous vector bundles, some other from Dr{é}zet bundles related either to plane quartics or to instanton bundles on the three-dimensional projective space.

Algebraic Geometry
Invariants of real vector bundles

Jiahao Hu

2023-12-09

Abstract:For a compact smooth manifold with corners (or finite CW-complex) $X$, we can prescribe a finite set of spin or spin$^h$ manifolds (possibly with boundary) mapping into it so that every real vector bundle over $X$ is determined, up to stable equivalence, by the Dirac indices of the real vector bundle when pulled-back onto those prescribed spin or spin$^h$ manifolds.

Algebraic Topology,Differential Geometry,K-Theory and Homology
Invariant valuations on quaternionic vector spaces

Andreas Bernig

DOI: https://doi.org/10.1017/s1474748011000247

2012-01-24

Journal of the Institute of Mathematics of Jussieu

Abstract:Abstract The spaces of Sp( n )-, Sp( n ) · U(1)- and Sp( n ) · Sp(1)-invariant, translation-invariant, continuous convex valuations on the quaternionic vector space H n are studied. Combinatorial dimension formulae involving Young diagrams and Schur polynomials are proved.

mathematics
Invariant divisors and equivariant line bundles

Boris Kruglikov,Eivind Schneider

2024-04-30

Abstract:Scalar relative invariants play an important role in the theory of group actions on a manifold as their zero sets are invariant hypersurfaces. Relative invariants are central in many applications, where they often are treated locally since an invariant hypersurface may not be a locus of a single function. Our aim is to establish a global theory of relative invariants.

Differential Geometry
Invariant holonomic systems on symmetric spaces and other polar representations

G. Bellamy,T. Nevins,J. T. Stafford

2024-03-30

Abstract:Let $V$ be a symmetric space over a connected reductive Lie algebra $G$, with Lie algebra $\mathfrak{g}$ and discriminant $\delta\in \mathbb{C}[V]$. A fundamental object is the invariant holonomic system $\mathcal{G} =\mathcal{D}(V)\Big/ \Bigl(\mathcal{D}(V)\mathfrak{g}+ \mathcal{D}(V)(\mathrm{Sym}\, V)^G_+ \Bigr) $ over the ring of differential operators $\mathcal{D}(V)$. Jointly with Levasseur we have shown that there exists a surjective radial parts map $\mathrm{rad}$ from $ \mathcal{D}(V)^G$ to the spherical subalgebra $A_{\kappa}$ of a Cherednik algebra. When $A_{\kappa}$ is simple we show that $\mathcal{G}$ has no $\delta$-torsion submodule nor factor module and we determine when $\mathcal{G}$ is semisimple, thereby answering questions of Sekiguchi, respectively Levasseur-Stafford. In the diagonal case when $V=\mathfrak{g}$, these results reduce to fundamental theorems of Harish-Chandra and Hotta-Kashiwara. We generalise these results to polar representations $V$ satisfying natural conditions. By twisting the radial parts map, we obtain families of invariant holonomic systems. We introduce shift functors between the different twists. We show that the image of the simple summands of $\mathcal{G} $ under these functors is described by Opdam's KZ-twist.

Mathematics
Tensor invariants for classical groups revisited

William Q. Erickson,Markus Hunziker

2024-01-31

Abstract:We reconsider an old problem, namely the dimension of the $G$-invariant subspace in $V^{\otimes p} \otimes V^{*\otimes q}$, where $G$ is one of the classical groups ${\rm GL}(V)$, ${\rm SL}(V)$, ${\rm O}(V)$, ${\rm SO}(V)$, or ${\rm Sp}(V)$. Spanning sets for the invariant subspace have long been well known, but linear bases are more delicate. Beginning in the broader setting of polynomial invariants, we write down multigraded linear bases which we realize as certain arc diagrams (which may include hyperedges); then the bases for tensor invariants are obtained by restricting our attention to the diagrams that are 1-regular. We survey the many equivalent ways -- some old, some new -- to enumerate these diagrams.

Combinatorics,Representation Theory
A note on invariants of foliated 3-sphere bundles

Nils Prigge

2024-09-10

Abstract:In this note we prove that $H^*(\text{BSO}(4);\mathbb{Q})$ injects into the group cohomology of $\text{Diff}^+(S^{3})$ with rational coefficients. The proof is based on an idea of Nariman who proved that the monomials in the Euler and Pontrjagin classes are nontrivial in $H^*(\text{BDiff}_+^{\delta}(S^{2n-1});\mathbb{Q})$.

Algebraic Topology,Geometric Topology
Invariant stability conditions on local $\mathbb{P}^1\times \mathbb{P}^1$ (after Del Monte-Longhi)

Yirui Xiong

2024-04-08

Abstract:Let $X$ be the total space of canonical bundle of $\pp$, we study an invariant subspace of stability conditions on $X$ under an autoequivalence of $D^b(X)$. We describe the complete set of stable objects with respect to the invariant stability conditions and characterize the space of invariant stability conditions.

Algebraic Geometry,Representation Theory
An Invariant for Transverse Coassociative 4-Folds

Dylan Galt

2024-10-14

Abstract:We define a $\mathbb{Z}_2$-valued invariant for pairs of transverse coassociative submanifolds of a $G_2$-manifold when they are simply-connected and spin. We prove that there is a canonical generalized connected sum of two transverse coassociatives whose diffeomorphism type is determined by this invariant. When one of these coassociatives is graphical over the other, we show that this invariant is analogous to the invariant associated to the zero-circles of a near-symplectic form on an oriented 4-manifold.

Differential Geometry
Invariant tensors for the spin representation of so(7)

Bruce W. Westbury

DOI: https://doi.org/10.48550/arXiv.math/0601209

2006-01-10

Quantum Algebra

Abstract:We construct a pivotal category by a finite presentation and show that it is an integral form of the category of invariant tensors of the spin representation of the quantum group U_q(B_3) over the field of rational functions in q.
Nonnegative curvature on stable bundles over compact rank one symmetric spaces

David González-Álvaro

DOI: https://doi.org/10.48550/arXiv.1506.03972

2015-06-12

Abstract:In this note we show that every (real or complex) vector bundle over a compact rank one symmetric space carries, after taking the Whitney sum with a trivial bundle of sufficiently large rank, a metric with nonnegative sectional curvature. We also examine the case of complex vector bundles over other manifolds, and give upper bounds for the rank of the trivial bundle that is necessary to add when the base is a sphere.

Differential Geometry
Brill-Noether Matrix For Rank Two Vector Bundles

XiaoJiang Tan

DOI: https://doi.org/10.1142/S0252959902000493

2002-01-01

Chinese Annals of Mathematics Series B

Abstract:Let X be an arbitrary smooth irreducible complex projective curve, E --> X a rank two vector bundle generated by its sections. The author first represents E as a triple {D-1, D-2, f}, where D-1, D-2 are two effective divisors with d = deg(D-1) + deg(D-2), and f is an element of H-0(X, [D-1] \D-2) is a collection of polynomials. E is the extension of [D-2] by [D-1] which is determined by f. By using f and the Brill-Noether matrix of D, + D-2, the author constructs a 2g x d matrix WE whose zero space gives Im{H-0(X, [D-1]) --> H-0(X, [D-1] \D-1)} circle plus Im{H-0(X, E) --> H-0(X, [D-2]) --> H-0(X, [D-2] \D-2)}. From this and H-0(X, E) = H-0(X, [D-1]) circle plus Im{H-0(X, E) --> H-0(X, [D-2])}, it is got in particular that dimH(0)(X, E) = deg(E) - rank(W-E) + 2.
Modular invariance, modular identities and supersingular j-invariants

Antun Milas

DOI: https://doi.org/10.48550/arXiv.math/0512606

2006-09-07

Abstract:To every $k$-dimensional modular invariant vector space we associate a modular form on $SL(2,\mathbb{Z})$ of weight $2k$. We explore number theoretic properties of this form and find a sufficient condition for its vanishing which yields modular identities (e.g., Ramanujan-Watson's modular identities). Furthermore, we focus on a family of modular invariant spaces coming from suitable two-dimensional spaces via the symmetric power construction. In particular, we consider a two-dimensional space spanned by graded dimensions of certain level one modules for the affine Kac-Moody Lie algebra of type $D_4^{(1)}$. In this case, the reduction modulo prime $p=2k+3 \geq 5$ of the modular form associated to the $k$-th symmetric power classifies supersingular elliptic curves in characteristic $p$. This construction also gives a new interpretation of certain modular forms studied by Kaneko and Zagier.

Quantum Algebra,Number Theory
First-order invariants of differential 2-forms

Jaime Muñoz Masqué,Luis Miguel Pozo Coronado

DOI: https://doi.org/10.2989/16073606.2021.1929537

2024-12-04

Abstract:Let $M$ be a smooth manifold of dimension $2n$, and let $O_{M}$ be the dense open subbundle in $\wedge^{2}T^{\ast}M$ of $2$-covectors of maximal rank. The algebra of $\operatorname*{Diff}M$-invariant smooth functions of first order on $O_{M}$ is proved to be isomorphic to the algebra of smooth $Sp(\Omega_{x})$-invariant functions on $\wedge^{3}T_{x}^{\ast}M$, $x$ being a fixed point in $M$, and $\Omega_{x}$ a fixed element in $(O_{M})_{x}$. The maximum number of functionally independent invariants is computed.

Differential Geometry
Invariant Polynomials On Compact Complex-Manifolds

Akito Futaki,Shigeyuki Morita

DOI: https://doi.org/10.3792/pjaa.60.369

1984-01-01

Abstract:1. Introduction.Let M be a compact complex manifold of dimension n, H(M) the complex Lie group o all automorphisms of M and )(M)the complex Lie algebra o all holomorphic vector fields of M. In case when c(M) is positive, the first author defined in [11] a character f:(M)--C which is intrinsically defined and vanishes i M admits a Khler Einstein metric.The purpose of the present note is twofold.First we generalize the definition of f to obtain a linear map F:I (GL(n, C))---I(H(M))where, or a complex Lie group G, Ip(G) denotes the set of all holo- morphic G-invariant symmetric polynomials o degree p.The original f coincides with F(c/) up to a coastant.Secondly we give an inter- pretation ot f in terms o secondary characteristic classes of Chern- Simons [9] and Cheeger-Simons [8].More precisely we show that f appears as the so-called Godbillon-Vey invariant o certain complex foliations.We also have real analogue of the linear map F for compact group actions.However this case can be derived rom the recent papers by Atiyah-Bott [2] and Berline-Vergne [4], which we noticed ater we have finished this work.Very interestingly both o the above works [2] [4] are inspired by Duistermaat-Heckman's paper [10] in symplectic geometry while we started rom Khlerian geometry.In 7 we shall derive a Duistermaat-Heckman type ormula replacing a symplectic form and a hamiltonian vector fields by a Khler orm and a holo- morphic vector field.2. Definition of H(M).invariant polynomials.Let M be a com- pact complex manifold o dimension n.Choose any hermitian metric h on M and let D and 9 be the Hermitian connection and the curvature form with respect to h respectively.We put L(X)--Lr--Dx tor any X e (M).For e I (GL(n, C)) we define f ((M))---C by f(X1, X)= (L(X1),... L(X), @), 2 r i ))" *)
Infinitesimally Equivariant Bundles on Complex Manifolds

Emile Bouaziz

DOI: https://doi.org/10.48550/arXiv.2211.13359

2022-11-24

Abstract:We show that any continuous $\mathbf{C}$-linear Lie algebra splitting of the symbol map from the Atiyah algebra of a vector bundle on a complex manifold is given by a differential operator of order at most the rank of the bundle plus one. Bundles equipped with such a splitting can be thought of as \emph{infinitesimally equivariant} bundles, and our theorem implies these are, in a certain sense, in a categorical formal neighbourhood of vector bundles with a flat connection.

Algebraic Geometry
On $T$-invariant subvarieties of symplectic Grassmannians and representability of rank $2$ symplectic matroids over ${\mathbb C}$

Pedro L. del Angel,E. Javier Elizondo,Cristhian Garay,Felipe Zaldívar

2023-07-01

Abstract:For the symplectic Grassmannian $\text{SpG}(2,2n)$ of $2$-dimensional isotropic subspaces in a $2n$-dimensional vector space over an algebraically closed field of characteristic zero endowed with a symplectic form and with the natural action of an $n$-dimensional torus $T$ on it, we characterize its irreducible $T$-invariant subvarieties. This characterization is in terms of symplectic Coxeter matroids, and we use this result to give a complete characterization of the symplectic matroids of rank $2$ which are representable over $\mathbb{C}$.

Combinatorics,Algebraic Geometry
Invariant Spinors on Flag Manifolds

Diego Artacho,Uwe Semmelmann

2024-07-11

Abstract:In this note, we characterise the existence of non-trivial invariant spinors on maximal flag manifolds associated to complex simple Lie algebras. This characterisation is based on the combinatorial properties of their set of positive roots.

Differential Geometry,Representation Theory
Invariant Hyperplane Sections of Vector Fields on the Product of Spheres

Joji Benny,Soumen Sarkar

DOI: https://doi.org/10.1007/s10883-023-09672-y

2024-01-04

Abstract:Let $S_{p,q}$ be the hypersurface in $\mathbb{R}^{p+q+1}$ defined by the following: $$ S_{p,q} := \left\lbrace (x_1,\ldots,x_{p+1},x_{p+2},\ldots,x_{p+q+1}) \in \mathbb{R}^{p+q+1} \big| \left( \sum_{i=1}^{p+1} x_i^2 - a^2 \right)^2 + \sum_{j=p+2}^{p+q+1} x_j^2 = 1 \right\rbrace,$$ where $a > 1$. We show that $S_{p,q}$ is homeomorphic to the product $S^p \times S^q$. We classify all degree one and two polynomial vector fields on $S_{p,q}$. We consider the polynomial vector field $\mathcal{X} = (R_1,...,R_{p+1},R_{p+2},...,R_{p+q+1})$ in $\mathbb{R}^{p+q+1}$ which keeps $S_{p,q}$ invariant. Then we study the number of certain invariant algebraic subsets of $S_{p,q}$ for the vector field $\mathcal{X}$ if either $p>1$ or $q>1$.

Dynamical Systems,Classical Analysis and ODEs
Irreducible Ulrich bundles on isotropic Grassmannians

Anton Fonarev

DOI: https://doi.org/10.48550/arXiv.1604.01612

2016-05-13

Abstract:We classify irreducible equivariant Ulrich vector bundles on isotropic Grassmannians.

Algebraic Geometry,Commutative Algebra,Combinatorics

Invariant multidimensional matrices

Matrices of linear forms of constant rank from vector bundles on projective spaces

Invariants of real vector bundles

Invariant valuations on quaternionic vector spaces

Invariant divisors and equivariant line bundles

Invariant holonomic systems on symmetric spaces and other polar representations

Tensor invariants for classical groups revisited

A note on invariants of foliated 3-sphere bundles

Invariant stability conditions on local $\mathbb{P}^1\times \mathbb{P}^1$ (after Del Monte-Longhi)

An Invariant for Transverse Coassociative 4-Folds

Invariant tensors for the spin representation of so(7)

Nonnegative curvature on stable bundles over compact rank one symmetric spaces

Brill-Noether Matrix For Rank Two Vector Bundles

Modular invariance, modular identities and supersingular j-invariants

First-order invariants of differential 2-forms

Invariant Polynomials On Compact Complex-Manifolds

Infinitesimally Equivariant Bundles on Complex Manifolds

On $T$-invariant subvarieties of symplectic Grassmannians and representability of rank $2$ symplectic matroids over ${\mathbb C}$

Invariant Spinors on Flag Manifolds

Invariant Hyperplane Sections of Vector Fields on the Product of Spheres

Irreducible Ulrich bundles on isotropic Grassmannians