Search results for "geometry."

showing 10 items of 4386 documents

Complex multiplication, Griffiths-Yukawa couplings, and rigidity for families of hypersurfaces

2003

Let M(d,n) be the moduli stack of hypersurfaces of degree d > n in the complex projective n-space, and let M(d,n;1) be the sub-stack, parameterizing hypersurfaces obtained as a d fold cyclic covering of the projective n-1 space, ramified over a hypersurface of degree d. Iterating this construction, one obtains M(d,n;r). We show that M(d,n;1) is rigid in M(d,n), although the Griffiths-Yukawa coupling degenerates for d<2n. On the other hand, for all d>n the sub-stack M(d,n;2) deforms. We calculate the exact length of the Griffiths-Yukawa coupling over M(d,n;r), and we construct a 4-dimensional family of quintic hypersurfaces, and a dense set of points in the base, where the fibres ha…

Algebra and Number TheoryDegree (graph theory)Mathematics - Complex Variables14D0514J3214D07Complex multiplicationYukawa potentialRigidity (psychology)14J70ModuliCombinatoricsAlgebraMathematics - Algebraic Geometry14J70; 14D05; 14D07; 14J32HypersurfaceMathematics::Algebraic GeometryMathematikFOS: MathematicsGeometry and TopologyComplex Variables (math.CV)Algebraic Geometry (math.AG)Stack (mathematics)Mathematics
researchProduct

Specialization of cycles and the K-theory elevator

2017

A general specialization map is constructed for higher Chow groups and used to prove a "going-up" theorem for algebraic cycles and their regulators. The results are applied to study the degeneration of the modified diagonal cycle of Gross and Schoen, and of the coordinate symbol on a genus-2 curve.

Algebra and Number TheoryElevator010102 general mathematicsGeneral Physics and AstronomyK-theory01 natural sciencesMathematics - Algebraic GeometryMathematics::Algebraic Geometry14C25 19E15 14C300103 physical sciencesSpecialization (functional)FOS: Mathematics010307 mathematical physics0101 mathematicsMathematical economicsAlgebraic Geometry (math.AG)Mathematical PhysicsMathematics
researchProduct

Forcing for First-Order Languages from the Perspective of Rasiowa–Sikorski Lemma

2017

The paper is concerned with the problem of building models for first-order languages from the perspective of the classic paper of Rasiowa and Sikorski [9]. The central idea, developed in this paper, consists in constructing first-order models from individual variables. The key notion of a Rasiowa–Sikorski set of formulas for an arbitrary countable language L is examined. Each Rasiowa–Sikorski set defines a countable model for L . Conversely, every countable model for L is determined by a Rasiowa–Sikorski set. The focus is on constructing Rasiowa–Sikorski sets by applying forcing techniques restricted to Boolean algebras arising from the subsets of the set of atomic formulas of L .

Algebra and Number TheoryForcing (recursion theory)Lindenbaum setUltrafilterFirst orderBoolean algebraTheoretical Computer ScienceFirst-order logicBoolean algebraRasiowa–Sikorski setAlgebrasymbols.namesakePerspective (geometry)substitutional semanticsComputational Theory and MathematicsforcingRasiowa–Sikorski lemmasymbolsultrafilterInformation SystemsMathematicsfirst-order logicFundamenta Informaticae
researchProduct

On saturated formations of finite groups with a restricted cover and avoidance property

1994

Algebra and Number TheoryProperty (philosophy)GeometryCover (algebra)MathematicsCommunications in Algebra
researchProduct

A rigidity theorem for Lagrangian deformations

2005

We consider deformations of singular Lagrangian varieties in symplectic manifolds. We prove that a Lagrangian deformation of a Lagrangian complete intersection is analytically rigid provided that this is the case infinitesimally. This result is given as a consequence of the coherence of the direct image sheaves of relative infinitesimal Lagrangian deformations.

Algebra and Number TheoryRigidity (electromagnetism)Integrable systemInverse problem for Lagrangian mechanicsInfinitesimalLagrangian systemMathematical analysisComplete intersectionMathematics::Symplectic GeometryGauge symmetryMathematicsSymplectic geometryCompositio Mathematica
researchProduct

