Category
Problem Set
Status
The McKay Conjecture
For a finite group $G$ and prime $p$, is the number of irreducible characters of degree not divisible by $p$ equal to the corresponding number for the...
The Cherlin-Zilber Conjecture
Is every simple group with a stable first-order theory an algebraic group over an algebraically closed field?...
The Generalized Star Height Problem
Can all regular languages be expressed with generalized regular expressions of bounded star height?...
Birch–Tate Conjecture
Is there a relation between the order of the center of the Steinberg group and the Dedekind zeta function?...
Crouzeix's Conjecture
Is $\|f(A)\| \leq 2\sup_{z \in W(A)} |f(z)|$ for all matrices $A$ and functions $f$ analytic on the numerical range?...
Perfect Cuboid
Does there exist a rectangular cuboid with integer edges, face diagonals, and space diagonal?...
Zauner's Conjecture (SIC-POVM)
Do symmetric informationally complete POVMs exist in all dimensions?...
Andrews–Curtis Conjecture
Can every balanced presentation of the trivial group be transformed to a trivial presentation by Nielsen moves?...
Herzog–Schönheim Conjecture
Can a finite system of left cosets forming a partition of a group have distinct indices?...
Vaught Conjecture
Is the number of countable models of a complete first-order theory finite, $\aleph_0$, or $2^{\aleph_0}$?...
Cherlin-Zilber Conjecture
Is every simple group with $\aleph_0$-stable theory an algebraic group over an algebraically closed field?...
Birch-Tate Conjecture
Relate the order of the center of the Steinberg group of the ring of integers to the Dedekind zeta function....
Casas-Alvero Conjecture
If a polynomial of degree d over a field of characteristic 0 shares a factor with each of its first d-1 derivatives, must it be $(x-a)^d$?...
Connes Embedding Problem
Can every finite von Neumann algebra be embedded into an ultrapower of the hyperfinite II₁ factor?...
Crouzeix's Conjecture
Is $\|f(A)\| \leq 2 \sup_{z \in W(A)} |f(z)|$ for any matrix A and analytic function f on the numerical range W(A)?...
Determinantal Conjecture
Characterize the determinant of the sum of two normal matrices....
Eilenberg-Ganea Conjecture
Does every group with cohomological dimension 2 have a 2-dimensional Eilenberg-MacLane space K(G,1)?...
Farrell-Jones Conjecture
Are the assembly maps in algebraic K-theory and L-theory isomorphisms?...
Finite Lattice Representation Problem
Is every finite lattice isomorphic to the congruence lattice of some finite algebra?...
Hadamard Matrix Conjecture
Does a Hadamard matrix of order 4k exist for every positive integer k?...
Köthe Conjecture
If a ring has no nil two-sided ideal besides {0}, does it also have no nil one-sided ideal besides {0}?...
Perfect Cuboid
Does there exist a perfect cuboid—a rectangular parallelepiped with integer edges, face diagonals, and space diagonal?...
Rota's Basis Conjecture
Given n bases of an n-dimensional matroid, can we find n disjoint rainbow bases?...
Cherlin-Zilber Conjecture
Is every simple group with a stable first-order theory an algebraic group over an algebraically closed field?...
Generalized Star Height Problem
Can all regular languages be expressed with generalized regular expressions having bounded star height?...
Hilbert's Tenth Problem for Number Fields
For which number fields is there an algorithm to determine if a Diophantine equation has solutions?...
Vaught Conjecture
Does every complete first-order theory in a countable language have countably many, $\aleph_0$, or $2^{\aleph_0}$ countable models?...
Tarski's Exponential Function Problem
Is the theory of the real numbers with addition, multiplication, and exponentiation decidable?...
Stable Field Conjecture
Is every infinite field with a stable first-order theory separably closed?...
Henson Graphs Finite Model Property
Do Henson graphs have the finite model property?...
O-Minimal Theory with Trans-Exponential Growth
Does there exist an o-minimal first-order theory with a trans-exponential (rapid growth) function?...
Infinite Minimal Field Algebraic Closure
Is every infinite minimal field of characteristic zero algebraically closed?...
Keisler's Order
Determine the structure of Keisler's order on first-order theories....
Serre's Conjecture II
For simply connected semisimple algebraic groups over fields of cohomological dimension ≤2, is $H^1(F,G) = 0$?...
Serre's Positivity Conjecture
If R is a regular local ring and P,Q are prime ideals with $\dim(R/P) + \dim(R/Q) = \dim(R)$, is $\chi(R/P, R/Q) > 0$?...
Uniform Boundedness Conjecture for Rational Points
Is there a bound N(g,d) such that all curves of genus g≥2 over degree d number fields have at most N(g,d) rational points?...