English
Related papers

Related papers: On geometric complexity theory: Multiplicity obstr…

200 papers

Classifying obstructions to the problem of finding extensions between two fixed modules goes back at least to L. Illusie's thesis. Our approach, following in the footsteps of J. Wise, is to introduce an analogous Grothendieck Topology on…

Algebraic Geometry · Mathematics 2017-12-06 Leo Herr

Motivated by the theory of proof complexity generators we consider the following $\Sigma^p_2$ search problem $\mbox{DD}_P$ determined by a propositional proof system $P$: given a $P$-proof $\pi$ of a disjunction $\bigvee_i {\alpha}_i$, no…

Computational Complexity · Computer Science 2026-05-13 Jan Krajicek

This is the first in a sequence of articles exploring the relationship between commutative algebras and $E_\infty$-algebras in characteristic $p$ and mixed characteristic. In this paper we lay the groundwork by defining a new class of…

Algebraic Topology · Mathematics 2026-02-25 Oisín Flynn-Connolly

In this note, we discuss the flexibility of Schubert classes in homogeneous varieties. We give several constructions for representing multiples of a Schubert class by irreducible subvarieties. We sharpen [R, Theorem 3.1] by proving that…

Algebraic Geometry · Mathematics 2013-03-04 Izzet Coskun , Colleen Robles

The modular class of a regular foliation is a cohomological obstruction to the existence of a volume form transverse to the leaves which is invariant under the flow of the vector fields of the foliation. By drawing on the relationship…

Differential Geometry · Mathematics 2024-06-24 Sylvain Lavau

Complexity theory provides a wealth of complexity classes for analyzing the complexity of decision and counting problems. Despite the practical relevance of enumeration problems, the tools provided by complexity theory for this important…

Computational Complexity · Computer Science 2017-10-25 Nadia Creignou , Markus Kröll , Reinhard Pichler , Sebastian Skritek , Heribert Vollmer

Regular and higher regular graded algebras (in simplest case satisfying Von Neumann regularity $\Theta_{1}\Theta_{2}\Theta_{1}=\Theta_{1}$ instead of anticommutativity) are introduced and their properties are studied. They are described in…

Quantum Algebra · Mathematics 2007-05-23 Steven Duplij , Wladyslaw Marcinek

We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…

Category Theory · Mathematics 2020-07-01 Saugata Basu , M. Umut Isik

Let $G$ be a simply-connected semisimple algebraic group over an algebraically closed field of characteristic $p$, assumed to be larger than the Coxeter number. The "support variety" of a $G$-module $M$ is a certain closed subvariety of the…

Representation Theory · Mathematics 2018-03-28 Pramod N. Achar , William Hardesty , Simon Riche

This paper gives a uniform, self-contained and direct approach to a variety of obstruction-theoretic problems on manifolds of dimension 7 and 6. We give necessary and sufficient cohomological criteria for the existence of various…

Algebraic Topology · Mathematics 2019-09-20 Martin Cadek , Michael Crabb , Tomas Salac

Geometric complexity theory (GCT) is an approach to the $P$ vs. $NP$ and related problems through algebraic geometry and representation theory. This article gives a high-level exposition of the basic plan of GCT based on the principle,…

Computational Complexity · Computer Science 2007-09-07 Ketan D. Mulmuley

Within the frame of a Group Approach to Quantization anomalies arise in a quite natural way. We present in this talk an analysis of the basic obstructions that can be found when we try to translate symmetries of the Newton equations to the…

High Energy Physics - Theory · Physics 2007-05-23 V. Aldaya , M. Calixto , J. Guerrero

Over function fields of p-adic curves, we construct stably rational varieties in the form of homogeneous spaces of SL_n with semisimple simply connected stabilizers and we show that strong approximation away from a non-empty set of places…

Number Theory · Mathematics 2023-07-18 Haowen Zhang

A key question in biological systems is whether genetic diversity persists in the long run under evolutionary competition or whether a single dominant genotype emerges. Classic work by Kalmus in 1945 has established that even in simple…

Populations and Evolution · Quantitative Biology 2015-10-23 Ruta Mehta , Ioannis Panageas , Georgios Piliouras , Sadra Yazdanbod

We show that the strongly symmetric spectral convex compact sets are precisely the normalized state spaces of finite-dimensional simple Euclidean Jordan algebras and the simplices. Spectrality is the property that every state has a convex…

Mathematical Physics · Physics 2019-04-09 Howard Barnum , Joachim Hilgert

We study an obstruction to prescribing the dual complex of a strict semistable degeneration of an algebraic surface. In particular, we show that if $\Delta$ is a complex homeomorphic to a 2-dimensional manifold with negative Euler…

Algebraic Geometry · Mathematics 2019-09-13 Dustin Cartwright

This article belongs to a series on geometric complexity theory (GCT), an approach to the P vs. NP and related problems through algebraic geometry and representation theory. The basic principle behind this approach is called the flip. In…

Computational Complexity · Computer Science 2009-01-22 Ketan D. Mulmuley

We find upper and lower bounds of the multiplicities of irreducible admissible representations $\pi$ of a semisimple Lie group $G$ occurring in the induced representations $Ind_H^G\tau$ from irreducible representations $\tau$ of a closed…

Representation Theory · Mathematics 2013-10-09 Toshiyuki Kobayashi , Toshio Oshima

We prove a general likely intersections theorem, a counterpart to the Zilber-Pink conjectures, under the assumption that the Ax-Schanuel property and some mild additional conditions are known to hold for a given category of complex quotient…

Algebraic Geometry · Mathematics 2026-01-14 Sebastian Eterović , Thomas Scanlon

In 1985, Levy used a theorem of Berstein to prove that all hyperbolic topological polynomials are equivalent to complex polynomials. We prove a partial converse to the Berstein-Levy Theorem: given post-critical dynamics that are in a sense…

Dynamical Systems · Mathematics 2015-03-17 Gregory A. Kelsey