Related papers: Serre's problem for multiple conics
We prove the weight part of Serre's conjecture for Galois representations valued in $\mathrm{GSp}_4$ that are tamely ramified with explicit genericity at places above $p$ as conjectured by Herzig--Tilouine and Gee--Herzig--Savitt. This…
Let k be any field. J-P. Serre proved that the spectrum of the Grothendieck ring of the k-representation category of a group is connected, and that the same holds in characteristic zero for the representation category of a Lie algebra over…
We improve a result due to Masser and Zannier, who showed that the set $$ \{\lambda \in {\mathbb C} \setminus \{0,1\} : (2,\sqrt{2(2-\lambda)}), (3,\sqrt{6(3-\lambda)}) \in (E_\lambda)_{\text{tors}}\} $$ is finite, where $E_\lambda \colon…
When studying quantum field theories and lattice models, it is often useful to analytically continue the number of field or spin components from an integer to a real number. In spite of this, the precise meaning of such analytic…
We reinterpret the residue map for the Brauer group of a smooth variety using a root stack construction and Weil restriction for algebraic stacks, and apply the result to find a geometric representative of for the residue of a Brauer class…
We introduce an explicit class of tempered Laurent polynomials in the sense of Villegas and Doran--Kerr in $n \leqslant 4$ variables including all Landau--Ginzburg models for smooth Fano threefolds with very ample anticanonical class. We…
In this paper, we are motivated by two conjectures proposed by C. Bender et al.\ in 2024, which have remained open questions. The first conjecture states that if the complemented zero-divisor graph \( G(S) \) of a commutative semigroup \( S…
We present a Serre-type conjecture on the modularity of four-dimensional symplectic mod p Galois representations. We assume that the Galois representation is irreducible and odd (in the symplectic sense). The modularity condition is…
Three-dimensional conformal theories with six supersymmetries and SU(4) R-symmetry describing stacks of M2-branes are here proposed to be related to generalized Jordan triple systems. Writing the four-index structure constants in an…
We prove and generalize some recent conjectures of Z.-W. Sun on infinite series whose summands involve products of harmonic numbers and several binomial coefficients. We evaluate various classes of infinite sums in closed form by…
We show that the irreducible variety of 4 x 4 x 4 complex valued tensors of border rank at most 4 is the zero set of polynomial equations of degree 5 (the Strassen commutative conditions), of degree 6 (the Landsberg-Manivel polynomials),…
We study the number of (set-theoretically) defining equations of Segre products of projective spaces times certain projective hypersurfaces, extending results by Singh and Walther. Meanwhile, we prove some results about the cohomological…
In 1955 B. Segre showed that any oval in a projective plane over a finite field of odd order is a conic. His proof constructs a conic which matches the oval in some points and tangents, and then shows that it actually coincides with the…
We study 2-term tilting complexes of Brauer tree algebras in terms of simplicial complexes. We show the symmetry and convexity of the simplicial complexes as lattice polytopes. Via a geometric interpretation of derived equivalences, we show…
Main Theorem: Spaces of r-branch point 3-cycle covers, degree n or Galois of degree n!/2 have one (resp. two) component(s) if r=n-1 (resp. r\ge n). Improves Fried-Serre on deciding when sphere covers with odd-order branching lift to…
We show that all triples $(x_1,x_2,x_3)$ of singular moduli satisfying $x_1 x_2 x_3 \in \mathbb{Q}^{\times}$ are "trivial". That is, either $x_1, x_2, x_3 \in \mathbb{Q}$; some $x_i \in \mathbb{Q}$ and the remaining $x_j, x_k$ are distinct,…
We prove that any pair of reasonable cross norms defined on the tensor product of $n$ Banach spaces induce $(2k)^{n-1}$-Lipschitz equivalent metrics (and thus, a unique topology) on the set $S^k_{X_1,\ldots, X_n}$ of vectors of rank $\leq…
Let $\text{M}_C( 2, \mathcal{O}_C) \cong \mathbb{P}^3$ denote the coarse moduli space of semistable vector bundles of rank $2$ with trivial determinant over a smooth projective curve $C$ of genus $2$ over $\mathbb{C}$. Let $\beta_C$ denote…
The Farrell-Jones Fibered Isomorphism Conjecture for the stable topological pseudoisotopy theory has been proved for several classes of groups. For example for discrete subgroups of Lie groups, virtually poly-infinite cyclic groups, Artin…
Conjectures of Braverman and Kazhdan, Ng\^o and Sakellaridis have motivated the development of Schwartz spaces for certain spherical varieties. We prove that under suitable assumptions these Schwartz spaces are naturally a representation of…