要約:
We use the formalism of the (2-category) AGCat, developed in [GRV], and the operation of higher categorical trace to (re)derive a number of results in the Deligne-Lusztig theory.
要約:
We have written a computer program that implements Deligne's pullback and pushforward weight spectral sequences to compute the weight graded pieces of the rational cohomology of moduli spaces of pointed smooth curves (as well as curves of compact type and curves with rational tails) in cases where the cohomology groups appearing in the boundary stratification of the Deligne-Mumford compactification are generated by tautological classes (and when Pixton's relations are all relations). The weight graded pieces are computed together with the induced action of the symmetric group permuting the points on the curves. Using the computer program we have determined this information in the case of genus five as well as in the case of genus three with three marked points.
要約:
We determine the $\mathrm{PGL}_2$-equivariant Chow ring of $\mathrm{Gr}(2,4)^s$, the $\mathrm{PGL}_2$-stable locus of $\mathrm{Gr}(2,4)$, over any algebraically closed based field of characteristic not equal to 2 or 3. In the process, we demonstrate that the quotient stack $[\mathrm{Gr}(2,4)^s/\mathrm{PGL}_2]$ can be presented as the quotient of an open subset of $\mathbb{P}^1$ by a suitably chosen $S_4\leq \mathrm{PGL}_2$. We also discuss some apparent difficulties with computing the full $\mathrm{PGL}_2$-equivariant Chow ring of $\mathrm{Gr}(2,4)$.
要約:
We describe the local and global structure of the fixed locus for the action of a rational function on the Berkovich projective line over a complete nontrivially-valued algebraically closed nonarchimedean field. This includes a bound for the number of connected components that is sharp when the residue characteristic is large or zero. The case of small nonzero residue characteristic will be treated in a subsequent article.
要約:
We study two-dimensional cyclic quotient singularities defined by $k$-Wahl chains, a class of Hirzebruch--Jung continued fractions obtained inductively starting from $[k+2]$. This class includes the classical Wahl singularities in the case $k=2$ and also contains cyclic quotient singularities arising from $k$-generalized Markov triples. For singularities defined by $k$-Wahl chains, we prove that the combinatorics of the continued fraction is encoded in the special representations of the associated cyclic group. We also study zero continued fractions on the dual side and obtain consequences for the deformation theory of these singularities, including the existence of extremal P-resolutions in the case of $1$-Wahl chains.
要約:
Let $\pi : X \to B$ be a Lagrangian fibration of a compact hyper-K\"ahler manifold. We prove that every codimension $1$ fiber of $\pi$ has multiplicity $1$.
要約:
Let $X$ be a compact Riemann surface of genus 2 and $D$ a very ample divisor with $\phi_D$ its associated embedding into $\mathbb{P}^{n}$. We consider the set $G_{X,D}$ of linear subspaces $W$ of $\mathbb{P}^n$ of codimension $2$ with projection $\pi_W$ such that $f_W = \pi_W \circ \phi_D$ is Galois, i.e. $f_W^*k(\mathbb{P}^1) \subseteq k(X)$ is a Galois extension. It is known that $G_{X,D}$ is isomorphic to a disjoint union of projective spaces. In this article, we calculate the dimension of projective spaces in the decomposition of $G_{X,D}$, when $D$ is induced by a subgroup of $\mathrm{Aut}(X)$.
要約:
This is a continuation of arXiv: 2408.03012. We answer affirmatively Question 5.10 posed in the previous article. More precisely, let $(X, \omega)$ be a conical symplectic variety of dimension $2n$ with $wt(\omega) = 2$, which has a projective symplectic resolution. Assume that $X$ admits an effective Hamiltonian action of an $n$-dimensional algebraic torus $T^n$, compatible with the conical $\mathbf{C}^*$-action. Then we prove that there is a $T^n$-equivariant algebraic isomorphism $(X, \omega) \cong (Y(A,0), \omega_{Y(A,0)})$ for a toric hyperkahler variety $Y(A, 0)$ with $A$ unimodular.
要約:
Chasles' Quadrilateral Theorem is a classical statement about four tangents to a conic that simultaneously circumscribe a circle. In its various formulations, it relates the concurrence of certain lines to the existence of confocal conics or inscribed circles.
We show that several classical and modern versions of this theorem are affected by subtle ambiguities arising from multiple solutions in the underlying geometric constructions. These ambiguities often enter through seemingly natural extensions of otherwise correct statements.
We provide a systematic analysis of these issues and present coherent formulations of the theorem that avoid these inconsistencies. In particular, we interpret the theorem in a projective framework and relate it to the Cayley-Bacharach theorem, which explains the underlying incidence structure.
要約:
Let $V$ be a smooth quasi-projective complex surface with compactification $(X,D)$ and set $\overline P_1(V):=h^0(X,K_X+D)$, $\overline q(V):=h^0(X,\Omega^1_X(\log D))$. We prove that $\overline P_1(V)\ge \overline q(V)-1$ if $V$ has maximal Albanese dimension and $\overline P_1(V)\ge\frac 16( \overline q(V)-5)$ otherwise. Both bounds are sharp.
要約:
We prove the "all-the-heights'' version of the Batyrev--Manin--Peyre conjecture for split quintic del Pezzo surfaces, both for counting rational points over global function fields in positive characteristic and for the motivic version over a general base field.
要約:
We define the exact category of contraherent cosheaves of contramodules on a locally Noetherian formal scheme, as well as the exact categories of locally contraherent cosheaves of contramodules (with respect to a given open covering). The exposition in the section of preliminaries in adic commutative algebra is worked out in the greater generality of arbitrary commutative rings with adic topologies (of finitely generated ideals).
要約:
We propose a log-concavity conjecture for BPS invariants arising in the enumerative geometry of planar curve singularities, identified with the local Euler obstructions of Severi strata in their versal deformations. We further extend this conjecture to ruling polynomials of Legendrian links and to E-polynomials of character varieties. We establish these conjectures for irreducible weighted-homogeneous singularities (torus knots) and for ADE singularities, and prove a multiplicative property for ruling polynomials compatible with log-concavity.
要約:
We study the question of whether the vanishing of additive invariants characterizes phantomness for smooth proper dg categories admitting geometric realizations. More precisely, let $X$ be a smooth proper variety over a field $k$, and let $\sT\subset \perfdg(X)$ be a $k$-linear admissible full dg subcategory. We construct a non-compact motive $\sM(\sT)\in \DM(k,\Q)$ and show that its $l$-adic realization recovers the $K(1,l)$-local algebraic $K$-theory of $\sT$. Analogous statements are obtained for Betti and de Rham realizations, which recover topological $K$-theory and periodic cyclic homology, respectively.
As a consequence, assuming that the Chow motive of $X$ is Kimura-finite, we prove a criterion for phantomness: the vanishing of $L_{K(1,l)}K(\sT_{\overline{k}})_\Q$, of Hochschild homology in characteristic zero, or of rational topological $K$-theory over $\mathbb{C}$ implies that the rational noncommutative motive of $\sT$ vanishes. In this way, our results provide a partial answer to a question raised by Sosna. We also establish a deformation-invariance result for phantomness in smooth proper families.
要約:
Let $G = GL(n)$ and $K = GL(p) \times GL(q)$ with $p+q=n$, where the groups are taken over $\C$. In this paper we study a certain family of $K$-orbit closures on the flag variety $X$ of $G$. The geometry of these orbit closures plays a central role in the infinite-dimensional representation theory of the real Lie group $U(p,q)$, and has applications to degeneracy loci and combinatorics. In this paper we use small resolutions to study orbit closures in this family. We prove that the fibers of these resolutions are smooth and strongly reduced, as well as a general result that if a variety has a resolution of singularities with these properties, then its characteristic cycle is irreducible. Hence these orbit closures have irreducible characteristic cycles. A result of Jones then allows us to calculate the torus-equivariant Chern-Mather classes of these orbit closures. We describe torus fixed points and tangent spaces of the resolutions, and use localization to obtain a formula for these classes. We conjecture that the Chern-Mather classes of a $K$-orbit closure are equivariantly positive when expressed in a Schubert basis of equivariant Borel-Moore homology, and use our results to verify the conjecture in an example.
要約:
We develop the theory of transfer and norm maps for finite group schemes, extending classical results from finite group theory to a context where induction and restriction are not necessarily bi-adjoint. In the additive setting, we construct a transfer map for both modules and $\rm Ext $ groups and prove that its surjectivity characterizes relative projectivity, establishing a generalization of Higman's criterion. In the multiplicative setting, we define a relative norm map for algebras with a group scheme action. We compare this norm with other versions in the literature, proving that it coincides with Mumford's norm for finite morphisms and on fields is a power of the classical field norm.
要約:
In this note, we compare the two approaches to semiring schemes as topological spaces with a structure sheaf and as a functor of points. We explain and prove the following two results: (1) the topological space can be recovered from the functor of points; (2) the two notions of semiring schemes are canonically equivalent as categories.
要約:
We study the natural action of $\mathrm{PGL}(V)$ on the Grassmannian $G=\operatorname{Gr}(2,\operatorname{Sym}^2 V^\vee)$, where $\dim V=4$ and points of $G$ are pencils of quadrics in $\mathbb{P}(V)\cong \mathbb{P}^3$. Here $\dim G=16$ while $\dim \mathrm{PGL}(V)=15$, so the generic orbit has codimension one and one expects a one-parameter family of generic orbits. We construct this family via the $j$-invariant of the discriminant binary quartic of a pencil. We then determine the codimension-one orbit closures and compute their Chow classes. The smooth codimension-one orbit closures are the reduced fibers of the $j$-map on the smooth locus, while the unique boundary divisor is the closure of the orbit of a nodal quartic complete intersection of arithmetic genus $1$ and geometric genus $0$. Every divisorial fiber of the rational $j$-map has class $12\sigma_1$ in $A^1(G)$. For the reduced codimension-one orbit closures one has $[\overline{O_a}]=12\sigma_1$ for $a\neq 0,1728,\infty$, $[\overline{O_{1728}}]=6\sigma_1$, $[\overline{O_0}]=4\sigma_1$, and $[T]=12\sigma_1$.
要約:
We construct the first weakly special surfaces that are not Campana-special, including the complement of the plane curve $x^2y^3 = 1$ in $\mathbb{A}^2$. We prove that the set of $\mathcal{O}_{K,S}$-integral points on this surface is non-dense for every number field $K$ and finite set $S$ of finite places of $K$ if and only if Campana's Orbifold Mordell conjecture holds for $(\mathbb{G}_m, \tfrac{1}{2}[1])$. This basic example carries a natural $\mathbb{G}_m$-action, and the quotient stack is an Artin stack parametrizing points on a C-pair. This leads to the introduction of ``Campana stacks'', which encode morphisms of C-pairs in a manner analogous to the role of root stacks for integral points satisfying prescribed divisibility conditions.
要約:
We introduce and study the filtration on the space of automorphic functions (in the everywhere unramified situation for the function field case) obtained by transferring the filtration on the spectral side of the classical Langlands conjecture, induced by coherent singular support.
We propose a number of conjectures that tie this filtration (which, by design, arises from the notion of cohomological support) to a filtration on the space of C-valued automorphic functions that arises by considering the analytic spectrum of Hecke operators.
要約:
Fault-tolerant measurement-based quantum computing (MBQC) provides a compelling framework for fault-tolerant quantum computation, in which quantum information is processed through single-qubit measurements on a three-dimensional entangled resource known as cluster state. To date, this resource has been predominantly studied on Euclidean lattices, most notably in the Raussendorf-Harrington-Goyal (RHG) construction, which underlies topological fault tolerance in MBQC. In this work, we introduce the hyperbolic cluster state, a generalization of the three-dimensional cluster state to negatively curved geometries, obtained via the foliation of periodic hyperbolic lattices. We present an explicit construction of hyperbolic cluster states and investigate their fault-tolerant properties under a realistic circuit-level depolarizing noise model. Using large-scale numerical simulations, we perform memory experiments to characterize their logical error rates and decoding performance. Our results demonstrate that hyperbolic cluster states exhibit a fault-tolerance threshold comparable to that of the Euclidean RHG cluster state, while simultaneously supporting a constant encoding rate in the thermodynamic limit. This represents a substantial improvement in qubit overhead relative to conventional cluster-state constructions. These findings establish hyperbolic geometry as a powerful and experimentally relevant resource for scalable, fault-tolerant MBQC and open new avenues for leveraging negative curvature in quantum information processing.
要約:
We introduce the notion of Cayley--Hamilton tuples: these are commuting operator tuples that are annihilated by a non-zero polynomial and such that its Taylor joint spectrum coincides with the algebraic variety determined by its annihilating ideal. Commuting matrix tuples are Cayley--Hamilton tuples. We provide two families of Cayley--Hamilton tuples in the infinite dimensional setting with additional details. What arises as a by-product is a concrete characterization of distinguished varieties in the polydisk in terms of Taylor joint spectrum of commuting isometries. These varieties have been of interest in various fields of mathematics over the last two decades. The Taylor and Waelbroeck joint spectrum of a Cayley--Hamilton tuple are shown to be the same. It is also shown that the support of the annihilating ideal of a Cayley--Hamilton tuple is the same as its joint spectrum. As an application, we deduce an algebraic characterization of bi-variate polynomials whose zero set intersected with the closed bidisk is the joint spectrum of a commuting isometric pair.
要約:
We solve the problem of Davenport--Lewis--Schinzel (DLS), originating in the 1950s, regarding the reducibility of $f(X)-g(Y)\in\mathbb C[X,Y]$. This yields an almost-complete solution to the Hilbert--Siegel problem: For a polynomial map $f$ whose composition factors avoid only very specific low-degree polynomials, we explicitly describe over which integers the fibers of $f$ are reducible. We further apply the solution to stability of iterates of $f$ in arithmetic dynamics, and to solving the functional equation $f(X)=g(Y)$ in $X,Y\in\mathbb{C}(z)$.
要約:
We generalize fundamental notions of higher algebra, traditionally developed within the $\infty$-category of spectra, to the broader setting of $t$-structured tensor triangulated $\infty$-categories ($ttt$-$\infty$-categories). Under a natural structural condition, which we call "projective rigidity", we establish higher categorical analogues of Lazard's theorem and prove the existence and universal property of Cohn localizations. Furthermore, we generalize higher almost ring theory to the $ttt$-$\infty$-categorical setting, showing that $\pi_0$-epimorphic idempotent algebras are in natural bijection with idempotent ideals. By exploiting deformation theory, we establish a general \'etale rigidity theorem, proving that the $\infty$-category of \'etale algebras over a fixed connective base is completely determined by its discrete counterpart. Finally, we characterize the moduli of such projectively rigid $ttt$-$\infty$-categories, demonstrating that the presheaf $\infty$-category on the 1-dimensional framed cobordism $\infty$-category serves as the universal projectively rigid $ttt$-$\infty$-category.
要約:
A surface pair $(X,C)$ is a germ of a normal surface singularity $(X,0)$ and a sum $C=\sum c_iC_i$ of curves on $X$, with $c_i\in [0,1]$. An orbifold pair has $c_i=1/n_i$, as intersecting with a small sphere gives a $3$-dimensional orbifold $(\Sigma, \gamma_i,n_i)$. There are natural notions of morphism and log cover of surface pairs. We introduce a volume $Vol(X,C)$ in $\mathbb Q_{\geq 0}$, computable from any log resolution, analogous to that in our 1990 JAMS paper when $C=0$. Denoting $\bar{C}=\sum (1-c_i)C_i$, one has $(X,C)$ log canonical iff $Vol(X,\bar{C})=0$. The main theorem (5.4-5.6) is that $Vol(X,C)$ is ``characteristic'': if $f:(X',C')\rightarrow (X,C)$ is a morphism of degree $d$, then $Vol(X',C')\geq d\cdot Vol(X,C)$, with equality if $f$ is a log cover. We prove (6.7) that $Vol(X,\sum (1/n_i)C_i)=0$ iff the associated orbifold has finite or solvable orbifold fundamental group, and these are classified. In (8.2) is proved a key case of the DCC Volumes Conjecture: The set $\{Vol(X,\sum (1/n_i)C_i)|\ X\ \text{RDP}\}$ satisfies the DCC, with minimum non-$0$ volume 1/3528.
要約:
Let $C$ be a smooth projective curve over $\mathbb C$ of genus $g\geqslant 1$. Let $E$ be a vector bundle on $C$ of rank $r$ and degree $e$. Given integers $k_1,k_2,d_1,d_2$ such that $r>k_1>k_2>0$, let $\mathcal Q^{k_1,k_2}_{d_1,d_2}(E)$ denote the nested Quot scheme which parametrizes pair of quotients $[E \twoheadrightarrow F_1 \twoheadrightarrow F_2]$ such that $F_i$ has rank $k_i$ and degree $d_i$. We show that these nested Quot schemes are integral, local complete intersection schemes when $d_1\gg d_2\gg 0$ or $d_2\gg d_1\gg 0$.
要約:
Determining the limiting behaviour of the Jacobian as the underlying curve degenerates has been the subject of much interest. For nodal singularities, there are beautiful constructions of Caporaso as well as Pandharipande of compactified universal Jacobians over the moduli space of stable curves. Alexeev later obtained a canonical such compactification by extending the Torelli map out of the Deligne-Mumford compactification of $\mathcal{M}_{g,n}$. In contrast, Alexeev and Brunyate proved that the Torelli map does not extend over the cuspidal locus in Schubert's alternative compactification of pseudostable curves.
In this paper, we consider curves with singularities that locally look like the axes in $m$-space, which we call axis-like singularities. We construct an alternative compactification of $\mathcal{M}_{g,n}$ consisting of curves with such singularities and prove that the Torelli map extends out of this compactification. Furthermore, for every alternative compactification in the sense of Smyth, we identify an axis-like locus over which the Torelli map extends.
要約:
Our main result is a combinatorial characterization of when a horospherical variety has (at worst) quotient singularities. Using this characterization, we show that every quasiprojective horospherical variety with quotient singularities is globally the quotient of a smooth variety by a finite abelian group.
要約:
We determine the generating function for the $\mathbb{S}_n$-equivariant Chow polynomials of the braid matroid $B_n$. The Chow polynomial of $B_n$ is the Poincar\'e polynomial of the wonderful compactification of the complement of the braid arrangement, with respect to the maximal building set. A key input to our result is the identification of this wonderful compactification with a moduli space of multiscale differentials, recently established by Devkota, Robotis, and Zahariuc. In this way, our work also contributes to the literature on topology of moduli spaces of multiscale differentials. To prove our main formula, we study the classes of these moduli spaces in the Grothendieck ring of varieties via the formalism of $\mathbb{S}_n$-spaces developed by Getzler and Pandharipande. We also give a new interpretation of the numerical Chow polynomial of $B_n$ as the Poincar\'e polynomial of a moduli space of genus-zero relative stable maps to $\mathbb{P}^1$.
要約:
We prove the Bloch-Ogus Theorem for regular local rings geometrically regular over a discrete valuation ring. In particular, we prove the Bloch-Ogus Theorem for regular local rings of mixed characteristic that are essentially smooth over a discrete valuation ring.
要約:
We construct and analyze the "syntomic Steenrod algebra", which acts on the mod $p$ syntomic cohomology (also known as etale-motivic cohomology) of algebraic varieties in characteristic $p$. We then apply the resulting theory to resolve the last open cases of a 1966 Conjecture of Tate, concerning the existence of a symplectic form on the Brauer groups of smooth proper surfaces over finite fields. More generally, we exhibit symplectic structure on the higher Brauer groups of even dimensional varieties over finite fields.
Although the applications are classical, our methods rely on recent advances in perfectoid geometry and prismatic cohomology, which we employ to define a theory of "spectral syntomic cohomology" with coefficients in motivic spectra. We then organize the resulting cohomology theories into a category of "spectral prismatic $F$-gauges", generalizing the prismatic $F$-gauges of Drinfeld and Bhatt--Lurie, for which we establish a ``spectral Serre duality'' extending classical coherent duality. These abstract constructions are leveraged to explicitly compute the syntomic Steenrod operations.
要約:
We prove that the cohomology class of any curve on a very general principally polarized abelian variety of dimension at least 4 is an even multiple of the minimal class. The same holds for the intermediate Jacobian of a very general cubic threefold. This disproves the integral Hodge conjecture for abelian varieties and shows that very general cubic threefolds are not stably rational. Our proof is motivated by tropical geometry; it relies on multivariable Mumford constructions, monodromy considerations, and the combinatorial theory of matroids.
要約:
We propose definitions of hypercomplex analytic spaces and hypercomplex schemes. We show that such a hypercomplex space is canonically associated to the quotient of a hypercomplex manifold by a finite group action.
要約:
We give a condition on a $p$-adic representation of the fundamental group of a curve over $\overline{\mathbb{Q}}_p$ which ensures that under the $p$-adic Simpson correspondence the Higgs field vanishes.
要約:
We study the open/closed correspondence for the projective line via mirror symmetry. More explicitly, we establish a correspondence between the generating function of disk Gromov-Witten invariants of the complex projective line $\mathbb{P}^1$ with boundary condition specified by an $S^1$-invariant Lagrangian sub-manifold $L$ and the asymptotic expansion of the $I$-function of a toric surface $\mathcal{S}$.
要約:
This work is concerned with categorical methods for studying singularities. Our focus is on birational derived splinters, which is a notion that extends the definition of rational singularities beyond varieties over fields of characteristic zero. Particularly, we show that an invariant called `level' in the associated derived category measures the failure of these singularities.
要約:
Riemann vanishing theorem is a main ingredient of the conventional technique related to the Jacobi inversion problem. In the case of curves with a holomorphic involution, it has been presented quite fully in wellknown Fay's Lectures on theta functions. The case of real algebraic curves with involution is presented with less completeness in the literature. We provide a detailed presentation of that case, including the case of real curves of the non-separating type with a holomorphic involution, not considered before with this relation. In particular, we formulate the symmetry of the Prym theta function in this case.
要約:
We prove that if two very general cubic fourfolds are L-equivalent then they are isomorphic, and we observe that there exist special cubic fourfolds which are L-equivalent but not isomorphic. When the cubic fourfolds are very general in certain Hassett divisors, we prove that if they are L-equivalent then they are also Fourier-Mukai partners. We also provide further examples in support of the fact that L-equivalent hyper-K\"ahler manifolds should be D-equivalent, as conjectured by Meinsma.
要約:
In this paper, we study the cylindricity of $\Bbbk$-forms of singular del Pezzo surfaces obtained by blowing up weighted projective planes $\mathbb{P}(1,1,m)$ over an arbitrary field $\Bbbk$ of characteristic zero. As an application, we obtain vertical cylinders on higher-dimensional fibrations whose generic fibers are such $\Bbbk$-forms.
要約:
Hecke operators on moduli of bundles over a global function field become substantially more complicated in the presence of ramification. We show that far enough in the Harder-Narasimhan cone of $\mathrm{Bun}_G$, this extra complexity has a simple structure, which allows to reduce the main study to the unramified case. Using the theory of graphs of Hecke operators, we transform this statement into a combinatorial condition. Utilizing the combinatorial language, we obtain tight bounds, and for generic eigenvalues exact formulas for the dimensions of Hecke eigenspaces with arbitrary ramification for $\mathrm{Bun}_{\mathrm{PGL}_2}$. Moreover, our methods allow to construct eigenforms explicitly.
要約:
Let S be a connected and smooth scheme of finite type over the complex numbers. We construct functorially the Hodge realization of a 1-motive over S as a torsion-free, polarizable and admissible variation of mixed Hodge structures of type (0,0),(-1,0),(0,-1),(-1,-1). We prove that this construction yields an equivalence between the category of 1-motives over S and the category of such variations of mixed Hodge structures, thereby extending Deligne's equivalence over the complex numbers to the relative case and providing a positive answer to a question of Andr\'e concerning the geometric origin of admissible variations of mixed Hodge structures of the above type. We also describe the l-adic and de Rham realizations of 1-motives and show that these realizations fit naturally into Deligne's framework of smooth mixed realizations.
要約:
In this note, following Dedecker and Debremaeker, we extend the cohomology exact sequence for nonabelian $H^1$, using nonabelian $H^2$ with coefficients in crossed modules.
要約:
We explain how to tropicalize scalar quantum field theory and show that tropicalized massive scalar quantum field theory is exactly solvable. This exact solution manifests as a non-linear recursion equation fulfilled by the expansion coefficients of the quantum effective action. Geometrically, this recursion computes specific volumes of moduli spaces of metric graphs and is thereby analogous to Mirzakhani's volume recursions on the moduli space of curves. Building on this exact solution, we construct an algorithm that samples points from the moduli space of graphs approximately proportional to their perturbative contribution. Remarkably, this algorithm requires only polynomial time and memory, suggesting that perturbative quantum field theory computations lie in the polynomial-time complexity class, while all known algorithms for evaluating individual Feynman integrals are exponential in time and memory. To demonstrate the capabilities of the algorithm, we evaluate the primitive contribution to the $\phi^4$ beta function at 50 loops with a proof-of-concept implementation.
要約:
We classify up to signature all the ways the alternating group $A_n$ can act on a compact Riemann surfaces when the quotient genus is greater than $0$. In particular, we prove that for $A_n$ with $n>6$ every potential signature for the group acting with quotient genus greater than $0$ is an actual signature. We also show that in the case of $n=5$, respectively $n=6$, the only failure is for $[1;2]$, respectively $[1;3]$. Along the way we also prove that for any finite simple non-abelian group, all potential signatures with quotient genus greater than $1$ are actual signatures.
要約:
We develop neutral-fermionic constructions for the factorial $gp$- and $gq$-functions introduced by Nakagawa and Naruse, which are respectively dual to the factorial $GQ$- and $GP$-functions of Ikeda and Naruse. In particular, we realize the factorial $GP$-, $GQ$- and $gq$-functions as vacuum expectation values. As applications, we obtain, Jacobi--Trudi type determinantal formulas for the transition coefficients between functions with different equivariant parameters for $gq$ and its dual $GP$, as well as a Pfaffian formula for the factorial $gq$-functions. We further prove a remarkable coincidence among the transition coefficients for parameter changes for $gp$, $gq$, $GQ$, and $GP$. These coefficients admit a description in terms of factorial Grothendieck polynomials of type A.