Distinguished Varieties in Algebra and Operator Theory

• Distinguished varieties are algebraic sets that intersect a domain and exit exclusively through its distinguished boundary, ensuring a unique spectral signature.
• They are characterized via determinantal equations and joint spectrum models that seamlessly bridge algebraic geometry with finite-dimensional operator theory.
• These varieties underpin advanced topics such as interpolation, dilation theory, and essential normality across domains like the bidisc, polydisc, and symmetrized bidisc.

A distinguished variety is an algebraic variety that intersects a domain and exits that domain only through its distinguished boundary. In the bidisc, this means an algebraic subvariety $V \subset \mathbb{D}^2$ whose boundary $\partial V$ lies entirely in the distinguished boundary $\mathbb{T}^2$; in a bounded domain $\Omega \subset \mathbb{C}^2$, it means an algebraic variety $Z(g)$ with $Z(g)\cap \Omega \neq \emptyset$ and $Z(g)\cap \partial \Omega = Z(g)\cap b\Omega$, where $b\Omega$ is the distinguished boundary (Silov boundary) (Guo et al., 2023, Das et al., 2021). Across the bidisc, the polydisc, the symmetrized bidisc, and higher symmetrized domains, distinguished varieties provide a common geometric locus for determinantal representations, Taylor-joint-spectrum models, sharpened von Neumann inequalities, interpolation, spectral-set theory, essential normality, and $K$-homology (Bhattacharyya et al., 2020, Das et al., 2015, Guo et al., 2023).

1. Boundary geometry and domain-specific definitions

In the bidisc,

$$\mathbb{D}^2=\{(z,w)\in \mathbb{C}^2: |z|<1,\ |w|<1\},$$

the distinguished boundary is $\partial V$0, and a distinguished variety is an algebraic set whose closure meets $\partial V$1 only at $\partial V$2. Equivalent formulations in the literature state that a non-empty set $\partial V$3 is distinguished if

$\partial V$4

for some polynomial $\partial V$5, and

$\partial V$6

so the variety exits the bidisc through the torus and through no other boundary portion (Das et al., 2015, Pal et al., 2022).

For the symmetrized bidisc,

$\partial V$7

the distinguished boundary is

$\partial V$8

the symmetrized torus. A distinguished variety with respect to $\partial V$9 is an algebraic variety $\mathbb{T}^2$0 with $\mathbb{T}^2$1 and $\mathbb{T}^2$2 (Das et al., 2021). The same exit-through-distinguished-boundary formulation is used for $\mathbb{T}^2$3 and $\mathbb{T}^2$4 in operator-theoretic treatments (Pal et al., 2022).

In the polydisc $\mathbb{T}^2$5, a distinguished variety is an irreducible algebraic curve that intersects $\mathbb{T}^2$6 and exits through the $\mathbb{T}^2$7-torus $\mathbb{T}^2$8 without intersecting any other part of $\mathbb{T}^2$9. The geometric structure is rigid: every distinguished variety in $\Omega \subset \mathbb{C}^2$0 is an affine algebraic curve and a set-theoretic complete intersection (Pal, 2022). Analogously, every distinguished variety in the symmetrized tridisc $\Omega \subset \mathbb{C}^2$1 is one-dimensional, and every distinguished variety in $\Omega \subset \mathbb{C}^2$2 is part of an affine algebraic curve which is a set-theoretic complete intersection (Pal, 2016, Pal, 2020).

This boundary condition is not ornamental. It separates distinguished varieties from arbitrary algebraic sets meeting the domain, and it is the condition that later reappears in spectral-set descriptions, dilation theory, and essential-normality criteria.

2. Bidisc models: determinantal forms and joint spectra

A central bidisc theorem due to Agler and McCarthy gives a determinantal model: every distinguished variety in $\Omega \subset \mathbb{C}^2$3 can be represented as

$\Omega \subset \mathbb{C}^2$4

where $\Omega \subset \mathbb{C}^2$5 is a rational matrix-valued inner function (Guo et al., 2023). Equivalent formulations write

$\Omega \subset \mathbb{C}^2$6

