GL-equivariant Bilinear Incidence Varieties

• GL-equivariant bilinear incidence varieties are defined by imposing bilinear constraints invariant under the GL-action, unifying the study of associative, commutative, Leibniz, and Lie algebras.
• The construction utilizes ambient spaces of multilinear maps and flag varieties, providing explicit quadratic equations that link geometric orbits with cohomological properties.
• Applications include canonical bilinear pairings in the Rankin–Selberg method and the analytic continuation of L-functions, bridging algebraic geometry with representation theory.

GL-equivariant bilinear incidence varieties provide a unified geometric framework to study algebraic and representation-theoretic structures invariant under the general linear group. This theory interrelates the geometry of orbits in spaces of algebra laws, the construction of canonical bilinear pairings (such as those arising in the Rankin–Selberg method), and the moduli and deformation theory of associative, commutative, Leibniz, and Lie algebras. Central to this framework are incidence varieties defined by bilinear constraints, with a natural action of $\mathrm{GL}(n)$ or $\mathrm{GL}(V)$ ensuring the invariance and equivariance properties essential for applications in both geometric representation theory and algebraic geometry.

1. Ambient Spaces and GL-action

The foundational objects are affine spaces of multilinear maps: $$V^{2,1} = \mathrm{Hom}_k(V \otimes V, V) \cong k^{n^3}$$, parameterizing all bilinear multiplications on a finite-dimensional $k$-vector space $V \cong k^n$, and $$V^{3,1} = \mathrm{Hom}_k(V^{\otimes 3}, V) \cong k^{n^4}$$ for trilinear maps. The group $\mathrm{GL}(V)$ acts on $V^{2,1}$ by transport of structure: $$(g \cdot x)_{i,j}^\ell := \text{coeff}_{e_\ell} \left( g(\mu_x(g^{-1}e_i, g^{-1}e_j)) \right)$$ for $g \in \mathrm{GL}(V)$ and structure constants $\mathrm{GL}(V)$0 for $\mathrm{GL}(V)$1.

In representation-theoretic applications, such as the Rankin–Selberg method, the ambient space is a product of flag varieties—e.g., $\mathrm{GL}(V)$2 for $\mathrm{GL}(V)$3, with right action on each factor and vector by simultaneous conjugation and linear automorphism, ensuring GL-equivariance of the associated orbits and incidence relations (Li et al., 2021, Kaygun, 21 Nov 2025).

2. Definition and Construction of Bilinear Incidence Varieties

A bilinear incidence variety is constructed by imposing bilinear relations reflecting algebraic laws or transversality conditions. The paradigm example is the "bilinearization" of the associator, defining

$\mathrm{GL}(V)$4

by $\mathrm{GL}(V)$5. In coordinates,

$\mathrm{GL}(V)$6

The variety is then

$\mathrm{GL}(V)$7

where $\mathrm{GL}(V)$8 is the span of symmetric components obtained by dualization. The construction is equivariant under $\mathrm{GL}(V)$9 action, rendering $$V^{2,1} = \mathrm{Hom}_k(V \otimes V, V) \cong k^{n^3}$$0 a $$V^{2,1} = \mathrm{Hom}_k(V \otimes V, V) \cong k^{n^3}$$1-stable closed subscheme (Kaygun, 21 Nov 2025).

In representation theory, the incidence variety is realized as the unique open orbit $$V^{2,1} = \mathrm{Hom}_k(V \otimes V, V) \cong k^{n^3}$$2 in a product of flag varieties—parametrizing, for instance, configurations $$V^{2,1} = \mathrm{Hom}_k(V \otimes V, V) \cong k^{n^3}$$3 of two flags and a vector in $$V^{2,1} = \mathrm{Hom}_k(V \otimes V, V) \cong k^{n^3}$$4 such that $$V^{2,1} = \mathrm{Hom}_k(V \otimes V, V) \cong k^{n^3}$$5 and $$V^{2,1} = \mathrm{Hom}_k(V \otimes V, V) \cong k^{n^3}$$6 (Li et al., 2021).

3. Diagonal Slices and Algebra Law Varieties

Diagonal embeddings of the incidence variety recover classical algebra law varieties. On the diagonal $$V^{2,1} = \mathrm{Hom}_k(V \otimes V, V) \cong k^{n^3}$$7, the relation $$V^{2,1} = \mathrm{Hom}_k(V \otimes V, V) \cong k^{n^3}$$8 encodes associativity; more generally:

• For associative algebras, $$V^{2,1} = \mathrm{Hom}_k(V \otimes V, V) \cong k^{n^3}$$9, where $k$0.
• For commutative associative algebras, add symmetry constraints $k$1.
• For Leibniz algebras, use $k$2 for an appropriate bilinearization $k$3.
• For Lie algebras, further require skew-symmetry $k$4 so that $k$5 encodes the Jacobi identity.

