Related papers: Singular moduli refined
This is a report on the recent work "Mirror symmetry for exceptional unimodular singularities" joint with Changzheng Li, Si Li and Yefeng Shen.
We prove a general family of congruences for Bernoulli numbers whose index is a polynomial function of a prime, modulo a power of that prime. Our family generalizes many known results, including the von Staudt--Clausen theorem and Kummer's…
Inspired by the intrinsic formality of graded algebras, we prove a necessary and sufficient condition for strongly uniqueness of DG-enhancements. This approach offers a generalization to linearity over any commutative ring. In particular,…
We formulate a generalization of a `refined class number formula' of Darmon. Our conjecture deals with Stickelberger-type elements formed from generalized Stark units, and has two parts: the `order of vanishing' and the `leading term'.…
We study the intersections of special cycles on a unitary Shimura variety of signature (n-1,1), and show that the intersection multiplicities of these cycles agree with Fourier coefficients of Eisenstein series. The results are new cases of…
We discuss a refinement of triangular factorization for loops into SU(2).
We make two improvements upon Joyce's gluing theorems of for compact special Lagrangian submanifolds with isolated conical singularities. Firstly, we get rid of a few technical hypotheses of them. Secondly, we replace another hypothesis by…
Suppose that $G$ is a simple adjoint reductive group over $\mathbf{Q}$, with an exceptional Dynkin type, and with $G(\mathbf{R})$ quaternionic (in the sense of Gross-Wallach). Then there is a notion of modular forms for $G$, anchored on the…
Among all affine, flat, finitely presented group schemes, we focus on those that are pure, this includes all groups which are extensions of a finite locally free group by a group with connected fibres. We prove that over an arbitrary base…
Drinfeld doubles of finite subgroups of SU(2) and SU(3) are investigated in detail. Their modular data - S, T and fusion matrices - are computed explicitly, and illustrated by means of fusion graphs. This allows us to reexamine certain…
The discrete Fourier transform of the greatest common divisor is a multiplicative function, if taken with respect to the same order of the primitive root of unity, which is a well known fact. As such, the transform can be expressed in the…
Finite groups with given systems of permuteral and strongly permuteral subgroups are studied. New characterizations of w-supersoluble and supersoluble groups are received.
We prove a formula of Petersson's type for Fourier coefficients of Siegel cusp forms of degree 2 with respect to congruence subgroups, and as a corollary, show upper bound estimates of individual Fourier coefficient. The method in this…
This note collects several results on the capability of $p$-groups of class two and prime exponent. Among the new results, we settle the 4-generator case for this class.
We establish Sturm bounds for degree g Siegel modular forms modulo a prime p, which are vital for explicit computations. Our inductive proof exploits Fourier-Jacobi expansions of Siegel modular forms and properties of specializations of…
We present a fast algorithm for modular exponentiation when the factorization of the modulus is known. Let $a,n,m$ be positive integers and suppose $m$ factors canonically as $\prod_{i=1}^k p_i^{e_i}$. Choose integer parameters $t_i\in [1,…
By recent work of the author, Wilson's theorem as well as the Wilson quotient can be described by supercongruences of power sums of Fermat quotients modulo every higher prime power. We translate these congruences into congruences of power…
We prove that formal Fourier Jacobi expansions of degree 2 are Siegel modular forms. As a corollary, we deduce modularity of the generating function of special cycles of codimension 2, which were defined by Kudla. A second application is…
We give an explicit form of Gross-Zagier formula on Shimura Curves and an explicit form of Waldspurger formula.
We prove that the bounded and bounded below derived categories of (all) modules over the dual numbers have strongly unique (dg) enhancements. To this end we relate those categories to the category of sequences of vector spaces, which allows…