# Tags

A tag is a keyword or label that categorizes your question with other, similar questions. Using the right tags makes it easier for others to find and answer your question.

forcing× 616

a method first used to prove the continuum hypothesis is independent of the classical axioms of set theory

moduli-spaces× 616

Given a concrete category C, with objects denoted Obj(C), and an equivalence relation ~ on Obj(C) given by morphisms in C. The moduli set for Obj(C) is the set of equivalence classes with respect to …

convex-polytopes× 607

the convex hulls of a finite set of points in Euclidean spaces. They have rich combinatorial, arithmetic, and metrical theory, and are related to toric varieties and to linear pr…

knot-theory× 605

dealing with embedding of curves in manifolds of dimension 3. A knot is a single circle embedded in the affine space of dimension 3 as a smooth curve not crossing itself. Many knot inva…

sp.spectral-theory× 604

Schrodinger operators, operators on manifolds, general differential operators, numerical studies, integral operators, discrete models, resonances, non-self-adjoint operators, random operators/matrices…

computability-theory× 603

computable sets and functions, Turing degrees, c.e. degrees, models of computability, primitive recursion, oracle computation, models of computability, decision problems, undecidability, Turing jump, …

qa.quantum-algebra× 584

Quantum groups, skein theories, operadic and diagrammatic algebra, quantum field theory

ergodic-theory× 577

Dynamical systems on measure spaces, invariant measures, ergodic averages, mixing properties.

elliptic-pde× 566

Questions about partial differential equations of elliptic type. Often used in combination with the top-level tag ap.analysis-of-pdes.

convex-geometry× 557

A branch of geometry dealing with convex sets and functions. Polytopes, convex bodies, discrete geometry, linear programming, antimatroids, ...

sobolev-spaces× 556

a vector space of functions equipped with a norm that is a combination of Lp-norms of the function itself and its derivatives up to a given order.

abelian-varieties× 550

projective algebraic varieties endowed with an Abelian group structure. Over the complex numbers, they can be described as quotients of a vector space by a lattice of full rank. …

stochastic-calculus× 550

Stochastic calculus provides a consistent theory of integration for stochastic processes and is used to model random systems. Its applications range from statistical physics to quantitative finance.

group-cohomology× 546

a set of mathematical tools used to study groups using cohomology theory, a technique from algebraic topology. Analogous to group representations, group cohomology …

geometric-group-theory× 540

Large scale properties of groups; growth functions; Dehn functions; small cancellation properties; hyperbolicity and CAT(0); actions and representations; combinatorial group theory; presentations

galois-theory× 535

Galois theory, named after Évariste Galois, provides a connection between field theory and group theory. Using Galois theory, certain problems in field theory can be reduced to group theory, which is,…

special-functions× 532

Many special functions appear as solutions of differential equations or integrals of elementary functions. Most special functions have relationships with representation theory of Lie groups.

simplicial-stuff× 503

For questions about simplicial sets, simplicial (co)algebras and simplicial objects in other categories; geometric realization, Dold-Kan correspondence, simplicial resolutions etc.

diophantine-equations× 495

polynomial equations $F=0$, or systems of polynomial equations $F_1=\ldots=F_k=0$, where $F,F_1,\ldots,F_k$ are polynomials in either $\mathbb{Z}[X_1,\ldots,X_n]$ of $\mathbb…

automorphic-forms× 473

a well-behaved function from a topological group $G$ to the complex numbers (or complex vector space) which is invariant under the action of a discrete subgroup $\Gamma \subset …

computer-science× 470

For question borderline with, or having application to, computer science. Consider also posting http://cs.stackexchange.com/ or http://cstheory.stackexchange.com/ instead of here, if appropriate.

finite-fields× 467

a field with a finite number of elements. For each prime power $q^k$, there is a unique (up to isomorphism) finite field with $q^k$ elements. Up to isomorphism, these are the only …

lattices× 466

used in number theory. (Not to be confused with lattice theory or lattices as used in physics!)

c-star-algebras× 463

a complex Banach algebra together with an isometric antilinear involution satisfying (a b)* = b* a* and the C*-identity ‖a* a‖ = ‖a‖². Related tags: [tag:banach-algebras], [tag:von-ne…

deformation-theory× 458

for questions about deformation theory, including deformations of manifolds, schemes, Galois representations, and von Neumann algebras.

etale-cohomology× 453

for questions about etale cohomology of schemes, including foundational material and applications.

open-problems× 451

equivalent to a known open problem, then the open-problem tag is added. After that, the question essentially becomes, "What is known about this problem? What are some…

riemann-surfaces× 445

one dimensional complex manifold. For questions about classical examples in complex analysis, complex geometry, surface topology.

topological-groups× 443

a group $G$ together with a topology on the elements of $G$ such that the group operation and group inverse function are both continuous (with respect to the topology).