相关论文: Geometric Complexity Theory II: Towards explicit o…

We show that every NP problem is polynomially equivalent to a simple combinatorial problem: the membership problem for a special class of digraphs. These classes are defined by means of shadows (projections) and by finitely many forbidden…

Let $i:X\hookrightarrow Y$ be a closed embedding of smooth algebraic varieties. Denote by $N$ the normal bundle of $X$ in $Y$. We describe the construction of two Lie-type structures on the shifted bundle $N[-1]$ which encode the…

This paper addresses the problem of describing the structure of tensor C*-categories M with conjugates and irreducible tensor unit. No assumption on the existence of a braided symmetry or on amenability is made. Our assumptions are…

We extend the notion of rational points and cohomological obstructions on varieties to categories fibred in groupoids. We also establish the generalized theory of descent by torsors. Then we interpret the obstruction given by the second…

First and second fundamental theorems are given for polynomial invariants of a class of pseudo-reflection groups (including the Weyl groups of type $B_n$), under the assumption that the order of the group is invertible in the base field.…

The geometric models for the module category and derived category of any gentle algebra were introduced to realize the objects in module category and derived category by permissible curves and admissible curves respectively. The present…

I describe three geometric approaches to resolving variants of P v. NP, present several results that illustrate the role of group actions in complexity theory, and make a first step towards completely geometric definitions of complexity…

Using Quillen-Lurie deformation theory formalism we develop an obstruction theory for studying the stable $\infty$-category of modules over a given geometric $\infty$-stack. The obstruction theory studies the problem of lifting compact…

We survey Weber's class number problem and its variants in the spirit of arithmetic topology; we recollect some history, present a relation to certain units and generalized Pell's equation, and overview a study of the $p$-adic limits of…

This paper demonstrates that P \not= NP. The way was to generalize the traditional definitions of the classes P and NP, to construct an artificial problem (a generalization to SAT: The XG-SAT, much more difficult than the former) and then…

We study an analogue of the Brauer-Manin obstruction to the local-global principle for embedding problems over global fields. We will prove the analogues of several fundamental structural results. In particular we show that the (algebraic)…

The Surjective Homomorphism problem is to test whether a given graph G called the guest graph allows a vertex-surjective homomorphism to some other given graph H called the host graph. The bijective and injective homomorphism problems can…

We introduce a class of combinatorial hypersurfaces in the complex projective space. They are submanifolds of codimension~2 in $\C P^n$ and are topologically "glued" out of algebraic hypersurfaces in $(\C^*)^n$. Our construction can be…

The notion of higher order dual varieties of a projective variety, introduced in \cite{P83}, is a natural generalization of the classical notion of projective duality. In this paper we present geometric and combinatorial characterizations…

Cluster varieties are geometric objects that have recently found applications in several areas of mathematics and mathematical physics. This thesis studies the geometry of a large class of cluster varieties associated to compact oriented…

Let $X$ be a nonempty real variety that is invariant under the action of a reflection group $G$. We conjecture that if $X$ is defined in terms of the first $k$ basic invariants of $G$ (ordered by degree), then $X$ meets a $k$-dimensional…

We consider the general problem of blocking all solutions of some given combinatorial problem with only few elements. For example, the problem of destroying all maximum cliques of a given graph by forbidding only few vertices. Problems of…

We construct an obstruction theory for relative Hilbert schemes in the sense of Behrend-Fantechi and compute it explicitly for relative Hilbert schemes of divisors on smooth projective varieties. In the special case of curves on a surface…

A fundamental pursuit in complexity theory concerns reducing worst-case problems to average-case problems. There exist complexity classes such as PSPACE that admit worst-case to average-case reductions. However, for many other classes such…

A fundamental goal of algebraic geometry is to do for singular varieties whatever we can do for smooth ones. Intersection homology, for example, directly produces groups associated to any variety which have almost all the properties of the…