Rejoinder on: Natural Induction: An Objective Bayesian Approach

2009

Giron and Moreno. We certainly agree with Professors Giron and Moreno on the interest in sensitivity of any Bayesian result to changes in the prior. That said, we also consider of considerable pragmatic importance to be able to single out a unique, particular prior which may reasonably be proposed as the reference prior for the problem under study, in the sense that the corresponding posterior of the quantity of interest could be routinely used in practice when no useful prior information is available or acceptable. This is precisely what we have tried to do for the twin problems of the rule of succession and the law of natural induction. The discussants consider the limiting binomial versi…

Algebra and Number TheoryRule of successionApplied MathematicsBayesian probabilityComputational MathematicsPrior probabilityNatural (music)Geometry and TopologySensitivity (control systems)Problem of inductionNull hypothesisMathematical economicsAnalysisMathematicsStatistical hypothesis testing
researchProduct

Complex powers of elliptic pseudodifferential operators

1986

The aim of this paper is the construction of complex powers of elliptic pseudodifferential operators and the study of the analytic properties of the corresponding kernels kS (x,y). For x=y, the case of principal interest, the domain of holomorphy and the singularities of kS (x,x) are shown to depend on the asymptotic expansion of the symbol. For classical symbols, kS (x,x) is known to be meromorphic on ℂ with simple poles in a set of equidistant points on the real axis. In the more general cases considered here, the singularities may be distributed over a half plane and kS (x,x) can not always be extended to337-2. An example is given where kS (x,x) has a vertical line as natural boundary.

Algebra and Number TheorySimple (abstract algebra)Plane (geometry)Mathematical analysisDomain of holomorphyBoundary (topology)Gravitational singularityAsymptotic expansionComplex planeAnalysisMeromorphic functionMathematicsIntegral Equations and Operator Theory
researchProduct

Mathematical Fuzzy Logic in the Emerging Fields of Engineering, Finance, and Computer Sciences

2022

With more than 50 years of literature, fuzzy logic has gradually progressed from an emerging field to a developed research domain, incorporating the sub-domain of mathematical fuzzy logic (MFL) [...]

Algebra and Number TheorymatematiikkaLogicsyväoppiminentietojenkäsittelytieteetpääkirjoituksettekoälylaskennallinen tiederahoitusalateknologiaGeometry and Topologysoveltaminenongelmanratkaisusumea logiikkaMathematical PhysicsAnalysis
researchProduct

Special Families of Curves, of Abelian Varieties, and of Certain Minimal Manifolds over Curves

2006

This survey article discusses some results on the structure of families f:V-->U of n-dimensional manifolds over quasi-projective curves U, with semistable reduction over a compactification Y of U. We improve the Arakelov inequality for the direct images of powers of the dualizing sheaf. For families of Abelian varieties we recall the characterization of Shimura curves by Arakelov equalities. For families of curves we recall the characterization of Teichmueller curves in terms of the existence of certain sub variation of Hodge structures. We sketch the proof that the moduli scheme of curves of genus g>1 can not contain compact Shimura curves, and that it only contains a non-compact Shimura c…

AlgebraAbelian varietyShimura varietyPure mathematicsMathematics::Algebraic GeometryModuli schemeMathematics::Number TheorySheafCompactification (mathematics)Abelian groupHodge structureHiggs bundleMathematics
researchProduct

Test ideals via algebras of 𝑝^{-𝑒}-linear maps

2012

Building on previous work of Schwede, Böckle, and the author, we study test ideals by viewing them as minimal objects in a certain class of modules, called F F -pure modules, over algebras of p − e p^{-e} -linear operators. We develop the basics of a theory of F F -pure modules and show an important structural result, namely that F F -pure modules have finite length. This result is then linked to the existence of test ideals and leads to a simplified and generalized treatment, also allowing us to define test ideals in non-reduced settings. Combining our approach with an observation of Anderson on the contracting property of p − e p^{-e} -linear operators yields an elementary approach to tes…

AlgebraAlgebra and Number TheoryMathematicsofComputing_GENERALGeometry and TopologyMathematicsTest (assessment)Journal of Algebraic Geometry
researchProduct