相关论文: Formalising and Computing the Fourth Homotopy Grou…
We conjecture two generalisations of Elkies' theorem on unimodular quadratic forms to non-unimodular forms. We give some evidence for these conjectures including a result for determinant 3. These conjectures, when combined with results of…
A key result in a 2004 paper by S. Arkhipov, R. Bezrukavnikov, and V. Ginzburg (ABG) gives an equivalence of the bounded derived category of finite dimensional modules for the principal block of a Lusztig quantum algebra at an $\ell^{th}$…
This paper dates back to 1999 but was never published. The major part of it was included in the joint paper [Digne-Gomi, Presentation of pure braid groups, J. Knot Theory and its Ramifications 10 (2001) 609--623]. Sections 2 and 6 were not…
The realization problem asks: When does an algebraic complex arise, up to homotopy, from a geometric complex? In the case of 2- dimensional algebraic complexes, this is equivalent to the D2 problem, which asks when homological methods can…
The constraint satisfaction problem (CSP) can be formulated as a homomorphism problem between relational structures: given a structure $\mathcal{A}$, for any structure $\mathcal{X}$, whether there exists a homomorphism from $\mathcal{X}$ to…
We report on the development of the HoTT library, a formalization of homotopy type theory in the Coq proof assistant. It formalizes most of basic homotopy type theory, including univalence, higher inductive types, and significant amounts of…
A new efficient approach to the analysis of nonlinear higher-spin equations, that treats democratically auxiliary spinor variables $Z_A$ and integration homotopy parameters in the non-linear vertices of the higher-spin theory, is developed.…
Higher-spin vertices containing up to quintic interactions at the Lagrangian level are explicitly calculated in the one-form sector of the non-linear unfolded higher-spin equations using a $\beta\to-\infty$--shifted contracting homotopy…
We formalize a proof of the irrationality of $\zeta(3)$ in Lean 4, using Beukers' method. To support this, we extend the Lean mathematical library (Mathlib) by formalizing shifted Legendre polynomials and important results in analytic…
We contribute towards the classification programme for Conway groupoids associated to a $2-(n,4,\lambda)$ design. Our main results improve the known bounds for a hole stabilizer to be primitive, or to contain the alternating group, ${\rm…
We defend the Fock-space Hamiltonian truncation method, which allows to calculate numerically the spectrum of strongly coupled quantum field theories, by putting them in a finite volume and imposing a UV cutoff. The accuracy of the method…
Tate cohomology (as well as Borel homology and cohomology) of connective K-theory for $G=(\mathbb{Z}/2)^n$ was completely calculated by Bruner and Greenlees. In this note, we essentially redo the calculation by a different, more elementary…
An explicit formula for the generalized hyperbolic metric on the thrice--punctured sphere $\P \backslash \{z_1, z_2, z_3\}$ with singularities of order $\alpha_j \le 1$ at $z_j$ is obtained in all possible cases $\alpha_1+\alpha_2+\alpha_3…
This paper has two main goals. First, we prove nonabelian refinements of basechange theorems in \'etale cohomology (i.e., prove analogues of the classical statements for sheaves of spaces). Second, we apply these theorems to prove a number…
We consider an exactly solvable model for topological phases in (3+1)d whose input data is a strict 2-group. This model, which has a higher gauge theory interpretation, provides a lattice Hamiltonian realisation of the Yetter homotopy…
Labourie and the author independently showed that a convex real projective structure on an oriented surface of genus at least 2 is equivalent to a conformal structure plus a holomorphic cubic differential U. We analyze the behavior of the…
Traditionally, homotopy groups in $G$-equivariant stable homotopy theory have been graded over $\text{RO}(G)$, the real representation ring of $G$. It is arguably more natural to grade homotopical structures over the Picard group of the…
In the popular ${\cal PT}-$symmetry-based formulation of quantum mechanics of closed systems one can build unitary models using non-Hermitian Hamiltonians (i.e., $H \neq H^\dagger$) which are Hermitizable (so that one can write,…
Quantum and tensor network simulations have emerged as prominent sign-problem free approaches to lattice gauge theories. Unlike conventional Markov chain Monte Carlo methods, they are based on the Hamiltonian formulation. In this talk, we…
In this PhD thesis we discuss methods of recognizing finite groups by the structure of normalizers of certain 3-subgroups. We explain a method for characterizing groups using character theoretic and block theoretic methods and we use these…