Related papers: Log adjunction: moduli part
It is known that the so-called monadic decomposition, applied to the adjunction connecting the category of bialgebras to the category of vector spaces via the tensor and the primitive functors, returns the usual adjunction between…
This is the sequel to arXiv:math/0001089. In this paper, we complete the promised description of moduli of abelian surfaces of low degree, covering the cases of degree (1,12), (1,14), (1,16), (1,18) and (1,20). In each case, we describe…
Well-known principles of induction include monotone induction and different sorts of non-monotone induction such as inflationary induction, induction over well-founded sets and iterated induction. In this work, we define a logic formalizing…
Higher extensions and higher central extensions, which are of importance to non-abelian homological algebra, are studied, and some fundamental properties are proven. As an application, a direct proof of the invariance of the higher Hopf…
We study the linear map sending the numerator of the rational function representing the Hilbert series of a module to that of its r-th Veronese submodule. We show that the asymptotic behaviour as r tends to infinity depends on the…
This is a short note on the log canonical inversion of adjunction.
Modular exponentiation is a common mathematical operation in modern cryptography. This, along with modular multiplication at the base and exponent levels (to different moduli) plays an important role in a large number of key agreement…
There is a lot of redundancy in the usual definition of adjoint functors. We define and prove the core of what is required. First we do this in the hom-enriched context. Then we do it in the cocompletion of a bicategory with respect to…
We extend our approach to abstract syntax (with binding constructions) through modules and linearity. First we give a new general definition of arity, yielding the companion notion of signature. Then we obtain a modularity result as…
We construct the fine moduli space of log abelian varieties with PEL structure, which gives a toroidal compactification of the moduli space of abelian varieties with PEL structure.
In a previous work, the authors resolved a conjecture about the structure of prime-detecting quasi-modular forms by studying sign changes occurring in quasi-modular cusp forms. In this paper, we extend the considerations to prime-detecting…
We prove that the integral closedness of any ideal of height at least two is compatible with specialization by a generic element. This opens the possibility for proofs using induction on the height of an ideal. Also, with additional…
We consider principally polarized abelian varieties with quaternionic multiplication over number fields and we study the field of moduli of their endomorphisms in relation to the set of rational points on suitable Shimura varieties.
Let $\mathcal{R}$ be a free Lie conformal algebra of rank $2$ with $\mathbb{C}[\partial]$-basis $\{L,I\}$ and relations \begin{eqnarray*} \left[L_{\lambda} L\right]=(\partial+2 \lambda) (L+I),\ \left[L_{\lambda} I\right]=(\partial+\lambda)…
There are exactly two maximal schematic extensions of the relevant logic R with the variable sharing property. We establish that one of them has a strong form of interpolation for deducibility, thereby giving an example of a well-known…
A bijective proof is given for the following theorem: the number of compositions of n into odd parts equals the number of compositions of n + 1 into parts greater than one. Some commentary about the history of partitions and compositions is…
A recent result of N. Abe implies that the Gabber-Joseph conjecture is true for the first-degree extensions between Verma modules with regular integral highest weights.
A thorough analysis is made of the Fourier coefficients for vector-valued modular forms associated to three-dimensional irreducible representations of the modular group. In particular, the following statement is verified for all but a…
We propose two new dependent type systems. The first, is a dependent graded/linear type system where a graded dependent type system is connected via modal operators to a linear type system in the style of Linear/Non-linear logic. We then…
In the present paper, the existence and multiplicity problems of extensions are addressed. The focus is on extension of the stable type. The main result of the paper is an elegant characterization of the existence and multiplicity of…