arXiv Science⌕ Search

arXiv subjects

A. Zuevsky

Publications and source records attributed to A. Zuevsky.

At least 19 recordsLinked to original sources

Szegő quasiforms: a Schottky-scheme construction for vertex operator superalgebras

We study the half weight ($N=\half$) analogue of the Bers quasiform on a Schottky group $Γ$ of genus $g$: the Poincaré series $S_\eps(x,y)=\sum_{\gt\in\Gt}j(\gt,x)/(γx-y)\,(dx\,dy)^{1/2}$ over a lift $\Gt\subset\mathrm{SL}_2(\C)$ of $Γ$. The $\Ng:=2^{g}$ lifts give $\Ng$ trivial $α$-holonomy even spin structures $\Lg$. The remaining $2^{2g}-\Ng$ spin structures are not treated in this paper. We prove, on an open set (H) of Schottky parameters and more generally whenever the critical exponent of $Γ$ is below $\half$ (any genus $g\ge 1$) the following: absolute and locally uniform convergence on $Ω_0\timesΩ_0$, where $Ω_0$ is the full region of discontinuity including the point $\infty$ (treated in homogeneous coordinates); invariance without Eichler-type defect; skew-symmetry; a simple pole on the diagonal as the only singularity; $H^0(\Sg,\Lg)=0$; and hence identification of $S_\eps$ with the Szegő kernel of $\Lg$. At genus one the kernel is computed explicitly and the relations between lifts and theta characteristics are determined. We further prove that the diagonal coefficient defines a projective connection that differs from the Bergman projective connection by a quadratic differential constructed from $θ[δ](0)$, a residue-reconstruction formula for half-differentials with poles of any order, an expansion in the Schottky multipliers, and a formula for the free fermion stress tensor.

math.FA↗

The first chiral homology group in higher genus

We extend the theory of the first chiral homology group of vertex algebras, developed by van Ekeren and Heluani for elliptic curves, to compact Riemann surfaces of arbitrary genus. Our approach realizes a genus $g$ surface by iterated self-sewing of $g$ handles onto the Riemann sphere, each governed by a sewing parameter $ρ_i$ in a punctured disc. We construct an explicit complex computing the chiral homology groups $H^{\mathrm{ch}}_0$ and $H^{\mathrm{ch}}_1$ of a vertex algebra $V$ on a genus $g$ surface with $n$ marked points, and equip it with a projectively flat connection, with an explicit central-charge anomaly, over the $g$-dimensional space of sewing parameters. We prove a genus $g$ Fourier-space Borcherds identity for the associated modified vertex operators. We show that two finiteness assumptions 1) finite dimensionality of the first Poisson homology $\HP_1(R_V)$ of the Zhu $C_2$-algebra, and 2) finite generation of a certain Koszul homology of the associated graded algebra, imply finite dimensionality of $H^{\mathrm{ch}}_1(X,V)$ for every genus $g$ and every vertex algebra $V$. Using the degeneration $ρ_i \to 0$ together with the factorization theorem of Damiolini-Gibney-Tarasca, we relate the totally degenerate limit of $H_1^{\mathrm{ch}}$ to the Hochschild homology of an iterated construction on the Zhu algebra, and deduce vanishing of the first chiral homology group in every genus for rational vertex algebras.

math.FA↗

Exponential Growth of Mean Multiplicities in Length Spectra of Semi-Arithmetic Surfaces of Arbitrary Arithmetic Dimension

For a semi-arithmetic Fuchsian group $Γ$ of arithmetic dimension $r$ with a generalized modular embedding, EGMM holds for $r\leq2$, and for $r\geq3$ under an explicit \emph{strong contraction condition}, via a multi-dimensional Schwarz-Pick bound and a geometry-of-numbers estimate. A covering construction turns every known example into an infinite explicit family with the same exponent via principal congruence towers. We add new $r\leq2$ examples (genus-$3$/$4$ Prym eigenform loci, a different commensurability class from the known triangle groups and McMullen genus-two family) and attempt a direct flat-geometric bound on the contraction constant $δ$ for the latter via its Lyapunov exponents ($δ=2/3$ on ergodic average, by Bainbridge exact computation), explaining why an average bound does not yet certify the pointwise one \eqref{eqstrong-contraction} needs.

math.FA↗

Commutative exact superalgebras and super-modular tensor categories