with $\Omega \subset \mathbb{C}^2$7 rational inner and unitary-valued on $\Omega \subset \mathbb{C}^2$8 (Das et al., 2015, Bhattacharyya et al., 2020). In this form, the variety is encoded by an operator-valued transfer object depending on one complex variable, while the second coordinate enters as an eigenvalue parameter.

A different characterization replaces the rational-inner determinant by joint spectrum of commuting linear matrix pencils. For a finite-dimensional Hilbert space, an orthogonal projection $\Omega \subset \mathbb{C}^2$9, and a unitary $Z(g)$0, define

$Z(g)$1

Then

$Z(g)$2

is a distinguished variety in $Z(g)$3 precisely under the numerical-radius condition

$Z(g)$4

and every distinguished variety arises in this way (Bhattacharyya et al., 2020). The same work shows that this joint-spectrum description and the Agler–McCarthy rational-inner description are equivalent.

The bidisc theory also extends to $Z(g)$5. Using the Berger–Coburn–Lebow framework, one-dimensional distinguished varieties in $Z(g)$6 are represented through model tuples

$Z(g)$7

with

$Z(g)$8

and the variety is the joint-eigenvalue locus of $Z(g)$9; every one-dimensional distinguished variety in $Z(g)\cap \Omega \neq \emptyset$0 arises from a pure finite model tuple of this type (Bhattacharyya et al., 2020).

These descriptions place distinguished varieties at a junction of algebraic geometry and finite-dimensional spectral theory. The determinantal equation controls the algebraic curve, while the joint-spectrum model exhibits the same curve as a spectral locus of explicitly constructed operator pencils.

3. Symmetrized bidisc, tridisc, and symmetrized polydisc

In the symmetrized bidisc, distinguished varieties admit a particularly explicit determinantal description. For a $Z(g)\cap \Omega \neq \emptyset$1 matrix $Z(g)\cap \Omega \neq \emptyset$2 with numerical radius $Z(g)\cap \Omega \neq \emptyset$3,

$Z(g)\cap \Omega \neq \emptyset$4

The core characterization is that $Z(g)\cap \Omega \neq \emptyset$5 is a distinguished variety in $Z(g)\cap \Omega \neq \emptyset$6 if and only if $Z(g)\cap \Omega \neq \emptyset$7 is completely non-unitary, and conversely every distinguished variety whose irreducible components intersect $Z(g)\cap \Omega \neq \emptyset$8 is of this form (Das et al., 2021). A closely related formulation states that every distinguished variety in the symmetrized bidisc can be represented as

$Z(g)\cap \Omega \neq \emptyset$9

where $Z(g)\cap \partial \Omega = Z(g)\cap b\Omega$0 is a square complex matrix with numerical radius $Z(g)\cap \partial \Omega = Z(g)\cap b\Omega$1, and every set of this form is a distinguished variety (Pal et al., 2013). The geometric meaning is that the variety leaves $Z(g)\cap \partial \Omega = Z(g)\cap b\Omega$2 through $Z(g)\cap \partial \Omega = Z(g)\cap b\Omega$3, and the operator-theoretic meaning is that the same matrix parameter controls both the geometry and the spectral-set behavior.

Minimal extremal Nevanlinna–Pick problems on $Z(g)\cap \partial \Omega = Z(g)\cap b\Omega$4 further expose this structure. Their uniqueness variety contains a distinguished variety containing the interpolation nodes, and explicit examples include the royal variety

$Z(g)\cap \partial \Omega = Z(g)\cap b\Omega$5

which can occur as a proper distinguished variety rather than the whole domain (Das et al., 2021).

In the symmetrized tridisc $Z(g)\cap \partial \Omega = Z(g)\cap b\Omega$6, every distinguished variety is one-dimensional and has the representation

$Z(g)\cap \partial \Omega = Z(g)\cap b\Omega$7

where $Z(g)\cap \partial \Omega = Z(g)\cap b\Omega$8 are commuting matrices satisfying

$Z(g)\cap \partial \Omega = Z(g)\cap b\Omega$9

and an additional norm condition; the converse also holds (Pal, 2016). Thus the tridisc analogue already replaces a single determinantal equation by a joint-spectrum condition for a commuting pair of pencils.

For the symmetrized polydisc $b\Omega$0, the pattern persists. Every distinguished variety $b\Omega$1 is part of an algebraic curve and can be written as

