| 1. Domain | 1.1 Scope of the Domain | Boundaries | The range of phenomena the science includes and excludes. | Studies complex analytic or algebraic functions invariant under actions of arithmetic groups (e.g., SL₂(ℤ)), as well as their generalizations on adele groups and higher-rank Lie groups. Includes modular forms, cusp forms, automorphic representations, Hecke operators, L-functions, eigenforms, and Fourier expansions. Excludes non-arithmetic or arbitrary analytic functions unless they satisfy automorphy conditions. |
| | Scale | The spatial, temporal, or organizational level at which the science operates (e.g., quantum, cellular, social, cosmic). | Operates on analytic, algebraic, and representation-theoretic scales: from complex upper-half-plane geometry to adelic groups, from q-expansions to infinite-dimensional representation spaces, from local components to global automorphic structures. |
| 1.2 Ontological Commitments | Entities | The kinds of things assumed to exist within the domain (particles, organisms, agents, fields, etc.). | Modular forms, cusp forms, Eisenstein series, Hecke operators, q-expansions, Dirichlet characters, automorphic representations, adele groups, local components, L-functions, Fourier coefficients, weight/level structures. |
| | Properties | The fundamental attributes these entities possess (mass, charge, genotype, preference, etc.). | Automorphy, holomorphy, weight, level, character, growth conditions, eigenvalue structure, Hecke multiplicativity, L-function analytic continuation, functional equations, representation-theoretic decompositions. |
| | Categories | The basic ontological types used to classify domain elements (substances, processes, relations, structures). | Modular forms (holomorphic, Maass, cusp, Eisenstein), Hecke eigenforms, modular curves, automorphic forms on GL(n), automorphic representations, local factors of representations, adelic L-functions. |
| 1.3 State-Variables | Variables | The measurable or definable properties that describe system conditions. | Complex variable τ, Fourier coefficients aₙ, weight k, level N, nebentypus character, eigenvalues of Hecke operators λₙ, local representation parameters, conductor, Satake parameters. |
| | Parameterization | How variables encode and represent the system’s state. | Encoded by q-expansions, eigenvalue sequences, weight/level data, character assignments, local decomposition of automorphic representations, and analytic regions for L-functions. |
| 1.4 Admissible Idealizations | Simplifications | Conceptual reductions used to make the domain tractable (point masses, rational agents, perfect gases). | Assuming holomorphy; restricting to full modular group; ignoring non-tempered components; using simplified Hecke algebra actions; considering only GL(2) instead of general groups; assuming Ramanujan-type bounds when convenient. |
| | Validity Conditions | The limits and contexts in which idealizations hold or break down. | Breakdowns occur for nonholomorphic forms, non-arithmetic groups, higher-rank groups with complicated spectra, lack of cuspidality, non-tempered representations, or when analytic continuation fails for certain L-functions. |
| 1.5 Domain Assumptions | Structural Assumptions | Background ontological stances such as determinism, continuity, randomness, discreteness. | Assumes modular forms satisfy precise transformation laws; Hecke operators act diagonally on eigenforms; Fourier coefficients obey multiplicative relations; L-functions decompose locally; global automorphic representations factor over places. |
| | Implicit Commitments | Unstated but necessary assumptions that shape the field’s conceptual structure. | Assumes automorphic representations accurately encode arithmetic; modularity reflects deep number-theoretic structure; eigenvalues correspond to arithmetic data; local–global compatibility holds; analytic properties mirror algebraic origins. |
| 1.6 Internal Coherence Requirements | Consistency | The demand that domain concepts do not contradict one another. | Transformation rules must be compatible with group actions; Hecke operators must commute properly; local factors must assemble into global L-functions; Fourier expansions must reflect automorphy and eigenvalue structure. |
| | Compatibility | The requirement that entities, variables, and assumptions fit together into a unified descriptive framework. | Requires alignment among modular curves, Hecke actions, representation theory, Fourier expansions, adelic formulations, functional equations, and arithmetic L-function properties. |
| 2. Evidence Layer | 2.1 Observable Phenomena | Observables | The aspects of the domain that can produce detectable signals accessible to measurement. | Fourier coefficients (a_n); cusp growth/vanishing; Hecke eigenvalue patterns; q-expansion structure; spectral data of Maass forms; transformation behavior under modular groups; size and distribution of L-function values; local factors at primes. |
| | Detection Limits | The boundaries of what can be resolved or sensed by current instruments or methods. | Finite truncations hide full automorphy; large-n coefficients inaccessible analytically; Maass eigenvalues require heavy numerics; local data do not always determine global forms; analytic continuation cannot detect all geometric features. |
| 2.2 Measurement Systems | Units | Standardized quantifications (meters, seconds, volts, decibels, dollars, etc.) necessary for consistent comparison. | Fourier coefficients (a_n); Hecke eigenvalues (\lambda_p); level (N); weight (k); conductor; local Satake parameters; L-function values (L(s)); spectral eigenvalues. |
| | Instruments | Devices and tools (microscopes, spectrometers, sensors, surveys, detectors) used to produce measurements. | q-expansions; Hecke operators; trace formulas; spectral decompositions; adelic factorization tools; numerical L-function evaluators; modular-symbol algorithms; representation-theoretic projectors. |
| 2.3 Operational Definitions | Definitions | Terms defined by specific measurement procedures, ensuring empirical clarity. | Modular form, cusp form, q-expansion, Hecke operator, eigenform, automorphic form, adelic representation, Satake parameter, local factor, conductor, functional equation. |
| | Procedures | The explicit steps required to perform a measurement in a reproducible way. | Computing q-expansions; applying Hecke operators; extracting eigenvalues; computing modular symbols; evaluating L-functions; determining local components; computing traces via Selberg or Arthur trace formulas. |
| 2.4 Data Acquisition | Protocols | Formal processes for gathering data under controlled or standardized conditions. | Sampling q-coefficients; computing Hecke eigenvalues for many primes; generating modular-symbol data; acquiring spectral data of Maass forms; collecting local factors across primes; tabulating L-function values. |
| | Sampling | Rules determining which subset of the domain is measured and how representative it is. | Sampling primes for Hecke eigenvalues; sampling q-series truncations; sampling cusp forms across levels and weights; sampling local representations; sampling zeros of L-functions. |
| 2.5 Data Character & Format | Data Types | The form raw evidence takes (time series, spectra, images, counts, qualitative records). | q-expansion tables; Hecke eigenvalue lists; Satake parameter tuples; modular-symbol matrices; spectral eigenvalue tables; L-function value tables; local-factor factorizations. |
| | Resolution | The granularity or precision with which data is captured. | Determined by q-expansion truncation depth; number of primes sampled; numerical accuracy of L-function evaluation; spectral resolution in eigenvalue computations; precision of local-factor extraction. |
| 2.6 Reliability & Calibration | Calibration | Adjustment procedures ensuring instruments produce accurate results. | Verifying Hecke-operator commutativity; checking functional equations; confirming multiplicativity of eigenvalues; cross-checking q-expansions; validating L-function symmetry; verifying local-factor consistency. |
| | Error Characterization | Identification and quantification of noise, uncertainty, bias, and measurement error. | Numerical truncation error; instability in Maass eigenvalue computations; incorrect Hecke-eigenvalue extraction; miscomputed local factors; failure of q-expansion convergence; rounding error in L-function evaluation. |
| 3. Structural Layer | 3.1 Patterns & Regularities | Laws / Relations | Stable, repeatable patterns governing how observables behave across conditions. | Transformation laws under SL₂(ℤ) or congruence subgroups; multiplicativity of Hecke eigenvalues; Euler-product factorizations; functional equations of L-functions; Atkin–Lehner symmetries; spectral decompositions into cusp + Eisenstein components. |
| | Invariants | Quantities or properties that remain constant under transformations (symmetries, conservation laws). | Weight, level, character, Fourier coefficients, Hecke eigenvalues, Satake parameters, conductor, L-function analytic invariants, spectral eigenvalues, local factors, modular symbols. |
| 3.2 Causal Architecture | Mechanisms | Underlying processes or structures that produce the observed regularities. | Group-action mechanisms producing automorphy; Hecke-operator mechanisms generating eigenvalues; Fourier-expansion mechanisms encoding arithmetic data; adelic decomposition mechanisms linking local and global behavior; spectral mechanisms driving Maass-form structure. |
| | Pathways | Organized sequences of interactions forming a causal chain or network. | Hecke-eigenform generation pathways; q-expansion construction pathways; adelic lifting pathways; local-to-global factorization pathways; cusp/Eisenstein splitting pathways; L-function continuation pathways. |
| 3.3 Theoretical Vocabulary | Concepts | Core terms that encode the domain’s structure (force, gene, equilibrium, field). | Modular form, cusp form, Eisenstein series, Hecke operator, eigenform, q-expansion, automorphic representation, Satake parameter, conductor, functional equation, adelic factorization. |
| | Classifications | Taxonomies, categories, or typologies that organize entities and relations. | Holomorphic vs. Maass forms; cusp vs. Eisenstein; newforms vs. oldforms; GL(1), GL(2), GL(n) automorphic forms; automorphic representations by weight/level; spherical vs. ramified local components. |
| 3.4 Formal Representations | Equations | Mathematical constructs expressing laws, relations, or mechanisms. | q-expansion formulas; Hecke eigenrelations; Euler-product decompositions; functional equations ( \Lambda(s) = \varepsilon \Lambda(1-s) ); spectral expansions; Rankin–Selberg convolution formulas. |
| | Models | Structured representations—mathematical, computational, or conceptual—used to predict and explain phenomena. | Modular curves; fundamental domains; cusp regions; automorphic representations on adele groups; local component models; spectral models for Maass forms; q-expansion computational models. |
| 3.5 Idealized Structures | Simplified Models | Purposeful abstractions that capture essential dynamics while omitting irrelevant detail. | Full modular group forms; weight-k holomorphic forms with simple q-expansions; unramified automorphic forms; spherical components; simplified L-functions; toy Hecke algebras. |
| | Limit Conditions | Regimes where specific models or approximations hold (classical vs. quantum, linear vs. nonlinear). | Breakdown for non-arithmetic groups; complications in high-rank GL(n); ramified local components; non-tempered forms; divergence near cusps; failure of analytic continuation for exotic L-functions. |
| 3.6 Integrative Frameworks | Unifying Theories | Higher-order structures that connect disparate laws or mechanisms under a coherent whole. | Langlands program; modularity theorems; adelic representation theory; Hecke algebra frameworks; spectral theory of automorphic forms; correspondence between eigenforms and Galois representations. |
| | Interdisciplinary Links | Points where the theory connects to adjacent sciences or larger explanatory systems. | Links to algebraic number theory (Galois representations), arithmetic geometry (elliptic curves, modularity), harmonic analysis (spectral theory), mathematical physics (quantum chaos), and representation theory (automorphic representations). |
| 4. Method Layer | 4.1 Inquiry Design | Experimental Design | Structured plans for manipulating variables to test causal claims. | Varying levels, weights, and characters; modifying q-expansion truncations; adjusting local ramification; altering Hecke operators; testing lifts between classical and adelic settings; modifying boundary conditions at cusps. |
| | Observational Design | Systematic approaches for gathering non-manipulated data (surveys, field studies, natural experiments). | Observing coefficient growth, symmetry behavior under group action, Hecke-eigenvalue patterns, L-function value distributions, spectral properties of Maass forms, and behavior of local factors without altering the underlying form. |
| 4.2 Testing & Validation | Hypothesis Testing | Procedures for evaluating whether evidence supports or contradicts specific claims. | Testing Hecke multiplicativity; validating functional equations; verifying eigenform status; checking Ramanujan-type bounds; confirming local–global factorization; testing modularity correspondences; verifying q-expansion consistency. |
| | Replication | The requirement that results be independently reproducible under similar conditions. | Recomputing q-coefficients; repeating Hecke-operator computations; re-evaluating spectral eigenvalues; re-computing local Satake parameters; repeating L-function evaluations with different algorithms or truncations. |
| 4.3 Inference & Evaluation | Statistical Inference | Rules for drawing conclusions from noisy or incomplete data. | Analyzing distribution of Hecke eigenvalues; comparing growth of Fourier coefficients; studying zero distributions of automorphic L-functions; evaluating variance across families of modular forms; assessing deviation from predicted asymptotics. |
| | Model Comparison | Criteria (fit, simplicity, predictive accuracy, robustness) used to evaluate competing models. | Comparing eigenforms with same weight/level; comparing cusp vs. Eisenstein behavior; evaluating different lifts (e.g., classical ↔ adelic); comparing automorphic representations with identical local components; contrasting computational models of q-expansions. |
| 4.4 Error Management | Error Analysis | Identification and quantification of random and systematic errors. | Truncation errors in q-expansions; numerical instability in L-function evaluation; misidentification of Hecke eigenvalues; incorrect local-factor computation; convergence issues in spectral methods; precision loss in modular-symbol algorithms. |
| | Bias Control | Methods for minimizing subjective, instrumental, or procedural biases. | Avoiding selective sampling of “nice” forms; preventing overreliance on low-level or small-weight cases; ensuring adequate sampling of primes for Hecke eigenvalues; avoiding cherry-picked q-expansion lengths. |
| 4.5 Adjudication & Revision | Peer Scrutiny | Collective evaluation of claims through critique, review, and debate. | Independent verification of eigenvalue tables, q-expansions, modular-symbol computations, trace-formula derivations, spectral decompositions, and automorphic-representation identifications. |
| | Theory Revision | Procedures for modifying, replacing, or discarding models based on new evidence. | Updating Hecke-operator frameworks; refining modularity conjectures; modifying local–global compatibility assumptions; revising functional-equation derivations; improving spectral or automorphic-lifting methods. |
| 4.6 Integrity Conditions | Transparency | Requirements to disclose methods, data, assumptions, and limitations. | Full disclosure of truncation depths, Hecke-operator conventions, normalization choices, local-factor computations, L-function evaluation methods, and group-action definitions. |
| | Ethical Standards | Norms ensuring responsible conduct in experimentation, data handling, and publication. | Accurate reporting of computational uncertainty; honest distinction between conjectural and proven results; proper attribution of modular forms databases; avoidance of overstating empirical coincidences as proofs. |