We extend the theory of commutative exact algebras in braided finite tensor categories (Shimizu-Yadav) to superalgebras, motivated by extensions of vertex operator (super)algebras. For a braided category $\C$ let $\B=\C^{\gr}$ be the category of $\mathbb Z/2$-graded objects with the Koszul-signed braiding. It is the underlying category of the supercategory of Creutzig-Kanade-McRae. A supercommutative superalgebra $A=A_0\oplus A_1$ in $\C$ is the same as a commutative algebra $\bA$ in $\B$, and super-local modules are the local $\bA$-modules. Hence rigidity, pivotality and ribbon statements are instances of the ordinary theorems, with the ribbon condition $θ_{A_0}=\id$, $θ_{A_1}=\varepsilon\,\id$, where $\varepsilon=\pm1$ is fixed by the statistics of the odd part. For $\C$ non-degenerate and $\bA$ haploid and exact we prove that the category of super-local modules is a braided finite tensor category whose Müger center is $\mathsf{sVect}$. It is the centralizer of a fermion in a non-degenerate category obtained by condensing in $\C\boxtimes(\text{toric code})$. If $\C$ is ribbon and $\bA$ is symmetric Frobenius it is ribbon. We construct examples from graded simple currents, treat the free fermion and the symplectic fermion, and compare with Creutzig-Kanade-McRae and Creutzig-McRae-Shimizu-Yadav.

math.FA↗

Modular properties of affine \(\SLA{sl}{2}\) torus \(n\)-point functions

Krauel, Shafiq and Wood (\KSW{}) realized torus \(1\)-point functions for the simple affine \voa{}s \(L(k,0)\) built from \(\alg{sl}(2)\) as vector-valued modular forms attached to a cyclic \(R\)-module structure and to the modular tensor category \(\rep{L(k,0)}\). We extend this to torus \(n\)-point functions, defined as traces of chains of \(n\) intertwining operators winding once around the \(τ\)-cycle. Every coefficient of their local (Laurent, or Puiseux) expansion about a diagonal stratum is again a \vvmf{}, lying, whenever a mild lowest weight hypothesis holds, in the very \(R\)-modules of \cite{KSW}. Giving a torus-primarity hypothesis verified below for \(\alg{sl}(2)\), the operator product expansion then reduces leading short-distance behaviour to the classified \(1\)-point theory. For \(\alg{sl}(2)\) we classify the fusion-chain conformal block spaces, identify torus \(n\)-point primary vectors, and treat \(n=2\) in detail, obtaining a \((k+1)\)-dimensional family of vector-valued Jacobi-type forms generalizing the level-\(k\) forms \(η^{3k/2}\) of \cite{KSW}. We also extend \KSW{} categorical picture, representations of \(\Bthree=\PMod(\surf{1}{1})\) built from a modular tensor category, to representations, on fusion-chain block spaces, of a mapping-class subgroup of the \(n\)-punctured torus generated by \(S\), \(T\), and adjacent braidings, with a Verlinde-type dimension formula and categorical \(S\)-, \(T\)-operators. The \(\alg{sl}(2)\) matrix form of \(S\) beyond this abstract construction remains open.

math.FA↗

Determinant representations for Garvan formulas

In this note, we demonstrate how determinant representations for correlation functions in conformal field theory can be used to derive explicit determinant formulas for powers of the classical $η$-function, expressed via deformed elliptic functions with parameters. At genus one, comparing the fermionic and bosonic evaluations of a twisted torus partition function, together with an elliptic Frobenius/Fay determinant identity, gives for every $n\ge1$ a determinant formula for $η(τ)^{3n}$ built from a twisted Szegő kernel; at $n\equiv0,1\pmod 8$ this gives determinant identities for powers of the modular discriminant $Δ=η^{24}$ of the same shape as the classical formulas of Garvan and Milne, although those classical determinants are not recovered. At genus two, an analogous comparison for a torus formed by self-sewing, combined with a finite/infinite determinant factorization of the genus two Szegő kernel, gives a determinant formula for $η(τ)^{3κ^2}$, $-1/2<κ<1/2$, in terms of genus two data; identifying the genus two modular form to which this specializes is left open.

math.FA↗

Topological invariant responsible for the integer QHE and non-commutative geometry