These varieties are cut out by explicit quadratic equations in the structure constants and are stable under $k$6 (Kaygun, 21 Nov 2025).

4. Fibers, Cohomology, and Tangent Spaces

Projection $k$7, $k$8, makes the incidence variety into the total space of a vector bundle whose fiber at $k$9 is the set of $V \cong k^n$0 such that $V \cong k^n$1 for all $V \cong k^n$2. This fiber coincides with the space of 2-cocycles $V \cong k^n$3 in the relevant cohomology theory:

• Hochschild 2-cocycles when $V \cong k^n$4 is associative.
• Harrison 2-cocycles for commutative $V \cong k^n$5.
• Leibniz or Chevalley–Eilenberg cocycles for Leibniz or Lie algebra structures, respectively.

At each $V \cong k^n$6, the tangent space of the law variety matches the subspace of 2-cocycles, and the tangent to the $V \cong k^n$7-orbit is the space of 2-coboundaries, making the stack tangent at $V \cong k^n$8 naturally $V \cong k^n$9 (Kaygun, 21 Nov 2025).

In the representation-theoretic setting of principal series representations, integration over open orbits yields canonical $$V^{3,1} = \mathrm{Hom}_k(V^{\otimes 3}, V) \cong k^{n^4}$$0-equivariant bilinear pairings, where uniqueness is ensured by the one-dimensionality of the $$V^{3,1} = \mathrm{Hom}_k(V^{\otimes 3}, V) \cong k^{n^4}$$1 spaces of $$V^{3,1} = \mathrm{Hom}_k(V^{\otimes 3}, V) \cong k^{n^4}$$2-equivariant functionals (Li et al., 2021).

5. Equivariance, Bilinear Pairings, and Normalization

GL-equivariance governs both the geometric and analytic properties of incidence varieties and their applications:

• In moduli and deformation theory, the action ensures orbits in the space of algebra laws correspond to isomorphism classes of algebra structures.
• For Rankin–Selberg integrals, both the standard and open-orbit incarnations yield $$V^{3,1} = \mathrm{Hom}_k(V^{\otimes 3}, V) \cong k^{n^4}$$3-equivariant bilinear forms. Equivariance is exhibited by the transformation property $$V^{3,1} = \mathrm{Hom}_k(V^{\otimes 3}, V) \cong k^{n^4}$$4 for $$V^{3,1} = \mathrm{Hom}_k(V^{\otimes 3}, V) \cong k^{n^4}$$5.

Normalization constants relating different incarnations (e.g., Rankin–Selberg integral $$V^{3,1} = \mathrm{Hom}_k(V^{\otimes 3}, V) \cong k^{n^4}$$6 and orbit integral $$V^{3,1} = \mathrm{Hom}_k(V^{\otimes 3}, V) \cong k^{n^4}$$7) appear as explicit products of local Tate $$V^{3,1} = \mathrm{Hom}_k(V^{\otimes 3}, V) \cong k^{n^4}$$8-factors and signs: $$V^{3,1} = \mathrm{Hom}_k(V^{\otimes 3}, V) \cong k^{n^4}$$9 (Li et al., 2021).

6. Open Strata, Discriminants, and Rigidity

Open loci of "maximally nondegenerate" algebra structures are defined using invariant bilinear forms:

• Associative/commutative: The principal trace form $\mathrm{GL}(V)$0 with discriminant $\mathrm{GL}(V)$1. Nonvanishing discriminant characterizes semisimple algebras, and on these open sets, all higher cohomologies vanish, rendering the orbits rigorous and isolated in the coarse moduli space.
• Leibniz and Lie: The right-Killing form $\mathrm{GL}(V)$2 and its determinant characterize semisimple Lie brackets. Where nondegenerate, the cohomological obstructions vanish, and open GL-orbits correspond to rigid points (Kaygun, 21 Nov 2025).

The open-orbit geometry ensures that integration over these orbits naturally links local period integrals, explicit Euler factors, and recurrence relations in L-functions (Li et al., 2021).

7. Analytic Applications and Geometric Implications

Incidence-variety geometry informs the analytic continuation and convergence properties of integrals arising in representation theory. As the unique open GL-orbit is open and dense, any integral over this orbit converges absolutely on a suitable vertical strip in $\mathrm{GL}(V)$3 and meromorphically continues after normalization by appropriate L-factors. This underlies the functional equations and analytic behavior of Rankin–Selberg L-functions.

A plausible implication is that GL-equivariant bilinear incidence varieties function as a universal geometric model, unifying orbit theory, deformation theory, canonical pairings, and analytic constructions in both algebraic geometry and automorphic representation theory (Li et al., 2021, Kaygun, 21 Nov 2025).