• Bulletin of the Korean Mathematical Society
• /
• v.39 no.3
• /
• pp.479-484
• /
• 2002

Let I be an ideal in a Gorenstein local ring A with the maximal ideal m and d = dim A. Then we say that I is a good ideal in A, if I contains a reduction $Q=(a_1,a_2,...,a_d)$ generated by d elements in A and $G(I)=\bigoplus_{n\geq0}I^n/I^{n+1}$ of I is a Gorenstein ring with a(G(I)) = 1-d, where a(G(I)) denotes the a-invariant of G(I). Let S = A[Q/a$_1$] and P = mS. In this paper, we show that the following conditions are equivalent. (1) $I^2$ = QI and I = Q:I. (2) $I^2S$ = $a_1$IS and IS = $a_1$S：sIS. (3) $I^2$Sp = $a_1$ISp and ISp = $a_1$Sp ：sp ISp. We denote by $X_A(Q)$ the set of good ideals I in $X_A(Q)$ such that I contains Q as a reduction. As a Corollary of this result, we show that $I\inX_A(Q)\Leftrightarrow\IS_P\inX_{SP}(Qp)$.

• Honam Mathematical Journal
• /
• v.33 no.4
• /
• pp.557-573
• /
• 2011

Let G be a compact and connected semisimple Lie group, H a closed subgroup, g (resp. h) the Lie algebra of G (resp. H), B the Killing form of g, g the normal metric on the homogeneous space G/H which is induced by -B. Let D be an invarint connection with Weyl structure (D, g, ${\omega}$) in the tangent bundle over the normal homogeneous Riemannian manifold (G/H, g) which is projectively flat. Then, the affine connection D on (G/H, g) is a Yang-Mills connection if and only if D is the Levi-Civita connection on (G/H, g).

• Journal of the Korean Mathematical Society
• /
• v.31 no.4
• /
• pp.569-608
• /
• 1994

The subject matter of this survey has to do with holomorphic maps from a compact Riemann surface to projective space, which are also called algebrac curves; the theory we survey lies at the crossroads of function theory, projective geometry, and commutative algebra (although we should mention that the present survey de-emphasizes the algebraic aspect). Algebraic curves have been vigorously and continuously investigated since the time of Riemann. The reasons for the preoccupation with algebraic curves amongst mathematicians perhaps have to do with-other than the usual usual reason, namely, the herd mentality prompting us to follow the leads of a few great pioneering methematicians in the field-the fact that algebraic curves possess a certain simple unity together with a rich and complex structure. From a differential-topological standpoint algebraic curves are quite simple as they are neatly parameterized by a single discrete invariant, the genus. Even the possible complex structures of a fixed genus curve afford a fairly complete description. Yet there are a multitude of diverse perspectives (algebraic, function theoretic, and geometric) often coalescing to yield a spectacular result.

• Kyungpook Mathematical Journal
• /
• v.58 no.3
• /
• pp.489-494
• /
• 2018

The first purpose of this note is to generalize two nice theorems of H. J. Kim concerning hyperinvariant subspaces for certain classes of operators on Hilbert space, proved by him by using the technique of "extremal vectors". Our generalization (Theorem 1.2) is obtained as a consequence of a new theorem of the present authors, and doesn't utilize the technique of extremal vectors. The second purpose is to use this theorem to obtain the existence of hyperinvariant subspaces for a class of $2{\times}2$ operator matrices (Theorem 3.2).

• Communications of the Korean Mathematical Society
• /
• v.23 no.1
• /
• pp.81-93
• /
• 2008

In [3, 9], using the theory of noncommutative Dirichlet forms in the sense of Cipriani [6] and the symmetric embedding map, authors constructed the KMS-symmetric Markovian semigroup $\{S_t\}_{t{\geq}0}$ on a von Neumann algebra $\cal{M}$ with an admissible function f and an operator $x\;{\in}\;{\cal{M}}$. We give a sufficient and necessary condition for x so that the semigroup $\{S_t\}_{t{\geq}0}$ acts separately on diagonal and off-diagonal operators with respect to a basis and study some results.