We consider a wide class of $2D$ tight - binding models of solid state physics. These models are, in the most general case, non - homogeneous. The topological invariant ${\cal N}_3$ responsible for the quantization of the Hall conductivity, for the specific case of the integer quantum Hall effect in $2D$, is expressed through the Wigner transformation of the two-point electron Matsubara Green function. We express this invariant as a pairing of the element of the $K^{-1}$ group (generated by the Green function) with the specific element of the cyclic cohomology group $HC^3$. According to a set of local index theorems the values of ${\cal N}_3$ can be shown to be integer for a limited class of tight - binding models. We concentrate on systems with a spectral gap, with the chemical potential inside the gap and an invertible Dirac operator $\hat Q$ throughout the Matsubara-frequency domain. The mobility-gap case is not considered here and will be addressed in forthcoming publications.

cond-mat.mes-hall↗

Vertex operator algebra bundles on Riemann surfaces of higher genus and automorphic forms for Fuchsian groups

We generalize the geometric construction of vertex operator algebra (VOA) bundles and their associated automorphic forms from the elliptic modular curve to arbitrary Fuchsian groups $ Γ\subset \mathrm{PSL}_2(\mathbb{R})$. A sharp topological dichotomy emerges regarding the existence of a holomorphic weight-$2$ quasi-automorphic generator $E_2^Γ$. When $Γ$ has a cusp, we construct $E_2^Γ$ via the analytic continuation of parabolic Eisenstein series and prove that the space of quasi-automorphic forms is a free polynomial extension, allowing the algebraic setup of the genus one theory, including the quasi-VOA structure and the characterization of strict automorphic forms via a lowering operator. Conversely, when $Γ$ is cocompact of genus $g\ge 2$, Atiyah theorem on holomorphic connections rigorously obstructs the existence of $E_2^Γ$. For this obstructed case, we provide dimension formulas that link the shortage in lifting quasi-automorphic forms to the failure of quasi-primarity within the VOA, fully resolving the torsion-free case and conjecturing the extension to groups with elliptic points.

math.FA↗

Trace maps on chiral Clifford algebras for the rank two fermionic vertex operator superalgebra

For a holomorphic vector bundle $F$ of rank $r$ on a smooth Riemann surface $X$ we construct a trace map on the chiral homology of the chiral Clifford algebra $\CE$ attached to the purely odd bundle $E=Π(F\oplus F^\vee\otimesω_X)$. It is the chiral-algebraic realization of the rank two fermionic vertex operator superalgebra. The free fermion (bc-type) conformal field theory built from a dual pair of odd fields $ β_i\in F$, $γ^j\in F^\vee\otimesω_X$. We give a complete construction of this vertex operator superalgebra, its associated vertex superalgebra bundle, and the isomorphism between the latter's chiral algebra and the chiral envelope $\CE$. Using the Batalin-Vilkovisky (BV) formalism together with Feynman diagrams we prove that the resulting trace map \[ \Trch : \bigl(\widetilde\sC^{\ch}(X,\CE)_{\sQ},\, \dch_{\CE}\bigr)\longrightarrow (\OBV,-\DBV) \] is a chain map satisfying a generalized quantum master equation and is a quasi-isomorphism, generalizing to the odd/Clifford setting the trace map on chiral Weyl algebras constructed by Gui for symplectic bosons. We establish existence, homotopy uniqueness, and functoriality (including metric-independence up to chain homotopy) of the trace map, prove cyclicity of the relevant supertrace, and verify nilpotency of $\DBV$, the graded Leibniz rule, $d^2=0$ for every differential introduced. As an application we compute the trace map on a modified affine current and on a modified energy-momentum tensor, recovering, purely algebraically from the chiral chain complex, Fay's classical formulas for the variation of the fermionic (Ray-Singer) analytic torsion along the moduli of the bundle $F$ and along the moduli of the curve $X$.

math.FA↗

Hardy spaces on Riemann surfaces under ramified coverings