$b\Omega$2

with commuting matrices $b\Omega$3 satisfying explicit commutation conditions (Pal, 2020). The same work shows that the defining polynomials

$b\Omega$4

cut out $b\Omega$5 set-theoretically as a complete intersection.

A recurring caveat is that symmetrization is structurally restrictive. In the $b\Omega$6-theoretic setting, not every distinguished variety in the bidisc descends to one in the symmetrized bidisc by symmetrization, and not every algebraic pure $b\Omega$7-isometry is $b\Omega$8-distinguished (Pal et al., 2022). This suggests that the determinantal simplification available in symmetrized domains comes with additional rigidity.

4. Quotient modules, essential normality, and the Arveson–Douglas program

A major operator-theoretic development is the characterization of bidisc distinguished varieties through quotient weighted Bergman modules. For $b\Omega$9, the weighted Bergman space

$K$0

is a reproducing kernel Hilbert module over $K$1. Given an ideal $K$2, one studies the quotient module determined by $K$3 and the compressed coordinate multipliers $K$4 (Guo et al., 2023).

The decisive theorem states that for an algebraic subvariety $K$5,

$K$6

such that the quotient module is essentially normal (Guo et al., 2023). Moreover, for such $K$7, the quotient module is $K$8-essentially normal, meaning the relevant commutators belong to the Macaev ideal $K$9. This gives an operator-theoretic characterization of distinguished varieties in the bidisc.

The same paper introduces a Grassmannian quotient module construction: for a vector-valued Hilbert module $$\mathbb{D}^2=\{(z,w)\in \mathbb{C}^2: |z|<1,\ |w|<1\},$$0 and matrix size $$\mathbb{D}^2=\{(z,w)\in \mathbb{C}^2: |z|<1,\ |w|<1\},$$1, one forms the maximal antisymmetric quotient module and connects it to determinant functions. This construction is designed to handle the zero set of

$$\mathbb{D}^2=\{(z,w)\in \mathbb{C}^2: |z|<1,\ |w|<1\},$$2

thereby tying the geometry of the distinguished variety directly to an operator-module framework (Guo et al., 2023). The method is explicitly presented as extending techniques beyond quasi-homogeneous cases.

In the homogeneous polydisc case, essential normality appears in a narrower but parallel form. If $$\mathbb{D}^2=\{(z,w)\in \mathbb{C}^2: |z|<1,\ |w|<1\},$$3 is a homogeneous ideal and its zero variety is a distinguished variety, then the Hardy-space quotient module $$\mathbb{D}^2=\{(z,w)\in \mathbb{C}^2: |z|<1,\ |w|<1\},$$4 is $$\mathbb{D}^2=\{(z,w)\in \mathbb{C}^2: |z|<1,\ |w|<1\},$$5-essentially normal (Wang et al., 2015). By contrast, if $$\mathbb{D}^2=\{(z,w)\in \mathbb{C}^2: |z|<1,\ |w|<1\},$$6, the quotient module is not essentially normal. This isolates one-dimensional distinguished geometry as the viable setting for essential normality in that context.

These results interact directly with the Arveson–Douglas conjecture. In the polydisc the conjecture fails for nonzero Hardy submodules, but quotient modules associated to distinguished varieties in the bidisc satisfy a suitably modified form for sufficiently high Bergman weight, even without quasi-homogeneity (Guo et al., 2023). At the same time, examples show that essential normality of quotient modules does not characterize distinguished status in non-homogeneous cases; for distinguished varieties, however, the equivalence is precise (Guo et al., 2023).

5. Spectral sets, dilations, and sharpened von Neumann inequalities

Distinguished varieties are also the loci on which operator tuples satisfy sharpened norm inequalities. For a pair of commuting contractions $$\mathbb{D}^2=\{(z,w)\in \mathbb{C}^2: |z|<1,\ |w|<1\},$$7 with finite-dimensional defect spaces and $$\mathbb{D}^2=\{(z,w)\in \mathbb{C}^2: |z|<1,\ |w|<1\},$$8 pure, there exists a variety $$\mathbb{D}^2=\{(z,w)\in \mathbb{C}^2: |z|<1,\ |w|<1\},$$9 such that for every polynomial $\partial V$00,

