Estado de clasificación para un álgebra (o problema de representación) en el que, para cada dimensión fija, las representaciones indecomponibles aparecen en un número finito de familias discretas más un número finito de familias paramétricas de un parámetro; el problema es sustancialmente más controlable que en el caso salvaje.

Principio

El comportamiento moderado significa que los indecomponibles pueden parametrizarse por una colección finita de curvas algebraicas (a menudo familias de un parámetro) junto con un número finito de módulos excepcionales, de modo que la clasificación se reduce a describir estas familias y excepciones discretas en lugar de problemas matriciales arbitrarios.

Demostración

Ejemplo concreto: el quiver de Kronecker sobre un cuerpo algebraicamente cerrado es un caso clásico moderado: las representaciones indecomponibles de cada dimensión se dividen en un número finito de familias de un parámetro (típicamente parametrizadas por P^1) y algunos indecomponibles excepcionales.

Aplicación incorrecta

Llamar a un álgebra moderada únicamente porque existen clasificaciones explícitas hasta cierta dimensión pequeña, o confundir moderado con tipo de representación finito (finito significa sólo un número finito de indecomponibles hasta isomorfismo, mientras que moderado permite familias de un parámetro).

Consecuencia

La moderación posibilita descripciones sistemáticas de los indecomponibles y a menudo parametrizaciones efectivas y herramientas moduliarias; los problemas de clasificación son tratables en principio y con frecuencia admiten descripciones geométricas de las familias.

Inversión

Tipo de representación salvaje, donde no existe tal dicotomía finito/familias de un parámetro y se puede codificar complejidad arbitraria en las familias de representaciones.

Límite

Noción aplicada típicamente a álgebras de dimensión finita sobre un cuerpo algebraicamente cerrado y sensible al cambio de cuerpo base; 'moderado' excluye 'finito' como condición más fuerte y se sitúa estrictamente entre finito y salvaje en la tricotomía habitual.

Tensión semántica

Tensión entre 'moderado' y términos como 'doméstico' o 'finito': algunos autores refinan moderado en subtipos (doméstico, tubular, etc.), por lo que la sola palabra 'moderado' puede ocultar distinciones finas sobre la naturaleza de las familias paramétricas.

Síntesis

El tipo de representación moderado captura la situación en la que los indecomponibles, aunque infinitos, se organizan en un conjunto controlado de tipos discretos y un número finito de familias de un parámetro; esto permite enfoques geométricos y moduliarios para la clasificación y marca el límite cualitativo entre complejidad manejable y salvajidad intratable.