We extend the theory of indefinite Hardy spaces on finite bordered Riemann surfaces to the setting of ramified analytic coverings. Given a finite $n$-sheeted ramified covering $F\colon S_1\to S_2$ of finite bordered Riemann surfaces satisfying a spin-compatibility hypothesis, we construct (i) the direct image of a unitary flat vector bundle $\VxX{1}\otimes \Del{1}$ on the double $X_1$ under $F$, taking full account of the ramification divisor $R_F$ and establishing the extension across the branch locus via a local analysis; (ii) a canonical matrix function $G_2$ encoding the parahermitian structure on $X_2$, together with the induced representation $χ_2$ of $\piX{X_2}{p_0}$; (iii) an explicit isometric isomorphism $ϕ_F\colon H^{2,J_1(p)}(S_1,\VxS{1}\otimes\Del{1}) \xrightarrow{\;\sim\;} H^{2,J_2(p)}(S_2,\VxS{2}\otimes\Del{2})$ between the associated Hardy-Kre\uın spaces, provided that $h^0(X_1,\VxX{1}\otimes\Del{1})=0$ and that the branch locus is disjoint from $\partial S_2$. We then develop the resulting operator theory in terms of vessels and Bezoutian operators. To each object in the category $\mathcal{RH}$ of finite bordered surfaces with unitary flat bundles we attach a triangular vessel whose input and output spaces are the Hardy-Kre\uın spaces on the two surfaces. The Bezoutian of the vessel is expressed as a finite-rank operator on $\mathcal{H}_2$ whose kernel is built from bounded holomorphic point-evaluation functionals in $\mathcal{H}_2$ evaluated at the interior ramification images $F(r_ν)\in S_2$, consistently with the boundary-transversality hypothesis $\partial S_2\cap B_F=\left\{\varnothing\right\}$. We prove that the assignment $(S,\Vx{},J)\mapsto H^{2,J(p)}(S,\Vx{}\otimesΔ)$ extends to a covariant functor from $\mathcal{RH}$ (with ramified morphisms) to the category of Kre\uın spaces.

math.FA↗

Cohomology of multipoint connections on complex curves

Given complex functions on complex curves satisfying recursion relations with respect to the number of marked points at which they are evaluated, we construct a cohomology theory governing such recursions, expressed in terms of a generalization of holomorphic connections which we call multipoint connections. We identify precisely the sense in which the associated coboundary operators square to zero, as an integrability condition on the recursion kernels rather than as an identity forcing the correlation functions themselves to vanish, and prove, following the general theory of systems of functional equations, that this condition has non-trivial solution spaces. The recursion cohomology is computed explicitly, in Proposition \ref{duda}, in terms of the coefficient data of the defining recursion. We illustrate the theory on the rational, elliptic, Jacobi-form, genus-two, and Schottky-uniformized genus-$g$ recursions governing Zhu-reduction-type correlation functions, recovering the higher-genus counterparts of the Weierstrass functions as analytic continuations of solutions of the corresponding functional equations. We then develop applications of the theory: an identification of the recursion cohomology with the flat sections of the Knizhnik-Zamolodchikov connection, an interpretation of the coboundary data in terms of the cohomology of continual contragredient Lie algebras and the associated Toda hierarchies, a comparison with the Verlinde bundle of conformal blocks over the moduli space of curves, and a discussion of the Gauss-Manin-type flatness of the resulting bundle over Schottky space.

math.FA↗

Multiple products of meromorphic functions

Let $\mathfrak g$ be an infinite-dimensional Lie algebra and let $G$ be the algebraic completion of a graded $\mathfrak g$-module $W$. Using the Schottky uniformization of the Riemann sphere as a geometric model for a genus $κ$ Riemann surface, we construct a $κ$-parameter family of extended coboundary operators $\widetildeδ^n_m(ρ_1,\ldots,ρ_κ)$ acting on the double complex of predetermined meromorphic functions on the configuration space $F_n\C$ with values determined by $G$. The extension is realized as a graded trace, defined coordinate-freely as the trace of a canonically associated finite-rank endomorphism of each homogeneous component $W_{(k)}$ of $W$, of the classical coboundary operator, the $κ$ sewing loci being held disjoint from the free marked points at which the classical differential acts. The sewing operator is exhibited as a chain map between explicitly defined complexes. We give a complete proof of the resulting chain property $\widetildeδ^{n+1}_{m-2κ-1}\circ\widetildeδ^n_m=0$ and of the convergence of the defining power series in the sewing parameters $ρ_p$ under an explicit growth hypothesis, and we determine precisely how the construction depends on the auxiliary choice of local coordinates and sewing annuli. Applications of the resulting cohomology theory - to the sheaf of conformal blocks on the Deligne-Mumford moduli space of stable curves, to secondary characteristic classes of holomorphic foliations, to graded trace functions arising in the description of topological phases of matter, and to integrable hierarchies of Toda type - are proposed and discussed as motivation, without claiming these correspondences as theorems of the present paper.

