Related papers: David's trick
Let G be a connected split reductive group over a p-adic field. In the first part of the paper we prove, under certain assumptions on G and the prime p, a localization theorem of Beilinson-Bernstein type for admissible locally analytic…
Over an algebraically closed field, various finiteness results are known regarding the automorphism group of a K3 surface and the action of the automorphisms on the Picard lattice. We formulate and prove versions of these results over…
We prove a special case of a conjecture of Davison which pertains to superpotential descriptions of fundamental group algebras $k[\pi_1(X)]$. We consider the case in which the manifold $X$ is the mapping torus $M_{g, \varphi}$ of a genus…
By extending a construction due to Gross and McMullen [2], we show that for any odd integer n and for any even integer d>n+2 there are infinitely many Salem numbers $\alpha$ of degree d such that $\alpha^n-1$ is a unit. A similar result is…
In this paper, we look at an unambiguous version of Simon's forest factorization theorem, a very deep result which has wide connections in algebra, logic and automata. Given a morphism $\varphi$ from $\Sigma^+$ to a finite semigroup $S$, we…
The affine Toda field theories based on the non simply-laced Lie algebras are discussed. By rewriting the S-matrix formulae found by Delius et al, a universal form for the coupling-constant dependence of these models is obtained, and…
We introduce a generalization of classical $q$-ary codes by allowing points to cover other points that are Hamming distance $1$ or $2$ in a freely chosen subset of all directions. More specifically, we generalize the notion of $1$-covering,…
For a smooth, projective, complex algebraic variety $X$, the Riemann--Hilbert correspondence establishes a complex analytic isomorphism between the `Betti moduli space' of rank $n$ local systems on $X^\mathrm{an}$ and the `de Rham moduli…
A general homogeneous two dimensional dilaton gravity model considered recently by Lemos and S\` a, is given quantum matter Polyakov corrections and is solved numerically for several static, equilibrium scenarii. Classically the dilaton…
The Robinson Splitting Theorem states that a c.e. degree $\mathbf{b}$ splits over any low c.e. degree $\mathbf{c}<\mathbf{b}$. We prove that a weaker version of this theorem holds in models of $\mathrm{P}^-+\mathrm{I}\Sigma_1$, with lowness…
Let G=S^1, G=Z/p or more generally G be a finite p group, where p is an odd prime number. If G acts on a space whose cohomology ring satisfies Poincare duality (with appropriate coefficients k), we prove a mod 4 congruence between the total…
Let p>2 be prime. We complete the proof of the weight part of Serre's conjecture for rank two unitary groups for mod p representations in the totally ramified case, by proving that any weight which occurs is a predicted weight. Our methods…
We construct a large class of Argyres-Douglas type theories by compactifying six dimensional (2,0) A_N theory on a Riemann surface with irregular singularities. We give a complete classification for the choices of Riemann surface and the…
We show that when certain statements are provable in subsystems of constructive analysis using intuitionistic predicate calculus, related sequential statements are provable in weak classical subsystems. In particular, if a $\Pi^1_2$…
A geometric description is given for the Sp(2) covariant version of the field-antifield quantization of general constrained systems in the Lagrangian formalism. We develop differential geometry on manifolds in which a basic set of…
We describe a realizability framework for classical first-order logic in which realizers live in (a model of) typed {\lambda}{\mu}-calculus. This allows a direct interpretation of classical proofs, avoiding the usual negative translation to…
We present a comprehensive analysis of Bredon's trick, a powerful local-to-global extension principle with broad applications across differential geometry and computational topology. Our main contributions include: (1) novel applications to…
In this paper a constructive formalization of quantifier elimination is presented, based on a classical formalization by Tobias Nipkow. The formalization is implemented and verified in the programming language/proof assistant Agda. It is…
This exposition presents a self-contained proof of the $A_2$ theorem, the quantitatively sharp norm inequality for singular integral operators in the weighted space $L^2(w)$. The strategy of the proof is a streamlined version of the…
We present a systematic construction of classical extended superconformal algebras from the hamiltonian reduction of a class of affine Lie superalgebras, which include an even subalgebra $sl(2)$. In particular, we obtain the doubly extended…