Mata kuliah fondasi
Praaljabar dan Fondasi Kuantitatif
Beranda program — Praaljabar dan Fondasi Kuantitatif
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Buka bahan belajar id
- Baca bahan program — Unduh id
- Sumber asli — Original publisher page — OpenStax Prealgebra 2e en
Persiapan untuk mempelajari
Belum ada mata kuliah lanjutan yang dinyatakan dalam snapshot ini.
Aljabar Dasar
Beranda program — Aljabar Dasar
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Baca Aljabar Dasar — 82 modul lengkap id
- Sumber asli — Original publisher page — OpenStax Elementary Algebra 2e en
Persiapan untuk mempelajari
Belum ada mata kuliah lanjutan yang dinyatakan dalam snapshot ini.
Aljabar Menengah
Beranda program — Aljabar Menengah
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Buku teks lengkap — 3438 halaman id
- Sumber asli — Original publisher reader — OpenStax Intermediate Algebra 2e en
Persiapan untuk mempelajari
Belum ada mata kuliah lanjutan yang dinyatakan dalam snapshot ini.
Prakalkulus dan Trigonometri
Beranda program — Prakalkulus dan Trigonometri
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Buku teks lengkap — 3165 halaman id
- Sumber asli — Original publisher reader — OpenStax Precalculus 2e en
Persiapan untuk mempelajari
Belum ada mata kuliah lanjutan yang dinyatakan dalam snapshot ini.
Pembuktian, Logika, dan Struktur Diskrit
Beranda program — Pembuktian, Logika, dan Struktur Diskrit
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Buka bahan belajar id
- Baca bahan program — Unduh id
- Sumber asli — Original author’s reader — Discrete Mathematics: An Open Introduction, 4th edition en
Persiapan untuk mempelajari
Belum ada mata kuliah lanjutan yang dinyatakan dalam snapshot ini.
Kalkulus Diferensial
Beranda program — Kalkulus Diferensial
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Buku teks — 442 halaman id
- Sumber asli — Original authors’ website — CLP-1 textbook, problems and PDFs en
Persiapan untuk mempelajari
Belum ada mata kuliah lanjutan yang dinyatakan dalam snapshot ini.
Kalkulus Integral
Beranda program — Kalkulus Integral
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Buku gabungan teks dan soal — 1243 halaman id
- Sumber asli — Original authors’ website — CLP-2 textbook, problems and PDFs en
Persiapan untuk mempelajari
Belum ada mata kuliah lanjutan yang dinyatakan dalam snapshot ini.
Aljabar Linear
Baca teks asli berbahasa Inggris — 34 bagian hingga Ruang Vektor Kompleks (sebagian buku)
Baca bagian fondasi berbahasa Inggris — sistem linear, ruang vektor, dan basis (sebagian buku)
Beranda program — Aljabar Linear
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Buka bahan belajar id
- Baca bahan program — Unduh id
- Sumber asli — Hefferon: Linear Algebra, answers, and Sage lab en
Persiapan untuk mempelajari
Kalkulus Multivariabel
Beranda program — Kalkulus Multivariabel
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
Persiapan untuk mempelajari
Kalkulus Vektor
Beranda program — Kalkulus Vektor
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
Persiapan untuk mempelajari
Belum ada mata kuliah lanjutan yang dinyatakan dalam snapshot ini.
Persamaan Diferensial Biasa dan Sistem Dinamika Pengantar
Beranda program — Persamaan Diferensial Biasa dan Sistem Dinamika Pengantar
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
Persiapan untuk mempelajari
Komputasi Matematis dan Eksperimen Reprodusibel
Beranda program — Komputasi Matematis dan Eksperimen Reprodusibel
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
Persiapan untuk mempelajari
Belum ada mata kuliah lanjutan yang dinyatakan dalam snapshot ini.
Probabilitas Berbasis Kalkulus
Beranda program — Probabilitas Berbasis Kalkulus
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Buka bahan belajar id
- Baca bahan program — Unduh id
- Sumber asli — Grinstead–Snell: Introduction to Probability en
Persiapan untuk mempelajari
Belum ada mata kuliah lanjutan yang dinyatakan dalam snapshot ini.
Statistika Terapan dan Analisis Data
Beranda program — Statistika Terapan dan Analisis Data
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Buku teks lengkap — 462 halaman id
- Sumber asli — OpenIntro Statistics, 4th edition en
Persiapan untuk mempelajari
Belum ada mata kuliah lanjutan yang dinyatakan dalam snapshot ini.
Analisis Real I
Beranda program — Analisis Real I
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
Persiapan untuk mempelajari
Analisis Real II
Beranda program — Analisis Real II
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
Persiapan untuk mempelajari
Aljabar Abstrak I
Beranda program — Aljabar Abstrak I
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Buka bahan belajar id
- Baca bahan program — Unduh id
- Sumber asli — Abstract Algebra: Theory and Applications en
Persiapan untuk mempelajari
Aljabar Abstrak II
Beranda program — Aljabar Abstrak II
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Buka bahan belajar id
- Baca bahan program — Unduh id
- Sumber asli — Abstract Algebra: Theory and Applications en
Persiapan untuk mempelajari
- Commutative algebra for geometry
- Group schemes
- Reductive group schemes
- Galois representations
- The local Langlands correspondence for GL_n
- Modular forms
- The abstract theory of ideals
- Hypercomplex systems and representations
- Ideal theory in rings
- Invariants and finiteness
- Rational function fields and equations with prescribed group
- Number fields
- Class field theory
- Dirichlet L-functions and primes in progressions
- Local fields
- Representations of finite groups
- Semisimple Lie algebras
- Linear forms in logarithms and their applications
- Transcendental numbers
Analisis Kompleks
Beranda program — Analisis Kompleks
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
Persiapan untuk mempelajari
- D-modules
- Modular forms
- Lie's theory of transformation groups
- Adèles, idèles and Tate's thesis
- Dirichlet L-functions and primes in progressions
- Explicit formulas and positivity
- The Riemann zeta function
- Linear forms in logarithms and their applications
- Transcendental numbers
- Analytic elements, strips and KMS
Teori Bilangan dan Kriptologi
Beranda program — Teori Bilangan dan Kriptologi
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Buka bahan belajar id
- Baca bahan program — Unduh id
- Sumber asli — Yet Another Introductory Number Theory Textbook en
Persiapan untuk mempelajari
Kombinatorika Terapan
Beranda program — Kombinatorika Terapan
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Buka bahan belajar id
- Baca bahan program — Unduh id
- Sumber asli — Applied Combinatorics en
Persiapan untuk mempelajari
Belum ada mata kuliah lanjutan yang dinyatakan dalam snapshot ini.
Logika Matematis, Teori Himpunan, dan Komputabilitas
Beranda program — Logika Matematis, Teori Himpunan, dan Komputabilitas
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
Persiapan untuk mempelajari
Belum ada mata kuliah lanjutan yang dinyatakan dalam snapshot ini.
Topologi Himpunan-Titik
Beranda program — Topologi Himpunan-Titik
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Buka bahan belajar id
- Baca bahan program — Unduh id
- Sumber asli — Topology: An Inquiry-Based Approach en
Persiapan untuk mempelajari
- Descent and the étale fundamental group
- Sheaves and schemes
- Harmonic analysis on locally compact abelian groups
- K-theory of C*-algebras
- Galois representations
- Modular forms
- Adèles, idèles and Tate's thesis
- Class field theory
- Local fields
- Sites, topoi and étale cohomology
- Automorphic forms and representations of GL(2)
- Function algebras and approximation
- Harmonic analysis on locally compact groups
Geometri: Euklides, Afin, Projektif, dan Non-Euklides
Beranda program — Geometri: Euklides, Afin, Projektif, dan Non-Euklides
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Buka bahan belajar id
- Baca bahan program — Unduh id
- Baca bahan program — Buka bahan belajar id
- Sumber asli — Euclidean plane and its relatives en
- Sumber asli — A Workbook of Two-Dimensional Geometries en
Persiapan untuk mempelajari
Belum ada mata kuliah lanjutan yang dinyatakan dalam snapshot ini.
Analisis Numerik
Beranda program — Analisis Numerik
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
Persiapan untuk mempelajari
Belum ada mata kuliah lanjutan yang dinyatakan dalam snapshot ini.
Pemodelan Matematis dan Dinamika Nonlinear
Beranda program — Pemodelan Matematis dan Dinamika Nonlinear
Pelajari terlebih dahulu
- Persamaan Diferensial Biasa dan Sistem Dinamika Pengantar
- Komputasi Matematis dan Eksperimen Reprodusibel
- Analisis Real I
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Buka bahan belajar id
- Baca bahan program — Unduh id
- Sumber asli — Introduction to Mathematical Modeling en
Persiapan untuk mempelajari
Belum ada mata kuliah lanjutan yang dinyatakan dalam snapshot ini.
Optimisasi Linear dan Integer / Riset Operasi
Beranda program — Optimisasi Linear dan Integer / Riset Operasi
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Buka bahan belajar id
- Baca bahan program — Unduh id
- Sumber asli — Open Optimization: Linear and Integer Programming en
Persiapan untuk mempelajari
Belum ada mata kuliah lanjutan yang dinyatakan dalam snapshot ini.
Statistika Matematis
Beranda program — Statistika Matematis
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Baca mata kuliah STAT 415 id
- Baca bahan program — Unduh buku STAT 415 — 219 halaman id
- Sumber asli — STAT 415: Mathematical Statistics en
- Sumber asli — Sufficient, Complete, and Ancillary Statistics en
Persiapan untuk mempelajari
Belum ada mata kuliah lanjutan yang dinyatakan dalam snapshot ini.
Ukuran dan Integrasi
Beranda program — Ukuran dan Integrasi
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Buka bahan belajar id
- Baca bahan program — Unduh id
- Sumber asli — Fremlin: Measure Theory en
Persiapan untuk mempelajari
- Elliptic operators and boundary problems
- Spectra, resolvents and scattering
- Harmonic analysis on locally compact abelian groups
- Crossed products and groupoid C*-algebras
- Modular forms
- Adèles, idèles and Tate's thesis
- Explicit formulas and positivity
- Local fields
- Crossed products and the flow of weights
- Modular theory and weights
- Automorphic forms and representations of GL(2)
- Injective factors
- Measurable fields and direct integrals
- Noncommutative integration and spatial theory
- Representations of compact groups
- Traces and noncommutative integration
- Type III factors: central sequences, full factors and almost periodic states
Analisis Fungsional
Beranda program — Analisis Fungsional
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Buka bahan belajar id
- Baca bahan program — Unduh id
- Baca bahan program — Buka bahan belajar id
- Sumber asli — Functional Analysis and Operator Algebras en
Persiapan untuk mempelajari
- Elliptic operators and boundary problems
- Spectra, resolvents and scattering
- Harmonic analysis on locally compact abelian groups
- Crossed products and groupoid C*-algebras
- Kasparov's KK-theory
- K-theory of C*-algebras
- Cyclic cohomology, connections and transverse geometry
- Spectral triples and the local index formula
- Adèles, idèles and Tate's thesis
- Explicit formulas and positivity
- Crossed products and the flow of weights
- Modular theory and weights
- Analytic elements, strips and KMS
- Automorphic forms and representations of GL(2)
- Entropy of automorphisms
- Foundations of von Neumann algebras
- Hilbert algebras
- Hilbert C*-modules and Morita equivalence
- Index theory of elliptic operators
- Injective factors
- Measurable fields and direct integrals
- Noncommutative integration and spatial theory
- Representations of compact groups
- Tensor products of operator algebras
- Totally characteristic operators
- Traces and noncommutative integration
- Type III factors: central sequences, full factors and almost periodic states
Probabilitas Teoretis-Ukuran dan Proses Stokastik
Beranda program — Probabilitas Teoretis-Ukuran dan Proses Stokastik
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Buka bahan belajar id
- Baca bahan program — Unduh id
- Baca bahan program — Buka bahan belajar id
- Sumber asli — Random: Probability and Stochastic Processes en
- Sumber asli — Continuous Time Markov Chains en
- Sumber asli — Intro to Stochastic Processes en
Persiapan untuk mempelajari
Belum ada mata kuliah lanjutan yang dinyatakan dalam snapshot ini.
Persamaan Diferensial Parsial
Beranda program — Persamaan Diferensial Parsial
Pelajari terlebih dahulu
- Persamaan Diferensial Biasa dan Sistem Dinamika Pengantar
- Analisis Numerik
- Ukuran dan Integrasi
- Analisis Fungsional
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Buka bahan belajar id
- Baca bahan program — Unduh id
- Baca bahan program — Buka bahan belajar id
- Sumber asli — Dionne: Partial Differential Equations en
- Sumber asli — The FEniCSx Tutorial en
Persiapan untuk mempelajari
Lipatan Mulus dan Geometri Diferensial
Beranda program — Lipatan Mulus dan Geometri Diferensial
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Buka bahan belajar id
- Baca bahan program — Unduh id
- Sumber asli — Holger Brenner — Differentialgeometrie (Osnabrück 2023) de
Persiapan untuk mempelajari
- Elliptic operators and boundary problems
- Spectra, resolvents and scattering
- Characteristic classes
- Connections, curvature and holonomy
- Kasparov's KK-theory
- Lie's theory of transformation groups
- Cyclic cohomology, connections and transverse geometry
- Spectral triples and the local index formula
- Symmetries and conservation laws
- Microlocal sheaves
- Constructible and perverse sheaves
- Index theory of elliptic operators
- Representations of compact groups
Topologi Aljabar
Beranda program — Topologi Aljabar
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Buka bahan belajar id
- Baca bahan program — Unduh id
- Sumber asli — Roberts: Algebraic Topology en
- Sumber asli — Fomberg: Algebraic Topology en
Persiapan untuk mempelajari
- Algebraic spaces and stacks
- Characteristic classes
- Connections, curvature and holonomy
- D-modules
- The geometric Langlands conjecture
- Perverse sheaves and intersection cohomology
- The affine Grassmannian and geometric Satake
- Kasparov's KK-theory
- Modular forms
- Microlocal sheaves
- Constructible and perverse sheaves
Aljabar Pascasarjana
Beranda program — Aljabar Pascasarjana
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
Persiapan untuk mempelajari
- Commutative algebra for geometry
- Group schemes
- D-modules
- The affine Grassmannian and geometric Satake
- Galois representations
- The local Langlands correspondence for GL_n
- The abstract theory of ideals
- Hypercomplex systems and representations
- Ideal theory in rings
- Invariants and finiteness
- Rational function fields and equations with prescribed group
- Number fields
- Class field theory
- Local fields
Teori Kategori dan Metode Homologis
Beranda program — Teori Kategori dan Metode Homologis
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Buka bahan belajar id
- Baca bahan program — Unduh id
- Sumber asli — Wen-Wei Li — 代数学方法:卷二 zh
Persiapan untuk mempelajari
- Algebraic spaces and stacks
- Descent and the étale fundamental group
- Flat, smooth and étale morphisms
- Group schemes
- Hilbert and Picard schemes, deformations and representability
- Local cohomology, Lefschetz theorems and purity
- ℓ-adic cohomology and trace formulas
- Morphisms of schemes
- Cohomology of quasi-coherent sheaves
- Sheaves and schemes
- D-modules
- The geometric Langlands conjecture
- Perverse sheaves and intersection cohomology
- The affine Grassmannian and geometric Satake
- Cyclic cohomology, connections and transverse geometry
- Class field theory
- Microlocal sheaves
- Constructible and perverse sheaves
- Sites, topoi and étale cohomology
- Derived categories and sheaf operations
- The field with one element
Optimisasi Lanjut dan Analisis Konveks
Beranda program — Optimisasi Lanjut dan Analisis Konveks
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Buka bahan belajar id
- Baca bahan program — Unduh id
- Sumber asli — Habring: Convex Optimization en
Persiapan untuk mempelajari
Belum ada mata kuliah lanjutan yang dinyatakan dalam snapshot ini.
Jembatan Geometri Aljabar
Beranda program — Jembatan Geometri Aljabar
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Kurva Aljabar — 30 unit lengkap — 505 halaman id
- Baca bahan program — Baca Kurva Aljabar — 30 unit lengkap id
- Baca bahan program — Baca Bundel, Berkas, dan Kohomologi — 30 unit lengkap id
- Sumber asli — Holger Brenner — Algebraische Kurven (Osnabrück 2025–2026) de
- Sumber asli — Holger Brenner — Algebraische Kurven (Osnabrück 2012) de
- Sumber asli — Holger Brenner — Bündel, Garben und Kohomologie (2019–2020) de
Persiapan untuk mempelajari
- Descent and the étale fundamental group
- Flat, smooth and étale morphisms
- Hilbert and Picard schemes, deformations and representability
- Local cohomology, Lefschetz theorems and purity
- ℓ-adic cohomology and trace formulas
- D-modules
- The geometric Langlands conjecture
- Perverse sheaves and intersection cohomology
- The affine Grassmannian and geometric Satake
- The field with one element
Matematika Terformalisasi dalam Lean
Beranda program — Matematika Terformalisasi dalam Lean
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
- Baca bahan program — Buka bahan belajar id
- Baca bahan program — Unduh id
- Sumber asli — Authoritative original — Mathematics in Lean en
Persiapan untuk mempelajari
Belum ada mata kuliah lanjutan yang dinyatakan dalam snapshot ini.
Membaca Riset, Eksposisi, dan Kerja Matematis Reprodusibel
Beranda program — Membaca Riset, Eksposisi, dan Kerja Matematis Reprodusibel
Pelajari terlebih dahulu
Bahan bacaan yang tersedia dan bahasanya
Persiapan untuk mempelajari
Belum ada mata kuliah lanjutan yang dinyatakan dalam snapshot ini.
Mata kuliah lanjutan
Harmonic analysis on locally compact abelian groups
English · draft · 17 Pelajaran
Pelajari terlebih dahulu
- Topologi Himpunan-Titik
- Ukuran dan Integrasi
- Analisis Fungsional
- Harmonic analysis on locally compact groups
- Foundations of von Neumann algebras
- Function algebras and approximation
- Crossed products and the flow of weights
- Modular theory and weights
Pelajaran
- Fourier analysis on finite abelian groups
- Characters and the dual group
- The dual group as the Gelfand spectrum of L^1(G)
- Functions of positive type
- Raikov's theorem and the Gelfand–Raikov theorem
- Bochner's theorem
- The Fourier inversion theorem and the dual Haar measure
- The Plancherel theorem
- The Pontryagin duality theorem
- Subgroups, quotients and annihilators
- The Poisson summation formula
- The structure of locally compact abelian groups
- Unitary representations of abelian groups: the spectral theorem
- Closed ideals of L^1(G) and Wiener's theorem
- Tauberian theorems and spectral synthesis
- Almost periodic functions and the Bohr compactification
- Totally disconnected groups, the p-adic numbers and the adèles
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Number fields
English · draft · 17 Pelajaran
Pelajari terlebih dahulu
Pelajaran
- Algebraic integers and rings of integers
- Discriminants and integral bases
- Discrete valuation rings and Dedekind domains
- Norms of ideals, the ideal class group, and modules over Dedekind domains
- Decomposition of primes in extensions
- Hilbert's ramification theory in Galois extensions
- Lattices, Minkowski's theorem and the Minkowski embedding
- Finiteness of the class number
- Dirichlet's unit theorem
- Quadratic fields: ideal classes and binary quadratic forms
- Orders in number fields and their Picard groups
- Cyclotomic fields
- Units and class numbers of cyclotomic fields; Kummer's theorem for regular primes
- The different and the discriminant
- Counting ideals of bounded norm
- The Dedekind zeta function and the analytic class number formula
- Abelian number fields and Dirichlet L-functions at s = 1
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Flat, smooth and étale morphisms
English · draft · 7 Pelajaran
Pelajari terlebih dahulu
Pelajaran
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Foundations of von Neumann algebras
English · draft · 20 Pelajaran
Pelajari terlebih dahulu
Pelajaran
- Hahn–Banach, Baire and the basic theorems on Banach spaces
- Weak topologies: Tychonoff, Banach–Alaoglu, Mazur, bipolars, Krein–Milman and Eberlein–Šmulian
- Hilbert spaces and compact operators
- Cauchy's theorem for cycles and its consequences
- Banach algebras, spectrum, holomorphic functional calculus and Gelfand theory
- C*-algebras: continuous functional calculus, automatic continuity, positive cones, approximate identities and quotients
- The spectral theorem for bounded self-adjoint operators
- Representations and positive functionals: the GNS construction and the Gelfand–Naimark theorem
- AF-algebras
- Compact and trace-class operators, the predual of B(H), and the operator topologies
- The double commutant theorem
- Kaplansky's density theorem and its consequences
- Abelian operator algebras
- The universal enveloping von Neumann algebra of a C*-algebra, and W*-algebras
- Projections and types of von Neumann algebras
- Polar decomposition of functionals and weak compactness in preduals
- Completely positive maps
- Integral representations of states
- Polish spaces and standard Borel spaces
- Numerical ranges, positive matrices and co-Souslin sets
Sumber dan hak penggunaan
Claude Opus 5.5 (Anthropic); CC0-1.0
Persiapan untuk mempelajari
- Harmonic analysis on locally compact abelian groups
- Kasparov's KK-theory
- K-theory of C*-algebras
- Modular forms
- Cyclic cohomology, connections and transverse geometry
- Spectral triples and the local index formula
- Rational function fields and equations with prescribed group
- Class field theory
- Crossed products and the flow of weights
- Modular theory and weights
- Analytic elements, strips and KMS
- Entropy of automorphisms
- Harmonic analysis on locally compact groups
- Hilbert algebras
- Hilbert C*-modules and Morita equivalence
- Injective factors
- Measurable fields and direct integrals
- Noncommutative integration and spatial theory
- Tensor products of operator algebras
- Traces and noncommutative integration
- Type III factors: central sequences, full factors and almost periodic states
Measurable fields and direct integrals
English · draft · 5 Pelajaran
Pelajari terlebih dahulu
Pelajaran
Sumber dan hak penggunaan
Claude Opus 5.5 (Anthropic); CC0-1.0
Persiapan untuk mempelajari
Tensor products of operator algebras
English · draft · 2 Pelajaran
Pelajari terlebih dahulu
Pelajaran
Sumber dan hak penggunaan
Claude Opus 5.5 (Anthropic); CC0-1.0
Persiapan untuk mempelajari
Modular theory and weights
English · draft · 96 Pelajaran
Pelajari terlebih dahulu
Pelajaran
- Curriculum and full result contracts
- Finite domains and representations of general weights
- Weights and semicyclic representations: the exact opening package
- Comparing weights through finite-energy vectors
- A bounded-operator kernel for weight arguments
- Detecting normal weights by finite observations
- Finite domains, null directions, and support corners
- Concrete preduals from Hilbert tensors
- The predual-valued map of a normal weight
- Countable amplification and ultraweak bicommutant closure
- Normal positive maps and their preadjoints
- The vector retained by a comparison map
- A faithful weight on the GNS commutant
- Spectral calculus with its domains retained
- Recovering operators from energy forms
- Closing energy domains and comparing resolvents
- Compatible pairs and complex interpolation
- Closing an involution and recovering its modular data
- Building the two multiplication actions of a Hilbert algebra
- Haar convolution as left and right Hilbert algebras
- Polynomial cutoffs recover an operator's range
- Right Hilbert algebra density and commutants
- The full left Hilbert algebra obtained by dualizing twice
- Weights and the Hilbert spaces of multiplication
- Changing algebra coordinates and scaling a weight
- Analytic kernels for unbounded modular operators
- Approximating multiplication without losing its bound
- The modular group and its analytic algebra
- The positive cone of a standard representation
- Recovering a representation from its positive cone
- Contractive retractions and conditional expectations
- Spatial comparison on an arbitrary representation
- Constructing spatial energy from finite observations
- Adding spatial energies and changing the reference weight
- Spatial energy and modular time
- The KMS boundary condition determines the modular group
- Operators recovered from small trace defects
- Reconstructing a weight from a modular cocycle
- Recovering a weight from spatial energy
- Fixed elements and changes of density
- Trace densities and noncommutative integration
- Tracial multiplication actions and the preserving expectation
- Spectral layers in a semifinite trace algebra
- Changing the reference of a weight cocycle
- Forced C*-unitization
- Finite weight domains and GNS
- Bounded functionals and cyclic vectors
- States and the positive spanning family
- Weak compactness and second adjoints
- Banach holomorphy, generators, and resolvent limits
- Finite corners, faithful traces, and affine group fixed points
- The universal C*-bidual
- Lower semicontinuous C*-weights
- From a C*-modular condition to the GNS von Neumann algebra
- Supported GNS representations and the balanced cocycle
- Countable modular sums and infinite-weight boundaries
- Joint spectral measures and commutator estimates in standard form
- Measurable Hilbert fields and their diagonal commutant
- Central decomposition from countable operator equations
- Regular representations, Fourier algebras, and Borel group measures
- Compatible traces and the coupling operator
- Canonical L2 and standard implementations
- Relative tensor products and fusion
- Tensor operators and tensor weights
- Conditional expectations from modular invariance
- Corner weights tested on all positive energies
- Recognizing invariant weights by their densities
- Inner modular flow and rigidity of finite weight data
- Weight domination and exact half-strip endpoints
- Analytic generators and exact finite weight domains
- Commuting modular flows and relative half-strip multipliers
- Central cocycles and common finite domains
- Normal-functional polar decomposition and invariant pairs
- Ergodic factors and trace normalization
- Semifinite corners and bounded modular operators
- Modular partitions and the full finite domain
- Compact-time continuity along automorphism orbits
- Norm continuity of relative modular time
- A supported inverse weight cocycle
- Partial cocycles and their exact mixed KMS domains
- Comparing supported weights and transporting their cuts
- Uniform geometry of faithful weights
- When countable sums detect extended positive energy
- Finite calculus and composition of operator-valued weights
- Detecting and determining operator-valued weights
- Modular invariants of operator-valued weights
- Compatible modular weights and operator-valued reconstruction
- Homogeneous operators in the continuous core
- Commutant duality for operator-valued weights
- Six laboratories on expectations and operator-valued averages
- Compatible measurable GNS fields and both representation transports
- Measurable weight fields and their integrals
- Separable GNS spaces and disintegration of C*-weights
- The realization boundary in measurable weight fields
- Measurable algebra cores and exact selection
- Direct integrals of Hilbert and Tomita algebras
Sumber dan hak penggunaan
GPT-6 Astra and GPT-6 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
- Harmonic analysis on locally compact abelian groups
- Crossed products and the flow of weights
- Analytic elements, strips and KMS
- Entropy of automorphisms
- Hilbert algebras
- Injective factors
- Noncommutative integration and spatial theory
- Traces and noncommutative integration
- Type III factors: central sequences, full factors and almost periodic states
Hilbert algebras
English · draft · 1 Pelajaran
Pelajari terlebih dahulu
- Analisis Fungsional
- Modular theory and weights
- Harmonic analysis on locally compact groups
- Tensor products of operator algebras
- Foundations of von Neumann algebras
Pelajaran
Sumber dan hak penggunaan
Claude Opus 5.5 (Anthropic); CC0-1.0
Persiapan untuk mempelajari
Analytic elements, strips and KMS
English · draft · 2 Pelajaran
Pelajari terlebih dahulu
Pelajaran
Sumber dan hak penggunaan
Claude Opus 5.5 (Anthropic); CC0-1.0
Persiapan untuk mempelajari
Traces and noncommutative integration
English · draft · 4 Pelajaran
Pelajari terlebih dahulu
- Ukuran dan Integrasi
- Analisis Fungsional
- Foundations of von Neumann algebras
- Modular theory and weights
Pelajaran
Sumber dan hak penggunaan
Claude Opus 5.5 (Anthropic); CC0-1.0
Persiapan untuk mempelajari
Crossed products and the flow of weights
English · draft · 35 Pelajaran
Pelajari terlebih dahulu
- Ukuran dan Integrasi
- Analisis Fungsional
- Modular theory and weights
- Foundations of von Neumann algebras
Pelajaran
- Entry contracts and mathematical conventions
- Transporting crossed products through action cocycles
- Two crossed products and the surviving action
- Building an intrinsic flow from modular coordinates
- Central cocycles as obstructions to fixed implementers
- Kernels, local fixed parts, and freeness
- Closing a domain after spectral localization
- Integrating covariance with left Haar measure
- A coefficient domain for the dual GNS construction
- Moving an action and a modular parameter together
- Continuity of actions: scalar tests, preduals, and bounded nets
- Modular time on a crossed-product coefficient algebra
- Extending the dual weight beyond the common involution domain
- How the dual weight moves crossed-product generators
- Changing the Hilbert space of a regular crossed product
- Recovering multiplicity from a Weyl system
- Locating frequencies with Fourier filters
- Detecting semifinite corners through central translation
- Recovering a spectral coordinate from a scaled trace
- Comparing dual weights through matrix corners
- The coefficient algebra as the value space of a weight
- Averaging a dual action and recovering its coefficients
- Commuting with the original algebra inside its core
- Recovering a group action from its integrated operators
- Recovering covariance with nonunital coefficients
- Realizing central cocycles by spectral averaging
- Recovering a weight from dual invariance
- Removing noncentral cocycles from a trace-scaling action
- Recovering a crossed product from its eigenunitaries
- Recognizing the continuous core of a fixed algebra
- Haar coordinates and integration after recognition
- Dual weights and their supports
- The weight after crossing twice
- Derivatives of actions: domains, perturbations, and implementation
- Innerness and spectral tails
Sumber dan hak penggunaan
GPT-6 Astra and GPT-6 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Type III factors: central sequences, full factors and almost periodic states
English · draft · 4 Pelajaran
Pelajari terlebih dahulu
- Ukuran dan Integrasi
- Analisis Fungsional
- Modular theory and weights
- Traces and noncommutative integration
- Tensor products of operator algebras
- Foundations of von Neumann algebras
Pelajaran
Sumber dan hak penggunaan
Claude Opus 5.5 (Anthropic); CC0-1.0
Persiapan untuk mempelajari
Injective factors
English · draft · 6 Pelajaran
Pelajari terlebih dahulu
- Ukuran dan Integrasi
- Analisis Fungsional
- Type III factors: central sequences, full factors and almost periodic states
- Measurable fields and direct integrals
- Harmonic analysis on locally compact groups
- Foundations of von Neumann algebras
- Modular theory and weights
- Traces and noncommutative integration
- Tensor products of operator algebras
Pelajaran
Sumber dan hak penggunaan
Claude Opus 5.5 (Anthropic); CC0-1.0
Persiapan untuk mempelajari
Entropy of automorphisms
English · draft · 5 Pelajaran
Pelajari terlebih dahulu
- Analisis Fungsional
- Traces and noncommutative integration
- Modular theory and weights
- Analytic elements, strips and KMS
- Foundations of von Neumann algebras
Pelajaran
Sumber dan hak penggunaan
Claude Opus 5.5 (Anthropic); CC0-1.0
Persiapan untuk mempelajari
Noncommutative integration and spatial theory
English · draft · 4 Pelajaran
Pelajari terlebih dahulu
- Ukuran dan Integrasi
- Analisis Fungsional
- Modular theory and weights
- Measurable fields and direct integrals
- Hilbert algebras
- Foundations of von Neumann algebras
- Harmonic analysis on locally compact groups
- Tensor products of operator algebras
Pelajaran
Sumber dan hak penggunaan
Claude Opus 5.5 (Anthropic); CC0-1.0
Persiapan untuk mempelajari
Cyclic cohomology, connections and transverse geometry
English · draft · 5 Pelajaran
Pelajari terlebih dahulu
- Analisis Fungsional
- Lipatan Mulus dan Geometri Diferensial
- Teori Kategori dan Metode Homologis
- Foundations of von Neumann algebras
Pelajaran
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Spectral triples and the local index formula
English · draft · 4 Pelajaran
Pelajari terlebih dahulu
- Analisis Fungsional
- Lipatan Mulus dan Geometri Diferensial
- Elliptic operators and boundary problems
- Cyclic cohomology, connections and transverse geometry
- Foundations of von Neumann algebras
Pelajaran
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Function algebras and approximation
English · draft · 1 Pelajaran
Pelajari terlebih dahulu
Sumber dan hak penggunaan
Claude Opus 5.5 (Anthropic); CC0-1.0
Persiapan untuk mempelajari
Harmonic analysis on locally compact groups
English · draft · 4 Pelajaran
Pelajari terlebih dahulu
Pelajaran
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), Ultra; retained earlier text credited in the lessons; CC0-1.0
Persiapan untuk mempelajari
- Harmonic analysis on locally compact abelian groups
- Modular forms
- Rational function fields and equations with prescribed group
- Adèles, idèles and Tate's thesis
- Class field theory
- Local fields
- Automorphic forms and representations of GL(2)
- Hilbert algebras
- Injective factors
- Noncommutative integration and spatial theory
Elliptic operators and boundary problems
English · draft · 36 Pelajaran
Pelajari terlebih dahulu
- Ukuran dan Integrasi
- Analisis Fungsional
- Persamaan Diferensial Parsial
- Lipatan Mulus dan Geometri Diferensial
Pelajaran
- Exact prerequisite interfaces for quadratic multiplier estimates
- Polynomial and contour interfaces for stable boundary models
- Stable modes and the algebra of boundary data
- Local inverses and distance-weighted elliptic estimates
- Support contracts for moving-metric localization
- Localizing symbols when the measuring scale moves
- Quantitative estimates for quadratic Fourier multipliers
- Two measuring scales, one Weyl product
- From symbol estimates to operators on every Sobolev scale
- Singularities along a submanifold and smooth boundary passage
- From Weyl symbols to operators and changes of coordinates
- Detecting regularity without choosing coordinates
- Curved weights and the directions in which support can end
- Detecting a solution from infinite-order silence at one point
- Banach estimates, quotient spaces and compact parameter arguments
- Finite defects under perturbation
- Traces that survive passage to cohomology
- Positivity through a moving family of scalar probes
- From local energy to global divergence equations
- Positive energy and vanishing at the far end of space
- Boundary energy, local inverses, and harmonic data
- When a moving symbol scale controls an operator
- When a nonnegative scalar symbol acquires a negative part
- Building a local inverse from radial singularities
- Causal kernels, initial data, and short-time geometry
- A wave kernel that cancels at a curved boundary
- Symbols, finite defects, and the index on a closed manifold
- Cauchy data from jumps and residues
- Solving an elliptic system from compatible boundary measurements
- Spectral measures with the original operator domain retained
- Dirichlet realizations, spectral projectors, and local extensions
- Changing an interior frame to extend an invertible matrix
- Inverting mixed symbols without commuting matrix factors
- Composition of mixed symbols with two different remainder estimates
- Mixed symbols on every real two-parameter Sobolev scale
- Polynomial inverse expansion with ordered matrix coefficients
Sumber dan hak penggunaan
GPT-6 Astra and GPT-6 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Totally characteristic operators
English · draft · 1 Pelajaran
Pelajari terlebih dahulu
Sumber dan hak penggunaan
Claude Opus 5.5 (Anthropic); CC0-1.0
Persiapan untuk mempelajari
Index theory of elliptic operators
English · draft · 1 Pelajaran
Pelajari terlebih dahulu
Sumber dan hak penggunaan
Claude Opus 5.5 (Anthropic); CC0-1.0
Persiapan untuk mempelajari
Derived categories and sheaf operations
English · draft · 12 Pelajaran
Pelajari terlebih dahulu
Pelajaran
- Sheaves of modules on a ringed space
- Complexes, cones and localization
- Injective modules, flasque sheaves and bounded-below derived functors
- K-injective resolutions in Grothendieck abelian categories
- Flat modules and K-flat resolutions
- The derived tensor product and Tor sheaves
- Derived pullback and pushforward
- Hom complexes, internal derived Hom and Ext sheaves
- Sections with support and the localization triangle
- Perfect complexes and duals on a ringed space
- The projection formula and the base change map
- Sheaves of modules and their derived categories
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex at Ultra; retained contributions by Claude Opus 5.5 and GPT-6 Astra at Ultra; GFDL-1.2-or-later
Persiapan untuk mempelajari
- Hilbert and Picard schemes, deformations and representability
- Local cohomology, Lefschetz theorems and purity
- ℓ-adic cohomology and trace formulas
- Cohomology of quasi-coherent sheaves
- D-modules
- Perverse sheaves and intersection cohomology
- Rational function fields and equations with prescribed group
- Microlocal sheaves
- Constructible and perverse sheaves
- Sites, topoi and étale cohomology
Microlocal sheaves
English · draft · 56 Pelajaran
Pelajari terlebih dahulu
- Lipatan Mulus dan Geometri Diferensial
- Topologi Aljabar
- Teori Kategori dan Metode Homologis
- Derived categories and sheaf operations
Pelajaran
- How to use this course draft
- Open prerequisites and exact import contracts
- Supporting verifications for open prerequisites
- Open extensions and ambient supports
- Proper supports and the bounded classical comparison
- Proper-support composition through a change of base
- Extending sections on convex sets
- Recovering sheaf cohomology from closed pieces
- Continuing cohomology through a moving boundary
- Exceptional inverse image from a finite resolution
- Finite resolutions without a lower bound
- Transport along a scaling action
- Local orientations, dimension, and integration
- Composing sheaf operators through an intermediate space
- Inverse operators from complementary hemisphere boundaries
- Fourier kernels as radial averaging
- Fourier duality through a test complex on the base
- Duality when the dual leaves the original transform category
- Comparing traces after Fourier transformation
- Moving Fourier kernels across maps and products
- A linear map inside the Fourier comparison
- The graded line in a Fourier support comparison
- Transposing the complete Fourier trace comparison
- The geometric normalization of Fourier adjunctions
- Following the comparison maps into the normal bundle
- Directional neighborhoods and a sheaf projector
- Formal stabilization over arbitrary neighborhood sets
- Finite local data and sheaf biduality
- Supports, characteristic classes, and finite duality
- Boundary conditions, incidence operators, and trace identities
- Convex tests and radial comparisons
- Normal geometry as a family with a central fibre
- Reading a sheaf at the normal scale
- Covector tests of normal limits
- What a normal limit preserves
- Detecting and removing directional obstructions
- Comparing sheaves through local support tests
- Local morphisms in cotangent directions
- Product recovery for microlocal composition
- Transporting both inputs before forming internal Hom
- Analytic geometry for finite maps
- Normal Morse data and change of coefficients
- Perverse degrees and normal Morse complexes
- An isolated holomorphic test and its Morse filtration
- Directional information under a finite holomorphic map
- Uniform tests for an unbounded Hom complex
- Reading a subset through its sheaf
- Transporting directional obstructions
- Directional constraints under algebraic and geometric constructions
- Categories and operations in one cotangent direction
- Covectors at a boundary and at infinity
- Cotangent directions that survive a limiting operation
- Hamiltonian motion forced by a sheaf
- Local models and change of ambient manifold
- Continuing coefficients and transporting local morphisms
- From directional tests to further microlocal theories
Sumber dan hak penggunaan
GPT-6 Astra and GPT-6 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Spectra, resolvents and scattering
English · draft · 51 Pelajaran
Pelajari terlebih dahulu
- Ukuran dan Integrasi
- Analisis Fungsional
- Persamaan Diferensial Parsial
- Lipatan Mulus dan Geometri Diferensial
- Elliptic operators and boundary problems
Pelajaran
- Resolvents, domains and spectral density
- Endpoint spaces and flat energy shells
- Fourier traces on curved energy surfaces
- Mild weights and frequency localization
- Division and radiation at regular energies
- Polynomial translations and regular energies
- Global polynomial resolvent estimates
- Global radiation and flux
- Short-range compactness and local tests
- Polynomial localizations and rough coefficients
- Self-adjoint short-range operators
- Wave operators and modified phases
- Wave operators for differential perturbations
- Limiting absorption and point spectrum
- Distorted Fourier transforms and spectral density
- Asymptotic completeness for short-range operators
- Compact perturbations in weighted Hilbert spaces
- Scattering matrices at regular energies
- One-dimensional scattering and phase shifts
- Quadratic weights and uniqueness at infinity
- Wave evolution and cotangent flow
- Local spectral density and the subprincipal correction
- Return times and spectral counting
- Compressed spectral measures and symbol distributions
- Positive real powers and spectral rescaling
- Arithmetic spectral clusters and their distributions
- Averaging a perturbation around closed trajectories
- Reflection and the Dirichlet boundary coefficient
- Generalized rays and the Dirichlet Weyl law
- Regularizing long-range coefficients
- Admissible differential perturbations
- The Sobolev domain of an elliptic operator
- Weighted Sobolev spaces and rough elliptic estimates
- The resolvent away from the energy surface
- A resolvent estimate at noncritical frequencies
- Combining the long-range resolvent estimates
- Radiation for limits of long-range resolvents
- Outgoing flux and vanishing shell mass
- Weighted endpoint estimates and polynomial decay
- Limiting absorption for long-range differential perturbations
- Hamilton trajectories under a long-range force
- Smooth long-range phases from Hamilton trajectories
- Escaping Lagrangians on regular energy surfaces
- Generating functions and the end of a localized force
- Modified waves and the direction of escape
- Energy-shell factors and outgoing equations
- Frequency cutoffs and compact scattering remainders
- Commuting coordinates for long-range evolution
- Transverse moments and outgoing amplitudes
- Truncated operators and stable scattering amplitudes
- Spectral transforms and completeness of modified waves
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
The field with one element
English · draft · 15 Pelajaran
Pelajari terlebih dahulu
Pelajaran
- Counting over finite fields and the limit q → 1
- Weil's proof for curves and what is missing over the integers
- Commutative monoids and their spectra
- Monoid schemes
- Torified varieties and the limits of monoid schemes
- Varieties over the field with one element after Soulé and Connes–Consani
- Schemes relative to a symmetric monoidal category
- Λ-rings and descent to the field with one element
- Generalized rings
- Blueprints and blue schemes
- Characteristic one and hyperrings
- Γ-sets and algebras over the sphere
- The arithmetic site
- The scaling site
- The projective line over F_1 and the ABC conjecture
Sumber dan hak penggunaan
Claude Opus 5.5 (Anthropic); CC0-1.0
Persiapan untuk mempelajari
Group schemes
English · draft · 7 Pelajaran
Pelajari terlebih dahulu
Pelajaran
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Hilbert C*-modules and Morita equivalence
English · draft · 15 Pelajaran
Pelajari terlebih dahulu
Pelajaran
- Hilbert C*-modules
- Adjointable operators
- Compact operators, multipliers and the strict topology
- Finite projective modules, frames and K_0
- Tensor products and C*-correspondences
- Kasparov's stabilization theorem
- Fredholm operators and the K₀ index
- Unbounded regular operators
- Continuous fields over locally compact spaces
- Completely positive maps and the KSGNS construction
- Imprimitivity bimodules and Morita equivalence
- The Rieffel correspondence and induced representations
- Stable isomorphism: the Brown–Green–Rieffel theorem
- Morita invariance of K-theory and maps induced by correspondences
- Morita equivalence of noncommutative tori
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
ℓ-adic cohomology and trace formulas
English · draft · 11 Pelajaran
Pelajari terlebih dahulu
- Teori Kategori dan Metode Homologis
- Jembatan Geometri Aljabar
- Derived categories and sheaf operations
- The field with one element
Pelajaran
- ℓ-adic sheaves and their cohomology
- The pro-étale site and ℓ-adic complexes
- Frobenius morphisms and their action on cohomology
- Traces of perfect complexes and Lefschetz numbers
- Cycle classes and the Lefschetz fixed-point formula for curves
- The trace formula for curves
- The trace formula in all dimensions
- L-functions, rationality and the functional equation
- Lefschetz pencils and vanishing cycles
- The fundamental estimate
- The Riemann hypothesis over finite fields
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
D-modules
English · draft · 18 Pelajaran
Pelajari terlebih dahulu
- Jembatan Geometri Aljabar
- Teori Kategori dan Metode Homologis
- Aljabar Pascasarjana
- Topologi Aljabar
- Analisis Kompleks
- Derived categories and sheaf operations
- Microlocal sheaves
Pelajaran
- Differential operators and the Weyl algebra
- D-modules, flat connections and local systems
- Good filtrations and the characteristic variety
- The Bernstein filtration and holonomic modules over the Weyl algebra
- Bernstein-Sato polynomials
- Holonomic D-modules and duality
- Inverse images
- Direct images and the relative de Rham complex
- Kashiwara's equivalence and D-modules on singular spaces
- Adjunctions, base change and the projection formula
- Preservation of holonomicity and minimal extensions
- The de Rham functor
- Regular singularities
- The Riemann-Hilbert correspondence
- Equivariant and twisted D-modules
- Beilinson-Bernstein localization
- D-modules on stacks, ind-schemes and the de Rham prestack
- The Fourier transform of D-modules
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Perverse sheaves and intersection cohomology
English · draft · 12 Pelajaran
Pelajari terlebih dahulu
- Topologi Aljabar
- Teori Kategori dan Metode Homologis
- Jembatan Geometri Aljabar
- Derived categories and sheaf operations
- Microlocal sheaves
Pelajaran
- Constructible complexes on algebraic varieties
- Gluing t-structures
- The perverse t-structure
- Intermediate extensions and intersection complexes
- Affine morphisms, Artin vanishing and perverse cohomology
- Nearby and vanishing cycles
- Weights, purity and semisimplicity over finite fields
- The decomposition theorem
- Semismall maps and small resolutions
- Springer theory
- Equivariant perverse sheaves and perverse sheaves on stacks
- Perverse sheaves, D-modules and the function-sheaf dictionary
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Descent and the étale fundamental group
English · draft · 8 Pelajaran
Pelajari terlebih dahulu
Pelajaran
- Fibred categories and descent data
- Faithfully flat descent
- Descending properties of schemes and morphisms
- Galois categories
- The étale fundamental group
- Fundamental groups of proper schemes and the homotopy exact sequence
- Specialization maps and tame ramification
- Comparison with the topological fundamental group over the complex numbers
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Hilbert and Picard schemes, deformations and representability
English · draft · 12 Pelajaran
Pelajari terlebih dahulu
Pelajaran
- Representable functors and the functor of points
- Grassmannians
- Castelnuovo–Mumford regularity and boundedness
- Flattening stratifications
- Hilbert and Quot schemes
- Formal moduli and Schlessinger's theorem
- Deformations of rings and schemes and the naive cotangent complex
- Tangent spaces and obstructions for Hilbert and Quot schemes
- The Picard functor and the Picard scheme of a curve
- Relative divisors and the existence of the Picard scheme
- The structure of the Picard scheme
- The cotangent complex
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
The geometric Langlands conjecture
English · draft · 6 Pelajaran
Pelajari terlebih dahulu
Pelajaran
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Galois representations
English · draft · 15 Pelajaran
Pelajari terlebih dahulu
Pelajaran
- Profinite groups and ℓ-adic representations
- Frobenius elements and determination by traces
- The ℓ-adic Tate module of an elliptic curve
- Representations of Weil groups
- Conductors of Weil-group representations
- Local L-factors and epsilon factors
- Weil–Deligne representations and Grothendieck’s monodromy theorem
- Elliptic curves over local fields and their Weil–Deligne representations
- Compatible systems and global L-functions
- Modular curves over Q and the Eichler–Shimura congruence
- Galois representations of weight-two newforms
- Deligne's construction in higher weight and the Ramanujan–Petersson bound
- Weight one: the theorem of Deligne and Serre
- p-adic Hodge theory and the Fontaine–Mazur conjecture
- Residual representations and Serre's modularity theorem
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Sites, topoi and étale cohomology
English · draft · 19 Pelajaran
Pelajari terlebih dahulu
Pelajaran
- Sites and sheaves
- Topoi, morphisms and points
- Cohomology on sites
- Hypercoverings
- Topologies on schemes
- The étale site and its points
- Pushforward, pullback and finite morphisms
- Galois cohomology and the étale cohomology of a field
- Brauer groups and Tsen's theorem
- The multiplicative group on a curve
- Constructible sheaves and extension by zero
- Torsion sheaves on curves
- The proper base change theorem
- Cohomology with compact support
- Smooth base change and local acyclicity
- Cohomological dimension and the Künneth formula
- Poincaré duality for curves
- Poincaré duality for smooth varieties
- Comparison with singular cohomology
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Adèles, idèles and Tate's thesis
English · draft · 12 Pelajaran
Pelajari terlebih dahulu
- Analisis Kompleks
- Topologi Himpunan-Titik
- Ukuran dan Integrasi
- Analisis Fungsional
- Harmonic analysis on locally compact groups
Pelajaran
- Restricted products and profinite completions
- The adèle ring of a number field
- Idèles and the idèle class group
- Idèles, ideals and ray class groups
- Additive characters, self-dual measures and Poisson summation on the adèles
- Quasi-characters and Hecke characters
- Tate's local theory at the finite places
- Tate's local theory at the infinite places
- Tate's global theory: continuation and functional equation
- Hecke L-functions and the Dedekind zeta function
- Lattices over a local field: the tree of GL_2 and its decompositions
- The spherical Hecke algebra of GL_2 and Hecke operators on lattices
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
The abstract theory of ideals
English · draft · 6 Pelajaran
Pelajari terlebih dahulu
Pelajaran
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
The local Langlands correspondence for GL_n
English · draft · 13 Pelajaran
Pelajari terlebih dahulu
Pelajaran
- First cases: characters and the real correspondence
- Irreducible representations of general linear groups over a local field
- Local factors of pairs and the rank-two converse theorem
- The statement of the local Langlands correspondence
- Monodromy blocks and the passage from supercuspidals to all parameters
- The rank-two correspondence: principal series, Steinberg twists and characters
- Two-dimensional Weil representations: induction and projective symmetry
- Dihedral supercuspidals, rectifiers and rank-two characterization
- Modular forms, elliptic curves and local–global compatibility
- Jacquet–Langlands: elliptic classes and division-algebra representations
- Harris–Taylor: geometry, numerical counting and existence
- Other proofs, functoriality and the formal-degree formula
- Beyond general linear groups: parameters and packets
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Crossed products and groupoid C*-algebras
English · draft · 17 Pelajaran
Pelajari terlebih dahulu
Pelajaran
- C*-dynamical systems and full crossed products
- Reduced crossed products and Fell's absorption principle
- Pontryagin duality and the dual action
- Induced algebras and Green's imprimitivity theorem
- Takai duality
- Proper actions, free actions and the orbit space
- Amenability and the equality of full and reduced crossed products
- Expectations, traces and ideals in crossed products
- Crossed products by integers and real numbers: Fourier coordinates and mapping tori
- The Connes–Thom isomorphism I: the Wiener–Hopf extension
- The Connes–Thom isomorphism II: surjectivity, naturality and consequences
- Exterior equivalence and Connes's construction of the Thom map
- Locally compact groupoids and Haar systems
- Groupoid C*-algebras: full and reduced
- Equivalence of groupoids and Morita equivalence of their C*-algebras
- C*-algebras of foliations and their Morita equivalences
- The tangent groupoid and deformation to the normal cone
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Representations of compact groups
English · draft · 13 Pelajaran
Pelajari terlebih dahulu
Pelajaran
- Representations of compact groups: unitarity, complete reducibility and finite dimension
- Matrix coefficients and the Peter–Weyl theorem
- Fourier analysis and class functions on compact groups
- SU(2), SO(3) and spherical harmonics
- Compact Lie groups, their Lie algebras and the adjoint representation
- Tori and the maximal torus theorem
- Roots and the Weyl group of a compact Lie group
- The Weyl integration formula
- Unitary groups: characters, dimensions and branching
- Weights and the theorem of the highest weight
- The Weyl character formula for compact connected Lie groups
- Casimir operators, Laplacians and tensor products
- Homogeneous spaces, induced representations and Gelfand pairs
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Representations of finite groups
English · draft · 17 Pelajaran
Pelajari terlebih dahulu
Pelajaran
- Representations and complete reducibility
- Characters and the orthogonality relations
- The group algebra and Fourier analysis on a finite group
- Tensor products, duals and real representations
- Integrality of characters and Burnside's p^a q^b theorem
- Induced representations and Frobenius reciprocity
- Mackey theory and Clifford's theorem
- Groups with an abelian normal subgroup: the little-group method
- Frobenius groups and Frobenius's theorem
- Artin's induction theorem and rationality
- Brauer's induction theorem
- Consequences of Brauer's theorem: characterization of characters and splitting fields
- The symmetric groups I: Young tableaux and Young symmetrizers
- The symmetric groups II: branching, Jucys–Murphy elements and Young's seminormal form
- The symmetric groups III: characters and symmetric functions
- Schur–Weyl duality
- Representations of GL₂ over finite fields
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Commutative algebra for geometry
English · draft · 20 Pelajaran
Pelajari terlebih dahulu
Pelajaran
- Spectra of rings
- Localization, local properties and support
- Noetherian and Artinian rings
- Associated primes and primary decomposition
- Integral extensions: lying over, going up and going down
- The Nullstellensatz and Jacobson rings
- Tor and flat modules
- Faithful flatness and the local criterion for flatness
- Krull dimension and Noether normalization
- Graded modules and Hilbert–Samuel functions
- Dimension theory of Noetherian local rings
- Regular sequences, depth and Cohen–Macaulay modules
- Projective dimension and the Auslander–Buchsbaum formula
- Regular local rings
- Discrete valuation rings, normal rings and Serre's criterion
- Kähler differentials
- Formally smooth, unramified and étale ring maps
- Smooth algebras over a field and the Jacobian criterion
- Completion
- Henselian local rings and henselization
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Local fields
English · draft · 12 Pelajaran
Pelajari terlebih dahulu
- Analisis Real I
- Aljabar Abstrak II
- Topologi Himpunan-Titik
- Ukuran dan Integrasi
- Aljabar Pascasarjana
- Harmonic analysis on locally compact groups
Pelajaran
- Absolute values, valuations and Ostrowski's theorem
- Completions, the p-adic numbers and complete discretely valued fields
- Hensel's lemma, squares and roots of unity in p-adic fields
- Extensions of complete valued fields
- Places of number fields in extensions and the product formula
- Local fields: classification and Haar measure
- Unramified and totally ramified extensions
- Tame ramification and the tame Galois group
- Ramification groups and the different of a local extension
- Herbrand's function and the upper numbering
- The multiplicative group of a local field
- Cyclotomic, quadratic and Kummer extensions of local fields
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Local cohomology, Lefschetz theorems and purity
English · draft · 8 Pelajaran
Pelajari terlebih dahulu
Pelajaran
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Automorphic forms and representations of GL(2)
English · draft · 20 Pelajaran
Pelajari terlebih dahulu
- Ukuran dan Integrasi
- Analisis Fungsional
- Topologi Himpunan-Titik
- Harmonic analysis on locally compact groups
Pelajaran
- Adèles for GL₂ and strong approximation
- From modular forms to adelic functions
- Automorphic forms, modules and Hilbert constituents
- Why the cuspidal spectrum is discrete
- Smooth local representations and the Hecke-module dictionary
- Normalized induction and Jacquet modules
- Whittaker models, Kirillov models and the local classification
- Newvectors, conductors and the passage to classical newforms
- Local L-factors, epsilon factors and the local converse theorem
- Supercuspidal representations from compact induction
- Real and complex representations: weights, gamma factors and classical forms
- Restricted tensor products and the tensor product theorem
- Unramified representations of GL₂(F) and Satake parameters
- Global Whittaker functions and the L-function of a cuspidal representation
- Multiplicity one, strong multiplicity one and the converse theorem
- Eisenstein series on GL₂(A) and the continuous spectrum
- Quaternion algebras and their automorphic forms
- The trace formula for a compact quotient
- The Jacquet–Langlands correspondence
- Dihedral forms, examples, and the Ramanujan conjecture for GL₂
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Lie's theory of transformation groups
English · draft · 12 Pelajaran
Pelajari terlebih dahulu
- Kalkulus Multivariabel
- Persamaan Diferensial Biasa dan Sistem Dinamika Pengantar
- Analisis Kompleks
- Lipatan Mulus dan Geometri Diferensial
Pelajaran
- Transformation groups and their parameters
- The fundamental differential equations
- One-parameter groups
- Complete systems and invariants
- The second fundamental theorem and the group of parameters
- Prolongation, differential invariants and the projective group
- The third fundamental theorem
- The adjoint group, composition and isomorphism
- Transitivity and primitivity
- Contact transformations and first-order equations
- Lie algebras of vector fields on the line and in the plane
- The Riemann-Helmholtz space problem
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Algebraic spaces and stacks
English · draft · 12 Pelajaran
Pelajari terlebih dahulu
Pelajaran
- Algebraic spaces
- The bootstrap theorem
- Properties and morphisms of algebraic spaces
- Stacks in groupoids
- Algebraic stacks
- Quotient stacks and Deligne–Mumford stacks
- Artin's axioms
- Moduli stacks are algebraic
- The stack of curves
- Stable reduction and properness
- Simplicial sets, nerves and Kan complexes
- Test categories and Grothendieck's homotopy programme
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
K-theory of C*-algebras
English · draft · 23 Pelajaran
Pelajari terlebih dahulu
Pelajaran
- Idempotents, projections and their equivalences
- Vector bundles and finitely generated projective modules
- The Grothendieck group and K_0 of a unital algebra
- Nonunital algebras: unitization, relative classes and half-exactness
- Matrix stability, stability and continuity of K_0
- Invertibles, unitaries and K_1
- The index map and the exact sequence at K_0
- Suspension, higher K-groups and the long exact sequence
- Toeplitz operators and the index theorem on the circle
- Bott periodicity
- The six-term exact sequence and the exponential map
- Topological K-theory of spaces, pairs and vector bundles
- Traces, states and the pairing with K-theory
- Determinants of traces and the pairing with K_1
- Smooth subalgebras and the density theorem
- Inductive limits and the K-theory of AF and AT algebras
- The mapping torus
- The Pimsner–Voiculescu exact sequence
- Traces on integer crossed products and their K-theory ranges
- Irrational rotation algebras
- Commutative and noncommutative tori
- Cuntz algebras
- Cuntz–Krieger algebras, minimal systems and projectionless algebras
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Modular forms
English · draft · 19 Pelajaran
Pelajari terlebih dahulu
- Analisis Kompleks
- Teori Bilangan dan Kriptologi
- Aljabar Abstrak II
- Topologi Himpunan-Titik
- Ukuran dan Integrasi
- Topologi Aljabar
- Harmonic analysis on locally compact groups
- Foundations of von Neumann algebras
- Function algebras and approximation
Pelajaran
- The upper half-plane and the modular group
- Congruence subgroups, cusps and elliptic points
- Modular curves and their genus
- Modular forms, lattice functions and Eisenstein series
- The valence formula and the ring of modular forms of level one
- Dimension formulas for congruence subgroups
- The Petersson inner product and Poincaré series
- Hecke operators of level one
- Hecke operators for Γ_0(N) and Γ_1(N)
- Oldforms, newforms and the theory of Atkin, Lehner and Li
- The L-function of a cusp form
- Twists, level N and Hecke's converse theorem
- Theta functions and sums of squares
- Theta series of lattices
- Group cohomology of Γ and the Eichler–Shimura isomorphism
- Modular symbols and the algebraicity of Hecke eigenvalues
- Complex tori, elliptic curves and the moduli interpretation of modular curves
- Non-holomorphic Eisenstein series and Maass forms
- The Rankin–Selberg method
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Global Langlands conjectures and functoriality
English · draft · 6 Pelajaran
Pelajari terlebih dahulu
Belum ada jalur prasyarat yang dinyatakan dalam snapshot ini; ini tidak berarti tanpa prasyarat.
Pelajaran
- Reductive groups, root data and the L-group
- The Satake isomorphism for unramified groups and unramified L-factors
- Automorphic representations and automorphic L-functions
- L-functions for GL_n: Godement–Jacquet and Rankin–Selberg
- The principle of functoriality
- The function-field case: Drinfeld and L. Lafforgue
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Hypercomplex systems and representations
English · draft · 7 Pelajaran
Pelajari terlebih dahulu
Pelajaran
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Semisimple Lie algebras
English · draft · 18 Pelajaran
Pelajari terlebih dahulu
Pelajaran
- Lie algebras: definitions, examples and first constructions
- Nilpotent and solvable Lie algebras: Engel's and Lie's theorems
- The Killing form and Cartan's criteria
- Complete reducibility: Casimir elements and Weyl's theorem
- Representations of sl(2)
- Low-degree cohomology, Whitehead's lemmas and the Levi decomposition
- The root space decomposition of a semisimple Lie algebra
- Root systems and their Weyl groups
- Cartan matrices, Dynkin diagrams and the classification of root systems
- Cartan subalgebras and their conjugacy
- The isomorphism theorem and Serre's theorem
- The simple Lie algebras: classical models and the exceptional algebras
- The universal enveloping algebra and the Poincaré–Birkhoff–Witt theorem
- Weights, Verma modules and the theorem of the highest weight
- The centre of the enveloping algebra and Harish-Chandra's theorem
- Weyl's character formula and the multiplicity formulas
- Compact real forms and Weyl's unitary trick
- Category O and the Kazhdan–Lusztig conjecture
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Constructible and perverse sheaves
English · draft · 92 Pelajaran
Pelajari terlebih dahulu
- Lipatan Mulus dan Geometri Diferensial
- Topologi Aljabar
- Teori Kategori dan Metode Homologis
- Derived categories and sheaf operations
- Microlocal sheaves
Pelajaran
- Sheaf kernels and cotangent correspondences
- Constructible gluing on an interval
- Directional tests at a constructible boundary
- Constructible sheaves on a triangulation
- Kernels that preserve chosen cotangent directions
- Adjoints of localized sheaf kernels
- Dual kernels and an unchanged parameter
- Directional morphisms through a sheaf kernel
- When a kernel quantizes a contact transformation
- Real and complex ball kernels
- Local existence of contact kernel equivalences
- Microlocal composition at prescribed covectors
- Coefficients in a quantization of the identity
- Normal forms and the shift of a submanifold transform
- Composing hypersurface kernels with their shifts
- Pure and simple sheaves from directional tests
- How simple sheaf shifts change along a Lagrangian
- Tensor and Hom types at independent covectors
- The type and shift of a transverse kernel composition
- Direct and inverse images of a sheaf type
- Projective incidence as a contact kernel
- The partial Legendre kernel and its adjoint shift
- Fourier-Sato transport of microlocal morphisms
- Subanalytic sets and limiting tangent directions
- Conic subanalytic images and isotropic dimension
- Isotropic cotangent transport and discrete critical values
- Finite conormal closures and generic base directions
- Involutive subsets of subanalytic isotropic sets
- Boundary forms and Lagrangian normal cones
- Limiting cotangent sums and characteristic inverse images
- Microlocal stratifications by removing bad loci
- Unshared conormal directions and dimension filtrations
- Generic squared distance and cotangent transversality
- Constructibility from microsupport and perfect stalks
- Derived constructibility through common triangulations
- Weak constructibility under sheaf operations
- Small balls, central fibres and supported cohomology
- Perfect coefficients on compact fibres
- Constructible costalks and Verdier duality
- Perfect operations and finite microlocal coefficients
- Natural duality for specialization and microlocal Hom
- Complex conicity and analytic Lagrangian closures
- Analytic normal cones through complex deformation
- Analytic conormal covers and singular involutivity
- Complex microlocal stratifications and constructibility
- Holomorphic operations and complex Fourier symmetries
- Nonproper holomorphic pushforwards through cutoffs
- Local holomorphic pushforwards over a complex curve
- Complex-constructible sheaves and missing derived classes
- Nearby cycles and the two monodromy triangles
- Proper pushforwards of nearby and vanishing cycles
- Nearby cycles through the normal deformation
- Complex nearby cycles as normal and conormal sections
- Quadratic cycles and the holomorphic microsupport test
- Vanishing cycles as positive real support
- Whitney secants and the microlocal stratification condition
- Duality maps for constructible inverse and direct images
- Constructibility through smooth cutoffs and microlocal properness
- Constructible models in one cotangent direction
- Closed conormal unions at singular points
- The dualizing complex from oriented simplices
- Local systems across an analytic boundary
- Reading the geometry and cycle literature
- Constructible traces and local Euler indices
- Closed supports and evaluated proper transport
- Proper characteristic classes and the compact index
- Subanalytic chains and closed cycle supports
- Supports, products and proper images of chains
- The dualizing resolution by subanalytic chains
- Intersections of supported subanalytic cycles
- Lagrangian cycles and proper cotangent images
- Pulling back Lagrangian cycles through a graph
- Continuous sections and supported cycle intersections
- Transverse pullback of normalized conormal cycles
- Characteristic cycles from supported microlocal identities
- Transporting characteristic cycles through a graph
- Integer coefficients and additive characteristic cycles
- Antipodal duality and half-line characteristic cycles
- Lorentz cones and their vertex characteristic cycles
- Differential sections and proper-below Euler indices
- Isolated phases and local characteristic-cycle indices
- Pure test degrees and strong Morse inequalities
- Orientations of conormal cycles and transverse intersections
- Lefschetz traces of constructible correspondences
- Homotopies and local cutoffs for Lefschetz contributions
- Specializing Lefschetz contributions to the tangent space
- Expanding subspaces and hyperbolic Lefschetz cutoffs
- Shrinking localization and complex fixed-point traces
- Constructible functions and Euler integration
- Homogeneous functions, Fourier transformation and specialization
- Constructible functions and integral Lagrangian cycles
- Euler convolution and convex inverses
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Symmetries and conservation laws
English · draft · 3 Pelajaran
Pelajari terlebih dahulu
- Kalkulus Multivariabel
- Persamaan Diferensial Biasa dan Sistem Dinamika Pengantar
- Persamaan Diferensial Parsial
- Lipatan Mulus dan Geometri Diferensial
Pelajaran
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Explicit formulas and positivity
English · draft · 4 Pelajaran
Pelajari terlebih dahulu
Pelajaran
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Kasparov's KK-theory
English · draft · 10 Pelajaran
Pelajari terlebih dahulu
- Analisis Fungsional
- Lipatan Mulus dan Geometri Diferensial
- Topologi Aljabar
- Spectral triples and the local index formula
- Elliptic operators and boundary problems
- Index theory of elliptic operators
- Foundations of von Neumann algebras
- Cyclic cohomology, connections and transverse geometry
Pelajaran
- Extensions of C*-algebras and the Busby invariant
- Ext groups, absorption and Brown-Douglas-Fillmore theory
- Fredholm modules and analytic K-homology
- The index pairing between K-theory and K-homology
- Graded C*-algebras, Clifford algebras and graded Hilbert modules
- Kasparov modules and the groups KK(A, B)
- Kasparov's technical theorem
- Connections and the existence of the Kasparov product
- Homotopy, associativity, the index pairing and KK-equivalence
- Thom isomorphisms and K-orientations in KK
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
The Riemann zeta function
English · draft · 18 Pelajaran
Pelajari terlebih dahulu
Pelajaran
- Dirichlet series and Euler products
- Counting primes by elementary means: Chebyshev and Mertens
- The Gamma function and Stirling's formula
- Poisson summation, theta, and the functional equation
- Entire functions of order one and the Hadamard product of ξ
- Growth in the critical strip: convexity and the Lindelöf hypothesis
- Exponential sums and a subconvex bound
- Nonvanishing on the line σ = 1 and the zero-free region
- The prime number theorem
- The Riemann–von Mangoldt formula
- Perron's formula and the explicit formula for ψ(x)
- The prime number theorem with the classical error term
- Growth bounds and wider zero-free regions
- The Riemann hypothesis and its standard equivalents
- Oscillation of the error term
- Mean values of Dirichlet polynomials and of zeta on the critical line
- The Riemann hypothesis implies the Lindelöf hypothesis
- Zero-density estimates and primes in short intervals
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Morphisms of schemes
English · draft · 17 Pelajaran
Pelajari terlebih dahulu
Pelajaran
- The diagonal and separated morphisms
- Finiteness of morphisms
- Limits of schemes and Noetherian approximation
- Valuation rings and the valuative criterion of separatedness
- Affine morphisms, relative Spec, and finite morphisms
- Quasi-finite morphisms and Chevalley’s theorem
- Proper morphisms and the valuative criterion of properness
- Very ample invertible sheaves, Segre and Veronese embeddings
- Ample invertible sheaves
- Projective morphisms and Chow’s lemma
- Dimension of fibres
- Zariski's Main Theorem
- Normalization
- Rational maps and birational morphisms
- Effective Cartier divisors and invertible sheaves
- Blowing up
- Weil divisors and the class group
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Sheaves and schemes
English · draft · 12 Pelajaran
Pelajari terlebih dahulu
Pelajaran
- Sheaves on topological spaces
- Ringed spaces and sheaves of modules
- Quasi-coherent, coherent and locally free modules
- Affine schemes
- Schemes, gluing and immersions
- The functor of points and representability
- Fibre products and base change
- Properties of schemes
- Quasi-coherent sheaves on schemes
- Closed subschemes and scheme-theoretic images
- Proj of a graded ring
- Projective space, relative Proj and maps to projective space
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Cohomology of quasi-coherent sheaves
English · draft · 18 Pelajaran
Pelajari terlebih dahulu
Pelajaran
- Cohomology of sheaves on ringed spaces
- Čech cohomology
- Cohomology of affine schemes and Serre's criterion
- Cohomology of projective space
- Coherent sheaves on projective schemes: Serre's theorems
- Coherence of higher direct images under proper morphisms
- Euler characteristics and Hilbert polynomials
- Base change and the Grothendieck complex
- Semicontinuity and Grauert's theorem
- The theorem on formal functions
- Zariski's connectedness theorem and Stein factorization
- Grothendieck's existence theorem
- Algebraization of formal schemes
- Ext sheaves and Serre duality on projective space
- Dualizing sheaves and Serre duality for projective schemes
- The right adjoint of derived pushforward
- Complex analytic spaces and analytification
- Serre's comparison theorems and Chow's theorem
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Invariants and finiteness
English · draft · 5 Pelajaran
Pelajari terlebih dahulu
Pelajaran
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Dirichlet L-functions and primes in progressions
English · draft · 16 Pelajaran
Pelajari terlebih dahulu
Pelajaran
- Dirichlet characters
- Dirichlet's theorem on primes in arithmetic progressions
- Gauss sums
- The functional equation of Dirichlet L-functions
- Values of Dirichlet L-functions at s = 1
- Zero-free regions and the exceptional zero
- Counting zeros and the explicit formula for ψ(x, χ)
- The prime number theorem for arithmetic progressions
- Siegel's theorem
- The Siegel–Walfisz theorem
- The large sieve inequality
- The multiplicative large sieve and bilinear forms with characters
- Vaughan's identity and sums over primes
- The Bombieri–Vinogradov theorem
- Mean square distribution: the Barban–Davenport–Halberstam theorem
- The least prime in a progression: Linnik's theorem
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Class field theory
English · draft · 24 Pelajaran
Pelajari terlebih dahulu
- Aljabar Abstrak II
- Topologi Himpunan-Titik
- Aljabar Pascasarjana
- Teori Kategori dan Metode Homologis
- Number fields
- Local fields
- Adèles, idèles and Tate's thesis
- Foundations of von Neumann algebras
- Function algebras and approximation
- Harmonic analysis on locally compact groups
Pelajaran
- Profinite groups and infinite Galois theory
- Cohomology of cyclic groups and the Herbrand quotient
- Hilbert's Theorem 90 and Kummer theory
- Frobenius lifts and abstract reciprocity
- The reciprocity law and the class field correspondence
- Local reciprocity and norm groups
- Formal groups and Lubin–Tate modules
- Lubin–Tate division fields
- Explicit local reciprocity and the existence theorem
- Abelian ramification, conductors and Hasse–Arf
- Hilbert symbols and local conics
- Weil groups and one-dimensional representations
- Idèles in extensions and their cohomology
- The Herbrand quotient of the idèle class group
- The norm index bound and Hasse's norm theorem
- The global reciprocity law
- Global existence and the idèlic class field correspondence
- Ray class fields, conductors and ideal reciprocity
- Hilbert and ring class fields, and quadratic prime forms
- Kronecker–Weber and the maximal abelian extension of the rationals
- Artin L-functions, conductors and discriminants
- The Chebotarev density theorem
- Power residue symbols and reciprocity laws
- Brauer groups of local and global fields
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Ideal theory in rings
English · draft · 5 Pelajaran
Pelajari terlebih dahulu
Pelajaran
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
The affine Grassmannian and geometric Satake
English · draft · 1 Pelajaran
Pelajari terlebih dahulu
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Linear forms in logarithms and their applications
English · draft · 6 Pelajaran
Pelajari terlebih dahulu
- Aljabar Linear
- Aljabar Abstrak II
- Analisis Kompleks
- Teori Bilangan dan Kriptologi
- Number fields
- Transcendental numbers
Pelajaran
- Linear forms in logarithms: the problem, the trivial bounds, and effectivity
- Baker's theorem I: building an auxiliary function
- Baker's theorem II: extrapolation and the end of the proof
- Effective lower bounds I: Baker's theorem and its arithmetic tools
- Effective lower bounds II: proof of Baker's theorem
- Two logarithms I: interpolation determinants
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Transcendental numbers
English · draft · 15 Pelajaran
Pelajari terlebih dahulu
Pelajaran
- Algebraic and transcendental numbers; Liouville's theorem
- Heights of algebraic numbers
- Hermite and the transcendence of e
- Lindemann, pi and the Lindemann–Weierstrass theorem
- Siegel's lemma, analytic estimates and the six exponentials theorem
- Gelfond–Schneider and Hilbert's seventh problem
- The Schneider–Lang criterion
- Weierstrass functions, elliptic values and periods
- Quasi-periods, complex multiplication and the modular invariant
- The index method for rational approximation
- Wronskians and Roth's rational-point lemma
- Roth's theorem and its consequences
- Mahler's classification of transcendental numbers
- E-functions and the Siegel–Shidlovsky theorem
- Algebraic independence and Schanuel's conjecture
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Rational function fields and equations with prescribed group
English · draft · 3 Pelajaran
Pelajari terlebih dahulu
- Aljabar Abstrak II
- Aljabar Pascasarjana
- Commutative algebra for geometry
- Hypercomplex systems and representations
- Local fields
- Morphisms of schemes
- Cohomology of quasi-coherent sheaves
- Number fields
- Hilbert and Picard schemes, deformations and representability
- The field with one element
- Sites, topoi and étale cohomology
- Foundations of von Neumann algebras
- Function algebras and approximation
- Harmonic analysis on locally compact groups
- Derived categories and sheaf operations
Pelajaran
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Characteristic classes
English · draft · 19 Pelajaran
Pelajari terlebih dahulu
Pelajaran
- Vector bundles and their constructions
- Grassmannians and classifying maps
- Thom classes and Euler classes
- The Gysin sequence and projective splitting
- Steenrod squares and Stiefel–Whitney classes
- Schubert cells and universal Grassmannian cohomology
- Projective tangent bundles and their obstructions
- Chern classes and the integral universal ring
- Pontryagin classes and oriented universal cohomology
- Manifold duality, the diagonal and Wu classes
- Characteristic numbers and projective-product independence
- The oriented cobordism ring
- Frame fields and primary obstructions
- Thom spaces, transversality and the Pontryagin–Thom construction
- Homotopy fibres and the Serre spectral sequence
- Rational homotopy and the Hurewicz range
- Rational oriented bordism and projective generators
- Multiplicative sequences and the signature theorem
- Odd-prime reduced powers and the Wu classes
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Connections, curvature and holonomy
English · draft · 18 Pelajaran
Pelajari terlebih dahulu
Pelajaran
- Local tools for bundles and transport
- Principal bundles and associated bundles
- Connections and parallel transport
- Curvature and holonomy groups
- Reduction and the holonomy theorem
- Flat connections and infinitesimal holonomy
- Invariant connections on homogeneous bundles
- Linear and affine connections
- Geodesics, normal coordinates and curvature
- Riemannian connections and convex neighbourhoods
- Completeness and the Hopf–Rinow theorem
- Holonomy and the de Rham decomposition theorem
- Sectional curvature and space forms
- Affine transformations and the isometry group
- Holonomy, Killing fields and analytic extension
- Submanifolds and hypersurfaces
- Jacobi fields, conjugate points and the Morse index theorem
- Comparison theorems, cut loci and curvature and topology
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); CC0-1.0
Persiapan untuk mempelajari
Reductive group schemes
English · draft · 6 Pelajaran
Pelajari terlebih dahulu
Pelajaran
Sumber dan hak penggunaan
GPT-6.1 Sol (OpenAI), in Codex, at the Ultra setting (maximum reasoning effort); GFDL-1.2-only
Persiapan untuk mempelajari
Integrasi pada tingkat pembuktian masih dikerjakan
Perbandingan lengkap pernyataan, pembuktian, dan keumuman dicatat terpisah. Peta tingkat mata kuliah ini tidak menyatakan perbandingan tersebut selesai. Proyeksi lokal phone sebanyak 58 mata kuliah dan edisi lanjutan publik merupakan snapshot bukti yang berbeda.
Integrasi navigasi dan dependensi dikerjakan oleh OpenAI Codex — GPT-6.1 Sol, tingkat upaya Ultra. Kredit penulis sumber dipertahankan. Tidak ada klaim peninjauan pembuktian oleh manusia.