math.FA↗

Cohomology of Jacobi forms

We define and study a cohomology theory for the space of Jacobi $n$-point functions generated by a vertex operator (super)algebra, using precise analogues of Zhu's reduction formulas. A cochain complex $(C^{\bullet}(W), δ^{\bullet})$ is constructed whose coboundary operators are given by Zhu-type reduction maps, and whose cohomology groups $H^{n}_{J}(W)$ we call the {reduction cohomology of Jacobi forms}. We prove that the $n$-th reduction cohomology of a $V$-module $W$ is isomorphic to the space of analytic continuations of solutions to a vertex-operator-algebraic analogue of the Knizhnik-Zamolodchikov equations. We further show that Jacobi $n$-point reduction formulas are $n$-point connections on the vertex operator algebra bundle over the torus, yielding a Bott-Segal-type theorem: $H^{n}_{J}(W)$ is isomorphic to the cohomology of the space of deformed sections of the VOA bundle.

math.NT↗

Continual Lie algebras determined by chain complexes

Continual Lie algebras are infinite-dimensional generalizations of Lie algebras with discrete root system by considering continual root systems. In this paper we establish the general relation between chain complexes and continual Lie algebras. The natural orthogonality condition with respect to a product among elements of a chain complex $\mathcal C$ spaces brings about to $\mathcal C$ the structure of a graded algebra with differential relations. We prove the main result of this paper: a chain complex endowed with an appropriate Leibniz-property product of elements of its spaces and the Jacobi identity brings about the structure of a continual Lie algebra with the root space determined by parameters for the complex. That provides a new source of examples of continual Lie algebras. Finally, as an example, we consider the case of Čech-de Rham complex associated to a foliation of a smooth manifold. In a particular case of this chain complex, we derive explicitly the commutation relations for the corresponding continual Lie algebra.

math.FA↗

Sequences of multiple products and cohomology classes for foliations of complex curves

The idea of transversality is explored in the construction of cohomology theory associated to regularized sequences of multiple products of rational functions associated to vertex algebra cohomology of codimension one foliations on complex curves. Explicit formulas for cohomology invariants results from consideration transversality conditions applied to sequences of multiple products for elements of chain-cochain transversal complexes defined for codimension one foliations.

math.FA↗

The product on $\W$-spaces of rational forms

Let $V$ be a quasi-conformal grading-restricted vertex algebra, $W$ be its module, and $\W_{z_1, \ldots, z_n}$ be the space of rational differential forms with complex parameters $(z_1, \ldots, z_n)$ for $n \ge 0$. Using geometric interpretation in terms of two Riemann spheres sewing we define a product of elements of two spaces $\W_{x_1, \ldots, x_k}$ and $\W_{y_1, \ldots, y_n}$, and study its properties. A product is introduced also for elements of two spaces $C^k_m(V, \W)$ $\times$ $C^n_{m'}(V, \W)$ $\to$ $C^{k+n}_{m+m'}(V, \W)$ of the corresponding chain complex of rational differential forms invariant with respect to transformations of complex parameters.

math.FA↗

Torsor structure of level-raising operators

We consider families of reductive complexes related by level-raising operators and originating from an associative algebra. In the main theorem it is shown that the multiple cohomology of that complexes is given by the factor space of products of reduction operators. In particular, we compute explicit torsor structure of the genus $g$ multiple cohomology of the families of horizontal complexes with spaces of of canonical converging reductive differential forms for a $C_2$-cofinite quasiconformal strong-conformal field theory-type vertex operator algebra associated to a complex curve. That provides an equivalence of multiple cohomology to factor spaces of products of sums of reduction functions with actions of the group of local coordinates automorphisms.

math.FA↗

On holonomy groupoid of vertex operator algebra bundles on foliations

For a foliation $\F$ defined on a smooth complex manifold $M$ we introduce the category of vertex operator algebra $V$ bundles with sections provided by vectors of elements of the space of algebraically extended $V$-module $W$-valued differentials. An intrinsic coordinate-independent formulation for such bundles is given. Finally, we identify the cohomology of the spaces of sections for a vertex operator algebra $V$ bundle with vertex operator algebra cohomology of the holonomy groupoid $Hol(M, \F)$.

math.FA↗