• Journal of the Korean Mathematical Society
• /
• v.49 no.4
• /
• pp.855-865
• /
• 2012

Recently, we have introduced a group invariant, which is related to the number of elements $x$ and $y$ of a finite group $G$ such that $x{\wedge}y=1_{G{\wedge}G}$ in the exterior square $G{\wedge}G$ of $G$. This number gives restrictions on the Schur multiplier of $G$ and, consequently, large classes of groups can be described. In the present paper we generalize the previous investigations on the topic, focusing on the number of elements of the form $h^m{\wedge}k$ of $H{\wedge}K$ such that $h^m{\wedge}k=1_{H{\wedge}K}$, where $m{\geq}1$ and $H$ and $K$ are arbitrary subgroups of $G$.

• Journal of the Korean Mathematical Society
• /
• v.58 no.6
• /
• pp.1407-1419
• /
• 2021

The Iwasawa decomposition NAK of the Lie group G = SO₀(2, 1) with a left invariant metric produces Riemannian submersions G → N\G, G → A\G, G → K\G, and G → NA\G. For each of these, we calculate the curvature of the base space and the lifting of a simple closed curve to the total space G. Especially in the first case, the base space has a constant curvature 0; the holonomy displacement along a (null-homotopic) simple closed curve in the base space is determined only by the Euclidean area of the region surrounded by the curve.

• Journal of the Korean Mathematical Society
• /
• v.60 no.1
• /
• pp.115-141
• /
• 2023

We study a class of left-invariant pseudo-Riemannian Sasaki metrics on solvable Lie groups, which can be characterized by the property that the zero level set of the moment map relative to the action of some one-parameter subgroup {exp tX} is a normal nilpotent subgroup commuting with {exp tX}, and X is not lightlike. We characterize this geometry in terms of the Sasaki reduction and its pseudo-Kähler quotient under the action generated by the Reeb vector field. We classify pseudo-Riemannian Sasaki solvmanifolds of this type in dimension 5 and those of dimension 7 whose Kähler reduction in the above sense is abelian.

• Communications of Mathematical Education
• /
• v.35 no.3
• /
• pp.323-340
• /
• 2021

The purpose of this case study is to explore the similarities revealed in the process of solving and generalizing word problems related to systems of linear equations in two variables according to covariational reasoning. As a result, student S, who reasoned with coordination of value level, had a static image of the quantities given in the situation. student D, who reasoned with smooth continuous covariation level, had a dynamic image of the quantities in the problem situation and constructed an invariant relationship between the quantities. The results of this study suggest that the activity that constructs the relationship between the quantities in solving word problems helps to strengthen the mathematical problem solving ability, and that teaching methods should be prepared to strengthen students' covariational reasoning in algebra learning.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.1
• /
• pp.207-218
• /
• 2020

Some modular representations of reflection groups related to Weyl groups are considered. The rational cohomology of the classifying space of a compact connected Lie group G with a maximal torus T is expressed as the ring of invariants, H*(BG; ℚ) ≅ H*(BT; ℚ)^W(G), which is a polynomial ring. If such Lie groups are locally isomorphic, the rational representations of their Weyl groups are equivalent. However, the integral representations need not be equivalent. Under the mod p reductions, we consider the structure of the rings, particularly for the Weyl group of symplectic groups Sp(n) and for the alternating groups A_n as the subgroup of W(SU(n)). We will ask if such rings of invariants are polynomial rings, and if each of them can be realized as the mod p cohomology of a space. For n = 3, 4, the rings under a conjugate of W(Sp(n)) are shown to be polynomial, and for n = 6, 8, they are non-polynomial. The structures of H*(BT^n-1; 𝔽_p)^A_n will be also discussed for n = 3, 4.