$\partial V$01

If $\partial V$02 is also pure, then

$\partial V$03

is a distinguished variety, where $\partial V$04 is a matrix-valued analytic function on $\partial V$05 that is unitary on $\partial V$06 (Das et al., 2015). This is a sharper von Neumann inequality because the supremum is taken over a proper algebraic subset of the bidisc rather than over all of $\partial V$07.

In the symmetrized bidisc, a comparable phenomenon is governed by the fundamental operator. For every pair of matrices $\partial V$08 having the closed symmetrized bidisc $\partial V$09 as a spectral set, there exists a one-dimensional complex algebraic variety

$\partial V$10

where $\partial V$11 is the fundamental operator of $\partial V$12, such that a von Neumann-type inequality holds on $\partial V$13. When $\partial V$14 is a strict $\partial V$15-contraction, $\partial V$16 is a distinguished variety in the symmetrized bidisc (Pal et al., 2013).

The dilation-theoretic role of distinguished varieties becomes still more explicit in the toral and $\partial V$17-distinguished settings. A commuting pair of contractions $\partial V$18 is toral if it is annihilated by a toral polynomial, and a $\partial V$19-contraction $\partial V$20 is $\partial V$21-distinguished if it is annihilated by a $\partial V$22-distinguished polynomial. In both cases, the pair dilates to the corresponding isometric model if and only if there is a toral polynomial or $\partial V$23-distinguished polynomial whose zero set in the domain closure is a complete spectral set for the operator pair (Pal et al., 2022). The same paper proves that the distinguished boundary of a distinguished variety is exactly its intersection with the ambient distinguished boundary: $\partial V$24

For commuting tuples on $\partial V$25, the same geometry controls multivariable dilation. If $\partial V$26 is a commuting tuple of contractions such that the defect space of $\partial V$27 is finite-dimensional, then $\partial V$28 admits a commuting unitary dilation with product equal to the minimal unitary dilation of $\partial V$29 if and only if certain associated matrices define a distinguished variety in $\partial V$30 (Pal, 2022). In this sense, distinguished varieties are not merely spectral witnesses after the fact; they are necessary and sufficient geometric data for a class of unitary-dilation problems.

6. Interpolation, uniform algebras, and topological consequences

On a distinguished variety $\partial V$31, Nevanlinna–Pick interpolation is governed by a family of admissible reproducing kernels. If $\partial V$32 and $\partial V$33, there exists $\partial V$34 with $\partial V$35 and $\partial V$36 if and only if, for every admissible kernel $\partial V$37,

$\partial V$38

(Jury et al., 2010). Admissible kernels arise from admissible pairs $\partial V$39 satisfying

$\partial V$40

on $\partial V$41, and the coordinate multipliers on the corresponding Hilbert spaces are pure commuting isometries annihilated by the defining polynomial of the variety (Jury et al., 2010). The Neil parabola and the annulus are presented as concrete instances of this general framework.

In the symmetrized bidisc, minimal extremal Nevanlinna–Pick problems likewise produce distinguished geometry. The uniqueness variety of such a problem contains a distinguished variety containing all interpolation nodes (Das et al., 2021). This ties non-uniqueness of interpolants to an explicitly constructed algebraic set with the correct boundary-exit property.

Distinguished varieties also appear as the obstruction to maximality in certain uniform algebras. For the bidisc and for domains in $\partial V$42 that are proper polynomial images of the bidisc, the relevant Samuelsson–Wold type result has the form: either the generated uniform algebra is the full continuous algebra, or there exists a distinguished variety on which the pluriharmonic extensions become holomorphic (Gorai et al., 2023). The symmetrized bidisc is a principal example of this mechanism.

The operator-theoretic description leads further to noncommutative-topological invariants. For an essentially normal quotient module associated to a distinguished variety, there is a short exact sequence

$\partial V$43

where, in the distinguished case, the Taylor joint essential spectrum equals $\partial V$44 (Guo et al., 2023). The extension defines a nontrivial element of

$\partial V$45

and the non-splitting theorem implies that the corresponding $\partial V$46-homology class is nonzero (Guo et al., 2023). This places the boundary of a distinguished variety simultaneously in complex geometry, operator theory, and $\partial V$47-homological topology.