El subschema o subconjunto del espacio de parámetros o de la base definido por la anulación simultánea de una colección prescrita de menores de una matriz de presentación. Los puntos de este locus son exactamente aquellos donde fallan las desigualdades de rango esperadas y donde haces o morfismos asociados disminuyen su rango.

Principio

Los menores de una matriz generan los ideales determinantal que controlan condiciones de rango: la anulación de todos los menores de tamaño (r+1) caracteriza el lugar donde el rango ≤ r. Tales loci son típicamente cerrados y definen variedades determinantal con codimensión prevista en situaciones genéricas.

Demostración

Ejemplo estándar: la variedad determinantal de matrices m×n de rango ≤ r está cortada en el espacio afín de matrices por la anulación de todos los menores (r+1)×(r+1). Geométricamente, para un morfismo de fibrados vectoriales E→F sobre un esquema, el lugar donde el morfismo tiene rango ≤ r viene definido por los menores correspondientes de cualquier matriz local que presente el morfismo.

Aplicación incorrecta

Suponer que la anulación de un conjunto no maximal de menores basta para controlar el rango globalmente, o ignorar la saturación y las componentes embebidas al traducir menores en condiciones esquema-teóricas. Otro error frecuente es computar menores en una base inadecuada sin seguir el comportamiento bajo cambio de base.

Consecuencia

Identificar el locus de anulación de menores proporciona una estructura determinantal canónica para loci de degeneración, aporta ecuaciones para condiciones moduli y estratifica la base por rango. También predice codimensiones y singularidades esperadas, orientando resoluciones o desingularizaciones cuando sean necesarias.

Inversión

El locus complemento donde algunos menores prescritos no se anulan; allí la matriz alcanza el rango esperado y se cumplen afirmaciones de trivialidad local (marcos, divisiones). En muchos argumentos se trabaja en ese abierto para evitar degeneraciones.

Límite

Depende de la elección de la matriz de presentación y de sutilezas esquema-teóricas: los ideales generados por menores pueden requerir saturación, y sobre bases no reducidas los menores pueden inducir a error. La descripción es local en la topología de Zariski y puede no captar puntos embebidos o estructura no reducida sin cuidado esquema-teórico.

Tensión semántica

Existe tensión entre la descripción algebraica-combinatoria (ideales de menores) y la noción geométrica de rango; 'locus de anulación de menores' puede confundirse con su soporte reducido o con desigualdades de rango ingenuas. También existe un compromiso entre usar menores y usar invariantes más intrínsecos (ideales de Fitting, complejos determinantal).

Síntesis

El Locus de Anulación de Menores es el subschema determinantal donde menores prescritos de una presentación se anulan, equivalente al lugar de fallo de rango para una matriz o morfismo. Proporciona ecuaciones concretas para la degeneración, predice codimensión y estructura de singularidades en situaciones genéricas, y debe manejarse con precisión esquema-teórica (saturación, cambio de base) para ser una herramienta fiable en clasificación y resolución.