Cohomology of hyperpolar actions on symmetric spaces is a Cohen-Macaulay ring.
problem Understanding the cohomology of hyperpolar actions on symmetric spaces.
method Analyzing the equivariant cohomology of hyperpolar actions on symmetric spaces of compact type.
result The equivariant cohomology is a Cohen-Macaulay ring.
Characterizes Alexandrov spaces with Cohen-Macaulay actions.
problem Understanding actions of Lie groups on Alexandrov spaces.
method Equivariant cohomology via rational homotopy theory.
result Characterizes Alexandrov spaces with Cohen-Macaulay actions.
Study shows free group complexes are Cohen-Macaulay of dimension n-1.
problem Understanding the structure of free groups and their complexes.
method Analyzing the complex of partial bases in freely decomposable groups.
result The complex is Cohen-Macaulay of dimension n-1.
The paper defines complexes for RAAGs connecting buildings and free factor complexes, proving their homotopy Cohen-Macaulay properties.
problem Defining and analyzing complexes for RAAGs to understand their structure.
method Defining simplicial complexes from RAAG outer automorphism groups, using coset complexes and decompositions.
result These complexes are homotopy Cohen-Macaulay and homotopy equivalent to spheres.
To the integral symplectic group Sp(2g,Z) we associate two posets of which we prove that they have the Cohen-Macaulay property. As an application we show that the locus of marked decomposable principally polarized abelian varieties in the Siegel space of genus g has the homotopy type of a bouquet of (g-2)-spheres. This…
We study Cohen-Macaulay actions, a class of torus actions on manifolds, possibly without fixed points, which generalizes and has analogous properties as equivariantly formal actions. Their equivariant cohomology algebras are computable in the sense that a Chang-Skjelbred Lemma, and its stronger version, the exactness o…
We prove a new structural result for the spherical Tits building attached to SL_n(K) for many number fields K, and more generally for the fraction fields of many Dedekind domains O: the Steinberg module St_n(K) is generated by integral apartments if and only if the ideal class group cl(O) is trivial. We deduce this int…
The study examines the topology of complements of polytopal skeletons.
problem Characterizing topological properties of polytopal complexes and their skeletons.
method Constructing a long exact sequence relating homologies of skeleton complements and links of faces.
result Characterizations of Cohen-Macaulay and Leray complexes, stacked balls, and neighbourly spheres in terms of skeleton complements.
We show that if G×M→M is a cohomogeneity one action of a compact connected Lie group G on a compact connected manifold M then HG∗(M) is a Cohen-Macaulay module over H∗(BG). Moreover, this module is free if and only if the rank of at least one isotropy group is equal to the rank of G. We deduce …
The paper explores zero-divisors and idempotents in quandle rings, proving their absence in certain cases.
problem Understanding zero-divisors and idempotents in quandle rings.
method Development of quandle rings theory, definition of orderability, computation of idempotents, and analysis of automorphism groups.
result Quandle rings of left or right orderable quandles with semi-latin structure have no zero-divisors.
Paper proves rigidity of spherical ring patterns on surfaces.
problem Proving rigidity of spherical orthogonal ring patterns on closed surfaces.
method Modification of combinatorial total geodesic curvature and variational principles.
result Rigidity of spherical orthogonal ring patterns on closed surfaces proved.
Lie-Rinehart algebras over C∞-rings defined and studied.
problem Defining and studying Lie-Rinehart algebras over C∞-rings. method Defining Lie-Rinehart algebras over C∞-rings and showing their relationship with Poisson C∞-rings. result A natural Poisson bracket on the C∞-ring associated with a Lie-Rinehart algebra over a C∞-ring. A new invariant of Poisson manifolds, a Poisson K-ring, is introduced. Hypothetically, this invariant is more tractable than such invariants as Poisson (co)homology. A version of this invariant is also defined for arbitrary algebroids. Basic properties of the Poisson K-ring are proved and the Poisson K-rings are calcul…
Investigates differential smoothness of 3D skew polynomial rings.
problem Differential smoothness of 3D skew polynomial rings.
method Analyzes Bell and Smith's characterization of 3D skew polynomial rings.
result Provides insights into the differential smoothness of these rings.
We define a notion of stability for chiral ring of four dimensional N=1 theory by introducing test chiral rings and generalized a maximization. We conjecture that a chiral ring is the chiral ring of a superconformal field theory if and only if it is stable. We then study N=1 field theory derived from D3 branes probing …
A classical theorem due to Quillen (1969) identifies the unitary bordism ring with the Lazard ring, which classifies the universal one-dimensional commutative formal group law. We prove an equivariant generalization of this result by identifying the homotopy theoretic Z/2-equivariant unitary bordism ring, in…
The paper examines differential smoothness in skew PBW extensions over polynomial rings.
problem Differential smoothness in skew PBW extensions over polynomial rings.
method Investigation of skew PBW extensions over commutative polynomial rings.
result Results on differential smoothness for skew PBW extensions over polynomial rings.
Criteria for smoothness of ambiskew polynomial rings.
problem Smoothness of ambiskew polynomial rings.
method Determined sufficient criteria for differential smoothness.
result Criteria for differential smoothness of ambiskew polynomial rings.
This paper calculates the skein algebra of the Borromean rings complement.
problem Calculating the skein algebra of the Borromean rings complement.
method Using the skein algebra definition and character variety, the polynomial ring quotient is determined.
result An explicit formula for the skein algebra of the Borromean rings complement is provided.
Non-Euclidean number rings have non-integral Steinberg modules.
problem Characterizing when Steinberg modules are generated by integral elements.
method Analyzing special linear groups over non-Euclidean imaginary number rings.
result Steinberg modules are not generated by integral elements in non-Euclidean rings.
The paper explores idempotents in quandle rings and their connections to quandle coverings.
problem Understanding idempotents in quandle rings and their relation to quandle coverings.
method Investigation of idempotents in quandle rings, proving properties of idempotents in free products and unions of quandles.
result Integral quandle rings of quandles of finite type that are non-trivial coverings over nice base quandles admit infinitely many non-trivial idempotents.
Defines vector fields and differential forms on local C-infinity-ringed spaces.
problem No specific problem stated; focuses on mathematical definitions.
method Defines tangent sheaf, contractions, Lie derivatives, and proves Cartan equations.
result Standard Cartan calculus equations hold for local C-infinity-ringed spaces.
Researchers found only one hyperbolic structure for Borromean rings.
problem Characterizing hyperbolic structures in knot complements.
method Analyzing the fundamental group of the Borromean rings' complement and its representations in PSL(2,C).
result Borromean rings admit exactly one hyperbolic structure.
Study on Gauss map surfaces in 3D space, focusing on anchor rings.
problem Classifying finite type Gauss map surfaces in Euclidean 3-space.
method Investigating a subclass of tubes, anchor rings, and analyzing their Gauss map properties.
result Anchor rings are of infinite type Gauss map.
Global group laws connect equivariant bordism rings to formal group laws.
problem Establishing connections between equivariant bordism rings and formal group laws.
method Global homotopy theory framework; proving isomorphisms and universal properties.
result Equivariant bordism rings are isomorphic to Lazard rings for abelian Lie groups.
New argument for 3-manifold cohomology with F2 coefficients.
problem Characterization of 3-manifold cohomology rings with F2 coefficients. method New argument based on Postnikov's 1948 characterization using intersection rings.
result A new proof for the characterization of 3-manifold cohomology rings.
Paper computes hyperbolic structure of Borromean rings complement.
problem Computing hyperbolic structures for link complements.
method Classical construction of Thurston's sense.
result Exact computation of hyperbolic structure for Borromean rings.
New hyperbolic manifolds found with same trace ring.
problem Finding non-commensurable hyperbolic manifolds with identical trace rings.
method Proved existence of infinitely many non-commensurable manifolds with same ambient group and trace ring.
result Infinitely many non-commensurable hyperbolic manifolds with the same ambient group and trace ring.
We calculate the intersection ring of three-dimensional graph manifolds with rational coefficients and give an algebraic characterization of these rings when the manifold's underlying graph is a tree. We are able to use this characterization to show that the intersection ring obstructs arbitrary three-manifolds from be…
Homological algebra used to study local equivalence of complex rings.
problem Local equivalence of bounded complexes over polynomial rings.
method Homological algebra approach
result Results have been proved in many places in the literature.
In this paper we compute a presentation for the group of ring motions of the split union of a Hopf link with Euclidean components and a Euclidean circle. A key part of this work is the study of a short exact sequence of groups of ring motions of general ring links in R3. This sequence allowed us to build th…
Study introduces dynamical ideals for non-commutative rings and classifies knots and links.
problem Classifying surface knots and links in smooth 4-manifolds.
method Introduced dynamical analog of prime ideals for non-commutative rings and proved a factorization theorem.
result Classified surface knots and links in smooth 4-manifolds.
We show that solutions of Thurston equation on triangulated 3-manifolds in a commutative ring carry topological information. We also introduce a homogeneous Thurston equation and a commutative ring associated to triangulated 3-manifolds.
We build extensions of the arc rings, relate their centers to the cohomology rings of the Springer varieties, and categorify all level two representations of quantum sl(N).
Study Coxeter groups over fusion rings and their geometric realisations.
problem Understanding Coxeter groups and their embeddings.
method Investigate faithful realisations and Vinberg systems.
result Induce embeddings of hyperplane complements.
Differential K-theory gets a λ-ring structure.
problem Establishing a λ-ring structure in differential K-theory. method Splitting principle for differential K-theory, Adams operations construction.
result Differential K0-ring admits a λ-ring structure. Division algorithm for surface group rings yields standard complexes and cohomological dimensions.
problem Understanding cohomological dimensions of surface group actions.
method Division algorithm for group rings of surface groups.
result Some 2-complexes with surface fundamental groups are standard.
New Frobenius manifold structures found on Dicyclic group orbits.
problem Finding Frobenius manifold structures on orbits spaces of Dicyclic groups.
method Applying Dubrovin's method to Dicyclic groups.
result Dicyclic group orbits spaces acquire two Frobenius manifold structures.
We view strict ring spectra as generalized rings. The study of their algebraic K-theory is motivated by its applications to the automorphism groups of compact manifolds. Partial calculations of algebraic K-theory for the sphere spectrum are available at regular primes, but we seek more conceptual answers in terms of lo…
The paper optimizes dynamic scheduling for ring architectures in deep learning training.
problem Optimizing deep learning training times with ring architectures.
method Formulated a non-convex, non-linear, NP-hard integer programming problem and developed a doubling heuristic.
result Dynamic scheduling can significantly reduce job completion times in ring architectures.
We investigate the equivariant cohomology of the natural torus action on a K-contact manifold and its relation to the topology of the Reeb flow. Using the contact moment map, we show that the equivariant cohomology of this action is Cohen-Macaulay, which is a generalization of equivariant formality for torus actions wi…
The paper explains the topological origin of the distinction between incidence theorems over division rings and fields.
problem Understanding the distinction between incidence theorems over division rings and fields.
method Extending the surface-graph approach to noncommutative settings, the paper analyzes the topological properties of graphs embedded on surfaces of different genera.
result Theorems associated with graphs on the sphere hold over any division ring, while those on surfaces of positive genus typically hold only if the ground ring is a field.
A C-infinity ring is a set equipped with n-ary operations corresponding to smooth n-ary functions on the real line (satisfying natural axioms). We prove that the cosimplicial abelian group associated to the de Rham complex of Euclidean space has the structure of a cosimplicial C-infinity ring. We also analyse the notio…
Explains the Borromean rings, icosahedron, and Poincaré homology sphere.
problem Exploring the relationship between Borromean rings, icosahedron, and Poincaré homology sphere.
method Introduction of topological concepts and geometric construction of icosahedral compound of octahedra.
result Proofs about the orientation-preserving symmetry group of an icosahedron and the linked nature of Borromean rings.
Generalizes cohomology ring result for combinatorial line arrangements.
problem Cohomology ring of boundary manifold for combinatorial line arrangements.
method Introduced boundary manifold, constructed homology cycles, computed cohomology ring.
result Cohomology ring of boundary manifold is isomorphic to double of Orlik-Solomon algebra.
New method uses quandle rings to distinguish knots and their mirrors.
problem Distinguishing knots and their mirror images.
method Combining idempotents in quandle rings with state sum invariants.
result Improved knot and mirror image distinction using fewer quandles.
Constructs differential forms on C∞-ringed spaces.
problem Developing a theory of differential forms for non-manifold spaces.
method Functorial construction of differential forms on local C∞-ringed spaces. result Stokes' theorem holds for integrated forms on simplices.
The paper defines a ring structure in twisted equivariant KK-theory for Lie groups.
problem Defining a ring structure in twisted equivariant KK-theory for noncompact Lie groups. method Geometric description of representatives and use of equivariant correspondences.
result Established a ring structure in $KK^{ullet}_{G}(G/K, τ_G^G)$.